2501.13738
ASYMPTOTICS OF TRANSVERSALITY IN PERIODIC CURVES OF QUADRATIC RATIONAL MAPS
Jan Kiwi
correcthigh confidence
- Category
- Not specified
- Journal tier
- Strong Field
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper’s Theorem A states exactly χ(Sp) = 2/3·η′(p) − η′II(p) for p ≥ 3, identifies S1 ≅ C and S2 ≅ C*, and gives χ(Ŝp) = Np + 2/3·η′(p) − η′II(p) . Its proof uses a meromorphic one-form dτ on Ŝp and a Main Lemma (an asymptotics-of-transversality identity) to convert local orders at punctures into the Euler characteristic; type II centers are counted via zeros of G and puncture multiplicities are related to η′(p) by Bezout identities . The candidate solution reaches the same formulas via a different route: a holomorphic renormalization/index map Θp from Sp to the (2,3,∞) modular orbifold and an orbifold Gauss–Bonnet/Stokes count with defects attributed to polynomial parameters and type II centers. While the model’s approach is coherent and standard in spirit, it asserts (without full proof) global holomorphicity of Θp, that only those two defect types occur, and it implicitly assumes connectedness of Sp (which remains open in general per the paper’s introduction) . Net: same results, distinct methods; the paper is rigorous and complete, the model is essentially correct but omits some justifications.
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions \textbf{Journal Tier:} strong field \textbf{Justification:} The paper establishes explicit Euler characteristic formulas for periodic curves in the moduli of critically marked quadratic rational maps and records the structures of the p=1 and p=2 slices. The approach, via a meromorphic one-form and an asymptotics-of-transversality lemma grounded in non-Archimedean dynamics, is both technically solid and conceptually illuminating. Minor clarifications would further aid readability for a broad dynamics audience.