Support schemes for infinitesimal unipotent supergroups (Q2237377)

Let \(k\) be a field of characteristic \(p\ge 3\). Let \(G\) be a finite \(k\)-supergroup scheme (that is, a finite \(k\)-group scheme which admits a \(\mathbb Z_2\)-grading), the group algebra of which, denoted \(kG\), is a finite-dimensional Hopf superalgebra quotient of the Hopf superalgebra \(\mathbb P_r\) for some \(r\ge 1\). Let \(V_r(G)(A)=\operatorname{Hom}_{\operatorname{Hopf}/A}(\mathbb{P}_r\otimes A,kG\otimes A)\) where \(A\) is a commutative \(k\)-superalgebra. Then \(V_r(G)\) is an affine \(k\)-superscheme of finite type. Let \(H(G,k)=\oplus_{n\ge 0} H^n(G,k)_{\overline n}\). In the work under review, the authors consider the case where \(G\) is infinitesimal, unipotent and of height at most \(r\). They construct a homomorphism \(\psi_r:H(G,k)\to k[V_r(G)]\), where \(k[V_r(G)]\) is the coordinate algebra of \(V_r(G)\). It is shown that \(\ker \psi_r\) is locally nilpotent, and \(\operatorname{im} \psi_r\) contains the \(p^r\)th power of each element of \(k[V_r(G)]\). Thus, one has a universal homeomorphism of schemes \(V_r(G)\to \operatorname{Spec}(H(G,k))\), allowing for a non-cohomological technique to study the support scheme of \(G\). Furthermore, it is shown that the homeomorphism above restricts to support schemes \(V_r(G)_M\to \operatorname{Spec}(H(G,k))_M\) for \(M\) a finite-dimensional rational \(G\)-supermodule.