On the dynamical Bogomolov conjecture for families of split rational maps
Niki Myrto Mavraki, Harry Schmidt
备注：
The proof of Theorems 4.1 and 4.3 relies on arXiv:2208.01597 Thanks to the referees for their very careful reading of the article and their suggestions
We prove that Zhang's dynamical Bogomolov conjecture holds uniformly along $1$-parameter families of rational split maps and curves. This provides dynamical analogues of recent results of Dimitrov-Gao-Habegger and Kühne. In fact, we prove a stronger Bogomolov-type result valid for families of split maps in the spirit of the relative Bogomolov conjecture. We thus provide first instances of a generalization of a conjecture by Baker and DeMarco to higher dimensions. Our proof contains both arithmetic and analytic ingredients. We establish a characterization of curves that are preperiodic under the action of a non-exceptional split rational endomorphism $(f,g)$ of $(\mathbb{P}^1_{\mathbb{C}})^2$ with respect to the measures of maximal entropy of $f$ and $g$, extending a previous result of Levin-Przytycki. We further establish a height inequality for families of split maps and varieties comparing the values of a fiber-wise Call-Silverman canonical height with a height on the base and valid for most points of a non-preperiodic variety. This provides a dynamical generalization of a result by Habegger and generalizes results of Call-Silverman and Baker to higher dimensions. In particular, we establish a geometric Bogomolov theorem for split rational maps and varieties of arbitrary dimension.
We prove the Dynamical Bogomolov Conjecture for endomorphisms of P^1\times P^1 defined over a number field. We use the equidistribution theorem for points of small height with respect to an algebraic dynamical system, combined with a theorem of Levin regarding symmetries of the Julia set. Using a specialization theorem of Yuan and Zhang, we prove the Dynamical Manin-Mumford Conjecture for endomorhisms of P^1\times P^1 defined over the complex numbers.
An algebraic extension K of the rationals has the Bogomolov property if the absolute logarithmic height of non-torsion points of K* is bounded away from 0. We define a relative extension L/K to be Bogomolov if this holds for points of L\K. We construct various examples of extensions which are and are not Bogomolov. We prove a ramification criterion for this property, and use it to show that such extensions can always be constructed if some rational prime has bounded ramification index in K, when K is Galois over Q.
We prove Zhang's Dynamical Manin-Mumford Conjecture and Dynamical Bogomolov Conjecture for dominant endomorphisms of (P^1)^n. We use the equidistribution theorem for points of small height with respect to an algebraic dynamical system, combined with an analysis of the symmetries of the Julia set for a rational function.
Mordell-Lang plus Bogomolov II: the division group
在“Mordell-Lang plus Bogomolov”中，我们将Mordell-Lang猜想（现已证明）和Bogomolov猜想结合起来，提出了一个猜想，并证明了A几乎分裂时的Mordellic部分（即，同构于阿贝尔簇和环面的乘积）。在这里，我们证明了充分的猜想将遵循Bogomolov猜想和均匀分布的结果一般semiabel品种。当A几乎可裂时，这些假设已被证明，因此在这种情况下猜想完全被证明。
We prove that if $f$ is a polynomial over a number field $K$ with a finite superattracting periodic point and a non-archimedean place of bad reduction, then there is an $ε>0$ such that only finitely many $P\in K^{\text{ab}}$ have canonical height less than $ε$ with respect to $f$. The key ingredient is the geometry of the filled Julia set at a place of bad reduction. We also prove a conditional uniform boundedness result for the $K$-rational preperiodic points of such polynomials, as well as a uniform lower bound on the canonical height of non-preperiodic points in $K$. We further prove uncond…
We consider hypersurfaces in $(\mathbb{P}^1)^n$ that contain a generic sequence of small dynamical height with respect to a split map and project onto $n-1$ coordinates. We show that these hypersurfaces satisfy strong coincidence relations between their points with zero height coordinates. More precisely, it holds that in a Zariski-open dense subset of such a hypersurface $n-1$ coordinates have height zero if and only if all coordinates have height zero. This is a key step in the resolution of the dynamical Bogomolov conjecture for split maps.
Let $A$ be a simple abelian surface over an algebraically closed field $k$. Let $S\subset A(k)$ be the set of torsion points $x$ of $A$ such that there exists a genus $2$ curve $C$ and a map $f: C\to A$ such that $x$ is in the image of $f$, and $f$ sends a Weierstrass point of $C$ to the origin of $A$. The purpose of this note is to show that if $k$ has characteristic zero, then $S$ is finite -- this is in contrast to the situation where $k$ is the algebraic closure of a finite field, where $S=A(k)$, as shown by Bogomolov and Tschinkel. We deduce that if $k=\bar{\mathbb{Q}}$, the Kummer surfac…
The Equidistribution Conjecture is proved for general semiabelian varieties over number fields. Previously, this conjecture was only known in the special case of almost split semiabelian varieties through work of Chambert-Loir. The general case has remained intractable so far because the height of a semiabelian variety is negative unless it is almost split. In fact, this places the conjecture outside the scope of Yuan's equidistribution theorem on algebraic dynamical systems. To overcome this, an asymptotic adaption of the equidistribution technique invented by Szpiro, Ullmo, and Zhang is used…
We show that if $X\subseteq \mathbb{P}^{n-1}$, defined over $\mathbb{Q}$ by a cubic form that splits off two forms, with $n\geq 11$, then $X(\mathbb{Q})$ is non-empty. The same holds for an $(m_1,m_2)$-form with $m_1\geq 4$ and $m_2\geq 5$.
For an imaginary quadratic field $k$ of class number $>1$, we prove that there are only finitely many isomorphism classes of rational indefinite quaternion division algebras $B$ such that the associated Shimura curve $M^B$ has $k$-rational points. In other words, the main result asserts that there is a finite set $P(k)$ of prime numbers depending on $k$ such that: if there is a prime divisor of the discriminant of $B$ which is not in $P(k)$, then $M^B$ has no $k$-rational points. Moreover, we can take $P(k)$ to satisfy the following: There is an effectively computable constant $C(k)$ depending…
Rational points on cubic hypersurfaces that split off a form
设X是定义在有理数上的11维或更高维的射影三次超曲面。本文证明了X包含有理点，条件是定义X的三次型可以写成两个无公共变量的三次型之和。--本文的特点是附录“Groupe de Brauer non ramifié des hypersurfaces cubiques singulières（d 'après P. Salberger）"，由J. L.科里奥-泰涅
In this paper we consider error sums of the form \[\sum_{m=0}^{\infty} \varepsilon_m\Big( \,b_mα- \frac{a_m}{c_m}\,\Big) \,,\] where $α$ is a real number, $a_m$, $b_m$, $c_m$ are integers, and $\varepsilon_m=1$ or $\varepsilon_m ={(-1)}^m$. In particular, we investigate such sums for \[α\in \big\{ π, e,e^{1/2},e^{1/3},\dots, \log (1+t), ζ(2), ζ(3) \big\} \] and exhibit some connections between rational coefficients occurring in error sums for Apéry's continued fraction for $ζ(2)$ and well-known integer sequences. The concept of the paper generalizes the theory of ordinary error sums, which are…
We revisit the abstract framework underlying the fibration method for producing rational points on the total space of fibrations over the projective line. By fine-tuning its dependence on external arithmetic conjectures, we render the method unconditional when the degree of the non-split locus is $\leq 2$, as well as in various instances where it is $3$. We are also able to obtain improved results in the regime that is conditionally accessible under Schinzel's hypothesis, by incorporating into it, for the first time, a technique due to Harari for controlling the Brauer--Manin obstruction in fa…
We study the automorphisms of the non-split Cartan modular curves $X_{ns}(p)$ of prime level $p$. We prove that if $p\geq 37$ all the automorphisms preserve the cusps. Furthermore, if $p\equiv 1\text{ mod }12$ and $p\neq 13$, the automorphism group is generated by the modular involution given by the normalizer of a non-split Cartan subgroup of $\text{GL}_2(\mathbb F_p)$. We also prove that for every $p\geq 37$ such that $X_{ns}(p)$ has a CM rational point, the existence of an exceptional rational automorphism would give rise to an exceptional rational point on the modular curve $X_{ns}^+(p)$ a…
Given a smooth projective variety $X$ over a number field $k$ and $P\in X(k)$, the first author conjectured that in a precise sense, any sequence that approximates $P$ sufficiently well must lie on a rational curve. We prove this conjecture for smooth split toric surfaces conditional on Vojta's conjecture. More generally, we show that if $X$ is a $\mathbb{Q}$-factorial terminal split toric variety of arbitrary dimension, then $P$ is better approximated by points on a rational curve than by any Zariski dense sequence.
We extend the explicit quadratic Chabauty methods developed in previous work by the first two authors to the case of non-hyperelliptic curves. This results in an algorithm to compute the rational points on a curve of genus $g \ge 2$ over the rationals whose Jacobian has Mordell-Weil rank $g$ and Picard number greater than one, and which satisfies some additional conditions. This algorithm is then applied to the modular curve $X_{s}(13)$, completing the classification of non-CM elliptic curves over $\mathbf{Q}$ with split Cartan level structure due to Bilu-Parent and Bilu-Parent-Rebolledo.
In this note, we establish an asymptotic formula for the number of rational points of bounded height on the singular cubic surface $$ x_0(x_1^2 + x_2^2)=x_3^3 $$ with a power-saving error term, which verifies the Manin-Peyre conjectures for this surface.
We compute the rational homotopy groups of the $K(n)$-local sphere for all heights $n$ and all primes $p$, verifying a prediction that goes back to the pioneering work of Morava in the early 1970s. More precisely, we show that the inclusion of the Witt vectors into the Lubin-Tate ring induces a split injection on continuous stabilizer cohomology with torsion cokernel of bounded exponent, thereby proving Hopkins' chromatic splitting conjecture and the vanishing conjecture of Beaudry-Goerss-Henn rationally. The key ingredients are the equivalence between the Lubin-Tate tower and the Drinfeld tow…
We introduce the split torsor method to count rational points of bounded height on Fano varieties. As an application, we prove Manin's conjecture for all nonsplit quartic del Pezzo surfaces of type $\mathbf A_3+\mathbf A_1$ over arbitrary number fields. The counting problem on the split torsor is solved in the framework of o-minimal structures.
