Skip to content
DraconiticResearch
Search Sources API
190,869 studies31 sourcesUpdated just now
PreprintCC BY 4.0arXiv

Local height arguments toward the dynamical Mordell-Lang conjecture

Abstract

We consider regular endomorphisms of the complex affine space with a degree gap k. They are endomorphisms f of 𝔸ℂN of the form f(x1,…,xN)=(f1(x1,…,xN)+g1(x1,…,xN),…,fN(x1,…,xN)+gN(x1,…,xN)), in which f1,…,fN are homogeneous polynomials of degree d with no nonzero common zeros and g1,…,gN are polynomials of degree ≀ dβˆ’k. Such an endomorphism extends to an endomorphism of β„™β„‚N. Let H∞=β„™β„‚Nβˆ–π”Έβ„‚N be the infinity hyperplane and we denote f∞ as the induced endomorphism of H∞. Suppose that k is twice greater than the multiplicities of f∞ at the periodic closed points, i.e. k>2maxP∈Per(f∞)ef∞(P). Then we prove that f satisfies the dynamical Mordell-Lang conjecture for curves. As a by-product of our proof, we show that in this case every periodic curve of f is a "vertical line", i.e. a straight line passing through the origin. There are many examples which satisfy our condition k>2maxP∈Per(f∞)ef∞(P). Indeed, we prove that for every dβ‰₯2, a general endomorphism f∞ of Hβˆžβ‰…β„™β„‚Nβˆ’1 of degree d satisfies maxP∈ H∞(β„‚)ef∞(P)≀(Nβˆ’1)!Β·2Nβˆ’1. So if we take k=(Nβˆ’1)!Β·2N+1, then f will satisfy our condition if f∞ is general (of an arbitrary degree dβ‰₯ k). Moreover, we provide examples to illustrate that this condition is optimal to force every periodic curve to be a vertical line, in the sense that one cannot change ">" into "β‰₯".

Related

  1. On Dynamical Mordell-Lang Conjecture for Split Map
    Zhang Yuanming
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  2. The Dynamical Mordell--Lang Conjecture for Relatively Γ‰tale Systems over Products of Curves
    Bhawesh Mishra
    arXivPreprintCC BY-NC-SA 4.0Full textAlgebra & number theoryDynamical systemsarXiv
  3. Dynamical Mordell--Lang Conjecture for Higher-Rank Radially Ramified Skew Products
    Bhawesh Mishra
    arXivPreprintCC BY-NC-SA 4.0Full textAlgebra & number theoryDynamical systemsarXiv
  4. Asymptotics of local height pairing without Hodge conjecture
    Yuta Nakayama
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  5. ErdΕ‘s--Straus Conjecture: Modular Inversion in Mordell Classes
    Andres Ventas
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
BibTeX
@misc{yang2026local,
  title = {{Local height arguments toward the dynamical Mordell-Lang conjecture}},
  author = {She Yang and Aoyang Zheng},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2605.11676},
  eprint = {2605.11676},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2605.11676},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Local height arguments toward the dynamical Mordell-Lang conjecture
AU  - She Yang
AU  - Aoyang Zheng
PY  - 2026
DA  - 2026/09/21
PB  - arXiv
DO  - 10.48550/arxiv.2605.11676
UR  - https://arxiv.org/abs/2605.11676
AB  - We consider regular endomorphisms of the complex affine space with a degree gap k. They are endomorphisms f of 𝔸_β„‚^N of the form f(x_1,…,x_N)=(f_1(x_1,…,x_N)+g_1(x_1,…,x_N),…,f_N(x_1,…,x_N)+g_N(x_1,…,x_N)), in which f_1,…,f_N are homogeneous polynomials of degree d with no nonzero common zeros and g_1,…,g_N are polynomials of degree ≀ dβˆ’k. Such an endomorphism extends to an endomorphism of β„™_β„‚^N. Let H_∞=β„™_β„‚^Nβˆ–π”Έ_β„‚^N be the infinity hyperplane and we denote f_∞ as the induced endomorphism of H_∞. Suppose that k is twice greater than the multiplicities of f_∞ at the periodic closed points, i.e. k>2max_P∈Per(f_∞)e_f_∞(P). Then we prove that f satisfies the dynamical Mordell-Lang conjecture for curves. As a by-product of our proof, we show that in this case every periodic curve of f is a "vertical line", i.e. a straight line passing through the origin. There are many examples which satisfy our condition k>2max_P∈Per(f_∞)e_f_∞(P). Indeed, we prove that for every dβ‰₯2, a general endomorphism f_∞ of H_βˆžβ‰…β„™_β„‚^Nβˆ’1 of degree d satisfies max_P∈ H_∞(β„‚)e_f_∞(P)≀(Nβˆ’1)!Β·2^Nβˆ’1. So if we take k=(Nβˆ’1)!Β·2^N+1, then f will satisfy our condition if f_∞ is general (of an arbitrary degree dβ‰₯ k). Moreover, we provide examples to illustrate that this condition is optimal to force every periodic curve to be a vertical line, in the sense that one cannot change ">" into "β‰₯".
ER  -