{"id":"0554d338-3284-4878-861a-d5799eaa92ce","arxiv_id":"2411.08830","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every indecomposable, non-simple homogeneous quadratic Lie superalgebra is a generalized double extension of a smaller one, for even and odd invariant metrics alike.","lead":"This paper gives a single construction, called the generalized double extension, that builds finite-dimensional homogeneous quadratic Lie superalgebras from smaller ones, covering both even and odd invariant forms. It extends a known structure theorem for even quadratic Lie superalgebras to the odd case and recovers examples like the Heisenberg superalgebra with an odd form extended by an even derivation.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 3.10 is proved only for odd B but is used for δ=0; the even-case proof is missing and the h⊥ containment is not justified.","rationale":"The paper's strongest claim is structural and the overall strategy is coherent: choose a minimal ideal I, split g as a ⊕ h ⊕ I, and identify the induced maps with a δ-context. The only genuinely load-bearing gap we found is exactly the one the reader flagged: Proposition 3.10 is invoked in Claim 3.1 for both even and odd B, but the appendix proves only the odd case. This matters because for δ=0 the whole metric and bracket decomposition depends on the existence of an isotropic complement a in h⊥. The gap is repairable—the even case should follow from the standard Witt/hyperbolic-extension argument for totally isotropic subspaces—so it does not overturn the paper's conclusion, but it must be fixed before the δ=0 statement is rigorous. We also note the same proposition needs a short argument that a can be chosen inside the already-fixed subspace h⊥; applying the lemma to W = h⊥ supplies this, but the manuscript omits it. Since the reader's verdict is already CONDITIONAL and our concern does not move that verdict, we recommend UNCHANGED.","tokens_in":14525,"tokens_out":18187,"duration_ms":165538,"concrete_test":"Verify Proposition 3.10 for δ=0 by writing the even analogue of the appendix argument: let W = h⊥, restrict B to W, and for the totally isotropic subspace I = I0 ⊕ I1 choose hyperbolic bases in the symmetric space W0 and the symplectic space W1 so that the dual basis elements span an isotropic complement a with a ∩ I = 0, dim a = dim I, and I ≅ a* via B. If the construction goes through, Claim 3.1 and Corollary 3.9 for even B are supported; if a parity-dimension obstruction appears, produce the corresponding counterexample.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central decomposition theorem for δ=0 depends on Claim 3.1, where the complement a is asserted to be isotropic with a⊕I non-degenerate and I ≅ Pδ(a)*. This is referred to Proposition 3.10 in the Appendix. The appendix proof starts 'We assume that B is odd' and only carries out the odd case; the even case is never treated, although Corollary 3.9 explicitly covers δ=0. Since formula (32) for the metric and the bracket decomposition (37) both require B(a,a)=0 and a ⊂ h⊥, the structure theorem for even quadratic Lie superalgebras currently rests on an unproved lemma. The missing lemma is very likely true—it is the standard hyperbolic-extension/Witt-theorem statement for a totally isotropic subspace in an orthogonal-symplectic space—so this is an omitted proof rather than a demonstrated falsehood. A related unstated detail is that the a produced by Proposition 3.10 must be chosen inside h⊥ to preserve the fixed decomposition g = a ⊕ h ⊕ I; this is obtained by applying the lemma to W = h⊥ with its restricted non-degenerate form, but the manuscript does not say so.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a unified notion of double extension for homogeneous quadratic Lie superalgebras of even and odd degree (a \"δ-context\"), constructs the corresponding quadratic Lie superalgebra on the super-space a ⊕ h ⊕ Pδ(a)* in Theorem 2.2, and proves in Corollary 3.9 that every indecomposable, non-simple, homogeneous quadratic Lie superalgebra of degree δ is obtained by this construction. The final sections apply the construction to recover the odd quadratic Lie superalgebras of [2] and to exhibit the Heisenberg Lie superalgebra extended by an even derivation, a case not covered by earlier double-extension formulations.","tokens_in":14757,"tokens_out":9981,"duration_ms":85855,"significance":"If the gaps noted below are repaired, the paper gives a genuinely unified framework for even and odd quadratic Lie superalgebras and a converse structure theorem that reduces the classification to simple objects plus δ-context data. The derivation of conditions (11)–(15) from the Jacobi identity is largely correct and the construction is not circular: the δ-context conditions are derived from the algebra under analysis, and Theorem 2.2 is an independent assembly procedure. The paper correctly identifies earlier results of [2] and [3] as special cases and provides a concrete example of a structure that was not accessible to those versions. The main weakness is a missing even-case proof in the appendix that the central decomposition argument relies on.","major_comments":[{"comment":"The proof of Prop. 3.10 begins \"We assume that B is odd\" and carries out only the odd case. However, Claim 3.1 invokes Prop. 3.10 for a homogeneous form of arbitrary degree δ, and Cor. 3.9 explicitly covers δ=0. Consequently, the existence of an isotropic complement a with a∩I=0 and a⊕I non-degenerate is currently unproved for even quadratic Lie superalgebras. There is a second omitted detail: the a chosen before Claim 3.1 is arbitrary, so one must apply the missing lemma to the non-degenerate subspace h⊥ with its restricted form and then use dim a=dim I to conclude a⊕I=h⊥; the manuscript does not state this. The missing statement is likely standard, but as written the decomposition g=a⊕h⊕I on which the proof of Cor. 3.9 rests is not established for δ=0.","section":"Appendix, Prop. 3.10; §3, Claim 3.1"},{"comment":"In the proof of Lemma 2.1, the computation of the sixth term of (18) says \"we apply (19)\", but (19) is one of the assertions of the lemma and has not been proved at that point. The final sentence only notes that (19) is equivalent to ρ(x) being a derivation. If the intended reference is the definition (16), then the text should say so, because the displayed formula for Φδ(λ(x,y),u)(Pδ(z)) follows directly from (16). Otherwise the argument for (18) is circular. Since Lemma 2.1 is used in Theorem 2.2, this needs to be clarified.","section":"Lemma 2.1, proof of (18)-(19)"}],"minor_comments":[{"comment":"The displayed bracket for the Heisenberg example is not bilinear as written: [ηx+u+ζP(x)*, η'x+v+ζ'P(x)*] is printed as [u,v]_h + D(u) − D(v) + Bh(D(u),v)P(x)*, independent of η and η'. It should be [u,v]_h + η D(v) − η' D(u) + Bh(D(u),v)P(x)* (up to the sign convention used for [u,x]).","section":"§3.2, bracket formula"},{"comment":"In the definition of a = Span{w1,...,wt,w'1,...,w's}, the odd part is written as Span{w'1,...,w't}; it should be Span{w'1,...,w's}.","section":"Appendix, proof of Prop. 3.10"},{"comment":"The invariance of the form B in (29) is asserted without verification; a short check using (11)–(16) should be included, since the sign conventions are delicate.","section":"Theorem 2.2, proof"},{"comment":"There are several typographical errors: \"no simple\" should be \"non-simple\", \"uisng\" should be \"using\", and \"Jacoby\" should be \"Jacobi\".","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The central theorem is promising and the gaps appear repairable within the scope of the paper. The most important fix is a complete proof of the even case of Proposition 3.10 and a clarification of the use of (19) in Lemma 2.1; the bracket typo in §3.2 should also be corrected. I would not reject the paper on the current evidence, but the converse theorem for even quadratic Lie superalgebras is not fully proved as it stands."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a real advance, not a stunt. It gives a single δ-double-extension construction covering both even and odd quadratic Lie superalgebras, recovers the known cases, and adds the Heisenberg example that older constructions miss. Corollary 3.9 is the payoff: every indecomposable, non-simple homogeneous quadratic Lie superalgebra is a generalized double extension of a smaller one, so classification reduces to simple objects plus δ-context data.\n\nThe δ-coadjoint formalism is the right tool; conditions (11)–(15) come out of the Jacobi identity, and the assembly in Theorem 2.2 is coherent. I checked the main decomposition in Section 3: it is standard Medina–Revoy machinery, and the identification of ρ, λ, ω through the invariant metric is sound. Credit where due: the arbitrary-odd-a case is new, and the Heisenberg example is a genuine gap in [2]/[3] that this construction fills.\n\nThe soft spots are real but fixable. Proposition 3.10 is the load-bearing one. Claim 3.1 needs an isotropic complement a with a⊕I non-degenerate and I ≅ P_δ(a)*. The appendix proves this only for odd B, then says \"we assume that B is odd\" and never returns to even B. But Corollary 3.9 explicitly covers δ=0. The missing even-case lemma is very likely true—it is standard Witt/hyperbolic-extension material—so this is an omitted proof, not a false theorem. A related detail: Proposition 3.10 as stated does not guarantee a ⊂ h⊥; you get that by applying the lemma to W = h⊥ with the restricted non-degenerate form, but the manuscript does not say so. This needs to be written out. Lemma 2.1 also uses (19) before proving it, and the worked examples have sign and coefficient slips: the Heisenberg bracket as printed has cross terms independent of the scalar coefficients, which cannot be right as written. None of this shakes the central construction.\n\nWho should read it: people working on quadratic Lie superalgebras and double-extension classifications. It deserves a serious referee; with the even-case appendix proof added and the typos cleaned, I would take it. Send it out rather than desk reject.","headline":"A genuinely unified double-extension construction for homogeneous quadratic Lie superalgebras, with a fixable missing even-case lemma in the appendix; referee it.","tokens_in":15272,"tokens_out":4845,"would_cite":true,"duration_ms":82020,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17Bxx","17B05","17B60","15A63","17B30"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that every indecomposable, non-simple homogeneous quadratic Lie superalgebra is a generalized double extension of a smaller quadratic Lie superalgebra of the same degree δ by a Lie superalgebra a, unifying the even and…","keywords":["quadratic Lie superalgebra","double extension","invariant metric","delta-coadjoint representation","homogeneous bilinear form","indecomposable Lie superalgebra","classification of Lie superalgebras"],"falsifier":"Check the even case of Proposition 3.10 directly: take an even quadratic Lie superalgebra (for instance a classic quadratic Lie algebra) of dimension $2n$ with an isotropic minimal ideal $I$ of dimension $n$, and ask whether there exists an isotropic subspace $a$ of dimension $n$ with $a\\cap I=\\{0\\}$ and non-degenerate pairing $a\\times I \\to \\mathbb{F}$. The appendix's construction covers only odd $B$; a single even example with no such $a$ would break the decomposition $g = a \\oplus h \\oplus I$ used in Section 3 and with it Corollary 3.9.","tokens_in":14334,"feed_emoji":"","tokens_out":13977,"duration_ms":107462,"temperature":0.7,"pith_summary":"The paper proves a structure theorem for homogeneous quadratic Lie superalgebras—Lie superalgebras carrying a non-degenerate, invariant, supersymmetric bilinear form $B$ of fixed parity $\\delta$, even or odd. The theorem says that every indecomposable, non-simple example of dimension greater than one is built by one construction: the generalized double extension of a smaller quadratic Lie superalgebra $h$ of the same degree $\\delta$ by a Lie superalgebra $a$, with total underlying space $a \\oplus h \\oplus P_\\delta(a)^*$. The construction is uniform in $\\delta$, so the even and odd cases become a single statement rather than two parallel theories. If the theorem is correct, classification reduces to simple pieces plus the $\\delta$-context data $(\\rho, \\lambda, \\omega_\\delta)$, and the construction recovers the previously known odd quadratic Lie superalgebras as well as the Heisenberg Lie superalgebra extended by an even derivation, which earlier double-extension versions could not produce.","feed_headline":"Every indecomposable quadratic Lie superalgebra is a double extension","feed_subtitle":"The result merges even and odd invariant metrics and reduces classification to simple pieces and extension data.","key_machinery":"The load-bearing object is the $\\delta$-coadjoint representation $\\mathrm{ad}^*_\\delta \\colon a \\to \\mathfrak{gl}(P_\\delta(a)^*)$, defined by the sign-twisted formula $\\mathrm{ad}^*_\\delta(x)(P_\\delta(f))(P_\\delta(y)) = -(-1)^{(|f|+\\delta)|x|} f([x,y])$. Here $P_\\delta$ is the identity when $\\delta=0$ and the parity-reversal functor $P$ when $\\delta=1$, so this single representation covers both the ordinary coadjoint representation and its odd counterpart. The other central piece is the $\\delta$-context $(h,B_h,\\rho,\\lambda,\\omega_\\delta)$: an even linear map $\\rho \\colon a \\to \\mathrm{Der}(h)\\cap \\mathrm{o}(B_h)$, an even super-skew bilinear map $\\lambda \\colon a\\times a \\to h$, and an even super-skew bilinear map $\\omega_\\delta \\colon a\\times a \\to P_\\delta(a)^*$, satisfying the cocycle identities (11), (12), (14) and the super cyclic condition (15). Theorem 2.2 uses these data to define a bracket and a degree-$\\delta$ invariant metric on $a \\oplus h \\oplus P_\\delta(a)^*$, and Section 3 shows that the data arising from decomposing any indecomposable non-simple $g$ are exactly such a $\\delta$-context.","core_discovery":"The central claim is that the generalized double extension described in Theorem 2.2 is exhaustive. Corollary 3.9 asserts that if $(g,[\\cdot,\\cdot],B)$ is an indecomposable, non-simple homogeneous quadratic Lie superalgebra of degree $\\delta$ with $\\dim g > 1$, then it is isometric to the quadratic Lie superalgebra constructed on $a \\oplus h \\oplus P_\\delta(a)^*$, where $(h,[\\cdot,\\cdot]_h,B_h)$ is a quadratic Lie superalgebra of degree $\\delta$ and $(a,[\\cdot,\\cdot]_a)$ is a Lie superalgebra. The bracket in this decomposition has the form $[a,a] \\subseteq a\\oplus h\\oplus P_\\delta(a)^*$, $[a,h] \\subseteq h\\oplus P_\\delta(a)^*$, $[h,h] \\subseteq h\\oplus P_\\delta(a)^*$, and $[a,P_\\delta(a)^*] \\subseteq P_\\delta(a)^*$, with the component maps determined by the $\\delta$-context. The invariant metric pairs $a$ with $P_\\delta(a)^*$ and restricts to $B_h$ on $h$. In short, the paper claims that a special-looking construction actually realizes every object in the target class.","pith_inferences":["The paper leaves the classification of $\\delta$-contexts open; a natural next step would be to read the identities (14)–(18) as cocycle conditions in a cohomology theory with coefficients in $P_\\delta(a)^*$, turning the structure theorem into a classification by cohomology sets.","The appendix proves Proposition 3.10 only for odd $B$, while Claim 3.1 uses the even case; closing this gap is the immediate check on the theorem. If the even-case statement fails, Corollary 3.9 would need to be split into separate even and odd theorems.","Because everything is algebraic, the same double-extension description is likely to hold over non-algebraically-closed fields of characteristic zero if the isotropic-complement lemma survives without the algebraic-closure assumption; the paper does not address this."],"forward_implications":["Classification reduces: listing all indecomposable non-simple quadratic Lie superalgebras of degree $\\delta$ becomes the problem of classifying simple quadratic Lie superalgebras of degree $\\delta$ and then classifying the $\\delta$-contexts over them.","The construction preserves $\\delta$, so the even and odd classes are separately closed under generalized double extension; the unification is about method, not about mixing parities.","The odd quadratic Lie superalgebras studied in [2] are recovered as the special case $\\dim a = 1$ with odd generator, and the Heisenberg Lie superalgebra extended by an even derivation from [6] is recovered when $\\dim a = 1$ with even generator and $h$ Abelian.","For every object in the class, the minimal ideal $I$ is isomorphic as an $a$-module to the $\\delta$-coadjoint representation on $P_\\delta(a)^*$, so the action of $a$ on the ideal is determined, up to isomorphism, by the metric."],"supporting_citations":[{"why":"Supplies the generalized semi-direct product construction used inside Theorem 2.2.","marker":"[1]"},{"why":"Provides the odd quadratic double extension that the paper recovers as a special case of its unified construction.","marker":"[2]"},{"why":"Defines the earlier generalized double extension for even quadratic Lie superalgebras, whose structure theorem the paper extends to all degrees.","marker":"[3]"},{"why":"Supplies the Heisenberg Lie superalgebra extended by an even derivation, an example that previous double-extension versions could not produce and that the new construction recovers.","marker":"[6]"},{"why":"Establishes the classical double extension theorem for quadratic Lie algebras, the prototype the paper superizes.","marker":"[7]"}],"fun_headline_variants":["Double extension theorem unifies even and odd invariant metrics","Every indecomposable homogeneous quadratic Lie superalgebra is a double extension","Exhaustive double extension for indecomposable non-simple quadratic superalgebras"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that every minimal isotropic ideal $I$—a subspace on which the invariant form vanishes—admits an isotropic complement $a$ of the same dimension, disjoint from $I$, so that the form pairs $a$ with $I$ non-degenerately; the appendix proves this only in the odd case, while the even case is invoked and used in Section 3 without proof.","fun_headline_variants_meta":{"raw":{"variants":["Double extension theorem unifies even and odd invariant metrics","Every indecomposable homogeneous quadratic Lie superalgebra is a double extension","Exhaustive double extension for indecomposable non-simple quadratic superalgebras"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001085,"raw_usage":{"total_tokens":4491,"prompt_tokens":857,"completion_tokens":3634,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":473,"completion_tokens_details":{"reasoning_tokens":3575}},"tokens_in":473,"tokens_out":3634,"duration_ms":25993,"temperature":1.0,"reasoning_tokens":3575,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T21:18:05.324236+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check the even case of Proposition 3.10 directly: take an even quadratic Lie superalgebra (for instance a classic quadratic Lie algebra) of dimension $2n$ with an isotropic minimal ideal $I$ of dimension $n$, and ask whether there exists an isotropic subspace $a$ of dimension $n$ with $a\\cap I=\\{0\\}$ and non-degenerate pairing $a\\times I \\to \\mathbb{F}$. The appendix's construction covers only odd $B$; a single even example with no such $a$ would break the decomposition $g = a \\oplus h \\oplus I$ used in Section 3 and with it Corollary 3.9.","supporting_citations":[{"cited_title":"Alekseevsky, P.W","cited_arxiv_id":null,"evidence_quote":"Supplies the generalized semi-direct product construction used inside Theorem 2.2."},{"cited_title":"Preprint Number 07 − 09, (2007)","cited_arxiv_id":null,"evidence_quote":"Provides the odd quadratic double extension that the paper recovers as a special case of its unified construction."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the earlier generalized double extension for even quadratic Lie superalgebras, whose structure theorem the paper extends to all degrees."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Heisenberg Lie superalgebra extended by an even derivation, an example that previous double-extension versions could not produce and that the new construction recovers."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the classical double extension theorem for quadratic Lie algebras, the prototype the paper superizes."}],"review_version":1}