On indefinite binary quadratic forms, cubic congruence and elliptic curves

We study the generalized Whittaker models for G = GSp(2;R) associated with indefinite binary quadratic forms when they arise from two standard representations of G: (i) a generalized principal series rep- resentation induced from the non-Siegel maximal parabolic subgroup and (ii) a (limit of) large discrete series representation. We prove the uniqueness of such models with moderate growth property. Moreover we express the values of the corresponding generalized Whittaker functions on a one-parameter subgroup of G in terms of the Meijer G-functions.

We obtain estimates for the number of integral solutions in large balls, of inequalities of the form $|Q(x, y)| < \epsilon$, where $Q$ is an indefinite binary quadratic form, in terms of the Hurwitz continued fraction expansions of the slopes of the lines on which $Q$ vanishes. The method is based on a coding of geodesics on the modular surface via Hurwitz expansions of the endpoints of their lifts in the Poincare half-plane.

This article describes all discriminants D for which the length of the period of the expansion of √D in a continued fraction is equal to 2, 3, 4, or 6. It is proved that such discriminants are small. Similar propositions are proved for prime discriminants D=ρ.

1. Introduction. Several authors have proved theorems of the following type:Let x0, y0 be any real numbers. Then for certain functions f(x, y), there exist numbers x, y such that1.1 x ≡ x0, y ≡ y0 (mod 1),and1.2 .The first result of this type, but with replaced by min , was given by Barnes (3) for the case when the function is an indefinite binary quadratic form. A generalisation of this was proved by elementary geometry by K. Rogers (6).

Let us suppose that ƒ(x, y) is an indefinite binary quadratic form that does not represent zero. If P is the real point (x0, y0) then we may define where the infimum is taken over all integral x, y. The inhomogeneous minimum of the form ƒ is defined where the supremum taken over all real points P, need only extend over some complete set of points, incongruent mod 1.

One of the most celebrated applications of Gauss’s 2 F 1 _2F_1 hypergeometric functions is in connection with the rapid convergence of sequences and special values that arise in the theory of arithmetic and geometric means. This theory was the inspiration for a recent paper (see M. J. Griffin, Ken Ono, N. Saikia, and W.-L. Tsai, [AGM and jellyfish swarms of elliptic curves, Amer. Math. Monthly 130 (2023), no. 4, 355-369]) in which a finite field analogue of A G M R \mathrm {AGM}_\mathbb {R} was defined and then studied using finite field hypergeometric functions. Instead of convergent sequences, one gets directed graphs that combine to form disjoint unions of graphs that individually resemble jellyfish. Echoing the connection of hypergeometric functions to periods of elliptic curves, these graphs organize elliptic curves over finite fields. Here we use such “jellyfish swarms” to prove new identities for Gauss’s class numbers of positive definite binary quadratic forms. Moreover, we prove that the sizes of jellyfish are in part dictated by the order of the prime above 2 in certain class groups.

One considers the arithmetic and analytic properties of positive-definite binary quadratic forms of discriminant −Dn2. The arithmetic structure of the set of these forms is described by forms of discriminant −D and by the Hecke operators T(n). One gives some arithmetic and analytic consequences.

Completely p-primitive binary quadratic forms

It is known that there is a one-to-one correspondence between equivalence classes of primitive indefinite binary quadratic forms and primitive hyperbolic conjugacy classes of the modular group. Due to such a correspondence, Sarnak obtained the asymptotic formula for the class number sum in order of the fundamental unit by using the prime geodesic theorem for the modular group. In the present paper, we propose asymptotic formulas of the class number sums over discriminants on arithmetic progressions. Since there are relations between the arithmetic properties of the discriminants and the conjugacy classes in the finite groups given by the modular group and its congruence subgroups, we can get the desired asymptotic formulas by arranging the Tchebotarev-type prime geodesic theorem. While such asymptotic formulas were already given by Raulf, the approaches are quite different, the expressions of the leading terms of our asymptotic formulas are simpler and the estimates of the remainder terms are sharper.

We study the periods of Markov sequences, which are derived from the continued fraction expression of elements in the Markov spectrum. This spectrum is the set of minimal values of indefinite binary quadratic forms that are specially normalised. We show that the periods of these sequences are palindromic after a number of circular shifts, the number of shifts being given by Stern's diatomic sequence.

Rational period functions and cycle integrals in higher level cases

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.

The purpose of this paper is to study the moduli spaces of curves C of genus 2 with the property that their Jacobians \(J_C\) are isomorphic to a product surface \(E_1\times E_2\). Theorem 1 shows that the set of such curves is the union of infinitely many closed subvarieties T(d), \(d\ge 3\), of the moduli space \(M_2\). Each T(d) is a curve except for finitely many d’s for which T(d) is empty. The precise list of the exceptional d’s is given in Theorem 5 and depends on the validity of a conjecture due to Euler and Gauss. Each T(d) is the union of finitely many irreducible components \(H'(q)\), where q runs over the equivalence classs of certain binary quadratic forms of discriminant \(-16d\); cf. Theorems 2 and 3. The birational structure of the curve \(H'(q)\) (which can be viewed a “generalized Humbert variety”) is determined in Theorem 4. It turns out that \(H'(q)\) is a quotient of the modular curve \(X_0(d)\) modulo certain Atkin–Lehner involutions.

A quadratic $\mathbb {Z}$-lattice L of rank n is denned to be k-regular for a positive integer $k \leq n$ if L globally represents all quadratic $\mathbb {Z}$-lattices of rank k which are represented everywhere locally by L. It is shown that there exist only finitely many isometry classes of primitive positive definite quadratic $\mathbb {Z}$-lattices of rank 4 which are 2-regular.