Geometric quotients of unipotent group actions. II (Q4400899)

Part I: \textit{G.-M. Greuel} and \textit{G. Pfister}, Proc. Lond. Math. Soc. (3) 67, No. 1, 75-105 (1993; Zbl 0806.14034). Let \(G\) be a unipotent group defined over a field \(k\) of characteristic zero and assume that \(G\) acts rationally on an affine \(k\)-scheme \(\text{Spec} A\). Let \(B := A^G\) denote the ring of invariants. In part I of this paper (loc. cit.), the authors showed among other things that in the case of a free action, \(\text{Spec} A \to \text{Spec} B\) is a trivial geometric quotient if and only if \(H^1(G,A)\) vanishes. Here they obtain equivalence of the following two statements: (i) \(H^1(G,A) = 0\); (ii) \(\text{Spec} A \to \text{Spec} B\) is faithfully flat and the canonical map \(A \otimes_B A \to A \otimes_k k[G]\) is an isomorphism. For reduced \(A\), one can replace the second condition in (ii) with requiring that the canonical map \(A \otimes_k A \to A \otimes_k k[G]\) is surjective. Moreover, the authors prove: If \(\text{Spec} A \to \text{Spec} B\) is flat and the second condition of (ii) holds, then \(\text{Spec} A\) is mapped onto an open subset \(U \subset \text{Spec} B\) such that \(\text{Spec} A \to U\) is a geometric quotient and a principal fibre bundle with group \(G\). For the entire collection see [Zbl 0890.00033].