A Torelli-type theorem for hyperk\"{a}hler quotients

Ryota Kotani

REVIEW 4 major objections 4 minor 17 references

A Torelli-type theorem for hyperk\"{a}hler quotients

T0 review · 4 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Assuming a surjective Kirwan map, the period map is a bijection for algebraic asymptotic hyperkähler structures on hyperkähler quotients.

desk verdict A conditional Torelli theorem for hyperkähler quotients that is plausible but not yet proven: the surjectivity step rests on an unproved identification between the discriminant of the universal Poisson deformation and the wall defined by curve periods. read the letter →

arxiv 2608.08680 v1 pith:E74UP5E7 submitted 2026-08-09 math.AG math.DG

Ryota Kotani This is my paper · ORCID

classification math.AGmath.DG MSC 14J4253C2614L2414D2114E15

keywords Torelli-typetheoremperiodmaphyperkählerquotientKirwancrepantresolutionPoissondeformationNakajimaquivervarietytoric

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper is trying to prove a Torelli-type theorem: for hyperkähler quotients of quaternionic vector spaces $\mathbb{H}^n$ by compact subgroups of $\mathrm{Sp}(n)$, the moduli space of algebraic hyperkähler structures asymptotic to the central cone metric is classified completely by the triple of Kähler-class periods. Provided the stable locus is non-empty, a generic lattice point has a free complexified action, and the Kirwan map is surjective, the period map is a bijection onto the period domain. If correct, the result would generalize the classical Torelli theorem for ALE gravitational instantons and would apply uniformly to toric hyperkähler varieties and Nakajima quiver varieties. The paper's contribution is to make surjectivity algebro-geometric: it identifies the periods of the quotient metrics with the Kirwan map on rational parameters and then extends to the whole chamber by continuity.

What carries the argument

The principal twistor model is the fibration over $\mathbb{C}\otimes\mathcal{O}(2)$ built from the universal Poisson deformation of the crepant resolution, and its universality theorem provides the injectivity of the period map. The wall $D$ is the union of hyperplanes $H_\alpha=\{\langle \Sigma_\alpha,\Omega_c\rangle=0\}$ indexed by algebraic curves $\Sigma_\alpha$ generating $H_2(Y_0)$; the period domain $\Omega$ is the complement of $D_{\mathbb{R}}\otimes\mathbb{R}^3$ in $H^2(Y;\mathbb{R})\otimes\mathbb{R}^3$. The Kirwan map $\kappa_\beta:z^*_{\mathbb{C}}\to H^2(Y^\beta;\mathbb{C})$ records Chern classes of the line bundles associated to characters, and the load-bearing identity is $\hat p=\kappa_{\beta_0,\mathbb{R}}\otimes\mathbb{R}^3$ on the dense rational set $\Omega^{\mathbb{Q}}_{IJ}$, extended by continuity, together with the equality $D'_{\mathbb{R}}=\kappa^{-1}_{\beta_0,\mathbb{R}}(D_{\mathbb{R}})$ supplied by Proposition 2.11. This identity converts the algebraic classification of Poisson-deformation periods into the analytic construction of quotient metrics.

What would settle it

Look for a hyperkähler quotient satisfying the paper's standing assumptions for which the discriminant locus of the universal Poisson deformation is not equal to the wall $D$ formed by vanishing periods of the individual generating curves; if such an example exists, the identity $D'_{\mathbb{R}}=\kappa^{-1}_{\beta_0,\mathbb{R}}(D_{\mathbb{R}})$ used in Step (3) of Theorem 4.37 fails and the surjectivity proof does not go through.

Watch

Extended reading notes

Core claim

