Finiteness and infiniteness results for Torelli groups of (hyper-)K\"ahler manifolds

Matthias Kreck; Yang Su

arxiv: 1907.05693 · v1 · pith:QNUFG64Unew · submitted 2019-07-12 · 🧮 math.GT · math.AG· math.AT

Finiteness and infiniteness results for Torelli groups of (hyper-)K\"ahler manifolds

Matthias Kreck , Yang Su This is my paper

Pith reviewed 2026-05-24 22:19 UTC · model grok-4.3

classification 🧮 math.GT math.AGmath.AT

keywords Torelli groupKähler manifoldhyperkähler manifoldmapping class groupfinitenesscohomology action

0 comments

The pith

Certain simply connected Kähler manifolds have infinite Torelli groups.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs homomorphisms from the Torelli group of a closed smooth manifold to its third rational cohomology group under mild conditions on the manifold. For specific Kähler examples of complex dimension at least three, these maps are shown to be non-trivial, which means the Torelli group contains elements of infinite order. This directly falsifies a claimed finiteness result for such manifolds. A similar counterexample is given for hyperkähler manifolds, detected instead by non-trivial action on the fourth homotopy group. The authors separately verify that the Torelli group remains finite for the special hyperkähler case of the second Hilbert scheme of a K3 surface.

Core claim

Under mild conditions, there exist homomorphisms J from the Torelli group T(X) to H³(X; Q) that are non-zero for certain simply connected Kähler manifolds of complex dimension at least three; the same method yields a counterexample for hyperkähler manifolds detected on π₄(X), while the Torelli group of K^{[2]} is finite.

What carries the argument

The homomorphism J: T(X) → H³(X; Q) from the Torelli group to rational cohomology, which is non-trivial on chosen Kähler examples.

If this is right

The mapping class group of these manifolds contains an infinite subgroup that fixes all integral cohomology classes.
Finiteness of Torelli groups fails for some hyperkähler manifolds when detected via homotopy groups rather than cohomology.
The special case K^{[2]} remains an exception where the Torelli group is finite.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same homomorphism construction could be tested on other classes of manifolds with non-trivial H³ to see whether infiniteness is common.
If the action on π₄ detects infiniteness in more hyperkähler examples, then finiteness results would need additional topological restrictions.

Load-bearing premise

The mild conditions needed to build the homomorphism J hold for the chosen Kähler and hyperkähler examples.

What would settle it

An explicit computation showing that J is the zero map on the Torelli group of one of the paper's chosen Kähler manifolds.

read the original abstract

The Torelli group $\mathcal T(X)$ of a closed smooth manifold $X$ is the subgroup of the mapping class group $\pi_0(\mathrm{Diff}^+(X))$ consisting of elements which act trivially on the integral cohomology of $X$. In this note we give counterexamples to Theorem 3.4 of Verbitsky's paper "Mapping class group and a global Torelli theorem for hyperk\"ahler manifolds" (Duke Math.~J.~162 (2013), no.~15, 2929-2986) which states that the Torelli group of simply connected K\"ahler manifolds of complex dimension $\ge 3$ is finite. This is done by constructing under some mild conditions homomorphisms $J: \mathcal T(X) \to H^3(X;\mathbb Q)$ and showing that for certain K\"ahler manifolds this map is non-trivial. We also give a counterexample to Theorem 3.5 (iv) in this paper where Verbitsky claims that the Torelli group of hyperk\"ahler manifolds are finite. These examples are detected by the action of diffeomorphsims on $\pi_4(X)$. Finally we confirm the finiteness result for the special case of the hyperk\"ahler manifold $K^{[2]}$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This note gives explicit counterexamples to two finiteness claims in Verbitsky's Duke paper by building non-trivial maps from the Torelli group to H^3(Q), plus a positive verification for K^{[2]}.

read the letter

The core news is that this short note constructs homomorphisms J from the Torelli group T(X) to H^3(X;Q) under mild conditions and shows they are non-trivial for some Kähler manifolds, detected by the action on π4. This directly supplies counterexamples to Verbitsky's Theorem 3.4 on finiteness for simply connected Kähler manifolds of complex dimension at least 3, and to Theorem 3.5(iv) for hyperkähler manifolds. They also confirm that finiteness does hold in the special case of the hyperkähler manifold K^{[2]}.

The construction is the main positive step. It moves from abstract claims to concrete homomorphisms and explicit detection, which is a straightforward way to produce the counterexamples. The separate check that the result survives for K^{[2]} adds a useful calibration point rather than just listing failures.

The limitation is that the abstract leaves the mild conditions on X and the verification steps for non-triviality unspecified. Without those details it is hard to judge how widely the counterexamples apply or whether the maps really stay non-zero on the chosen examples. The logical outline is clear, but the evidence strength depends on the full checks that are not visible here.

This is for people working on mapping class groups of Kähler and hyperkähler manifolds who need to know where the earlier finiteness statements break. The paper engages the literature by targeting specific theorems and offering direct constructions instead of general arguments. It deserves referee time because it challenges a result from a top journal with an explicit method that can be checked.

