On some rational generating series occuring in arithmetic geometry

Arithmetic of rational points and zero-cycles on products of Kummer varieties and K3 surfaces

Let $k$ be a number field. In the spirit of a result by Yongqi Liang, we relate the arithmetic of rational points over finite extensions of $k$ to that of zero-cycles over $k$ for Kummer varieties over $k$. For example, for any Kummer variety $X$ over $k$, we show that if the Brauer-Manin obstruction is the only obstruction to the Hasse principle for rational points on $X$ over all finite extensions of $k$, then the ($2$-primary) Brauer-Manin obstruction is the only obstruction to the Hasse principle for zero-cycles of any given odd degree on $X$ over $k$. We also obtain similar results for pr…

On $θ$-congruent numbers, rational squares in arithmetic progressions, concordant forms and elliptic curves

The correspondence between right triangles with rational sides, triplets of rational squares in arithmetic succession and integral solutions of certain quadratic forms is well known. We show how this correspondence can be extended to the generalized notions of rational $θ$-triangles, rational squares occurring in arithmetic progressions and concordant forms. In our approach we establish one-to-one mappings to rational points on certain elliptic curves and examine in detail the role of solutions of the $θ$-congruent number problem and the concordant form problem associated with nontrivial torsi…

Rational approximation and arithmetic progressions

A reasonably complete theory of the approximation of an irrational by rational fractions whose numerators and denominators lie in prescribed arithmetic progressions is developed in this paper. Results are both, on the one hand, from a metrical and a non-metrical point of view and, on the other hand, from an asymptotic and also a uniform point of view. The principal novelty is a Khintchine type theorem for uniform approximation in this context. Some applications of this theory are also discussed.

Arithmetic degrees and dynamical degrees of endomorphisms on surfaces

For a dominant rational self-map on a smooth projective variety defined over a number field, Kawaguchi and Silverman conjectured that the (first) dynamical degree is equal to the arithmetic degree at a rational point whose forward orbit is well-defined and Zariski dense. We prove this conjecture for surjective endomorphisms on smooth projective surfaces. For surjective endomorphisms on any smooth projective varieties, we show the existence of rational points whose arithmetic degrees are equal to the dynamical degree. Moreover, we prove that there exists a Zariski dense set of rational points h…

Higher arithmetic degrees of dominant rational self-maps

Suppose that $f \colon X \dashrightarrow X$ is a dominant rational self-map of a smooth projective variety defined over ${\overline{\mathbf Q}}$. Kawaguchi and Silverman conjectured that if $P \in X({\overline{\mathbf Q}})$ is a point with well-defined forward orbit, then the growth rate of the height along the orbit exists, and coincides with the first dynamical degree $λ_1(f)$ of $f$ if the orbit of $P$ is Zariski dense in $X$. In this note, we extend the Kawaguchi-Silverman conjecture to the setting of orbits of higher-dimensional subvarieties of $X$. We begin by defining a set of arithmeti…

Topology and arithmetic of resultants, I: spaces of rational maps

We consider the interplay of point counts, singular cohomology, étale cohomology, eigenvalues of the Frobenius and the Grothendieck ring of varieties for two families of varieties: spaces of rational maps and moduli spaces of marked, degree $d$ rational curves in $\mathbb{P}^n$. We deduce as special cases algebro-geometric and arithmetic refinements of topological computations of Segal, Cohen--Cohen--Mann--Milgram, Vassiliev and others.

Dynamical Degree and Arithmetic Degree of Endomorphisms on Product Varieties

For a dominant rational self-map on a smooth projective variety defined over a number field, Shu Kawaguchi and Joseph H. Silverman conjectured that the dynamical degree is equal to the arithmetic degree at a rational point whose forward orbit is well-defined and Zariski dense. We give some examples of self-maps on product varieties and rational points on them for which the Kawaguchi-Silverman conjecture holds.

Arithmetic properties of $3$-cycles of quadratic maps over $\mathbb{Q}$

It is shown that $c=-29/16$ is the unique rational number of smallest denominator, and the unique rational number of smallest numerator, for which the map $f_c(x) = x^2+c$ has a rational periodic point of period $3$. Several arithmetic conditions on the set of all such rational numbers $c$ and the rational orbits of $f_c(x)$ are proved. A graph on the numerators of the rational $3$-periodic points of maps $f_c$ is considered which reflects connections between solutions of norm equations from the cubic field of discriminant $-23$.

