Dirac Operators, Dirac Cohomology and Unitarity for $A(mert n)$

Dirac operators and Dirac cohomology for Lie superalgebras of Riemannian type, introduced by Huang and Pandžić, provide an effective tool for the study of unitarizable supermodules. In this article, we study these objects for Lie superalgebras of type $A$ and relate them systematically to unitarity. In the first part, we establish the basic structure of the theory in this setting. We relate unitarity to the Dirac operator, derive the corresponding Dirac inequality, and show that Dirac cohomology determines unitarizable supermodules. We also determine explicitly the Dirac cohomology of unitarizable simple supermodules. In the second part, we turn to applications. We obtain a new characterization of unitarity, establish a relation with Kostant’s cohomology, derive a formula for formal characters, and introduce a Dirac index.

💡 Research Summary

This paper presents a comprehensive study of Dirac operators and Dirac cohomology for Lie superalgebras of type A(m|n) (i.e., sl(m|n) or psl(n|n)), establishing a systematic framework to analyze unitarizable supermodules.

In the first part, the authors develop the foundational theory. They construct the Dirac operator D within the quantum Weil algebra, following the approach of Huang and Pandžić for Riemannian-type Lie superalgebras. For a unitary structure defined by a conjugate-linear anti-involution ω corresponding to a real form, they carefully choose a basis compatible with both the invariant bilinear form and ω. In this setting, they prove a key equivalence: a simple g-supermodule M with a positive definite Hermitian form is unitarizable if and only if the Dirac operator D is self-adjoint with respect to the induced form on M ⊗ M(ḡ₁) (Theorem 1). This leads directly to a fundamental “Dirac inequality” (Proposition 2), which imposes strong constraints on the possible ḡ₀-weights occurring in a unitarizable module. The authors then focus on Dirac cohomology H_D(M). For unitarizable modules, H_D(M) simplifies to ker D. Their central structural result (Theorem 3) provides an explicit calculation: for a nontrivial unitarizable simple highest-weight g-supermodule L(Λ), its Dirac cohomology is isomorphic, as a ḡ₀-module, to the simple ḡ₀-module L₀(Λ - ρ̄₁), where ρ̄₁ is the half-sum of positive odd roots. Consequently, the Dirac cohomology completely determines the unitarizable supermodule.

The second part of the paper explores significant applications derived from this theory. First, the authors obtain a novel characterization of unitarity for highest-weight modules (Theorem 4). A highest-weight g-supermodule M with weight Λ is unitarizable if and only if (a) Λ is the highest weight of a unitarizable ḡ₀-module, and (b) for every simple ḡ₀-composition factor L₀(μ) in a ḡ₀-filtration of M with μ ≠ Λ, the strict Dirac inequality (μ+2ρ, μ) > (Λ+2ρ, Λ) holds. Second, they establish a precise relationship with Kostant cohomology, proving that for any unitarizable simple g-supermodule H, there is an isomorphism H_D(H) ≅ H*(g₊₁, H) ⊗ C_{-ρ̄₁} of k_C-modules (Theorem 5), where k is the maximal compact subalgebra of the chosen real form. Third, they introduce the concept of a “Dirac index” I(M), defined as the virtual ḡ₀-module