A number field $k$ admits a binary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is bigger than one. In this case, there are only finitely many classes of such binary integral quadratic forms over $k$. A number field $k$ admits a ternary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is even. In this case, there are infinitely many classes of such ternary integral quadratic forms over $k$. An integral quadratic form over a number field $k$ with more than one variables represents all integers of $k$ over the ring of integers of a finite extension of $k$ if and only if this quadratic form represents $1$ over the ring of integers of a finite extension of $k$.
The modular transformation behavior of theta series for indefinite quadratic forms is well understood in the case of elliptic modular forms due to Vignéras, who deduced that solving a differential equation of second order serves as a criterion for modularity. In this paper, we will give a generalization of this result to Siegel theta series.
We study an asymptotic formula for counting integral points over an equation defined by a non-degenerated indefinite integral ternary quadratic form $f$ representing a non-zero integer $a$ such that $-a\cdot det(f)$ is square over a number field. In particular, we prove that the finite part of this asymptotic formula is given by the product of local density times $1-p^{-1}$ over all finite primes $p$ over $\Bbb Z$.
Sarnak obtained the asymptotic formula of the sum of the class numbers of indefinite binary quadratic forms from the prime geodesic theorem for the modular group. In the present paper, we show several asymptotic formulas of partial sums of the class numbers by using the prime geodesic theorems for the congruence subgroups of the modular group.
In this paper we study a geometric coding algorithm for indefinite binary quadratic forms Q for the congruence subgroup Γ^0(N), with respect to the usual fundamental domain FN, where N is assumed prime. The cycles Q_1, . . ., Q_n that this algorithm produces are such that the the corresponding paths γ_1, . . ., γ_n in the Riemann surface X0(N)(C) have a nice behavior around the elliptic points of order 2.
For special $d$-dimensional hyperbolic shells $E$ with $ d\geq 5$ we show that the number of lattice points in $E$ intersected with a $d$-dimensional cube $C_r$ of edge length $r$, can be approximated by the volume of $E\cap C_r$, as $r$ tends to infinity, up to an error of order ${\mathcal O}(r^{d-2})$. We generalize results and techniques, used by F. Götze (2004), to a large class of {\em indefinite} quadratic forms and we provide explicit bounds for the errors in terms of certain Minkowski minima related to these quadratic forms. Furthermore, we obtain, as in the positive definite case, a r…
CUNY Graduate Center（纽约市立大学研究生中心）；Oklahoma State University（俄克拉荷马州立大学）；Institute for Advanced Study & Princeton University（普林斯顿高等研究院与普林斯顿大学）；Seoul National University（首尔国立大学）
Let $f$ be an indefinite ternary quadratic form, and let $q$ be an integer such that $-q det(f)$ is not a square. Let $N(T,f,q)$ denote the number of integral solutions of the equation $f(x)=q$ where $x$ lies in the ball of radius $T$ centered at the origin. We are interested in the asymptotic behavior of $N(T,f,q)$ as $T$ tends to infinity. We deduce from the results of our joint paper with Z. Rudnick that $N(T,f,q)$ grows like cE(T,f,q)$ as $T$ tends to infinity, where $E(T,f,q)$ is the Hardy-Littlewood expectation (the product of local densities) and $0 \le c \le 2$. We give examples of $f$…
For any $\varepsilon > 0$ we derive effective estimates for the size of a non-zero integral point $m \in \mathbb{Z}^d \setminus \{0\}$ solving the Diophantine inequality $\lvert Q[m] \rvert < \varepsilon$, where $Q[m] = q_1 m_1^2 + \ldots + q_d m_d^2$ denotes a non-singular indefinite diagonal quadratic form in $d \geq 5$ variables. In order to prove our quantitative variant of the Oppenheim conjecture, we extend an approach developed by Birch and Davenport [BD58b] to higher dimensions combined with a theorem of Schlickewei [Sch85]. The result obtained is an optimal extension of Schlickewei's …
Gauss' classical reduction theory for indefinite binary quadratic forms over $\mathbb{Z}$ has originally been proven by means of purely algebraic and arithmetic considerations. It was later discovered that this reduction theory is closely related to a certain symbolic dynamics for the geodesic flow on the modular surface, and hence can also be deduced geometrically. In this article, we use certain symbolic dynamics for the geodesic flow on Hecke triangle surfaces (also the non-arithmetic ones) to develop reduction theories for the indefinite binary quadratic forms associated to Hecke triangle …
Let $h(d)$ be the class number of indefinite binary quadratic forms of discriminant $d$, and let $\varepsilon_d$ be the corresponding fundamental unit. In this paper, we obtain an asymptotic formula for the $k$-th moment of $h(d)$ over positive discriminants $d$ with $\varepsilon_d\leq x$, uniformly for real numbers $k$ in the range $0<k\leq (\log x)^{1-o(1)}$. This improves upon the work of Raulf, who obtained such an asymptotic for a fixed positive integer $k$. We also investigate the distribution of large values of $h(d)$ when the $d$'s are ordered according to the size of their fundamental…
Given an integral indefinite binary Hermitian form f over an imaginary quadratic number field, we give a precise asymptotic equivalent to the number of nonequivalent representations, satisfying some congruence properties, of the rational integers with absolute value at most s by f, as s tends to infinity.
This mostly expository paper centers on recently proved conjectures in two areas: A) A conjecture of A. Oppenheim on the values of real indefinite quadratic forms at integral points. B) Conjectures of Dani, Raghunathan, and Margulis on closures of orbits in spaces of lattices such as ${\BSL}_n(\R)/{\BSL}_n(\Z)$. At first sight, A) belongs to analytic number theory and B) belongs to ergodic and Lie theory, and they seem to be quite unrelated. They are discussed together here because of a very interesting connection between the two pointed out by M. S. Raghunathan, namely, a special case of B) y…
This paper extends previous work on linear correlations of representation functions of positive definite binary quadratic forms to allow indefinite forms.
We define generalised zeta functions associated to indefinite quadratic forms of signature (g-1,1) -- and more generally, to complex symmetric matrices whose imaginary part has signature (g-1,1) -- and we investigate their properties. These indefinite zeta functions are defined as Mellin transforms of indefinite theta functions in the sense of Zwegers, which are in turn generalised to the Siegel modular setting. We prove an analytic continuation and functional equation for indefinite zeta functions. We also show that indefinite zeta functions in dimension 2 specialise to differences of ray cla…
We show that the class of every primitive indefinite binary quadratic form is naturally represented by an infinite graph (named çark) with a unique cycle embedded on a conformal annulus. This cycle is called the spine of the çark. Every choice of an edge of a fixed çark specifies an indefinite binary quadratic form in the class represented by the çark. Reduced forms in the class represented by a çark correspond to some distinguished edges on its spine. Gauss reduction is the process of moving the edge in the direction of the spine of the çark. Ambiguous and reciprocal classes are represented b…
We establish a quantitative version of Oppenheim's conjecture for generic ternary indefinite quadratic forms using an analytic number theory approach. The statements come with power gains and in some cases are essentially optimal
We describe a family of $q$-series generating the space of weight 1 modular forms coming from indefinite binary quadratic forms and study linear relations between these series.
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 in arithmetic progressions. Since there are relations between the arithmetic properties of the discriminants and the conjug…
We prove that for any countable set $A$ of real numbers, the set of binary indefinite quadratic forms $Q$ such that the closure of $Q(\mathbb{Z}^2)$ is disjoint from $A$ has full Hausdorff dimension.
Let $f(x_1,\ldots,x_n)$ be a regular indefinite integral quadratic form with $n\ge 9$, and let $t$ be an integer. It is established that $f(x_1,\ldots,x_n)=t$ has solutions in prime variables if there are no local obstructions.
The continue fractions of quadratic surds are periodic, according to a theorem by Lagrange. Their periods may have differing types of symmetries. This work relates these types of symmetries to the symmetries of the classes of the corresponding indefinite quadratic forms. This allows to classify the periods of quadratic surds and at the same time to find, for an arbitrary indefinite quadratic form, the symmetry type of its class and the number of integer points, for that class, contained in each domain of the Poincare' model of the de Sitter world, introduced in Part I. Moreover, we obtain the …
Let Q be a non-singular quadratic form with integer coefficients. When Q is indefinite we provide new upper bounds for the least non-trivial integral solution to the equation Q=0. When Q is positive definite we provide improved upper bounds for the least positive integer k such that the equation Q=k is insoluble in integers, despite being soluble modulo every prime power.
The problem of the classification of the indefinite binary quadratic forms with integer coefficients is solved introducing a special partition of the de Sitter world, where the coefficients of the forms lie, into separate domains. Every class of indefinite forms, under the action of the special linear group acting on the integer plane lattice, has a finite and well defined number of representatives inside each one of such domains. This property belongs exclusively to rational points on the one-sheeted hyperboloid. In the second part we will show how to obtain the symmetry type of a class as we…
We prove a quantitative version of Oppenheim's conjecture for generic ternary indefinite quadratic forms. Our results are inspired by and analogous to recent results for diagonal quadratic forms due to Bourgain.
Let $f(x_1,\ldots,x_s)$ be a translation invariant indefinite quadratic form of integer coefficients with $s\ge 10$. Let $\mathcal{A}\subseteq \mathcal{P}\cap \{1,2,\ldots,X\}$. Let $X$ be sufficiently large. Subject to a rank condition, we prove that there exist distinct primes $p_1,\ldots,p_s\in \mathcal{A}$ such that $f(p_1,\ldots,p_s)=0$ as soon as $|\mathcal{A}|\ge \frac{X}{\log X} (\log\log X)^{-\frac{1}{80}}.$
This note contains an attempt to relate Hecke's presentation of an ideal class zeta function in a real quadratic field as an integral of the nonholomorphic Eisenstein series along the loop on modular curve and Zagier's decomposition of this zeta function into the sum of zeta functions of indefinite quadratic forms. (See D.Zagier, A Kronecker limit formula for real quadratic field.) It is a preliminary version.
We translate Davenport's and Heilbronn's work on a quantitative version of the Oppenheim conjecture for indefinite diagonal quadratic forms in 5 variables into the setting of function fields.
InfoMod is a new software and application devoted to the modular group, PSL2(Z). It has algorithms that deals with the classical correspondences among continued fractions, geodesics on the modular surface and binary quadratic forms. In addition the software implements the recently discovered representation of Gauss' indefinite binary quadratic forms and their classes in terms of certain infinite planar graphs (dessins) called çarks. InfoMod illustrates various aspects of these forms, i.e. Gauss' reduction algorithm, the representation problem of forms, ambiguous and reciprocal forms. It can be…
Since the study by Jacobi and Hecke, Hecke-type series have received a lot of attention. Unlike such series associated with indefinite quadratic forms, identities on Hecke-type series associated with definite quadratic forms are quite rare in the literature. Motivated by the works of Liu, we first establish many parameterized identities with two parameters by employing different $q$-transformation formulas and then deduce various Hecke-type identities associated with definite quadratic forms by specializing the choice of these two parameters. As applications, we utilize some of these Hecke-typ…
In a recent preprint, arXiv:1606.05495v1, Alexandrov, Banerjee, Manschot and Pioline introduced generalized error functions and used them to construct indefinite theta series associated to quadratic lattices L of signature (n-2,2). These series are generalizations of those constructed by Zwegers for lattices of signature (n-1,1) and are shown to be `modular completions' of certain nice $q$-series. In this paper, we show that the ABMP-indefinite theta series for signature (n-2,2) can also be obtained as integrals of the form valued theta series introduced in joint work with J. Millson in 1986. …
We introduce an invertible operation on finite sequences of positive integers and call it "kneading". Kneading preserves three invariants of sequences -- the parity of the length, the sum of the entries, and one we call the "alternant". We provide a bijection between the set of sequences with alternant $a$ and parity $s$ and the set of Zagier-reduced indefinite binary quadratic forms with discriminant $a^2 + (-1)^s \cdot 4$, and show that kneading corresponds to Zagier reduction of the corresponding forms. It follows that the sum of a sequence is a class invariant of the corresponding form. We…
We prove that the set of CM points on the Shimura curve associated to an Eichler order inside an indefinite quaternion $\mathbb{Q}$-algebra, is in bijection with the set of certain classes of $p$-adic binary quadratic forms, where $p$ is a prime dividing the discriminant of the quaternion algebra. The classes of $p$-adic binary quadratic forms are obtain by the action of a discrete and cocompact subgroup of $\mathrm{PGL}_{2}(\mathbb{Q}_{p})$ arising from the $p$-adic uniformization of the Shimura curve. We finally compute families of $p$-adic binary quadratic forms associated to an infinite fa…
Dirichlet's version of Gauss's reduction theory for indefinite binary quadratic forms includes a map from Gauss-reduced forms to strings of natural numbers. It attaches to a form the minimal period of the continued fraction of a quadratic irrationality associated with the form. When Zagier developed his own reduction theory, parallel to Dirichlet's, he omitted an analogue of this map. We define a new map on Zagier-reduced forms that serves as this analogue. We also define a map from the set of Gauss-reduced forms into the set of Zagier-reduced forms that gives a near-embedding of the structure…
We consider approximation of vectors $\mathbf{z}\in F\otimes\mathbb{R}\cong\mathbb{R}^r\times\mathbb{C}^s$ by elements of a number field $F$ and construct examples of badly approximable vectors. These examples come from compact subspaces of $SL_2(\mathcal{O}_F)\backslash SL_2(F\otimes\mathbb{R})$ naturally associated to (totally indefinite, anisotropic) $F$-rational binary quadratic and Hermitian forms, a generalization of the well-known fact that quadratic irrationals are badly approximable over $\mathbb{Q}$.
We obtain some Bailey pairs associated with indefinite quadratic forms with the $β_n$ connected to a finite sum. A new general identity is given, which provides identities for $q$-hypergeometric series, including mock theta functions.
We show that the density of quadratic forms in $n$ variables over $\mathbb Z_p$ that are isotropic is a rational function of $p$, where the rational function is independent of $p$, and we determine this rational function explicitly. When real quadratic forms in $n$ variables are distributed according to the Gaussian Orthogonal Ensemble (GOE) of random matrix theory, we determine explicitly the probability that a random such real quadratic form is isotropic (i.e., indefinite). As a consequence, for each $n$, we determine an exact expression for the probability that a random integral quadratic f…
We prove an effective equidistribution theorem for orbits of horospherical subgroups of $\mathrm{SO}(2, 2)$ and $\mathrm{SO}(3, 1)$ in quotients of $\mathrm{SL}_4(\mathbb{R})$ with a polynomial error term. In a forthcoming paper, we will use this theorem to prove an effective version of the Oppenheim conjecture for indefinite quadratic forms of signature $(2, 2)$ or $(3, 1)$ with a polynomial error rate.
We obtain truncated restriction estimates of an unexpected form for discrete surfaces \begin{align} S = \{\, ( n_1 , \dots , n_d , R( n_1 , \dots, n_d ) ) \,,\, n_i \in [-N,N] \cap \mathbb{Z} \,\}, \end{align} where $R$ is an indefinite quadratic form with integer matrix.
We obtain estimates for the number of integral solutions in large balls, of inequalities of the form $|Q(x, y)| < ε$, 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.
In this note, we give an elementary proof of the following classical fact. Any positive definite ternary quadratic form over the rational numbers fails to represent infinitely many positive integers. For any ternary quadratic form (positive definite or indefinite), our method constructs certain congruence classes whose elements, up to a square factor, are the only elements not represented over the rational numbers by that form. In the case of a positive definite ternary form, we show that these classes are non-empty. This shows that the minimum number of variables in a positive definite quadra…
For an imaginary quadratic field $k$ of class number $>1$, we prove that there are only finitely many isomorphism classes of rational indefinite quaternion division algebras $B$ such that the associated Shimura curve $M^B$ has $k$-rational points. In other words, the main result asserts that there is a finite set $P(k)$ of prime numbers depending on $k$ such that: if there is a prime divisor of the discriminant of $B$ which is not in $P(k)$, then $M^B$ has no $k$-rational points. Moreover, we can take $P(k)$ to satisfy the following: There is an effectively computable constant $C(k)$ depending…
We formulate integral Iwasawa main conjectures for suitable twists of a newform $f$ that is non-ordinary at $p$, over the cyclotomic $\mathbb{Z}_p$-extension, the anticyclotomic $\mathbb{Z}_p$-extensions (in both the definite and the indefinite cases) as well as the $\mathbb{Z}_p^2$-extension of an imaginary quadratic field $K$ where $p$ splits. In order to do so, we define Kobayashi-Sprung-style signed Coleman maps, which we use to introduce doubly-signed Selmer groups. In the same spirit, we construct signed (integral) Beilinson-Flach elements (out of the collection of unbounded Beilinson-Fl…
Let Q_i, i=1,...,t, be real nondegenerate indefinite quadratic forms in d variables. We investigate under what conditions the closure of the set {(Q_1(x),...,Q_t(x)): x\in Z^d-{0}} contains (0,..,0). As a corollary, we deduce several results on the magnitude of the set Δof g\in GL(d,R) such that the closure of the set {(Q_1(gx),...,Q_t(gx)): x\in Z^d-{0}} contains (0,...,0). Special cases are described when depending on the mutual position of the hypersurfaces {Q_i=0}, i=1,...,t, the set Δhas full Haar measure or measure zero and Hausdorff dimension d^2-(d-2)/2.
We generalize Conway's approach to integral binary quadratic forms on Q to study integral binary hermitian forms on quadratic imaginary extensions of Q. In Conway's case, an indefinite form that doesn't represent 0 determines a line ("river") in the spine T associated with SL(2,Z) in the hyperbolic plane. In our generalization, such a form determines a plane ("ocean") in Mendoza's spine associated with the corresponding Bianchi group SL(2,A) in hyperbolic 3-space.
For d-dimensional irrational ellipsoids E with d >= 9 we show that the number of lattice points in rE is approximated by the volume of rE, as r tends to infinity, up to an error of order o(r^{d-2}). The estimate refines an earlier authors' bound of order O(r^{d-2}) which holds for arbitrary ellipsoids, and is optimal for rational ellipsoids. As an application we prove a conjecture of Davenport and Lewis that the gaps between successive values, say s<n(s), s,n(s) in Q[Z^d], of a positive definite irrational quadratic form Q[x], x in R^d, are shrinking, i.e., that n(s) - s -> 0 as s -> \infty, f…
The number of lattice points in $d$-dimensional hyperbolic or elliptic shells $\{m : a<Q[m]<b\}$, which are restricted to rescaled and growing domains $r\;Ω$, is approximated by the volume. An effective error bound of order $o(r^{d-2})$ for this approximation is proved based on Diophantine approximation properties of the quadratic form $Q$. These results allow to show effective variants of previous non-effective results in the quantitative Oppenheim problem and extend known effective results in dimension $d \geq 9$ to dimension $d \geq 5$. They apply to wide shells when $b-a$ is growing with $…
A commutative order in a quaternion algebra is called selective if it is embeds into some, but not all, the maximal orders in the algebra. It is known that a given quadratic order over a number field can be selective in at most one indefinite quaternion algebra. Here we prove that the order generated by a cubic root of unity is selective for any definite quaternion algebra over the rationals with a type number 3 or larger. The proof extends to a few other closely related orders.
