REVIEW 3 major objections 5 minor 18 references
Mapping class group and global Torelli theorem for hyperkahler manifolds: an erratum
T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The global Torelli theorem for hyperkähler manifolds still holds after a corrected mapping-class-group argument.
desk verdict An honest erratum with a real but fixable gap: Theorem 2.6 is proved only for projective deformations, and the promised adjustment for non-algebraic ones is missing. 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 carrying object is the period map from each component of the Teichmüller space to the Grassmannian of positive 2-planes in $H^2(M,\mathbb{R})$, together with the monodromy group $\mathrm{Mon}_I$. The proof that Torelli elements act trivially on fixed components uses the identification of a period fiber with the set of Kähler chambers in $H^{1,1}$; the proof of finiteness of orbits uses polarization by a very ample line bundle (a line bundle whose sections embed the manifold into projective space), boundedness of Hilbert schemes, the compactification of arithmetic quotients of bounded symmetric domains, an extension theorem for period maps, and an ergodicity lemma (Lemma 2.7) showing that finite-index fixators of all positive-square vectors generate a finite-index subgroup of the orthogonal group. Each element fixing a point is a complex automorphism, and automorphisms acting trivially on $H^2$ are finite because they preserve the unique Calabi–Yau metric.
What would settle it
Produce a compact hyperkähler manifold whose complex structure is not projective and for which the monodromy group maps to a subgroup of $O(H^2(M,\mathbb{Z}))$ of infinite index; equivalently, a marked moduli space with infinitely many connected components. A concrete calculation for a known non-projective deformation of a generalized Kummer variety or of a Hilbert scheme of points on a K3 surface would settle the point.
Extended reading notes
Core claim
The central claim is that the global Torelli theorem for compact hyperkähler manifolds remains true after replacing the Teichmüller space by the marked moduli space and after replacing the mapping class group by a finite-index subgroup of the Torelli group. Concretely, the Torelli group $K$, the kernel of the action on $H^2(M,\mathbb{R})$, acts on the set of connected components of the Teichmüller space with finitely many orbits and finite stabilizers, and every element of $K$ that fixes a point fixes its entire connected component. This makes the quotient $\mathrm{Teich}/K$ a finite union of components, each diffeomorphic to a component of $\mathrm{Teich}$, and it implies the monodromy group has finite-index image in the integral orthogonal group of the Bogomolov–Beauville–Fujiki form. The earlier claim that the kernel of $\Gamma \to \mathrm{Aut}(H^*(M))$ is finite is withdrawn; only the image is controlled. The correction preserves the applications, including the finite-component statements for marked moduli and the Torelli theorem in its amended form.
Load-bearing premise
The proof of the central finiteness statement assumes the hyperkähler manifold is projective, choosing a very ample line bundle whose sections embed the manifold into projective space, while the theorem is declared for all hyperkähler complex structures; the text says the non-projective case needs adjustments and does not supply them.
Editorial extensions
If this is right
- The global Torelli theorem holds in its amended form: the marked moduli space $\mathrm{Teich}/K$ is a finite union of components, each diffeomorphic to a component of the Teichmüller space.
- The image of the mapping class group in $O(H^2(M,\mathbb{Z}))$ has finite index, even though its kernel may be infinite; the orthogonal group remains the right target for the monodromy.
- The Teichmüller space has finitely many connected components exactly when the Torelli group is finite; for manifolds with infinite Torelli group, such as the generalized Kummer fourfold, it has infinitely many components.
- Any Torelli element that fixes a Teichmüller point fixes the whole component, so the original rigidity phenomenon is preserved.
- The previously cited erroneous uses are repairable: Theorem 3.1 supplies enough to prove the affected results, including the universal-fibration application, with a missing construction supplied by a later source.
Reading between the lines
- If the non-algebraic gap is genuine, the theorem as stated may be narrower than claimed: finite-index monodromy would be established only for projective deformations, and the non-projective case would remain open.
- The correction points to the algebraic mapping class group built from the minimal model, not just cohomology, as the right invariant; one could test whether the Torelli group of other hyperkähler examples is infinite and hence whether their Teichmüller spaces have infinitely many components.
- Lemma 2.7 is a purely lattice-theoretic statement that may extend to other arithmetic groups: any collection of finite-index fixators of positive vectors in a quadratic lattice generates a finite-index subgroup, so similar finite-orbit conclusions could hold for other moduli problems with period maps.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This erratum addresses an error in Verbitsky's earlier paper on the mapping class group and global Torelli theorem for hyperkähler manifolds. The error stems from a misquotation of Sullivan's theorem, exposed by Kreck and Su, which invalidated the claimed finiteness of the kernel of the mapping class group action on cohomology. The erratum states corrected versions: Theorem 1.1 gives finite-index image of the mapping class group in the isometry group of the Bogomolov–Beauville–Fujiki form; Theorem 2.6 claims finite index of the monodromy group and finiteness of components of the marked moduli space; Theorem 3.1 claims that the Torelli group acts on the components of the Teichmüller space with finitely many orbits and finite stabilizers, and that any element fixing a point acts trivially on the component. Section 4 lists the statements of the original paper that are false and indicates where corrected versions are given.
Significance. If the corrected statements hold, the global Torelli theorem survives in a modified but substantive form, with the Teichmüller space replaced by the marked moduli space and with explicit finite-orbit/finite-stabilizer control on the Torelli action. The erratum is honest and useful: it publicly identifies the misquotation and the affected results, and it provides a clear target statement in Theorem 3.1. The paper also presents a self-contained Lemma 2.7 with an ergodicity argument, which is a useful ingredient. However, as submitted, the proof of the central replacement theorem is incomplete for non-projective hyperkähler manifolds, and some citations to the partially retracted original paper are not sufficiently precise. The erratum is therefore a valuable but not yet fully rigorous correction.
major comments (3)
- [Section 2, proof of Theorem 2.6] Theorem 2.6 is stated for an arbitrary hyperkähler manifold (M,I), but the proof begins by fixing a very ample line bundle L on (M,I), which exists only when (M,I) is projective. The sentence immediately before this step says that the Bakker–Lehn proof 'needs some adjustments' for non-algebraic deformations, yet no such adjustment is written. Because Theorem 3.1(i) is deduced directly from Theorem 2.6(ii), the finite-orbit and finite-stabilizer statement for the Torelli group action is not proved for non-projective hyperkähler manifolds. A repair using a projective deformation in the same Teichmüller component and the constancy of monodromy on a component is plausible, but it needs to be stated and checked.
- [Section 1, Theorem 1.1] The proof of Theorem 1.1 asserts that the image of φ is described in [V1, Theorem 3.5], while Section 4 declares Theorem 3.5 to be false as stated and only the image statement is retained in a corrected form. Since Theorem 2.6 later relies on Theorem 1.1, the erratum should isolate exactly which assertions in [V1, Theorem 3.5] remain valid and indicate why the retracted statements do not affect the image computation; as written, this is an unsupported reliance on a partially retracted theorem.
- [Section 2, Claim 2.1] The finiteness of the group of complex automorphisms acting trivially on H^2(M) is attributed to [V1, Theorem 4.26], but Section 4 lists parts (ii) and (iii) of that theorem as false. If the finiteness assertion is part (i) and remains valid, the manuscript should say so explicitly. The sketch given in the proof, namely that the group of isometries of a compact metric space is compact, only yields compactness; finiteness requires the additional fact that Aut(M,I) is discrete, which is not stated.
minor comments (5)
- [Section 2, proof of Theorem 2.6] The assertion that 'Teich_L is dense in Teich_η and has the same number of connected components' needs a proof, since a dense open subset of a connected space can be disconnected; the authors should specify why the complement has codimension at least two or otherwise justify the connectedness statement.
- [Section 1, introductory paragraph] The introductory paragraph quotes Sullivan's theorem for manifolds with nilpotent fundamental group and dimension at least 5, while Theorem 1.3 states the theorem for compact simply-connected manifolds; the hypotheses should be stated consistently.
- [Section 4, final summary] The final paragraph says that Γ is replaced by Γ/K0, 'where K0 is a subgroup of all elements acting trivially on M'; this should presumably be 'acting trivially on H^2(M)', since the Torelli group is defined via the cohomology action.
- [References] The reference [Kn] is listed in the bibliography but is never cited in the text.
- [Section 2, Definition 2.2] The statement that each connected component of Teich/K is diffeomorphic to a corresponding component of Teich depends on the pointwise triviality of the stabilizer of a component; this use of Claim 2.1 should be made explicit.
Circularity Check
Theorem 1.1's corrected finite-index claim is justified by citing the very [V1, Theorem 3.5] that the erratum declares false; otherwise the new technical core is mostly external, with a non-projective gap in Theorem 2.6.
-
self citation load bearing
[Section 1, proof of Theorem 1.1]
"Proof: The image of ϕ is described in [V1, Theorem 3.5], using the results of hyperkähler geometry (the local Torelli theorem, Riemann-Hodge reltions and and the computation of cohomology algebra obtained in [V2]). The kernel (claimed to be finite in [V1, Theorem 3.5]) is not finite."
Theorem 1.1 is introduced as the 'correct version' after the text says '[V1] Theorem 3.5 ... is false as stated'. Its central finite-index statement is not proved from independent ingredients; it is asserted to be 'described in [V1, Theorem 3.5]', the very theorem being corrected. Since that citation is to the same author's earlier paper and to a statement acknowledged to be false as a whole, the corrected theorem's conclusion is loaded onto an uncorrected self-citation. The image part may be salvageable, but no independent derivation is exhibited here, so the derivation chain is not self-contained at this step.
full rationale
Most of the erratum's new argument is anchored in external results: Kreck-Su counterexamples, Sullivan's Theorem 13.3, Bakker-Lehn, Borel, Baily-Borel, Matsusaka, Moore ergodicity, and Witte Morris. Lemma 2.7 is an independent ergodic/arithmetic argument. The one load-bearing self-citation is the proof of Theorem 1.1, where the corrected finite-index statement is justified by citing [V1, Theorem 3.5] - the same theorem just declared false - for the image description; this is then reused in the proof of Theorem 2.6 via 'Φ(Γ) has finite index in O(H2(M,Z)) by Theorem 1.1'. I count this as one self-citation load-bearing step. Because the central new theorem (2.6/3.1) also contains independent content (Lemma 2.7, the Hilbert-scheme/Bakker-Lehn argument, Moore ergodicity), the score is 4 rather than 6+. The passage 'For non-algebraic deformations, their proof needs some adjustments' (proof of Theorem 2.6) is a completeness gap, not a circularity: the proof fixes a very ample line bundle L on (M,I), which only exists for projective I, and the promised adjustment for non-projective deformations is never written out. This leaves Theorem 3.1(i) conditionally established for the projective case as written and affects correctness risk, but it is not a circular reduction, so it is not scored here.
Assumptions & free parameters
assumptions (8)
- domain assumption M is a compact hyperkähler manifold of maximal holonomy (IHS).
- standard math Local Torelli theorem identifies each connected component of Teich with the Grassmannian of positive 2-planes in H^2(M,R).
- standard math Calabi-Yau theorem gives a unique hyperkähler metric in each Kähler class, and the isometry group of a compact metric space is compact.
- standard math Moore's ergodicity theorem applies to the homogeneous space Yr = H/H0 in Lemma 2.7.
- standard math Baily-Borel compactification and Borel's extension theorem apply to Per_eta / Gamma_eta and to the Hilbert scheme map.
- standard math Matsusaka boundedness says the Hilbert scheme of polarized varieties with fixed Poincaré polynomial is bounded.
- standard math Kreck-Su counterexample: the natural map from the mapping class group to Aut(H*(M)) can have infinite-dimensional kernel for 8-dimensional hyperkähler manifolds.
- ad hoc to paper The description of the image of the mapping class group in O(H^2(M,Z)) from [V1, Theorem 3.5] remains correct even though the kernel-finiteness part is false.
Cite this review
Pith. "Pith review of Mapping class group and global Torelli theorem for hyperkahler manifolds: an erratum." pith.science (2026). https://pith.science/paper/IH3KDQHG
@misc{pith2026190811772,
author = {Pith},
title = {Pith review of: Mapping class group and global Torelli theorem for hyperkahler manifolds: an erratum},
year = {2026},
howpublished = {\url{https://pith.science/paper/IH3KDQHG}},
note = {Machine review of arXiv:1908.11772}
}
read the original abstract
A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. In the published version of "Mapping class group and a global Torelli theorem for hyperkahler manifolds" I made an error based on a wrong quotation of Dennis Sullivan's famous paper "Infinitesimal computations in topology". I claimed that the natural homomorphism from the mapping class group to the group of automorphims of cohomology of a simply connected Kahler manifold has finite kernel. In a recent preprint arXiv:1907.05693, Matthias Kreck and Yang Su produced counterexamples to this statement. Here I correct this error and other related errors, observing that the results of "Mapping class group and a global Torelli theorem" remain true after an appropriate change of terminology.
Reference graph
Works this paper leans on
-
[1]
Compactification of arithmetic quotients of bounded symmetric domains, Ann
Baily, W.L.; Borel, A. Compactification of arithmetic quotients of bounded symmetric domains, Ann. Of Math. (1966), 84 (3): 442-528
work page 1966
-
[2]
Some metric properties of arithmetic quotients of symmetric spaces and an extension theorem , J
Armand Borel. Some metric properties of arithmetic quotients of symmetric spaces and an extension theorem , J. Differential Geometry, 6:543-560, 1972. Collection of articles dedicated to S. S. Chern and D. C. Spencer on their sixtieth birthdays
work page 1972
- [3]
-
[4]
A Superficial Working Guide to Deformations and Moduli
F. Catanese, A Superficial Working Guide to Deformations and Moduli , arXiv:1106.1368, 56 pages
-
[5]
Deligne, Pierre; Griffiths, Phillip; Morgan, John; Sullivan, Dennis, Real homotopy theory of K\"ahler manifolds , Invent. Math. 29 (1975), no. 3, 245--274
work page 1975
-
[6]
Hatcher, A. E. Concordance spaces, higher simple-homotopy theory, and applications , Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976), Part 1, pp. 3--21, Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc., Providence, R.I., 1978
work page 1976
-
[7]
Finiteness results for hyperkaehler manifolds
Huybrechts, D., Finiteness results for hyperk\"ahler manifolds , J. Reine Angew. Math. 558 (2003), 15--22, arXiv:math/0109024
work page Pith review arXiv 2003
-
[8]
The Kaehler cone of a compact hyperkaehler manifold
Huybrechts, D. The K\"ahler cone of a compact hyperk\"ahler manifold , Math. Ann. 326 (2003), no. 3, 499--513, arXiv:math/9909109
work page Pith review arXiv 2003
Show all 18 references
-
[9]
Martin Kneser, Rudolf Scharlau, Quadratische Formen , Springer Verlag, 2002
2002
-
[10]
Matthias Kreck, Yang Su, Finiteness and infiniteness results for Torelli groups of (hyper-)K\"ahler manifolds , arXiv:1907.05693
1907 arXiv
-
[11]
Markman, E. A survey of Torelli and monodromy results for holomorphic-symplectic varieties , Proceedings of the conference "Complex and Differential Geometry'', Springer Proceedings in Mathematics, 2011, Volume 8, 257--322, arXiv:math/0601304
2011 arXiv
-
[12]
Markman, E., On the existence of universal families of marked hyperkahler varieties , arXiv:1701.08690, 11 pages
-
[13]
Matsusaka, On polarized normal varieties I , Nagoya Math
T. Matsusaka, On polarized normal varieties I , Nagoya Math. J., 104:175-211, 1986
1986
-
[14]
Moore, Ergodicity of Flows on Homogeneous Spaces , American Journal of Mathematics Vol
Calvin C. Moore, Ergodicity of Flows on Homogeneous Spaces , American Journal of Mathematics Vol. 88, No. 1 (Jan., 1966), pp. 154-178
1966
-
[15]
Witte Morris, Introduction to Arithmetic Groups , Deductive Press, 2015, http://people.uleth.ca/dave.morris/books/IntroArithGroups.html
D. Witte Morris, Introduction to Arithmetic Groups , Deductive Press, 2015, http://people.uleth.ca/dave.morris/books/IntroArithGroups.html
2015
-
[16]
Sullivan, D., Infinitesimal computations in topology , Publications Math\-\'ema\-tiques de l'IH\'ES, 47 (1977), p. 269-331
1977
-
[17]
Verbitsky, M., A global Torelli theorem for hyperk\"ahler manifolds, Duke Math. J. Volume 162, Number 15 (2013), 2929-2986
2013
-
[18]
6 (4) pp
Verbitsky, M., Cohomology of compact hyperk\"ahler manifolds and its applications, alg-geom electronic preprint 9511009, 12 pages, LaTeX, also published in: GAFA vol. 6 (4) pp. 601-612 (1996)
1996
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.