5 Question on G as a fixed point subgroup

Recall that if $G\rightarrow S$ is a flat group scheme, then a $G$-torsor is an $S$-scheme $X\rightarrow S$ with a $G$-action $G\times_SX\rightarrow X$ such that $G\times_SX\rightarrow X\times_SX$ given by $(g,x)\mapsto (gx,x)$ is an isomorphism and such that $X\rightarrow S$ is faithfully flat. This already gets rid of the flat topology but in the current case where $S=\mathrm{Spec} R$ a local Artinian ring and we also give ourselves an isomorphism of $G$-schemes $X\times_S\mathrm{k}=G\times_S\mathrm{Spec}k$ then it is enough that $X\rightarrow S$ is a flat non-empty $G$-scheme as the fact that $G\times_SX\rightarrow X\times_SX$ is an isomorphism can be checked upon reduction to $k$.

As then $X$ is affine we are talking about a finite flat (non-zero) $R$-algebra $T=R[X]$ which is a $R[G]$-comodule which is also a comodule algebra (i.e., the product $T\bigotimes_RT\rightarrow T$ as well as the unit $R\rightarrow T$ arecomodule maps) together with a comodule algebra isomorphism $T\bigotimes_Rk\rightarrow k[G]$. If we specialise further to the actual case at hand, the category of $U({\frak g}\bigotimes_kR)^\ast$-comodules is isomorphic (for once this is really an isomorphism) as a tensor category to the category of ${\frak g}\bigotimes_kR$-modules (as $p$-Lie algebra). This gives us a description purely in terms of ${\frak g}\bigotimes_kR$-modules.

