Table of Contents
Fetching ...

Odd Verma's Theorem

Shunsuke Hirota

TL;DR

This work develops a unifying framework for Verma modules over regular symmetrizable Kac–Moody Lie superalgebras by exploiting odd reflections and edge-colored graphs. It shows that the local interaction of Verma modules across adjacent Borel subalgebras is governed by a $gl(1|1)$-type structure encoded via semibricks, and it builds a categorified picture of the odd reflection graph OR(g) that connects Verma homomorphisms to combinatorial walks. Central constructions include adjusted Borels, hypercube decompositions, and realizations of the principal block of $\mathcal{O}$ for $\mathfrak{gl}(1|1)^{\oplus n}$ as filtrations of semibrick-closures, culminating in a Morita equivalence to the infinite zigzag algebra $K_1^\infty$. The framework yields refined statements about associated varieties and projective dimensions across type I and certain exceptional cases, aided by Duflo–Serganova functors. Overall, the paper provides a cohesive, structural view of Verma-module networks under odd reflections and their representation-theoretic consequences.

Abstract

We formulate several basic properties of Verma supermodules over regular symmetrizable Kac--Moody Lie superalgebras, exhibiting $\mathfrak{gl}(1|1)$-nature as revealed through changing Borel subalgebras. We investigate variants of Verma modules obtained by changing Borel subalgebras, which enable us to realize the principal block of $\mathfrak{gl}(1|1)$ as an extension-closed abelian subcategory of category $\mathcal{O}$. This phenomenon is precisely formulated in terms of semibricks. On the other hand, by applying the exchange property of odd reflections, we describe compositions of homomorphisms between Verma modules associated with different Borel subalgebras that share the same character. As an application, we refine existing results on the associated varieties and projective dimensions of Verma modules.

Odd Verma's Theorem

TL;DR

This work develops a unifying framework for Verma modules over regular symmetrizable Kac–Moody Lie superalgebras by exploiting odd reflections and edge-colored graphs. It shows that the local interaction of Verma modules across adjacent Borel subalgebras is governed by a -type structure encoded via semibricks, and it builds a categorified picture of the odd reflection graph OR(g) that connects Verma homomorphisms to combinatorial walks. Central constructions include adjusted Borels, hypercube decompositions, and realizations of the principal block of for as filtrations of semibrick-closures, culminating in a Morita equivalence to the infinite zigzag algebra . The framework yields refined statements about associated varieties and projective dimensions across type I and certain exceptional cases, aided by Duflo–Serganova functors. Overall, the paper provides a cohesive, structural view of Verma-module networks under odd reflections and their representation-theoretic consequences.

Abstract

We formulate several basic properties of Verma supermodules over regular symmetrizable Kac--Moody Lie superalgebras, exhibiting -nature as revealed through changing Borel subalgebras. We investigate variants of Verma modules obtained by changing Borel subalgebras, which enable us to realize the principal block of as an extension-closed abelian subcategory of category . This phenomenon is precisely formulated in terms of semibricks. On the other hand, by applying the exchange property of odd reflections, we describe compositions of homomorphisms between Verma modules associated with different Borel subalgebras that share the same character. As an application, we refine existing results on the associated varieties and projective dimensions of Verma modules.

Paper Structure

This paper contains 18 sections, 52 theorems, 125 equations.

Key Result

Theorem 1.1

Let us consider a regular Kac-Moody Lie superalgebra $\mathfrak{g}$. Let $\mathfrak{b}$ be a Borel subalgebra of $\mathfrak{g}$, $\alpha$ an isotropic $\mathfrak{b}$-simple root, and $\lambda$ a weight orthogonal to $\alpha$. We define $r_{\alpha}\mathfrak{b}$ to be the Borel subalgebra adjacent to

Theorems & Definitions (109)

  • Theorem 1.1: $\#J=1$ case of \ref{['main_result2']}
  • Lemma 1.2: Lemma 6.1 in cheng2015brundan
  • Theorem 1.3
  • Theorem 1.4
  • Definition 2.1: Edge-Colored Graph
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • Example 2.5: Edge-colored Young's Lattice
  • Example 2.6: Edge-colored Finite Young's Lattice coggins2024visualstanley2012topics.
  • ...and 99 more