The paper claims Theorem 4.37: for a hyperkähler quotient of $\mathbb{H}^n$ by a compact subgroup $G\subset \mathrm{Sp}(n)$, if the stable locus of the complex moment map at zero is non-empty and there is a generic lattice point $\beta_0$ where $G_{\mathbb{C}}$ acts freely and the Kirwan map $\kappa_{\beta_0}$ is surjective, then $Y^{\beta_0}$ is a projective crepant resolution of the central quotient $X_0$ and the period map $p:\mathcal{M}\to\Omega$ is bijective. The proof splits into injectivity, obtained from the universality of the principal twistor model; image containment, obtained from metric non-degeneracy together with the wall definition; and surjectivity, which is the hard part. On rational moment-map parameters the period map equals $\kappa_{\beta_0,\mathbb{R}}\otimes\mathbb{R}^3$, this equality extends to the real chamber by continuity, and the discriminant locus of the universal Poisson deformation coincides with the inverse image of the wall under the Kirwan map, so every period triple in $\Omega$ is realized by some hyperkähler quotient metric pushed forward to $Y^{\beta_0}$ and shown algebraic by the twistor-space argument.

Load-bearing premise

The proof assumes that if the holomorphic symplectic form on a fiber pairs to zero against a linear combination of the generating curve classes, then it must already pair to zero against one of the individual generators; the surjectivity of the period map depends on this step, and the implication is not generally valid.

Editorial extensions

If this is right

Every period triple in the chamber $\Omega$ is realized by exactly one isomorphism class of algebraic asymptotic hyperkähler structures on the projective crepant resolution $Y^{\beta_0}$.
The theorem yields Torelli-type classifications for toric hyperkähler varieties attached to coloop-free unimodular matrices and for Nakajima quiver varieties whose dimension vectors form a strict Schur root.
It provides an algebro-geometric proof of the classical Torelli theorem for ALE gravitational instantons, covering the analytic classification by a different route.
Under the same assumptions, the twistor space $Z_s$ associated to a real section $s$ is a twistor space if and only if $s$ is not contained in the wall $D$, answering a question left open in the companion paper on principal twistor models.
Any hyperkähler quotient satisfying the wall equality and Kirwan surjectivity automatically has a bijective period map, so the mechanism is reusable beyond the specific examples worked out here.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The proof suggests a testable extension beyond the paper's hypotheses: if the Kirwan map is not surjective, the period image should be exactly the intersection of $\Omega$ with the real span of the Kirwan image, rather than all of $\Omega$.
The wall-coincidence assertion in Proposition 2.11 is the fragile step; computing the discriminant locus of the universal Poisson deformation for toric hyperkähler varieties with non-generic weight matrices would test whether the period domain needs to be redefined using the actual discriminant locus instead of the vanishing-period wall.
For conical symplectic varieties that are not hyperkähler quotients, the same continuity argument could show that $p(\mathcal{M})$ is a non-empty open and closed subset of $\Omega$, which would give surjectivity without any Kirwan map.
The twistor-space algebraicity proof indicates that the metric realization varies continuously with the moment-map parameter, so small perturbations of a period triple should produce nearby asymptotic hyperkähler metrics; this could be checked concretely in the toric case.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Two things to know. First, the paper is a synthesis: injectivity of the period map is imported from the author's PTM preprint [10], and the new content is the surjectivity reduction for hyperkähler quotients via the Kirwan map and the chamber structure. Second, the main theorem is not proven as written. The load-bearing step, Proposition 2.11, identifies the discriminant D' of the universal Poisson deformation with the wall D defined by vanishing periods of generating curve classes. The proof does not work: from vanishing of the period of a linear combination of curve classes you cannot conclude any single generator has vanishing period, and the converse direction confuses a class being of type (1,1) with the cycle being holomorphic in the deformed complex structure. If D' ≠ D, then Eq. (4.16) fails and the surjectivity argument in Theorem 4.37 has no bridge from periods on the quotient side to the period domain on the resolution.

The paper does real work elsewhere. The framework is clearly laid out: conical symplectic varieties, Poisson deformations, the period domain, and the role of each assumption is stated (Remark 4.6). The examples section is concrete and useful. For coloop-free unimodular toric data and strict Schur root quiver data, the stable-locus and free-action conditions are proved, and the Kirwan surjectivity is cited to Konno and McGerty–Nevins. So the conditional statement is well motivated and, if the gaps are repaired, would genuinely generalize Kronheimer's ALE Torelli theorem to toric and quiver varieties.