On the Arithmetic Behavior of Liouville Numbers under Rational Maps

In 1972, Alniaçik proved that every strong Liouville number is mapped into the set of $U_m$-numbers, for any non-constant rational function with coefficients belonging to an $m$-degree number field. In this paper, we generalize this result by providing a larger class of Liouville numbers (which, in particular, contains the strong Liouville numbers) with this same property (this set is sharp is a certain sense).

Some problems of arithmetic origin in rational dynamics

These are lecture notes from a course in arithmetic dynamics given in Grenoble in June 2017. The main purpose of this text is to explain how arithmetic equidistribution theory can be used in the dynamics of rational maps on P^1. We first briefly introduce the basics of the iteration theory of rational maps on the projective line over C, as well as some elements of iteration theory over an arbitrary complete valued field and the construction of dynamically defined height functions for rational functions defined over \overline Q. The equidistribution of small points gives some original informati…

Rational points in arithmetic progression on $y^2=x^n+k$

Let $C$ be a hyperelliptic curve given by the equation $y^2=f(x)$, where $f\in\Z[x]$ and $f$ hasn't multiple roots. We say that points $P_{i}=(x_{i}, y_{i})\in C(\Q)$ for $i=1,2,..., n$ are in arithmetic progression if the numbers $x_{i}$ for $i=1,2,..., n$ are in arithmetic progression. In this paper we show that there exists a polynomial $k\in\Z[t]$ with such a property that on the elliptic curve $\cal{E}: y^2=x^3+k(t)$ (defined over the field $\Q(t)$) we can find four points in arithmetic progression which are independent in the group of all $\Q(t)$-rational points on the curve $\cal{E}$. I…

Arithmetic Progressions on Conic Sections

The set ${1, 25, 49}$ is a 3-term collection of integers which forms an arithmetic progression of perfect squares. We view the set ${(1,1), (5,25), (7,49)}$ as a 3-term collection of rational points on the parabola $y=x^2$ whose $y$-coordinates form an arithmetic progression. In this exposition, we provide a generalization to 3-term arithmetic progressions on arbitrary conic sections $\mathcal C$ with respect to a linear rational map $\ell: \mathcal C \to \mathbb P^1$. We explain how this construction is related to rational points on the universal elliptic curve $Y^2 + 4XY + 4kY = X^3 + kX^2$ …

On arithmetic properties of periods for some rational differential forms over $\mathbb{Q}$ on the Fermat curve $F_2$ of degree 2

In this paper, we will define analogues of multiple zeta values by replacing the differential forms defining multiple zeta values with some $\mathbb{Q}$-rational differential forms on the Fermat curve $F_2$ of degree 2 and discuss their arithmetic properties. We also investigate a motivic structure of the motivic periods corresponding to our periods. However, in order to study them, the current theory for motivic zeta elements is insufficient, and it leads us to study the base extension of the space of the motivic periods $\mathcal{H}_4$ of level 4 and its Galois invariant part.

某些有理自映射的周期点与算术度

Periodic points and arithmetic degrees of certain rational self-maps

本文研究代数数域上的上同调双曲双有理自映射，给出其周期点高度的有界性结果，还将二维有理自映射的Kawaguchi--Silverman猜想归约为动力Mordell--Lang猜想，验证了若干新情形并证明对应Zariski稠密轨道存在。

On the arithmetic of one del Pezzo surface over the field with three elements

We discuss the problem of existence of rational curves on a certain del Pezzo surface from a computational point of view and suggest a computer algorithm implementing search. In particular, our computations reveal that the surface contains 920 rational curves with parametrizations of degree 8 and does not contain rational curves for a smaller degree.

Cyclicity of Elliptic Curves Modulo Primes in arithmetic progressions

We consider the reduction of an elliptic curve defined over the rational numbers modulo primes in a given arithmetic progression and investigate how often the subgroup of rational points of this reduced curve is cyclic as a special case of Serre's Cyclicity Conjecture.

Algebraic curves $A^{\circ l}(x)-U(y)=0$ and arithmetic of orbits of rational functions

