[Paper Review] Structure of polynomial representations for orthosymplectic Lie superalgebras

Cuiling Luo|arXiv (Cornell University)|Jan 20, 2010

Algebraic structures and combinatorial models18 references3 citations

TL;DR

This paper completely determines the structure of supersymmetric polynomial representations for orthosymplectic Lie superalgebras $\mathfrak{osp}(2m_1|2n)$ by swapping bosonic multiplication and differential operators in the canonical representation. It identifies new infinite-dimensional irreducible representations and novel composition series for indecomposable representations, significantly advancing the understanding of these complex algebras in mathematical physics.

ABSTRACT

Orthosymplectic Lie superalgebras are fundamental symmetries in modern physics, such as massive supergravity. However, their representations are far from being thoroughly understood. In the present paper, we completely determine the structure of their various supersymmetric polynomial representations obtained by swapping bosonic multiplication operators and differential operators in the canonical supersymmetric polynomial representations. In particular, we obtain certain new infinite-dimensional irreducible representations and new composition series of indecomposable representations for these algebras.

Motivation & Objective

• To fully determine the structure of supersymmetric polynomial representations of orthosymplectic Lie superalgebras $\mathfrak{osp}(2m_1|2n)$.
• To analyze representations obtained by swapping bosonic multiplication and differential operators in the canonical supersymmetric polynomial representation.
• To identify new infinite-dimensional irreducible representations and new composition series of indecomposable representations.
• To resolve long-standing gaps in the representation theory of $\mathfrak{osp}(2m_1|2n)$, particularly in the context of atypical modules and non-completely reducible structures.

Proposed method

• Constructs a supersymmetric polynomial representation of $\mathfrak{gl}(m|2n)$ on $\mathcal{A} = \mathbb{C}[x_1,\dots,x_m,\theta_1,\dots,\theta_{2n}]$ using differential and multiplication operators.
• Applies a duality transformation by swapping the roles of bosonic multiplication operators and differential operators to generate new representations.
• Analyzes the resulting representations using weight space decomposition and highest weight theory.
• Identifies cyclic submodules generated by specific monomials, such as $x_n^{m_1 - k}\theta_1\cdots\theta_{m_1}$, and proves their irreducibility or indecomposability.
• Employs the action of the positive root space $\mathfrak{osp}(2m_1|2n)^+$ to generate all basis vectors in the representation space.
• Uses explicit operator actions, such as $E_{2m_1+1,2m_1+1+2n} + E_{2m_1+1+n,2m_1+1}$, to relate monomials and prove inclusion in cyclic submodules.

Experimental results

Research questions

• RQ1 What is the complete structure of the supersymmetric polynomial representations of $\mathfrak{osp}(2m_1|2n)$ obtained by swapping multiplication and differential operators?
• RQ2 Do these new representations yield previously unknown infinite-dimensional irreducible representations?
• RQ3 Can new composition series for indecomposable representations be constructed from these transformed representations?
• RQ4 How do the weights and highest weight vectors behave in the swapped representation compared to the canonical one?
• RQ5 Are the cyclic submodules generated by specific monomials, such as $x_n^{m_1 - k}\theta_1\cdots\theta_{m_1}$, irreducible or decomposable?

Key findings

• The paper constructs new infinite-dimensional irreducible representations of $\mathfrak{osp}(2m_1|2n)$ by swapping operators in the canonical supersymmetric polynomial representation.
• For $k < m_1$, the cyclic submodule generated by $x_n^{m_1 - k}\theta_1\cdots\theta_{m_1}$ is isomorphic to $\mathcal{A}'_k$, and is irreducible.
• When $k = m_1$, the cyclic submodule generated by $\theta_1\cdots\theta_{m_1}$ is irreducible and equals $\mathcal{A}'_{m_1}$.
• The representation $\mathcal{A}'_k$ is shown to be equal to the cyclic submodule $\langle f \rangle$ for any nonzero $f \in \mathcal{A}'_k$, proving irreducibility.
• The action of $\mathfrak{osp}(2m_1|2n)^+$ on a general element $f = f_0 + f_1\theta_{2m_1+1}$ ensures that $\theta_1\cdots\theta_{m_1}$ or related monomials lie in the submodule, leading to full irreducibility.
• Explicit operator formulas, such as $ (E_{2m_1+1,2m_1+1+2n} + E_{2m_1+1+n,2m_1+1})(x_n^{m_1-k+1}\theta_1\cdots\theta_{m_1}\theta_{2m_1+1}) $, recover lower-weight monomials, confirming closure and irreducibility.