1: \begin{abstract}

2: We study quotients of quasi-affine schemes by unipotent groups over

3: fields of characteristic $0$.  To do this, we introduce a notion of

4: stability which allows us to characterize exactly when a principal

5: bundle quotient exists and, together with a cohomological vanishing

6: criterion, to characterize whether or not the resulting quasi-affine

7: quotient scheme is affine. We completely analyze the case of

8: $\ga$-invariant hypersurfaces in a linear $\ga$-representation $W$;

9: here the above characterizations admit simple geometric and

10: algebraic interpretations. As an application, we produce arbitrary

11: dimensional families of non-isomorphic smooth quasi-affine but not

12: affine $n$-dimensional varieties ($n \geq 6$) that are contractible

13: in the sense of $\aone$-homotopy theory.  Indeed, existence follows

14: without any computation; yet explicit defining equations for the

15: varieties depend only on knowing some linear $\ga$- and $SL_2$-

16: invariants, which, for a sufficiently large class, we provide.

17: Similarly, we produce infinitely many non-isomorphic examples in

18: dimensions $4$ and $5$.

19:  Over $\cplx$, the analytic spaces underlying these varieties are

20: non-isomorphic, non-Stein, topologically contractible and often

21: diffeomorphic to ${\mathbb C}^n$.

22: \end{abstract}

23: