arxiv: 2603.27454 · v2 · submitted 2026-03-29 · 🧮 math.AG

Recognition: no theorem link

Towards a characterization of toric hyperk\"{a}hler varieties among symplectic singularities II

Yoshinori Namikawa

Authors on Pith no claims yet

Pith reviewed 2026-05-14 22:25 UTC · model grok-4.3

classification 🧮 math.AG

keywords conical symplectic varietytoric hyperkähler varietyHamiltonian torus actionprojective symplectic resolutionsymplectic singularityunimodular matrixequivariant isomorphism

0 comments

The pith

A conical symplectic variety with a projective resolution and effective n-dimensional torus action is isomorphic to a toric hyperkähler variety Y(A,0) with unimodular A.

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

The paper proves that any conical symplectic variety of dimension 2n with weight-2 symplectic form, a projective symplectic resolution, and an effective Hamiltonian action by an n-dimensional algebraic torus compatible with the conical C*-action must be T^n-equivariantly isomorphic as a symplectic variety to a toric hyperkähler variety Y(A,0) where A is unimodular. This answers affirmatively a question from the preceding paper in the series by giving a complete characterization of such varieties among symplectic singularities. A sympathetic reader would care because the torus symmetry plus resolution condition rigidifies the entire structure, forcing it to arise from the standard combinatorial construction of toric hyperkähler varieties. The result is stated as an algebraic isomorphism that preserves the symplectic form and the torus action.

Core claim

Let (X, ω) be a conical symplectic variety of dimension 2n with wt(ω)=2 that has a projective symplectic resolution. Assume X admits an effective Hamiltonian action of an n-dimensional algebraic torus T^n compatible with the conical C*-action. Then there exists a T^n-equivariant algebraic isomorphism (X, ω) ≅ (Y(A,0), ω_{Y(A,0)}) where Y(A,0) is the toric hyperkähler variety associated to a unimodular matrix A.

What carries the argument

The effective Hamiltonian action of the n-dimensional algebraic torus T^n, which is compatible with the conical C*-action and allows reduction of the symplectic variety to the toric hyperkähler model Y(A,0) with A unimodular.

If this is right

Such varieties are completely classified by unimodular integer matrices A via the toric hyperkähler construction.
The isomorphism is algebraic, T^n-equivariant, and preserves the symplectic form of weight 2.
The conical C*-action and Hamiltonian torus action together determine the variety up to isomorphism.
Projective symplectic resolutions exist precisely for these classified toric hyperkähler varieties under the stated hypotheses.

Where Pith is reading between the lines

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

The result suggests that large torus symmetries may allow complete classification of other conical symplectic singularities beyond the projective-resolution case.
It connects the algebraic geometry of symplectic singularities to the combinatorial geometry of hyperkähler quotients through the unimodular matrix A.
One could test whether dropping the projective-resolution hypothesis still yields the same conclusion by examining non-projective examples.
The characterization may inform deformation theory or moduli spaces of symplectic varieties with torus actions.

Load-bearing premise

The variety has a projective symplectic resolution and admits an effective Hamiltonian action of an n-dimensional algebraic torus compatible with the conical C*-action.

What would settle it

A conical symplectic variety of dimension 2n with a projective symplectic resolution and effective Hamiltonian T^n action whose local invariants or cohomology ring differ from those of every Y(A,0) for unimodular A would serve as a counterexample.

read the original abstract

This is a continuation of arXiv: 2408.03012. We answer affirmatively Question 5.10 posed in the previous article. More precisely, let $(X, \omega)$ be a conical symplectic variety of dimension $2n$ with $wt(\omega) = 2$, which has a projective symplectic resolution. Assume that $X$ admits an effective Hamiltonian action of an $n$-dimensional algebraic torus $T^n$, compatible with the conical $\mathbf{C}^*$-action. Then we prove that there is a $T^n$-equivariant algebraic isomorphism $(X, \omega) \cong (Y(A,0), \omega_{Y(A,0)})$ for a toric hyperkahler variety $Y(A, 0)$ with $A$ unimodular.

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 follow-up settles Question 5.10 by proving that conical symplectic varieties with effective Hamiltonian T^n actions and projective resolutions are exactly the toric hyperkähler quotients Y(A,0) for unimodular A.

