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.
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.
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（首尔国立大学）
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.
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 tha…
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…
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 …
Given an indefinite binary quaternionic Hermitian form $f$ with coefficients in a maximal order of a definite quaternion algebra over $\mathbb Q$, 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 $+\infty$. We compute the volumes of hyperbolic 5-manifolds constructed by quaternions using Eisenstein series. In the Appendix, V. Emery computes these volumes using Prasad's general formula. We use hyperbolic geometry in dimension 5 to describ…
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}}.$
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…
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…
We consider a binary quadratic variant of the Titchmarsh divisor problem and give an asymptotic formula for $\sum_{p^2+q^2\leq N} τ(p^2+q^2+1)$, where $p,q$ are primes.
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 apply Tatuzawa's version of Siegel's theorem to derive two lower bounds on the size of the principal genus of positive definite binary quadratic forms.
The purpose of this paper is to present a collection of interesting generating functions for partitions which have connections to positive definite binary quadratic forms. In establishing our results we obtain some new Bailey pairs.
For a congruence subgroup $Γ$, we define the notion of $Γ$-equivalence on binary quadratic forms which is the same as proper equivalence if $Γ= \mathrm{SL}_2(\mathbb Z)$. We develop a theory on $Γ$-equivalence such as the finiteness of $Γ$-reduced forms, the isomorphism between $Γ_0(N)$-form class group and the ideal class group, $N$-representation of integers, and $N$-genus of binary quadratic forms. As an application, we deal with representations of integers by binary quadratic forms under certain congruence condition on variables.
Let $Q(x,y,z)$ be an integral quadratic form with determinant coprime to some modulus $q$. We show that $q\mid Q$ for some non-zero integer vector $(x,y,z)$ of length $O(q^{5/8+\varepsilon})$, for any fixed $\varepsilon>0$. Without the coprimality condition on the determinant one could not achieve an exponent below $2/3$. The proof uses a bound for short character sums involving binary quadratic forms, which extends a result of Chang.
Let $-d$ be a a negative discriminant and let $T$ vary over a set of representatives of the integral equivalence classes of integral binary quadratic forms of discriminant $-d$. We prove an asymptotic formula for $d \to \infty$ for the average over $T$ of the number of representations of $T$ by an integral positive definite quaternary quadratic form and obtain results on averages of Fourier coefficients of linear combinations of Siegel theta series. We also find an asymptotic bound from below on the number of binary forms of fixed discriminant $-d$ which are represented by a given quaternary f…
We state and prove an identity which represents the most general eta-products of weight 1 by binary quadratic forms. We discuss the utility of binary quadratic forms in finding a multiplicative completion for certain eta-quotients. We then derive explicit formulas for the Fourier coefficients of certain eta-quotients of weight 1 and level 47, 71, 135,648 1024, and 1872.
We prove an upper bound for the length of an arithmetic progression represented by an irreducible integral binary quadratic form or a norm form, which depends only on the form and the progression's common difference. For quadratic forms, this improves significantly upon an earlier result of Dey and Thangadurai.
In this note we show that for a given irreducible binary quadratic form $f(x,y)$ with integer coefficients, whenever we have $f(x,y) = f(u,v)$ for integers $x,y,u,v$, there exists a rational automorphism of $f$ which sends $(x,y)$ to $(u,v)$.
In this paper we generalize the result of Fouvry and Iwaniec dealing with prime values of the quadratic form $x^2 + y^2$ with one input restricted to a thin subset of the integers. We prove the same result with an arbitrary primitive positive definite binary quadratic form. In particular, for any positive definite binary quadratic form $F$ and binary linear form $G$, there exist infinitely many $\ell, m\in\mathbb{Z}$ such that both $F(\ell, m)$ and $G(\ell, m)$ are primes as long as there are no local obstructions.
Let $f(x,y)=ax^2+bxy+cy^2$ be a binary quadratic form with integer coefficients. For a prime $p$ not dividing the discriminant of $f$, we say $f$ is completely $p$-primitive if for any non-zero integer $N$, the diophantine equation $f(x,y)=N$ has always an integer solution $(x,y)=(m,n)$ with $(m,n,p)=1$ whenever it has an integer solution. In this article, we study various properties of completely $p$-primitive binary quadratic forms. In particular, we give a necessary and sufficient condition for a definite binary quadratic form $f$ to be completely $p$-primitive.
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.
Jagy and Kaplansky exhibited a table of 68 pairs of positive definite binary quadratic forms that represent the same odd primes and conjectured that this list is complete outside of "trivial" pairs. In this article, we find all pairs of such forms that represent the same primes outside of a finite set.
After a brief introduction to the classical theory of binary quadratic forms we use these results for proving (most of) the claims made by Pépin in a series of articles on unsolvable quartic diophantine equations, and for constructing families of counterexamples to the Hasse Principle for curves of genus 1 defined by equations of the form $ax^4 + by^4 = z^2$.
In this paper, we prove that for $d=3,\dots,8$, every natural number can be written as $t_x+t_y+3t_z+dt_w$, where $x$, $y$, $z$, and $w$ are nonnegative integers and $t_k=k(k+1)/2$ $(k=0,1,2,\ldots)$ is a triangular number. Furthermore, we study mixed sums of triangular numbers and certain binary quadratic forms.
Kaplansky [2003] proved a theorem on the simultaneous representation of a prime $p$ by two different principal binary quadratic forms. Later, Brink found five more like theorems and claimed that there were no others. By putting Kaplansky-like theorems into the context of threefield identities after Andrews, Dyson, and Hickerson, we find that there are at least two similar results not on Brink's list. We also show how such theorems are related to results of Muskat on binary quadratic forms
Given a positive definite binary quadratic form f, let r(n) = |{(x,y): f(x,y)=n}| denote its representation function. In this paper we study linear correlations of these functions. For example, if r_1, ..., r_k are representation functions, we obtain an asymptotic for sum_{n,d} r_1(n) r_2(n+d) ... r_k(n+ (k-1)d).
