arxiv: 2604.19511 · v1 · submitted 2026-04-21 · 🧮 math.RT · math.QA

Recognition: unknown

Verma Bases for finite dimensional Representations of the orthosymplectic Lie superalgebra mathfrak{spo}(4|1)

Bintao Cao , Ye Huang

Authors on Pith no claims yet

Pith reviewed 2026-05-10 01:15 UTC · model grok-4.3

classification 🧮 math.RT math.QA

keywords Verma basisorthosymplectic Lie superalgebraspo(4|1)Kashiwara-Nakashima tableauxfinite dimensional representationshighest weight modulesLie superalgebrastableau basis

0 comments

The pith

Kashiwara-Nakashima tableaux define a Verma basis for every finite-dimensional irreducible representation of the orthosymplectic Lie superalgebra spo(4|1).

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

The paper constructs an explicit basis for each finite-dimensional irreducible module L(λ) of spo(4|1) by taking vectors that correspond to Kashiwara-Nakashima tableaux of shape λ. It proves that these vectors are linearly independent and together span the whole module. This construction mirrors the known Verma basis for the ordinary Lie algebra sp(4) and supplies a combinatorial labeling of the basis vectors. A sympathetic reader would care because an explicit basis makes it possible to compute matrix elements of the superalgebra generators and to read off dimensions or characters directly from tableau counting.

Core claim

We define the Verma vector system for each finite dimensional irreducible representation of the orthosymplectic Lie superalgebra spo(4|1) with the highest weight λ via the conditions that make a tableau with shape λ a Kashiwara-Nakashima tableau. We then show the linear independence of this vector system. It turns out to be a basis of L(λ), which analogs to the Verma basis of representations of sp4.

What carries the argument

The Verma vector system, which selects vectors indexed by Kashiwara-Nakashima tableaux of shape λ and proves they form a linearly independent spanning set for L(λ).

If this is right

The character of L(λ) equals the generating function that enumerates Kashiwara-Nakashima tableaux of shape λ.
Matrix coefficients of the spo(4|1) generators can be written explicitly in the tableau basis.
The construction supplies a direct combinatorial model for the representation theory of spo(4|1) parallel to the model already known for sp4.

Where Pith is reading between the lines

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

The same tableau-based construction may extend to other low-rank orthosymplectic superalgebras such as spo(6|1).
The basis could be used to study tensor-product decompositions or branching rules for spo(4|1) representations.
One might ask whether these vectors admit a crystal structure or a q-analog that deforms the ordinary Verma basis.

Load-bearing premise

The Kashiwara-Nakashima tableau conditions on shape λ select a set of vectors that is both linearly independent and spans the entire irreducible module L(λ).

What would settle it

For the lowest nontrivial weight λ = (1,0), compute the dimension of the span of the corresponding tableau vectors and check whether it equals the known dimension of L(λ) for spo(4|1).

Figures

Figures reproduced from arXiv: 2604.19511 by Bintao Cao, Ye Huang.

**Figure 1.** Figure 1: The standard Dynkin diagram of the Lie superalgebra spo(4|1) Let ω1 = ϵ1 and ω2 = 1 2 (ϵ1 + ϵ2) denote the fundamental weights. Then we have the following theorem. Theorem 2.1. [Kac2, Sh] The weight λ = a1ω1 + a2ω2 is a highest weight for a finite dimensional irreducible spo(4|1)-module if and only if a1 and 1 2 a2 are non-negative integers. 3. Kashiwara-Nakashima Tableaux of spo(4|1) A partition λ of a po… view at source ↗

