Actions of $S{L}_2(k)$ on affine $k$-domains and fundamental pairs

Abstract

Working over a field $k$ of characteristic zero, this paper studies algebraic actions of $S{L}_2(k)$ on affine $k$-domains by defining and investigating fundamental pairs of derivations. There are three main results: (1) The Structure Theorem for Fundamental derivations (Theorem 3.4) describes the kernel of a fundamental derivation, together with its degree modules and image ideals. (2) The Classification Theorem (Theorem 4.5) lists all normal affine $S{L}_2(k)$-surfaces with trivial units, generalizing the classification given by Gizatullin and Popov for complex $S{L}_2(C)$-surfaces [16]. (3) The Extension Theorem (Theorem 7.6) describes the extension of a fundamental derivation of a $k$-domain $B$ to $B[t]$ by an invariant function. The Classification Theorem is used to describe three-dimensional UFDs which admit a certain kind of $S{L}_2(k)$-action (Theorem 6.2). This description is used to show that any $S{L}_2(k)$-action on $A_k^3$ is linearizable, which was proved by Kraft and Popov in the case $k$ is algebraically closed. This description is also used, together with Panyushev's theorem on linearization of $S{L}_2(k)$-actions on $A_k^4$, to show a cancelation property for threefolds $X$: If $k$ is algebraically closed, $X\times A_k^1\cong A_k^4$ and $X$ admits a notrivial action of $S{L}_2(k)$, then $X\cong A_k^3$ (Theorem 6.6). The Extension Theorem is used to investigate free $G_a$-actions on $A_k^n$ of the type first constructed by Winkelmann.