Suppose G is an algebraic group with an action G×X→X on a scheme. Then many of the usual constructions you make when you talk about group actions on sets can be made scheme-theoretically. For example, if x∈X is a point (thought of as a map x:∗→X, where ∗ is Spec of a field or the base scheme), then the stabilizer Stab(x) is naturally a scheme because it is the fiber product
<pre>
Stab(x) ----> G&times;X    (g,y)
  |            |       _
  |            |       |
  v   (x,x)    v       v
  &#8727; --------> X&times;X   (gy,y)
</pre>

1. Does the orbit of a point have a natural scheme structure?
2. Does the fixed locus (the set of points x&isin;X fixed by all of G) have a scheme structure?

For (1), if everything is sufficiently nice, then the morphism G&times;&#8727;&rarr;X, given by g&rarr;g&sdot;x has a scheme-theortic closed image, and the actual image is constructible and invariant under the G-action, so the actual image is an open subset of its closure. Thus, the orbit gets the structure of an open subscheme of a closed subscheme of X. But this construction doesn't feel very natural.

For (2), you can obviously define the functor Fix(T)=\{t&isin;X(T)|t is fixed by every element of G(T)\}. Is this functor always representable?

**Edit:** Given that Scott has given such an excellent (negative) answer to question (1) but not said anything about question (2), I've asked (2) as [a separate question][1].


  [1]: http://mathoverflow.net/questions/3190/is-the-fixed-locus-of-a-group-action-always-a-scheme