The second soft spot is Lemma 4.38, where algebraicity of the push-forward metric is extended from rational parameters to all real parameters by continuity. That is not a valid argument: the twistor space is not known to vary continuously in the required sense, and algebraicity is not a closed condition. The rational-point case is also sketched rather than proved. This matters because the theorem asserts the constructed metrics are algebraic.

One more dependency worth flagging: injectivity comes from the unpublished preprint [10]. That is not a flaw by itself, but it means the paper is not self-contained in a central way, and a referee needs [10] in hand.

Who gets value from this? Specialists in asymptotic hyperkähler metrics and symplectic resolutions will find the framework and the example computations worth reading. The paper deserves a serious referee: the conditional statement is significant and the flaws are identifiable, not hopeless. I would send it to review with instructions to focus on Prop 2.11 and Lemma 4.38, and to ask the author to either prove the wall-discriminant identification or make it an explicit assumption. My own verdict is that the theorem is unproven as it stands, but the work is worth engaging.

Referee Report

4 major / 4 minor

Summary. The paper proposes a Torelli-type theorem for the moduli space of algebraic asymptotic hyperkähler structures on hyperkähler quotients of a quaternionic vector space by a compact group G⊂Sp(n). The main result, Theorem 4.37, states that under assumptions on the stable locus, free action of GC, and surjectivity of the Kirwan map, the hyperkähler quotient Y^{β0} is a projective crepant resolution of the central quotient X0 and the period map p:M→Ω is bijective. The proof combines a principal twistor model from the author's previous work to obtain injectivity, a period-domain computation using a wall D defined by vanishing periods, and a surjectivity argument that compares the discriminant locus of a Poisson deformation with the pullback of D via the Kirwan map. The paper also claims applications to toric hyperkähler varieties, Nakajima quiver varieties, and ALE gravitational instantons.

Significance. If the main theorem and its proof were correct, the paper would provide a significant generalization of Kronheimer's Torelli theorem to higher-dimensional hyperkähler quotients, with concrete classes of examples. The reduction of the period-map surjectivity to Kirwan surjectivity is a natural and potentially useful strategy, and the explicit treatment of toric and quiver examples is valuable. However, the central proof contains several load-bearing gaps: the identification of the discriminant locus with the wall D (Proposition 2.11) is logically flawed, equation (4.16) is asserted rather than proved, and the proof of algebraicity of the constructed metrics by continuity (Lemma 4.38) is not valid. In addition, the injectivity part depends entirely on the author's unpublished preprint [10]. These issues mean that the paper's main claim is not established at the present level of rigor, although the overall framework is promising.

major comments (4)

