3
$\begingroup$

Let $H$ be a connected, unipotent linear algebraic group defined over a local field $k$. Let $H \times_k X \rightarrow X$ be an action of $H$ on an irreducible, affine $k$-variety $X$ which is defined over $k$. Then the orbits of the group action $H(\overline{k}) \times X(\overline{k}) \rightarrow X(\overline{k})$ are Zariski-closed in $X(\overline{k})$.

What about the orbits of the group action $H(k) \times X(k) \rightarrow X(k)$? By the general theory of analytic manifolds, the orbits are locally closed subvarieties of $X(k)$. Are these orbits always closed, as in the algebraically closed case?

Improve this question
$\endgroup$
5
  • 1
    $\begingroup$ Can you further explain how this relates to Kostant-Rosenlicht (1961, Thm 2); Birkes (1971, Thm 12.1); Borel (1991, Prop. 4.10)? $\endgroup$
    – Francois Ziegler
    Mar 6, 2018 at 8:16
  • $\begingroup$ Sorry, I am not sure what you are asking. Those theorems just say that the orbits of $X(\overline{k})$ under a unipotent group are Zariski closed, right? $\endgroup$
    – D_S
    Mar 6, 2018 at 16:54
  • $\begingroup$ Just curious and unsure how algebraic closure enters, in these refs. $\endgroup$
    – Francois Ziegler
    Mar 6, 2018 at 18:17
  • $\begingroup$ If $V \subseteq \mathbb A_k^n$ is an affine scheme of finite type over a field $k$, then $V(\overline{k})$ is an affine variety in the classical sense, i.e. the set of zeroes in $\mathbb A_k^n(\overline{k}) = \overline{k}^n$ of some set of polynomials. In Borel and the other references, they are working with classical varieties. So when they talk about a variety $V$, their $V$ is really our $V(\overline{k})$. $\endgroup$
    – D_S
    Mar 6, 2018 at 19:30
  • $\begingroup$ I see; thank you! $\endgroup$
    – Francois Ziegler
    Mar 7, 2018 at 12:23

1 Answer 1

Reset to default
5
$\begingroup$

Edit: This answer is valid only in characteristic 0!

Yes. For a unipotent group $H$ the orbits of $H(k)$ in $X(k)$ coinside with the intersections of the form $H(\bar{k}).x \cap X(k)$, hence even Zarizki closed. In general, the orbits of $H(k)$ on sets of the form $H(\bar{k}).x \cap X(k)$ are classified by the first cohomology $H^1(k,H_x)$ for $H_x$ the stabilizer of $x$ in $H$. But Galois cohomology of unipotent groups vanish. This is a generalization of the fact that $H^1(k,\mathbb{G}_a) = \{1\}$ and in fact follows from this, since every unipotent group has a filtration with associated graded consist of several copies of $\mathbb{G}_a$, so by induction and some long exact sequences it follows.

Improve this answer
$\endgroup$
9
  • $\begingroup$ Thank you. Does the cohomology set $H^1(k,H_x)$ arise from looking at the exact sequence of pointed sets $1 \rightarrow H_x(\overline{k}) \rightarrow H(\overline{k}) \rightarrow H(\overline{k}).x \rightarrow 1$? $\endgroup$
    – D_S
    Mar 6, 2018 at 6:40
  • $\begingroup$ more or less, but you need to be careful here. The statement that the orbits of $H(k)$ are classified by the cohomology is stringer than the exactness of the corresponding long sequence of cohomology, as a sequence of pointed sets. The action of $H(k)$ on $(H(\bar{k}).x)(k)$ is important. $\endgroup$
    – S. carmeli
    Mar 6, 2018 at 6:57
  • 1
    $\begingroup$ The method of proof in this answer is incorrect when ${\rm{char}}(k)=p>0$ since the scheme-theoretic stabilizer $H_x$ is merely a unipotent group scheme and not necessarily smooth nor connected nor (even if smooth and connected) $k$-split. In particular, it has no reason to have a filtration with successive quotient $\mathbf{G}_a$, and over imperfect fields of characteristic $p$ (including local function fields) the degree-1 cohomology of a form of $\mathbf{G}_a$ can be nontrivial and even infinite. $\endgroup$
    – nfdc23
    Mar 6, 2018 at 7:12
  • $\begingroup$ true, this works only for characteristic 0. thanks. $\endgroup$
    – S. carmeli
    Mar 6, 2018 at 7:25
  • 2
    $\begingroup$ It is still true in char. $p>0$ that the orbits of $H(k)$ are closed in $X(k)$ for the valuation topology. First, the algebraic orbit (scheme-theoretic image of the orbit map) is a closed subscheme $Z$ of $X$ by Rosenlicht, so you may replace $X$ by $Z\cong H/H_x$. The projection $H\to X$ is then an $H_x$-torsor, and the result follows from Theorem 1.2 in my paper with O. Gabber and P. Gille (Algebraic Geometry 5 (2014) 573–612). This works over any henselian valued field $k$ whose completion is a separable extension of $k$. $\endgroup$
    – Laurent Moret-Bailly
    Mar 6, 2018 at 16:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.