Table of Contents
Fetching ...

Categorification of generic Su-Zhang character formula

Shunsuke Hirota

TL;DR

The paper addresses the problem of categorifying a Weyl-type finite-sum character formula for GL(m|n) in the generic g_{-1}-generic region by constructing a BGG-type resolution built from narrow Verma modules connected through odd reflections between non-conjugate Borel subalgebras. The authors introduce narrow Verma modules N^{()}(λ), defined as the image of a Verma map between distinguished and antidistinguished Borels, and analyze their structure via restriction to the even subalgebra and the Kac functors. The main result is an exact sequence 0 → N^{()}(w_0·λ) → ⊕_{w : ℓ(w)=ℓ(w_0)−1} N^{()}(w·λ) → … → N^{()}(λ) → L^{()}(λ) → 0 for λ that are dominant integral and g_{-1}-generic, with the crucial character formula ch N^{()}(λ) = ch M^{()}(λ) / ∏_{β ∈ Γ_{w·λ}} (1 + e^{−β}). This yields a closed character formula for all g_{-1}-generic antidominant simple highest-weight modules and extends the classical BGG framework to Lie superalgebras in a generic region, linking to Su–Zhang and Kac–Wakimoto character formulas.

Abstract

For semisimple Lie algebras, the BGG resolution is often viewed as a categorification of the Weyl character formula. For general linear Lie superalgebras, Brundan--Stroppel constructed an infinite resolution of the so-called Kostant simple modules by Kac modules, but their construction does not directly generalize the classical BGG resolution. In this paper we construct, for weights lying outside a neighborhood of the walls of the Weyl chambers, a resolution that categorifies a known Weyl-type finite-sum character formula in the same spirit as the Kac--Wakimoto formula. Our resolution is built from images of canonical homomorphisms between Verma modules attached to non-conjugate Borel subalgebras related by odd reflections. In particular, the construction developed here does generalize the classical BGG resolution.

Categorification of generic Su-Zhang character formula

TL;DR

The paper addresses the problem of categorifying a Weyl-type finite-sum character formula for GL(m|n) in the generic g_{-1}-generic region by constructing a BGG-type resolution built from narrow Verma modules connected through odd reflections between non-conjugate Borel subalgebras. The authors introduce narrow Verma modules N^{()}(λ), defined as the image of a Verma map between distinguished and antidistinguished Borels, and analyze their structure via restriction to the even subalgebra and the Kac functors. The main result is an exact sequence 0 → N^{()}(w_0·λ) → ⊕_{w : ℓ(w)=ℓ(w_0)−1} N^{()}(w·λ) → … → N^{()}(λ) → L^{()}(λ) → 0 for λ that are dominant integral and g_{-1}-generic, with the crucial character formula ch N^{()}(λ) = ch M^{()}(λ) / ∏_{β ∈ Γ_{w·λ}} (1 + e^{−β}). This yields a closed character formula for all g_{-1}-generic antidominant simple highest-weight modules and extends the classical BGG framework to Lie superalgebras in a generic region, linking to Su–Zhang and Kac–Wakimoto character formulas.

Abstract

For semisimple Lie algebras, the BGG resolution is often viewed as a categorification of the Weyl character formula. For general linear Lie superalgebras, Brundan--Stroppel constructed an infinite resolution of the so-called Kostant simple modules by Kac modules, but their construction does not directly generalize the classical BGG resolution. In this paper we construct, for weights lying outside a neighborhood of the walls of the Weyl chambers, a resolution that categorifies a known Weyl-type finite-sum character formula in the same spirit as the Kac--Wakimoto formula. Our resolution is built from images of canonical homomorphisms between Verma modules attached to non-conjugate Borel subalgebras related by odd reflections. In particular, the construction developed here does generalize the classical BGG resolution.

Paper Structure

This paper contains 10 sections, 24 theorems, 45 equations.

Key Result

Theorem 1.1

Let $\mathfrak{g} = \mathfrak{gl}(m|n)$ and assume that $\lambda$ is a dominant integral and $\mathfrak{g}_{-1}$-generic weight. Then there exists an exact sequence of $\mathfrak{g}$-modules Moreover, for a $\mathfrak{g}_{-1}$-generic weight $\lambda$, we have,

Theorems & Definitions (32)

  • Theorem 1.1
  • Definition 1
  • Definition 2
  • Lemma 1: See also brundan2014representations Lemma 2.2, chen2020primitive Proposition 2.2.3
  • Lemma 2: bell1993theory, Th. 2.2; coulembier2017gorenstein, §6.1
  • Definition 3
  • Proposition 1: musson2012lie
  • Definition 4: integral Weyl vectors brundan2014representations
  • Lemma 3: musson2012lie
  • Theorem 2.1: musson2012lie
  • ...and 22 more