An Infinitesimal $p$-adic Multiplicative Manin-Mumford Conjecture
Vlad Serban
备注:
14 pages, minor corrections, slightly strengthened the statement of the main theorem. Accepted for publication in Journal de Théorie des Nombres de Bordeaux
Our results concern analytic functions on the open unit $p$-adic poly-disc in $\mathbb{C}^n_p$ centered at the multiplicative unit and we prove that such functions only vanish at finitely many $n$-tuples of roots of unity $(ζ_1-1,\ldots,ζ_n-1)$ unless they vanish along a translate of the formal multiplicative group. For polynomial functions, this follows from the multiplicative Manin-Mumford conjecture. However we allow for a much wider class of analytic functions; in particular we establish a rigidity result for formal tori. Moreover, our methods apply to Lubin-Tate formal groups beyond just the formal multiplicative group and we extend the results to this setting.
We give a short proof of Manin-Mumford in the multiplicative group based on the pigeon-hole principle and the so-called structure theorem for anomalous subvarieties. The arguments appear to be new and perhaps applicable in other situations.
We show that Ribet sections are the only obstruction to the validity of the relative Manin-Mumford conjecture for one dimensional families of semi-abelian surfaces. Applications include special cases of the Zilber-Pink conjecture for curves in a mixed Shimura variety of dimension four, as well as the study of polynomial Pell equations with non-separable discriminants.
在[PR 1] { \it On Hrushovski's proof of the Manin-Mumford concept}(Proceedings of the ICM 2002)中,R. Pink和作者给出了Manin-Mumford猜想的一个简短证明,这个证明受到了Hrushovski早期模型论证明的启发。在[PR 1]中给出的证明使用了Serre的一个困难的未发表的分歧理论结果。这是本说明的目的,以显示如何证明[PR 1]可以修改,以规避参考塞尔的结果。J. Oesterlé和R. Pink为这篇笔记提供了几个简化和快捷方式。
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.
On the dynamical Manin-Mumford conjecture for plane polynomial maps
Sorbonne Université(索邦大学);CNRS - Centre de Mathématiques Laurent Schwartz, École Polytechnique(法国国家科学研究中心-洛朗·施瓦茨数学中心,巴黎综合理工学院);Université de Paris and Sorbonne Université, CNRS, Institut de Mathématiques de Jussieu-Paris Rive Gauche(巴黎大学和索邦大学,法国国家科学研究中心,朱西厄-左岸巴黎数学研究所)
We prove that in positive characteristic, the Manin-Mumford conjecture implies the Mordell-Lang conjecture, in the situation where the ambient variety is an abelian variety defined over the function field of a smooth curve over a finite field and the relevant group is a finitely generated group. In particular, in the setting of the last sentence, we provide a proof of the Mordell-Lang conjecture, which does not depend on tools coming from model theory.
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.
We present a reduction of the function field Mordell-Lang conjecture to the function field Manin-Mumford conjecture, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski structures. In this version 2, the quantifier elimination result in positive characteristic is extended from simple abelian varieties to all abelian varieties, completing the main theorem in the positive characteristic case. In version 3, some corrections are made to the proof of quantifier elimination in positive characteristic, and the paper is substantially reor…
In this paper we prove a special case of the André-Oort conjecture for Kuga varieties. If $M$ is a Kuga variety fibred over a pure Shimura variety $S$ as an abelian scheme, and $(M_n)$ is a sequence of special subvarieties in $M$ which are faithfully flat over $S$, then the Zariski closure of the union of the $M_n$'s is a finite union of special subvarieties faithfully flat over $S$. The proof is reduced to a variant of the Manin-Mumford conjecture for abelian schemes.
We prove $p$-adic versions of a classical result in arithmetic geometry stating that an irreducible subvariety of an abelian variety with dense torsion has to be the translate of a subgroup by a torsion point. We do so in the context of certain rigid analytic spaces and formal groups over a $p$-adic field $K$ or its ring of integers $R$, respectively. In particular, we show that the rigidity results for algebraic functions underlying the so-called Manin-Mumford Conjecture generalize to suitable $p$-adic analytic functions. In the formal setting, this approach leads us to uncover purely $p$-adi…
We study the intersection of an algebraic variety with the maximal compact subgroup of a universal vectorial extension of a product of elliptic curves. For this intersection we show a Manin-Mumford type statement. This answers some questions posed by Corvaja-Masser-Zannier which arose in connection with their investigation of the intersection of a curve with real analytic subgroups of various algebraic groups. They prove finiteness in the situation of a single elliptic curve. Using Khovanskii's zero-estimates combined with a stratification result of Gabrielov-Vorobjov and recent work of the au…
The aim of this work is to present a possible adaptation of the Manin-Mumford conjecture to the $T-$modules, a mathematical object which has been introduced in the 1980's by G. Anderson as the natural analogue of the abelian varieties in the context of modules over rings which are contained in positive characteristic function fields. We propose then a generalisation of such an adapted conjecture to a modified general version of Mordell-Lang conjecture for $T-$modules which might correct the one proposed for the first time by L. Denis but no longer compatible with the present results.
The aim of this paper is to prove a theorem of Ax-Lindemann type for complex semi-abelian varieties as an application of a big Picard theorem proved by the author in 1981, and then apply it to prove a theorem of classical Manin-Mumford Conjecture for semi-abelian varieties, which was proved by M. Raynaud 1983, M. Hindry 1988, ....., and Pila-Zannier 2008 by a different method from others, which is most relevant to our's. The present result might be a first instance of a direct connection between the value distribution theory of holomorphic maps and the arithmetic (Diophantine) theory over alge…
We introduce a general strategy for proving quantitative and uniform bounds on the number of common points of height zero for a pair of inequivalent height functions on $\mathbb{P}^1(\overline{\mathbb{Q}}).$ We apply this strategy to prove a conjecture of Bogomolov, Fu, and Tschinkel asserting uniform bounds on the number of common torsion points of elliptic curves in the case of two Legendre curves over $\mathbb{C}$. As a consequence, we obtain two uniform bounds for a two-dimensional family of genus 2 curves: a uniform Manin-Mumford bound for the family over $\mathbb{C}$, and a uniform Bogom…
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…
Let $f$ be a polynomial automorphism of the affine plane. In this paper we consider the possibility for it to possess infinitely many periodic points on an algebraic curve $C$. We conjecture that this happens if and only if $f$ admits a time-reversal symmetry; in particular the Jacobian $\mathrm{Jac}(f)$ must be a root of unity. As a step towards this conjecture, we prove that the Jacobian of $f$ and all its Galois conjugates lie on the unit circle in the complex plane. Under mild additional assumptions we are able to conclude that indeed $\mathrm{Jac}(f)$ is a root of unity. We use these resu…
This text is the write-up of a talk at the Bellairs Workshop in Number Theory on Tropical and Non-Archimedean Geometry that took place at the Bellairs Research Institute, Barbados, in May 2011. The goal of this text is to present recent work by in Diophantine Geometry over function fields due to Gubler and Yamaki, where analytic geometry in the sense of Berkovich plays a significant place. I also give an introduction to basic concepts and notions on Diophantine Geometry, such as heights, the Manin-Mumford conjecture, the Bogomolov conjecture, and its proof by Ullmo and Zhang.
We investigate generalizations along the lines of the Mordell--Lang conjecture of the author's $p$-adic formal Manin--Mumford results for $n$-dimensional $p$-divisible formal groups $\mathcal{F}$. In particular, given a finitely generated subgroup $Γ$ of $\mathcal{F}(\overline{\mathbb{Q}}_p)$ and a closed subscheme $X\hookrightarrow \mathcal{F}$, we show under suitable assumptions that for any points $P\in X(\mathbb{C}_p)$ satisfying $nP\inΓ$ for some $n\in\mathbb{N}$, the minimal such orders $n$ are uniformly bounded whenever $X$ does not contain a formal subgroup translate of positive dimens…