Let $F \in \mathbf{Z}[\boldsymbol{x}]$ be a diagonal, non-singular quadratic form in $4$ variables. Let $λ(n)$ be the normalised Fourier coefficients of a holomorphic Hecke form of full level. We give an upper bound for the problem of counting integer zeros of $F$ with $|\boldsymbol{x}| \leq X$, weighted by $λ(x_1)$.
We give an upper bound for the number of rational points of height at most $B$, lying on a surface defined by a quadratic form $Q$. The bound shows an explicit dependence on $Q$. It is optimal with respect to $B$, and is also optimal for typical forms $Q$.
We establish the Hardy-Littlewood property (à la Borovoi-Rudnick) for Zariski open subsets in affine quadrics of the form $q(x_1,\cdots,x_n)=m$, where $q$ is a non-degenerate integral quadratic form in $n\geqslant 3$ variables and $m$ is a non-zero integer. This gives asymptotic formulas for the density of integral points taking coprime polynomial values, which is a quantitative version of the arithmetic purity of strong approximation property off infinity for affine quadrics.
We construct a torsion-free arithmetic lattice in $\mathrm{PGL}_2(\mathbb{F}_2(\!(t)\!))\times\mathrm{PGL}_2(\mathbb{F}_2(\!(t)\!))$ arising from a quaternion algebra over $\mathbb{F}_2(z)$. It is the fundamental group of a square complex with universal covering $T_3\times T_3$, a product of trees with constant valency $3$, which has minimal Euler characteristic. Furthermore, our lattice gives rise to a fake quadric over $\mathbb{F}_2(\!(t)\!)$ by means of non-archimedean uniformization.
A fake quadric is a smooth projective surface that has the same rational cohomology as a smooth quadric surface but is not biholomorphic to one. We provide an explicit classification of all irreducible fake quadrics according to the commensurability class of their fundamental group. To accomplish this task, we develop a number of new techniques that explicitly bound the arithmetic invariants of a fake quadric and more generally of an arithmetic manifold of bounded volume arising from a form of SL_2 over a number field.
A pair of symmetric bilinear forms A and B determine a binary form $f(x,y) = disc(Ax-By)$. We prove that the question of whether a given binary form can be written in this way as a discriminant form generically satisfies a local-global principle and deduce from this that most binary forms over $\mathbf{Q}$ are discriminant forms. This is related to the arithmetic of the hyperelliptic curve $z^2 = f(x,y)$. Analogous results for non-hyperelliptic curves are also given.
We study the number of primes with a given primitive root and in an arithmetic progression under the assumption of a suitable form of the generalized Riemann Hypothesis. Previous work of Lenstra, Moree and Stevenhagen has given asymptotics without an explicit error term, we provide an explicit error term by combining their work with the method of Hooley regarding Artin's primitive root conjecture. We give an application to a Diophantine problem involving primes with a given primitive root.
We prove a Diophantine approximation inequality for rational points in varieties of any dimension, in the direction of Vojta's conjecture with truncated counting functions. Our results also provide a bound towards the $abc$ conjecture which in several cases is subexponential. The main theorem gives a lower bound for the truncated counting function relative to a divisor with sufficiently many components, in terms of the proximity to an algebraic point. Furthermore, we show that the Lang-Waldschmidt conjecture implies a special case of Vojta's conjecture with truncation in arbitrary dimension. O…
Let $X(D,1) =Γ(D,1) \backslash \mathbb{H}$ denote the Shimura curve of level $N=1$ arising from an indefinite quaternion algebra of fixed discriminant $D$. We study the discrete average of the error term in the hyperbolic circle problem over Heegner points of discriminant $d <0$ on $X(D,1)$ as $d \to -\infty$. We prove that if $|d|$ is sufficiently large compared to the radius $r \approx \log X$ of the circle, we can improve on the classical $O(X^{2/3})$-bound of Selberg. Our result extends the result of Petridis and Risager for the modular surface to arithmetic compact Riemann surfaces.
For any $k>1$, we find the asymptotics of the counting function of $k$-th power-free elements in an additive arithmetic semigroup with exponential growth of the abstract prime counting function. This paper continues the authors' earlier research dealing with the case of infinite $k$.
We relate the singularities of a scheme $X$ to the asymptotics of the number of points of $X$ over finite rings. This gives a partial answer to a question of Mustata. We use this result to count representations of arithmetic lattices. More precisely, if $Γ$ is an arithmetic lattice whose $\mathbb{Q}$-rank is greater than one, let $r_n(Γ)$ be the number of irreducible $n$-dimensional representations of $Γ$ up to isomorphism. We prove that there is a constant $C$ (for example, $C=746$ suffices) such that $r_n(Γ)=O(n^C)$ for every such $Γ$. This answers a question of Larsen and Lubotzky.
An arithmetic formula is an expression involving only the constant $1$, and the binary operations of addition and multiplication, with multiplication by $1$ not allowed. We obtain an asymptotic formula for the number of arithmetic formulas evaluating to $n$ as $n$ goes to infinity, solving a conjecture of E. K. Gnang and D. Zeilberger. We give also an asymptotic formula for the number of arithmetic formulas evaluating to $n$ and using exactly $k$ multiplications. Finally we analyze three specific encodings for producing arithmetic formulas. For almost all integers $n$, we compare the lengths o…
This paper, motivated by problems in Diophantine analysis which can be formulated as problems of finding rational points on the intersection of two quadrics, presents an explicit construction of a rationally defined isomorphism (biregular mapping) between a rationally defined smooth intersection of two quadrics in projective three-space and an elliptic curve in Weierstrass form which maps a distinguished rational point to the point at infinity. The usual approach of transforming a smooth plane cubic to a curve in Weierstrass form by mapping an inflection point to the point at infinity in a par…
A method is described to sum multi-dimensional arithmetic functions subject to hyperbolic summation conditions, provided that asymptotic formulae in rectangular boxes are available. In combination with the circle method, the new method is a versatile tool to count rational points on algebraic varieties defined by multi-homogeneous diagonal equations.
Counting the number of inequivalent arithmetic expressions on $n$ variables
Faculty of Sciences and Mathematics, University of Niš(尼什大学科学与数学学院);Faculty of Mathematics, Natural Sciences and Information Technologies, University of Primorska(普里莫尔斯卡大学数学、自然科学信息技术学院);Faculty of Electronic Engineering, University of Niš(尼什大学电子工程学院);Diffine LLC(Diffine有限责任公司);Centre for Mathematical Sciences, University of Cambridge(剑桥大学数学科学中心)
We strongly develop the relationship between complex hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on complex hyperbolic spaces, especially in dimension $2$. We prove a Mertens' formula for the integer points over a quadratic imaginary number fields $K$ in the light cone of Hermitian forms, as well as an equidistribution theorem of the set of rational points over $K$ in Heisenberg groups. We give a counting formula for the cubic points over $K$ in the complex projective plane whose Galois conjugates are orthogonal…
A sieve for rational points on suitable varieties is developed, together with applications to counting rational points in thin sets, the number of varieties in a family which are everywhere locally soluble, and to the notion of friable rational points with respect to divisors. In the special case of quadrics, sharper estimates are obtained by developing a version of the Selberg sieve for rational points.
We develop the relationship between quaternionic hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on quaternionic hyperbolic spaces, especially in dimension $2$. We prove a Mertens counting formula for the rational points over a definite quaternion algebra $A$ over $\mathbb Q$ in the light cone of quaternionic Hermitian forms, as well as a Neville equidistribution theorem of the set of rational points over $A$ in quaternionic Heisenberg groups.
Given a symmetric variety Y defined over the rationals and a non-zero polynomial with integer coefficients, we use techniques from homogeneous dynamics to establish conditions under which the polynomial can be made r-free for a Zariski dense set of integral points on Y. We also establish an asymptotic counting formula for this set. In the special case that Y is a quadric hypersurface, we give explicit bounds on the size of r by combining the argument with a uniform upper bound for the density of integral points on general affine quadrics.
It is known that the lengths of closed geodesics of an arithmetic hyperbolic orbifold are related to Salem numbers. We initiate a quantitative study of this phenomenon. We show that any non-compact arithmetic $3$-dimensional orbifold defines $c Q^{1/2} + O(Q^{1/4})$ square-rootable Salem numbers of degree $4$ which are less than or equal to $Q$. This quantity can be compared to the total number of such Salem numbers, which is shown to be asymptotic to $\frac{4}{3}Q^{3/2}+O(Q)$. Assuming the gap conjecture of Marklof, we can extend these results to compact arithmetic $3$-orbifolds. As an applic…
Counting the number of $n$-periodic $\mathbb{Z}_{p}$-and $\mathbb{F}_{p}[t]$-points of a discrete dynamical system with applications from arithmetic statistics, VI
Counting Salem numbers arising from arithmetic hyperbolic orbifolds
University of Minnesota(明尼苏达大学);Universidade Federal Fluminense(弗鲁米嫩塞联邦大学);Centro de Investigación en Matemáticas AC(数学研究中心AC);Universiteit Utrecht(乌得勒支大学)
In this paper we introduce and study a family $Φ_k$ of arithmetic functions generalizing Euler's totient function. These functions are given by the number of solutions to the equation $\gcd(x_1^2+\ldots +x_k^2, n)=1$ with $x_1,\ldots,x_k \in {\mathbb{Z}}/n{\mathbb{Z}}$ which, for $k=2,4$ and $8$ coincide, respectively, with the number of units in the rings of Gaussian integers, quaternions and octonions over ${\mathbb{Z}}/n{\mathbb{Z}}$. We prove that $Φ_k$ is multiplicative for every $k$, we obtain an explicit formula for $Φ_k(n)$ in terms of the prime-power decomposition of $n$ and derive an…
Counting the number of $\mathbb{Z}_{p}$-and $\mathbb{F}_{p}[t]$-fixed points of a discrete dynamical system with applications from arithmetic statistics, III
Counting Arithmetical Structures on Paths and Cycles
University of Kentucky(肯塔基大学);Centro de Investigación y de Estudios Avanzados del IPN(墨西哥国立理工学院高级研究中心);Lawrence University(劳伦斯大学);Sam Houston State University(山姆休斯顿州立大学);Gettysburg College(盖提斯堡学院);University of California, Irvine(加州大学尔湾分校);University of Kansas(堪萨斯大学);University of Minnesota(明尼苏达大学)
We report on our project to find explicit examples of $K3$ surfaces having real or complex multiplication. Our strategy is to search through the arithmetic consequences of RM and CM. In order to do this, an efficient method is needed for point counting on surfaces defined over finite fields. For this, we describe algorithms that are $p$-adic in nature.
In this book, we study equidistribution and counting problems concerning locally geodesic arcs in negatively curved spaces endowed with potentials, and we deduce, from the special case of tree quotients, various arithmetic applications to equidistribution and counting problems in non-Archimedean local fields.
In arithmetic statistics and analytic number theory, the asymptotic growth rate of counting functions giving the number of objects with order below $X$ is studied as $X\to \infty$. We define general counting functions which count epimorphisms out of an object on a category under some ordering. Given a probability measure $μ$ on the isomorphism classes of the category with sufficient respect for a product structure, we prove a version of the Law of Large Numbers to give the asymptotic growth rate as $X$ tends towards $\infty$ of such functions with probability $1$ in terms of the finite moments…
In [BGLM] and [GLNP] it was conjectured that if $H$ is a simple Lie group of real rank at least 2, then the number of conjugacy classes of (arithmetic) lattices in $H$ of covolume at most $x$ is $x^{(γ(H)+o(1))\log x/\log\log x}$ where $γ(H)$ is an explicit constant computable from the (absolute) root system of $H$. In [BLu] we disproved this conjecture. In this paper we prove that for most groups $H$ the conjecture is actually true if we restrict to counting only non-uniform lattices.