Pith. sign in

REVIEW 2 major objections 4 minor 7 references

Homogeneous quadratic Lie super algebras

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

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

Pith's one-line read 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…

desk verdict A genuinely unified double-extension construction for homogeneous quadratic Lie superalgebras, with a fixable missing even-case lemma in the appendix; referee it. read the letter →

arxiv 2411.08830 v1 pith:DP6ALATS submitted 2024-11-13 math.RA

R. García-Delgado This is my paper · ORCID
classification math.RA MSC 17Bxx17B0517B6015A6317B30
keywords quadraticLiesuperalgebradoubleextensioninvariantmetricdelta-coadjointrepresentationhomogeneousbilinearformindecomposableclassificationofsuperalgebras
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

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

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

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

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.

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 (2)
  1. [Appendix, Prop. 3.10; §3, Claim 3.1] 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.
  2. [Lemma 2.1, proof of (18)-(19)] 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.
minor comments (4)
  1. [§3.2, bracket formula] 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]).
  2. [Appendix, proof of Prop. 3.10] 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}.
  3. [Theorem 2.2, proof] 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.
  4. [Throughout] There are several typographical errors: "no simple" should be "non-simple", "uisng" should be "using", and "Jacoby" should be "Jacobi".

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the paper derives a converse structure theorem rather than defining its conclusion into its hypotheses; the flagged appendix gap is an omitted proof, not a circular step.

full rationale

The derivation chain is not circular. Theorem 2.2 is an independent construction: it starts from a δ-context (h, [·,·]_h, B_h, ρ, λ, ω_δ) and builds a quadratic Lie superalgebra on a ⊕ h ⊕ P_δ(a)^* via the explicit bracket formulas (28) and metric (29); none of those formulas are defined in terms of the indecomposable algebra that the later corollary aims to classify. Section 3 then takes an arbitrary indecomposable, non-simple quadratic Lie superalgebra of degree δ, chooses a minimal ideal I, fixes the decompositions I⊥ = h ⊕ I and h⊥ = a ⊕ I, and reads off the maps σ, λ, μ, ρ, τ, [·,·]_h, γ directly from the given bracket (37). The subsequent claims verify, using only the Jacobi identity, invariance of B, and the definitions of χ_δ, Φ_δ and ad*_δ, that (h, [·,·]_h, B_h, ρ, λ, ω_δ) is a δ-context and that the constructed object is isometric to the original g via x + u + α ↦ x + u + ξ_δ(α). Thus Corollary 3.9 is a structural converse, not a restatement of the construction. No parameter is fitted to a subset of data and then renamed a prediction; no load-bearing conclusion is justified by a self-citation; the cited references [2], [3], and [6] are external benchmarks used for comparison or recovery. The genuine issue flagged by the appendix is a missing even-case proof: Proposition 3.10 says 'We assume that B is odd' and does not treat δ = 0, even though Claim 3.1 applies it when it asserts 'By Prop. 3.10 (see Appendix), we assume that a is isotropic' in the general δ setting. This is an omitted proof or completeness gap, not an equation that reduces to its own inputs, and the same is true of the unstated requirement that the isotropic complement a produced by Proposition 3.10 be chosen inside h⊥. Those concerns affect completeness and proof detail, not circularity, so the circularity score is 0.

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

The central claim rests on standard structural facts (minimal ideal, isotropic complement, semi-direct product construction) plus one incompletely proved linear algebra lemma (Prop. 3.10 for even forms). There are no fitted parameters or invented entities.

assumptions (3)
  • domain assumption The field F is algebraically closed of characteristic zero and all super-spaces are finite-dimensional.
    Stated at the start of Section 3 before the structure theorem; the argument relies on minimal ideals and dual bases.
  • standard math The generalized semi-direct product construction (conditions (8)-(9)) yields a Lie superalgebra, as established in [1] and [3].
    Used implicitly in the proof of Thm. 2.2 to assert the bracket on a plus (h plus P_delta(a)*) is a Lie superalgebra bracket.
  • domain assumption Existence of an isotropic complement a for any isotropic subspace I of a non-degenerate homogeneous super-symmetric space (Prop. 3.10), including the even case.
    Invoked in Claim 3.1; proof in the appendix covers only the odd case, so the even case is an unproved structural assumption.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Homogeneous quadratic Lie super algebras." pith.science (2026). https://pith.science/paper/DP6ALATS

@misc{pith2026241108830,
  author       = {Pith},
  title        = {Pith review of: Homogeneous quadratic Lie super algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DP6ALATS}},
  note         = {Machine review of arXiv:2411.08830}
}
read the original abstract

In this work we state a version of the double extension for homogeneous quadratic Lie super algebras that includes even and odd cases. We prove that any indecomposable, non-simple and homogeneous quadratic Lie super algebra is obtained by means of this type of double extension. We also show that with this construction we can recover previously studied cases as well as some other which can not be recover with former versions of double extensions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

  1. [2]

    Preprint Number 07 − 09, (2007)

    Albuquerque H., Barreiro E., Benayadi S., Odd-quadratic Lie superalge- bras, Pr´ e-Publicacoes do Departamento de Matem´ atica, Universidad de Coimbra. Preprint Number 07 − 09, (2007)

    work page 2007

  2. [3]

    Bajo I., Benayadi S., Bordemann M., Generalized double extension and description of quadratic Lie superalgebras , arXiv:0712 .0228v1 [math-ph] 3 Dec. (2007). 18 R. GARC ´IA-DELGADO

    work page 2007

  3. [1]

    Alekseevsky, P.W

    D.V. Alekseevsky, P.W. Michor, W. Ruppert, Extensions of Lie super Lie algebras, J. of Lie Theory, 15, No. 1, (2005), 125-134

    work page 2005

  4. [4]

    Figueroa O-Farril, J.M., Stanciu S., On the structure of Symmetric self- dual Lie algebras. J. of Math. P., (1996) https://doi.org 10.1063/1.531620

    work page doi:10.1063/1.531620 1996

  5. [5]

    Transformation Groups 11: 87 (2006) https://doi.org/10.1007/s00031-005-1106-5

    Kath, I., and Olbrich, M., Metric Lie algebras and quadratic extensions. Transformation Groups 11: 87 (2006) https://doi.org/10.1007/s00031-005-1106-5

    work page doi:10.1007/s00031-005-1106-5 2006

  6. [6]

    Rodriguez-Vallarte M.C., Salgado G., S´ anchez-Valenzuela O. A., Heisen- berg Lie superalgebras and their invariant superorthogona l and su- persymplectic forms , Journal of Algebra, Volume 332 ,1, 71 − 86, https://doi.org/10.1016/j.jalgebra.2011.02.003 (2011)

    work page doi:10.1016/j.jalgebra.2011.02.003 2011

  7. [7]

    Medina A., Revoy P., Alg´ ebres de Lie et produit scalare invariant , Ann. scient. ´Ec. Norm. Sup. 18 553, (1983). F acultad de Ciencias, UASLP, A v. Salvador Nava s/n, Zona Uni versi- taria, CP 78290; San Luis Potos ´ı, M´ exico Email address : rosendo.garciadelgado@alumnos.uaslp.edu.mx

    work page 1983

Pith tools

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