[§2.1, Proposition 2.11] The proof of Proposition 2.11 contains an invalid linear-algebra inference. Given c∈D′, the proof produces a curve Σ in an exceptional fiber with ⟨Σ,Ω_c⟩=0. Lemma 2.9 only gives [Σ]=∑ c_α[Σ_α] in the span of the chosen generators of H_2(Y_0). From ∑ c_α⟨Σ_α,Ω_c⟩=0 one cannot conclude that ⟨Σ_α,Ω_c⟩=0 for any single generator Σ_α, so the conclusion [Ω_c]∈H_α⊂D does not follow. The converse direction has a complementary gap: from ⟨Σ_α,Ω_c⟩=0 one only learns that the class [Σ_α] is of type (1,1) with respect to I_c, not that the cycle Σ_α is holomorphic in Y_c; hence the conclusion that Y_c is non-affine is unsupported. Because Proposition 2.11 is the foundation for the identity D′=D used throughout the paper, this gap affects the definition of the period domain and the proof of surjectivity in Theorem 4.37.
[§4.4, Theorem 4.37, step (3), Eq. (4.16)] The identity D′_R = κ_{β0,R}^{-1}(D_R) is asserted in Step (3) with the justification that it follows from Proposition 2.11. This is a load-bearing step: it is precisely what allows the author to lift a period ξ∈Ω with ξ_I,ξ_J∉D_R to a parameter ζ∈Ω_IJ. Since Proposition 2.11 is not established (see previous comment), equation (4.16) is not proven. Moreover, even if Proposition 2.11 were true for the universal Poisson deformation, one would need a separate argument showing that the discriminant locus of the family Y^{β} constructed in Proposition 4.25 is compatible with the pullback of the wall under the Kirwan map; this compatibility is not proved. As a result, the surjectivity of the period map p:M→Ω is not demonstrated.
[§4.4.2, Lemma 4.38] The proof of algebraicity of the push-forward metric (Φ_ζ)_*g_ζ is not valid. Step (3) argues that because rational points are dense in Ω_IJ and the family of diffeomorphisms {Φ_ζ} varies smoothly, the twistor space for the push-forward metric must coincide with the algebraic twistor space Z^{β0}_ζ for all ζ∈Ω_IJ by continuity. Algebraicity of a twistor space is not a closed or continuous condition in any evident sense; a limit of algebraic objects over a parameter space need not be algebraic without additional structural control. The author needs a direct construction of the algebraic twistor space for all ζ, or a formal deformation-theoretic argument, rather than an appeal to density and continuity. Since algebraicity is part of the definition of the moduli space M, this gap directly affects the claim that the constructed metrics lie in M.
[§3.1, Proposition 3.2] The injectivity of the period map is imported from the author's unpublished preprint [10, Theorem 3.40, Cor. 4.12]. This dependence is load-bearing: the entire uniqueness half of the Torelli theorem rests on results that are not available to the reader in the present manuscript. For a journal submission, relying on an unpublished arXiv preprint for a central theorem is a significant concern. The author should either include the necessary statements and proofs, or state clearly which parts of [10] are being assumed and indicate their status. This is not merely a matter of exposition; it affects the verifiability of the main claim.

minor comments (4)

[§2.1, Definition 2.10] The notation H2(Y;C)=⟨[Σ_α]|Σ_α⊂Y_0⟩ should be H_2(Y;C), and the phrase 'algebraic curve' could be made precise (e.g., compact one-dimensional subvariety). This is a minor notational issue but affects readability.
[§4.2.1, Proposition 4.25] In the displayed formula for φ_β, the expression Y^β := µ_C^{-1}(z^*_C)//_{β}G_C is ambiguous; it should be the family over z^*_C whose fiber over α is µ_C^{-1}(α)//_β G_C. Clarifying this would avoid confusion.
[§4.3.2, Remark 4.36(2)] The notation F_β for the smooth trivialization and Φ_{β,β0} for the diffeomorphism is introduced but not used consistently in the proof of Theorem 4.37. In particular, in (4.13) the composition is written as Φ_{β,β0}×id after F_β, but the domains and codomains are not spelled out. Please make the diagram precise.
[§5.1, Lemma 5.4] The proof that the stabilizer is trivial assumes that the set of column vectors corresponding to nonzero components spans R^d and then chooses d vectors forming a Z-basis. This uses unimodularity, but the link between 'span over R' and 'span over Z' should be stated more explicitly, since not every set spanning R^d contains a Z-basis of Z^d. The argument appears fixable, but as written it is too quick.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Torelli theorem is an explicit conditional transfer of Kirwan surjectivity to period-map surjectivity, and injectivity is cited from a general prior framework rather than defined by the conclusion.

full rationale

The main theorem (Thm 4.37) states its key hypothesis explicitly: existence of a generic lattice point β0 with free GC action and surjective Kirwan map κβ0. The surjectivity proof uses equations (4.14)–(4.16) to identify the map p̂ on the chamber Ω_IJ with κβ0,R⊗R3 and to pull back the wall via κβ0. This is a conditional reduction, not a circular one: κβ0 is a map on the parameter space z*, while the period map p is a map on the moduli space of asymptotic hyperkähler structures; identity (4.15) is a derived statement about periods of hyperkähler quotients, not the definition of p. The theorem openly labels Kirwan surjectivity as Assumption 4.5(3), and in the examples it is verified by independent external results (Konno, McGerty–Nevins, Kronheimer) rather than fitted from period data. Injectivity is quoted from the author's previous work [10], but as a general PTM-universality result: Proposition 3.2 identifies the period map with the injective map Ψ from [10, Cor. 4.12] rather than defining injectivity by the desired Torelli conclusion. The possible gap in Proposition 2.11—inferring vanishing on a single generator from vanishing of a linear combination of curve classes—concerns the correctness of the wall identification D'=D and hence the validity of (4.16), but it is not a definitional circularity: D' and D are introduced independently, and (4.16) is derived from Proposition 2.11 rather than assumed. No step of the claimed derivation reduces to its own input by construction.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No numerical free parameters. The main hypotheses are the stable-locus condition, free GC action, and Kirwan surjectivity, all stated as assumptions. The paper leans on six external or prior results; the most fragile is the author's own PTM universality theorem [10], which carries the injectivity half.

