Table of Contents
Fetching ...

Forms of almost homogeneous varieties over perfect fields

Lucy Moser-Jauslin, Ronan Terpereau

Abstract

We study the k-forms of almost homogeneous varieties over perfect base fields k. First, we discuss criteria for the existence of k-forms in the homogeneous case. Then, we extend the Luna-Vust theory from algebraically closed fields to perfect fields to determine when a given k-form of the open orbit of an almost homogeneous variety extends to a k-form of the entire variety. Finally, in the last section, we apply these results to determine the real forms of complex almost homogeneous SL(2)-threefolds.

Forms of almost homogeneous varieties over perfect fields

Abstract

We study the k-forms of almost homogeneous varieties over perfect base fields k. First, we discuss criteria for the existence of k-forms in the homogeneous case. Then, we extend the Luna-Vust theory from algebraically closed fields to perfect fields to determine when a given k-form of the open orbit of an almost homogeneous variety extends to a k-form of the entire variety. Finally, in the last section, we apply these results to determine the real forms of complex almost homogeneous SL(2)-threefolds.

Paper Structure

This paper contains 32 sections, 27 theorems, 87 equations, 6 figures.

Key Result

Proposition \oldthetheorem

(§ sec:Existence of forms) Let $G$ be a connected linear algebraic group over $\overline{k}$, and let $F$ be a $k$-form of $G$ corresponding to the descent datum $\rho$ on $G$. Let $H \subseteq G$ be an algebraic subgroup. The homogeneous space $X=G/H$ admits a $(k,F)$-form if and only if there exis If item1-prop:A-item2-prop:A are satisfied, then a $(G,\rho)$-equivariant descent datum on $X$ is g

Figures (6)

  • Figure 1: Diagram for Example \ref{['ex:baby example']}.
  • Figure 2: Diagram for Example \ref{['ex:structure extends but the quotient is not a scheme']}.
  • Figure 3: Diagram for Example \ref{['ex:first bis example']}.
  • Figure 4: Diagrams for the minimal smooth completions of $G/H$ when $H=E_6$, $E_7$, and $E_8$.
  • Figure 5: Diagrams for the minimal smooth completions of $G/H$ when $H=D_n$ ($n \geq 4$).
  • ...and 1 more figures

Theorems & Definitions (79)

  • Proposition \oldthetheorem
  • Remark \oldthetheorem
  • Theorem \oldthetheorem
  • Remark \oldthetheorem
  • Theorem \oldthetheorem
  • Corollary \oldthetheorem
  • Remark \oldthetheorem
  • Definition \oldthetheorem
  • Remark \oldthetheorem
  • Definition \oldthetheorem
  • ...and 69 more