## For what reductive groups $G$ over $K$ are the inner forms classified by $H^1(K, G^{ad})$?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Suppose $G$ is a connected reductive algebraic group over an arbitrary field $K$; let $Z$ be the center of $G$. The inner automorphisms of $G$ are given by $\operatorname{Inn}(G) = G / Z = G^{\operatorname{ad}}$. Set $\operatorname{Out}(G)$ to be the quotient $\operatorname{Aut}(G) / G^{\operatorname{ad}}.$ The forms of $G$ are parameterized by $\operatorname{H}^1(K, \operatorname{Aut}(G))$, and the inner forms are those in the image of
$$\operatorname{H}^1(K,G^{\operatorname{ad}}) \rightarrow \operatorname{H}^1(K,\operatorname{Aut}(G))$$ So we can recast the classification of inner forms of $G$ to:

What conditions can we put on $G$ to guarantee that the map $$\operatorname{H}^0(K,\operatorname{Aut}(G)) \rightarrow \operatorname{H}^0(K,\operatorname{Out}(G))$$ is surjective?

I'm primarily interested in the connected reductive case here, but I would be curious about the more general case as well.

On a related note, I've frequently seen the claim that for quasisimple $G$, the group $\operatorname{Out}(G)$ is given by the automorphism group of the Dynkin diagram of $G$. This holds for some reductive $G$ (such as $\operatorname{GL}_n$) and not others (most nontrivial tori will have a nontrivial outer automorphism group and a trivial dynkin diagram).

How can we extend the description of $\operatorname{Out}(G)$ from the case of quasi-simple $G$ to connected reductive $G$?

-

## 2 Answers

I want to address your first question, regarding what conditions you can put on $G$ to guarantee that the map $Aut(G)(K) \rightarrow Out(G)(K)$ is surjective. I am only going to talk about the case where is $G$ semisimple. If $G$ is quasi-split, then the map has a section so it is surjective, as you can see from the references given by fherzig or Victor.

But if $G$ is not quasi-split, there can be obstructions coming from both the Tits index and Tits algebras. One example to consider is $G = Spin(6,2)$ (of type $D_4$) over the real numbers. In that case $Out(G)(K)$ is the symmetric group on 3 letters, but the image of your map has order 2, corresponding to the outer automorphism given by a hyperplane reflection.

If $G$ is absolutely simple, you can hope that the Tits algebras provide the only obstruction to the surjectivity of your map. But this seems to be open. For more details on these obstructions and some positive results (that in some cases the Tits algebras are the only obstruction), see section 2 of my recent paper `Outer automorphisms...'.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Split redictive groups are classified by a combinatorial structure called root datum. If your $G$ is split, the outer automorphism group is the constant group scheme of automorphisms of this structure preserving simple roots. If $G$ is semisimple simply connected or adjoint it is indeed just the automorphism group of the Dynkin diagram, but in the other semisimple cases it can be a proper subgroup of the latter; for general reductive groups it is finitely generated but not always finite. If $G$ is not split, you can get a twisted form of this constant scheme. SGA 3 Exp. XXIV may help.

-
By the way, $GL_n$ has more outer automorphisms, so called central: $g\mapsto det(g)^mg$ for any integer $m$. – Victor Petrov Feb 21 2011 at 20:03

1
These maps aren't automorphisms if $m \ne 0$ and $1+mn \ne -1$: they aren't injective on the centre. In the other cases they are conjugate to $g \mapsto {}^t g^{-1}$. – fherzig Feb 21 2011 at 21:13
It might be helpful to note that any pinning (i.e. choice of a non-trivial element in each simple root subgroup) gives a canonical splitting of the sequence $1 \to Inn(G) \to Aut(G) \to Aut (based root datum) \to 1$. See e.g. Prop. 2.13 in Springer's notes in Corvallis (over alg. closed fields): ams.org/publications/online-books/pspum331-index (first link). This is important in the construction of L-groups (see Borel's notes in Corvallis, volume 2). – fherzig Feb 21 2011 at 21:29
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 42, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9118345379829407, "perplexity_flag": "head"}