Endotrivial modules for nilpotent restricted Lie algebras (Q2173311)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Endotrivial modules for nilpotent restricted Lie algebras |
scientific article |
Statements
Endotrivial modules for nilpotent restricted Lie algebras (English)
0 references
22 April 2020
0 references
Given a finite group of order divisible by a prime \(p\), and \(k\) a field of characteristic \(p\), a finitely generated \(kG\)-module is endotrivial if its \(k\)-endomorphism ring is isomorphic to the trivial module in the stable module category. The notion of an endotrivial module has been extended to other algebraic structures, and in the present paper the authors study the endotrivial modules for finite dimensional nilpotent restricted Lie algebras. If \(\mathfrak g\) is a finite dimensional nilpotent restricted Lie algebra over a field \(k\) of characteristic \(p\), then a \(\mathfrak g\)-module \(M\) is endotrivial if its \(k\)-endomorphism ring is isomomorphic to the direct sum of the trivial \(\mathfrak g\)-module \(k\) and a projective module. Let \(\Omega(M)\) denote the kernel of a projective cover of a \(\mathfrak g\)-module \(M\), and \(\Omega^{-1}(M)\) the cokernel of an injective hull of \(M\). Define iteratively \(\Omega^n(k)=\Omega(\Omega^{n-1}(k))\) and \(\Omega^{-n}(M)=\Omega^{-1}(\Omega^{1-n}(k))\) for all \(n\geq2\). The authors prove in particular that if \(\mathfrak g\) is a commutative nilpotent restricted \(p\)-Lie algebra, then every endotrivial \(\mathfrak g\)-module is isomorphic to the direct sum of some \(\Omega^n(k)\) plus a projective module. Their main result in the paper states that if \(p\geq5\) and \(\mathfrak g\) is a nilpotent restricted Lie algebra over a field \(k\) of characteristic \(p\), and if \(M\) is an endotrivial module for \(\mathfrak g\), then \(M\cong\Omega^n(k)\oplus P\), for some integer \(n\in\mathbb Z\) and for some projective module \(P\). The proof of the main theorem involves an examination of the restricted null cone of \(\mathfrak g\). The authors also show that the result does not extend to characteristic \(2\) by providing an example. If \(p=3\), the authors give an example for which the proof of their main theorem fails.
0 references
restricted Lie algebra
0 references
endotrivial modules
0 references
restricted null cone
0 references
0 references