The arithmetic Hodge index theorem and rigidity of dynamical systems over function fields

Carney, Alexander

doi:10.2140/pjm.2020.309.71

Cited by 1 publication

(10 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Faltings [17] and Hriljac [21] independently proved the same for arithmetic surfaces, by equating the arithmetic intersection product to the negative of the Néron-Tate height pairing on the Jacobian of the generic fiber, which was then generalized by Moriwaki [26] to higher dimensional arithmetic varieties. Here we extend the work of Yuan-Zhang [42] and the author [7] for adelic line bundles to arbitrary finitely generated fields.…”

Section: Introductionmentioning

confidence: 78%

“…Let X → B be a projective arithmetic model for X/K, and let L be a (Hermitian) line bundle on X with generic fiber L = L K . As described in [7,42], L induces a metric of L an , which in turn induces a model metric on L an . Thus we have a map…”

Section: 2mentioning

confidence: 99%

“…This is proven by Yuan-Zhang [41] when K is a finitely generated extension of Q (note that the trace doesn't appear in that case), and by the author [7] when K is a transcendence degree one extension of an arbitrary field k.…”

Section: Introductionmentioning

confidence: 96%

“…Because it requires a fixed polarization, however, Moriwaki's method is too weak to extend the Hodge Index Theorem of [42] and [7] to all finitely generated fields. The Hodge Index Theorem, here Theorem D, is the key step in proving an equivalence of canonical heights, and hence preperiodic points, to prove Theorem A.…”

Section: Introductionmentioning

confidence: 99%

“…(2) H 1 is numerically trivial, written H 1 ≡ 0 provided that H 1 • N (3) L is arithmetically positive, written L ≫ 0, provided that L 1 is ample and L− π * N ∈ Pic(X) nef for some N ∈ Pic(k 1 ) int with arithmetic degree deg(N ) > 0, where k 1 is any subfield of K such that K has transcendence degree d over k 1 . Since this makes k 1 either a number field or a transcendence degree one function field over k, the arithmetic degree is defined as in [7,42]. We use the same convention as in (1)…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Heights and arithmetic dynamics over finitely generated fields

Carney¹

2020

Preprint

Self Cite

View full text Add to dashboard Cite

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 Fp, 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.(This is proven by 41] when K has characteristic zero and by the author [7] when K is a transcendence degree one function field. We additionally prove a corollary for local fields.Totally non-isotrivial is a necessary condition which is slightly stronger than not isotrivial, and equivalent only for curves. This extends results of Baker [2] and Benedetto [3] for curves, and Lang-Néron [23] for abelian varieties.Consider a polarizable dynamical system f : X → X defined over C(s, t). By the Lefschetz principle, we may assume this system is defined over some potentially-verylarge-but-finite transcendence degree extension of Q; indeed this is how Theorem A applies to all fields K. Theorem C establishes, however, that heights relative to C(s, t)/C are sufficient, provided the dynamical system is totally non-isotrivial over C, and conversely, that the failure of Northcott finiteness for this height indicates some amount of isotriviality. In practice, these heights may be much more natural and practical to work with.We also show how to compare different relative arithmetic settings. Suppose K/k 1 /k is a tower of finitely generated extensions. Heights relative to K/k 1 can be obtained as specializations of those relative to K/k by intersecting with vertical fibers of a model for K over a model for k 1 , both over Spec k.These results have immediate applications to the field of unlikely intersections in arithmetic dynamics. Problems in this area typically study intersections of families of subvarieties, often defined to answer a dynamical question, and posit that when the intersection behaves differently than the generic case, there must be an arithmetic explanation. See [43] for an overview of problems in this area. Results are often restricted to number fields or to one dimensional families, since they rely on the use of height functions with Northcott finiteness.In some cases, one can extend results to a larger transcendence degree extension K/k, i.e. a higher dimensional family, by either specializing down from K via transcendence degree one subfields, or by building a tower of transcendence degree one extensions up from k. But both require new arguments to connect each subsequent extension and to handle isotriviality, and do not always work.Instead, using the heights and accompanying Northcott properties of this paper, one can now generalize many of these results to higher dimensional families with little additional alteration to the method. Theorem C also answers the isotriviality questions that often come up in these contexts. As an example, we can obtain the Bogomolov-type resul...

show abstract