Referee Report

0 major / 1 minor

Summary. The manuscript claims to disprove the finiteness of the Torelli group T(X) for simply connected Kähler manifolds of complex dimension ≥3 (counterexample to Verbitsky Theorem 3.4) by constructing homomorphisms J: T(X) → H^3(X; Q) under mild conditions and verifying non-triviality on specific examples via the induced action on π4(X). It likewise supplies a counterexample to Verbitsky Theorem 3.5(iv) for hyperkähler manifolds and separately confirms that T(K^{[2]}) is finite.

Significance. If the constructions and non-triviality verifications hold, the results would establish that Torelli groups of these manifolds can be infinite, overturning the cited finiteness statements and supplying concrete information on the structure of mapping class groups of Kähler and hyperkähler manifolds. The direct, example-driven approach together with the explicit finiteness confirmation for the special case K^{[2]} constitutes a useful contribution.

minor comments (1)

The abstract invokes 'mild conditions' for the construction of J without stating them explicitly; this reduces immediate readability even though the logical outline is clear.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their report and for recognizing the potential significance of the counterexamples to Verbitsky's finiteness claims. We are happy to provide any additional clarifications needed to resolve the uncertainty in the recommendation.

Circularity Check

0 steps flagged

No circularity; direct construction of counterexamples via explicit homomorphisms

full rationale

The paper's central claims rest on constructing homomorphisms J: T(X) → H^3(X; Q) under stated mild conditions on X, then verifying non-triviality for chosen Kähler examples (including via π4 action) and confirming finiteness for the special case K^{[2]}. These steps are presented as explicit constructions and verifications rather than reductions to fitted inputs, self-citations, or imported uniqueness results. No load-bearing step reduces by definition or self-reference to the target claim; the argument is self-contained against the cited Verbitsky theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard facts from algebraic topology (cohomology rings, homotopy groups, properties of mapping class groups) and the existence of Kähler and hyperkähler manifolds satisfying the mild conditions; no free parameters or invented entities are introduced in the abstract.

axioms (2)

standard math Standard properties of the mapping class group and its action on integral cohomology hold for closed smooth manifolds.
Invoked when defining the Torelli group as the kernel of the action on H^*(X;Z).
domain assumption Existence of simply connected Kähler manifolds of complex dimension ≥3 satisfying the mild conditions needed for the homomorphism J.
Required for the counterexamples to be non-vacuous.

pith-pipeline@v0.9.0 · 5773 in / 1471 out tokens · 24584 ms · 2026-05-24T22:19:18.823247+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

[1]

Beauville Vari´ et´ es k¨ ahl´ eriennes dont la premire classe de Chern est nulle J

A. Beauville Vari´ et´ es k¨ ahl´ eriennes dont la premire classe de Chern est nulle J. of Diﬀ. Geometry 18, 755-782 (1983)

work page 1983
[2]

Bogomolov, F. A. On the cohomology ring of a simple hyperk¨ ahler manifold (on the results of Verbitsky) GAF A 6(4) (1996), 612-618

work page 1996
[3]

Cerf, La straﬁﬁcation naturelle des espaces de fonctions diﬀ´ erentiables r´ elles et le th´ eor` eme de la pseudo-isotopie , Inst

J. Cerf, La straﬁﬁcation naturelle des espaces de fonctions diﬀ´ erentiables r´ elles et le th´ eor` eme de la pseudo-isotopie , Inst. Hautes Etudes Sci. Publ. Math. No. 39 (1970) 5-173

work page 1970
[4]

Torelli groups of simply connected K¨ ahler 3-folds, preprint, July 2019

Hain, R. Torelli groups of simply connected K¨ ahler 3-folds, preprint, July 2019

work page 2019
[5]

P. E. Jupp, Classiﬁcation of certain 6-manifolds, Proc. Camb. Phil. Soc. (1973), 73, 293-300

work page 1973
[6]

