Let Q be a simple algebraic group of type A or C over a field of good positive characteristic. Let x∈q=Lie(Q) and consider the centraliser qx={y∈q:[xy]=0}. We show that the invariant algebra S(qx)^{qx} is generated by the p th power subalgebra and the mod p reduction of the characteristic zero invariant algebra. The latter algebra is known to be polynomial and we show that it remains so after reduction. Using a theory of symmetrisation in positive characteristic we prove the analogue of this result in the enveloping algebra, where the p -centre plays the role of the p th power subalgebra. In Zassenhausʼ foundational work, the invariant theory and representation theory of modular Lie algebras were shown to be explicitly intertwined. We exploit his theory to give a precise upper bound for the dimensions of simple qx-modules. An application to the geometry of the Zassenhaus variety is given. When g is of type A and g=k⊕p is a symmetric decomposition of orthogonal type we use similar methods to show that for every nilpotent e∈k the invariant algebra S(pe)^{ke} is generated by the p th power subalgebra and S(pe)^{Ke} which is also shown to be polynomial.

Invariants of centralisers in positive characteristic

TOPLEY, LEWIS
2014

Abstract

Let Q be a simple algebraic group of type A or C over a field of good positive characteristic. Let x∈q=Lie(Q) and consider the centraliser qx={y∈q:[xy]=0}. We show that the invariant algebra S(qx)^{qx} is generated by the p th power subalgebra and the mod p reduction of the characteristic zero invariant algebra. The latter algebra is known to be polynomial and we show that it remains so after reduction. Using a theory of symmetrisation in positive characteristic we prove the analogue of this result in the enveloping algebra, where the p -centre plays the role of the p th power subalgebra. In Zassenhausʼ foundational work, the invariant theory and representation theory of modular Lie algebras were shown to be explicitly intertwined. We exploit his theory to give a precise upper bound for the dimensions of simple qx-modules. An application to the geometry of the Zassenhaus variety is given. When g is of type A and g=k⊕p is a symmetric decomposition of orthogonal type we use similar methods to show that for every nilpotent e∈k the invariant algebra S(pe)^{ke} is generated by the p th power subalgebra and S(pe)^{Ke} which is also shown to be polynomial.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3070899
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 3
social impact