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 form in $n$ variables is isotropic (i.e., has a nontrivial zero over $\mathbb Z$), when these integral quadratic forms are chosen according to the GOE distribution. In particular, we find an exact expression for the probability that a random integral quaternary quadratic form has an integral zero; numerically, this probability is approximately $98.3\%$.
In this paper, we study the representations of integral quadratic polynomials. Particularly, it is shown that there are only finitely many equivalence classes of positive ternary universal integral quadratic polynomials, and that there are only finitely many regular ternary triangular forms. A more general discussion of integral quadratic polynomials over a Dedekind domain inside a global field is also given.
Using half-integral weight modular forms we give a criterion for the existence of real quadratic $p$-rational fields. For $p=5$ we prove the existence of infinitely many real quadratic $p$-rational fields.
In the paper we obtain the asymtotic number of integral quadratic polynomials with bounded heights and discriminants as the upper bound of heights tends to infinity.
We consider infinite parametric families of octic fields, that are quartic extensions of quadratic fields. We describe all relative power integral bases of the octic fields over the quadratic subfields.
A collection $\mathcal S$ of equivalence classes of positive definite integral quadratic forms in $n$ variables is called an $n$-exceptional set if there exists a positive definite integral quadratic form which represents all equivalence classes of positive definite integral quadratic forms in $n$ variables except those in $\mathcal S$. We show that, among other results, for any given positive integers $m$ and $n$, there is always an $n$-exceptional set of size $m$ and there are only finitely many of them.
Erdős and Hall studied the angular distribution of Gaussian integers with a fixed norm. We generalize their result to the angular distribution of integral ideal numbers with a fixed norm in any quadratic extension.
We propose a method for determining which integers can be written as a sum of two integral squares for quadratic fields $\Q(\sqrt{\pm p})$, where $p$ is a prime.
We give formulas for local densities of diagonal integral ternary quadratic forms at odd primes. Exponential sums and quadratic Gauss sums are used to obtain these formulas. These formulas (along with 2-adic densities and Siegel's mass formula) can be used to compute the representation numbers of certain ternary quadratic forms.
In this note, we give a necessary and sufficient condition for determining which integers can be written as a sum of two integral squares for certain quadratic fields by using the integral Brauer-manin obstruction (see \cite{CTX}). The condition is computable and originally from the reciprocity law.
G.L. Watson \cite{watson1, watson2} introduced a set of transformations, called Watson transformations by most recent authors, in his study of the arithmetic of integral quadratic forms. These transformations change an integral quadratic form to another integral quadratic form with a smaller discriminants, but preserve many arithmetic properties at the same time. In this paper, we study the change of class numbers of positive definite ternary integral quadratic formula along a sequence of Watson transformations, thus providing a new and effective way to compute the class number of positive def…
Investigations of monogenity and power integral bases were recently extended from the absolute case (over Q) to the relative case (over algebraic number fields). Formerly, in the relative case we only succeeded to calculate generators of power integral bases when the ground field is an imaginary quadratic field. This is the first case when we consider monogenity in the more difficult case, in extensions of real quadratic fields. We give efficient algorithms for calculating generators of power integral bases in cubic and quartic extensions of real quadratic fields, more exactly in composites of…
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$.
Let $K= \mathbf{Q}(\sqrt{d})$ be a quadratic field and $\mathcal{O}_{K}$ be its ring of integers. We study the solvability of the Diophantine equation $r + s + t = rst = 2$ in $\mathcal{O}_{K}$. We prove that except for $d= -7, -1, 17$ and $101$ this system is not solvable in the ring of integers of other quadratic fields.
This paper treats certain integral lattices with respect to ternary quadratic forms, which are obtained from the data of a non-zero element and a maximal lattice in a quaternary quadratic space. Such a lattice can be described by means of an order associated with the lattice in the even Clifford algebra of the ternary form. This provides a correspondence between the genus of the lattice and that of the order.
Let K/F be a quadratic extension of number fields. After developing a theory of the Eisenstein series over F, we prove a formula which expresses a partial zeta function of K as a certain integral of the Eisenstein series. As an application, we obtain a limit formula of Kronecker's type which relates the 0-th Laurent coefficients at s=1 of zeta functions of K and F.
In this paper, we investigate the conditions under which a diagonal quadratic form $\sum_{i=1}^{m}a_i X_i^2$ represents every $n \times n$ integral matrix, where $a_i$ ($1 \leq i \leq m$) are integers. For $n=2$, we give a necessary and sufficient condition. Also we give some sufficient conditions for each $n \geq 2$ where $a_i$ ($1 \leq i \leq m$) are pairwisely coprime.
We investigate the probability that a random quadratic form in ${\mathbb{Z}}[x_1,...,x_n]$ has a totally isotropic subspace of a given dimension. We show that this global probability is a product of local probabilities. Our main result computes these local probabilities for quadratic forms over the $p$-adics. The formulae we obtain are rational functions in $p$ invariant upon substituting $p \mapsto 1/p$.
Let $M=Q(i\sqrt{d})$ be any imaginary quadratic field with a positive square-free $d$. Consider the polynomial \[ f(x)=x^3-ax^2-(a+3)x-1, \] with a parameter $a\in Z$. Let $K=M(α)$, where $α$ is a root of $f$. This is an infinite parametric family of sextic fields depending on two parameters, $a$ and $d$. Applying relative Thue equations we determine the relative power integral bases of these sextic fields over their quadratic subfields. Using these results we also determine generators of (absolute) power integral bases of the sextic fields.
We give a method for the computation of integral points on a hyperelliptic curve of odd degree over the rationals whose genus equals the Mordell-Weil rank of its Jacobian. Our approach consists of a combination of the $p$-adic approximation techniques introduced in previous work with the Mordell-Weil sieve
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…
We show that the density of quadratic forms in $n$ variables over ${\mathbb Z}_p$ that are isotropic is a rational function in $p$, where the rational function is independent of $p$, and we determine this rational function explicitly. As a consequence, for each $n$, we determine the probability that a random integral quadratic form in $n$ variables is isotropic. In particular, we show that the probability that a random integral quaternary quadratic form is isotropic is $\approx 97.0\%$, in the case where the coefficients of the quadratic form are independently and uniformly distributed in the …
Let $f$ be a positive definite integral ternary quadratic form and let $r(k,f)$ be the number of representations of an integer $k$ by $f$. In this article we study the number of representations of squares by $f$. We say the genus of $f$, denoted by $\text{gen}(f)$, is indistinguishable by squares if for any integer $n$, $r(n^2,f)=r(n^2,f')$ for any quadratic form $f' \in \text{gen}(f)$. We find some non trivial genera of ternary quadratic forms which are indistinguishable by squares. We also give some relation between indistinguishable genera by squares and the conjecture given by Cooper and L…
Let $f$ be a positive definite (non-classic) integral quaternary quadratic form. We say $f$ is strongly $s$-regular if it satisfies a regularity property on the number of representations of squares of integers. In this article, we prove that there are only finitely many strongly $s$-regular quaternary quadratic forms up to isometry if the minimum of the nonzero squares that are represented by the quadratic form is fixed. Furthermore, we show that there are exactly $34$ strongly $s$-regular diagonal quaternary quadratic forms representing one (see Table $1$). In particular, we use eta-quotients…
Given an isotropic quadratic form over a number field which assumes a value $t$, we investigate the distribution of points at which this value is assumed. Building on the previous work about the distribution of small-height zeros of quadratic forms, we produce bounds on height of points outside of some algebraic sets in a quadratic space at which the form assumes the value $t$. Our bounds on height are explicit in terms of the heights of the form, the space, the algebraic set and the value $t$.
For each positive integer $n$, let $g_{\mathbb Z}(n)$ be the smallest integer such that if an integral quadratic form in $n$ variables can be written as a sum of squares of integral linear forms, then it can be written as a sum of $g_{\mathbb Z}(n)$ squares of integral linear forms. We show that as $n$ goes to infinity, the growth of $g_{\mathbb Z}(n)$ is at most an exponential of $\sqrt{n}$. Our result improves the best known upper bound on $g_{\mathbb Z}(n)$ which is in the order of an exponential of $n$. We also define an analogous number $g_{\mathcal O}^*(n)$ for writing hermitian forms ov…
A quadratic form over a non-archimedian local field of characteristic zero $F$ is called universal if it is integral and it represents all non-zero integers of $F$. Xu Fei and Zhang Yang determined all universal quadratic forms in the case when $F$ is non-dyadic. In the more complicated dyadic case, when $F$ is a finite extension of $\mathbb Q_2$, they solved the same problem only in the ternary case. In our paper we solve this problem in the general case. Our result is given in terms of BONGs (bases of norm generators) but in section 3 of the paper we translate (without a proof) our result in…
We study the quadratic integral points-that is, (S-)integral points defined over any extension of degree two of the base field-on a curve defined in P_3 by a system of two Pell equations. Such points belong to three families explicitly described, or belong to a finite set whose cardinality may be explicitly bounded in terms of the base field, the equations defining the curve and the set S. We exploit the peculiar geometry of the curve to adapt the proof of a theorem of Vojta, which in this case does not apply.
We translate O'Meara's classification Theorem 93:28 in terms of BONGs. BONGs, short for "basis of norm generators", are a new way of describing quadratic lattices, an alternative to the traditional Jordan decompositions. They were introduced in [B]. Our result has its own merits as it is somewhat simpler than O'Meara's 93:28. However, it's main importance is that it is a prerequisite for a future work where we solve the more complicated problem of representation. [B] C. N. Beli, Integral spinor norms over dyadic local fields, J. Number Theory 102 (2003) 125-182.
CUNY Graduate Center（纽约市立大学研究生中心）；Oklahoma State University（俄克拉荷马州立大学）；Institute for Advanced Study & Princeton University（普林斯顿高等研究院与普林斯顿大学）；Seoul National University（首尔国立大学）
For the hypergeometric series with parameters from the rational fields, there is an effective criterion due to Christol to decide whether the hypergeometric series is N-integral or not. Christol criterion is a basic and vital tool in the recent striking work of Delaygue, Rivoal and Roques on the N-integrality of the hypergeometric mirror maps with rational parameters. In this paper, we develop a systematic theory on the N-integrality of the hypergeometric series with parameters from quadratic fields. We first present a detailed $p$-adic analysis to set up a criterion of the $p$-adic integralit…
Let $K$ be a complex bi-quadratic field with ring of integers $\mathcal{O}_{K}$. For $K = \mathbb{Q}(\sqrt{-m}$, $\sqrt{n}$), where $ m \equiv 3 \pmod 4 $ and $ n \equiv 1 \pmod 4$, we prove that every algebraic integer can be written as sum of integral squares. Using this, we prove that for any complex bi-quadratic field $K$, every element of $4\mathcal{O}_K$ can be written as sum of five integral squares. In addition, we show that the Pythagoras number of ring of integers of any CM field is at most five. Moreover, we give two classes of complex bi-quadratic fields for which $p(\mathcal{O}_{K…
For diophantine equations of the form ax^2+bxy+cy^2+g=0 over Z whose coefficients satisfy some assumptions, we show that a condition with respect to Artin reciprocity map, which we call the Artin condition, is the only obstruction to the local-global principle for integral solutions of the equation. Some concrete examples are presented.
Let $S \subseteq \mathbb{N}$ be finite. Is there a positive definite quadratic form that fails to represent only those elements in $S$? For $S = \emptyset$, this was solved (for classically integral forms) by the $15$-Theorem of Conway-Schneeberger in the early 1990s and (for all integral forms) by the $290$-Theorem of Bhargava-Hanke in the mid-2000s. In 1938 Halmos attempted to list all weighted sums of four squares that failed to represent $S=\{m\}$; of his $88$ candidates, he could provide complete justifications for all but one. In the same spirit, we ask, "for which $S = \{m, n\}$ does th…
In this paper, we investigate sign changes of Fourier coefficients of half-integral weight cusp forms. In a fixed square class $t\mathbb{Z}^2$, we investigate the sign changes in the $tp^2$-th coefficient as $p$ runs through the split or inert primes over the ring of integers in a quadratic extension of the rationals. We show that sign changes occur in both sets of primes when there exists a prime dividing the discriminant of the field which does not divide the level of the cusp form and find an explicit condition that determines whether sign changes occur when every prime dividing the discrim…
A (positive definite integral) quadratic form is called almost 2-universal if it represents all (positive definite integral) binary quadratic forms except those in only finitely many equivalence classes. Oh [7] determined all almost 2-universal quinary diagonal quadratic forms remaining three as candidates. In this article, we prove that those three candidates are indeed almost 2-universal.
We obtain uniform lower bounds, true for all automorphic L-functions L(s) associated to cuspidal representations of GL(m,A) where A denotes the adeles of the rationals Q, of the integral on the vertical line (Re(s)=1/2) of the absolute value squared of L(s)/s; and also of L(s)/(s-s_0) when s_0 is a zero of the L-function on the critical line. Several variants are also obtained in small degrees m, for the vertical integrals at different abscissas in the critical strip. For the estimates required to prove convergence, we are led to generalise a result of Friedlander-Iwaniec (Can. J. Math. 57,200…
Let $f$ be a positive definite ternary quadratic form. We assume that $f$ is non-classic integral, that is, the norm ideal of $f$ is $\z$. We say $f$ is {\it strongly $s$-regular } if the number of representations of squares of integers by $f$ satisfies the condition in Cooper and Lam's conjecture in \cite {cl}. In this article, we prove that there are only finitely many strongly $s$-regular ternary forms up to equivalence if the minimum of the non zero squares that are represented by the form is fixed. In particular, we show that there are exactly $207$ non-classic integral strongly $s$-regul…
Let $K$ be a number field of degree at least $3$. In this article we show that the genus of the integral trace form of $K$ contains only one spinor genus. Additionally we show that exactly $43%$ (resp. $29%$, resp. $58%$) of quadratic (resp. real quadratic, resp. imaginary quadratic) fields have the same property.
Using the circle method, we show that for a fixed positive definite integral quadratic form $A$, the expected asymptotic formula for the number of representations of a positive definite integral quadratic form $B$ by $A$ holds true, providing that the dimension of $A$ is large enough in terms of the dimension of $B$ and the maximum ratio of the successive minima of $B$, and providing that $B$ is sufficiently large in terms of $A$.
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 consider a system of homogeneous quadratic forms with congruence conditions in $n\geq 3$ variables and prove the existence of two linearly independent integral solutions of bounded height. We also show the existence of small height integral zeros of this system avoiding a given set of hyperplanes.
We show that the theorem of Ellenberg and Venkatesh on representation of integral quadratic forms by integral positive definite quadratic forms is valid under weaker conditions on the represented form.
An integral quadratic form is called strictly $n$-regular if it primitively represents all quadratic forms in $n$ variables that are primitively represented by its genus. For any $n \geq 2$, it will be shown that there are only finitely many similarity classes of positive definite strictly $n$-regular integral quadratic forms in $n + 4$ variables. This extends the recent finiteness results for strictly regular quaternary quadratic forms by Earnest-Kim-Meyer (2014).