Kreck, Isotopy classes of diﬀeomorphisms of (k − 1)-connected almost parallelizable 2k- manifolds, Algebraic topology, Aarhus 1978 (Proc

M. Kreck, Isotopy classes of diﬀeomorphisms of (k − 1)-connected almost parallelizable 2k- manifolds, Algebraic topology, Aarhus 1978 (Proc. Sympos., Univ. Aar hus, Aarhus, 1978), pp. 643-663, Lecture Notes in Math., 763, Springer, Berlin, 1979

work page 1978
[7]

Kreck and Y

M. Kreck and Y. Su, Mapping class group of complex 3-dimensional complete intersections , in preparation

work page
[8]

Kreck, Surgery and duality , Annals of Mathematics, 149 (1999), 707?754

M. Kreck, Surgery and duality , Annals of Mathematics, 149 (1999), 707?754

work page 1999
[9]

Milnor and Stasheﬀ, Characteristic Classes , Princeton University Press (1974)

work page 1974
[10]

S. M. Salamon, On the cohomology of K¨ ahler and hyper-K¨ ahler manifolds, Topology Vol. 35, No. 1, 137-155

work page
[11]

Sullivan, Inﬁnitesimal computations in topology , Inst

D. Sullivan, Inﬁnitesimal computations in topology , Inst. Hautes ´Etudes Sci. Publ. Math. No. 47 (1977), 269-331 (1978). 10 MATTHIAS KRECK AND YANG SU

work page 1977
[12]

Verbitsky, Mapping class group and a global Torelli theorem for hyperk¨ ahler manifolds , Appendix A by Eyal Markman

M. Verbitsky, Mapping class group and a global Torelli theorem for hyperk¨ ahler manifolds , Appendix A by Eyal Markman. Duke Math. J. 162 (2013), no. 15, 2 929-2986

work page 2013
[13]

C. T. C. W all, Classiﬁcation problems in diﬀerential topology V , Invent. Math. 1 (1966), 355-374. Mathematisches Institut, Universit ¨at Bonn and Mathematisches Institut der Uni- versit¨at Frankfurt E-mail address : kreck@math.uni-bonn.de HLM, Academy of Mathematics and Systems Science, Chinese Aca demy of Sciences, Beijing 100190, China School of Mathe...

work page 1966

[1] [1]

Beauville Vari´ et´ es k¨ ahl´ eriennes dont la premire classe de Chern est nulle J

A. Beauville Vari´ et´ es k¨ ahl´ eriennes dont la premire classe de Chern est nulle J. of Diﬀ. Geometry 18, 755-782 (1983)

work page 1983

[2] [2]

Bogomolov, F. A. On the cohomology ring of a simple hyperk¨ ahler manifold (on the results of Verbitsky) GAF A 6(4) (1996), 612-618

work page 1996

[3] [3]

Cerf, La straﬁﬁcation naturelle des espaces de fonctions diﬀ´ erentiables r´ elles et le th´ eor` eme de la pseudo-isotopie , Inst

J. Cerf, La straﬁﬁcation naturelle des espaces de fonctions diﬀ´ erentiables r´ elles et le th´ eor` eme de la pseudo-isotopie , Inst. Hautes Etudes Sci. Publ. Math. No. 39 (1970) 5-173

work page 1970

[4] [4]

Torelli groups of simply connected K¨ ahler 3-folds, preprint, July 2019

Hain, R. Torelli groups of simply connected K¨ ahler 3-folds, preprint, July 2019

work page 2019

[5] [5]

P. E. Jupp, Classiﬁcation of certain 6-manifolds, Proc. Camb. Phil. Soc. (1973), 73, 293-300

work page 1973

[6] [6]

Kreck, Isotopy classes of diﬀeomorphisms of (k − 1)-connected almost parallelizable 2k- manifolds, Algebraic topology, Aarhus 1978 (Proc

M. Kreck, Isotopy classes of diﬀeomorphisms of (k − 1)-connected almost parallelizable 2k- manifolds, Algebraic topology, Aarhus 1978 (Proc. Sympos., Univ. Aar hus, Aarhus, 1978), pp. 643-663, Lecture Notes in Math., 763, Springer, Berlin, 1979

work page 1978

[7] [7]

Kreck and Y

M. Kreck and Y. Su, Mapping class group of complex 3-dimensional complete intersections , in preparation

work page

[8] [8]

Kreck, Surgery and duality , Annals of Mathematics, 149 (1999), 707?754

M. Kreck, Surgery and duality , Annals of Mathematics, 149 (1999), 707?754

work page 1999

[9] [9]

Milnor and Stasheﬀ, Characteristic Classes , Princeton University Press (1974)

work page 1974

[10] [10]

S. M. Salamon, On the cohomology of K¨ ahler and hyper-K¨ ahler manifolds, Topology Vol. 35, No. 1, 137-155

work page

[11] [11]

Sullivan, Inﬁnitesimal computations in topology , Inst

D. Sullivan, Inﬁnitesimal computations in topology , Inst. Hautes ´Etudes Sci. Publ. Math. No. 47 (1977), 269-331 (1978). 10 MATTHIAS KRECK AND YANG SU

work page 1977

[12] [12]

Verbitsky, Mapping class group and a global Torelli theorem for hyperk¨ ahler manifolds , Appendix A by Eyal Markman

M. Verbitsky, Mapping class group and a global Torelli theorem for hyperk¨ ahler manifolds , Appendix A by Eyal Markman. Duke Math. J. 162 (2013), no. 15, 2 929-2986

work page 2013

[13] [13]

C. T. C. W all, Classiﬁcation problems in diﬀerential topology V , Invent. Math. 1 (1966), 355-374. Mathematisches Institut, Universit ¨at Bonn and Mathematisches Institut der Uni- versit¨at Frankfurt E-mail address : kreck@math.uni-bonn.de HLM, Academy of Mathematics and Systems Science, Chinese Aca demy of Sciences, Beijing 100190, China School of Mathe...

work page 1966