This paper provides a mean value theorem for arithmetic functions $f$ defined by $$f(n)=\prod_{d|n}g(d),$$ where $g$ is an arithmetic function taking values in $(0, 1]$ and satisfying some generic conditions. As an application of our main result, we prove that the density $μ_q(n)$ (resp. $ρ_q(n)$) of normal (resp. primitive) elements in the finite field extension $\mathbb{F}_{q^n}$ of $\mathbb{F}_q$ are arithmetic functions of (non zero) mean values.
This is the first paper of a series. We prove an arithmetic Hodge index theorem for adelic line bundles on projective varieties over number fields. It extends the arithmetic Hodge index theorem of Faltings, Hriljac and Moriwaki on arithmetic varieties. As consequences, we obtain the uniqueness part of the non-archimedean Calabi--Yau theorem, and a rigidity property of the sets of preperiodic points of polarizable algebraic dynamical systems over number fields.
We obtain an asymptotic formula, in the spirit of the Montgomery-Hooley refinement of the Barban-Davenport-Halberstam Theorem, for the variance associated with tuples of k-free numbers in arithmetic progressions.
We prove that if $A\subseteq \{1,\dots,N\}$ does not contain any non-trivial three-term arithmetic progression, then $$|A|\ll \frac{(\log\log N)^{3+o(1)}}{\log N}N\,.$$
We give two improved explicit versions of the prime number theorem for primes in arithmetic progression: the first isolating the contribution of the Siegel zero and the second completely explicit, where the improvement is for medium-sized values. This will give an improved explicit Bombieri-Vinogradov like result for non-exceptional moduli.
In this paper, we give a new proof of an arithmetic analogue of the Riemann-Roch Theorem, due originally to Serge Lang. Lang's result was first proved using the lattice point geometry of Minkowski. By contrast, our proof is completely adelic. It has the conceptual advantage that it uses a different analogue of the Riemann-Roch theorem proved by Tate in his thesis, in a manner similar to the proof of the Riemann-Roch theorem for curves over finite fields which uses Tate's theorem. Thus our proof provides a bridge between a lot of the Riemann-Roch theory that exists in arithmetic.
In his 1960 paper, Schmidt studied a quantitative type of Khintchine-Groshev theorem for general (higher) dimensions. Recently, a new proof of the theorem was found, which made it possible to relax the dimensional constraint and more generally, to add on the congruence condition by M. Alam, A. Ghosh, and S. Yu. In this paper, we generalize this new approach to S-arithmetic spaces and obtain a quantitative version of an S-arithmetic Khintchine-Groshev theorem. In fact, we consider a new S-arithmetic analog of Diophantine approximation, which is different from the one formerly established (see t…
Building on the concept of pretentious multiplicative functions, we give a new and largely elementary proof of the best result known on the counting function of primes in arithmetic progressions.
Let $K$ be an imaginary quadratic number field of class number one and $\mathcal{O}_K$ be its ring of integers. We show that, if the arithmetic functions $f, g:\mathcal{O}_K\rightarrow \mathbb{C}$ both have level of distribution $\vartheta$ for some $0<\vartheta\leq 1/2$ then the Dirichlet convolution $f*g$ also have level of distribution $\vartheta$.
In connection with our previous work on semi-galois categories, this paper proves an arithmetic analogue of Christol's theorem concerning an automata-theoretic characterization of when a formal power series over finite field is algebraic over the polynomial ring. There are by now several variants of Christol's theorem, all of which are concerned with rings of positive characteristic. This paper provides an arithmetic (or F_1) variant of Christol's theorem in the sense that it replaces the polynomial ring with the ring of integers of a number field and the ring of formal power series with the r…
In this short note, we give two proofs of the infinitude of primes via valuation theory and give a new proof of the divergence of the sum of prime reciprocals by Roth's theorem and Euler-Legendre's theorem for arithmetic progressions.
Prime Geodesic Theorem for Arithmetic Compact Surfaces: Principal Congruence Case
Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；University of the Chinese Academy of Sciences（中国科学院大学）；Hangzhou International Innovation Institute, Beihang University（北京航空航天大学杭州创新研究院）；Qiuzhen College, Tsinghua University（清华大学求真学院）；School of Mathematical Sciences, University of Scinece and Technology of China（中国科学技术大学数学科学学院）
Assuming the Riemann hypothesis, we prove the latest explicit version of the prime number theorem for short intervals. Using this result, and assuming the generalised Riemann hypothesis for Dirichlet $L$-functions is true, we then establish explicit formulae for $ψ(x,χ)$, $θ(x,χ)$, and an explicit version of the prime number theorem for primes in arithmetic progressions that hold for general moduli $q\geq 3$. Finally, we restrict our attention to $q\leq 10\,000$ and use an exact computation to refine these results.
Zeckendorf's Theorem states that any positive integer can be uniquely decomposed into a sum of distinct, non-adjacent Fibonacci numbers. There are many generalizations, including results on existence of decompositions using only even indexed Fibonacci numbers. We extend these further and prove that similar results hold when only using indices in a given arithmetic progression. As part of our proofs, we generate a range of new recurrences for the Fibonacci numbers that are of interest in their own right.
This is the second paper of a series. It extends the results of the first paper from number fields to finitely generated fields, based on the recent theory of adelic line bundles of the same authors. We prove an arithmetic Hodge index theorem for these adelic line bundles, and apply the theorem to obtain a rigidity property of the sets of preperiodic points of polarizable algebraic dynamical systems over any field.
The Green-Tao Theorem, one of the most celebrated theorems in modern number theory, states that there exist arbitrarily long arithmetic progressions of prime numbers. In a related but different direction, a recent theorem of Shiu proves that there exist arbitrarily long strings of consecutive primes that lie in any arithmetic progression that contains infinitely many primes. Using the techniques of Shiu and Maier, this paper generalizes Shiu's Theorem to certain subsets of the primes such as primes of the form $\lfloor πn\rfloor$ and some of arithmetic density zero such as primes of the form $…
In one of the fundamental results of Arakelov's arithmetic intersection theory, Faltings and Hriljac (independently) proved the Hodge Index Theorem for arithmetic surfaces by relating the intersection pairing to the negative of the Néron-Tate height pairing. More recently, Moriwaki and Yuan-Zhang generalized this to higher dimension. In this work, we extend these results to projective varieties over transcendence degree one function fields. The new challenge is dealing with non-constant but numerically trivial line bundles coming from the constant field via Chow's $K/k$-trace functor. As an ap…
Let $f: \mathbb{N}^2 \mapsto \mathbb{C}$ be an arithmetic function of two variables. We study the existence of the limit: \[\displaystyle \lim_{x \to \infty} \frac{1}{x^2 (\log x)^{k-1}} \sum_{n_1 , n_2 \le x} f (n_1, n_2) \] where $k$ is a fixed positive integer. Moreover, we express this limit as an infinite product over all prime numbers in the case that $f$ is a multiplicative function of two variables. This study is a generalization of Cohen-van der Corput's results to the case of two variables.
If $a$ and $d$ are relatively prime, we refer to the set of integers congruent to $a$ mod $d$ as an `eligible' arithmetic progression. A theorem of Dirichlet says that every eligible arithmetic progression contains infinitely many primes; the theorem follows from the assertion that every eligible arithmetic progression contains at least one prime. The Jacobsthal function $g(n)$ is defined as the smallest positive integer such that every sequence of $g(n)$ consecutive integers contains an integer relatively prime to $n$. In this paper, we show by a combinatorial argument that every eligible ari…
I show that a trivial modification of a standard proof of the Roth's Theorem on triples in arithmetic progression would lead to the following Theorem: If A is a "large set" that is its elements are monotone increasing integers and the sum of reciprocals of its elements diverges then the sequence contains an arithmetic progression of length three.
The classical arithmetic Grothendieck-Riemann-Roch theorem can be applied only to projective morphisms that are smooth over the complex numbers. In this paper we generalize the arithmetic Grothendieck-Riemann-Roch theorem to the case of general projective morphisms between regular arithmetic varieties. To this end we rely on the theory of generalized analytic torsion developed by the authors.
We give a new proof that there are infinitely many primes, relying on van der Waerden's theorem for coloring the integers, and Fermat's theorem that there cannot be four squares in an arithmetic progression. We go on to discuss where else these ideas have come together in the past.
In this paper we state and prove the analogous of the principal ideal theorem of algebraic number theory for the case of 3-manifolds from the point of view of arithmetic topology.
We prove new mean value theorems for primes in arithmetic progressions to moduli larger than $x^{1/2}$, extending the Bombieri-Vinogradov theorem to moduli of size $x^{1/2+δ}$ which have conveniently sized divisors. The main feature of these estimates is that they are completely uniform with respect to the residue classes considered, unlike previous works on primes in arithmetic progressions to large moduli.
In this article we prove a convergence S-arithmetic Khintchine-type theorem for product of non-degenerate v-adic manifolds, where one of them is the Archimedian place.
The second author has recently introduced a new class of L-series in the arithmetic theory of function fields over finite fields. We show that the value at one of these L-series encode arithmetic informations of certain Drinfeld modules defined over Tate algebras. This enables us to generalize Anderson's log-algebraicity Theorem and Taelman's Herbrand-Ribet Theorem.
Let $\mathcal X$ be a projective arithmetic variety of dimension at least $2$. If $\overline{\mathcal L}$ is an ample hermitian line bundle on $\mathcal X$, we prove that the proportion of those effective sections of $\overline{\mathcal L}^{\otimes n}$ that define an irreducible divisor on $\mathcal X$ tends to $1$ as $n$ tends to $\infty$. We prove variants of this statement for schemes mapping to such an $\mathcal X$. On the way to these results, we discuss some general properties of arithmetic ampleness, including restriction theorems, and upper bounds for the number of effective sections o…
Elementary proofs of unique factorization in rings of arithmetic functions using a simple variant of Euclid's proof for the fundamental theorem of arithmetic.
We improve the quantitative estimate for Roth's theorem on three-term arithmetic progressions, showing that if $A\subset\{1,\ldots,N\}$ contains no non-trivial three-term arithmetic progressions then $\lvert A\rvert\ll N(\log\log N)^4/\log N$. By the same method we also improve the bounds in the analogous problem over $\mathbb{F}_q[t]$ and for the problem of finding long arithmetic progressions in a sumset.
We study arithmetic distribution relations and the inverse function theorem in algebraic and arithmetic geometry, with an emphasis on versions that can be applied uniformly across families of varieties and maps. In particular, we prove two explicit versions of the inverse function theorem, the first via general distribution and separation inequalities that may be of independent interest, the second via a careful implementation of classical Newton iteration.
In this paper, we would like to propose a fundamental question about a higher dimensional analogue of Dirichlet's unit theorem. We also give a partial answer to the question as an application of the arithmetic Hodge index theorem.
A celebrated theorem of Delange gives a sufficient condition for an arithmetic function to be the sum of the associated Ramanujan expansion with the coefficients provided by a previous result of Wintner. By applying the Delange theorem to the correlation of the von Mangoldt function with its incomplete form, we deduce an inequality involving the counting function of the prime numbers in arithmetic progressions. A remarkable aspect is that such an inequality is equivalent to the famous conjectural formula by Hardy and Littlewood for the twin primes.
We show that if $A\subset \{1,\ldots,N\}$ contains no non-trivial three-term arithmetic progressions then $\lvert A\rvert \ll N/(\log N)^{1+c}$ for some absolute constant $c>0$. In particular, this proves the first non-trivial case of a conjecture of Erdős on arithmetic progressions.
We prove an arithmetic Riemann-Roch theorem for pointed stable curves. We derive consequences for the Selberg zeta function of an open modular curve $Y_{1}(p)$ (resp. $Y_{0}(p)$), for a prime number $p\geq 11$ (resp. congruent to 11 modulo 12).
We establish a version of Kashiwara's theorem for twisted sheaves of Berthelot's arithmetic differential operators for a closed immersion between smooth p-adic formal schemes. As an application, we construct simple modules for crystalline distribution algebras of reductive groups using the twisted version of the crystalline localisation theorem.
The usual product $m\cdot n$ on $\mathbb{Z}$ can be viewed as the sum of $n$ terms of an arithmetic progression whose first term is $a_{1}=m-n+1$ and whose difference is $d=2$. Generalizing this idea, we define new similar product mappings, and we consider new arithmetics that enable us to extend Furstenberg's theorem of the infinitude of primes. We also review the classic conjectures in the new arithmetics. Finally, we make important extensions of the main idea. We see that given any integer sequence, the approach generates an arithmetic on integers and a similar formula to $\mathbb{Z} \setmi…
We prove an analogue for algebraic stacks of Hermite-Minkowski's finiteness theorem from algebraic number theory, and establish a Chevalley-Weil type theorem for integral points on stacks. As an application of our results, we prove analogues of the Shafarevich conjecture for some surfaces of general type.
We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called arithmetic Hilbert invariants, through the deformation to the projective completion of the cone. This construction lies at the intersection of deformation theory and Arakelov geometry. It provides a deformation of a Hermitian line bundle over the deformation to the normal cone.
In this paper we obtain a Poitou-Tate exact sequence for finite and flat group schemes over a global function field. We also extend the duality theorems for 1-motives over number fields obtained by D.Harari and T.Szamuely to the function field case.
We develop a theory of vector-valued heights and intersections defined relative to finitely generated extensions K/k. These generalize both number field and geometric heights. When k is Q or F_p, or when a non-isotriviality condition holds, we obtain Northcott-type results. We then prove a version of the Hodge Index Theorem for vector-valued intersections, and use it to prove a rigidity theorem for polarized dynamical systems over any field.
We prove $S$-arithmetic inhomogeneous Khintchine type theorems on analytic nondegenerate manifolds. The divergence case, which constitutes the main substance of this paper, is proved in the general context of Hausdorff measures using ubiquitous systems. For $S$ consisting of more than one prime, finite or infinite, the divergence results are new even in the homogeneous setting. We also prove the convergence case of the theorem, including in particular, the $S$-arithmetic inhomogeneous counterpart of the Baker-Sprindžuk conjectures using nondivergence estimates for flows on homogeneous spaces i…
We prove several duality theorems for the Galois and etale cohomology of 1-motives defined over local and global fields and establish a 12-term Poitou-Tate type exact sequence. The results give a common generalisation and sharpening of well-known theorems by Tate on abelian varieties as well as results by Tate/Nakayama and Kottwitz on algebraic tori.
A famous theorem of Szemerédi asserts that all subsets of the integers with positive upper density will contain arbitrarily long arithmetic progressions. There are many different proofs of this deep theorem, but they are all based on a fundamental dichotomy between structure and randomness, which in turn leads (roughly speaking) to a decomposition of any object into a structured (low-complexity) component and a random (discorrelated) component. Important examples of these types of decompositions include the Furstenberg structure theorem and the Szemerédi regularity lemma. One recent applicatio…
We prove higher moment formulas for Siegel transforms defined over the space of unimodular $S$-lattices in $\mathbb Q_S^d$, $d\ge 3$, where in the real case, the formulas are introduced by Rogers (1955). As applications, we obtain the random statements of Gauss circle problem for any convex sets in $\mathbb Q_S^d$ containing the origin and of the effective Oppenheim conjecture for $S$-arithmetic quadratic forms.
We prove an arithmetic Hilbert-Samuel type theorem for semi-positive singular hermitian line bundles of finite height. In particular, the theorem applies to the log-singular metrics of Burgos-Kramer-Kühn. Our theorem is thus suitable for application to some non-compact Shimura varieties with their bundles of cusp forms. As an application, we treat the case of Hilbert modular surfaces, establishing an arithmetic analogue of the classical result expressing the dimensions of spaces of cusp forms in terms of special values of Dedekind zeta functions.
