1: \begin{abstract}

2: We study linear actions of algebraic groups on smooth projective

3: varieties $X$. A guiding goal for us is to understand the cohomology

4: of ``quotients" under such actions, by generalizing (from reductive

5: to non-reductive group actions) existing methods involving Mumford's

6: geometric invariant theory (GIT). We concentrate on actions of

7: unipotent groups H, and define sets of stable points $X^s$ and

8: semistable points $X^{ss}$, often explicitly computable via the

9: methods of reductive GIT, which reduce to the standard definitions

10: due to Mumford in the case of reductive actions. We compare these

11: with definitions in the literature. Results include (1) a geometric

12: criterion determining whether or not a ring of invariants is

13: finitely generated, (2) the existence of a geometric quotient of

14: $X^s$, and (3) the existence of a canonical ``enveloping quotient"

15: variety of $X^{ss}$, denoted $X/\!/H$, which (4) has a projective

16: completion given by a reductive GIT quotient and (5) is itself

17: projective and isomorphic to $\Proj(k[X]^H)$ when $k[X]^H$ is

18: finitely generated.

19: \end{abstract}

20: