[Paper Review] Ver\\"anderungen \\"uber einen Satz von Timmesfeld - I. Quadratic Actions

Adrien Deloro|arXiv (Cornell University)|Jan 2, 2013

Advanced Topics in Algebra2 references3 citations

TL;DR

This paper classifies quadratic $ \operatorname{SL}_2(\mathbb{K})$- and $\mathfrak{sl}_2(\mathbb{K})$-modules via direct computation, generalizing a result by Timmesfeld and Smith. It establishes that in characteristic 3, if the generators $x$ and $y$ of $\mathfrak{sl}_2(\mathbb{K})$ act quadratically on a module $V$, then $V$ decomposes as $\operatorname{Ann}_V(\mathfrak{g}) \oplus \mathfrak{g} \cdot V$, with $\mathfrak{g} \cdot V$ isomorphic to a direct sum of natural $\mathfrak{sl}_2(\mathbb{K})$-modules, thereby endowing it with a $\mathbb{K}$-vector space structure and showing it is a $\mathbb{K}\mathfrak{g}$-module.

ABSTRACT

We classify quadratic SL(2,K)- and sl(2,K)-modules by crude computation, generalizing in the first case a Theorem proved independently by F.-G. Timmesfeld and S. Smith. The paper is the first of a series dealing with linearization results for abstract modules of algebraic groups and associated Lie rings.

Motivation & Objective

• To understand the extent to which abstract $G$-modules for algebraic groups $G$ over a field $\mathbb{K}$ are linearizable as $\mathbb{K}G$-modules.
• To investigate whether group actions of $\operatorname{SL}_2(\mathbb{K})$ and its Lie algebra $\mathfrak{sl}_2(\mathbb{K})$ on modules can be endowed with a $\mathbb{K}$-vector space structure through purely algebraic, computation-based methods.
• To explore the robustness of the Smith-Timmesfeld theorem on quadratic actions in the absence of geometric or categorical assumptions.
• To determine the limits of such linearization by analyzing the role of nilpotence, characteristic, and the structure of the Lie ring $\mathfrak{g}$.

Proposed method

• Use of the Steinberg relations to analyze the structure of group and Lie algebra actions on modules.
• Direct computation of endomorphism relations in $\operatorname{End}V$ under the assumption that $x^2 = y^2 = 0$ for the standard generators $x, y$ of $\mathfrak{sl}_2(\mathbb{K})$.
• Decomposition of the module $V$ into generalized eigenspaces $E_{-1}(V), E_0(V), E_1(V)$ for the action of $h$ under the quadraticity assumption.
• Reduction to the case of $\mathfrak{sl}_2(\mathbb{F}_3)$ to exploit finite field structure and exponent 3 conditions.
• Use of the perfectness of $\mathfrak{g}_1 = \mathfrak{sl}_2(\mathbb{F}_3)$ to eliminate the annihilator of $\mathfrak{g}_1$ in the quotient $\bar{V}$, leading to a direct sum decomposition.
• Construction of a $\mathbb{K}$-vector space structure on $\mathfrak{g} \cdot V$ via linear relations derived from the Steinberg relations and quadraticity.

Experimental results

Research questions

• RQ1 Under what conditions does a $\mathfrak{g}$-module $V$ for $\mathfrak{g} = \mathfrak{sl}_2(\mathbb{K})$ admit a $\mathbb{K}$-vector space structure making it a $\mathbb{K}\mathfrak{g}$-module?
• RQ2 Can the quadratic action of $x$ and $y$ on $V$ force $V$ to decompose as a direct sum of $\operatorname{Ann}_V(\mathfrak{g})$ and a $\mathbb{K}\mathfrak{g}$-module isomorphic to a direct sum of natural modules?
• RQ3 To what extent can the representation theory of $\mathfrak{g}$ be recovered from its abstract action as a Lie ring, without assuming a priori $\mathbb{K}$-linearity?
• RQ4 How does the characteristic of the field, particularly characteristic 3, affect the possibility of linearization of quadratic $\mathfrak{g}$-modules?
• RQ5 Is the decomposition $V = \operatorname{Ann}_V(\mathfrak{g}) \oplus \mathfrak{g} \cdot V$ stable under the action of $\mathfrak{g}$, and can $\mathfrak{g} \cdot V$ be endowed with a $\mathbb{K}$-vector space structure?

Key findings

• In characteristic 3, if $x^2 = y^2 = 0$ in $\operatorname{End}V$ for the standard generators of $\mathfrak{sl}_2(\mathbb{K})$, then $V = \operatorname{Ann}_V(\mathfrak{g}) \oplus \mathfrak{g} \cdot V$ as $\mathfrak{g}$-modules.
• The quotient $\bar{V} = V / \operatorname{Ann}_V(\mathfrak{g}_1)$ has exponent 3 and decomposes as $E_{-1}(\bar{V}) \oplus E_1(\bar{V})$, each stable under $x$ and $y$ respectively.
• The submodules $E_{-1}(V)$ and $E_1(V)$ are invariant under $\mathfrak{g}_1$, and their sum $\mathfrak{g}_1 \cdot V$ is isomorphic to a direct sum of copies of the natural $\mathfrak{g}_1$-module $\operatorname{Nat}\mathfrak{g}_1$.
• The action of $x$ on $E_1(V)$ is trivial and $y$ on $E_{-1}(V)$ is trivial, due to the quadraticity and the relation $2hx = 2x$ in $\operatorname{End}V$, which forces $x$-invariants to vanish.
• The image $\mathfrak{g} \cdot V = \operatorname{im}x + \operatorname{im}y$ is isomorphic to $\bar{V}$ and inherits a $\mathbb{K}$-vector space structure via the linear construction from Variation n∘11.
• The $\mathbb{K}$-vector space structure on $\mathfrak{g} \cdot V$ makes it isomorphic to a direct sum of copies of the natural $\mathfrak{sl}_2(\mathbb{K})$-module $\operatorname{Nat}\mathfrak{sl}_2(\mathbb{K})$.