-
Lie superalgebra modules of constant Jordan type
Authors:
Andrew J. Talian
Abstract:
The theories of $π$-points and modules of constant Jordan type have been a topic of much recent interest in the field of finite group scheme representation theory. These theories allow for a finite group scheme module $M$ to be restricted down and considered as a module over a space of small subgroups whose representation theory is completely understood, but still provide powerful global informati…
▽ More
The theories of $π$-points and modules of constant Jordan type have been a topic of much recent interest in the field of finite group scheme representation theory. These theories allow for a finite group scheme module $M$ to be restricted down and considered as a module over a space of small subgroups whose representation theory is completely understood, but still provide powerful global information about the original representation of $M$.
This paper provides an extension of these ideas and techniques to study finite dimensional supermodules over a classical Lie superalgebra $\mathfrak{g} = \mathfrak{g}_{\overline{0}} \oplus \mathfrak{g}_{\overline{1}}$. Definitions and examples of $\mathfrak{g}$-modules of constant super Jordan type are given along with proofs of some properties of these modules. Additionally, endotrivial modules (a specific case of modules of constant Jordan type) are studied. The case when $\mathfrak{g}$ is a detecting subalgebra, denoted $\mathfrak{f}_r$, of a stable Lie superalgebra is considered in detail and used to construct super vector bundles over projective space $\mathbb{P}^{r-1}$. Finally, a complete classification of supermodules of constant super Jordan type are given for $\mathfrak{f}_1 = \mathfrak{sl}(1|1)$.
△ Less
Submitted 3 September, 2015;
originally announced September 2015.
-
Endotrivial modules for the general linear Lie superalgebra
Authors:
Andrew J. Talian
Abstract:
If $\mathfrak{g} = \mathfrak{g}_{\overline{0}} \oplus \mathfrak{g}_{\overline{1}}$ is a Lie superalgebra over an algebraically closed field $k$ of characteristic 0, the notion of an endotrivial module has recently been extended to $\mathfrak{g}$-modules by defining $M$ to be endotrivial if $\operatorname{Hom}_k(M,M) \cong k_{ev} \oplus P$ as $\mathfrak{g}$-supermodules. Here, $k_{ev}$ denotes the…
▽ More
If $\mathfrak{g} = \mathfrak{g}_{\overline{0}} \oplus \mathfrak{g}_{\overline{1}}$ is a Lie superalgebra over an algebraically closed field $k$ of characteristic 0, the notion of an endotrivial module has recently been extended to $\mathfrak{g}$-modules by defining $M$ to be endotrivial if $\operatorname{Hom}_k(M,M) \cong k_{ev} \oplus P$ as $\mathfrak{g}$-supermodules. Here, $k_{ev}$ denotes the trivial module concentrated in degree $\overline{0}$ and $P$ is a $(U(\mathfrak{g}), U(\mathfrak{g}_{\overline{0}}))$-projective supermodule. In the stable module category, these modules form a group under the tensor product. If $T(\mathfrak{g})$ denotes the group of endotrivial $\mathfrak{g}$-modules, it is interesting and useful to identify this group for a given Lie superalgebra $\mathfrak{g}$. In this paper, a classification is given in the case where $\mathfrak{g} = \mathfrak{gl}(m|n)$ and it is shown that $T(\mathfrak{gl}(m|n)) \cong k \times \mathbb{Z} \times \mathbb{Z}_2$ and is generated by the one parameter family of one dimensional modules $k_λ$ where $λ\in k$, $Ω^1(k_{ev})$, which denotes the first syzygy of $k_{ev}$, and the parity change functor.
△ Less
Submitted 15 April, 2015;
originally announced April 2015.
-
On endotrivial modules for Lie superalgebras
Authors:
Andrew J. Talian
Abstract:
Let $\mathfrak{g} = \mathfrak{g}_{\overline{0}} \oplus \mathfrak{g}_{\overline{1}}$ be a Lie superalgebra over an algebraically closed field, $k$, of characteristic 0. An endotrivial $\mathfrak{g}$-module, $M$, is a $\mathfrak{g}$-supermodule such that $\operatorname{Hom}_k(M,M) \cong k_{ev} \oplus P$ as $\mathfrak{g}$-supermodules, where $k_{ev}$ is the trivial module concentrated in degree…
▽ More
Let $\mathfrak{g} = \mathfrak{g}_{\overline{0}} \oplus \mathfrak{g}_{\overline{1}}$ be a Lie superalgebra over an algebraically closed field, $k$, of characteristic 0. An endotrivial $\mathfrak{g}$-module, $M$, is a $\mathfrak{g}$-supermodule such that $\operatorname{Hom}_k(M,M) \cong k_{ev} \oplus P$ as $\mathfrak{g}$-supermodules, where $k_{ev}$ is the trivial module concentrated in degree $\overline{0}$ and $P$ is a projective $\mathfrak{g}$-supermodule. In the stable module category, these modules form a group under the operation of the tensor product. We show that for an endotrivial module $M$, the syzygies $Ω^n(M)$ are also endotrivial, and for certain Lie superalgebras of particular interest, we show that $Ω^1(k_{ev})$ and the parity change functor actually generate the group of endotrivials. Additionally, for a broader class of Lie superalgebras, for a fixed $n$, we show that there are finitely many endotrivial modules of dimension $n$.
△ Less
Submitted 15 April, 2015; v1 submitted 11 June, 2013;
originally announced June 2013.
-
Second cohomology for finite groups of Lie type
Authors:
Brian D. Boe,
Brian Bonsignore,
Theresa Brons,
Jon F. Carlson,
Leonard Chastkofsky,
Christopher M. Drupieski,
Niles Johnson,
Daniel K. Nakano,
Wenjing Li,
Phong Thanh Luu,
Tiago Macedo,
Nham Vo Ngo,
Brandon L. Samples,
Andrew J. Talian,
Lisa Townsley,
Benjamin J. Wyser
Abstract:
Let $G$ be a simple, simply-connected algebraic group defined over $\mathbb{F}_p$. Given a power $q = p^r$ of $p$, let $G(\mathbb{F}_q) \subset G$ be the subgroup of $\mathbb{F}_q$-rational points. Let $L(λ)$ be the simple rational $G$-module of highest weight $λ$. In this paper we establish sufficient criteria for the restriction map in second cohomology…
▽ More
Let $G$ be a simple, simply-connected algebraic group defined over $\mathbb{F}_p$. Given a power $q = p^r$ of $p$, let $G(\mathbb{F}_q) \subset G$ be the subgroup of $\mathbb{F}_q$-rational points. Let $L(λ)$ be the simple rational $G$-module of highest weight $λ$. In this paper we establish sufficient criteria for the restriction map in second cohomology $H^2(G,L(λ)) \rightarrow H^2(G(\mathbb{F}_q),L(λ))$ to be an isomorphism. In particular, the restriction map is an isomorphism under very mild conditions on $p$ and $q$ provided $λ$ is less than or equal to a fundamental dominant weight. Even when the restriction map is not an isomorphism, we are often able to describe $H^2(G(\mathbb{F}_q),L(λ))$ in terms of rational cohomology for $G$. We apply our techniques to compute $H^2(G(\mathbb{F}_q),L(λ))$ in a wide range of cases, and obtain new examples of nonzero second cohomology for finite groups of Lie type.
△ Less
Submitted 14 December, 2011; v1 submitted 2 October, 2011;
originally announced October 2011.
-
First cohomology for finite groups of Lie type: simple modules with small dominant weights
Authors:
Brian D. Boe,
Adrian M. Brunyate,
Jon F. Carlson,
Leonard Chastkofsky,
Christopher M. Drupieski,
Niles Johnson,
Benjamin F. Jones,
Wenjing Li,
Daniel K. Nakano,
Nham Vo Ngo,
Duc Duy Nguyen,
Brandon L. Samples,
Andrew J. Talian,
Lisa Townsley,
Benjamin J. Wyser
Abstract:
Let $k$ be an algebraically closed field of characteristic $p > 0$, and let $G$ be a simple, simply connected algebraic group defined over $\mathbb{F}_p$. Given $r \geq 1$, set $q=p^r$, and let $G(\mathbb{F}_q)$ be the corresponding finite Chevalley group. In this paper we investigate the structure of the first cohomology group $H^1(G(\mathbb{F}_q),L(λ))$ where $L(λ)$ is the simple $G$-module of h…
▽ More
Let $k$ be an algebraically closed field of characteristic $p > 0$, and let $G$ be a simple, simply connected algebraic group defined over $\mathbb{F}_p$. Given $r \geq 1$, set $q=p^r$, and let $G(\mathbb{F}_q)$ be the corresponding finite Chevalley group. In this paper we investigate the structure of the first cohomology group $H^1(G(\mathbb{F}_q),L(λ))$ where $L(λ)$ is the simple $G$-module of highest weight $λ$. Under certain very mild conditions on $p$ and $q$, we are able to completely describe the first cohomology group when $λ$ is less than or equal to a fundamental dominant weight. In particular, in the cases we consider, we show that the first cohomology group has dimension at most one. Our calculations significantly extend, and provide new proofs for, earlier results of Cline, Parshall, Scott, and Jones, who considered the special case when $λ$ is a minimal nonzero dominant weight.
△ Less
Submitted 24 July, 2011; v1 submitted 6 October, 2010;
originally announced October 2010.