read the letter

This paper directly answers the open question left in the author's earlier work. Under the stated conditions—a conical symplectic variety of dimension 2n with weight-2 form, a projective symplectic resolution, and an effective Hamiltonian T^n-action compatible with the conical C*-action—it shows there is a T^n-equivariant algebraic isomorphism to the toric hyperkähler quotient Y(A,0) where A is unimodular. The argument extracts the matrix A from the weights of the torus action on the resolution, realizes X via the moment map as the corresponding quotient, and verifies that the symplectic form and equivariance are preserved. That construction looks clean and stays inside the given hypotheses without extra assumptions or circular steps. The main strength is the precise matching of algebraic structures and the fact that the result is stated as an if-and-only-if characterization once the resolution exists. A minor limitation is that the projective resolution is taken as an input rather than produced by the theorem, but the paper does not claim otherwise, so this is not a hidden gap. The dependence on the prior paper is explicit and limited to the setup. This is aimed at specialists in symplectic singularities and toric varieties who already know the first installment. It is a focused, self-contained advance that deserves referee time; the central claim is sharp enough to warrant a careful check by experts in the area.

Referee Report

0 major / 2 minor

Summary. The paper proves that any conical symplectic variety (X, ω) of dimension 2n with wt(ω) = 2 that admits a projective symplectic resolution and an effective Hamiltonian T^n-action compatible with the conical C*-action is T^n-equivariantly isomorphic as a symplectic variety to the toric hyperkähler quotient Y(A,0) for a unimodular matrix A constructed from the weights of the torus action.

Significance. If the proof holds, the result gives a clean characterization of toric hyperkähler varieties among conical symplectic singularities under explicit geometric hypotheses, affirmatively resolving Question 5.10 of the preceding paper. It supplies an explicit construction of the matrix A from the torus weights and verifies that the moment map realizes the isomorphism while preserving the symplectic form and equivariance.

minor comments (2)

§1, line 3: the notation 'Y(A,0)' is introduced without an immediate forward reference to the precise definition of the hyperkähler quotient in the previous paper; a one-sentence reminder would help readers.
The statement of the main theorem (presumably Theorem 1.1 or 0.1) repeats the hypotheses verbatim from the abstract; a compact numbered statement followed by a separate 'under these assumptions' clause would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. We are pleased that the report confirms the result provides a clean characterization of toric hyperkähler varieties under the stated hypotheses and affirmatively resolves Question 5.10 from the preceding paper.

Circularity Check

0 steps flagged

Minor self-citation to prior paper; central characterization derived independently

full rationale

The manuscript continues the author's earlier work (arXiv:2408.03012) by affirmatively answering Question 5.10 posed there. Under the explicit hypotheses (conical symplectic variety of dimension 2n with weight-2 form, projective symplectic resolution, effective Hamiltonian T^n-action compatible with the conical C*-action), the proof constructs the matrix A directly from the weights of the torus action on the resolution, realizes X as the hyperkähler quotient via the moment map, and verifies the T^n-equivariant algebraic isomorphism. All steps are internal algebraic constructions; no parameter fitting, self-definitional reduction, or load-bearing unverified self-citation chain occurs. The result remains self-contained against the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on standard axioms of algebraic geometry and symplectic geometry plus the explicit assumptions listed in the abstract; no free parameters or invented entities are introduced.

axioms (1)

standard math Standard axioms and definitions of algebraic geometry, symplectic varieties, Hamiltonian torus actions, and toric hyperkähler varieties
The proof operates within established frameworks of algebraic geometry as referenced in the prior paper.

pith-pipeline@v0.9.0 · 5434 in / 1141 out tokens · 35352 ms · 2026-05-14T22:25:57.780328+00:00 · methodology