Back to search
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

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.