Generic and maximal Jordan types (Q884978): Difference between revisions

For \(G\) a finite group scheme over a field \(k\) of characteristic \(p>0,\) one can consider finite flat \(K\)-algebra maps \(\alpha_K:K[t]/( t^{p})\rightarrow KG,\) where \(K\) is a field extension of \(k\) and \(KG\) is the \(k\)-linear dual to the Hopf algebra \(k[G]\) representing \(G\) after base change to \(K\). Such maps, known as \(\pi\)-points of \(G,\) are important in the study the cohomology and representation theory of \(G.\) In the case where \(G\) is an elementary abelian \(p\)-group there is a bijection between \(\Pi(G)\), the equivalence classes of \(\pi \)-points, and homogeneous prime ideals of \(H^{\bullet}(G,k) .\) (Two \(\pi\)-points are equivalent if they specialize to each other.) Given a \(\pi\)-point \(\alpha_{K}\) one can view the Jordan type of \(\alpha_{K}(t) \) as a nilpotent operator \(M_{K}\) for \(M\) a \(kG\)-module. However, it may be the case that, in general, the two equivalent \(\pi\)-points give two different nilpotent operators. The purpose of this paper is to show that, in the case where \(G=E\) is an elementary abelian \(p\)-group, this does not happen, i.e. one may obtain a well-defined nilpotent operator from the elements of \(\Pi(G)\). This is obtained by introducing the Jordan type on \(M_{K}\) at a generic point \(\alpha_{K},\) obtaining the generic Jordan type. The generic Jordan type is an invariant on \(M\), and vital to the proof of the main result. Additionally, the authors introduce the concept of maximal Jordan type. The collection \(\Gamma(G) _{M}\) of non-maximal Jordan types of a given \(M\) provide another geometric invariant, and \(\Gamma(G) _{M}\) is precisely the support variety of \(M\) if and only if the maximal type of \(M\) is projective. The generic Jordan types given by equivalent \(\pi \)-points are shown to be simultaneously maximal or not maximal, and so the non-maximal support variety \(\Gamma(G) _{M}\) is a closed subvariety of \(\Pi(G) \cong\)Proj\(H^{\bullet}(G,k)\).