On the dynamical Bogomolov conjecture for families of split rational maps

Niki Myrto Mavraki,Harry Schmidt

2024-07-01

Abstract: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.

Number Theory,Dynamical Systems

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the proof of the **Bogomolov conjecture in dynamical systems** under certain specific conditions, especially for 1 - parameter families of split rational maps and curves. Specifically, the authors aim to prove that Zhang's dynamical Bogomolov conjecture holds under these conditions and provide some broader results, including:

1. **Uniform and relative versions of the dynamical Bogomolov conjecture**: The authors prove that for 1 - parameter families of split rational maps, Zhang's dynamical Bogomolov conjecture holds in uniform and relative forms.
2. **Stronger Bogomolov - type results**: The authors also prove a stronger result applicable to families of split maps, similar to the relative Bogomolov conjecture.
3. **Generalizing the Baker - DeMarco conjecture**: This is the first generalization of the Baker - DeMarco conjecture to higher dimensions.

### Specific problem description

The core problem of the paper is to verify whether Zhang's dynamical Bogomolov conjecture holds for 1 - parameter families of split rational maps and curves. Specifically, the authors are concerned with:

- **Uniformity**: In a 1 - parameter family, whether there exists a uniform bound to limit the number of pre - periodic points.
- **Relativity**: In the context of fibration, how to describe the distribution of these pre - periodic points.

### Main conclusions

The main conclusions of the authors include:

- **Theorem 1.4**: It is proved that for a non - weakly special curve \(C\), there exist constants \(\epsilon> 0\) and \(M > 0\) such that for almost all parameters \(t\), the number of points \(z\in C_t(\mathbb{Q})\) satisfying \(\hat{h}_{\Phi_t}(z)<\epsilon\) does not exceed \(M\).
- **Theorem 1.8**: It provides an example of the dynamical relative Bogomolov conjecture, describes the relationship between fibration heights, and proves that these point sets are not dense in the Zariski topology.

### Methods and techniques

To prove these conclusions, the authors use a variety of mathematical tools and techniques, including:

- **Arithmetic equidistribution theorem**: Utilize the latest arithmetic equidistribution theorem of Yuan and Zhang.
- **Current theory**: Apply current theory and the local Hodge index theorem.
- **Complex analysis**: Through complex analysis methods, reduce the problem to Ax - Lindemann - type results on fibers.

These techniques work together to enable the authors to successfully prove the validity of the dynamical Bogomolov conjecture under specific conditions.