Related papers: Jacobson-Morozov Lemma for Algebraic Supergroups
In this paper we determine the precise extent to which the classical sl_2-theory of complex semisimple finite-dimensional Lie algebras due to Jacobson--Morozov and Kostant can be extended to positive characteristic. This builds on work of…
For a finite-dimensional semisimple Lie algebra $\mathfrak{g}$, the Jacobson--Morozov theorem gives a construction of subalgebras $\mathfrak{sl}_2 \subset \mathfrak{g}$ corresponding to nilpotent elements of $\mathfrak{g}$. In this note, we…
Let G be a simple algebraic group over an algebraically closed field k of characteristic 2. We consider analogues of the Jacobson-Morozov theorem in this setting. More precisely, we classify those nilpotent elements with a simple…
We establish a connection between two settings of representation stability for the symmetric groups $S_n$ over $\mathbb{C}$. One is the symmetric monoidal category ${\rm Rep}(S_{\infty})$ of algebraic representations of the infinite…
We study the representation theory of the Lie superalgebra $\mathfrak{gl}(1|1)$, constructing two spectral sequences which eventually annihilate precisely the superdimension zero indecomposable modules in the finite-dimensional category.…
Let G be a connected reductive group defined over an algebraically closed field k of characteristic p > 0. The purpose of this paper is two-fold. First, when p is a good prime, we give a new proof of the ``order formula'' of D. Testerman…
Let k be an algebraically closed field of positive characteristic and G a simple algebraic group defined over k. Under the assumption that the characteristic is a good prime for G, we determine a maximal G-stable subvariety U' of the…
Let ${\mathcal X}$ be a category fibered in groupoids over a finite field $\mathbb{F}_q$, and let $k$ be an algebraically closed field containing $\mathbb{F}_q$. Denote by $\phi_k\colon {\mathcal X}_k\to {\mathcal X}_k$ the arithmetic…
We present two novel proofs of the known classification of connected affine algebraic supergroups $G$ such that $\operatorname{Rep}G$ is semisimple. The proofs are geometrically motivated, although both rely on an algebraic lemma that…
Let $H$ be a subgroup of $\text{Sym}_n$, the symmetric group of degree $n$. For a fixed integer $l \geq 2$, the group $G$ presented with generators $x_1, x_2, \ldots ,x_n$ and with relations $x_{i_1}x_{i_2}\cdots x_{i_l} =x_{\sigma (i_1)}…
We construct a faithful categorical representation of an infinite Temperley-Lieb algebra on the periplectic analogue of Deligne's category. We use the corresponding combinatorics to classify thick tensor ideals in this periplectic Deligne…
Let $G$ be a finite group. There is a standard theorem on the classification of $G$-equivariant finite dimensional simple commutative, associative, and Lie algebras (i.e., simple algebras of these types in the category of representations of…
Let G denote a connected, quasi-split reductive group over a field F that is complete with respect to a discrete valuation and that has a perfect residue field. Under mild hypotheses, we produce a subset of the Lie algebra g(F) that picks…
By direct calculations of matrix form of super Jacobi and mixed super Jacobi identities which are obtained from adjoint representation, and using the automorphism supergroup of the gl(1|1) Lie superalgebra, we determine and classify all…
Let $X$ be a nonempty set. Denote by $\mathcal{F}^n_k$ the class of associative operations $F\colon X^n\to X$ satisfying the condition $F(x_1,\ldots,x_n)\in\{x_1,\ldots,x_n\}$ whenever at least $k$ of the elements $x_1,\ldots,x_n$ are equal…
We prove that the Duflo-Serganova functor $DS_x$ attached to an odd nilpotent element $x$ of $\mathfrak{osp}(m|2n)$ is semisimple, i.e. sends a semisimple representation $M$ of $\mathfrak{osp}(m|2n)$ to a semisimple representation of…
Let $G$ be a connected reductive group over a perfect field $k$. We study a certain normal reductive monoid $\overline M$ associated to a parabolic $k$-subgroup $P$ of $G$. The group of units of $\overline M$ is the Levi factor $M$ of $P$.…
Let $P_n=k[x_1,x_2,\ldots,x_n]$ be the polynomial algebra over a field $k$ of characteristic zero in the variables $x_1,x_2,\ldots,x_n$ and $\mathscr{L}_n$ be the left-symmetric algebra of all derivations of $P_n$ \cite{Dzhuma99,UU2014-1}.…
Let $G$ be a simple algebraic group over an algebraically closed field of characteristic $p>0$ and suppose that $p$ is a very good prime for $G$. We prove that any maximal Lie subalgebra $M$ of $\mathfrak{g} = {\rm Lie}(G)$ with ${\rm…
The representation category $\mathcal{A} = Rep(G,\epsilon)$ of a supergroup scheme $G$ has a largest proper tensor ideal, the ideal $\mathcal{N}$ of negligible morphisms. If we divide $\mathcal{A}$ by $\mathcal{N}$ we get the semisimple…