Note that there is also a very concrete description of $G$-torsors (for $G\rightarrow S$ finite flat for simplicity over an affine $S=\mathrm{Spec}R$). For an $R$-algebra $R'$ we have a tautological map of group schemes $G(R')\hookrightarrow (R'[G]^\ast)^\times$ (an element $f\in G(R')$ is by definition an $R'$-homomorphism $R'[G]^\ast$, it is easily seen to land in $(R'[G]^\ast)^\times$ and is tautologically a group homomorphism). This gives us an embedding of group flat schemes $G\hookrightarrow (R[G]^\ast)^\times$. This gives us a (half-)long exact sequence of cohomology sets associated to $G\hookrightarrow (R[G]^\ast)^\times\rightarrow (R[G]^\ast)^\times/G$. If $R$ is Artinian all $(R[G]^\ast)^\times$-torsor are trivial as they correspond to locally free rank $1$-modules over $R[G]^\ast$ (right modules to be specific) which are all trivial as $R[G]^\ast$ is also Artinian. Hence $G$-torsors correspond to sections of $(R[G]^\ast)^\times/G$ modulo the action of the section of $(R[G]^\ast)^\times$. However, it is in general difficult to get a concrete description of $(R[G]^\ast)^\times$ and even when you have one the orbits may be difficult to figure out.

Addendum: In the orbit description I forgot to add the condition that everything should map to the identity in $k$. Note also that the orbit description is no doubt the closest you can get in general to usual description of for instance $\alpha_p$ and $\mu_p$-torsors where one extracts a $p$'th root of a function (resp. an invertible function). In some other cases one also gets simpler descriptions. For instance if $H$ is a smooth $R$-group scheme and $G$ is the kernel of the Frobenius map, then every $G$-torsor with a trivialisation over $k$ is obtained from a section of $H^{(p)}$.

Addendum 1: As an answer to Jacob's followup question, tautologically the image of $G$ in $(R[G]^\ast)^\times$ consists of the elements $f$ for which $\Delta(f)=f\otimes f$, where $\Delta$ is the coproduct. This means (I hope) that if we let $V$ be the graph of $\Delta$ as a subspace of $R[G]^\ast\times R[G]^\ast\bigotimes [G]^\ast$, then $G$ is the stabiliser of $V$. From this we can get a $1$-dimensional subspace by takint the $\dim V$'th exterior power. Mind you this gives a $1$-dimensional subspace not a vector. In many cases one does however get the same result when looking at a fixed vector.

4 Comments on versal pullbacks

Recall that if $G\rightarrow S$ is a flat group scheme, then a $G$-torsor is an $S$-scheme $X\rightarrow S$ with a $G$-action $G\times_SX\rightarrow X$ such that $G\times_SX\rightarrow X\times_SX$ given by $(g,x)\mapsto (gx,x)$ is an isomorphism and such that $X\rightarrow S$ is faithfully flat. This already gets rid of the flat topology but in the current case where $S=\mathrm{Spec} R$ a local Artinian ring and we also give ourselves an isomorphism of $G$-schemes $X\times_S\mathrm{k}=G\times_S\mathrm{Spec}k$ then it is enough that $X\rightarrow S$ is a flat non-empty $G$-scheme as the fact that $G\times_SX\rightarrow X\times_SX$ is an isomorphism can be checked upon reduction to $k$.

As then $X$ is affine we are talking about a finite flat (non-zero) $R$-algebra $T=R[X]$ which is a $R[G]$-comodule which is also a comodule algebra (i.e., the product $T\bigotimes_RT\rightarrow T$ as well as the unit $R\rightarrow T$ arecomodule maps) together with a comodule algebra isomorphism $T\bigotimes_Rk\rightarrow k[G]$. If we specialise further to the actual case at hand, the category of $U({\frak g}\bigotimes_kR)^\ast$-comodules is isomorphic (for once this is really an isomorphism) as a tensor category to the category of ${\frak g}\bigotimes_kR$-modules (as $p$-Lie algebra). This gives us a description purely in terms of ${\frak g}\bigotimes_kR$-modules.

Note that there is also a very concrete description of $G$-torsors (for $G\rightarrow S$ finite flat for simplicity over an affine $S=\mathrm{Spec}R$). For an $R$-algebra $R'$ we have a tautological map of group schemes $G(R')\hookrightarrow (R'[G]^\ast)^\times$ (an element $f\in G(R')$ is by definition an $R'$-homomorphism $R'[G]^\ast$, it is easily seen to land in $(R'[G]^\ast)^\times$ and is tautologically a group homomorphism). This gives us an embedding of group flat schemes $G\hookrightarrow (R[G]^\ast)^\times$. This gives us a (half-)long exact sequence of cohomology sets associated to $G\hookrightarrow (R[G]^\ast)^\times\rightarrow (R[G]^\ast)^\times/G$. If $R$ is Artinian all $(R[G]^\ast)^\times$-torsor are trivial as they correspond to locally free rank $1$-modules over $R[G]^\ast$ (right modules to be specific) which are all trivial as $R[G]^\ast$ is also Artinian. Hence $G$-torsors correspond to sections of $(R[G]^\ast)^\times/G$ modulo the action of the section of $(R[G]^\ast)^\times$. However, it is in general difficult to get a concrete description of $(R[G]^\ast)^\times$ and even when you have one the orbits may be difficult to figure out.

Addendum: In the orbit description I forgot to add the condition that everything should map to the identity in $k$. Note also that the orbit description is no doubt the closest you can get in general to usual description of for instance $\alpha_p$ and $\mu_p$-torsors where one extracts a $p$'th root of a function (resp. an invertible function). In some other cases one also gets simpler descriptions. For instance if $H$ is a smooth $R$-group scheme and $G$ is the kernel of the Frobenius map, then every $G$-torsor with a trivialisation over $k$ is obtained from a section of $H^{(p)}$.

3 edited body

Recall that if $G\rightarrow S$ is a flat group scheme, then a $G$-torsor is an $S$-scheme $X\rightarrow S$ with a $G$-action $G\times_SX\rightarrow X$ such that $G\times_SX\rightarrow X\times_SX$ given by $(g,x)\mapsto (gx,x)$ is an isomorphism and such that $X\rightarrow S$ is faithfully flat. This already gets rid of the flat topology but in the current case where $S=\mathrm{Spec} R$ a local Artinian ring and we also give ourselves an isomorphism of $G$-schemes $X\times_S\mathrm{k}=G\times_S\mathrm{Spec}k$ then it is enough that $X\rightarrow S$ is a flat non-empty $G$-scheme as the fact that $G\times_SX\rightarrow X\times_SX$ is an isomorphism can be checked upon reduction to $k$.

As then $X$ is affine we are talking about a finite flat (non-zero) $R$-algebra $T=R[X]$ which is a $R[G]$-comodule which is also a comodule algebra (i.e., the product $T\bigotimes_RT\rightarrow T$ as well as the unit $R\rightarrow T$ arecomodule maps) together with a comodule algebra isomorphism $T\bigotimes_Rk\rightarrow k[G]$. If we specialise further to the actual case at hand, the category of $U({\frak g}\bigotimes_kR)^\ast$-comodules is isomorphic (for once this is really an isomorphism) as a tensor category to the category of ${\frak g}\bigotimes_kR$-modules (as 4p4-Lie $p$-Lie algebra). This gives us a description purely in terms of ${\frak g}\bigotimes_kR$-modules.

Note that there is also a very concrete description of $G$-torsors (for $G\rightarrow S$ finite flat for simplicity over an affine $S=\mathrm{Spec}R$). For an $R$-algebra $R'$ we have a tautological map of group schemes $G(R')\hookrightarrow (R'[G]^\ast)^\times$ (an element $f\in G(R')$ is by definition an $R'$-homomorphism $R'[G]^\ast$, it is easily seen to land in $(R'[G]^\ast)^\times$ and is tautologically a group homomorphism). This gives us an embedding of group flat schemes $G\hookrightarrow (R[G]^\ast)^\times$. This gives us a (half-)long exact sequence of cohomology sets associated to $G\hookrightarrow (R[G]^\ast)^\times\rightarrow (R[G]^\ast)^\times/G$. If $R$ is Artinian all $(R[G]^\ast)^\times$-torsor are trivial as they correspond to locally free rank $1$-modules over $R[G]^\ast$ (right modules to be specific) which are all trivial as $R[G]^\ast$ is also Artinian. Hence $G$-torsors correspond to sections of $(R[G]^\ast)^\times/G$ modulo the action of the section of $(R[G]^\ast)^\times$. However, it is in general difficult to get a concrete description of $(R[G]^\ast)^\times$ and even when you have one the orbits may be difficult to figure out.

2 A clarification that one should consider p-Lie algebras
1