Extension of derivations to forms (Q6924796)

Let \(R\) be a ring. An additive map \( \delta\colon R\rightarrow R \) is called a derivation of \(R\) if it satisfies the condition \( \delta ( ab ) = \delta ( a )b + a\delta ( b ) \) for all \( a, b\in R \). An element \( r\in R \) is said to be a constant of \(R\) under the derivation \( \delta \) if \( \delta ( r ) = 0 \). In the article under review, a field \(F\) with a derivation \( ' \colon F\rightarrow F \) is fixed and the set of constants of \(F\) under this derivation is denoted by \(C\). This \(C\) is a subfield of \(F\). For a finite-dimensional \(C\)-algebra \(A\), the automorphism scheme of \(A\) is given by the functor \( \mathrm{Aut}_{A}\colon S\mapsto \mathrm{Aut} ( A\otimes_{C} S / S) \) for every commutative \(C\)-algebra \(S\), where \( \mathrm{Aut} ( A\otimes_{C} S / S) \) is the group of all \(S\)-linear automorphisms of \( A\otimes_{C} S \). The functor \( \mathrm{Aut}_{A} \) is an algebraic group scheme over \(C\). Let \( \bar{F} \) denote the separable closure of \(F\). A form of a \(C\)-algebra \(A\) over \(F\) is an \(F\)-algebra \(B\) such that \( A\otimes_{C}\bar{F} \cong B\otimes_{C}\bar{F} \) as \( \bar{F} \)-algebras.\N\NThe main result of the paper (Corollary 2.3.1) states that if \(B\) is a form of \(A\) over \(F\), then there is a derivation of \(B\) extending the derivation of \(F\). The proof is based on the study of the crossed homomorphisms of the Galois group \( Gal ( \bar{F} / F) \) to \( \mathrm{G} ( \bar{F} ) \), where \( \mathrm{G} \) is the smooth automorphism scheme of \(A\).