2007.12541
Rational Endomorphisms of Codimension One Holomorphic Foliations
Federico Lo Bianco, Jorge Vitório Pereira, Erwan Rousseau, Frédéric Touzet
correctmedium confidence
- Category
- Not specified
- Journal tier
- Strong Field
- Processed
- Sep 28, 2025, 12:55 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper’s Theorem A is established via the LPT16 structure theorem and a hyperbolic/monodromy route: it reduces to the transversely hyperbolic case with Zariski‑dense monodromy and then proves that any rational symmetry must preserve the foliation, forcing finiteness of the transverse action unless the foliation is virtually additive or a surface pullback, which also leads to virtual additivity (Theorem A statement and proof sketch appear explicitly; see , , , ). The candidate solution hinges on two unsupported steps: (i) that the equivariance ρ∘f_* = gρg^{-1} with g of infinite order rules out Zariski‑dense monodromy and forces virtual reducibility; (ii) that f_* has finite‑index image in π1(U), enabling a dynamical argument to make the linear part finite. Neither claim is justified in the paper’s framework; in fact, the paper works precisely with Zariski‑dense monodromy in the hyperbolic case and uses uniqueness of hyperbolic structures to control symmetries (Theorem 5.10 and Theorem 5.13; see , ). The model also ignores regular vs. irregular singularity issues needed when passing from transversely affine to additive. Hence the model’s proof is incomplete/incorrect, while the paper’s argument is coherent and complete.
Referee report (LaTeX)
\textbf{Recommendation:} no revision
\textbf{Journal Tier:} strong field
\textbf{Justification:}
The main result (Theorem A) addresses a natural and important rigidity phenomenon for rational endomorphisms preserving codimension one foliations with transversely projective structure. The proof deftly combines the state-of-the-art structure theorem for transversely projective foliations with a careful analysis of transversely hyperbolic structures: uniqueness of equivariant maps, Zariski-dense monodromy, and constraints from log general type. The argument is coherent, technically solid, and well positioned within current literature. The exposition is clear, and dependencies are adequately flagged.