1: \begin{abstract}

2: Let $K$ be an algebraically closed field and $\mathbb{A}^n\cong K^n$

3: affine $n$-space. It is known that a finite group $\frak{G}$ can only act freely on $\mathbb{A}^n$

4: if $K$ has characteristic $p>0$ and $\frak{G}$ is a $p$-group. In that case

5: the group action is ``non-linear" and the ring of regular functions

6: $K[\mathbb{A}^n]$ must be a \emph{trace-surjective} $K-\frak{G}$-algebra.\\

7: Now let $\fld$ be an arbitrary field of characteristic $p>0$ and let $G$ be a finite $p$-group.

8: In this paper we study the category $\ts$ of all finitely generated trace-surjective $\fld-G$ algebras.

9: It has been shown in \cite{nonlin} that the objects in $\ts$ are precisely those finitely

10: generated $\fld-G$ algebras $A$ such that $A^G\le A$ is a Galois-extension in the sense

11: of \cite{chr}. Although $\ts$ is not an abelian category it has

12: ``$s$-projective objects", which are analogues of projective modules, and it has ($s$-projective)

13: categorical generators, which we will describe explicitly.

14: %These arise in (homogeneous) modular invariant theory as dehomogenized symmetric algebras of suitable

15: %linear representations, such as the regular representation.

16: We will show that $s$-projective objects and their rings of invariants are retracts of

17: polynomial rings and therefore regular UFDs. The category $\ts$ also has

18: ``weakly initial objects", which are closely related to the essential dimension of $G$ over $\fld$.

19: Our results yield a geometric structure

20: theorem for free actions of finite $p$-groups on affine $\fld$-varieties.

21: There are also close connections to open questions on retracts of polynomial rings,

22: to embedding problems in standard modular Galois-theory of $p$-groups and,

23: potentially, to a new constructive approach

24: to homogeneous invariant theory.

25: \end{abstract}