On the representation of integers by indefinite binary Hermitian forms

Positive definite binary hermitian forms with finitely many exceptions

In the Transactions of the American Math. Society, vol. I, 1900, and vol. IV, 1904, Mr E. Kasner treats exhaustively the (2, 2) double binary form and discusses the theory connected with double binary forms and multiple binary forms in general terms. He shows the relations between the systems of multiple binary forms with digredient variables and the forms with cogredient variables. Hitherto nothing seems to have been written on systems of triple binary forms (with regard to higher forms see a paper on the (1, 1, 1, 1) form by C. Segre); so here I propose to discuss the complete system of a (1, 1, 1) binary form which consists of six forms connected by one syzygy. When two of the variables are the same we naturally get the (2, 1) form and when the three are the same We get the (3) or cubic binary form.

Here we include some classical results from the theory of binary hermitian forms which originate from Hermite (1854). We discuss the reduction theory of binary hermitian forms as described for example in Bianchi (1892). Eventually our considerations lead to Humbert’s computation of the covolume of SL(2, Thuong) where Thuong is the ring of integers in an imaginary quadratic number field. The work of Humbert on hermitian forms is contained in his papers (1915), (1919a)—(1919e). It contains an interesting error, we correct it in Section 9.6. We also develop a theory of representation numbers of binary hermitian forms which is analogous to the theory of binary quadratic forms as in Landau (1927).KeywordsPrime NumberPrime IdealZeta FunctionDirichlet SeriesHermitian FormThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

In these lectures we give an introduction to the reduction theory of binary forms starting with quadratic forms with real coefficients, Hermitian forms, and then define the Julia quadratic for any degree n binary form. A survey of a reduction algorithm over ${\mathbb{Z}}$ is described based on recent work of Cremona and Stoll.

W-groups and values of binary forms

Notation Prologue Chapter I. Lattices 1. Introduction 2. Bases and sublattices 3. Lattices under linear transformation 4. Forms and lattices 5. The polar lattice Chapter II. Reduction 1. Introduction 2. The basic process 3. Definite quadratic forms 4. Indefinite quadratic forms 5. Binary cubic forms 6. Other forms Chapter III. Theorems of Blichfeldt and Minkowski 1. Introduction 2. Blichfeldt's and Mnowski's theorems 3. Generalisations to non-negative functions 4. Characterisation of lattices 5. Lattice constants 6. A method of Mordell 7. Representation of integers by quadratic forms Chapter IV. Distance functions 1. Introduction 2. General distance-functions 3. Convex sets 4. Distance functions and lattices Chapter V. Mahler's compactness theorem 1. Introduction 2. Linear transformations 3. Convergence of lattices 4. Compactness for lattices 5. Critical lattices 6. Bounded star-bodies 7. Reducibility 8. Convex bodies 9. Speres 10. Applications to diophantine approximation Chapter VI. The theorem of Minkowski-Hlawka 1. Introduction 2. Sublattices of prime index 3. The Minkowski-Hlawka theorem 4. Schmidt's theorems 5. A conjecture of Rogers 6. Unbounded star-bodies Chapter VII. The quotient space 1. Introduction 2. General properties 3. The sum theorem Chapter VIII. Successive minima 1. Introduction 2. Spheres 3. General distance-functions Chapter IX. Packings 1. Introduction 2. Sets with V(/varphi) =n^2/Delta(/varphi) 3. Voronoi's results 4. Preparatory lemmas 5. Fejes Toth's theorem 6. Cylinders 7. Packing of spheres 8. The proudctio of n linear forms Chapter X. Automorphs 1. Introduction 2. Special forms 3. A method of Mordell 4. Existence of automorphs 5. Isolation theorems 6. Applications of isolation 7. An infinity of solutions 8. Local methods Chapter XI. Ihomogeneous problems 1. Introduction 2. Convex sets 3. Transference theorems for convex sets 4. The producti of n linear forms Appendix References Index quotient space. successive minima. Packings. Automorphs. Inhomogeneous problems.

We prove part of a conjecture of Borwein and Choi concerning an estimate on the square of the number of solutions to n=x 2+Ny 2 for a squarefree integer N.

There is a classical geometric construction which uses a binary quadratic form to define an involution on the space of binary d-ics. We give a complete characterization of a general class of such involutions which are definable using compound transvectant formulae. We also study the associated varieties of forms which are preserved by such involutions. Along the way we prove a recoupling formula for transvectants, which is used to deduce a system of equations satisfied by the coefficients in these involutions.

We will complete the list of universal binary Hermitian forms over imaginary quadratic fields by investigating three Hermitian forms missed by previous researchers.

Completely p-primitive binary quadratic forms

It is well known that the number Ak(m) of representations of a positive integer m as the sum of k squares of integers can be expressed in the formwhere Pk(m) is a divisor function, and Rk(m) is a remainder term of smaller order. (1) is a consequence of the fact thatis a modular form for a certain congruence subgroup of the modular group, andwithwhere Ek(z) is an Eisenstein series and is a cusp form (as was first pointed out by Mordell [9]). The result (1) remains true if m is taken to be a totally positive integer from a totally real number field K and Ak(m) is the number of representations of m as the sum of k squares of integers from K (at least for 2|k, k>2, and for those cases with 2+k which have been investigated). then are replaced by modular forms for a subgroup of the Hilbert modular group with Fourier expansions of the form (10) (see section 2).

V - HERMITIAN FORMS

We study a family of functions defined in a very simple way as sums of powers of binary Hermitian forms with coefficients in the ring of integers of an Euclidean imaginary quadratic field K with discriminant dK. Using these functions we construct a nontrivial cocycle belonging to the space of parabolic cocycles on Euclidean Bianchi groups. We also show that the average value of these functions is related to the special values of L(χdK,s). Using the properties of these functions we give new and computationally efficient formulas for computing some special values of L(χdK,s).

We develop an algorithm that determines, for a given squarefree binary form $F$ with real coefficients, a smallest representative of its orbit under $\operatorname{SL}(2,\mathbb Z)$, either with respect to the Euclidean norm or with respect to the maximum norm of the coefficient vector. This is based on earlier work of Cremona and Stoll. We then generalize our approach so that it also applies to the problem of finding an integral representative of smallest height in the $\operatorname{PGL}(2,\mathbb Q)$ conjugacy class of an endomorphism of the projective line. Having a small model of such an endomorphism is useful for various computations.

A method is developed for finding all G-modules (where G is a connected and simply connected semisimple algebraic group over an algebraically closed field of characteristic zero) whose algebra of invariants has prescribed homological dimension. The main theorem says that the number of such G-modules, considered to within isomorphism and addition of a trivial direct summand, is finite. The same result is proved for finite groups G. All algebras of invariants of homological dimension ?10 of a single binary form are found, as well as all algebras of invariants of a system of binary forms that are hypersurfaces. It is shown that the exceptional simple groups have no irreducible modules with an algebra of invariants of small nonzero homological dimension. Bibliography: 46 titles.