REVIEW 2 major objections 4 minor 35 references
Parabolic automorphisms of hyperk{\"a}hler manifolds: Orbits and Betti maps
T0 review · 2 major / 4 minor · reviewed 2026-08-09 · deepseek-v4-flash
Pith's one-line read For parabolic automorphisms of irreducible hyperkähler manifolds with an invariant Lagrangian fibration, the paper proves the translation vector has maximal variation, so the fibers where the induced translation has finite order and the…
desk verdict A genuinely new proof route with a repairable but load-bearing gap in the relative polarization construction of §4.1.2 — definitely deserves a serious referee. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the translation vector $t_{f^k}$ of a parabolic automorphism in local Betti coordinates: above a small simply connected open set $U$ in the regular locus of the fibration, the automorphism acts as $(u,x) \mapsto (u, x + t_{f^k}(u))$, and maximal variation means that $t_{f^k}$ is an open mapping, equivalently that its generic rank is $2g$. The main mechanism is the fiberwise multiplication-by-$D$ map $m_D$, which acts by $z \mapsto Dz$ on each smooth abelian fiber and satisfies the key identity $f^{Dk}(S_0) = m_D^k(f(S_0))$ over $U$ once a section $S_0$ is fixed. Using the local-to-global volume propagation developed for relatively polarized fibered endomorphisms, the paper shows that if $t_{f^k}$ were not of maximal rank, then the volume of the images of multisections would grow at most like $n^{2g-2}$, contradicting the cohomological theorem that embeds symmetric powers into $H^{2p}(X;\mathbb R)$ and forces growth of order $n^{2g}$. The passage from projective to Kähler manifolds uses degenerate twistor deformations: the automorphism remains holomorphic on all deformed complex structures, and some of the deformed manifolds are projective, so the projective result transfers back.
What would settle it
Compute, for a concrete parabolic automorphism with invariant Lagrangian fibration (for instance on a K3 surface with an elliptic fibration or on the Hilbert scheme of two points on a K3), the generic rank of the translation vector in Betti coordinates; if any example yields rank strictly less than $2g$, Assertion (2) of Theorem A is false. Alternatively, test the relative-polarization construction by checking whether $m_D^* A_b$ equals $A_b^{\otimes D^2}$ for a single line bundle $A_b$ rather than a formal sum of roots of a Pic$^0$ twist; a failure there would break Proposition 4.1 and the proof of maximal variation.
Extended reading notes
Core claim
Theorem A states that if $X$ is an irreducible hyperkähler manifold of dimension $2g$, $f$ is a parabolic automorphism with an invariant Lagrangian fibration $p_f: X \to B$, and $k \geq 1$ satisfies $p_f \circ f^k = p_f$, then three conclusions hold. First, for every $p \in \{1,\dots,g\}$ the operator norm of $(f^n)^*$ on $H^{p,p}(X;\mathbb R)$ equals $c_p(f)\,n^{2p} + O(n^{2p-1})$ for a positive constant $c_p(f)$. Second, the translation vector of $f^k$ has maximal variation, equivalently the Betti map is generically of maximal rank $2g$ and its image is open. Third, for every $s \in \{1,\dots,g\}$ the set of base points $b$ for which the orbit closures of $f^k$ in the fiber $X_b$ have dimension $s$ is dense in $B$ for the Euclidean topology; in particular, fibers where every orbit is dense and fibers where the translation has finite order are both dense. The paper obtains these conclusions through a new route that avoids functional-transcendence theorems, using cohomological growth estimates, volume propagation along fiberwise multiplication maps, and a degenerate-twistor deformation argument to pass from projective to non-projective hyperkähler manifolds.
Load-bearing premise
The argument depends on the Section 4.1.2 claim that the fiberwise multiplication map $m_D$ is relatively polarized, with the line bundle constructed by 'taking the sum of all' the $(D^2-1)$-th roots of a Pic$^0$ twist even though line-bundle operations are multiplicative, so if that polarization is not actually a line bundle the volume estimate and the maximal-variation contradiction collapse; the theorem also simply assumes an invariant Lagrangian fibration exists, a condition verified in all known examples but not proved in general.
Editorial extensions
If this is right
- For every invariant Lagrangian fibration of a parabolic automorphism, the fibers on which the induced translation has finite order form a dense subset of the base, as do the fibers on which every orbit is dense.
- The operator norm of $(f^n)^*$ on each $H^{p,p}(X;\mathbb R)$ grows exactly like $c_p(f)\,n^{2p}$ with no faster growth, for every $p$ up to $g$.
- The maximal-variation conclusion holds without any projectivity assumption on the hyperkähler manifold, so the density statements apply to all Kähler examples.
- For two parabolic automorphisms with distinct Lagrangian fibrations, generic orbits of the group they generate are dense, and for large powers the set of finite orbits is $\varepsilon$-dense in $X$.
- The proof provides a route to maximal rank of Betti maps in the hyperkähler setting that bypasses functional-transcendence theorems and instead relies on volume estimates and cohomological growth.
Reading between the lines
- If the open Lagrangian conjecture that every nef isotropic class is semi-ample is proved, the invariant-fibration assumption in Theorem A would become automatic, so the theorem would apply to every parabolic automorphism.
- The volume-propagation method is not tied to the hyperkähler cohomology theorem except for the lower bound, so the same strategy may prove maximal variation for other fibered automorphisms once an analogous cohomological growth estimate is available.
- The density of finite-order fibers suggests that torsion values of sections of Lagrangian torus fibrations should be dense even in non-projective families, connecting the result to unlikely-intersection problems in a setting where transcendence methods do not apply.
- A concrete computational check of the relative-polarization construction on a known hyperkähler example such as the Hilbert scheme of two points on a K3 surface would provide a direct verification of the polarization step used in the proof.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies parabolic automorphisms of irreducible hyperkähler manifolds of complex dimension 2g that admit an invariant Lagrangian fibration p_f: X -> B. The main result (Theorem A) states that for any p ≤ g the operator norm of (f^n)^* on H^{p,p}(X;R) grows as c_p n^{2p} + O(n^{2p-1}); that the translation vector of the iterate f^k has maximal variation; and that for each s ≤ g the set of base points for which orbit closures in the fiber have dimension s is dense in B. The proof is new: it avoids the Ax-Schanuel machinery used by Gao and others, relying instead on Betti coordinates, a volume-growth criterion for non-maximal variation, and a local-to-global propagation theorem of Gauthier-Vigny for relatively polarized fiberwise endomorphisms. The projective case is established first; a degenerate twistor deformation is used to pass to the non-projective case.
Significance. If the proof is completed, this gives a uniform and conceptually simpler derivation of maximal variation of Betti maps in the hyperkähler setting, covering both projective and non-projective manifolds and isotrivial/non-isotrivial fibrations. The use of the Gauthier-Vigny local-to-global principle is a promising new ingredient. However, the central technical construction on which the proof relies currently has a gap, so the paper is not yet ready for publication.
major comments (2)
- [§4.1.2] The construction of the relatively ample line bundle A_b satisfying m_D^*A_b = A_b^{D^2} is not valid as written. For a chosen L_b, m_D^*L_b = L_b^{D^2} ⊗ M_b, and setting L'_b = L_b ⊗ R_b gives m_D^*L'_b = L_b^{D^2} ⊗ M_b ⊗ R_b^D, whereas (L'_b)^{D^2} = L_b^{D^2} ⊗ R_b^{D^2}; equality would require R_b^{D(D-1)} = M_b, not R_b^{D^2-1} = M_b. Moreover, "take the sum of them all" is undefined for line bundles, and a product of all roots would not keep the class H_b. Consequently, the existence of a monodromy-invariant A_b satisfying (4.3) is not established, and the application of [15, Proposition 3.3] that yields the global estimate (4.5) and then (4.11) is unsupported.
- [§4.3.1, Eqs. (4.8)–(4.10)] The identity f^{Dk} = m_D^k ∘ f is not correct under the Betti-coordinate conventions of the paper. Since f_Φ(u,x)=(u,x+t_f(u)) and m_D,Φ(u,x)=(u,Dx), one has f^{Dk}(u,0)=(u,Dk·t_f(u)) while m_D^k(f(u,0))=(u,D^k·t_f(u)); these are equal only if D^k = Dk. If the intended statement is f^{D^k} = m_D^k ∘ f, then the notation in Proposition 4.1 and Proposition 4.3 should be changed to the subsequence n = D^k, and the argument that this subsequence suffices for the full statement of Proposition 4.3 needs to be supplied. As written, the proof of Proposition 4.1 is invalid at this point.
minor comments (4)
- [§4.3.1, Step 2] With T_k as defined in (4.14), A(x,y,z)=x+y-z gives f^{-Dk}(S), not f^{Dk}(S); either redefine A as x+z-y or take z=f^{-Dk}(y). The error is harmless for the growth bound but should be corrected.
- [§7.2, Proposition 7.2] The inequality "0 < r q(a,σ) < q(a,h)" is not meaningful because q(a,σ) is a complex number; please state the intended condition with real/imaginary parts or absolute values.
- [§5, Theorem C] Theorem C is stated with only a sketch, and since Assertion (1) of Theorem A depends on it, the authors should give a complete proof or a precise reference for the Khovanskii-Teyssier concavity step and the Verbitsky embedding used for the lower bound.
- [§7.4] The extension of Lo Bianco's theorem to the non-projective case is only a short paragraph; a fuller explanation of why the projective conclusion on X_t transfers back to X_0 would be useful.
Circularity Check
No significant circularity: the proof of Theorem A contradicts the non-maximal-variation assumption using independent cohomological estimates, not the target conclusion.
full rationale
The derivation chain is self-contained with respect to the paper's central claims. Theorem A(2) is proved by contradiction: Proposition 4.3 assumes that the translation vector does not have maximal variation and derives the upper bound ||(f^n)^*||_{H^{g,g}} = O(n^{2g-2}) from Lemma 3.3, the fiberwise multiplication maps m_D, and Gauthier–Vigny's local-to-global volume propagation theorem [15]. Section 5 independently establishes the lower growth c n^{2g} using Verbitsky's embedding of Sym^p(H^2) into H^{2p} and the Khovanskii–Teyssier concavity inequalities; neither input assumes maximal variation or the density conclusion. No fitted parameter is renamed as a prediction, no equation defines its own output, and no uniqueness theorem from the authors is used to force a choice. The self-citations [1] and [8] are contextual: [1] supplies the preliminary fact that a suitable iterate acts by translations on smooth fibers and that orbits are generically dense, while [8] handles the surface case; neither supplies the contradiction step in the proof of Theorem A. The paper even explicitly corrects an explanation from [1] concerning Lo Bianco's assertion, showing that it does not rely uncritically on its own prior work. The only substantial concern in the proof is the construction in Section 4.1.2 of the relatively polarized line bundle A_b, which may contain a root-degree or monodromy gap; however, that is a mathematical correctness issue, not circularity, because the construction does not presuppose maximal variation or the theorem's conclusion. Since the central derivation is independent and the cited external results are used as evidence rather than as a self-referential chain, the circularity score is 0.
Assumptions & free parameters
assumptions (7)
- domain assumption The invariant Lagrangian fibration p_f exists for the parabolic automorphism.
- standard math Verbitsky's embedding: Sym^p H^2(X;R) injects into H^{2p}(X;R) for p at most g via cup product.
- standard math Khovanskii-Teyssier inequalities make the growth exponents s_p concave in p.
- standard math Gauthier-Vigny Proposition 3.3: local submaximal volume growth for a relatively polarized fiberwise endomorphism implies global O(D^{(b-1)k}) growth.
- standard math Huybrechts projectivity criterion and Soldatenkov-Verbitsky C-symplectic twistor deformations.
- standard math A parabolic isometry of H^{1,1}(X;R) has a 3-dimensional Jordan block, so ||(f^n)^*|| is asymptotically c n^2.
- standard math Oguiso's theorem: f^* sigma = sigma for non-projective parabolic automorphisms.
Cite this review
Pith. "Pith review of Parabolic automorphisms of hyperk{\"a}hler manifolds: Orbits and Betti maps." pith.science (2026). https://pith.science/paper/WYQ7BEBU
@misc{pith2026250201149,
author = {Pith},
title = {Pith review of: Parabolic automorphisms of hyperk\"ahler manifolds: Orbits and Betti maps},
year = {2026},
howpublished = {\url{https://pith.science/paper/WYQ7BEBU}},
note = {Machine review of arXiv:2502.01149}
}
read the original abstract
We study parabolic automorphisms of irreducible holomorphically symplectic manifolds with a lagrangian fibration. Such automorphisms are (possibly up to taking a power) fiberwise translations on smooth fibers, and their orbits in a general fiber are dense ([1]). We provide a simple proof that the associated Betti map is of maximal rank, in particular, the set of fibers where the induced translation is of finite order is dense as well. R{\'E}SUM{\'E}. Nous {\'e}tudions les automorphismes paraboliques des vari{\'e}t{\'e}s symplectiques holomorphes qui sont irr{\'e}ductibles et projectives.
Reference graph
Works this paper leans on
-
[1]
Parabolic automo rphisms of hyperkähler mani- folds
Ekaterina Amerik and Misha V erbitsky. Parabolic automo rphisms of hyperkähler mani- folds. J. Math. Pures Appl. (9) , 179:232–252, 2023
work page 2023
-
[2]
Mumford-Tate groups of mixed Hodge structur es and the theorem of the fixed part
Yves André. Mumford-Tate groups of mixed Hodge structur es and the theorem of the fixed part. Compositio Math., 82(1):1–24, 1992
work page 1992
-
[3]
The Bet ti map associated to a section of an abelian scheme
Yves André, Pietro Corvaja, and Umberto Zannier. The Bet ti map associated to a section of an abelian scheme. Invent. Math., 222(1):161–202, 2020
work page 2020
-
[4]
A short proof of a conjecture of Matsush ita
Benjamin Bakker. A short proof of a conjecture of Matsush ita. arxiv preprint 2209.00604, 2022
arXiv 2022
-
[5]
Isotrivialité de certaines familles kählériennes de variétés non projec- tives
Frédéric Campana. Isotrivialité de certaines familles kählériennes de variétés non projec- tives. Math. Z., 252(1):147–156, 2006
work page 2006
-
[6]
Sur la dynamique du groupe d’automorphism es des surfaces K3
Serge Cantat. Sur la dynamique du groupe d’automorphism es des surfaces K3. Trans- form. Groups, 6(3):201–214, 2001
work page 2001
-
[7]
Dynamics of automorphisms of compact comp lex surfaces
Serge Cantat. Dynamics of automorphisms of compact comp lex surfaces. In Frontiers in Complex Dynamics: In celebration of John Milnor’s 80th bi rthday, volume 51 of Princeton Math. Series , pages 463–514. Princeton University Press, 2014
work page 2014
-
[8]
Invariant measures fo r large automorphism groups of projective surfaces
Serge Cantat and Romain Dujardin. Invariant measures fo r large automorphism groups of projective surfaces. Trans. Groups, published online(1):1–64, 2023
work page 2023
Show all 35 references
-
[9]
F inite orbits in surfaces with a double elliptic fibration and torsion values of sections
Pietro Corvaja, Jacob Tsimerman, and Umberto Zannier. F inite orbits in surfaces with a double elliptic fibration and torsion values of sections. arxiv, (2302.00859):1–29, 2023
2023 arXiv
-
[10]
Mesures de Monge-Ampère et cara ctérisation géométrique des var- iétés algébriques affines
Jean-Pierre Demailly. Mesures de Monge-Ampère et cara ctérisation géométrique des var- iétés algébriques affines. Mém. Soc. Math. France (N.S.) , (19):124, 1985
1985
-
[11]
Complex analytic and different ial geometry
Jean-Pierre Demailly. Complex analytic and different ial geometry. Open source book , pages 1– 455, 2022
2022
-
[12]
Finite translatio n orbits on double familes of abelian varieties (with an appendix by E
Paolo Dolce and Francesco Tropeano. Finite translatio n orbits on double familes of abelian varieties (with an appendix by E. Amerik). arXiv, (2401.07015):1–26, 2024
2024 arXiv
-
[13]
Generic rank of Betti map and unlikely inter sections
Ziyang Gao. Generic rank of Betti map and unlikely inter sections. Compos. Math. , 156(12):2469–2509, 2020
2020
-
[14]
Mixed Ax-Schanuel for the universal abelia n varieties and some applica- tions
Ziyang Gao. Mixed Ax-Schanuel for the universal abelia n varieties and some applica- tions. Compos. Math., 156(11):2263–2297, 2020
2020
-
[15]
The geometric dynam ical Bogomolov and Northcott properties
Thomas Gauthier and Gabriel Vigny. The geometric dynam ical Bogomolov and Northcott properties. Annales Scien. ENS , to appear:1– 38, 2023
2023
-
[16]
Compact hyperkähler manifolds: ba sic results
Daniel Huybrechts. Compact hyperkähler manifolds: ba sic results. Invent. Math. , 135(1):63–113, 1999
1999
-
[17]
Compact hyperkähler manifolds
Daniel Huybrechts. Compact hyperkähler manifolds. In Calabi-Yau manifolds and re- lated geometries (Nordfjordeid, 2001) , Universitext, pages 161–225. Springer, Berlin, 2003
2001
-
[18]
Compact hyperkähler man ifolds: basic results
Daniel Huybrechts. Erratum: “Compact hyperkähler man ifolds: basic results” [In- vent. Math. 135 (1999), no. 1, 63–113; MR1664696 (2000a:32039)]. Invent. Math. , 152(1):209–212, 2003
1999
-
[19]
Kamenova and C
L. Kamenova and C. Lehn. Non-hyperbolicity of holomorp hic symplectic varieties. preprint, arXiv.org/2212.11411, 2022
2022 arXiv
-
[20]
Lieberman
David I. Lieberman. Compactness of the Chow scheme: app lications to automorphisms and deformations of Kähler manifolds. In F onctions de plusieurs variables complexes, III (Sém. François Norguet, 1975–1977) , volume 670 of Lecture Notes in Math. , pages 140–186. Springer, Ber...
1975
-
[21]
On the cohomological action of auto morphisms of compact Kähler threefolds
Federico Lo Bianco. On the cohomological action of auto morphisms of compact Kähler threefolds. Bull. Soc. Math. France, 147(3):469–514, 2019. PARABOLIC AUTOMORPHISMS: ORBITS AND BETTI MAPS 28
2019
-
[22]
On the primitivity of birational tr ansformations of irreducible holo- morphic symplectic manifolds
Federico Lo Bianco. On the primitivity of birational tr ansformations of irreducible holo- morphic symplectic manifolds. Int. Math. Res. Not. IMRN , (1):1–32, 2019
2019
-
[23]
An application of p-adic integration to the dynamics of a birational transformation preserving a fibration
Federico Lo Bianco. An application of p-adic integration to the dynamics of a birational transformation preserving a fibration. preprint, pages 1–13, 2023
2023
-
[24]
On fibre space structures of a proje ctive irreducible symplectic man- ifold
Daisuke Matsushita. On fibre space structures of a proje ctive irreducible symplectic man- ifold. T opology, 38(1):79–83, 1999
1999
-
[25]
On fibre space structur es of a projective irreducible symplectic manifold
Daisuke Matsushita. Addendum: “On fibre space structur es of a projective irreducible symplectic manifold” [Topology 38 (1999), no. 1, 79–83; MR1644091 (99f:14054)]. T opology, 40(2):431–432, 2001
1999
-
[26]
Ax-S chanuel for Shimura varieties
Ngaiming Mok, Jonathan Pila, and Jacob Tsimerman. Ax-S chanuel for Shimura varieties. Ann. of Math. (2) , 189(3):945–978, 2019
2019
-
[27]
Projectivity criterion of Moishezon spaces and density of projective symplectic varieties
Y oshinori Namikawa. Projectivity criterion of Moishezon spaces and density of projective symplectic varieties. Internat. J. Math., 13(2):125–135, 2002
2002
-
[28]
Bimeromorphic automorphism groups of no n-projective hyperkähler manifolds—a note inspired by C
Keiji Oguiso. Bimeromorphic automorphism groups of no n-projective hyperkähler manifolds—a note inspired by C. T. McMullen. J. Differential Geom. , 78(1):163–191, 2008
2008
-
[29]
Picard number of the generic fiber of an abe lian fibered hyperkähler mani- fold
Keiji Oguiso. Picard number of the generic fiber of an abe lian fibered hyperkähler mani- fold. Math. Ann., 344(4):929–937, 2009
2009
-
[30]
Ratcliffe
John G. Ratcliffe. F oundations of hyperbolic manifolds, volume 149 of Graduate T exts in Mathematics. Springer, Cham, third edition, [2019] ©2019
2019
-
[31]
The Moser isot opy for holomorphic symplec- tic and C-symplectic structures
Andrey Soldatenkov and Misha V erbitsky. The Moser isot opy for holomorphic symplec- tic and C-symplectic structures. Ann. Institut F ourier, to appear:1–11, 2024
2024
-
[32]
Cohomology of compact hyperkähler ma nifolds and its applications
Misha V erbitsky. Cohomology of compact hyperkähler ma nifolds and its applications. Geom. Funct. Anal. , 6(4):601–611, 1996
1996
-
[33]
Degenerate twistor spaces for hyperk ähler manifolds
Misha V erbitsky. Degenerate twistor spaces for hyperk ähler manifolds. J. Geom. Phys. , 91:2–11, 2015
2015
-
[34]
Hodge theory and complex algebraic geometry
Claire V oisin. Hodge theory and complex algebraic geometry. I, volume 76 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2002. Trans- lated from the French original by Leila Schneps
2002
-
[35]
Torsion points of sections of Lagrangia n torus fibrations and the Chow ring of hyper-Kähler manifolds
Claire V oisin. Torsion points of sections of Lagrangia n torus fibrations and the Chow ring of hyper-Kähler manifolds. In Geometry of moduli , volume 14 of Abel Symp., pages 295–326. Springer, Cham, 2018. CNRS, IRMAR - UMR 6625, U NIVERSITÉ DE RENNES , F RANCE LABORATORY OF AL...
2018
Reviewed August 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.