assumptions (6)

standard math Existence and universality of Poisson deformations of conical symplectic varieties and their crepant resolutions (Namikawa)
Invoked as Theorem 2.3, used throughout for the wall and period map; standard result cited to [17].
standard math Pure R-Hodge structure on cohomology of fibers of crepant resolutions (Kaledin)
Used in Lemma 2.9 to show H_2(Y) is generated by algebraic curves; cited to [6, Thm 1.9].
standard math Kempf-Ness type isomorphism between hyperkähler quotients and GIT quotients (King)
Theorem 4.15, the bridge between the analytic hyperkähler quotient and algebraic GIT quotient; cited to [7, Cor 6.2].
domain assumption The period map of the Poisson deformation Y^β → z*_C coincides with the Kirwan map (Nagaoka)
Proposition 4.25 builds the Poisson deformation of the hyperkähler quotient and identifies its period map with the Kirwan map; the proof cites [15] and the Duistermaat-Heckman theorem.
domain assumption Surjectivity of the Kirwan map for the chosen lattice point β0
Explicit hypothesis (Assumption 4.5(3), Theorem 4.37(2)). Without it the surjectivity of the period map is not proven. Verified in examples via [9], [14], [11].
domain assumption Universality of the principal twistor model for algebraic asymptotic hyperkähler metrics
Theorem 2.22, imported from the author's earlier preprint [10, Thm 3.40]. This is the basis of injectivity (Prop 3.2) and of the definition of algebraic hyperkähler metrics. Not independently verified or machine-checked.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A Torelli-type theorem for hyperk\"{a}hler quotients." pith.science (2026). https://pith.science/paper/E74UP5E7