We give a description of pairs of complex rational functions $A$ and $U$ of degree at least two such that for every $d\geq 1$ the algebraic curve $A^{\circ d}(x)-U(y)=0$ has a factor of genus zero or one. In particular, we show that if $A$ is not a `generalized Lattès map', then this condition is satisfied if and only if there exists a rational function $V$ such that $U\circ V=A^{\circ l}$ for some $l\geq 1.$ We also prove a version of the dynamical Mordell-Lang conjecture, concerning intersections of orbits of points from $\mathbb P^1(K)$ under iterates of $A$ with the value set $U(\mathbb P^…

双临点有理函数的算术学

On the Arithmetic of Bicritical Rational Functions

本文研究双临点有理函数的算术动力学性质，证明了其伽罗瓦表示的嵌入性质，并展示了二次有理函数的树状表示的满射性。

Moduli theory and arithmetic of algebraic varieties

This paper surveys some applications of moduli theory to issues concerning the distribution of rational points on algebraic varieties. It will appear on the proceedings of the Fano Conference.

有理椭圆面的算术信息，以及Shioda的秩68椭圆面

Arithmetic Information of Rational Elliptic Surfaces, and Shioda's Rank 68 Elliptic Surface

本文提出一种算法，用于确定有理椭圆面的算术信息，包括定义域。作为应用，展示了Shioda的秩68椭圆面的定义域为次数829440的数域。

Dynamical Degrees, Arithmetic Degrees, and Canonical Heights for Dominant Rational Self-Maps of Projective Space

Let F : P^N --> P^N be a dominant rational map. The dynamical degree of F is the quantity d_F = lim (deg F^n)^(1/n). When F is defined over a number field, we define the arithmetic degree of an algebraic point P to be a_F(P) = limsup h(F^n(P))^(1/n) and the canonical height of P to be h_F(P) = limsup h(F^n(P))/n^k d_F^n for an appropriately chosen integer k = k_F. In this article we prove some elementary relations and make some deep conjectures relating d_F, a_F(P), and h_F(P). We prove our conjectures for monomial maps.

Some arithmetic properties on nonstandard rationals

For a given number field $K$, we show that the ranks of nonsingular elliptic curves over $K$ are uniformly finitely bounded if and only if weak Mordell-Weil property holds in all(some) ultrpowers $^*K$ of $K$. Also we introduce Nonstandard Mordell-Weil property for $^*K$ considering each Mordell-Weil group as $^*Z$-module, where $^*Z$ is an ultrapower of $Z$, and we show that Nonstandard Mordell-Weil property is equivalent to weak Mordell-Weil property in $^*K$. In Appendix, we showed that it is possible to consider definable abelian groups as $^*Z$-modules in a saturated nonstandard rational …

On the dynamical and arithmetic degrees of rational self-maps of algebraic varieties

Let f : X --> X be a dominant rational map of a projective variety defined over a global field, let d_f be the dynamical degree of f, and let h_X be a Weil height on X relative to an ample divisor. We prove that h_X(f^n(P)) << (d_f + e)^n h_X(P), where the implied constant depends only on X, h_X, f, and e. As applications, we prove a fundamental inequality a_f(P) \le d_f for the upper arithmetic degree and we construct canonical heights for (nef) divisors. We conjecture that a_f(P) = d_f whenever the orbit of P is Zariski dense, and we describe some cases for which we can prove our conjecture.

Unramified Brauer group and its applications

This is a textbook on arithmetic geometry with special regard to unramified Brauer groups of algebraic varieties. The topics include Galois cohomology, Brauer groups, obstructions to stable rationality, arithmetic and geometry of quadrics, Weil restriction of scalars, algebraic tori, an example of a stably rational non-rational variety, Brauer-Manin obstruction. All material is split into locally trivial problems with detailed hints.

Arithmetic invariant theory II

Let $k$ be a field, let $G$ be a reductive group, and let $V$ be a linear representation of $G$. Let $V//G = Spec(Sym(V^*))^G$ denote the geometric quotient and let $π: V \to V//G$ denote the quotient map. Arithmetic invariant theory studies the map $π$ on the level of $k$-rational points. In this article, which is a continuation of the results of our earlier paper "Arithmetic invariant theory", we provide necessary and sufficient conditions for a rational element of $V//G$ to lie in the image of $π$, assuming that generic stabilizers are abelian. We illustrate the various scenarios that can o…

Harmonic Analysis on the Positive Rationals I: Basic Results

This is the first of two coupled papers estimating the mean values of multiplicative functions, of unknown support, on arithmetic progressions with large differences. Applications are made to the study of primes in arithmetic progression and to the Fourier coefficients of automorphic cusp forms.

Arithmetic hyperbolicity: automorphisms and persistence

We show that if the automorphism group of a projective variety is torsion, then it is finite. Motivated by Lang's conjecture on rational points of hyperbolic varieties, we use this to prove that a projective variety with only finitely many rational points has only finitely many automorphisms. Moreover, we investigate to what extent finiteness of $S$-integral points on a variety over a number field persists over finitely generated fields. To this end, we introduce the class of mildly bounded varieties and prove a general criterion for proving this persistence.

Rational points in families of varieties

Notes from lectures given at the Autumn School on Algebraic and Arithmetic Geometry at the Johannes Gutenberg-Universität Mainz in October 2017.

Harmonic Analysis on the Positive Rationals II: Multiplicative Functions and Maass Forms

This is the second of two coupled papers estimating the mean values of multiplicative functions, of unknown support, on arithmetic progressions with large differences. Applications are made to the study of primes in arithmetic progression and to the Fourier coefficients of automorphic cusp forms.

Abelian Calabi-Yau threefolds: Néron models and rational points

We study Calabi-Yau threefolds fibered by abelian surfaces, in particular, their arithmetic properties, e.g., Néron models and Zariski density.

Arithmetic on curves

A telegraphic survey of some of the standard results and conjectures about the set $C({\bf Q})$ of rational points on a smooth projective absolutely connected curve $C$ over ${\bf Q}$.

Moduli spaces of quadratic maps: arithmetic and geometry

We establish an implication between two long-standing open problems in complex dynamics. The roots of the $n$-th Gleason polynomial $G_n\in\mathbb{Q}[c]$ comprise the $0$-dimensional moduli space of quadratic polynomials with an $n$-periodic critical point. $\mathrm{Per}_n(0)$ is the $1$-dimensional moduli space of quadratic rational maps on $\mathbb{P}^1$ with an $n$-periodic critical point. We show that if $G_n$ is irreducible over $\mathbb{Q}$, then $\mathrm{Per}_n(0)$ is irreducible over $\mathbb{C}$. To do this, we exhibit a $\mathbb{Q}$-rational smooth point on a projective completion of…

Arithmetic of 0-cycles on varieties defined over number fields

Let $X$ be a rationally connected algebraic variety, defined over a number field $k$. We find a relation between the arithmetic of rational points on $X$ and the arithmetic of zero-cycles. More precisely, we consider the following statements: (1) the Brauer-Manin obstruction is the only obstruction to weak approximation for $K$-rational points on $X_K$ for all finite extensions $K/k$; (2) the Brauer-Manin obstruction is the only obstruction to weak approximation in some sense that we define for zero-cycles of degree 1 on $X_K$ for all finite extensions $K/k$; (3) a certain sequence of local-gl…

The arithmetic puncturing problem and integral points

In this paper, we provide evidence to support a positive answer to a question of Hassett and Tschinkel. In particular, if an algebraic variety V has a dense set of rational points, they ask whether or not the set of D-integral points is potentially dense, where D is a set of codimension at least two. We give a positive answer to this question in many cases, including varieties whose generic linear section is a smooth rational curve, and certain K3 surfaces. We also discuss some stronger notions of integrality of points, and give some positive answers to some cases of the analogous question in …

Arithmetic properties related to the shuffle-product

Properties of the shuffle product suggest the definition of a quadratic form with domain and values in formal power series over a field of characteristic 2. This quadratic form preserves rational (respectively algebraic) power series and its restriction to the affine subspace of series with constant term 1 is bijective. Conjecturally, this bijection restricts to a bijection of rational (respectively algebraic) formal power series.

Elliptic curves with long arithmetic progressions have large rank

For any family of elliptic curves over the rational numbers with fixed $j$-invariant, we prove that the existence of a long sequence of rational points whose $x$-coordinates form a non-trivial arithmetic progression implies that the Mordell-Weil rank is large, and similarly for $y$-coordinates. We give applications related to uniform boundedness of ranks, conjectures by Bremner and Mohanty, and arithmetic statistics on elliptic curves. Our approach involves Nevanlinna theory as well as Rémond's quantitative extension of results of Faltings.

Arithmetic dynamics of random polynomials

We investigate from a statistical perspective the arithmetic properties of the dynamics of polynomials of fixed degree and defined over the field of rational numbers. To start with, ordering their affine conjugacy classes by height, we show that their average number of rational preperiodic points is equal to zero, thereby proving a strong average version of the uniform boundedness conjecture of Morton and Silverman. Next, inspired by the analogy with the successive minima of a lattice we define the dynamical successive minima of a polynomial. Noting that these quantities are invariant under th…

Arithmetic properties of the Frobenius traces defined by a rational abelian variety (with two appendices by J-P. Serre)

Let $A$ be an abelian variety over $\mathbb{Q}$ of dimension $g$ such that the image of its associated absolute Galois representation $ρ_A$ is open in $\operatorname{GSp}_{2g}(\hat{\mathbb{Z}})$. We investigate the arithmetic of the traces $a_{1, p}$ of the Frobenius at $p$ in $\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ under $ρ_A$, modulo varying primes $p$. In particular, we obtain upper bounds for the counting function $\#\{p \leq x: a_{1, p} = t\}$ and we prove an Erdös-Kac type theorem for the number of prime factors of $a_{1, p}$. We also formulate a conjecture about the asymp…

关于具有有理同源的某些阿贝尔簇的$L$-函数特殊值的算术

On the arithmetic of special values of $L$-functions for certain abelian varieties with a rational isogeny

本研究针对具有有理同源的特定阿贝尔簇，证明其偶二次扭的$p$-艾森斯坦部分的模$p$版本BSD猜想，是Mazur关于奇二次扭相关结果的偶二次扭类比。

Fast Jacobian arithmetic for hyperelliptic curves of genus 3

We consider the problem of efficient computation in the Jacobian of a hyperelliptic curve of genus 3 defined over a field whose characteristic is not 2. For curves with a rational Weierstrass point, fast explicit formulas are well known and widely available. Here we address the general case, in which we do not assume the existence of a rational Weierstrass point, using a balanced divisor approach.

Covering techniques and rational points on some genus 5 curves

We describe a method that allows, under some hypotheses, to compute all the rational points of some genus 5 curves defined over a number field. This method is used to solve some arithmetic problems that remained open.

Powers in orbits of rational functions: cases of an arithmetic dynamical Mordell-Lang conjecture

Let $K$ be a finitely generated field of characteristic zero. We study, for fixed $m \geq 2$, the rational functions $ϕ$ defined over $K$ that have a $K$-orbit containing infinitely many distinct $m$th powers. For $m \geq 5$ we show the only such functions are those of the form $cx^j(ψ(x))^m$ with $ψ\in K(x)$, and for $m \leq 4$ we show the only additional cases are certain Lattès maps and four families of rational functions whose special properties appear not to have been studied before. With additional analysis, we show that the index set $\{n \geq 0 : ϕ^{n}(a) \in λ(\mathbb{P}^1(K))\}$ is a…

Reflections on symmetric polynomials and arithmetic functions

In an isomorphic copy of the ring of symmetric polynomials we study some families of polynomials which are indexed by rational weight vectors. These families include well known symmetric polynomials, such as the elementary, homogeneous, and power sum symmetric polynomials. We investigate properties of these families and focus on constructing their rational roots under a product induced by convolution. A direct application of the latter is to the description of the roots of certain multiplicative arithmetic functions (the core functions) under the convolution product.

Rational values of transcendental functions and arithmetic dynamics

We count algebraic points of bounded height and degree on the graphs of certain functions analytic on the unit disk, obtaining a bound which is polynomial in the degree and in the logarithm of the multiplicative height. We combine this work with p-adic methods to obtain a lower bound of the form $cD^{n/4 - \varepsilon}$ on the degree of the splitting field of $P^{\circ n}(z)=P^{\circ n}(α)$, where $P$ is a polynomial of degree $D\geq 2$ over a number field, $P^{\circ n}$ is its $n$-th iterate and $c$ depends effectively on $P, α$ and $\varepsilon$. Our $c$ is positive for each algebraic $α$ fo…

Finiteness for Arithmetic Fewnomial Systems

Suppose L is any finite algebraic extension of either the ordinary rational numbers or the p-adic rational numbers. Also let g_1,...,g_k be polynomials in n variables, with coefficients in L, such that the total number of monomial terms appearing in at least one g_i is exactly m. We prove that the maximum number of isolated roots of G:=(g_1,...,g_k) in L^n is finite and depends solely on (m,n,L), i.e., is independent of the degrees of the g_i. We thus obtain an arithmetic analogue of Khovanski's Theorem on Fewnomials, extending earlier work of Denef, Van den Dries, Lipshitz, and Lenstra.

Toward Fermat's conjecture over arithmetic function fields

Let K be an arithmetic function field, that is, a field of finite type over the rational number field. In this note, as an application of the height theory due to Chen-Moriwaki, we would like to show that the solutions of Fermat's curve X^N + y^N = 1 of degree N over K consist of only either 0 or roots of unity for almost positive integers N. More precisely, the density of such N is 1.

Arithmetic properties of the Herglotz function

In this paper we study two functions $F(x)$ and $J(x)$, originally found by Herglotz in 1923 and later rediscovered and used by one of the authors in connection with the Kronecker limit formula for real quadratic fields. We discuss many interesting properties of these functions, including special values at rational or quadratic irrational arguments as rational linear combinations of dilogarithms and products of logarithms, functional equations coming from Hecke operators, and connections with Stark's conjecture. We also discuss connections with 1-cocycles for the modular group $\mathrm{PSL}(2,…

The Arithmetic of Curves Defined by Iteration

We show how the size of the Galois groups of iterates of a quadratic polynomial $f(x)$ can be parametrized by certain rational points on the curves $C_n:y^2=f^n(x)$ and their quadratic twists. To that end, we study the arithmetic of such curves over global and finite fields, translating key problems in the arithmetic of polynomial iteration into a geometric framework. This point of view has several dynamical applications. For instance, we establish a maximality theorem for the Galois groups of the fourth iterate of quadratic polynomials $x^2+c$, using techniques in the theory of rational point…

Some arithmetic properties of an elliptic Dedekind sum

We give an explicit expression of the elliptic classical Dedekind sum which is a special case of multiple elliptic Dedekind sums introduced by Egami. We also determine the denominator of the rational part and zeros of the elliptic classical Dedekind sum.

Arithmetic of higher-dimensional orbifolds and a mixed Waring problem

We study the density of rational points on a higher-dimensional orbifold $(\mathbb{P}^{n-1},D)$ when $D$ is a $\mathbb{Q}$-divisor involving hyperplanes. This allows us to address a question of Tanimoto about whether the set of rational points on such an orbifold constitutes a thin set. Our approach relies on the Hardy-Littlewood circle method to first study an asymptotic version of Waring's problem for mixed powers. In doing so we make crucial use of the recent resolution of the main conjecture in Vinogradov's mean value theorem, due to Bourgain-Demeter-Guth and Wooley.

算术动力学中的Hölder估计与一致性

Hölder estimates and uniformity in arithmetic dynamics

本文利用有理映射格林函数的Hölder性质获得高度估计，将DeMarco和Mavraki关于公共预周期点一致有界性的结果推广到不同次数的有理映射对。

一般轨道的算术次数的存在性与动力 Lang–Siegel 问题

Existence of arithmetic degrees for generic orbits and dynamical Lang-Siegel problem

本文证明支配有理自映射在一般轨道点处算术次数存在，并推广至拟射影簇上的 étale 态射，同时将结果用于动力 Lang–Siegel 问题，刻画局部高度增长与轨道子集的 Banach 密度。

Searching for simultaneous arithmetic progressions on elliptic curves

We look for elliptic curves featuring rational points whose coordinates form two arithmetic progressions, one for each coordinate. A constructive method for creating such curves is shown, for lengths up to 5.

算术曲面的Golod--Shafarevich塔

Golod--Shafarevich for arithmetic surfaces

该研究构造了整数环上算术曲面的Golod--Shafarevich塔，得到带截面且几何étale基本群无限的曲面，并取一般纤维获得有理数域上曲线，其有理点完全分裂且亏格趋于无穷，对数导子线性增长，回答了多个开放问题。