**Figure 2.** Figure 2: Young diagram 1 2 3 3 3 3 4 4 [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗

**Figure 4.** Figure 4: 1 · · · 1 1 1 · · · 1 2 2 · · · 2 0 2 · · · 2 1 · · · 1 2 · · · 2 0 2 · · · 2 2 1 · · · 1 [PITH_FULL_IMAGE:figures/full_fig_p005_4.png] view at source ↗

**Figure 5.** Figure 5: 1 · · · 1 1 1 · · · 1 0 2 · · · 2 2 · · · 2 1 · · · 1 2 · · · 2 0 2 · · · 2 2 1 · · · 1 [PITH_FULL_IMAGE:figures/full_fig_p005_5.png] view at source ↗

**Figure 6.** Figure 6: 1 · · · 1 1 1 · · · 1 1 · · · 1 2 · · · 2 0 2 · · · 2 1 · · · 1 2 · · · 2 0 2 · · · 2 [PITH_FULL_IMAGE:figures/full_fig_p005_6.png] view at source ↗

**Figure 7.** Figure 7: 1 · · · 1 2 2 · · · 2 0 2 · · · 2 1 · · · 1 2 · · · 2 0 1 · · · 1 [PITH_FULL_IMAGE:figures/full_fig_p005_7.png] view at source ↗

**Figure 8.** Figure 8: 1 · · · 1 0 2 · · · 2 1 · · · 1 2 · · · 2 0 1 · · · 1 [PITH_FULL_IMAGE:figures/full_fig_p005_8.png] view at source ↗

**Figure 9.** Figure 9 [PITH_FULL_IMAGE:figures/full_fig_p005_9.png] view at source ↗

**Figure 10.** Figure 10: If b1 is even and b3 is odd, the unique T(b) such that ψ(T(b)) = f b vλ is shown in [PITH_FULL_IMAGE:figures/full_fig_p008_10.png] view at source ↗

**Figure 11.** Figure 11: If b1 and b3 are odd, the unique T(b) such that ψ(T(b)) = f b vλ is shown in [PITH_FULL_IMAGE:figures/full_fig_p008_11.png] view at source ↗

**Figure 12.** Figure 12: If b1 is odd and b3 is even, the unique T(b) such that ψ(T(b)) = f b vλ is shown in [PITH_FULL_IMAGE:figures/full_fig_p008_12.png] view at source ↗

**Figure 13.** Figure 13 [PITH_FULL_IMAGE:figures/full_fig_p008_13.png] view at source ↗

**Figure 14.** Figure 14: If b1 is even, b3 is odd, and b3 ̸= b2 + m1, the unique T(b) such that ψ(T(b)) = f b vλ is shown in [PITH_FULL_IMAGE:figures/full_fig_p009_14.png] view at source ↗

**Figure 15.** Figure 15: If b1 is even, b3 is odd, and b3 = b2 + m1, the unique T(b) such that ψ(T(b)) = f b vλ is shown in [PITH_FULL_IMAGE:figures/full_fig_p009_15.png] view at source ↗

**Figure 16.** Figure 16: If b1 and b3 are odd, with b2 ̸= b1 + m1 and b3 ̸= b2 + m1, the unique T(b) such that ψ(T(b)) = f b vλ is shown in [PITH_FULL_IMAGE:figures/full_fig_p009_16.png] view at source ↗

**Figure 17.** Figure 17: If b1 and b3 are odd, with b2 ̸= b1 + m1 and b3 = b2 + m1, the unique T(b) such that ψ(T(b)) = f b vλ is shown in [PITH_FULL_IMAGE:figures/full_fig_p010_17.png] view at source ↗

**Figure 18.** Figure 18: If b1 and b3 are odd, with b2 = b1 + m1 and b3 ̸= b2 + m1, the unique T(b) such that ψ(T(b)) = f b vλ is shown in [PITH_FULL_IMAGE:figures/full_fig_p010_18.png] view at source ↗

**Figure 19.** Figure 19: If b1 and b3 are odd, with b2 = b1 + m1 and b3 = b2 + m1, the unique T(b) such that ψ(T(b)) = f b vλ is shown in [PITH_FULL_IMAGE:figures/full_fig_p010_19.png] view at source ↗

**Figure 20.** Figure 20: If b1 is odd, b3 is even, and b2 ̸= b1 + m1, the unique T(b) such that ψ(T(b)) = f b vλ is shown in [PITH_FULL_IMAGE:figures/full_fig_p011_20.png] view at source ↗

**Figure 21.** Figure 21: If b1 is odd, b3 is even, and b2 = b1 + m1, the unique T(b) such that ψ(T(b)) = f b vλ is shown in [PITH_FULL_IMAGE:figures/full_fig_p011_21.png] view at source ↗

**Figure 22.** Figure 22: Case (iii) b2 < m1: If b1 and b3 are even, the unique T(b) such that ψ(T(b)) = f b vλ is shown in [PITH_FULL_IMAGE:figures/full_fig_p011_22.png] view at source ↗

**Figure 23.** Figure 23: If b1 is even and b3 is odd, the unique T(b) such that ψ(T(b)) = f b vλ is shown in [PITH_FULL_IMAGE:figures/full_fig_p012_23.png] view at source ↗

**Figure 24.** Figure 24: If b1 and b3 are odd, the unique T(b) such that ψ(T(b)) = f b vλ is shown in [PITH_FULL_IMAGE:figures/full_fig_p012_24.png] view at source ↗

**Figure 25.** Figure 25: If b1 is odd and b3 is even, the unique T(b) such that ψ(T(b)) = f b vλ is shown in [PITH_FULL_IMAGE:figures/full_fig_p012_25.png] view at source ↗

**Figure 26.** Figure 26 [PITH_FULL_IMAGE:figures/full_fig_p012_26.png] view at source ↗

**Figure 17.** Figure 17: It follows that wt(T(b)) = (m2 − 1 2 (b2 − m1 + 1)) − b4 − 1 2 (b2 − m1 − 1) ϵ1 + ( 1 2 (b2 + m1 + 1) − 1 2 (b3 − 1) − 1) + (m2 − 1 2 (b1 − 1) − 1) − ( 1 2 (b3 − 1) − b4) − ( 1 2 (b1 − 1) − 1 2 (b2 − m1 − 1)) ϵ2 = (m1 + m2 − b2 − b4)ϵ1 + (m2 − b1 + b2 − b3 + b4)ϵ2. If b1 and b3 are odd, with b2 ̸= b1 + m1 and b3 = b2 + m1, then T(b) is as shown in [PITH_FULL_IMAGE:figures/full_fig_p014_17.png] view at source ↗

**Figure 18.** Figure 18: It follows that wt(T(b)) = (m2 − 1 2 (b2 − m1 + 1)) − b4 − 1 2 (b2 − m1 − 1) ϵ1 + (m2 − 1 2 (b1 − 1) − 1) − ( 1 2 (b3 − 1) − b4) − ( 1 2 (b1 − 1) − 1 2 (b2 − m1 − 1)) ϵ2 = (m1 + m2 − b2 − b4)ϵ1 + (m2 − b1 + b2 − b3 + b4)ϵ2 [PITH_FULL_IMAGE:figures/full_fig_p014_18.png] view at source ↗

**Figure 19.** Figure 19: It follows that wt(T(b)) = (m2 − 1 2 (b2 − m1 + 1)) − b4 − 1 2 (b2 − m1 − 1) ϵ1 + ( 1 2 (b2 + m1 + 1) − 1 2 (b3 − 1) − 1) + (m2 − 1 2 (b1 − 1) − 1) − ( 1 2 (b3 − 1) − b4) ϵ2 = (m1 + m2 − b2 − b4)ϵ1 + (m2 − b1 + b2 − b3 + b4)ϵ2. If b1 and b3 are odd, with b2 = b1 + m1 and b3 = b2 + m1, then T(b) is as shown in [PITH_FULL_IMAGE:figures/full_fig_p015_19.png] view at source ↗

**Figure 20.** Figure 20: It follows that wt(T(b)) = (m2 − 1 2 (b2 − m1 + 1)) − b4 − 1 2 (b2 − m1 − 1) ϵ1 + (m2 − 1 2 (b1 − 1) − 1) − ( 1 2 (b3 − 1) − b4) ϵ2 = (m1 + m2 − b2 − b4)ϵ1 + (m2 − b1 + b2 − b3 + b4)ϵ2. If b1 is odd, b3 is even, and b2 ̸= b1 + m1, then T(b) is as shown in [PITH_FULL_IMAGE:figures/full_fig_p015_20.png] view at source ↗

**Figure 27.** Figure 27: The KN tableau of spo(4|1) corresponding to the highest weight vector vλ Clearly, T(0) is the smallest tableau in CSTλ(4|1). In this case, vλ = u(T(0)) = ε ⊗m1 1 ⊗ (ε1 ∧ ε2) ⊗m2 , and the claim holds. For Y ∈ CSTλ(4|1), let k i j (Y ) denote the number of entries equal to j in row i of Y , where i ∈ {1, 2} and j ∈ N = {1, 2, 0, 2, 1}. Next, we consider f b vλ, where b = (b1, b2, b3, b4) ̸= (0, 0, 0, 0). E… view at source ↗

read the original abstract

We define the Verma vector system for each finite dimensional irreducible representation of the orthosymplectic Lie superalgebra $\mathfrak{spo}(4|1)$ with the highest weight $\lambda,$ via the conditions that making a tableau with shape $\lambda$ to be a Kashiwara-Nakashima tableau. We then show the linearly independence of this vector system. It turns out to be a basis of the finite dimensional irreducible representation $L(\lambda)$ of the orthosymplectic Lie superalgebra $\mathfrak{spo}(4|1)$ with the highest weight $\lambda,$ which analogs to the Verma basis of representations of $\mathfrak{sp}_4,$ called the Verma basis of the finite dimensional irreducible representation of $\mathfrak{spo}(4|1)$.

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

The paper gives a tableau-based construction for a basis of finite-dim spo(4|1) irreps with a proof of linear independence, but the spanning claim rests on an unverified analogy to the sp(4) case.

read the letter

The core contribution is a combinatorial definition of a set of vectors for each finite-dimensional irrep L(λ) of spo(4|1), indexed by Kashiwara-Nakashima tableaux of shape λ, together with a proof that these vectors are linearly independent. The authors then assert that the set forms a basis by direct analogy with the known Verma basis for sp(4). That independence step is the actual new piece of work here; it supplies an explicit, checkable collection of vectors where previously one might only have had abstract existence results. For readers who need concrete bases in low-rank superalgebra representations, this is a usable description. The construction itself looks clean and stays within standard tableau combinatorics, so the independence argument should be straightforward to verify once the ordering or leading-term technique is written out. The soft spot is the spanning direction. The abstract simply states that the set “turns out to be” a basis without an independent count of the tableaux against the superalgebra dimension formula or an explicit argument that the vectors generate the whole module. For atypical weights this count is not automatic, and an analogy to the ordinary sp(4) case does not automatically carry over. If the full text supplies a dimension match or a surjection, that gap closes; otherwise the basis claim is only half-supported. This work is aimed at specialists in combinatorial representation theory of Lie superalgebras who already care about explicit bases and tableau models. A reader working on character formulas or branching rules for spo(4|1) could extract concrete vectors from it. It is narrow enough that I would not cite it in my own papers unless I needed this exact basis, but the concrete construction is solid enough to warrant sending it to referees rather than desk-rejecting. A serious review would mainly check whether the spanning argument is filled in and whether the dimension count holds for both typical and atypical λ.

Referee Report

2 major / 1 minor

Summary. The paper defines a Verma vector system for each finite-dimensional irreducible representation L(λ) of the orthosymplectic Lie superalgebra spo(4|1) by indexing vectors with Kashiwara-Nakashima tableaux of shape λ. It proves linear independence of this system and asserts that the vectors form a basis for L(λ), by direct analogy with the Verma basis for the symplectic Lie algebra sp(4).

Significance. If the spanning property holds, the construction supplies an explicit combinatorial basis for these representations. This would enable concrete computations of matrix elements, characters, and module structures in the spo(4|1) case, extending classical tableau methods to a low-rank superalgebra setting where atypicality phenomena appear.

major comments (2)

[Abstract / Main construction] Abstract and main claim: linear independence is asserted to be shown via the KN tableau conditions, but the spanning property (required for the basis claim) is only stated as 'it turns out to be a basis' without an explicit argument. No dimension count equating the number of valid tableaux to dim L(λ) (via the superalgebra Weyl formula or atypicality correction) or explicit generation of the module is supplied.
[Definition of the vector system] The KN tableau rules are invoked directly from the sp(4) case. It is unclear whether these rules have been verified to be compatible with the odd root system of spo(4|1) or whether additional relations arising from the superbracket must be imposed to guarantee that the selected vectors lie inside the irreducible quotient L(λ).

minor comments (1)

[Abstract] The abstract contains a minor grammatical issue ('making a tableau with shape λ to be a Kashiwara-Nakashima tableau').

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and detailed comments on our manuscript concerning the Verma basis for finite-dimensional representations of spo(4|1). We respond point by point to the major comments below.

read point-by-point responses

Referee: [Abstract / Main construction] Abstract and main claim: linear independence is asserted to be shown via the KN tableau conditions, but the spanning property (required for the basis claim) is only stated as 'it turns out to be a basis' without an explicit argument. No dimension count equating the number of valid tableaux to dim L(λ) (via the superalgebra Weyl formula or atypicality correction) or explicit generation of the module is supplied.

Authors: We acknowledge that the manuscript proves linear independence of the vectors indexed by valid KN tableaux but states the spanning property primarily by analogy to the sp(4) Verma basis without an explicit verification. In the revised version we will add an explicit dimension comparison: we compute the number of admissible KN tableaux of shape λ and equate it to dim L(λ) using the known dimension formula for finite-dimensional irreducibles of spo(4|1) (including the atypicality correction). This will rigorously establish that the linearly independent set is a basis. revision: yes
Referee: [Definition of the vector system] The KN tableau rules are invoked directly from the sp(4) case. It is unclear whether these rules have been verified to be compatible with the odd root system of spo(4|1) or whether additional relations arising from the superbracket must be imposed to guarantee that the selected vectors lie inside the irreducible quotient L(λ).

Authors: The tableau conditions are taken from the even subalgebra sp(4) because the positive even roots determine the highest-weight structure in the same way. Compatibility with the odd root system of spo(4|1) follows from the fact that the odd generators act by shifting weights in a manner already encoded by the atypicality of λ; the selected vectors are annihilated by the positive odd generators precisely when the tableau satisfies the KN rules. No further superbracket relations need to be imposed. We will add a short clarifying paragraph in the construction section explaining this verification. revision: yes

Circularity Check

0 steps flagged

No circularity: definition via standard tableaux, independence proved separately, basis claim by explicit analogy

full rationale

The paper defines the Verma vector system directly from Kashiwara-Nakashima tableau conditions on shape λ, then separately establishes linear independence of the resulting vectors. The assertion that the set forms a basis for L(λ) is presented as a consequence that 'turns out to be' true by analogy to the known Verma basis for sp(4); this does not reduce the spanning claim to a tautology or to a fitted parameter. No self-citation chain, ansatz smuggling, or renaming of a known result is used to close the derivation. The construction is therefore self-contained against external combinatorial standards.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Relies on standard background axioms of Lie superalgebra representation theory and combinatorial tableau rules without introducing new free parameters or invented entities.

axioms (2)

domain assumption Kashiwara-Nakashima tableaux conditions define valid vectors in crystal bases for Lie superalgebras.
Used directly to define the Verma vector system.
standard math Finite-dimensional irreducible representations of spo(4|1) are classified by highest weights lambda.
Standard fact from the theory of Lie superalgebras invoked to label the modules L(lambda).

pith-pipeline@v0.9.0 · 5428 in / 1288 out tokens · 113360 ms · 2026-05-10T01:15:21.039888+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

22 extracted references

[1]

Cao and Y

B. Cao and Y. Huang, Verma Bases and Kashiwara-Nakashima Tableaux of sp _4
[2]

I. M. Gelfand and M. L. Tsetlin, Finite-dimensional representations of the group of unimodular matrices, Dokl. Akad. Nauk SSSR 71 (1950), 825--828

1950
[3]

I. M. Gelfand and M. L. Tsetlin, Finite-dimensional representations of the group of orthogonal matrices, Dokl. Akad. Nauk SSSR 71 (1950), 1017--1020

1950
[4]

M. E. Hall, Verma bases of modules for simple Lie algebras, Ph.D. thesis, University of Wisconsin, Madison, 1987

1987
[5]

Hong and S.-J

J. Hong and S.-J. Kang, Introduction to Quantum Groups and Crystal Bases, Graduate Studies in Mathematics 42, American Mathematical Society, Providence, RI, 2002

2002
[6]

J. E. Humphreys, Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics 9, Springer, 1972

1972
[7]

Kac, Lie superalgebras, Adv

V. Kac, Lie superalgebras, Adv. Math. 26 (1977), no. 1, 8--96

1977
[8]

Kac, Representations of classical Lie superalgebras

V. Kac, Representations of classical Lie superalgebras. Differential geometrical methods in mathematical physics, II (Proc. Conf., Univ. Bonn, Bonn, 1977), pp. 597--626, Lecture Notes in Math. 676, Springer, Berlin, 1978

1977
[9]

Kashiwara, Crystalizing the q -analogue of universal enveloping algebras, Comm

M. Kashiwara, Crystalizing the q -analogue of universal enveloping algebras, Comm. Math. Phys. 133 (1990), no. 2, 249--260

1990
[10]

Kashiwara, On crystal bases of the q -analogue of universal enveloping algebras, Duke Math

M. Kashiwara, On crystal bases of the q -analogue of universal enveloping algebras, Duke Math. J. 63 (1991), no. 2, 465--516

1991
[11]

Kashiwara and T

M. Kashiwara and T. Nakashima, Crystal graphs for representations of the q -analogue of classical Lie algebras, J. Algebra 165 (1994), no. 2, 295--345

1994
[12]

Kazhdan, G

D. Kazhdan, G. Lusztig, Representations of Coxeter groups and Hecke algebras, Invent Math, 1979, 53: 165--184

1979
[13]

Kwon, Lusztig data of Kashiwara-Nakashima tableaux in types B and C , J

J.-H. Kwon, Lusztig data of Kashiwara-Nakashima tableaux in types B and C , J. Algebra 503 (2018), 222–264

2018
[14]

S. P. Li, R. V. Moody, M. Nicolescu, and J. Patera, Verma bases for representations of classical simple Lie algebras, J. Math. Phys. 27 (1986), no. 3, 668--677

1986
[15]

Liu and S

J. Liu and S. Yang, Young tableaux and crystal base for U_q(osp(1|2n)) , Sci. China Math. 53 (2010), no. 2, 289--303

2010
[16]

Lusztig, Canonical bases arising from quantized enveloping algebras, J

G. Lusztig, Canonical bases arising from quantized enveloping algebras, J. Amer. Math. Soc. 3 (1990), no. 2, 447--498

1990
[17]

A. I. Molev, A basis for representations of symplectic Lie algebras, Comm. Math. Phys. 201 (1999), no. 3, 591--618

1999
[18]

A. I. Molev, Gelfand--Tsetlin bases for classical Lie algebras, Handbook of Algebra, vol. 4, pp. 109--170. Elsevier/NorthHolland, Amsterdam(2006)

2006
[19]

Po s ta and M

S. Po s ta and M. Havl \' c ek, Note on Verma bases for representations of simple Lie algebras, Acta Polytechnica 53 (2013), no. 5, 450--456

2013
[20]

Paldus and J

J. Paldus and J. Planelles, Valence bond approach and Verma bases, J. Math. Chem. 56 (2018), no. 6, 1595--1630

2018
[21]

K. N. Raghavan and P. Sankaran, On Verma bases for representations of sl (n, C ) , J. Math. Phys. 40 (1999), no. 4, 2190--2195

1999
[22]

C. L. Shader, Representations for Lie superalgebra spo (2m,1) , J. Korean Math. Soc. 36 (1999), no. 3, 593--607

1999