REVIEW 3 major objections 5 minor 9 references
Four-dimensional conical symplectic hypersurfaces
T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Every indecomposable four-dimensional conical symplectic hypersurface is isomorphic to one of the known Slodowy slices $X_n$ ($n\ge 2$), completing the classification in dimension four.
desk verdict A serious classification theorem with a mostly clean proof, but the load-bearing exceptional-case exclusion depends on a computer calculation the paper does not make reproducible. 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 load-bearing object is the Poisson matrix $\Theta=(\Theta_{i,j})$ with $\Theta_{i,j}=\{x_i,x_j\}$, homogeneous of degree $d_i+d_j-s$ and constrained by the Pfaffian identity $\operatorname{grad}(f)=\operatorname{pf}(\Theta)$; in dimension four this identity is the five displayed equations (2.2). The second mechanism is the auxiliary grading $w(-)$ defined by bracketing with $x_{\alpha_1}$, a coordinate of degree $s$ whose existence follows once the singular locus is known to contain a normal type-$A$ surface. Lemma 4.6 shows coordinates can be chosen so that each $\Theta_{i,j}$ is $w$-homogeneous of degree $w_i+w_j$, which confines the Poisson matrix to a finite normal form equal to $\Theta_n$. The Pfaffian identity is what ties the defining polynomial $f$ to $\Theta$ throughout.
What would settle it
Reproduce the computation described in Section 4.1: write $\Theta_{1,2}=x_4$, $\Theta_{1,4}=x_5$, $\Theta_{2,3}=x_5+\cdots$, keep the 27 coefficients $a_1,\ldots,a_{27}$, impose homogeneity, compute the ideal generated by the coefficients of the Jacobi identities $J_{i,j,k}$, and take its radical. The claimed output is a unique irreducible component not contained in $\{a_4 a_{15}=0\}$, on which $a_{18}=0$; finding any solution with $a_4$, $a_{15}$, and $a_{18}$ all nonzero would disprove the exceptional-case exclusion, while a published radical computation would confirm it.
Extended reading notes
Core claim
The central claim is Theorem 1.1: if $X$ is an indecomposable conical symplectic hypersurface of dimension four, then $X$ is isomorphic to $X_n$ as a conical symplectic variety after suitably replacing the $\mathbb{C}^*$-action on $X$, where $X_n$ is the Slodowy slice transverse to the nilpotent orbit of Jordan type $[2n-2,1,1]$ in $\mathfrak{sp}_{2n}$ for $n\ge 2$. The replacement of the $\mathbb{C}^*$-action is genuinely needed: the same underlying singularity $X_n$ admits several conical structures with different degree assignments. The proof shows that the singular locus has a component $S$ whose normalization is a Kleinian singularity of type $A$ (an $A_k$ surface singularity), and that in fact $S$ is normal; then a coordinate $x_{\alpha_1}$ of degree $s$ exists, and bracketing with it defines a second grading $w(-)$ that makes every entry of the Poisson matrix doubly homogeneous. This reduces the matrix to a finite list, and the list collapses to the Poisson matrix $\Theta_n$ of the Slodowy slice. The one non-formal step is the exclusion of the exceptional case, which the paper carries out by a direct (computer) calculation of the Jacobi identities with 27 parameters.
Load-bearing premise
The proof's exclusion of the exceptional case depends on a direct computer calculation, not reproduced in the text, that the Jacobi identities for the 27-parameter Poisson matrix with degrees $(3,4,5,6,8)$ leave exactly one relevant solution component and that it forces the coefficient $a_{18}$ to vanish; if that computation is wrong or incomplete, Proposition 4.1 and the main theorem do not follow.
Editorial extensions
If this is right
- The four-dimensional classification is exhaustive: any indecomposable conical symplectic hypersurface is some $X_n$, $n\ge 2$, up to replacing the $\mathbb{C}^*$-action.
- Replacing the $\mathbb{C}^*$-action is sometimes necessary, so a single singularity type can carry several conical symplectic structures; the theorem accounts for all of them.
- Any future construction of a four-dimensional conical symplectic hypersurface must be isomorphic, after regrading, to a Slodowy slice, so the list cannot be extended.
- The normal-form result gives explicit coordinates: after the $w(-)$-grading reduction, the Poisson brackets match $\Theta_n$, so calculations on any such hypersurface can be transported to $X_n$.
Reading between the lines
- A testable extension is to apply the same $w(-)$-grading reduction to higher-dimensional conical symplectic complete intersections; the paper only needs it for hypersurfaces, but the mechanism is not obviously dimension-specific.
- Publishing the Section 4.1 Jacobi-ideal computation and its radical decomposition would convert the one black-box step into a checkable finite statement; until then an independent verification of that component is advisable.
- The appendix's contact-Fano-orbifold classification of surfaces suggests a general route: classify conical symplectic varieties in higher dimensions by classifying contact Fano orbifolds with prescribed ramification data, a direction the paper does not pursue beyond dimension two.
- The non-normal surface criterion of Lemma 3.3 may be useful elsewhere: it says a graded Poisson subalgebra of $\mathbb{C}[u,v]$ containing a nonzero element of degree $s$ is already integrally closed, a local statement that could apply to singular-locus components in any dimension.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that every indecomposable conical symplectic hypersurface of dimension four is isomorphic, as a conical symplectic variety (up to replacing the C*-action), to the Slodowy slice X_n transverse to the nilpotent orbit of type [2n-2,1,1] in sp_{2n}. The proof first shows that the singular locus contains a normal type-A surface (Proposition 4.1), via a long case analysis using the Pfaffian condition (2.2) and the classification of conical symplectic surfaces; one exceptional degree pattern (3,4,5,6,8) is excluded by a computer calculation. The second part (Section 4.2) uses the type-A surface to construct a weight grading, determines the Poisson matrix up to constants, and identifies it with Θ_n. An appendix by Namikawa classifies 2-dimensional conical symplectic varieties using contact Fano orbifolds.
Significance. If the proof is complete, the paper answers a question of Lehn--Namikawa--Sorger--van Straten and gives the first complete classification of 4-dimensional conical symplectic hypersurfaces. The geometric part of the argument is detailed and combines several tools: Kaledin's Poisson normalization, the Pfaffian formalism, the classification of conical symplectic surfaces, and weighted projective geometry. The appendix provides an independent orbifold-theoretic classification of 2-dimensional conical symplectic varieties. However, the main theorem currently rests on an opaque computer calculation; the claim is plausible and the surrounding mathematics is coherent, but the computational step must be made reproducible before the classification can be considered established.
major comments (3)
- [Section 4.1, exceptional case after Lemma 4.5] The exclusion of the exceptional degree pattern (d1,...,d5)=(3,4,5,6,8) is the only place where the text relies on a computer calculation, and the calculation is not documented in a verifiable way. The paper gives a 27-parameter ansatz and states that after imposing the Jacobi identities the solution space has a unique irreducible component V' not contained in {a4 a15 = 0}, with a18 = 0 on V'. No code, no list of the generators of the ideal whose radical is computed, no term order, and no certificate of the radical decomposition are supplied. Since Proposition 4.1 and Theorem 1.1 depend on this exclusion, the authors should provide a reproducible script (e.g., in Singular or Macaulay2) or an explicit presentation of the ideal and its radical decomposition, with a verification that the decomposition is over C and that the stated component is indeed the only one not contained in {a4 a15 = 0}.
- [Lemma 4.2, first paragraph] The assertion 'If R/I_S is generated by 3 homogeneous elements, then S is normal by Serre's normality criterion' is not justified. A 2-dimensional hypersurface in C3 is normal if and only if its singular locus has codimension at least 2, and the preceding arguments do not establish that S has isolated singularities. Since the subsequent argument applies Proposition 3.1, which classifies normal surfaces, this step needs a proof or a reference; alternatively, the argument should work with the normalization and then transfer the conclusion back to S.
- [Lemma 4.5, Cases 2 and 3] The claim that 'x3 x4^3 is a unique monomial g such that {x1,g} contains x4^4' is stated without proof. This uniqueness is used to conclude that {x1,f} contains x4^4, giving the contradiction; a reader cannot immediately verify the claim from the given degrees and the Poisson matrix ansatz. Please provide the short verification or a reference for this finite check.
minor comments (5)
- [Abstract] The word 'hypersurface' is misspelled as 'hyper surface' in the first sentence.
- [Section 4.1, exceptional-case calculation] The sentence 'As in the proof of Lemma 4.5, we may assume that the coefficients a4 and a15 of x3^2 must be nonzero' is confusing: Lemma 4.5 has just been proved, and the justification for a4 a15 ≠ 0 should be explicitly tied to the case assumptions or the preceding conditions (*)_5 and (*)_4.
- [Section 4.1, condition (*)_3] The condition (*)_3 is invoked but not written out explicitly, unlike (*)_5 and (*)_4. Please state it in the same format for the reader's convenience.
- [Section 4.2, after Lemma 4.6] The identity w(f) = ∑ w_i = a1 + a2 is stated with reference to (2.2), but a short derivation would help: each ∂f/∂x_i has weight w(f) − w_i, while each Pfaffian term has weight (∑ w_i) − w_i, forcing w(f) = ∑ w_i.
- [Appendix title] The title 'Klein singularities from contact point of view' uses 'Klein' where the main text and standard terminology use 'Kleinian'; please make the spelling consistent.
Circularity Check
No circularity: the classification is derived from established symplectic-singularity results plus explicit coefficient-level computation; no prediction reduces to an input.
full rationale
The derivation chain is not circular. Theorem 1.1 is proved by first establishing, in Proposition 4.1, that a normal type-A surface appears in the singular locus; the arguments use the Pfaffian form of [LNSvS, Lemma 2.7], Beauville's classification of 2-dimensional symplectic singularities, and the surface classification of Section 3 and the Appendix. None of these inputs assumes Theorem 1.1. The exceptional case (3,4,5,6,8) is excluded by a finite polynomial computation: the paper writes the general homogeneous Poisson matrix with 27 coefficients, imposes the Jacobi identities, and reports that the solution space has a unique component not contained in {a4 a15 = 0}, on which a18 = 0. This constrains the unknown coefficients from the equations rather than fitting a parameter to the target example, so it is not a fitted input called prediction. The main theorem's target X_n is independently defined in Section 2 and matched only at the end of Section 4.2. The Namikawa appendix is authored by Namikawa and cites his earlier papers for the contact-orbifold dictionary and the log Fano lemma; these are general structural results, not the classification statement being proven, and the orbifold classification itself is carried out by elementary degree and gcd arguments. The only genuine weakness is verification: the radical computation in Section 4.1 is load-bearing and no code or certificate is supplied, but opacity is a reproducibility concern, not circularity.
Assumptions & free parameters
assumptions (6)
- domain assumption Normalization of Poisson algebras is Poisson (Kaledin [K3], [K1, Thm 2.4]).
- domain assumption Beauville [B, Prop 1.4]: for a symplectic complete intersection, the singular locus has codimension at most 3.
- domain assumption Lehn-Namikawa-Sorger-van Straten [LNSvS, Lemmas 2.2, 2.5, 2.6, 2.7]: the Poisson structure on a conical symplectic hypersurface extends to the polynomial ring, the Pfaffian equation grad(f)=pf(Theta) holds after rescaling, the weight s is positive, and classification reduces to the indecomposable…
- domain assumption Namikawa [N1]: homogeneous symplectic complete intersections are nilpotent cones in semisimple Lie algebras.
- standard math Serre's normality criterion for graded rings.
- domain assumption Log Fano orbifold facts from [Na1], [Na2], [Na3] used in the appendix: the projectivization of a conical symplectic variety is a contact Fano orbifold with log pair (P(X), Delta) log Fano; orbifold line bundles are classified by ramification data.
Cite this review
Pith. "Pith review of Four-dimensional conical symplectic hypersurfaces." pith.science (2026). https://pith.science/paper/SBAMMS67
@misc{pith2026190800684,
author = {Pith},
title = {Pith review of: Four-dimensional conical symplectic hypersurfaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/SBAMMS67}},
note = {Machine review of arXiv:1908.00684}
}
abstract
We show that every indecomposable conical symplectic hypersurface of dimension four is isomorphic to the known one, namely, the Slodowy slice $X_n$ which is transversal to the nilpotent orbit of Jordan type $[2n-2, 1, 1]$ in the nilpotent cone of $\mathfrak{sp}_{2n}$ for some $n\ge 2$. In the appendix written by Yoshinori Namikawa, conical symplectic varieties of dimension two are classified by using contact Fano orbifolds.
Reference graph
Works this paper leans on
-
[1]
Beauville, Symplectic singularities
A. Beauville, Symplectic singularities. Invent. Math. 139 (2000), no. 3, 541--549
work page 2000
-
[2]
Kaledin, Symplectic singularities from the Poisson point of view, J
D. Kaledin, Symplectic singularities from the Poisson point of view, J. Reine Angew. Math. 600 (2006), 135--156
work page 2006
-
[3]
Kaledin, Geometry and topology of symplectic resolutions, in Algebraic geometry---Seattle 2005
D. Kaledin, Geometry and topology of symplectic resolutions, in Algebraic geometry---Seattle 2005. Part 2 , 595--628, Proc. Sympos. Pure Math., 80, Part 2, Amer. Math. Soc., Providence, RI
work page 2005
-
[4]
D. B. Kaledin, Normalization of a Poisson algebra is Poisson. Proc. Steklov Inst. Math. 264 (2009), no. 1, 70--73; translated from Tr. Mat. Inst. Steklova 264 (2009), Mnogomernaya Algebraicheskaya Geometriya, 77--80
work page 2009
-
[5]
M. Lehn, Y. Namikawa, C. Sorger: Slodowy slices and universal Poisson deformations. Compositio Math. 148 (2012), 121 - 144
work page 2012
-
[6]
M. Lehn, Y. Namikawa, C. Sorger, D. van Straten, On symplectic hypersurfaces, in Minimal models and extremal rays (Kyoto, 2011) , 277--298, Adv. Stud. Pure Math., 70, Math. Soc. Japan
work page 2011
-
[7]
Namikawa, On the structure of homogeneous symplectic varieties of complete intersection, Invent
Y. Namikawa, On the structure of homogeneous symplectic varieties of complete intersection, Invent. Math. 193 (2013), no. 1, 159--185
work page 2013
-
[8]
Namikawa, A finiteness theorem on symplectic singularities, Compos
Y. Namikawa, A finiteness theorem on symplectic singularities, Compos. Math. 152 (2016), no. 6, 1225--1236
work page 2016
Show all 9 references
-
[9]
M. H. Park, Integral closure of graded integral domains, Comm. Algebra 35 (2007), no. 12, 3965--3978
2007
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.