{"id":"ec449253-ac7e-4e6c-a42e-255b6049f984","arxiv_id":"1908.09039","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The nilpotent Lie superalgebras of dimension at most five are classified, their degenerations and irreducible components are found, and rigid nilpotent Lie superalgebras are constructed in every dimension.","lead":"This paper classifies all nilpotent Lie superalgebras up to dimension five, and determines the irreducible components of their parameter varieties. It also constructs rigid nilpotent Lie superalgebras in every dimension, a stability property that fails for ordinary Lie algebras.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Completeness of the Proposition 5.10 orbit classification for (2|3) is the load-bearing gap: Lemmas 5.11/5.12 defer key case checks to 'straightforward computation' and omit the λ=μ, c=0 subcase.","rationale":"The reader's weakest assumption identifies Section 5.3, and I agree that the completeness of Proposition 5.10 is the most load-bearing unverified step. The (2|3) classification is the hardest case and the source of the corrections to [19] and [27]; the list of 25 algebras and the five irreducible components in Theorem 5.16 both rest on the orbit decomposition of pairs of symmetric matrices. The proof of Proposition 5.10 is a sketch: it reduces to Lemmas 5.11 and 5.12, but those lemmas contain unshown computations and at least one omitted subcase (λ=μ, c=0) in the proof of Lemma 5.11. A missed orbit would not be a cosmetic error: it would add an isomorphism class, change the Hasse diagram, and alter the irreducible components, invalidating the paper's main theorem. The proposed test is a direct computational re-verification of the orbit decomposition, which is feasible because the problem is finite-dimensional and the normal forms are explicit. I do not see an actual error in the statements; the concern is that the completeness argument is not fully demonstrated. Therefore the verdict should remain CONDITIONAL, asking the authors to supply the omitted verification or a machine-checkable certificate. The reader's conditional acceptance with medium confidence is appropriate; no change in verdict is needed.","tokens_in":26353,"tokens_out":24063,"duration_ms":232023,"concrete_test":"Independently verify Proposition 5.10 with a computer algebra system: implement the action (5.1), start from the Lemma 5.9 normal form for a non-diagonalizable Γ3, apply the transformations Tλ, S0, T', S' as in Lemma 5.11, and solve the resulting equations to confirm that every (λ,μ,c) with Γ3 non-diagonalizable is equivalent to one of the three listed representatives; then do the same for Lemma 5.12's (I1+I2,Γ3) case to confirm the two representatives (2|3)7 and (2|3)8. If any parameter combination fails to reduce to one of the five listed orbits, a missing isomorphism class exists and Theorems 5.13 and 5.16 are incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that N(2|3) has exactly the 25 isomorphism classes listed in Theorem 5.13, and that its irreducible components are the five orbit closures in Theorem 5.16, hinges on Proposition 5.10. That proposition asserts that every non-simultaneously diagonalizable pair of 3x3 symmetric matrices under the action (5.1) belongs to exactly one of the five orbits (2|3)7 through (2|3)11. The proof reduces to Lemmas 5.11 and 5.12, but these lemmas contain several essential steps justified only as 'straightforward computation': the determinant conditions in Lemma 5.12, the final normalization in Lemma 5.11, and the claim that Span{I1+I2,Γ3}∩GL3(C)=∅ forces the stated normal forms. Moreover, Lemma 5.11's proof splits on 'λ−μ≠0' and 'c≠0' and never explicitly treats the case λ−μ=0 and c=0, which is allowed by Lemma 5.9 for a non-diagonalizable Γ3. The conclusion still holds in that case because the pair already matches the first listed orbit, but the proof as written is incomplete. If any orbit is missed here, Theorem 5.13 would gain an isomorphism class and Theorem 5.16's component decomposition would change. This is the most load-bearing point because the entire (2|3) classification and Hasse diagram depend on this orbit list.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the varieties N(m|n) of nilpotent complex Lie superalgebras with total dimension at most 5. It provides algebraic classifications for each dimension pair, lists primary degenerations and non-degenerations using algebraic invariants, determines the irreducible components of each variety, identifies rigid objects via H^2 computations, and constructs rigid nilpotent Lie superalgebras in dimension (1|n) for every n. The authors state that their lists correct incompleteness in the earlier classifications of [19] and [27], and they give explicit orbit representatives for the difficult (2|3) case.","tokens_in":26706,"tokens_out":9528,"duration_ms":90045,"significance":"If the classifications and component lists are correct, this is a valuable reference for the geometric classification of low-dimensional nilpotent Lie superalgebras. The paper supplies explicit parametrized degenerations, systematic invariant-based non-degeneration arguments, and a construction of rigid nilpotent Lie superalgebras in arbitrary dimension, the latter being a notable phenomenon absent from the purely Lie-algebraic setting. However, the central (2|3) classification rests on an orbit classification whose proof is incomplete as written, and several classification theorems are asserted without derivation, so the current manuscript does not yet certify its main claims.","major_comments":[{"comment":"The proof of Proposition 5.10 is incomplete in a load-bearing way. Lemma 5.11 splits into the cases λ−μ≠0 and c≠0, but the case λ−μ=0 and c=0, which is allowed by Lemma 5.9 for a non-diagonalizable Γ₃, is not treated explicitly. Lemma 5.12 defers essential steps to 'straightforward computation', including the determinant conditions governing the intersection with GL₃(C) and the final normalization to the listed orbits. Since Theorem 5.13 and Theorem 5.16 depend directly on exactly this orbit list, the omitted subcase and the deferred computations must be supplied or verified by a reproducible computation.","section":"§5.3, Proposition 5.10 and Lemmas 5.11–5.12"},{"comment":"The algebraic classifications for (3|2) and (2|3) are asserted without derivation. The three-step strategy described in Section 3 is not carried out in the text for these dimensions: there is no argument showing that the listed algebras exhaust all triples ([·,·], ρ, Γ) satisfying (J1)–(J2). In particular, algebras (2|3)12 through (2|3)24 involve nonzero ρ and are not covered by the orbit classification of Section 5.3, which treats only the case [·,·]=0 and ρ=0. Completeness of these lists is a precondition for the irreducible-component theorems.","section":"§5.2 and §5.3, Theorems 5.4 and 5.13"},{"comment":"Several degenerations in Table 10 use basis coefficients that are not elements of C(t), although Lemma 2.1 requires g_t ∈ GL_m(C(t)) ⊕ GL_n(C(t)). Examples include (2|3)23 → (2|3)13, which uses t^{1/4} and t^{5/4}, and (2|3)6 → (2|3)10, which uses √t; similar fractional powers appear in (2|3)23 → (2|3)16 and (2|3)5 → (2|3)9. These degenerations become valid after reparametrizing t = s^k, but the paper does not state this, so as written the table is not fully justified by Lemma 2.1.","section":"Table 10 and Lemma 2.1"}],"minor_comments":[{"comment":"In the proof of Lemma 6.1, the displayed formula for d²(φ) contains the term Σᵢ fᵢ*∧fᵢ*∧fⱼ*⊗fₗ, which vanishes in the exterior algebra of the odd dual because fᵢ*∧fᵢ* = 0. The argument that no other cocycles contribute should be reworked.","section":"§6, Lemma 6.1"},{"comment":"The irreducible component of N(0|4) is listed as O((0|4)₂), but Theorem 4.7 defines only (0|4)₀ in dimension (0|4); presumably O((0|4)₀) is intended.","section":"Theorem 4.9(5)"},{"comment":"There are several typographical errors, including 'barckets' in the text before Table 2, 'byproduct' vs. 'by product' in the abstract, and 'asertion' in Lemma 5.12; these do not affect the mathematics but should be corrected.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The main risk is the completeness of the (2|3) orbit classification in Proposition 5.10 and the unproved completeness of the classifications in Theorems 5.4 and 5.13. If the missing subcase or a deferred computation reveals an additional orbit, both the algebraic classification and the irreducible-component decomposition would change. The authors' comparison with [19] and [27] appears appropriate, and the paper fits the journal's scope. I would support publication after the missing derivations are supplied or replaced by a certified computational verification."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper completes the algebraic and geometric classification of nilpotent Lie superalgebras up to dimension 5, corrects two earlier classifications, and proves there are rigid nilpotent Lie superalgebras of dimension (1|n) for all n. That last piece is genuinely new and clean: the H^2 computation in Lemma 6.1 is short and convincing, and it settles the super analog of the Vergne conjecture in the negative. The (2|3) case is the core of the paper, and the orbit analysis via the GL2 × GL3 action on pairs of symmetric matrices is systematic; the corrections to [19] and [27] are explicit and believable.\n\nWhere the paper is soft is in verification, not in conception. The classification lists in Theorems 5.4 and 5.13 are mostly asserted; the reader gets the orbit classification for the [·,·]=0, ρ=0 part of (2|3), but the algebras with nontrivial g0-action appear without derivation. Proposition 5.10 is load-bearing, and its proof rests on several \"straightforward computation\" steps in Lemmas 5.11 and 5.12. The stress-test note is right that Lemma 5.11 omits the case λ=μ and c=0; the conclusion still holds because the pair is already in the first orbit, but the proof as written doesn't cover it. Several degenerations in Tables 4 and 10 use t^(1/4) or t^(1/2), which do not lie in C(t) as Lemma 2.1 requires; you can reparametrize with u = t^(1/4) and repair this, but the paper should say so. The rigidity claims for (2|3)18, (2|3)19, (2|3)23, and (2|3)24 are justified by \"it is not difficult to see\" that every deformation exits the nilpotent variety; for a proof of rigidity in N, that deserves at least a sketch or a supplementary computation.\n\nNone of these look fatal. The central claims — the corrected lists, the component theorems, and the infinite rigid family — are credible and checkable. The paper deserves a serious referee, but it needs revision before it is publishable: the omitted subcase in Lemma 5.11 should be stated, the parametrized degenerations should use a parameter in C(t) or an explicit reparametrization, and the classification enumerations for (3|2) and (2|3) should be supported either by more detail in the text or by an accessible companion file. If a referee confirms the orbit lists, this will be a useful reference for anyone working on degenerations or superalgebra classifications.","headline":"A credible and useful classification paper that fixes prior errors and adds a clean infinite family of rigid nilpotent Lie superalgebras, but with several proof gaps that a careful referee should push on.","tokens_in":27207,"tokens_out":6071,"would_cite":true,"duration_ms":60729,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B30","17B56","17B99"],"pacs":[],"model":"deepseek-v4-flash","headline":"All nilpotent Lie superalgebras of total dimension at most five are classified, with the irreducible components of each variety identified as orbit closures of rigid algebras.","keywords":["nilpotent Lie superalgebras","geometric classification","algebraic classification","degenerations","irreducible components","rigid Lie superalgebras","varieties of Lie superalgebras","symmetric matrix pairs"],"falsifier":"Take a random pair of 3×3 complex symmetric matrices that is not simultaneously diagonalizable and whose span avoids invertible matrices, such as (diag(1,0,0), N) with N a non-diagonalizable symmetric matrix with zero third row and column, and solve the action equations against each of the five orbit representatives (2|3)7 through (2|3)11. If any such pair is equivalent to none of them, then an isomorphism class is missing from Theorem 5.13 and the component list in Theorem 5.16 changes.","tokens_in":26180,"feed_emoji":"🧮","tokens_out":8183,"duration_ms":72412,"temperature":0.7,"pith_summary":"This paper completes the algebraic and geometric classification of nilpotent Lie superalgebras whose total dimension is at most five. It lists every isomorphism class in each dimension (m|n), determines which classes degenerate to which, and identifies the irreducible components of each variety N(m|n) as closures of the orbits of the rigid algebras. The hardest case, dimension (2|3), reduces to classifying pairs of 3×3 symmetric matrices under a simultaneous change of basis; the paper finds exactly 25 isomorphism classes and corrects earlier lists that omitted five algebras and misread three parametric families. As a byproduct, it constructs rigid nilpotent Lie superalgebras of dimension (1|n) for every n, showing that rigid nilpotent superalgebras exist in arbitrarily many dimensions, in contrast to the classical nilpotent Lie algebra setting.","feed_headline":"Nilpotent Lie superalgebras through dimension 5 fully classified","feed_subtitle":"The complete list also fixes earlier gaps and pinpoints the irreducible components of every variety.","key_machinery":"The paper's working object is a Lie superalgebra encoded as a triple ([·,·], ρ, Γ), where [·,·] is the even-even bracket, ρ is the even action on the odd part, and Γ is the symmetric odd-odd map g1×g1→g0 satisfying the identities (J1) and (J2). When g0 is abelian and acts trivially, classification becomes orbit classification of m-tuples of n×n symmetric matrices under the action (T,S)·(Γ1,...,Γm)=(Σ_k T_{1k} S^t Γ_k S, ...). The decisive (2|3) case is handled by first separating off simultaneously diagonalizable pairs (Proposition 5.7 gives seven orbits) and then using the symmetric normal form for non-diagonalizable 3×3 complex symmetric matrices to reduce all remaining pairs to five orbits, (2|3)7 through (2|3)11. Degenerations are controlled by invariants—center dimensions, derived dimensions, (α,β,γ)-derivation dimensions, the ab(g) and F(g) truncations, and the maximal dimension t(g) of a trivial subalgebra—whose monotonicity under degeneration is proved using lower-triangular-stable closed subsets; these invariants rule out all non-degenerations and yield Hasse diagrams whose maximal orbits are the irreducible components.","core_discovery":"The paper establishes that nilpotent Lie superalgebras of dimension m+n≤5 are completely classified by the lists in Theorems 4.1, 4.4, 4.7, 5.1, 5.4 and 5.13, and that in every variety N(m|n) the irreducible components are precisely the orbit closures listed in Theorems 4.3, 4.6, 4.9, 5.3, 5.6 and 5.16. For dimension (2|3) there are exactly 25 isomorphism classes: five of them are missing from the classification in [19], and the three apparent parametric families in [27] are shown to be finite, with explicit isomorphisms collapsing them to the classes (2|3)6, (2|3)9, (2|3)10 and (2|3)11. Rigidity is detected through vanishing of the even part of the second cohomology $H^{2}$(g,g), and rigid nilpotent superalgebras are found in every dimension up to five; moreover, the Heisenberg-type superalgebra of dimension (1|n) with brackets [f_i,f_i]=e1 is rigid and nilpotent for every n.","pith_inferences":["The finite (2|3) list suggests that the nilpotency identities (J1)–(J2) cut the wild classification problem for pairs of symmetric matrices down to finite type in low dimension; testing whether finiteness persists for (2|4) or (3|3) is a natural next step.","The monotone invariant t(g), proved using lower-triangular-stable closed subsets, is not specific to nilpotent superalgebras and should also rule out degenerations in larger varieties LS(m|n) without cohomology computations.","A direct extension of Lemma 6.1 may build rigid nilpotent superalgebras of dimension (m|n) for m>1 by adding even basis vectors whose Γ-components are chosen so that all even 2-cocycles remain coboundaries; the difficulty is controlling the new cocycles that involve the extra even directions."],"forward_implications":["The lists in Theorems 4.1, 4.4, 4.7, 5.1, 5.4 and 5.13 give the complete set of isomorphism classes of nilpotent Lie superalgebras of total dimension at most five; in particular there are exactly 25 classes of dimension (2|3).","For every variety N(m|n) with m+n≤5, the irreducible components are exactly the orbit closures listed in Theorems 4.3, 4.6, 4.9, 5.3, 5.6 and 5.16, so every other nilpotent superalgebra in that dimension degenerates into one of those components.","The earlier classifications in [19] and [27] are corrected: five (2|3) algebras missing from [19] are supplied, and the three apparent parametric families in [27] are shown to be finite via explicit isomorphisms given in Remark 5.14.","The Heisenberg-type superalgebra of dimension (1|n) with brackets [f_i,f_i]=e1 has (H^2(g,g))_0=0 and is therefore rigid and nilpotent for every n, so rigid nilpotent Lie superalgebras exist in arbitrarily many dimensions."],"supporting_citations":[{"why":"Supplies the earlier classification of five-dimensional nilpotent Lie superalgebras that the paper corrects by adding five missing (2|3) algebras.","marker":"[19]"},{"why":"Supplies the earlier (2|3) list whose three parametric families are collapsed here to finitely many isomorphism classes.","marker":"[27]"},{"why":"Provides the symmetric normal form for non-diagonalizable 3×3 complex symmetric matrices used in Propositions 5.10–5.12.","marker":"[14]"},{"why":"Provides the rigid superalgebra K_{2,m} in N(2|m) and the rough (2|3) classification that the present work refines.","marker":"[16]"},{"why":"Supplies the degeneration invariants (1)–(7) in Lemma 2.7 and the earlier rigid (2|2) example.","marker":"[2]"},{"why":"Supplies the Borel-stable subset argument that proves monotonicity of the trivial-subalgebra invariant t(g).","marker":"[18]"},{"why":"Supplies the classification of simultaneously diagonalizable pairs (Γ1,Γ2) used as Proposition 5.7.","marker":"[20]"}],"fun_headline_variants":["Nilpotent Lie superalgebras up to dimension 5 fully mapped","Irreducible components of nilpotent Lie superalgebra varieties pinned down","Rigid nilpotent Lie superalgebras constructed in arbitrary dimension","Nilpotent Lie superalgebra classification: prior gaps closed"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole (2|3) classification depends on the claim that any two 3-by-3 symmetric matrices that cannot be diagonalized together can be transformed into exactly one of five standard pairs by a simultaneous change of basis; the proof of that claim leaves several orbit checks described only as straightforward computation.","fun_headline_variants_meta":{"raw":{"variants":["Nilpotent Lie superalgebras up to dimension 5 fully mapped","Irreducible components of nilpotent Lie superalgebra varieties pinned down","Rigid nilpotent Lie superalgebras constructed in arbitrary dimension","Nilpotent Lie superalgebra classification: prior gaps closed"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002539,"raw_usage":{"total_tokens":9674,"prompt_tokens":834,"completion_tokens":8840,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":450,"completion_tokens_details":{"reasoning_tokens":8764}},"tokens_in":450,"tokens_out":8840,"duration_ms":62858,"temperature":1.0,"reasoning_tokens":8764,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:23:22.457971+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a random pair of 3×3 complex symmetric matrices that is not simultaneously diagonalizable and whose span avoids invertible matrices, such as (diag(1,0,0), N) with N a non-diagonalizable symmetric matrix with zero third row and column, and solve the action equations against each of the five orbit representatives (2|3)7 through (2|3)11. If any such pair is equivalent to none of them, then an isomorphism class is missing from Theorem 5.13 and the component list in Theorem 5.16 changes.","supporting_citations":[{"cited_title":"Hegazi Classification of Nilpotent Lie Superalgebras of Dimension Five I, International Journal of Theoretical Physics , 38 (1999), Issue 6, 1735–1739","cited_arxiv_id":null,"evidence_quote":"Supplies the earlier classification of five-dimensional nilpotent Lie superalgebras that the paper corrects by adding five missing (2|3) algebras."},{"cited_title":"Matiadou, A","cited_arxiv_id":null,"evidence_quote":"Supplies the earlier (2|3) list whose three parametric families are collapsed here to finitely many isomorphism classes."},{"cited_title":"Craven Complex Symmetric matrices, Journal of Australian Mathematical Society, 10, (1969), 341–354","cited_arxiv_id":null,"evidence_quote":"Provides the symmetric normal form for non-diagonalizable 3×3 complex symmetric matrices used in Propositions 5.10–5.12."},{"cited_title":"Gómez, Y u","cited_arxiv_id":null,"evidence_quote":"Provides the rigid superalgebra K_{2,m} in N(2|m) and the rough (2|3) classification that the present work refines."},{"cited_title":"Grunewald, J","cited_arxiv_id":null,"evidence_quote":"Supplies the Borel-stable subset argument that proves monotonicity of the trivial-subalgebra invariant t(g)."},{"cited_title":"Hernández, G","cited_arxiv_id":null,"evidence_quote":"Supplies the classification of simultaneously diagonalizable pairs (Γ1,Γ2) used as Proposition 5.7."}],"review_version":1}