@misc{pith2026260808680,
  author       = {Pith},
  title        = {Pith review of: A Torelli-type theorem for hyperk\"ahler quotients},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/E74UP5E7}},
  note         = {Machine review of arXiv:2608.08680}
}

abstract

In this paper, we investigate the moduli space of algebraic asymptotic hyperk\"ahler structures on hyperk\"ahler quotients arising from a quaternionic vector space $\mathbb{H}^n$. We consider the period map on this moduli space, and prove a Torelli-type theorem (i.e., the bijectivity of the period map) assuming the surjectivity of the Kirwan map. This work provides an algebro-geometric generalization of the Torelli-type theorem for ALE gravitational instantons by Kronheimer (1989). In particular, this theorem applies to toric hyperk\"ahler varieties and Nakajima quiver varieties.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 13 canonical work pages

[10]

R. Kotani. Principal twistor models and asymptotic hyperkähler metrics.arXiv preprint arXiv:2603.03923, 2026

work page Pith review arXiv 2026
[1]

Bielawski and A

R. Bielawski and A. S. Dancer. The geometry and topology of toric hyperkähler manifolds.Commun. Anal. Geom, 8(4):727–759, 2000

2000
[2]

Birkar, P

C. Birkar, P. Cascini, C. D. Hacon, and J. McKernan. Existence of minimal models for varieties of log general type.J. Amer. Math. Soc, 23(2):405–468, 2010

work page 2010
[3]

Math., 126(3):257– 293, 2001

W.Crawley-Boevey.Geometryofthemomentmapforrepresentationsofquivers.Compos. Math., 126(3):257– 293, 2001

work page 2001
[4]

Görtz and T

U. Görtz and T. Wedhorn.Algebraic Geometry: Part I: Schemes. With Examples and Exercises. Advanced Lectures in Mathematics. Vieweg+Teubner Verlag, 2010

work page 2010
[5]

N. J. Hitchin, A. Karlhede, U. Lindström, and M. Roček. Hyperkähler metrics and supersymmetry.Comm. Math. Phys., 108:535–589, 1987

1987
[6]

D. Kaledin. Geometry and topology of symplectic resolutions.Proc. Sympos. Pure Math., 80, 09 2006

work page 2006
[7]

A. D. King. Moduli of representations of finite dimensional algebras.Q. J. Math., 45(4):515–530, 1994

work page 1994

Show all 17 references

[8]

Kirillov, Alexander.Quiver Representations and Quiver Varieties, volume 174 ofGraduate Studies in Mathematics

J. Kirillov, Alexander.Quiver Representations and Quiver Varieties, volume 174 ofGraduate Studies in Mathematics. American Mathematical Society, 2016

2016
[9]

H. Konno. Cohomology rings of toric hyperkähler manifolds.Int. J. Math., 11(08):1001–1026, 2000

2000
[11]

P. B. Kronheimer. The construction of ALE spaces as hyper-Kähler quotients.J. Differential Geom., 29(3):665–685, 1989

1989
[12]

P. B. Kronheimer. A Torelli-type theorem for gravitational instantons.J. Differential Geom., 29(3):685–697, 1989

1989
[13]

I. Losev. Isomorphisms of quantizations via quantization of resolutions.Adv. Math., 231(3–4):1216–1270, 2012

2012
[14]

McGerty and T

K. McGerty and T. Nevins. Kirwan surjectivity for quiver varieties.Invent. math., 212:161–187, 04 2018

2018
[15]

T. Nagaoka. The universal Poisson deformation of hypertoric varieties and some classification results.Pacific J. Math., 313(2):459–508, 2021

2021
[16]

J., 76(2):365– 416, 1994

H.Nakajima.InstantonsonALEspaces, quivervarieties, andKac-Moodyalgebras.Duke Math. J., 76(2):365– 416, 1994

1994
[17]

Namikawa

Y. Namikawa. Poisson deformations of affine varieties.Duke Math. J., 156:51–85, 2011. Department of Mathematics, Institute of Science Tokyo Email address:kotani.r.597b@m.isct.ac.jp, kotani.r.337@gmail.com

2011

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [10]

R. Kotani. Principal twistor models and asymptotic hyperkähler metrics.arXiv preprint arXiv:2603.03923, 2026

work page Pith review arXiv 2026

[2] [1]

Bielawski and A

R. Bielawski and A. S. Dancer. The geometry and topology of toric hyperkähler manifolds.Commun. Anal. Geom, 8(4):727–759, 2000

2000

[3] [2]

Birkar, P

C. Birkar, P. Cascini, C. D. Hacon, and J. McKernan. Existence of minimal models for varieties of log general type.J. Amer. Math. Soc, 23(2):405–468, 2010

work page 2010

[4] [3]

Math., 126(3):257– 293, 2001

W.Crawley-Boevey.Geometryofthemomentmapforrepresentationsofquivers.Compos. Math., 126(3):257– 293, 2001

work page 2001

[5] [4]

Görtz and T

U. Görtz and T. Wedhorn.Algebraic Geometry: Part I: Schemes. With Examples and Exercises. Advanced Lectures in Mathematics. Vieweg+Teubner Verlag, 2010

work page 2010

[6] [5]

N. J. Hitchin, A. Karlhede, U. Lindström, and M. Roček. Hyperkähler metrics and supersymmetry.Comm. Math. Phys., 108:535–589, 1987

1987

[7] [6]

D. Kaledin. Geometry and topology of symplectic resolutions.Proc. Sympos. Pure Math., 80, 09 2006

work page 2006

[8] [7]

A. D. King. Moduli of representations of finite dimensional algebras.Q. J. Math., 45(4):515–530, 1994

work page 1994