Table of Contents
Fetching ...

The Green ring of a restricted enveloping algebra in characteristic 2

Nicolás Andruskiewitsch, Dirceu Bagio, Saradia Della Flora, Daiana Flôres

TL;DR

The paper determines the Green ring of the restricted enveloping algebra $\mathfrak{u}(\mathfrak{m})$ in characteristic $2$ by leveraging the tame classification of indecomposables into simple modules, string modules, and band modules, and then computes all tensor product decompositions to obtain an explicit presentation $r(\mathfrak{u}(\mathfrak{m})) \cong \mathbb{Z}[X]/I$ with generators and relations. It further analyzes the semisimplification of $\operatorname{rep}\,\mathfrak{u}(\mathfrak{m})$, showing that the ser(ie) category is equivalent to the category of $\Gamma$-graded vector spaces for $\Gamma=C_{2}\times\mathbb{Z}$, via a functor sending syzygies to graded simples. These results provide a complete description of the representation ring and its semisimplified version for this tame Hopf algebra, and clarify how indecomposable modules interact under tensor products in characteristic $2$. The work thus advances understanding of Green rings and semisimple quotients for restricted enveloping algebras in low characteristic.

Abstract

Let $\Bbbk$ be an algebraically closed field of characteristic $2$ and let $\mathfrak{fsl}(2)$ be the unique, up to isomorphism, $3$-dimensional simple Lie algebra over $\Bbbk$. Denote by $\mathfrak{m}$ the minimal $2$-envelope of $\mathfrak{fsl}(2)$ and by $\mathfrak{u}(\mathfrak{m})$ its corresponding restricted enveloping algebra. The non-isomorphic finite-dimensional indecomposable $\mathfrak{u}(\mathfrak{m})$-modules were classified in \cite{ABDF}. In this paper, the Green ring (or representation ring) for $\mathfrak{u}(\mathfrak{m})$ is calculated. Also, the semisimplification of the representation category of $\mathfrak{u}(\mathfrak{m})$ is determined.

The Green ring of a restricted enveloping algebra in characteristic 2

TL;DR

The paper determines the Green ring of the restricted enveloping algebra in characteristic by leveraging the tame classification of indecomposables into simple modules, string modules, and band modules, and then computes all tensor product decompositions to obtain an explicit presentation with generators and relations. It further analyzes the semisimplification of , showing that the ser(ie) category is equivalent to the category of -graded vector spaces for , via a functor sending syzygies to graded simples. These results provide a complete description of the representation ring and its semisimplified version for this tame Hopf algebra, and clarify how indecomposable modules interact under tensor products in characteristic . The work thus advances understanding of Green rings and semisimple quotients for restricted enveloping algebras in low characteristic.

Abstract

Let be an algebraically closed field of characteristic and let be the unique, up to isomorphism, -dimensional simple Lie algebra over . Denote by the minimal -envelope of and by its corresponding restricted enveloping algebra. The non-isomorphic finite-dimensional indecomposable -modules were classified in \cite{ABDF}. In this paper, the Green ring (or representation ring) for is calculated. Also, the semisimplification of the representation category of is determined.

Paper Structure

This paper contains 23 sections, 34 theorems, 111 equations, 2 tables.

Key Result

Theorem 1

Let $\mathbb{Z}[X]$ be the polynomial algebra over $\mathbb{Z}$ in the commutative variables $X=\{x_i, Z_{\mathtt{x},s}: i \in \mathbb I_{1,4}, \,\mathtt{x}\in \mathbb{P}_1(\Bbbk), s \in \mathbb{N} \}$ and $I$ the ideal of $\mathbb{Z}[X]$ generated by the relations polynomial and polynomial2. Then w

Theorems & Definitions (74)

  • Theorem
  • Remark 2.1
  • Theorem 2.2
  • Remark 2.3
  • Remark 2.4
  • Proposition 2.5
  • proof
  • Proposition 2.6
  • proof
  • Remark 2.7
  • ...and 64 more