Skip to main content

On \(\mathsf {G} \)-isoshtukas over function fields

Abstract

In this paper we classify isogeny classes of global \(\mathsf {G} \)-shtukas over a smooth projective curve \(C/{\mathbb {F}}_q\) (or equivalently \(\sigma \)-conjugacy classes in \(\mathsf {G} (\mathsf {F} \otimes _{{\mathbb {F}}_q} \overline{{\mathbb {F}}_q})\) where \(\mathsf {F} \) is the field of rational functions of C) by two invariants \({\bar{\kappa }},{\bar{\nu }}\) extending previous works of Kottwitz. This result can be applied to study points of moduli spaces of \(\mathsf {G} \)-shtukas and thus is helpful to calculate their cohomology.

Introduction

Let \({\mathbb {F}}_q\) be the finite field with q elements and let C be a curve (= geometrically integral smooth projective scheme of dimension 1) over \({\mathbb {F}}_q\). We denote by \(\mathsf {F} \) the field of rational functions on C. We denote by k an algebraic closure of \({\mathbb {F}}_q\) and let \({\breve{\mathsf {F} }} = \mathsf {F} \otimes _{{\mathbb {F}}_q} k\). The Frobenius automorphism on k induces an automorphism \(\sigma \) on \({\breve{\mathsf {F} }}\).

Let \(\mathsf {G} \) be a (connected) reductive group over \(\mathsf {F} \). A \(\mathsf {G} \)-isoshtuka over k is a \(\mathsf {G} \)-torsor \({\mathscr {V}}\) over \({\breve{\mathsf {F} }}\) together with an isomorphism \(\phi :\sigma ^*{\mathscr {V}}{\mathop {\rightarrow }\limits ^{\sim }}{\mathscr {V}}\). Such a notion naturally arises as the ‘generic fibre’ of a \({\mathscr {G}}\)-shtuka over k where \({\mathscr {G}}\) is a smooth affine group scheme over C with generic fibre \(\mathsf {G} \). The generic fibre plays the role of \({\mathscr {G}}\)-shtuka up to isogeny, hence the terminology ‘\(\mathsf {G} \)-isoshtuka’.

Since \({\breve{\mathsf {F} }}\) has cohomological dimension one by Tsen’s theorem, any \(\mathsf {G} \)-torsor \({\mathscr {V}}\) is trivial by [2, § 8.6]. Choosing a trivialisation \({\mathscr {V}}\cong \mathsf {G} _{{\breve{\mathsf {F} }}}\), \(\phi \) gets identified with the automorphism \(\mathsf {b} \circ \sigma \) for some \(\mathsf {b} \in \mathsf {G} ({\breve{\mathsf {F} }})\). Every other trivialisation of \({\mathscr {V}}\) can be obtained by postcomposing the above isomorphism with an element \(\mathsf {g} \in \mathsf {G} ({\breve{\mathsf {F} }})\), thus replacing \(\mathsf {b} \) by \(\mathsf {g} \mathsf {b} \sigma (\mathsf {g} ^{-1})\). Hence this construction yields a natural bijection between the isomorphism classes of \(\mathsf {G} \)-isoshtukas over k and the set of \(\sigma \)-conjugacy classes in \(\mathsf {G} ({\breve{\mathsf {F} }})\).

This paper studies the pointed set \(\mathrm {B}(\mathsf {F} ,\mathsf {G} )\) of \(\sigma \)-conjugacy classes in \(\mathsf {G} ({\breve{\mathsf {F} }})\). Following the strategy of Kottwitz’ work [17, 19] on \(\sigma \)-conjugacy classes over p-adic fields and his construction of B(FG) for local and global fields in terms of Galois gerbs in [14], we describe its elements via two invariants \(\nu _\mathsf {G} \) and \(\kappa _\mathsf {G} \) on \(\mathrm {B}(\mathsf {F} ,\mathsf {G} )\).

Let us give more details on \(\nu _\mathsf {G} \) and \(\kappa _\mathsf {G} \). For any finite field extension \(\mathsf {E} /\mathsf {F} \), we denote by \({{\,\mathrm{Div}\,}}(\mathsf {E} )\) the free abelian group generated by the set of places in \(\mathsf {E} \) and let

Footnote 1

For every finite extension \(\mathsf {E} '/\mathsf {E} \), we obtain a homomorphism \({{\,\mathrm{Div}\,}}({\mathsf {E} })_0 \rightarrow {{\,\mathrm{Div}\,}}({\mathsf {E} '})_0, x \mapsto \sum _{x'|x} [\mathsf {E} '_{x'}: \mathsf {E} _{x}] x'\). We denote by \({{\,\mathrm{Div}\,}}({{\mathsf {F} }^s})_0 = \varinjlim {{\,\mathrm{Div}\,}}({\mathsf {E} })_0\), where \(\mathsf {E} \) runs through all finite separable extensions of \(\mathsf {F} \) and let \({\mathbb {D}}_{\mathsf {F} }\) be the \(\mathsf {F} \)-protorus with character group \({{\,\mathrm{Div}\,}}({{\mathsf {F} }^s})_0\). In Sects. 3 and 4 we construct invariants

which we call the Kottwitz map and the Newton map, respectively.

The above maps can be localised to obtain the Kottwitz point and the Newton point over a local field of \(\mathsf {F} \). More precisely, let x be a closed point of C and denote by \(F_x\) the completion of \(\mathsf {F} \) at x. We fix an embedding of separable closures \({\mathsf {F} }^s \hookrightarrow F_x^s\).

Proposition 1.1

The map \(\mathsf {b} \mapsto \mathsf {b} \cdot \sigma (\mathsf {b} ) \cdots \sigma ^{\deg (x) -1}(\mathsf {b} )\) induces a map \(N_x:\mathsf {B} (\mathsf {F} ,\mathsf {G} ) \rightarrow \mathrm {B}(F_x,\mathsf {G} )\). Moreover, there exist morphisms \(\iota _x:{\mathbb {D}}\hookrightarrow {\mathbb {D}}_\mathsf {F} \), \({{\,\mathrm{loc}\,}}_x :A(\mathsf {F} ,\mathsf {G} ) \rightarrow \pi _1(\mathsf {G} )_{{{\,\mathrm{Gal}\,}}(F_x^s/F_x)}\) (see Sects. 3 and 4 for their definition) such that for every \({\mathbf {b}}\in \mathrm {B}(\mathsf {F} ,\mathsf {G} )\)

$$\begin{aligned} {\bar{\kappa }}_{\mathsf {G} _{F_x}}(N_x(\mathsf {b} ))&= {{\,\mathrm{loc}\,}}_x({\bar{\kappa }}_\mathsf {G} ({\mathbf {b}})) \\ {\bar{\nu }}_{\mathsf {G} _{F_x}}(N_x(\mathsf {b} ))&= {\bar{\nu }}_\mathsf {G} ({\mathbf {b}}) \circ \iota _x, \end{aligned}$$

where the terms on the left hand side are the Newton and Kottwitz point for the local field \(F_x\) as defined in [17].

Interestingly, the set \(\mathrm {B}(\mathsf {F} ,\mathsf {G} )\) shares a lot of properties with its analogue over local fields. We show that \({\bar{\nu }}_\mathsf {G} ({\mathbf {b}})\) is trivial if and only if \({\mathbf {b}}\) lies in the image of \(\mathrm {H}^{1}(\mathsf {F} ,\mathsf {G} ) \hookrightarrow \mathrm {B}(\mathsf {F} ,\mathsf {G} )\). More generally, we call \({\mathbf {b}}\in \mathrm {B}(\mathsf {F} ,\mathsf {G} )\) basic, if \({\bar{\nu }}_\mathsf {G} ({\mathbf {b}})\) factors through the center of \(\mathsf {G} \). In Sect. 5 we give the following classification of basic \(\sigma \)-conjugacy classes. In particular, this gives complete description of \(\mathrm {B}(\mathsf {F} ,\mathsf {G} )\) when \(\mathsf {G} \) is a torus.

Theorem 1.2

The Kottwitz map induces an isomorphism \(\mathrm {B}(\mathsf {F} ,\mathsf {G} )_b {\mathop {\rightarrow }\limits ^{\sim }}(\pi _1(\mathsf {G} ) \otimes {{\,\mathrm{Div}\,}}({{\mathsf {F} }^s})_0)_{{{\,\mathrm{Gal}\,}}({\mathsf {F} }^s/\mathsf {F} )}\).

To obtain a description of the whole \(\mathrm {B}(\mathsf {F} ,\mathsf {G} )\) by its invariants, we proceed as follows. By giving a combinatorial description how \(\mathrm {B}(\mathsf {F} ,\mathsf {G} )\) behaves under ad-isomorphisms, we may reduce to the case that \(\mathsf {G} \) is of adjoint type. In particular,the quasi-split inner form \(\mathsf {G} ^*\) of \(\mathsf {G} \) is an (extended) pure inner form. From that we deduce that \(\mathrm {B}(\mathsf {F} ,\mathsf {G} ) \cong \mathrm {B}(\mathsf {F} ,\mathsf {G} ^*)\). Thus it suffices to describe \(\mathrm {B}(\mathsf {F} ,\mathsf {G} )\) for quasi-split \(\mathsf {G} \). In this case, we can reduce to the theorem above since every \(\sigma \)-conjugacy class in \(\mathsf {G} \) is induced by a \(\sigma \)-conjugacy class of an \(\mathsf {F} \)-torus in \(\mathsf {G} \). More precisely, we get the following result.

Theorem 1.3

Let \(\mathsf {G} \) be a reductive group.

  1. (1)

    Every \({\mathbf {b}}\in \mathrm {B}(\mathsf {F} ,\mathsf {G} )\) is uniquely determined by its invariants \({\bar{\kappa }}_\mathsf {G} ({\mathbf {b}})\) and \({\bar{\nu }}_\mathsf {G} ({\mathbf {b}})\).

  2. (2)

    If \(\mathsf {G} \) is quasi-split, the canonical map

    $$\begin{aligned} \mathop \bigcup \limits _{\begin{array}{c} \mathsf {T} \subset \mathsf {G} \\ \text {max. } \mathsf {F} - \text {torus} \end{array}} \mathrm {B}(\mathsf {F} ,\mathsf {T} ) \rightarrow \mathrm {B}(\mathsf {F} ,\mathsf {G} ) \end{aligned}$$

    is surjective.

The second part of statement can be seen as an analogue for the moduli space of global \({\mathscr {G}}\)-shtukas to the statement that every isogeny class in the special fibre of a Shimura variety contains a point that can be lifted to a CM-point. A proof of the latter statement for Shimura varieties of PEL-type was first sketched in a letter of Langlands to Rapoport, and was proven in differing generality by Milne [22], Zink [28], Kottwitz [18], Kisin [13] and most recently by Zhou [27] for Shimura varieties of Hodge type with paraholic level structure at p given that certain group theoretic conditions are satisfied.

The classification of \(\mathrm {B}(\mathsf {F} ,\mathsf {G} )\) is a generalisation of Drinfeld’s classification of \(\varphi \)-spaces ( [9], see also [20]). A \(\varphi \)-space over k is an \({\breve{\mathsf {F} }}\)-vector space V together with a \(\sigma \)-semilinear bijection \(\varphi :\sigma ^*V {\mathop {\rightarrow }\limits ^{\sim }}V\) (i.e. a \({{\,\mathrm{GL}\,}}_{\dim V}\)-isoshtuka). Drinfeld proved that the category of \(\varphi \)-spaces is semi-simple and that its simple objects are parametrised by pairs \(({\tilde{\mathsf {F} }},{\tilde{\Pi }})\), where \({\tilde{\mathsf {F} }}\) is a separable finite field extension and \({\tilde{\Pi }} \in {\tilde{\mathsf {F} }}^\times \otimes {\mathbb {Q}}\) does not belong to \(\mathsf {F} '^\times \otimes {\mathbb {Q}}\) for any intermediate field \(\mathsf {F} \subset \mathsf {F} ' \subsetneq {\tilde{\mathsf {F} }}\). In above terms this is stated as follows. Let \((V,\varphi )\) have simple factors which correspond to pairs \(({\tilde{\mathsf {F} }}_i,{\tilde{\Pi }}_i)\). We note that we have an isomorphism

$$\begin{aligned} \mathrm{div}:({\tilde{\mathsf {F} }}_i^\times \otimes {\mathbb {Q}})&{\mathop {\rightarrow }\limits ^{\sim }}{{\,\mathrm{Div}\,}}({{\tilde{\mathsf {F} }}_i})_0 \otimes {\mathbb {Q}}\\ {\tilde{\Pi }}_i&\mapsto \sum x({\tilde{\Pi }}_i) \cdot \deg (x) \cdot x, \end{aligned}$$

since the kernel and cokernel of the “usual” divisor map \({\tilde{\mathsf {F} }}_i^\times \rightarrow {{\,\mathrm{Div}\,}}^0({\tilde{\mathsf {F} }}_i)\) are unit roots and points in the Jacobian, respectively, and in particular torsion. Denote by \(d_i\) the common denominator of \(x({\tilde{\Pi }}_i) \cdot \deg (x)\). By choosing a representative of the Newton point in \({{\,\mathrm{GL}\,}}_{\dim V}\) which maps to the diagonal torus \(\mathsf {T} \) , we can describe it as an element of

$$\begin{aligned} {{\,\mathrm{Hom}\,}}_{{\mathsf {F} }^s}({\mathbb {D}}_F,\mathsf {T} ) = {{\,\mathrm{Hom}\,}}_{{\mathbb {Z}}} (X^*(\mathsf {T} ),X^*({\mathbb {D}}_\mathsf {F} )) = {{\,\mathrm{Div}\,}}({{\mathsf {F} }^s})_0^{\dim V} \end{aligned}$$

unique up to action of the Weyl group, i.e. up to permutation. Then the the \(\sigma \)-conjugacy class \({\mathbf {b}}\in \mathrm {B}(\mathsf {F} ,{{\,\mathrm{GL}\,}}_{\dim V})\) defined by \((V,\varphi )\) is uniquely determined by its Newton point \((\dotsc ,\underbrace{\mathrm{div}(\tau _1({\tilde{\Pi }}_i)),\dotsc ,\mathrm{div}(\tau _{n_i}({\tilde{\Pi }}_i))}_{d_i \text { times repeated}},\dotsc )\), where \(\tau _1,\dotsc ,\tau _{n_i}:{\tilde{\mathsf {F} }}_i \hookrightarrow {\mathsf {F} }^s\) denote the \(\mathsf {F} \)-linear embeddings of \({\tilde{\mathsf {F} }}_i\).

The essential image of the Newton map is determined by Theorem 1.3 (2); any maximal torus of \({{\,\mathrm{GL}\,}}_{\dim V}\) is of the form \(\prod {{\,\mathrm{Res}\,}}_{\mathsf {E} _i/\mathsf {F} } {\mathbb {G}}_m\) where \(\mathsf {E} _i/\mathsf {F} \) are separable field extensions of cumulative degree \(\dim V\). By Theorem 1.1 and the construction of the Newton point given in Sect. 3, they contribute Newton points of the form

$$\begin{aligned} (\dotsc ,\tau _1(D_i),\dotsc ,\tau _{m_i}(D_i),\dotsc ), \end{aligned}$$

where \(D_i \in {{\,\mathrm{Div}\,}}({\mathsf {E} _i})_0\) and \(\tau _1,\dotsc ,\tau _{m_i}:\mathsf {E} \rightarrow {\mathsf {F} }\) denote the \(\mathsf {F} \)-linear embeddings.

These results about \(\mathrm {B}(\mathsf {F} ,\mathsf {G} )\) provide useful tools to study points in the special fibre of moduli space of \({\mathscr {G}}\)-shtukas. There is an extremely long list of previous results on ‘point-counting’ on the moduli space of \({\mathscr {G}}\)-shtukas, most of which partition points by isogeny classes. For the most recent results applicable beyond inner forms of \({{\,\mathrm{GL}\,}}_n\), see [1, 6, 7, 23].

Another natural question to ask is whether the pointed set of \(\sigma \)-conjugacy classes \(\mathrm {B}(\mathsf {F} ,\mathsf {G} )\) and the pointed set of Galois gerbs constructed by Kottwitz in [14] are the same, i.e. whether there exists a canonical isomorphism of functors. This question is proven to have a positive answer in an upcoming work of Iakovenko [11].

Notation and conventions

For any finite extension \(\mathsf {E} /\mathsf {F} \) we denote by \({\breve{\mathsf {E} }} = \mathsf {E} \cdot {\breve{\mathsf {F} }}\) the maximal unramified extension. Let \(\sigma _\mathsf {E} \in {{\,\mathrm{Gal}\,}}({\breve{\mathsf {E} }}/\mathsf {E} )\) denote the lift of the Frobenius of k over the field of constants \(k_\mathsf {E} \) of \(\mathsf {E} \). Let \(C_{\mathsf {E} }\) denote the smooth projective curve associated to \(\mathsf {E} \). We denote by \({{\,\mathrm{Div}\,}}(\mathsf {E} )\) the group of divisors on \(C_{\mathsf {E} }\) and by \({{\,\mathrm{PDiv}\,}}(\mathsf {E} ) \subset {{\,\mathrm{Div}\,}}(\mathsf {E} )\) the subgroup of principal divisors.

For \(y \in |C_{\mathsf {E} }|\) we denote by \(E_y\) the y-adic completion of \(\mathsf {E} \), by \({\breve{E}}_y\) the completion of its maximal unramified extension and by \(\sigma _y:{\breve{E}}_y \rightarrow {\breve{E}}_y\) the Frobenius morphism over \(E_y\). For every field F, we denote by \({F}^s\) the separable closure of F. For every \(x \in |C|\) we fix an embedding \({\mathsf {F} }^s \hookrightarrow {F_x}^s\) and denote by \(y_x\) the corresponding continuation of x to \({\mathsf {F} }^s\).

Preliminaries

In this section we allow \(\mathsf {G} \) to be a linear algebraic group over the function field \(\mathsf {F} \). In the following sections, we will assume that \(\mathsf {G} \) is reductive.

2.1 By evaluating a crossed homomorphism \(f \in {\mathrm {Z}}^1(\sigma ^{\mathbb {Z}},\mathsf {G} ({\breve{\mathsf {F} }}))\) at \(\sigma \) we obtain a natural isomorphism \(\mathrm {H}^{1}(\sigma ^{\mathbb {Z}}, \mathsf {G} ({\breve{\mathsf {F} }})) \cong \mathrm {B}(\mathsf {F} ,\mathsf {G} )\). In particular, the canonical morphism \(\sigma ^{\mathbb {Z}}\hookrightarrow {{\,\mathrm{Gal}\,}}({\breve{\mathsf {F} }}/\mathsf {F} )\) induces an embedding

$$\begin{aligned} \mathrm {H}^{1}({\breve{\mathsf {F} }}/\mathsf {F} ,\mathsf {G} ) \hookrightarrow \mathrm {B}(\mathsf {F} ,\mathsf {G} ). \end{aligned}$$
(2.1)

Moreover, we obtain restriction morphisms

$$\begin{aligned} \mathrm {B}(\mathsf {F} ,\mathsf {G} )&\rightarrow \mathrm {B}(\mathsf {F} ',\mathsf {G} ) \end{aligned}$$
(2.2)
$$\begin{aligned} \mathrm {B}(\mathsf {F} ,\mathsf {G} )&\rightarrow \mathrm {B}(F_x,\mathsf {G} ) \end{aligned}$$
(2.3)

for any finite field extension \(\mathsf {F} '/\mathsf {F} \) and any place \(x \in |C|\). Explicitly, these morphism are given as follows. For \(\mathsf {g} \in \mathsf {G} ({\breve{\mathsf {F} }})\) and \(d \in {\mathbb {N}}\) let

$$\begin{aligned} {\mathrm {N}}^{(d)}(\mathsf {g} ) :=\mathsf {g} \cdot \sigma (\mathsf {g} ) \cdots \sigma ^{d-1}(\mathsf {g} ). \end{aligned}$$

By a similar argument as above, we have

$$\begin{aligned}\mathrm {H}^{1}({\breve{\mathsf {F} }}/\mathsf {F} ,\mathsf {G} ) \cong \mathrm {H}^{1}(\sigma ^{{\hat{{\mathbb {Z}}}}},\mathsf {G} ({\breve{\mathsf {F} }})) = \varinjlim \mathrm {H}^{1}(\sigma ^{{\mathbb {Z}}/d{\mathbb {Z}}},\mathsf {G} (\mathsf {F} \otimes {\mathbb {F}}_{q^d})),\end{aligned}$$

thus (2.1) identifies \(\mathrm {H}^{1}({\breve{\mathsf {F} }}/\mathsf {F} ,\mathsf {G} )\) with the \(\sigma \)-conjugacy classes \({\mathbf {b}}\in \mathrm {B}(\mathsf {F} ,\mathsf {G} )\) such that for some (or equivalently every) \(\mathsf {b} \in {\mathbf {b}}\) we have \({\mathrm {N}}^{(d)}(\mathsf {b} ) = 1\) for some \(d\in {\mathbb {N}}\) divisible enough. The morphisms (2.2) and (2.3) are induced by \(\mathsf {g} \mapsto {\mathrm {N}}^{(d)}(\mathsf {g} )\), where d denotes the degree of the field of constants in \(\mathsf {F} '\) over \({\mathbb {F}}_q\), respectively the degree of x.

If \(\mathsf {G} \) is abelian, we obtain in addition the corestriction morphism

$$\begin{aligned} \mathrm {B}(\mathsf {F} ',\mathsf {G} ) \rightarrow \mathrm {B}(\mathsf {F} ,\mathsf {G} ) \end{aligned}$$
(2.4)

for any finite field extension \(\mathsf {F} '/\mathsf {F} \). Explicitly, this map is given by \(\mathsf {g} \mapsto \prod \tau (\mathsf {g} )\) where the product is taken over all \({\breve{\mathsf {F} }}\)-linear embeddings \({\breve{\mathsf {F} }}' \hookrightarrow {\mathsf {F} }^s\).

2.2 Assume for the moment that \(\mathrm {H}^{1}({\breve{\mathsf {F} }},\mathsf {G} ) = 1\). This is for example the case when \(\mathsf {G} \) is reductive ([2, § 8.6]), split unipotent or any extension thereof. As the Weil group \(W_\mathsf {F} \) fits inside a short exact sequence

figurea

we obtain the inflation-restriction exact sequence

figureb

Since \(\mathrm {H}^{1}({\breve{\mathsf {F} }},\mathsf {G} ) = 1\) by assumption, we thus obtain a natural isomorphism \(\mathrm {H}^{1}(W_\mathsf {F} ,\mathsf {G} ({\mathsf {F} }^s)) \cong \mathrm {B}(\mathsf {F} ,\mathsf {G} )\). Similarly, we have \(\mathrm {H}^{1}(\mathsf {F} ,\mathsf {G} ) \cong \mathrm {H}^{1}({\breve{\mathsf {F} }}/\mathsf {F} ,\mathsf {G} )\).

Let \(1 \rightarrow \mathsf {G} _1 \rightarrow \mathsf {G} _2 \rightarrow \mathsf {G} _3 \rightarrow 1\) be an exact sequence of linear algebraic groups with \(\mathrm {H}^{1}({\breve{\mathsf {F} }},\mathsf {G} _1) = 1\). Thus the sequence

figurec

is also exact. Taking the long exact cohomology sequence for \(\sigma ^{\mathbb {Z}}\), we obtain

figured

where the surjectivity of \(\mathrm {B}(\mathsf {F} ,\mathsf {G} _2) \rightarrow \mathrm {B}(\mathsf {F} ,\mathsf {G} _3)\) is an immediate consequence of the surjectivity of \(\mathsf {G} _2({\breve{\mathsf {F} }}) \rightarrow \mathsf {G} _3({\breve{\mathsf {F} }})\).

2.3 Let \(\mathsf {F} '/\mathsf {F} \) be a finite field extension and \(\mathsf {G} '\) be a linear algebraic group over \(\mathsf {F} '\). We denote by \({{\,\mathrm{Res}\,}}_{\mathsf {F} '/\mathsf {F} } \mathsf {G} '\) the \(\mathsf {F} \)-group obtained from \(\mathsf {G} '\) by restriction of scalars and let \(\sigma ^d :=\sigma '\) denote the Frobenius over \(\mathsf {F} '\). Then \(({{\,\mathrm{Res}\,}}_{\mathsf {F} '/\mathsf {F} } \mathsf {G} ')({\breve{\mathsf {F} }})\) is the induced \(\sigma ^{\mathbb {Z}}\)-group from the \(\sigma '^{\mathbb {Z}}\)-group \(\mathsf {G} '({\breve{\mathsf {F} }}')\). Thus Shapiro’s lemma (see e.g. [26, Prop. 8]) tells us that we have an isomorphism

$$\begin{aligned} \mathrm {B}(\mathsf {F} ,{{\,\mathrm{Res}\,}}_{\mathsf {F} '/\mathsf {F} } \mathsf {G} ') {\mathop {\rightarrow }\limits ^{\sim }}\mathrm {B}(\mathsf {F} ',\mathsf {G} ') \end{aligned}$$
(2.5)

given by \(\mathsf {g} \mapsto {\mathrm {N}}^{(d)}(m(\mathsf {g} ))\) where m denotes the multiplication map \(({{\,\mathrm{Res}\,}}_{\mathsf {F} '/\mathsf {F} }\mathsf {G} ')({\breve{\mathsf {F} }})=\mathsf {G} '(\mathsf {F} ' \otimes _\mathsf {F} {\breve{\mathsf {F} }}) \rightarrow \mathsf {G} '({\breve{\mathsf {F} }}')\). Note that we may interpret (2.2) and (2.3) as composition of

where the first morphism is induced by the canonical embedding \(\mathsf {G} ({\breve{\mathsf {F} }}) \hookrightarrow \mathsf {G} ({\breve{\mathsf {F} }} \otimes _{\mathsf {F} } \mathsf {F} ')\) and , respectively and the isomorphism is given by (2.5).

Example 2.4

Assume that \(\mathsf {G} = {\mathbb {G}}_m\). By taking coinvariants of the short exact sequence

figuree

we obtain \(\mathrm {B}(\mathsf {F} ,{\mathbb {G}}_m) \cong {{\,\mathrm{PDiv}\,}}({\breve{\mathsf {F} }})_{\sigma }\) since every element of \({\overline{\mathbb {F}}}_q^\times \) can be written as \(\sigma (x) \cdot x^{-1}= x^{q-1}\) and hence \(({\overline{\mathbb {F}}}_q^\times )_\sigma = 1\). By Shapiro’s lemma we obtain for any finite separable extension \(\mathsf {E} /\mathsf {F} \) that \(\mathrm {B}(\mathsf {F} ,{{\,\mathrm{Res}\,}}_{\mathsf {E} /\mathsf {F} }{\mathbb {G}}_m) \cong {{\,\mathrm{PDiv}\,}}({\breve{\mathsf {E} }})_{\sigma _\mathsf {E} }\).

2.5 To get an explicit description of \({{\,\mathrm{PDiv}\,}}({\breve{\mathsf {E} }})_{\sigma _\mathsf {E} }\), consider the exact sequence

figuref

where we identified \({{\,\mathrm{Pic}\,}}^0(C_\mathsf {E} )({\bar{{\mathbb {F}}}}_q) = {{\,\mathrm{Pic}\,}}^0(C_{{\breve{\mathsf {E} }}})({\bar{{\mathbb {F}}}}_q)\) (see e.g. [4, Prop. 8.1.4]). Since the the Lang isogeny is surjective, the right most term is trivial and thus \({{\,\mathrm{PDiv}\,}}({\breve{\mathsf {E} }})_{\sigma _\mathsf {E} } \rightarrow {{\,\mathrm{Div}\,}}^0({\breve{\mathsf {E} }})_{\sigma _\mathsf {E} }\) is surjective. As \({{\,\mathrm{Pic}\,}}^0(C_\mathsf {E} )({\overline{\mathbb {F}}}_q)\) is torsion, so is the left most term. But \({{\,\mathrm{PDiv}\,}}({\breve{\mathsf {E} }})_{\sigma _\mathsf {E} ,\mathrm{tors}} \cong \mathrm {B}(\mathsf {E} ,{\mathbb {G}}_m)_{\mathrm{tors}}\), i.e. a torsion element corresponds to a class \([x] \in ({\breve{\mathsf {E} }}^\times )_{\sigma _\mathsf {E} }\) such that there exist \(y \in {\breve{\mathsf {E} }}, n\in {\mathbb {N}}\) such that \(x^n = y\cdot \sigma _E(y)^{-1}\). In particular, if we fix a finite subextension \(\mathsf {E} ' \subset {\breve{\mathsf {E} }}\) containing x and y, we obtain \(N_{\mathsf {E} '/\mathsf {E} }(x)^n = N_{\mathsf {E} '/\mathsf {E} }(y\cdot \sigma _E(y)^{-1}) = 1\). By further enlarging \(\mathsf {E} '\) by a degree n subextension of \({\breve{\mathsf {E} }}\), we obtain \(N_{\mathsf {E} '/\mathsf {E} }(x) = 1\) and thus is already of the form \(y'\cdot \sigma (y')^{-1}\) for some \(y' \in \mathsf {E} '\) by Hilbert 90. In other words, \([x] = [1]\) and hence we have \({{\,\mathrm{PDiv}\,}}({\breve{\mathsf {E} }})_{\sigma _\mathsf {E} ,\mathrm{tors}} = 1\). Altogether, we have shown that \({{\,\mathrm{PDiv}\,}}({\breve{\mathsf {E} }})_{\sigma _\mathsf {E} } \cong {{\,\mathrm{Div}\,}}^0({\breve{\mathsf {E} }})_{\sigma _\mathsf {E} }\), which we further identify with

$$\begin{aligned} {{\,\mathrm{Div}\,}}({\mathsf {E} })_0 :=\left\{ \sum n_x\cdot x \in {{\,\mathrm{Div}\,}}(\mathsf {E} ) \mid \sum n_x = 0\right\} \end{aligned}$$

via \(y \mapsto {y}{|}_{E}\). We denote by \([\mathrm div]:\) \({\breve{\mathsf {E} }}\) \(\rightarrow {{\,\mathrm{Div}\,}}^0({\breve{\mathsf {E} }})_{\sigma _\mathsf {E} } = {{\,\mathrm{Div}\,}}({\mathsf {E} })_0\) the composition of \(\mathrm{div}\) with the canonical projection \({{\,\mathrm{Div}\,}}({{\breve{\mathsf {E} }}})_0\twoheadrightarrow ({{\,\mathrm{Div}\,}}({{\breve{\mathsf {E} }}})_0)_{\sigma _\mathsf {E} }\).

2.6 For any finite extension \(\mathsf {E} /\mathsf {F} \), we denote by \(f_{\mathsf {E} /\mathsf {F} }:C_{{\breve{\mathsf {E} }}} \rightarrow C_{{\breve{\mathsf {F} }}}\) the morphism of curves corresponding to \({\breve{\mathsf {E} }}/{\breve{\mathsf {F} }}\). Using the identification above, the push-forward and pull-back of divisors on these curve induces morphisms \(f_{\mathsf {E} /\mathsf {F} }^*:{{\,\mathrm{Div}\,}}({\mathsf {F} })_0 \rightarrow {{\,\mathrm{Div}\,}}({\mathsf {E} })_0\) and \(f_{\mathsf {E} /\mathsf {F} ,*}:{{\,\mathrm{Div}\,}}({\mathsf {F} })_0 \rightarrow {{\,\mathrm{Div}\,}}({\mathsf {E} })_0\). More explicitly, these morphisms are given by

$$\begin{aligned} f_{\mathsf {E} /\mathsf {F} }^*(x)&= \sum _{y|x} [E_y:F_x] \cdot y \\ f_{\mathsf {E} /\mathsf {F} ,*}(y)&= {y}{|}_{\mathsf {F} }. \end{aligned}$$

Note that when \(\mathsf {E} /\mathsf {F} \) is Galois, \(f_{\mathsf {E} /\mathsf {F} ,*}\) induces an isomorphism \({{{\,\mathrm{Div}\,}}({\mathsf {E} })_0}_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )} \cong {{\,\mathrm{Div}\,}}({\mathsf {F} })_0\).

Tori

Let \(\mathsf {E} /\mathsf {F} \) be a finite Galois extension. In order to generalise the isomorphism in Example 2.4 to arbitrary \(\mathsf {F} \)-tori, we rewrite it as

$$\begin{aligned} (X_*({{\,\mathrm{Res}\,}}_{\mathsf {E} /\mathsf {F} }{\mathbb {G}}_m) \otimes {{\,\mathrm{Div}\,}}({\mathsf {E} })_0)_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )} \cong \mathrm {B}(\mathsf {F} ,{{\,\mathrm{Res}\,}}_{\mathsf {E} /\mathsf {F} }{\mathbb {G}}_m), \end{aligned}$$
(3.1)

via the canonical isomorphism of functors

$$\begin{aligned} (X_*({{\,\mathrm{Res}\,}}_{\mathsf {E} /\mathsf {F} }{\mathbb {G}}_m) \otimes (\cdot ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )} \cong ({\mathbb {Z}}[{{\,\mathrm{Gal}\,}}{(\mathsf {E} /\mathsf {F} )}] \otimes (\cdot ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )} \cong (\cdot ) \end{aligned}$$

Proposition 4.1

Let \(\mathsf {E} /\mathsf {F} \) be a finite Galois extension. The isomorphism (3.1) can be extended uniquely to an isomorphism of functors

$$\begin{aligned} ({{\,\mathrm{Div}\,}}({\mathsf {E} })_0\otimes X_*(\cdot ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )} {\mathop {\rightarrow }\limits ^{\sim }}\mathrm {B}(\mathsf {F} ,\cdot ) \end{aligned}$$

of \(\mathsf {F} \)-tori which split over \(\mathsf {E} \). Moreover, for any Galois extension \(\mathsf {E} \subset \mathsf {E} '\) the diagram of functors on \(\mathsf {E} \)-split \(\mathsf {F} \)-tori

figureg

commutes.

Proof

We first show the second part of the proposition, assuming that the first part holds. As the diagram

figureh

commutes, the functor homomorphism extending (3.1) for \(\mathsf {E} '\) also yields the isomorphism for \(\mathsf {E} \). Hence the second part of the proposition holds by uniqueness.

The functor \(X_*\) is represented by \({{\,\mathrm{Res}\,}}_{\mathsf {E} /\mathsf {F} } {\mathbb {G}}_m\). Thus

$$\begin{aligned} {{\,\mathrm{Hom}\,}}({{\,\mathrm{Div}\,}}({\mathsf {E} })_0 \otimes X_*(\cdot ),\mathrm {B}(\mathsf {F} ,\cdot ))&\cong {{\,\mathrm{Hom}\,}}(X_*(\cdot ),{{\,\mathrm{Hom}\,}}({{\,\mathrm{Div}\,}}({\mathsf {E} })_0,\mathrm {B}(\mathsf {F} ,\cdot ))) \\&\cong {{\,\mathrm{Hom}\,}}({{\,\mathrm{Div}\,}}({\mathsf {E} })_0,\mathrm {B}(\mathsf {F} ,{{\,\mathrm{Res}\,}}_{\mathsf {E} /\mathsf {F} } {\mathbb {G}}_m)) \\&\cong {{\,\mathrm{End}\,}}({{\,\mathrm{Div}\,}}({\mathsf {E} })_0) \end{aligned}$$

Because the second isomorphism is induced by evaluating at \({{\,\mathrm{Res}\,}}_{\mathsf {E} /\mathsf {F} }{\mathbb {G}}_m\), any such functor homomorphism is uniquely determined by its values on the \({{\,\mathrm{Res}\,}}_{\mathsf {E} /\mathsf {F} } {\mathbb {G}}_m\)-valued points, proving the uniqueness part of the proposition. One checks easily that the functor homomorphism corresponding to the identity extends the map \(X_*({{\,\mathrm{Res}\,}}_{\mathsf {E} /\mathsf {F} }{\mathbb {G}}_m) \otimes {{\,\mathrm{Div}\,}}({\mathsf {E} })_0 \rightarrow \mathrm {B}({{\,\mathrm{Res}\,}}_{\mathsf {E} /\mathsf {F} }{\mathbb {G}}_m,\mathsf {F} )\) induced by (3.1). Note that every element \(\gamma \in {{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )\) induces an endomorphism \(X_*(\cdot ) {\mathop {\rightarrow }\limits ^{\sim }}X_*(\cdot )\). Hence \({{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )\) acts on \({{\,\mathrm{Hom}\,}}(X_*(\cdot ) \otimes {{\,\mathrm{Div}\,}}({\mathsf {E} })_0,\mathrm {B}(\mathsf {F} ,\cdot ))\) via precomposing. By tracing through the definitions, one checks that the action corresponds to the standard \({{\,\mathrm{Gal}\,}}(\mathsf {F} /\mathsf {E} )\)-action on \({{\,\mathrm{End}\,}}({{\,\mathrm{Div}\,}}({\mathsf {E} })_0)\). In particular, the functor morphism corresponding to the identity is \({{\,\mathrm{Gal}\,}}(\mathsf {F} /\mathsf {E} )\)-invariant and thus induces a functor

$$\begin{aligned} ({{\,\mathrm{Div}\,}}({\mathsf {E} })_0\otimes X_*(\cdot ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )} \rightarrow \mathrm {B}(\mathsf {F} ,\cdot ) \end{aligned}$$

It remains to prove that this is an isomorphism. Fix an \(\mathsf {E} \)-split torus \(\mathsf {T} \) and an exact sequence

figurei

where \(\mathsf {S} \) is a product of copies of \({{\,\mathrm{Res}\,}}_{\mathsf {E} /\mathsf {F} } {\mathbb {G}}_m\). We obtain a commutative diagram with exact rows

figurej

Since the middle vertical morphism is an isomorphism the right map is surjective. Since this must be true for any \(\mathsf {E} \)-torus, it also holds for \(\mathsf {U} \). So the left vertical map is surjective, proving that the right map is also injective by the 4-lemma. \(\square \)

To simplify notation, we define the functor from \(\mathsf {F} \)-tori to abelian groups

$$\begin{aligned} \mathrm {A}(\mathsf {F} ,\cdot ) :=\varprojlim _{f_{\mathsf {E} '/\mathsf {E} ,*}} ({{\,\mathrm{Div}\,}}({\mathsf {E} })_0\otimes X_*(\cdot ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )}. \end{aligned}$$

Thus the main result of the Proposition 4.1 above is that \(\mathrm {A}(\mathsf {F} ,\cdot )\) and \(\mathrm {B}(\mathsf {F} ,\cdot )\) are canonically isomorphic to each other.

Definition 3.2

For any \(\mathsf {F} \)-torus \(\mathsf {T} \) we define \({\bar{\kappa }}_\mathsf {T} :\mathrm {B}(\mathsf {F} ,\mathsf {T} ) \rightarrow \mathrm {A}(\mathsf {F} ,\mathsf {T} )\) as the inverse of above isomorphism \(\mathrm {A}(\mathsf {F} ,\mathsf {T} ) \cong \mathrm {B}(\mathsf {F} ,\mathsf {T} )\).

3.3 Let \(\mathsf {F} '/\mathsf {F} \) be a finite Galois extension. We define the morphism \({{\,\mathrm{Nm}\,}}_{\mathsf {F} '/\mathsf {F} }:\mathrm {A}(\mathsf {F} ,\cdot ) \rightarrow \mathrm {A}(\mathsf {F} ',\cdot )\) as the morphism induced by restriction morphisms \(({{\,\mathrm{Div}\,}}({\mathsf {E} })_0\otimes X_*(\cdot ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )} \rightarrow ({{\,\mathrm{Div}\,}}({\mathsf {E} })_0\otimes X_*(\cdot ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} ')}, a \mapsto \sum _{\gamma } \gamma \cdot a, \) where \(\gamma \) runs through a set of representatives of \({{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )/{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} ')\). Similarly, we let \({{\,\mathrm{cor}\,}}_{\mathsf {F} '/\mathsf {F} }:\mathrm {A}(\mathsf {F} ',\cdot ) \rightarrow \mathrm {A}(\mathsf {F} ,\cdot )\) to be induced by the canonical projection \( ({{\,\mathrm{Div}\,}}({\mathsf {E} })_0\otimes X_*(\cdot ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} ')} \twoheadrightarrow ({{\,\mathrm{Div}\,}}({\mathsf {E} })_0\otimes X_*(\cdot ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )}\). Moreover, for any place \(x \in |C|\), we define \({{\,\mathrm{loc}\,}}_x:\mathrm {A}(\mathsf {F} ,\cdot ) \rightarrow X_*(\cdot )_{{{\,\mathrm{Gal}\,}}({F_x}^s,F_x)}\) as follows. Let \(\mathsf {T} \) be an \(\mathsf {F} \)-torus with splitting field \(\mathsf {E} \). Denoting by \(y_x|x\) the place defined by our chosen embedding \({\mathsf {F} }^s \hookrightarrow {F_x}^s\), the field \(E_{y_x}\) is a splitting field of \(\mathsf {T} _{F_x}\). We define \({{\,\mathrm{loc}\,}}_x\) as the composition of

$$\begin{aligned} ({{\,\mathrm{Div}\,}}({\mathsf {E} })_0&\otimes X_*(\mathsf {T} ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )} \xrightarrow {{{\,\mathrm{loc}\,}}_{\mathsf {E} ,x} \otimes {{\,\mathrm{id}\,}}} (\bigoplus _{y|x} {\mathbb {Z}}\cdot y \otimes X_*(\mathsf {T} ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )}\\&\cong X_*(\mathsf {T} _{F_x})_{{{\,\mathrm{Gal}\,}}(E_{y_x}/F_x)} = X_*(\mathsf {T} _{F_x})_{{{\,\mathrm{Gal}\,}}({F}^s_x/F_x)}. \end{aligned}$$

Lemma 3.4

The isomorphism \(\mathrm {A}(\mathsf {F} ,\cdot ) \cong \mathrm {B}(\mathsf {F} ,\cdot )\) is compatible with the morphism defined above. More precisely, the following holds.

  1. (1)

    Let \(\mathsf {F} '/\mathsf {F} \) be a finite field extension. Then the diagrams

    figurek

    commute.

  2. (2)

    Let \(x \in |C|\). Then the diagram

    figurel

    commutes, where the isomorphism in the bottom row is given by [17, § 2.4].

Proof

It suffices to prove the claim for \(\mathsf {T} = {{\,\mathrm{Res}\,}}_{\mathsf {E} /\mathsf {F} }({\mathbb {G}}_m)\), which we show by direct calculation. Using the above identification \(A(\mathsf {F} ,{{\,\mathrm{Res}\,}}_{\mathsf {E} /\mathsf {F} } {\mathbb {G}}_m) = {{\,\mathrm{Div}\,}}({\mathsf {E} })_0\), the isomorphism \({\bar{\kappa }}_\mathsf {T} \) is induced by the composition

$$\begin{aligned} \mathsf {T} ({\breve{\mathsf {F} }}) = (\mathsf {E} \otimes {\breve{\mathsf {F} }})^\times \xrightarrow {{\mathrm {N}}^{(d)} \circ m} {\breve{\mathsf {E} }}^\times \xrightarrow {[\mathrm div]} {{\,\mathrm{Div}\,}}({\mathsf {E} })_0, \end{aligned}$$

where m denotes the multiplication map and \(d = [k_\mathsf {E} :k_\mathsf {F} ]\).

To prove (1), we can assume that \(\mathsf {E} \) is big enough such that \(\mathsf {F} ' \subset \mathsf {E} \). In particular, we can identify \(\mathsf {E} \otimes _\mathsf {F} \mathsf {F} ' \cong \mathsf {E} ^I\) here I is the set of \(\mathsf {F} \)-linear embeddings \(\mathsf {F} ' \hookrightarrow \mathsf {E} \). This yields an isomorphism \(\mathsf {T} _{\mathsf {F} '} \cong ({{\,\mathrm{Res}\,}}_{\mathsf {E} /\mathsf {F} '} {\mathbb {G}}_m)^I\) and thus \(\mathrm {A}(\mathsf {F} ',\mathsf {T} ) = {{\,\mathrm{Div}\,}}({\mathsf {E} })_0^I\). Using these identifications, \({{\,\mathrm{Nm}\,}}_{\mathsf {F} '/\mathsf {F} }:{{\,\mathrm{Div}\,}}({\mathsf {E} })_0 \rightarrow {{\,\mathrm{Div}\,}}({\mathsf {E} })_0^I\) is the diagonal embedding and \({{\,\mathrm{cor}\,}}_{\mathsf {F} '/\mathsf {F} }:{{\,\mathrm{Div}\,}}({\mathsf {E} })_0^I \rightarrow {{\,\mathrm{Div}\,}}({\mathsf {E} })_0\) maps each I-tuple to the sum of its components. We denote \(d' :=[k_{\mathsf {F} '}:k_\mathsf {F} ]\) and \(d'' :=[k_\mathsf {E} : k_{\mathsf {F} '}]\). Then (1) follows from the commutativity of

figurem

and

figuren

where in the leftmost vertical morphism the product runs over all \({\breve{\mathsf {F} }}\)-linear embeddings \(\tau :{\breve{\mathsf {F} }}' \hookrightarrow {\mathsf {F} }^s\).

For (2) we identify \(\mathsf {E} \otimes _{\mathsf {F} } F_x \cong \prod _{y|x} E_y\), inducing \(\mathsf {T} _{F_x} \cong \prod _{y|x} {{\,\mathrm{Res}\,}}_{E_y/F_x} {\mathbb {G}}_m\) and thus \(X_*(\mathsf {T} _{F_x})_{{{\,\mathrm{Gal}\,}}({F_x}^s/F_x)} = \prod _{y|x} {\mathbb {Z}}\cdot y\). Under these isomorphisms \({{\,\mathrm{loc}\,}}_x\) is identified with \({{\,\mathrm{loc}\,}}_{\mathsf {E} ,x}\). We denote \(d' = \deg (x)\) and \(d'' = [k(y):k(x)]\). Then (2) follows from the commutativity of

figureo

\(\square \)

3.5 As a consequence of previous lemma, \({\bar{\kappa }}_{\mathsf {T} }([\mathsf {b} ])\) depends only on \(\mathsf {b} \in \mathsf {T} ({\breve{\mathsf {F} }})\) and not on the choice of the base field \(\mathsf {F} \). More precisely, by Lemma 3.4 (1), we see that for any intermediate extension \(\mathsf {F} ' \subset {\breve{\mathsf {F} }}\) the diagram

figurep

commutes. By taking the limit over all such \(\mathsf {F} '\) we obtain a \(\sigma \)-equivariant morphism

$$\begin{aligned} \kappa _\mathsf {T} :\mathsf {T} ({\breve{\mathsf {F} }}) \rightarrow \mathrm {A}({\breve{\mathsf {F} }},\mathsf {T} ) :=\varprojlim _{\mathsf {F} \subset {\tilde{\mathsf {F} }} \subset {\breve{\mathsf {F} }}} \mathrm {A}({\tilde{\mathsf {F} }},\mathsf {T} ) \end{aligned}$$

such that for every \(\mathsf {b} \in \mathsf {T} ({\breve{\mathsf {F} }})\) we obtain \({\bar{\kappa }}_\mathsf {T} ([\mathsf {b} ])\) by taking the image of \(\kappa _\mathsf {T} (\mathsf {b} )\) under the canonical projection \(\mathrm {A}({\breve{\mathsf {F} }},\mathsf {T} ) \twoheadrightarrow \mathrm {A}(\mathsf {F} ,\mathsf {T} )\). We call \(\kappa _\mathsf {T} (\mathsf {b} )\) the Kottwitz point of \(\mathsf {b} \). Note that the definition of \(A(\mathsf {F} ,\mathsf {T} )\) does not change when we extend the projective system by allowing \(\mathsf {E} \) to be any function field of a subfield of k over \(\mathsf {F} \). Since projective limits commute with each other as well as with taking coinvariants commute we may write

$$\begin{aligned} A({\breve{\mathsf {F} }},\mathsf {T} ) = \varprojlim _{{\tilde{\mathsf {F} }}/\mathsf {F} \text { finite}} \varprojlim _{f_{\mathsf {E} '/\mathsf {E} ,*}} ({{\,\mathrm{Div}\,}}({\mathsf {E} })_0\otimes X_*(\mathsf {T} ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /{\tilde{\mathsf {F} }})} = \varprojlim _{f_{\mathsf {E} '/\mathsf {E} ,*}} ({{\,\mathrm{Div}\,}}({\mathsf {E} })_0\otimes X_*(\mathsf {T} ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /{\breve{\mathsf {F} }})}, \end{aligned}$$

where in the rightmost limit \(\mathsf {E} \) and \(\mathsf {E} '\) run over finite extensions of \({\breve{\mathsf {F} }}\).

We obtain the following analogue of Lemma 3.4 for \(A({\breve{\mathsf {F} }},\mathsf {T} )\).

Lemma 3.6

Let \(\mathsf {T} \) be an \(\mathsf {F} \)-torus.

  1. (1)

    Let \(\mathsf {F} '/\mathsf {F} \) be a finite field extension and let \(\mathsf {T} ' = \mathsf {T} _\mathsf {F} \). Then the diagrams

    figureq

    commute.

  2. (2)

    Let \(x \in |C|\) and denote \(T_x = \mathsf {T} _{F_x}\). Then the diagram

    figurer

    commutes, where the lower morphism is constructed in [19, § 7].

Proof

The follows by taking the limit over \(\mathsf {F} \subset {\tilde{\mathsf {F} }} \subset {\breve{\mathsf {F} }}\) for the diagrams in Lemma 3.4, setting \({\tilde{\mathsf {F} }}' = {\tilde{\mathsf {F} }} \cdot \mathsf {F} '\) in the first part of the lemma. Note that for \({\tilde{\mathsf {F} }}\) big enough the fields \({\tilde{\mathsf {F} }}\) and \({\tilde{\mathsf {F} }}'\) have the same fields of constants, thus the \(\sigma \)-twisted powers occurring in Lemma 3.4 are trivial. \(\square \)

3.7 In order to construct the Newton point, we consider the pro-tori

$$\begin{aligned} {\mathbb {D}}_{\mathsf {E} /\mathsf {F} }&= {{\,\mathrm{Spec}\,}}\mathsf {F} [{{\,\mathrm{Div}\,}}({\mathsf {E} })_0] \\ {\mathbb {D}}_{\mathsf {F} }&= \varprojlim {\mathbb {D}}_{\mathsf {E} /\mathsf {F} }, \end{aligned}$$

that is \({\mathbb {D}}_\mathsf {F} \) is the protorus with character group \({{\,\mathrm{Div}\,}}({{\mathsf {F} }^s})_0 :=\varinjlim _{f_{\mathsf {E} /\mathsf {F} }^*} {{\,\mathrm{Div}\,}}({\mathsf {E} })_0\). For any place y of \({\mathsf {F} }^s\) over a place x of \(\mathsf {F} \) the morphisms

$$\begin{aligned} \mathrm{ev}_{\mathsf {E} ,y}:{{\,\mathrm{Div}\,}}({\mathsf {E} })_0 \rightarrow {\mathbb {Q}}, \sum n_{y'} \cdot y' \mapsto [E_{y}:F_x]^{-1}\cdot n_{y}. \end{aligned}$$

are compatible with \(f^*_{\mathsf {E} '/\mathsf {E} }\) and hence induce a morphism \(\mathrm{ev}_y:{{\,\mathrm{Div}\,}}({{\mathsf {F} }^s})_0 \rightarrow {\mathbb {Q}}\). We denote by \(\iota _y:{\mathbb {D}}\rightarrow {\mathbb {D}}_\mathsf {F} \) the corresponding morphism of protori, where \({\mathbb {D}}\) denotes the protorus with character group \({\mathbb {Q}}\). Note that the morphism

$$\begin{aligned} \mathrm{ev}:{{\,\mathrm{Div}\,}}({{\mathsf {F} }^s})_0 \rightarrow \prod _y {\mathbb {Q}}\end{aligned}$$

is injective, hence any morphism \(\nu :{\mathbb {D}}_\mathsf {F} \rightarrow \mathsf {T} \) is uniquely determined by the family \((\nu \circ \iota _y)_y\). Recall that we fixed a place \(y_x|x\) of \({\mathsf {F} }^s\) in the introduction. We denote \(\mathrm{ev}_x :=\mathrm{ev}_{y_x}\) and \(\iota _x :=\iota _{y_x}\).

We claim that for any \(\mathsf {F} \)-torus \(\mathsf {T} \) and any finite Galois extension of splitting fields \(\mathsf {E} '/\mathsf {E} \) the diagram

figures

commutes, where the vertical arrows are mapping a coset to the sum of its elements. Indeed, as the norm map for \(\mathsf {E} '/\mathsf {F} \) is the composition of the Norm maps for \(\mathsf {E} '/\mathsf {E} \) and \(\mathsf {E} /\mathsf {F} \), one can reduce to the case \(\mathsf {E} = \mathsf {F} \). In particular \(\mathsf {T} \) is split, so we may assume \(\mathsf {T} = {\mathbb {G}}_m\), i.e. \(X_*(\mathsf {T} ) = {\mathbb {Z}}\). The claim now follows by construction. Passing to the limit, we obtain a morphism of functors

$$\begin{aligned} \mathrm {A}(\mathsf {F} ,\cdot ) \rightarrow ({{\,\mathrm{Div}\,}}({{\mathsf {F} }^s})_0 \otimes X_*(\cdot ))^{{{\,\mathrm{Gal}\,}}({\mathsf {F} }^s/\mathsf {F} )} = {{\,\mathrm{Hom}\,}}_\mathsf {F} ({\mathbb {D}}_\mathsf {F} ,\cdot ). \end{aligned}$$
(3.2)

Note that the Norm map induces an isomorphism \(\mathrm {A}(\mathsf {F} ,\cdot )_{\mathbb {Q}}{\mathop {\rightarrow }\limits ^{\sim }}{{\,\mathrm{Hom}\,}}_\mathsf {F} ({\mathbb {D}}_\mathsf {F} ,\cdot )_{\mathbb {Q}}\), in particular the kernel of (3.2) equals \(\mathrm {A}(\mathsf {F} ,\cdot )_{\mathrm{tors}}\).

Definition 3.8

For any \(\mathsf {F} \)-torus \(\mathsf {T} \) and \(\mathsf {b} \in \mathsf {T} ({\breve{\mathsf {F} }})\), we define its Newton point \(\nu _\mathsf {T} (\mathsf {b} )\) as the image of \({\bar{\kappa }}_\mathsf {T} ([\mathsf {b} ])\) under (3.2) above.

Lemma 3.9

Let \(\mathsf {T} \) be an \(\mathsf {F} \)-torus and \(\mathsf {b} \in \mathsf {T} (\mathsf {F} )\). We fix a finite extension field \(\mathsf {F} '/\mathsf {F} \) and a point \(x \in |C|\) and denote by \(\mathsf {T} '\) and \(T_x\) the respective base change of \(\mathsf {T} \) to \(\mathsf {F} '\) and \(F_x\). Then the following holds for all \(\mathsf {b} \in \mathsf {T} ({\breve{\mathsf {F} }})\).

  1. (1)

    \(\nu _{\mathsf {T} '}(\mathrm{N}^{([k_{\mathsf {F} '}:k_\mathsf {F} ])}(\mathsf {b} ))= \nu _{\mathsf {T} }(\mathsf {b} )\)

  2. (2)

    \(\nu _{\mathsf {T} }({{\,\mathrm{Nm}\,}}_{{\breve{\mathsf {F} }}'/{\breve{\mathsf {F} }}}\mathsf {b} ) = {{\,\mathrm{Nm}\,}}_{{\breve{\mathsf {F} }}'/{\breve{\mathsf {F} }}}\nu _{\mathsf {T} '}(\mathsf {b} )\) and

  3. (3)

    \(\nu _{T_x}(N^{(\deg x)}\mathsf {b} ) = \nu _{\mathsf {T} }(\mathsf {b} ) \circ \iota _x\).

Proof

We fix \(\mathsf {E} /\mathsf {F} \) splitting \(\mathsf {T} \) and containing \(\mathsf {F} '\). The above assertions follow by Lemma 3.4 and commutativity of the diagrams

figuret

The commutativity of the first two diagrams follows directly from the definition of the norm map. Finally we evaluate the third diagram at an element \( [ \sum _{y' \in |C_E|} y \otimes \lambda _{y}] \in ({{\,\mathrm{Div}\,}}({\mathsf {E} })_0 \otimes X_*(\mathsf {T} ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )}\):

figureu

proving the commutativity of the third diagram. \(\square \)

Remark 3.10

Since \(\nu _{T_x}(\mathsf {b} )\) is independent of the choice of \(y_x|x\), one would expect the same to be true for \(\nu _{\mathsf {T} }(\mathsf {b} ) \circ \iota _x\). However, one has to be careful with this notion. Consider two different choices of embeddings \(i,i':{\mathsf {F} }^s\hookrightarrow {F_x}^s\) corresponding to places \(y_x\) and \(y_x'\) of \({\mathsf {F} }^s\), respectively. Let \(\tau \in {{\,\mathrm{Gal}\,}}({\mathsf {F} }^s/\mathsf {F} )\) such that \(i' = i \circ \tau \) and denote by \(\iota _x,\iota _{x'}:{\mathbb {D}}\rightarrow {\mathbb {D}}_F\) the respective embeddings corresponding to \(y_x\) and \(y_x'\). Then \(\iota _x' = \tau (\iota _x)\), thus

$$\begin{aligned} \nu _{\mathsf {T} }(\mathsf {b} ) \circ \iota _x' = \tau (\nu _{\mathsf {T} }(\mathsf {b} ) \circ \iota _x). \end{aligned}$$

In particular, \(\nu _{\mathsf {T} }(\mathsf {b} ) \circ \iota _x\), as a morphism over \({\mathsf {F} }^s\) does depend on the choice of \(y_x\). However, applying i to this equation shows that

$$\begin{aligned} i'(\nu _{\mathsf {T} }(\mathsf {b} ) \circ \iota _x') = i(\nu _{\mathsf {T} }(\mathsf {b} ) \circ \iota _x), \end{aligned}$$

i.e. \(\nu _{\mathsf {T} }(\mathsf {b} ) \circ \iota _x\) is independent of choice when considered over \({F_x}^s\).

The Kottwitz and Newton point for reductive groups

For any (connected) reductive group \(\mathsf {G} \) over \(\mathsf {F} \), we denote by \(\pi _1(\mathsf {G} )\) Borovoi’s fundamental group. That is if \(\mathsf {T} \) is a maximal torus of \(\mathsf {G} \) and \(Q^\vee \subset X_*(\mathsf {T} )\) denotes the absolute coroot lattice then \(\pi _1(\mathsf {G} )\) is defined as the Galois module \(X_*(\mathsf {T} )/Q^\vee \). This construction is independent of the choice of \(\mathsf {T} \) up to canonical isomorphism and \(\pi _1(\cdot )\) is an exact functor (see [3, § 1])

Motivated by the previous chapter we define

$$\begin{aligned} \mathrm {A}(\mathsf {F} ,\mathsf {G} )&:=\varprojlim _{f_{\mathsf {E} '/\mathsf {E} ,*}} ({{\,\mathrm{Div}\,}}({\mathsf {E} })_0\otimes \pi _1(\mathsf {G} ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /\mathsf {F} )}, \\ \mathrm {A}({\breve{\mathsf {F} }},\mathsf {G} )&:=\varprojlim _{f_{\mathsf {E} '/\mathsf {E} ,*}} ({{\,\mathrm{Div}\,}}({\mathsf {E} })_0\otimes \pi _1(\mathsf {G} ))_{{{\,\mathrm{Gal}\,}}(\mathsf {E} /{\breve{\mathsf {F} }})}, \end{aligned}$$

where the limit ranges over all finite \(\mathsf {E} /\mathsf {F} \) (and finite \(\mathsf {E} /{\breve{\mathsf {F} }}\) resp.) such that \(\mathsf {G} _{\mathsf {E} }\) is split. The construction of the localisation map in (3.3) generalises to

$$\begin{aligned} {{\,\mathrm{loc}\,}}_x:\mathrm {A}({\breve{\mathsf {F} }},\mathsf {G} )&\rightarrow \pi _1(\mathsf {G} )_{{{\,\mathrm{Gal}\,}}({\breve{F}_x}^s/\breve{F}_x)}. \end{aligned}$$

In the following we define the Kottwitz point \(\kappa _\mathsf {G} :G({\breve{\mathsf {F} }}) \rightarrow A({\breve{\mathsf {F} }},\mathsf {G} )\) by canonically extending the functor on tori defined in the previous chapter.

Proposition 4.1

There exists a unique family of homomorphisms \(\kappa _\mathsf {G} :G({\breve{\mathsf {F} }}) \rightarrow A({\breve{\mathsf {F} }},\mathsf {G} )\) which is functorial in \(\mathsf {G} \) and coincides with the definition in Sect. 3.5 when restricted to the case that \(\mathsf {G} \) is a torus.

Proof

We follow the proof of [14, Prop. 9.1]. We first show that \(\kappa _\mathsf {G} \) extends uniquely to reductive groups with simply connected derived group \(\mathsf {G} ^{\mathrm {der}}\). Then the canonical projection \(\mathsf {G} \twoheadrightarrow \mathsf {G} /\mathsf {G} ^{\mathrm {der}} =:\mathsf {D} \) induces an isomorphism \(\pi _1(\mathsf {G} ) {\mathop {\rightarrow }\limits ^{\sim }}\pi _1(\mathsf {D} ) = X_*(\mathsf {D} )\). By functoriality, \(\kappa _\mathsf {G} \) has to be the unique homomorphism making the diagram

figurev

commute. As \(\mathsf {G} \rightarrow \mathsf {G} /\mathsf {G} ^\mathrm {der}\) is functorial in \(\mathsf {G} \), the functoriality of \(\kappa _{\mathsf {G} }\) follows from its functoriality on tori.

For general reductive \(\mathsf {G} \) consider a z-extension

figurew

with \(\mathsf {G} _1^{\mathrm {der}}\) simply connected. Thus \(\kappa _\mathsf {G} \) must be the unique morphism making the diagram

figurex

commute. As any z-extension yields a short exact sequence of fundamental groups, the rows of above diagram are exact and thus \(\kappa _\mathsf {G} \) exists. As a consequence of [16, Lemma 2.4.4] the morphism \(\kappa _\mathsf {G} \) does not depend on the choice of a z-extension as above and its functoriality follows from the functoriality of \(\kappa _{\mathsf {G} _1}\). \(\square \)

Corollary 4.2

Let \(\mathsf {b} \in \mathsf {G} (\mathsf {F} )\).

  1. (1)

    For any finite field extension \(\mathsf {F} '/\mathsf {F} \) we have

    $$\begin{aligned} \kappa _{\mathsf {G} _{\mathsf {F} '}}(\mathsf {b} ) = {{\,\mathrm{Nm}\,}}_{{\breve{\mathsf {F} }}'/{\breve{\mathsf {F} }}} (\kappa _\mathsf {G} (\mathsf {b} )) \end{aligned}$$
  2. (2)

    For any \(x \in |C|\) we have

    $$\begin{aligned} \kappa _{\mathsf {G} _{F_x}}(\mathsf {b} ) = {{\,\mathrm{loc}\,}}_x(\kappa _\mathsf {G} (\mathsf {b} )) \end{aligned}$$

Proof

If \(\mathsf {G} \) is a torus, this is Lemma 3.6. We can deduce the result for reductive \(\mathsf {G} \) by the proof of the previous proposition. If \(\mathsf {G} ^\mathrm{{der}}\) is simply connected, the claim for \(\mathsf {G} \) follows by the corollary applied to the torus \(\mathsf {D} :=\mathsf {G} /\mathsf {G} ^\mathrm{{der}}\). For general reductive \(\mathsf {G} \), we consider a z-extension \(\mathsf {G} _1 \twoheadrightarrow \mathsf {G} \) with \(\mathsf {G} _1^\mathrm{{der}}\) simply connected. Then we can conclude by applying the corollary to \(\mathsf {G} _1\). \(\square \)

Corollary 4.3

Let \(\mathsf {b} ,\mathsf {g} \in \mathsf {G} ({\breve{\mathsf {F} }})\). Then

  1. (1)

    \(\kappa _\mathsf {G} (\sigma (\mathsf {b} )) = \sigma (\kappa _\mathsf {G} (\mathsf {b} ))\),

  2. (2)

    \(\kappa _\mathsf {G} (\mathsf {g} \mathsf {b} \sigma ^{-1}(\mathsf {g} ))\) and \(\kappa _\mathsf {G} (\mathsf {b} )\) have the same image in \(\mathrm {A}(\mathsf {F} ,\mathsf {G} )\).

Proof

The first assertion follows from the functoriality of \(\kappa _\mathsf {G} \), the second assertion follows from the first and the fact that \(\mathrm {A}(\mathsf {F} ,\mathsf {G} ) = \mathrm {A}({\breve{\mathsf {F} }},\mathsf {G} )_{\sigma ^{\mathbb {Z}}}\). \(\square \)

4.4 We continue to consider a reductive group \(\mathsf {G} \) over \(\mathsf {F} \). We first define the Newton point \(\nu _\mathsf {G} (\mathsf {b} )\) in the case that \(\mathsf {b} \in \mathsf {G} ({\breve{\mathsf {F} }})\) is a rational semisimple element. Then there exists a rational subtorus \(\mathsf {T} \subset \mathsf {G} \) such that \(\mathsf {b} \in \mathsf {T} ({\breve{\mathsf {F} }})\). We define the Newton point \(\nu _\mathsf {G} (\mathsf {b} ) :{\mathbb {D}}_\mathsf {F} \rightarrow \mathsf {G} \) to be the composition of \(\nu _\mathsf {T} (\mathsf {b} )\) with the embedding \(\mathsf {T} \hookrightarrow \mathsf {G} \). Note that this construction does not depend on the choice of \(\mathsf {T} \), as \(\nu \) is functorial in \(\mathsf {T} \). For general \(\mathsf {b} \in \mathsf {G} (\mathsf {F} )\) we consider \({\mathrm {N}}^{(s)}(\mathsf {b} )\) instead.

Lemma

There exists an \(s \in {\mathbb {N}}\) such that \({\mathrm {N}}^{(s)}(\mathsf {b} )\) is semisimple.

Proof

Let \(s'\in {\mathbb {N}}\) such that \(\sigma ^{s'}(\mathsf {b} ) = \mathsf {b} \). It easily follows that \(\mathrm {N}^{(s't)}(\mathsf {b} ) = \left( \mathrm {N}^{(s')}(\mathsf {b} )\right) ^{t}\) for any \(t\in {\mathbb {N}}\). Let \(\mathrm {N}^{(s')}(\mathsf {b} ) = \gamma _0\cdot u_0\) with \(\gamma _0 \in \mathsf {G} ({\bar{\mathsf {F} }})\) semisimple, \(u_0 \in \mathsf {G} ({\bar{\mathsf {F} }})\) unipotent the Jordan decomposition of \(\mathrm {N}^{(s)}(\mathsf {b} ) \). Since \(\overline{\mathsf {F} }\) is of characteristic p, there exists \(r\geqslant 0\) such that \(u_0^{p^r}=1\). Thus

$$\begin{aligned} {\mathrm {N}}^{(s'p^r)}(\mathsf {b} ) = {\mathrm {N}}^{(s')}(\mathsf {b} )^{p^r} = \gamma _0^{p^r} \cdot u_0^{p^r} = \gamma _0^{p^r} \end{aligned}$$

is semisimple. \(\square \)

Now we choose \(s \in {\mathbb {N}}\) big enough such that the above lemma is satisfied and such that \(\mathsf {b} \in \mathsf {G} (\mathsf {F} \otimes _{{\mathbb {F}}_q} {\mathbb {F}}_{q^s})\). Thus \({\mathrm {N}}^{(s)}(\mathsf {b} )\) is a rational element of \(\mathsf {G} _{\mathsf {F} \otimes {\mathbb {F}}_{q^s}}\) and we can define

$$\begin{aligned} \nu _\mathsf {G} (\mathsf {b} ) :=\nu _{\mathsf {G} _{\mathsf {F} \otimes {\mathbb {F}}_{q^s}}}({\mathrm {N}}^{(s)}(\mathsf {b} )) \in {{\,\mathrm{Hom}\,}}_{{\breve{\mathsf {F} }}}({\mathbb {D}}_\mathsf {F} ,\mathsf {G} ). \end{aligned}$$

As the s-th power induces an automorphism of \({\mathbb {D}}_\mathsf {F} \) the fraction on the right hand side is well-defined. Moreover, the definition does not depend on s by Lemma 3.9.

Lemma 4.5

Let \(\mathsf {b} \in \mathsf {G} ({\breve{\mathsf {F} }})\).

  1. (1)

    For any (rational) morphism of reductive groups \(f:\mathsf {G} \rightarrow \mathsf {H} \) we have \(\nu _\mathsf {H} (f(\mathsf {b} )) = f \circ \nu _\mathsf {G} (\mathsf {b} )\).

  2. (2)

    For any finite field extension \(\mathsf {F} '/\mathsf {F} \), we have \(\nu _{\mathsf {G} _{\mathsf {F} '}}({\mathrm {N}}^{(d)}(\mathsf {b} )) = \nu _\mathsf {G} (\mathsf {b} )\), where d is the degree of the induced extension on the field of constants.

  3. (3)

    For any \(x\in |C|\) of degree d we have

    $$\begin{aligned} \nu _{G_{x}}({\mathrm {N}}^{(d)}(\mathsf {b} )) = \nu _\mathsf {G} (\mathsf {b} ) \circ \iota _x. \end{aligned}$$

Proof

By construction, it suffices to check the above statements in the case where \(\mathsf {G} = \mathsf {T} \) is a torus. The first statement follows directly from its definition. The last two statements are Lemma 3.9. \(\square \)

Lemma 4.6

Let \(\mathsf {b} ,\mathsf {g} \in \mathsf {G} ({\breve{\mathsf {F} }})\). Then

  1. (1)

    \(\nu _\mathsf {G} (\mathsf {g} \mathsf {b} \sigma (\mathsf {g} )^{-1}) = {{\,\mathrm{Int}\,}}(\mathsf {g} )\circ \nu _\mathsf {G} (\mathsf {b} )\) and

  2. (2)

    \(\nu _\mathsf {G} (\sigma (\mathsf {b} )) = \sigma (\nu _\mathsf {G} (\mathsf {b} )) = {{\,\mathrm{Int}\,}}(\mathsf {b} ^{-1}) \circ \nu _G(b)\).

Proof

For the first assertion, we note that we have for any \(d\in {\mathbb {N}}\) that \({\mathrm {N}}^{(d)}(\mathsf {g} \mathsf {b} \sigma ^{-1}(\mathsf {g} )) = \mathsf {g} {\mathrm {N}}^{(d)}(\mathsf {b} )\sigma ^{-d}(\mathsf {g} )\). Choosing d big enough that \(\sigma ^{(d)}(\mathsf {g} ) = \mathsf {g} \), we get by Lemma 4.5

$$\begin{aligned} \nu _\mathsf {G} (\mathsf {g} \mathsf {b} \sigma ^{-1}(\mathsf {g} )) = \nu _{\mathsf {G} _{\mathsf {F} \otimes {\mathbb {F}}_{q^d}}}(\mathsf {g} {\mathrm {N}}^{(d)}(\mathsf {b} )\mathsf {g} ^{-1}) = {{\,\mathrm{Int}\,}}(\mathsf {g} ) \circ \nu _{\mathsf {G} _{\mathsf {F} \otimes {\mathbb {F}}_{q^d}}}({\mathrm {N}}^{(d)}(\mathsf {b} )) = {{\,\mathrm{Int}\,}}(\mathsf {g} ) \circ \nu _\mathsf {G} (\mathsf {b} ). \end{aligned}$$

The first equation in the second statement follows from applying Lemma 4.5 (1) to \(\sigma :\mathsf {G} \rightarrow \mathsf {G} \). By the first part of the lemma we also have

$$\begin{aligned} \nu _\mathsf {G} (\sigma (\mathsf {b} )) = \nu _\mathsf {G} (\mathsf {b} ^{-1}\mathsf {b} \sigma (\mathsf {b} )) = {{\,\mathrm{Int}\,}}(\mathsf {b} ) \circ \nu _\mathsf {G} (\mathsf {b} ). \end{aligned}$$

\(\square \)

Lemma 4.7

Let \(\mathsf {b} \in \mathsf {G} ({\breve{\mathsf {F} }})\). Then \(\nu _\mathsf {G} (\mathsf {b} )\) is trivial if and only if \([\mathsf {b} ]\) lies in the image of \(\mathrm {H}^{1}(\breve{\mathsf {F} }/\mathsf {F} ,\mathsf {G} )\) under (2.1).

Proof

We have already shown in the discussion of the morphism (2.1) that \([\mathsf {b} ]\) lies in the image of \(\mathrm {H}^{1}({\breve{\mathsf {F} }}/\mathsf {F} ,\mathsf {G} )\) if and only if \({\mathrm {N}}^{(s)}(\mathsf {b} ) = 1\) for \(s>0\) divisible enough (or equivalently if this holds for any \(\mathsf {b} ' \in [\mathsf {b} ]\)). Thus if \([\mathsf {b} ]\) lies in the image of \(\mathrm {H}^{1}({\breve{\mathsf {F} }}/\mathsf {F} ,\mathsf {G} )\) implies that

$$\begin{aligned} \nu _{\mathsf {G} }(\mathsf {b} ) = \nu _{\mathsf {G} }({\mathrm {N}}^{(s)}(\mathsf {b} )) = 0. \end{aligned}$$

On the other hand, assume that \(\nu _\mathsf {G} (\mathsf {b} )\) is trivial. We choose \(s\in {\mathbb {N}}\) and \(\mathsf {T} \subset \mathsf {G} _{\mathsf {F} \otimes {\mathbb {F}}_{q^s}}\) such that \({\mathrm {N}}^{(s)}(\mathsf {b} ) \in \mathsf {T} ({\breve{\mathsf {F} }})\). Since \(\nu _\mathsf {T} ({\mathrm {N}}^{(s)}(\mathsf {b} )) = 0\), \({\bar{\kappa }}_\mathsf {T} ({\mathrm {N}}^{(s)}(\mathsf {b} ))\) must be torsion. Thus by Lemma 3.4, there exists an \(s' \in {\mathbb {N}}\) such that \({\bar{\kappa }}_{\mathsf {T} \otimes {\mathbb {F}}_{q^{ss'}}}({\mathrm {N}}^ {(ss')}(\mathsf {b} )) = 1\) and hence \({\mathrm {N}}^ {(ss')}(\mathsf {b} ) = \mathsf {g} ^{-1}\sigma ^{ss'}(\mathsf {g} )\) for some \(\mathsf {g} \in \mathsf {T} ({\breve{\mathsf {F} }})\). Hence \({\mathrm {N}}^{(ss')}(\mathsf {g} \mathsf {b} \sigma (\mathsf {g} ^{-1})) = 1\). \(\square \)

4.8 Even for elements in an arbitrary linear algebraic group, the construction above still yields a well-defined Newton point, though one potentially has to enlarge s such that \({\mathrm {N}}^{(s)}(\mathsf {b} )\) lies in the identity component. Moreover one checks that the above lemmata generalise to linear algebraic groups, using the same proofs.

As application of this, let \(\mathsf {P} \) be a connected linear algebraic group whose unipotent radical \(R_u\mathsf {P} \) is defined over \(\mathsf {F} \) and \(\mathsf {F} \)-split (e.g. when \(\mathsf {P} \) is a parabolic subgroup of a reductive group). Then we have \(\mathrm {B}(\mathsf {F} ,R_u\mathsf {P} ) \cong \mathrm {H}^{1}(\mathsf {F} ,R_u\mathsf {P} ) = 1\) by Lemma 4.6; thus the canonical projection \(\mathsf {P} \twoheadrightarrow \mathsf {P} _{\mathrm{red}}\) onto the reductive quotient induces an isomorphism \(\mathrm {B}(\mathsf {F} ,\mathsf {P} ) \cong \mathrm {B}(\mathsf {F} ,\mathsf {P} _{\mathrm{red}})\) by the long exact sequence in (2.2).

4.9. By Corollary 4.3 and Lemma 4.6, the Kottwitz and Newton point define invariants for every \({\mathbf {b}}\in \mathrm {B}(\mathsf {F} ,\mathsf {G} )\):

$$\begin{aligned} {\bar{\kappa }}_\mathsf {G} ({\mathbf {b}})&\in \mathrm {A}(\mathsf {F} ,\mathsf {G} ) \\ {\bar{\nu }}_\mathsf {G} ({\mathbf {b}})&\in ({{\,\mathrm{Hom}\,}}_{{\breve{\mathsf {F} }}}({\mathbb {D}}_F,\mathsf {G} )/\mathsf {G} ({\breve{\mathsf {F} }}))^{{{\,\mathrm{Gal}\,}}({\breve{\mathsf {F} }}/\mathsf {F} )}, \end{aligned}$$

which we also call the Kottwitz point and Newton point, respectively. As in (3.6.1) we can define the norm map

$$\begin{aligned} \mathrm {A}(\mathsf {F} ,\mathsf {G} ) \rightarrow ({{\,\mathrm{Div}\,}}({{\mathsf {F} }^s})_0 \otimes \pi _1(\mathsf {G} ))^{{{\,\mathrm{Gal}\,}}({\mathsf {F} }^s/\mathsf {F} )}. \end{aligned}$$

Then the image of \({\bar{\kappa }}_\mathsf {G} ({\mathbf {b}})\) under the Norm map coincides with the image of \({\bar{\nu }}_\mathsf {G} ({\mathbf {b}})\) under the canonical projection.

$$\begin{aligned} ({{\,\mathrm{Hom}\,}}({\mathbb {D}}_\mathsf {F} ,\mathsf {G} )/\mathsf {G} ({\mathsf {F} }^s))^{{{\,\mathrm{Gal}\,}}({\mathsf {F} }^s/\mathsf {F} )} \twoheadrightarrow ({{\,\mathrm{Div}\,}}({\mathsf {F} }^s) \otimes \pi _1(\mathsf {G} ))^{{{\,\mathrm{Gal}\,}}({\mathsf {F} }^s/\mathsf {F} )}. \end{aligned}$$

Indeed, it suffices to check this result for tori, where it is true by definition.

Basic \(\sigma \)-conjugacy classes

As a next step, we would like to study to which extend a \(\sigma \)-conjugacy class is determined by its Kottwitz and Newton point. Our starting point is the following special case.

Definition 5.1

A \(\sigma \)-conjugacy class \({\mathbf {b}}\in \mathrm {B}(\mathsf {F} ,\mathsf {G} )\) is called basic, if \({\bar{\nu }}_\mathsf {G} ({\mathbf {b}})\) is central. We denote by \(\mathrm {B}(\mathsf {F} ,\mathsf {G} )_b \subset \mathrm {B}(\mathsf {F} ,\mathsf {G} )\) the subset of basic elements. An element \(\mathsf {b} \in \mathsf {G} ({\breve{\mathsf {F} }})\) is called basic, if \([\mathsf {b} ]\) is basic.

5.2 By Lemma 4.7 we get a Cartesian diagram

figurey

Hence each \({\mathbf {b}}\in \mathrm {B}(\mathsf {F} ,\mathsf {G} )_b\) corresponds to a set of isomorphic inner forms \(\{\mathsf {J} _\mathsf {b} \}_{\mathsf {b} \in {\mathbf {b}}}\) of \(\mathsf {G} \), explicitly given by \(\mathsf {J} _\mathsf {b} ({\breve{\mathsf {F} }}) = \mathsf {G} ({\breve{\mathsf {F} }})\) where the \({{\,\mathrm{Gal}\,}}({\breve{\mathsf {F} }}/\mathsf {F} )\)-action is twisted by \({{\,\mathrm{Ad}\,}}(\mathsf {b} )\). More explicitly, we have for every \(\mathsf {F} \)-algebra \(\mathsf {R} \)

$$\begin{aligned} \mathsf {J} _\mathsf {b} (\mathsf {R} ) = \{ \mathsf {g} \in \mathsf {G} (\mathsf {R} \otimes _\mathsf {F} {\breve{\mathsf {F} }}) \mid \mathsf {g} ^{-1}\mathsf {b} \sigma (\mathsf {g} ) = \mathsf {b} \}. \end{aligned}$$

Lemma 5.3

The map \(\tau _\mathsf {b} :\mathsf {J} _\mathsf {b} ({\breve{\mathsf {F} }}) \mapsto \mathsf {G} ({\breve{\mathsf {F} }}),\mathsf {g} \mapsto \mathsf {g} \cdot \mathsf {b} \) induces a bijection \({\bar{\tau }}_\mathsf {b} :\mathrm {B}(\mathsf {F} ,\mathsf {J} _b) {\mathop {\rightarrow }\limits ^{1:1}}\mathrm {B}(\mathsf {F} ,\mathsf {G} )\) such that for all \(\mathsf {b} '\in \mathsf {J} _\mathsf {b} ({\breve{\mathsf {F} }}) = \mathsf {G} ({\breve{\mathsf {F} }})\) we have

$$\begin{aligned} \nu _\mathsf {G} (\tau _\mathsf {b} (\mathsf {b} ')) = \nu _{\mathsf {J} _\mathsf {b} }(\mathsf {b} ') + \nu _{\mathsf {G} }(\mathsf {b} ) \end{aligned}$$

Proof

One easily checks that the bijection \(\tau _b\) preserves and reflects \(\sigma \)-conjugacy. We fix an unramified field extension \(\mathsf {F} ' = \mathsf {F} \otimes {\mathbb {F}}_{q^s}\) such that there exists an isomorphism \(\mathsf {J} _{\mathsf {b} ,\mathsf {F} '} \cong \mathsf {G} _\mathsf {F} '\), i.e. \({\mathrm {N}}^{(s)}(\mathsf {b} )\) is central in \(\mathsf {G} \). We denote by \(\sigma _{\mathsf {b} } :={{\,\mathrm{Int}\,}}(\mathsf {b} ) \circ \sigma \) and for any \(\mathsf {g} \in \mathsf {G} ({\breve{\mathsf {F} }})\)

$$\begin{aligned} {\mathrm {N}}_{\sigma _\mathsf {b} }^{(s)}(\mathsf {g} ) :=\mathsf {g} \cdot \sigma _{\mathsf {b} }(\mathsf {g} ) \cdots \sigma _\mathsf {b} ^{s-1}(\mathsf {g} ) = {\mathrm {N}}^{(s)}(\mathsf {g} \cdot \mathsf {b} ) \cdot {\mathrm {N}}^{(s)}(\mathsf {b} )^{-1}. \end{aligned}$$

Now

$$\begin{aligned} \nu _{\mathsf {J} _\mathsf {b} }(\mathsf {g} )&= \nu _{\mathsf {J} _{\mathsf {b} ,\mathsf {F} '}}({\mathrm {N}}_{\sigma _b}^{(s)}(\mathsf {g} )) = \nu _{\mathsf {G} _{\mathsf {F} '}}({\mathrm {N}}^{(s)}(\mathsf {g} \cdot \mathsf {b} ) \cdot {\mathrm {N}}^{(s)}(\mathsf {b} )^{-1})\\&= \nu _{\mathsf {G} _{\mathsf {F} '}}({\mathrm {N}}^{(s)}(\mathsf {g} \cdot \mathsf {b} )) - \nu _{\mathsf {G} _{\mathsf {F} '}}({\mathrm {N}}^{(s)}(\mathsf {b} )) \\&= \nu _\mathsf {G} (\mathsf {g} \mathsf {b} ) - \nu _\mathsf {G} (\mathsf {b} ), \end{aligned}$$

where the third equality follows by functoriality of \(\nu \) applied to the multiplication \(\mathsf {G} \times {{\,\mathrm{Cent}\,}}(\mathsf {G} ) \rightarrow \mathsf {G} \) and \((\cdot )^{-1}:{{\,\mathrm{Cent}\,}}(\mathsf {G} ) \rightarrow {{\,\mathrm{Cent}\,}}(\mathsf {G} )\). \(\square \)

Corollary 5.4

For any \(\mathsf {b} \in \mathrm {B}(\mathsf {F} ,\mathsf {G} )_b\) we have a natural bijection

$$\begin{aligned} \mathrm {H}^{1}(\mathsf {F} ,\mathsf {J} _\mathsf {b} ) \rightarrow \{{\mathbf {b}}' \in \mathrm {B}(\mathsf {F} ,\mathsf {G} ) \mid {\bar{\nu }}_\mathsf {G} ({\mathbf {b}}') = {\bar{\nu }}_\mathsf {G} ({\mathbf {b}}) \} \end{aligned}$$

Proof

By Lemma 4.7, \(\mathrm {H}^{1}(\mathsf {F} ,\mathsf {J} _\mathsf {b} )\) can be identified with \(\{{\mathbf {b}}' \in \mathrm {B}(\mathsf {F} ,\mathsf {J} _\mathsf {b} ) \mid {\bar{\nu }}_{\mathsf {J} _\mathsf {b} }({\mathbf {b}}') = 0 \}\). By the previous lemma, there is a natural bijection

$$\begin{aligned} \{{\mathbf {b}}' \in \mathrm {B}(\mathsf {F} ,\mathsf {J} _\mathsf {b} ) \mid {\bar{\nu }}_{\mathsf {J} _\mathsf {b} }({\mathbf {b}}') = 0 \} \rightarrow \{{\mathbf {b}}' \in \mathrm {B}(\mathsf {F} ,\mathsf {G} ) \mid {\bar{\nu }}_\mathsf {G} ({\mathbf {b}}') = {\bar{\nu }}_\mathsf {G} ({\mathbf {b}}) \}, \end{aligned}$$

finishing the proof. \(\square \)

Theorem 5.5

The Kottwitz point induces a bijection \({\bar{\kappa }}_\mathsf {G} :\mathrm {B}(\mathsf {F} ,\mathsf {G} )_b {\mathop {\rightarrow }\limits ^{1:1}}\mathrm {A}(\mathsf {F} ,\mathsf {G} )\).

Proof

The proof in [14, Prop. 15.1] still works in our setup. However, since the proof significantly simplifies in our situation, we give the full proof for readers’ convenience.

By construction an element \({\mathbf {b}}\in \mathrm {B}(\mathsf {F} ,\mathsf {G} )\) is basic if and only if \({\bar{\nu }}({\mathbf {b}}) \circ \iota _y\) is central for all places y of \({\mathsf {F} }^s\). Since \({\bar{\nu }}({\mathbf {b}})\) is rational, we have for all y and \(\tau \in {{\,\mathrm{Gal}\,}}({\mathsf {F} }^s/\mathsf {F} )\) that \( {\bar{\nu }}({\mathbf {b}}) \circ \iota _{\tau (y)} = \tau ({\bar{\nu }}({\mathbf {b}}) \circ \iota _y). \) Thus it is equivalent to check only that \({\bar{\nu }}({\mathbf {b}}) \circ \iota _x\) is central for all \(x \in |C|\). We conclude by Lemma 4.5 (3) that \({\mathbf {b}}\) is basic if and only if its image \({\mathbf {b}}_x \in \mathrm {B}(F_x,\mathsf {G} )\) is basic for every \(x \in |C|\). We first prove the theorem under the assumption that \(\mathsf {G} ^\mathrm {der}\) is simply connected. Then \(\mathrm {A}(\mathsf {F} ,\mathsf {G} ) \cong \mathrm {A}(\mathsf {F} ,\mathsf {D} )\), where \(\mathsf {D} = \mathsf {G} /\mathsf {G} ^{\mathrm{der}}\). Thus the statement of the theorem is equivalent to the canonical map \(\mathrm {B}(\mathsf {F} ,\mathsf {G} )_b \rightarrow \mathrm {B}(\mathsf {F} ,\mathsf {D} )\) being bijective.

To prove injectivity let \({\mathbf {b}},{\mathbf {b}}'\in \mathrm {B}(\mathsf {F} ,\mathsf {G} )_b\) with identical images in \(\mathrm {B}(\mathsf {F} ,\mathsf {D} )\). We denote by \(Z(\mathsf {G} )\) the center of \(\mathsf {G} \). Since the map \(Z(\mathsf {G} ) \rightarrow \mathsf {D} \) is an isogeny, the induced morphism \({{\,\mathrm{Hom}\,}}({\mathbb {D}}_\mathsf {F} ,Z(\mathsf {G} )) \rightarrow {{\,\mathrm{Hom}\,}}({\mathbb {D}}_\mathsf {F} ,\mathsf {D} )\) is injective. Hence \(\nu _\mathsf {G} (\mathsf {b} ) = \nu _\mathsf {G} (\mathsf {b} ')\). By Corollary 5.4, we have that the difference between \({\mathbf {b}}\) and \({\mathbf {b}}'\) is measured by an element \(\tau \in \mathrm {H}^{1}(\mathsf {F} ,\mathsf {J} _{\mathbf {b}})\) in a natural way. By assumption

$$\begin{aligned} \tau \in \ker (\mathrm {H}^{1}(\mathsf {F} ,\mathsf {J} _{\mathbf {b}}) \rightarrow \mathrm {H}^{1}(\mathsf {F} ,\mathsf {D} )) = \mathrm {H}^{1}(\mathsf {F} ,\mathsf {J} _\mathsf {b} ^{\mathrm{der}}). \end{aligned}$$

By [10] this set is trivial, hence \({\mathbf {b}}= {\mathbf {b}}'\).

To prove surjectivity, we fix \({\mathbf {b}}'' \in \mathrm {B}(\mathsf {F} ,\mathsf {D} )\) and denote by \(S \subset |C|\) the (finite) set of all places x where \({\mathbf {b}}''_x\) is non-trivial. By [5] there exists a maximal \(\mathsf {F} \)-torus \(\mathsf {T} \subset \mathsf {G} \) such that \(\mathsf {T} \) is elliptic over \(F_x\) for all \(x \in S\). By Proposition 4.1, it suffices to construct an element \(\lambda \in \mathsf {A} (\mathsf {F} ,\mathsf {T} )\) which maps to \({\bar{\kappa }}_\mathsf {D} ({\mathbf {b}}'')\). For this we fix a Galois extension \(\mathsf {E} /\mathsf {F} \) splitting \(\mathsf {T} \) and hence \(\mathsf {D} \). Since \({\mathbf {b}}''_x\) is trivial outside S, \({\bar{\kappa }}({\mathbf {b}}'')\) is the coinvariant of an element of the form

$$\begin{aligned} \sum _{y \in S_\mathsf {E} } \mu _y \otimes y \in X_*(\mathsf {D} ) \otimes {{\,\mathrm{Div}\,}}({\mathsf {E} })_0. \end{aligned}$$

By [17], there exists an element \({\mathbf {b}}_x \in \mathrm {B}(F_x,\mathsf {T} )\) whose image in \(\mathrm {B}(F_x,\mathsf {D} )\) equals \({\mathbf {b}}''_x\). The Kottwitz point of \({\mathbf {b}}_x\) is an coinvariant of an element of the form

$$\begin{aligned} \delta _x = \sum _{y|x} \mu '_y \otimes y \in X_*(T) \otimes \bigoplus _{y|x} {\mathbb {Z}}\cdot y. \end{aligned}$$

By the combinatorial argument given in [14, p. 80], we may choose \(\delta _x\) such that \(\mu '_y\) maps to \(\mu _y\) for all y and such that \(\delta :=\sum _{x\in S} \delta _x\) is an element of \(X_*(\mathsf {T} ) \otimes {{\,\mathrm{Div}\,}}({\mathsf {E} })_0\). In particular the coinvariant of \(\delta \) in \(\mathrm {A}(\mathsf {F} ,\mathsf {G} )\) satisfies the wanted property.

For general \(\mathsf {G} \), we choose a z-extension

figurez

such that \(\mathsf {G} '^{\mathrm{der}}\) is simply connected. Hence we have a commutative diagram

figureaa

with exact rows (where the top row is in the category of pointed sets and exact by the long exact sequence in (2.2)) and whose two left vertical arrows are isomorphisms. Thus \({\bar{\kappa }}_\mathsf {G} \) is also an isomorphism. \(\square \)

As a consequence, we obtain the following statement about the Kottwitz point.

Proposition 5.6

Let \(\mathsf {H} \rightarrow \mathsf {H} '\) be an ad-isomorphism of reductive groups. Then the diagram

figureab

is Cartesian.

Proof

The proof is the same as for local fields ( [19, Prop. 4.10]) after one replaces \(Z(H)^\Gamma \) by \(\mathrm {A}(\mathsf {F} ,\mathsf {H} )\). The arguments in the proof are formal cohomological constructions, which continue to hold, or statements about \(\mathrm {B}(\mathsf {F} ,\mathsf {G} )\), which we have proven above. \(\square \)

Corollary 5.7

Let \({\bar{\kappa }} \in \mathrm {A}(\mathsf {F} ,\mathsf {G} )\) and \(\mathsf {b} \in \mathrm {B}(\mathsf {F} ,\mathsf {G} )_b\) the corresponding element. Then the composition \( \mathrm {B}(\mathsf {F} ,\mathsf {J} _b^{\mathrm{sc}}) \rightarrow \mathrm {B}(\mathsf {F} ,\mathsf {J} _\mathsf {b} ) \xrightarrow {\tau _\mathsf {b} } \mathrm {B}(\mathsf {F} ,\mathsf {G} )\) induces an isomorphism \(\mathrm {B}(\mathsf {F} ,\mathsf {J} _\mathsf {b} ^{\mathrm{sc}})\cong \mathrm {B}(\mathsf {F} ,\mathsf {G} )_{{\bar{\kappa }}}\).

Proof

By Lemma 5.3 reduces us to show that \(\mathrm {B}(\mathsf {F} ,\mathsf {J} _\mathsf {b} ^{\mathrm{sc}}) \rightarrow \mathrm {B}(\mathsf {F} ,\mathsf {J} _\mathsf {b} )\) induces an isomorphism \(\mathrm {B}(\mathsf {F} ,\mathsf {J} _\mathsf {b} ^{\mathrm{sc}}) \cong \mathrm {B}(\mathsf {F} ,\mathsf {J} _\mathsf {b} )_0\). This holds by the previous proposition. \(\square \)

Describing \(\mathrm {B}(\mathsf {F} ,\mathsf {G} )\) by its invariants

6.1 We start with an application to the group of self-quasi-isogenies of an isoshuka; this construction will be helpful later. Given a \(\mathsf {G} \)-isoshtuka \(({\mathscr {V}},\phi )\), we would like to study the group of self-quasi-isogenies \({{\,\mathrm{Aut}\,}}({\mathscr {V}},\phi )\). For this we choose a trivialisation \({\mathscr {V}}\cong \mathsf {G} _{{\breve{\mathsf {F} }}}\), which identifies \(\phi \) with \(\mathsf {b} \sigma \) for a \(\mathsf {b} \in \mathsf {G} ({\breve{\mathsf {F} }})\). We now obtain

$$\begin{aligned} {{\,\mathrm{Aut}\,}}({\mathscr {V}},\phi ) \cong \{ \mathsf {g} \in \mathsf {G} ({\breve{\mathsf {F} }}) \mid \mathsf {g} \mathsf {b} = \mathsf {b} \sigma (\mathsf {g} ) \} =:\mathsf {J} _\mathsf {b} (\mathsf {F} ). \end{aligned}$$

Proposition 6.2

Let \(\mathsf {b} \in \mathsf {G} ({\breve{\mathsf {F} }})\) and \(\mathsf {F} '\) field of definition of \(\nu _\mathsf {G} (\mathsf {b} )\). Denote by \(\mathsf {M} _\mathsf {b} \) the centraliser of \(\nu _\mathsf {G} (\mathsf {b} )\) in \(\mathsf {G} _{\mathsf {F} '}\).

  1. (1)

    \(\mathsf {J} _\mathsf {b} (\mathsf {F} )\) is contained in \(\mathsf {M} _\mathsf {b} ({\breve{\mathsf {F} }})\).

  2. (2)

    The functor \(\mathsf {J} _\mathsf {b} :R \mapsto \{\mathsf {g} \in \mathsf {G} (R\otimes _\mathsf {F} {\breve{\mathsf {F} }}) \mid \mathsf {g} \mathsf {b} = \mathsf {b} \sigma (\mathsf {g} )\}\) is representable by a reductive group over \(\mathsf {F} \). Moreover, \(\mathsf {J} _{\mathsf {b} ,\mathsf {F} '}\) is an inner \({\breve{\mathsf {F} }}\)-form of \(\mathsf {M} _\mathsf {b} \).

Proof

The first assertion holds as

$$\begin{aligned} {{\,\mathrm{Int}\,}}(\mathsf {g} ) \circ \nu _\mathsf {G} (\mathsf {b} ) = \nu _\mathsf {G} (\mathsf {g} \mathsf {b} \sigma (\mathsf {g} ^{-1})) = \nu _\mathsf {G} (\mathsf {b} ). \end{aligned}$$

We prove the second part of (2) first. Identifying \(\mathsf {F} ' \otimes {\breve{\mathsf {F} }} \cong {\breve{\mathsf {F} }}'^{[\mathsf {F} ':\mathsf {F} ]}\), we obtain for any \(\mathsf {F} '\)-algebra \(\mathsf {R} \)

$$\begin{aligned} \mathsf {J} _\mathsf {b} (\mathsf {R} )&= \{(\mathsf {g} _i) \in \mathsf {G} (\mathsf {R} \otimes _{\mathsf {F} '} {\breve{\mathsf {F} }}')^{[\mathsf {F} ':\mathsf {F} ]} \mid \mathsf {g} _i \mathsf {b} = \mathsf {b} \sigma (\mathsf {g} _{i-1}) \} \\&\cong \{\mathsf {g} _1 \in \mathsf {G} (\mathsf {R} \otimes _{\mathsf {F} '} {\breve{\mathsf {F} }}') \mid \mathsf {g} _1 {\mathrm {N}}^{([\mathsf {F} ':\mathsf {F} ])}(\mathsf {b} ) = {\mathrm {N}}^{([\mathsf {F} ':\mathsf {F} ])}(\mathsf {b} ) \sigma _{\mathsf {F} '}(\mathsf {g} _1)\}. \end{aligned}$$

Thus \(\mathsf {J} _{\mathsf {b} ,\mathsf {F} '}\) is isomorphic to \(\mathsf {J} _{{\mathrm {N}}^{([\mathsf {F} ':\mathsf {F} ])}(\mathsf {b} )}\) for the base field \(\mathsf {F} '\). Replacing \(\mathsf {b} \) by \({\mathrm {N}}^{([\mathsf {F} ':\mathsf {F} ])}(\mathsf {b} )\) and \(\mathsf {F} \) by \(\mathsf {F} '\), we thus reduce the second part of (2) to the case that \(\nu _\mathsf {G} (\mathsf {b} )\) is rational. Since

$$\begin{aligned} {{\,\mathrm{Int}\,}}(\mathsf {b} ) \circ \nu _\mathsf {G} (\mathsf {b} ) = \nu _\mathsf {G} (\sigma (\mathsf {b} )) = \sigma (\nu _\mathsf {G} (\mathsf {b} )) = \nu _\mathsf {G} (\mathsf {b} ), \end{aligned}$$

we have that \(\mathsf {b} \in \mathsf {M} ({\breve{\mathsf {F} }})\). Since \(\mathsf {b} \) is a basic element of \(\mathsf {M} ({\breve{\mathsf {F} }})\) by construction, the claim follows from (5.2). The first part of (2) now follows from the second as \({{\,\mathrm{Int}\,}}(\mathsf {b} ) \circ \sigma \) defines a Galois descent datum on \(\mathsf {J} _{\mathsf {b} ,\mathsf {F} '}\). \(\square \)

Note that by the proof of the previous proposition, we may identify \(\mathsf {J} _{\mathsf {b} ,{\breve{\mathsf {F} }}} \cong \mathsf {M} _{\mathsf {b} ,{\breve{\mathsf {F} }}}\) where the Frobenius acts by \({{\,\mathrm{Ad}\,}}(\mathsf {b} ) \circ \sigma \). We obtain the following intermediate results in our pursuit to classify \(\mathsf {B} (\mathsf {F} ,\mathsf {G} )\).

Lemma 6.3

Let \(\mathsf {b} \in \mathsf {G} ({\breve{\mathsf {F} }})\) and denote by \(\nu \) its Newton point. The map \(\tau _\mathsf {b} :\mathsf {J} _b({\breve{\mathsf {F} }}) \rightarrow \mathsf {G} ({\breve{\mathsf {F} }}),\mathsf {g} \mapsto \mathsf {g} \cdot \mathsf {b} \) induces a bijection

$$\begin{aligned} \mathrm {H}^{1}(\mathsf {F} ,\mathsf {J} _\mathsf {b} ) {\mathop {\rightarrow }\limits ^{1:1}}\{ {\mathbf {b}}' \in \mathrm {B}(\mathsf {F} ,\mathsf {G} ) \mid {\bar{\nu }}_\mathsf {G} ({\mathbf {b}}') = {\bar{\nu }} \}. \end{aligned}$$

Proof

By the proof of Lemma 5.3 the map \(\tau _\mathsf {b} \) preserves \(\sigma \)-conjugacy and we get for any \(\mathsf {j} \in \mathsf {J} _\mathsf {b} ({\breve{\mathsf {F} }})\) that \(\nu _\mathsf {G} (\tau _\mathsf {b} (\mathsf {j} )) = \nu _{\mathsf {J} _\mathsf {b} }(\mathsf {j} ) + \nu _\mathsf {G} (\mathsf {b} )\). Hence the above map on \(\sigma \)-conjugacy classes is well-defined.

To prove injectivity, let \(\mathsf {j} ,\mathsf {j} ' \in \mathsf {J} _\mathsf {b} ({\breve{\mathsf {F} }})\) such that \(\nu _{\mathsf {J} _\mathsf {b} }(\mathsf {j} ) = \nu _{\mathsf {J} _\mathsf {b} }(\mathsf {j} ') = 0\) and \(\mathsf {g} \in \mathsf {G} ({\breve{\mathsf {F} }})\) such that \(\tau _\mathsf {b} (\mathsf {j} ') = {\mathsf {g} ^{-1} \tau _\mathsf {b} (\mathsf {j} ) \sigma (\mathsf {g} )}\). By Lemma 4.6\(\mathsf {g} \) centralises \(\nu _{\mathsf {G} }(\tau _\mathsf {b} (\mathsf {j} )) = \nu _{\mathsf {G} }(\tau _\mathsf {b} (\mathsf {j} ')) = \nu \). Hence \(\mathsf {g} \in \mathsf {M} _\mathsf {b} ({\breve{\mathsf {F} }}) = \mathsf {J} _\mathsf {b} ({\breve{\mathsf {F} }})\) and one concludes \(\mathsf {j} ' = \mathsf {g} \mathsf {j} \mathsf {b} \sigma (\mathsf {g} )^{-1}\mathsf {b} ^{-1}= \mathsf {g} \mathsf {j} \sigma _\mathsf {b} (\mathsf {g} )^{-1}\).

For surjectivity let \({\mathbf {b}}' \in \mathrm {B}(\mathsf {F} ,\mathsf {G} )\) with \({\bar{\nu }}_\mathsf {G} ({\mathbf {b}}) = {\bar{\nu }}\) and choose \(\mathsf {b} ' \in {\mathbf {b}}'\) with \(\nu _\mathsf {G} (\mathsf {b} ')= \nu \). Substituting \(\mathsf {g} = \mathsf {b} ^{-1},\mathsf {b} '^{-1}\)in Lemma 4.6 (2) we obtain \(\sigma (\nu ) = {{\,\mathrm{Int}\,}}(\mathsf {b} ^{-1}) \circ \nu = {{\,\mathrm{Int}\,}}(\mathsf {b} '^{-1}) \circ \nu \). In particular, we have \(\mathsf {j} :=\mathsf {b} ' \mathsf {b} ^{-1} \in \mathsf {M} _\mathsf {b} ({\breve{\mathsf {F} }}) = \mathsf {J} _\mathsf {b} ({\breve{\mathsf {F} }})\). In particular, \( \nu _{\mathsf {J} _\mathsf {b} }(\mathsf {j} ) = \nu _\mathsf {G} (\mathsf {b} ') - \nu _{\mathsf {G} }(\mathsf {b} ) \) is trivial, proving surjectivity. \(\square \)

Remark 6.4

One checks that analogously to the result of Rapoport and Richartz [24, Prop. 1.17], the \(\mathsf {J} _\mathsf {b} \)-torsor corresponding to \(\mathsf {b} '\) as above is given by

$$\begin{aligned} \mathsf {J} _{\mathsf {b} ,\mathsf {b} '}:R \mapsto \{ \mathsf {g} \in \mathsf {G} (R \otimes \mathsf {F} ) \mid \mathsf {g} \mathsf {b} \sigma (\mathsf {g} )^{-1} = \mathsf {b} ' \}. \end{aligned}$$

Corollary 6.5

Let \({\mathbf {b}},{\mathbf {b}}' \in \mathrm {B}(\mathsf {F} ,\mathsf {G} )\) such that \({\bar{\nu }}_\mathsf {G} ({\mathbf {b}}) = {\bar{\nu }}_\mathsf {G} ({\mathbf {b}}')\) and \({\bar{\kappa }}_\mathsf {G} ({\mathbf {b}}) = {\bar{\kappa }}_\mathsf {G} ({\mathbf {b}}')\). Then \({\mathbf {b}}= {\mathbf {b}}'\).

Proof

By the previous corollary, we may replace \(\mathsf {G} \) by \(\mathsf {J} _{{\mathbf {b}}'}\) and assume that \({\mathbf {b}}' = 1\). By the Corollary 5.7, we may assume that \(\mathsf {G} \) is simply connected. By Lemma 4.7, \({\mathbf {b}}\) corresponds to an element in \(\mathrm {H}^{1}(\mathsf {F} ,\mathsf {G} )\), which is trivial because \(\mathsf {G} \) is simply connected (by [10], or alternatively \(\mathrm {H}^{1}(\mathsf {F} ,\mathsf {G} ) \hookrightarrow \mathrm {A}(\mathsf {F} ,\mathsf {G} ) = \{0\})\)). \(\square \)

6.6 By the previous corollary, we know that the Kottwitz and Newton point uniquely determine a \(\sigma \)-conjugacy class. If \(\mathsf {G} \) is quasi-split, the possible values of \(({\bar{\nu }},{\bar{\kappa }})\) can be calculated using Theorem 6.7 below; so we briefly describe how to reduce the description of \(\mathsf {B} (\mathsf {F} ,\mathsf {G} )\) to the quasi-split case.

By Proposition 5.6 we can reduce to the case that \(\mathsf {G} \) is of adjoint type. Then any inner form of \(\mathsf {G} \) is can be described by twisting the Frobenius action with a basic element, thus Lemma 5.3 allows us to replace \(\mathsf {G} \) by a quasi-split inner form in this regard.

Theorem 6.7

Assume that G is quasi-split. Then the map

$$\begin{aligned} \mathop \bigsqcup \limits _{\begin{array}{c} \mathsf {T} \subset \mathsf {G} \\ max. \mathsf {F} -torus \end{array}} \mathrm {B}(\mathsf {F} ,\mathsf {T} ) \rightarrow \mathrm {B}(\mathsf {F} ,\mathsf {G} ) \end{aligned}$$

is surjective.

Proof

We first assume that the derived group of \(\mathsf {G} \) is simply connected. Let \(\mathsf {b} \in \mathsf {G} ({\breve{\mathsf {F} }})\) be arbitrary. We fix an element \(\mathsf {z} \in \mathsf {J} _\mathsf {b} (\mathsf {F} )\) which is regular semisimple in \(\mathsf {G} \). Such an element exists, since the set of \(\mathsf {G} \)-regular semisimple elements in \(\mathsf {J} _\mathsf {b} (\overline{\mathsf {F} })\) is open and non-empty as \(\mathsf {J} _b\) contains a maximal torus of \(\mathsf {G} \); as \(\mathsf {J} _\mathsf {b} (\mathsf {F} )\) is a dense subset of \(\mathsf {J} _\mathsf {b} (\overline{\mathsf {F} })\), it must intersect this set non-emptily. Now \( \sigma (\mathsf {z} ) = \mathsf {b} ^{-1}\mathsf {z} \mathsf {b} , \) in particular the conjugacy class C of \(\mathsf {z} \) in \(\mathsf {G} ({\breve{\mathsf {F} }})\) is rational. By Corollary A.1.3 there exists an \(\mathsf {F} \)-rational element \(\mathsf {z} _0 \in C\). Write \(\mathsf {z} = \mathsf {g} \mathsf {z} _0 \mathsf {g} ^{-1}\). Then we get

$$\begin{aligned} \sigma (\mathsf {g} ) \sigma (\mathsf {z} _0) \sigma (\mathsf {g} )^{-1}= \sigma (\mathsf {z} ) = \mathsf {b} ^{-1}\mathsf {g} \mathsf {z} _0 \mathsf {g} ^{-1}\mathsf {b} . \end{aligned}$$

Hence \(\mathsf {g} ^{-1}\mathsf {b} \sigma (\mathsf {g} )\) is an element of the centraliser of \(\mathsf {z} _0\), which is an \(\mathsf {F} \)-torus by assumption.

To prove the remaining cases, we consider a z-extension

figureac

with \(\mathsf {G} _1^{\mathrm{der}}\) is simply connected. We obtain a commutative diagram

figuread

Hence the lower map must also be surjective. \(\square \)

For future reference, we record the following helpful result.

Corollary 6.8

Let \(\mathsf {G} \) be quasi-split and \({\mathbf {b}}\in \mathrm {B}(\mathsf {F} ,\mathsf {G} )\). Then there exists \(\mathsf {b} \in {\mathbf {b}}\) such that \(\nu _\mathsf {G} (\mathsf {b} )\) is rational.

Proof

This follows from the previous theorem since the Newton point of a torus is automatically rational. \(\square \)

Notes

  1. 1.

    Note that this definition is different from the subgroup of degree zero divisors \({{\,\mathrm{Div}\,}}^0(\mathsf {E} ) = \left\{ \sum n_y \cdot y \in {{\,\mathrm{Div}\,}}(\mathsf {E} ) \mid \sum n_y \cdot \deg (y) = 0 \right\} \). This is due to the fact that we are actually considering the Galois coinvariants of \({{\,\mathrm{Div}\,}}^0({\breve{\mathsf {F} }})\) where every place has degree one, see Sect. 2.5 for details.

  2. 2.

    Note that N is a priori a constructible subset, though it turns out to be a closed subvariety.

References

  1. 1.

    Arasteh Rad, E., Hartl, U.: Langlands–Rapoport conjecture over function fields. Preprint, arXiv:1605.01575, p. 22 pages, 05 (2016)

  2. 2.

    Borel, A., Springer, T.A.: Rationality properties of linear algebraic groups. II. Tohoku Math. J. 2(20), 443–497 (1968)

    MathSciNet  MATH  Google Scholar 

  3. 3.

    Borovoi, M.: Abelian Galois cohomology of reductive groups. Mem. Amer. Math. Soc., 132(626):viii+50 (1998)

  4. 4.

    Bosch, S., Lütkebohmert, W., Raynaud, M.: Néron Models. Springer, Berlin (1990)

    Book  Google Scholar 

  5. 5.

    Bux, K.-U., Wortman, K.: Finiteness properties of arithmetic groups over function fields. Invent. Math. 167(2), 355–378 (2007)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Ngô Dac,T.: Comptage des \(G\)-chtoucas: la partie elliptique. Compos. Math. 149(12), 2169–2183 (2013)

  7. 7.

    Ngô Dac,T.: On a counting problem for \(G\)-shtukas. Arithmetic and Geometry, vol. 420 of London Mathematics Society Lecture Note Series, pp. 318–350. Cambridge University Press, Cambridge (2015)

  8. 8.

    Demazure, M., Grothendieck, A.: Schémas en groupes. III: Structure des schémas en groupes réductifs. Séminaire de Géométrie Algébrique du Bois Marie 1962/64 (SGA 3). Lecture Notes in Mathematics, Vol. 153. Springer, Berlin, 1962/1964

  9. 9.

    Drinfel’d, V.G.: Proof of the Petersson conjecture for \({\rm GL}(2)\) over a global field of characteristic \(p\). Funktsional. Anal. i Prilozhen., 22(1):34–54, 96 (1988)

  10. 10.

    Harder, G.: Über die Galoiskohomologie halbeinfacher algebraischer Gruppen. III. J. Reine Angew. Math. 274(275), 125–138 (1975)

    MathSciNet  MATH  Google Scholar 

  11. 11.

    Iakovenko, S.: Representations of the kottwitz gerbs. Dissertation, in preparation

  12. 12.

    Jantzen, J.C.: Representations of algebraic groups, vol. 107 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, second edition (2003)

  13. 13.

    Kisin, M.: \({\rm mod}\, p\) points on Shimura varieties of abelian type. J. Am. Math. Soc. 30(3), 819–914 (2017)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Kottwitz, R.E.: B(G) for all local and global fields. arXiv:1401.5728v1. Preprint

  15. 15.

    Kottwitz, R.E.: Rational conjugacy classes in reductive groups. Duke Math. J. 49(4), 785–806 (1982)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Kottwitz, R.E.: Stable trace formula: cuspidal tempered terms. Duke Math. J. 51(3), 611–650 (1984)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Kottwitz, R.E.: Isocrystals with additional structure. Compos. Math. 56(2), 201–220 (1985)

    MathSciNet  MATH  Google Scholar 

  18. 18.

    Kottwitz, R.E.: Points on some Shimura varieties over finite fields. J. Am. Math. Soc. 5(2), 373–444 (1992)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Kottwitz, R.E.: Isocrystals with additional structure. II. Compos. Math. 109(3), 255–339 (1997)

    MathSciNet  Article  Google Scholar 

  20. 20.

    Laumon, G., Rapoport, M., Stuhler, U.: \(\mathscr {D}\)-elliptic sheaves and the Langlands correspondence. Invent. Math. 113(2), 217–338 (1993)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Milne, J.S.: Étale cohomology. Princeton Mathematical Series, vol. 33. Princeton University Press, Princeton (1980)

  22. 22.

    Milne, J.S.: The points on a Shimura variety modulo a prime of good reduction. The Zeta Functions of Picard Modular Surfaces, pp. 151–253. Univ. Montréal, Montreal, QC (1992)

  23. 23.

    Ngô, B.C., Ngô Dac, T.: Comptage de \(G\)-chtoucas: la partie régulière elliptique. J. Inst. Math. Jussieu 7(1), 181–203 (2008)

  24. 24.

    Rapoport, M., Richartz, M.: On the classification and specialization of \(F\)-isocrystals with additional structure. Compos. Math. 103(2), 153–181 (1996)

    MathSciNet  MATH  Google Scholar 

  25. 25.

    Steinberg, R.: Regular elements of semisimple algebraic groups. Inst. Hautes Études Sci. Publ. Math. 25, 49–80 (1965)

    MathSciNet  Article  Google Scholar 

  26. 26.

    Stix, J.: Trading degree for dimension in the section conjecture: the non-abelian Shapiro lemma. Math. J. Okayama Univ. 52, 29–43 (2010)

    MathSciNet  MATH  Google Scholar 

  27. 27.

    Zhou, R.: Mod \(p\) isogeny classes on Shimura varieties with parahoric level structure. Duke Math. J. 169(15), 2937–3031 (2020)

    MathSciNet  Article  Google Scholar 

  28. 28.

    Zink, T.: Isogenieklassen von Punkten von Shimuramannigfaltigkeiten mit Werten in einem endlichen Körper. Math. Nachr. 112, 103–124 (1983)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

We are grateful to Sergei Iakovenko for helpful comments and to Peter Scholze for pointing out an error in the previous version of this manuscript. We thank Brian Conrad and Paul Ziegler for helpful discussions, and the anonymous referee(s) for the careful reading and comments. The first named author was partially supported by ERC Consolidator Grant 770936: NewtonStrat. The second named author was supported by the National Research Foundation of Korea(NRF) grant funded by the Korea government(MSIT) (No. 2020R1C1C1A0100945311).

Funding

Open Access funding enabled and organized by Projekt DEAL.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Paul Hamacher.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendix A: On rational conjugacy classes

Appendix A: On rational conjugacy classes

A.1 Statement

Let F be any field. (In the intended setting, F will be a global or local function field, which is imperfect.) Let G be a (connected) quasi-split reductive group over F, and assume that the derived subgroup \(G^{\mathrm {der}}\) of G is simply connected.

Note that any conjugacy class \(C\subset G(\overline{F})\) is the set of \(\overline{F}\)-points of some locally closed subvariety of \(G_{\overline{F}}\). We say that a conjugacy class \(C\subset G(\overline{F})\) is defined over F if the corresponding locally closed subvariety is defined over F.

Theorem A.1.1

Let \(C\subset G(\overline{F})\) be a regular semisimple conjugacy class defined over F. Then there exists an element \(x\in G(F)\cap C\).

If F is perfect then the above theorem was obtained for any F-rational semisimple conjugacy class C (but not necessarily regular); cf. [15, Thm. 4.1]. If F is not necessarily perfect and G is semisimple, then the above theorem was proved in [2, § 8.6] by modifying the argument for perfect base fields in [25, Thm. 1.7]. In the semisimple case, the proof uses the regularity assumption on C if the base field is imperfect.

In short, the above proposition can be obtained by modifying the proof of Steinberg’s theorem [25, Thm. 1.7] in the reductive setting, using some ideas from [15, Thm. 4.1]. As we are not aware of any reference, let us provide a proof here.

We also need the following refinements of Theorem A.1.1:

Corollary A.1.2

We keep all the assumptions from Theorem A.1.1, and assume that F has cohomological dimension \(\leqslant 1\). Then any regular semisimple conjugacy class \(C\subset G(\overline{F})\) defined over F contains a unique G(F)-conjugacy class.

When F is perfect, this theorem was proved by Steinberg [25, Corollary 10.3] for any semisimple conjugacy classes.

Proof

We first show that C contains a unique \(G({F}^s)\)-conjugacy class \({C}^s \subset G({F}^s)\), necessarily defined over F. Existence is guaranteed by Theorem A.1.1. Now, let \(x,y \in C \cap G({F}^s)\). Since all maximal tori are conjugated to each other over \({F}^s\), we can replace x and y by \(G({F}^s)\)-conjugates so that they are contained in a given \({F}^s\)-torus T. Since x and y are conjugated under \(G(\overline{F})\), they lie in the same Weyl group orbit. Since every Weyl group element lifts to an element of \(G({F}^s)\) by [8, Exp. XXII, Cor. 3.8], it follows that x and y are \(G({F}^s)\)-conjugates of each other.

The statement now follows from the argument in [15, § 3]. Let \(x\in C\cap G(F)\), which exists by Theorem A.1.1. Using the assumption that \(G^{\mathrm {der}}\) is simply connected, it follows that the set of G(F)-conjugacy classes contained in \({C}^s\) is in natural bijection with

$$\begin{aligned}\ker \left( \mathrm {H}^1(F,G_x) \rightarrow \mathrm {H}^1(F,G) \right) ,\end{aligned}$$

where \(G_x\) is the centraliser of x in G; cf. [15, § 3]. On the other hand, if F has cohomological dimension \(\leqslant 1\) then \(\mathrm {H}^1(F,G_x)\) vanishes as \(G_x\) is connected reductive; cf. [2, §§ 8.6]. \(\square \)

Corollary A.1.3

Let G be as in Theorem A.1.1, and let E/F be a (not necessarily finite) Galois extension. Assume that E has cohomological dimension \(\leqslant 1\). Then any regular semisimple \({{\,\mathrm{Gal}\,}}(E/F)\)-stable conjugacy class in G(E) contains an element in G(F).

In particular, if F is a global function field and \(E:=\breve{F} \) then any \(\sigma \)-stable regular semisimple conjugacy class in \(G(\breve{F})\) contains an element in G(F).

Proof

This is an immediate consequence of the previous corollary. \(\square \)

It remains to prove Theorem A.1.1. Unfortunately, we cannot naively adapt the proof of [15, Theorem 4.1]. Indeed, to reduce the proof to the semisimple simply connected case, loc. cit. used the equality

$$\begin{aligned}G(\overline{F}) = Z(\overline{F})\cdot G^{\mathrm {der}}(\overline{F}),\end{aligned}$$

where Z is the centre of G. On the other hand, we do not have such an equality over \({F}^s\) as one can see from the case when \(G={{\,\mathrm{GL}\,}}_n\) with p|n. Therefore, we have to redo part of proof of Steinberg’s theorem in [25, §9] in the reductive setting. Let us now give a proof.

Notations

We choose a maximal split F-torus of G, and let \(T\subset G\) be its centraliser. (Then T is a maximal F-torus because G is quasi-split.) We choose a F-rational Borel subgroup \(B\subset G\) containing T. We work with the (absolute) root datum with respect to \(T_{{F}^s}\), and we get a natural \({{\,\mathrm{Gal}\,}}({F}^s/F)\)-action on roots, coroots, and the (absolute) Weyl group W. Therefore, we may view W as an finite étale group scheme over F, and its action on T is defined over F.

We set \(T^{\mathrm {der}}:=T\cap G^{\mathrm {der}}\) and let Z denote the centre of G. Let \(D:=G/G^{\mathrm {der}}\) denote the cocentre of G. Then we have the following short exact sequence of tori:

(A.1.4)

Lemma A.1.5

Assume that \(G^{\mathrm {der}}\) is simply connected.

  1. (1)

    The torus \(T^{\mathrm {der}}\) is a product of \({{\,\mathrm{Res}\,}}_{F_i/F}{\mathbb {G}}_m\) for finite separable extensions \(F_i/F\).

  2. (2)

    For any algebraic separable extension \(F'/F\), the short exact sequence (A.1.4) induces a short exact sequences on \(F'\)-points ; i.e.,

Proof

Since \(G^{\mathrm {der}}\) is simply connected, it is a product of F-simple factors. So the argument in [15, p. 793] shows claim (1). Then claim (2) when \(T^{\mathrm {der}}\) splits over \(F'\) follows from the vanishing of \(\mathrm {H}^1_{\mathrm{fl}}(F',{\mathbb {G}}_m)\) (cf. [21, Ch. III, Proposition 4.9]), and the general case of (2) follows from (1) via Shapiro’s lemma and Hilbert’s Theorem 90 for Galois cohomology. \(\square \)

A.2 Normal forms: Review of Steinberg’s construction

We review the work of Steinberg’s on ‘normal forms’ for regular conjugacy classes over an algebraically closed field \({\overline{F}}\). We also investigate which results hold over a separably closed fields \({F}^s\).

In this section, let us assume that G is semi-simple, simply connected and quasi-split over F. (Later, we will apply the constructions in this subsection to the derived subgroup.)

Let r be the absolute rank of G, and choose (absolute) simple roots \(\alpha _1,\ldots ,\alpha _r\) corresponding to our choice of (TB). Let \(\sigma _i\) denote the reflection with respect to \(\alpha _i\), which is an element of the absolute Weyl group, and we choose a lift \({{\dot{\sigma }}}_i\in N_{G}(T)({F}^s)\) of \(\sigma _i\). Let \(X_i\) denote the root subgroup of \(\alpha _i\), which is a 1-dimensional unipotent subgroup of G defined over \({F}^s\). Note that the absolute Galois group \({{\,\mathrm{Gal}\,}}({F}^s/F)\) acts on \(\{\alpha _1,\ldots ,\alpha _r\}\), hence it permutes \(\sigma _i\)’s and \(X_i\)’s.

Let us consider the following subvarietyFootnote 2 of \(G_{{F}^s}\) (not just over \(\overline{F}\)):

$$\begin{aligned} N :=\prod _{i=1}^r (X_i \cdot {{\dot{\sigma }}}_i). \end{aligned}$$
(A.2.1)

Steinberg [25] defined N only over \(\overline{F}\), which is one of the reasons why he needed to assume F is perfect. Then Borel and Springer [2, §8] realised that under the stronger foundation in algebraic groups many things in [25] can be done over separably closed fields in place of algebraically closed fields (except Jordan decomposition). In particular, N can be defined over \({F}^s\).

Proposition A.2.2

Let G be a semi-simple, simply connected and quasi-split reductive group over F.

  1. (1)

    (Cf. [25, Theorem 7.1]) The natural map \(\prod _{i=1}^r X_i \mapsto N\) is an isomorphism of schemes over \({F}^s\). Furthermore, N is closed in G.

  2. (2)

    (Cf. [25, Lemma 7.5]) Let us consider a different lift \({{\dot{\sigma }}}_i'\) of \(\sigma _i\) for each i, and set \(N':=\prod _{i=1}^r(X_i{{\dot{\sigma }}}_i')\). Then there exist \(t,t'\in T({F}^s)\) such that

    $$\begin{aligned}N' = t'\cdot N = tNt^{-1}.\end{aligned}$$
  3. (3)

    (Cf. [25, Proposition 7.8]) For any permutation \(\tau \) of \(\{1,\ldots ,r\}\) we set

    $$\begin{aligned} N^\tau :=\prod _{i=1}^r X_{\tau (i)}{{\dot{\sigma }}}_{\tau (i)}. \end{aligned}$$

    Then each element of \(N^\tau ({F}^s) \) is \(G({F}^s)\)-conjugate to some element in \(N ({F}^s)\).

We will show now that if G does not have any odd special unitary factor it is possible to choose N so that it is defined over the same ground field F as G.

Let E be a finite Galois extension of F over which G splits. Clearly the root subgroups \(X_i\) are defined over E. Furthermore, by a simple application of Hilbert’s Theorem 90 for split tori it is possible to take \({{\dot{\sigma }}}_i\in G(E)\); cf. [25, Lemma 9.3].

Now, we pick a representative \(\alpha _i\) in each \({{\,\mathrm{Gal}\,}}(E/F)\)-orbit of simple roots \(\{\alpha _1,\ldots ,\alpha _r\}\) and pick \({{\dot{\sigma }}}_i\in G(E)\). For \(\alpha _j = \alpha _i^\gamma \) for \(\gamma \in {{\,\mathrm{Gal}\,}}(E/F)\), we pick \(\sigma _j:=\sigma _i^\gamma \). We also reorder \((\alpha _i)\) so that \({{\,\mathrm{Gal}\,}}(E/F)\)-conjugates have adjacent indices. We construct N using this choice.

Theorem A.2.3

(cf. [25, Theorems 9.2, 9.4]) We maintain the assumption that G is semi-simple, simply connected and quasi-split over F. Assume furthermore that G does not have an odd special unitary factor. Then the closed subvariety \(N\subset G_{{F}^s}\) constructed under the choices made as above is defined over F.

Proof

The case when G is split over F, the theorem is obvious as \(X_i\) and \({{\dot{\sigma }}}_i\) are all defined over F; cf. [25, Theorem 9.2]. If G is quasi-split over F and split over E/F, then clearly N (constructed under the choice made as above) is naturally defined over E. It remains to show that N is stable under the \({{\,\mathrm{Gal}\,}}(E/F)\)-action.

Since \({{\,\mathrm{Gal}\,}}(E/F)\) permutes \(X_i\cdot {{\dot{\sigma }}}_i\), the desired Galois stability boils down to the property that

$$\begin{aligned}(X_i\cdot {{\dot{\sigma }}}_i)\cdot (X_i^\gamma \cdot {{\dot{\sigma }}}_i^\gamma ) = (X_i^\gamma \cdot {{\dot{\sigma }}}_i^\gamma )\cdot (X_i\cdot {{\dot{\sigma }}}_i), \quad \forall i,\ \forall \gamma \in {{\,\mathrm{Gal}\,}}(E/F)\end{aligned}$$

By inspecting all the possible automorphisms of Dynkin diagrams, the above property holds except for the non-trivial diagram automorphism of \(A_{2n}\), which corresponds to odd special unitary groups; cf. proof of Theorem 9.4 in [25]. \(\square \)

Example A.2.4

Let us give an example of quasi-split \({{\,\mathrm{SU}\,}}_4\). Let \(G:={{\,\mathrm{SU}\,}}_4\) attached to a rank-4 totally isotropic hermitian space for E/F. Then \(G_E\cong {{\,\mathrm{SL}\,}}_4\), and we may make a standard choice of simple roots \(\alpha _1,\alpha _2,\alpha _3\). Let \(\bar{(\bullet )}\) denote the unique non-trivial element in \({{\,\mathrm{Gal}\,}}(E/F)\). Then we have \({\bar{\alpha }}_1 = \alpha _3\) and \({\bar{\alpha }}_2=\alpha _2\). We choose \({{\dot{\sigma }}}_i\) so that \({{\dot{\sigma }}}_2\) is defined over F and \(\bar{{{\dot{\sigma }}}}_1 = {{\dot{\sigma }}}_3\).

Let us set \(N = (X_2{{\dot{\sigma }}}_2)(X_1{{\dot{\sigma }}}_1)(X_3{{\dot{\sigma }}}_3)\). (Mind the order of the indices.) Then, since \(\alpha _1\) and \(\alpha _3\) are orthogonal, it follows that \(X_1{{\dot{\sigma }}}_1\) and \(X_3{{\dot{\sigma }}}_3\) commute so we have \(N = {\bar{N}}\).

Let us now explain why odd special unitary factors should be excluded in the above theorem. For simplicity, let us consider quasi-split \({{\,\mathrm{SU}\,}}_3\). Over some separable quadratic extension E/F we have two simple roots \(\alpha _1\) and \(\alpha _2\), which are permuted by the non-trivial element of \({{\,\mathrm{Gal}\,}}(E/F)\). So from our choice of \({{\dot{\sigma }}}_i\), we have \(N = (X_1{{\dot{\sigma }}}_1)(X_2{{\dot{\sigma }}}_2)\) and \({\bar{N}} = (X_2{{\dot{\sigma }}}_2)(X_1{{\dot{\sigma }}}_1)\). It does not seem possible to choose \({{\dot{\sigma }}}_1\) so that \(N={\bar{N}}\).

A.3 Normal forms: Case without odd special unitary factor

The statements up until Proposition A.3.3 work for an arbitrary reductive group G, and we only need the additional requirements in the last step. Assume that E is a field extension of F over which G is split. (For example, we will later focus on the case when \(E = {F}^s\) or \(E=\overline{F}\).) We denote by the GIT quotient of G with respect to the conjugation, and by the GIT quotient of T modulo its Weyl group in G.

Lemma A.3.1

(cf. [25, Cor. 6.4]) The canonical morphism is an isomorphism.

Proof

Since both quotients are uniform, it suffices to consider to prove the claim over E. Here the proof is the same as Steinberg’s proof for semi-simple G if one replaces 7.15 of loc. cit. by [12, Prop. II.2.4]. \(\square \)

Thus we have the following natural maps:

(A.3.2)

Note that \({{\underline{\chi }}}\) is constant on each conjugacy class, being conjugation-invariant. More precisely, we obtain the following result

Proposition A.3.3

The fibre of \({{\underline{\chi }}}\) at any point consists of finitely many conjugacy classes with the semisimple part determined by \({\underline{c}}\). Furthermore, \({{\underline{\chi }}}^{-1}({\underline{c}})\) contains

  1. (1)

    a unique regular conjugacy classes in \(G(\overline{F})\), and

  2. (2)

    a unique semisimple conjugacy classes over \(G(\overline{F}) \).

Furthermore, \(\chi ^{-1}({\underline{c}})\) consists of a single conjugacy class C if and only if it is a regular semisimple conjugacy class. In this case we have that \({\underline{c}}\) is an F-rational point of if and only if C is defined over F.

Proof

The rationality statement follows from the rest of the proposition, as it states that C is the preimage of \({\underline{c}}\) and \({\underline{c}}\) is the scheme-theoretic image of C, respectively. Since we have \(G(\overline{F}) = Z(\overline{F})\cdot G^{\mathrm {der}}(\overline{F})\), any conjugacy class in \(G(\overline{F})\) is a translate of a conjugacy class in \(G^{\mathrm {der}}(\overline{F})\) by some element \(z\in Z(\overline{F})\). Therefore, to prove the proposition it suffices to handle the case when G is semisimple (and simply connected), which is proved in [25, Corollary 6.6]. \(\square \)

We note that the canonical projection \(T\twoheadrightarrow D\) is W-invariant and thus factors through . Let denote the preimage of \({\bar{t}}\in D(F)\). The following result is essentially due to Steinberg:

Theorem A.3.4

(Steinberg) Assume that \(G^{\mathrm{der}}\) is simply connected and quasi-split over F with no odd special unitary factor, and let N be a closed F-subvariety of G defined as in Theorem A.2.3. Let \({\bar{t}}\in D(F)\), and choose a lift \(t\in T(F)\) of \({\bar{t}}\) by Lemma A.1.5(2). Then \({{\underline{\chi }}}\) induces an isomorphism

Proof

By flat descent, it suffices to prove the claim over \(\overline{F}\). Let \(z\in Z(\overline{F})\) be a lift of \({\bar{t}}\), so we have \(z^{-1}t\in T^{\mathrm {der}}(\overline{F})\). By Proposition A.2.2(2), there exists \(s\in T^{\mathrm {der}}(\overline{F})\) such that \(s^{-1} N_{\overline{F}} s=(z^{-1}t)\cdot N_{\overline{F}}\). Finally, the following isomorphism over \(\overline{F}\) can be obtained from [25, Corollary 7.16]

which finishes the proof. \(\square \)

Proof of Theorem A.1.1in the case that \(G^\mathrm{der}\) has no odd special unitary factor: Let C be a regular semisimple conjugacy class defined over F and let be its image under \({{\underline{\chi }}}\). Denote by \({\overline{t}}\in D(F)\) its image under the canonical projection \(G \twoheadrightarrow D\) and fix a lift \(t \in T(F)\), which exists by Lemma A.1.5(2). By the previous theorem there exists a unique \(g \in t\cdot N(F)\) such that \({{\underline{\chi }}} (g) = {\underline{c}}\). By Proposition A.3.3, this implies that g is contained in C \(\square \)

A.4 Normal forms: Odd special unitary case

In the presence of odd special unitary factor in \(G^{\mathrm {der}}\), it is unclear if there exists a closed subvariety \(N\subset G^{\mathrm {der}}\) defined over F such that \({{\underline{\chi }}}\) (A.3.2) sends N isomorphically onto . Therefore, we will find another closed subvariety \(N'\subset G^{\mathrm {der}} \) defined over F such that \({\underline{\chi }}\) restricted to \(N'\) induces a bijection on closed points and then repeat the proof given in the previous section.

We choose a finite separable extension \(F'/F\) and a separable quadratic extension \(E'/F'\). Let \(({\bar{\bullet }})\in {{\,\mathrm{Gal}\,}}(E'/F')\) denote the non-trivial element.

We choose a basis \(V = E'^{2n+1}\) and the hermitian form given by the anti-diagonal matrix with entry 1. Let w be such a matrix. By abuse of notation we let \({{\,\mathrm{SU}\,}}_{2n+1}/F'\) denote the special unitary group associated to this hermitian space. It is a semi-simple, simply connected and quasi-split group defined over \(F'\). More explicitly, we have

$$\begin{aligned} {{\,\mathrm{SU}\,}}_{2n+1}(R) :=\left\{ g\in {{\,\mathrm{SL}\,}}_{2n+1}(E'\otimes _{F'}R)\ |\ ^{t}{\bar{g}} w g = w \right\} \end{aligned}$$

The defining condition can be rewritten as \(g = w\cdot {}^{t}\bar{g}^{-1} \cdot w\). (Note that \(w = w^{-1}\).) Therefore, we can identify \({{\,\mathrm{SU}\,}}_{2n+1}(F')\) as the \({{\,\mathrm{Gal}\,}}(E'/F')\)-invariance of \({{\,\mathrm{SL}\,}}_{2n+1}(E')\) with respect to the action of \(\sigma \) twisted as follows:

$$\begin{aligned} g\mapsto w\cdot {}^{t}{\bar{g}}^{-1} \cdot w. \end{aligned}$$
(A.4.1)

It turns out that any quasi-split special unitary group can be written in this way. (Although there is another maximally isotropic hermitian \(E'\)-space with rank \(2n+1)\) that is not isomorphic to V, the associated special unitary group is isomorphic to the one associated to V.)

A maximal split torus of \({{\,\mathrm{SU}\,}}_{2n+1}/F'\) is isomorphic to \({\mathbb {G}}_m^{n}\) where \((t_1,\ldots , t_n)\in F'^{\times }\) gets mapped to the diagonal matrix \({{\,\mathrm{diag}\,}}(t_1,\ldots , t_n,1,t_n^{-1},\ldots ,t_1^{-1})\in {{\,\mathrm{SU}\,}}_{2n+1}(F')\). Its centraliser, which is a maximal torus denoted as T, is isomorphic to \({{\,\mathrm{Res}\,}}_{E'/F'}{\mathbb {G}}_m^n\) where \((t_1,\ldots , t_n)\in E'^{\times }\) gets mapped to \({{\,\mathrm{diag}\,}}(t_1,\ldots , t_n,\prod _i (\bar{t}_i/t_i), {\bar{t}}_n^{-1},\ldots ,{\bar{t}}_1^{-1})\in T(F')\). We can also fix an F-rational Borel subgroup \(B\subset {{\,\mathrm{SU}\,}}_{2n+1}\) to be the “upper-triangular matrices”, which contains T.

Using the above notation, let \(G' :={{\,\mathrm{SU}\,}}_{2n+1}/F'\) be the special unitary group associated to a rank-\((2n+1)\) maximally isotropic hermitian space over \(E'\). (So \(G'\) is defined over \(F'\) and its adjoint quotient is absolutely simple.)

We work with the ‘standard’ root datum for \(G'_{E'} \cong {{\,\mathrm{SL}\,}}_{2n+1}/ E'\), and obtain \((\alpha _i)_{i=1,\cdots 2n}\) and \(\sigma _i\in W\). We twist the action of \({{\,\mathrm{Gal}\,}}(E'/F')\) on \({{\,\mathrm{SL}\,}}_{2n+1}/E'\) as in (A.4.1), so that the non-trivial element of \({{\,\mathrm{Gal}\,}}(E'/F')\) acts on the absolute root datum and the Weyl groups as follows:

$$\begin{aligned} \alpha _i&\longmapsto \alpha _{2n+1-i}\\ \sigma _i&\longmapsto \sigma _{2n+1-i} \end{aligned}$$

In particular, \(\alpha _n\) and \(\alpha _{n+1}\) are Galois-conjugates and they are not orthogonal, which is why the subvariety of rational normal forms \(N = \prod _{i=1}^{2n} (X_i\cdot {{\dot{\sigma }}}_i)\) is not defined over \(F'\). Indeed, the only problematic factors are \((X_n{{\dot{\sigma }}}_n)\cdot (X_{n+1}{{\dot{\sigma }}}_{n+1})\), so we modify the definition of N as follows. (We faithfully follow the proof of [25, Theorem 9.7].)

Note that where the isomorphism is given by the coefficients of the characteristic polynomial. We can stratify as follows: \(V_{1,E'}\subset V_{E'}\) is an affine hyperplane defined by the condition that 1 is an eigenvalue, and \(V_{0,E'}:=V_{E'}\setminus V_{1,E'}\). Since \(V_{0,E'}\) and \(V_{1,E'}\) are \({{\,\mathrm{Gal}\,}}(E'/F')\)-equivariant, they descend to \(F'\)-subvariaties \(V_0\) and \(V_1\).

The strategy now is to construct disjoint closed \(F'\)-subvarieties \(N_0', N_1'\subset G':={{\,\mathrm{SU}\,}}_{2n+1}/F'\) such that the natural map

induces the following isomorphisms:

(A.4.2)
(A.4.3)

This was done in [25, Theorem 9.7] at least when F is perfect. Let us recall the construction and basic properties of \(N_0'\) and \(N_1'\).

Definition A.4.4

Let us introduce some notation first.

  1. (1)

    Let \(\alpha :=\alpha _n+\alpha _{n+1}\), which is a Galois-invariant root. We let \(X_{\alpha }\) and \(X_{-\alpha }\) respectively denote the root subgroup of \(\alpha \) and \(-\alpha \).

    Let \(G_\alpha \) be the subgroup generated by \(X_{\alpha }\) and \(X_{-\alpha }\), which is isomorphic to \({{\,\mathrm{SL}\,}}_2\). Let \(T_\alpha :=T \cap G_\alpha \) denote the maximal torus of \(G_\alpha \).

    Let \(\sigma _\alpha \in W\) be the reflection with respect to \(\alpha \), and choose its lift \({{\dot{\sigma }}}_\alpha \) in \(G_\alpha (F')\).

  2. (2)

    As before, let \(X_i\) denote the root subgroup of \(\alpha _i\). Let \(G_i\) denote the “\({{\,\mathrm{SL}\,}}_2\)-subgroup” associated to \(\alpha _i\). Note that \(G_i\) can only be defined over \(E'\).

  3. (3)

    For any \(i=1,\cdots n-1\) we choose \({{\dot{\sigma }}}_i\) in \(G_i(E')\) and set \({{\dot{\sigma }}}_{2n+1-i}:=\bar{{{\dot{\sigma }}}}_i\), which clearly lifts \(\sigma _{2n+1-i}\) and lies in \(G_{2n+1-i}(E')\).

  4. (4)

    Let us choose \(u_n\in X_n(E')\setminus \{1\}\) and \(u_{n+1}\in X_{n+1}(E')\setminus \{1\}\).

Under these choices, we define \(N_0'\) and \(N_1'\) as follows:

$$\begin{aligned} N_1'&:=(X_\alpha \cdot {\dot{\sigma }}_\alpha )\cdot \prod _{i=1}^{n-1} \big ((X_i{\dot{\sigma }}_i) \cdot (X _{2n+1-i}{\dot{\sigma }}_{2n+1-i})\big ); \end{aligned}$$
(A.4.5)
$$\begin{aligned} N_0'&:=(u_{n+1}u_n\cdot X_\alpha \cdot {\dot{\sigma }}_\alpha \cdot T_\alpha )\cdot \prod _{i=1}^{n-1}\big ((X_i{\dot{\sigma }}_i) \cdot (X _{2n+1-i}{\dot{\sigma }}_{2n+1-i})\big ). \end{aligned}$$
(A.4.6)

Clearly, \(N_1'\) and \(N_0'\) are defined over \(E'\). We would like to show that \(N_1'\) is defined over \(F'\), and it is possible to choose \(u_n\) and \(u_{n+1}\) so that \(N_0'\) is defined over \(F'\).

The following proposition can be verified without difficulty:

Proposition A.4.7

(cf. [25, Lemmas 9.13, 9.14]) Set \(G':={{\,\mathrm{SU}\,}}_{2n+1}/ F' \) as above.

  1. (1)

    (Cf. [25, Lemma 9.13]) The natural maps \(X_\alpha \times \prod _{i\ne n,n+1} X_i \rightarrow N_1'\) and \(X_\alpha \times T_\alpha \times \prod _{i\ne n,n+1} X_i \rightarrow N_1' \) are isomorphisms of schemes over \(E'\). Furthermore, both \(N_0'\) and \(N_1'\) are closed subvarieties.

  2. (2)

    (Cf. [25, Lemma 9.14]) The closed subvarieties \(N_1'\) and \(N_0'\) are independent of choices of \({{\dot{\sigma }}}_i\), \({{\dot{\sigma }}}_\alpha \) and \(u_{n+1}u_{n}\) up to conjugate.

  3. (3)

    (Cf. [25, Corollary 9.19]) the natural map \({{\underline{\chi }}}\) for \(G'\) defined in (A.3.2) induces the following isomorphisms over \(F'\)

    $$ \begin{aligned} N'_{1}\xrightarrow {\sim } V_1\quad (A.4.2) \quad \& \quad N'_{0}\xrightarrow {\sim } V_0 \quad (A.4.3). \end{aligned}$$

Proof

By flat descent it suffices to verify the claims over the perfect closure of \(F'\), which is proved in the reference given. \(\square \)

We now show that under suitable choices we can arrange so that \(N_1'\) and \(N_0'\) are defined over \(F'\) (and thus the isomorphisms (A.4.2) and (A.4.3) are defined \(F'\), too).

Firstly, recall that \(G':={{\,\mathrm{SU}\,}}_{2n+1}/F'\) is the special unitary group associated to the hermitian space \(\bigoplus _{i=1} ^{2n+1} E'e_i\) with hermitian form given by antidiagonal matrix w. The subgroup fixing \(e_{n+1}\) is a quasi-split special unitary group

$$\begin{aligned} H ':={{\,\mathrm{SU}\,}}_{2n}. \end{aligned}$$
(A.4.8)

Using the choice of maximal torus and Borel subgroup coming from the ambient \(G':={{\,\mathrm{SU}\,}}_{2n+1}\), we can embed the root datum for \({{\,\mathrm{SU}\,}}_{2n}\) into \({{\,\mathrm{SU}\,}}_{2n+1}\); in fact, the simple roots for \({{\,\mathrm{SU}\,}}_{2n}\) consists of \(\alpha \) and \(\alpha _i\) for \(i\ne n,n+1\). Our choice of \(\sigma _\alpha \) and \({{\dot{\sigma }}}_i\) (\(i\ne n,n+1\)) ensures that \({{\dot{\sigma }}}_i\in H'(E')\) for any \(i\ne n,n+1\), so we have

$$\begin{aligned}N'_{1,E'}\subset H'_{E'}.\end{aligned}$$

Clearly, \(N_1'\) coincides with the image of closed subvarieties of normal forms for \(H'\) with respect to the ordering of simple roots given by \((\alpha ,\alpha _1,\alpha _{2n},\cdots )\). Therefore, \(N_1'\) is defined over \(F'\); cf. Theorem A.2.3. Indeed, the proof shows that the factor

$$\begin{aligned} \prod _{i=1}^{n-1} \big ((X_i{\dot{\sigma }}_i) \cdot (X _{2n+1-i}{\dot{\sigma }}_{2n+1-i})\big ) \end{aligned}$$
(A.4.9)

is also defined over \(F'\).

Now let us consider \(N_0'\). Since the root \(\alpha \) is defined over \(F'\), it follows that \(T_\alpha \) and \(X_\alpha \) are defined over \(F'\). We also chose \({{\dot{\sigma }}}_\alpha \) in \(G_\alpha (F')\). So it remains to choose \(u_{n+1},u_n\) so that \(u_{m+1}u_m X_\alpha \) is defined over \(F'\), which is possible as explained in [25, p 309].

The above discussion together with Proposition A.4.7 shows the following:

Proposition A.4.10

Set \(G':={{\,\mathrm{SU}\,}}_{2n+1}/ F' \), \(H'\subset G'\), \(N_0'\) and \(N_1'\) are defined as above.

  1. (1)

    \(N_0'\) and \(N_1'\) are closed subvarieties of \(G'\) defined over \(F'\).

  2. (2)

    For any \(t\in T(F')\cap H'(F')\), there exists \(t_0, t_1\in T(F')\cap H'(F')\) such that we have

    $$ \begin{aligned}t\cdot N_0' = t_0 N_0' t_0^{-1}\quad \& \quad t\cdot N_1' = t_1 N_1' t_1^{-1}.\end{aligned}$$

Proof

We have already showed the first claim, and the existence of \(t_1\) in the second claim follows from Proposition A.2.2(2) applied to \(N_1'\subset H'\).

To find \(t_0\), note that

$$\begin{aligned} t\cdot N_0' = t\big ( u_{n+1}u_n X_\alpha \big )t^{-1}\cdot t \left( X_\alpha {{\dot{\sigma }}}_\alpha T_\alpha \prod _{i=1}^{n-1}\big ((X_i{\dot{\sigma }}_i) \cdot (X_{2n+1-i}{\dot{\sigma }}_{2n+1-i})\big )\right) \end{aligned}$$

the factor \(t (u_{n+1}u_n X_\alpha ) t^{-1}\) is defined over \(F'\), and we can write

$$\begin{aligned} t (u_{n+1}u_n X_\alpha ) t^{-1} = u'_{n+1}u'_nX_\alpha , \end{aligned}$$

where \(u'_{n+1} = t u'_{n+1}t^{-1} \in X_{n+1} \) and \(u'_{n} = tu'_{n}t^{-1} \in X_{n}\).

One can check that for any \(t_0'\in T(F')\cap H'(F')\) we have

$$\begin{aligned}&t_0' \left( X_\alpha {{\dot{\sigma }}}_\alpha T_\alpha \prod _{i=1}^{n-1}\big ((X_i{\dot{\sigma }}_i) \cdot (X_{2n+1-i}{\dot{\sigma }}_{2n+1-i})\big )\right) t_0'^{-1} \\&\quad = t_0' \sigma ''(t_0')^{-1}\left( X_\alpha {{\dot{\sigma }}}_\alpha T_\alpha \prod _{i=1}^{n-1}\big ((X_i{\dot{\sigma }}_i) \cdot (X_{2n+1-i}{\dot{\sigma }}_{2n+1-i})\big )\right) , \end{aligned}$$

where \(\sigma '' = \sigma _\alpha \prod _{i=1}^{n-1}(\sigma _i\sigma _{2n+1-i})\) is an element in the Weyl group for \(H'\). Since the homomorphism \(t_0'\mapsto t_0'\sigma ''(t_0')^{-1}\) is surjective on \(T(F')\cap H'(F')\) (cf. [25, Lemma 7.5], or the proof of Proposition A.2.2(2)), we may find \(t_0'\in T(F')\cap H'(F')\) such that \(t = t_0'\sigma ''(t_0')^{-1}\).

Now we can write

$$\begin{aligned} t\cdot N_0'&= t\big ( u_{n+1}u_n X_\alpha \big )t^{-1}\cdot t_0' \left( X_\alpha {{\dot{\sigma }}}_\alpha T_\alpha \prod _{i=1}^{n-1}\big ((X_i{\dot{\sigma }}_i) \cdot (X_{2n+1-i}{\dot{\sigma }}_{2n+1-i})\big )\right) t_0'^{-1}\\&= t_0'\left( (u'_{n+1}u'_n X_\alpha )\cdot X_\alpha {{\dot{\sigma }}}_\alpha T_\alpha \prod _{i=1}^{n-1}\big ((X_i{\dot{\sigma }}_i) \cdot (X_{2n+1-i}{\dot{\sigma }}_{2n+1-i})\big ) \right) t_0'^{-1}, \end{aligned}$$

where \(u_{n+1}' = (t_0'^{-1}t)u_{n+1}(t_0'^{-1}t)^{-1}\in X_{n+1}\) and \(u_{n}' = (t_0'^{-1}t)u_{n}(t_0'^{-1}t)^{-1}\in X_{n}\). Clearly, \(u_{n+1}'u_{n}'X_\alpha \) is defined over \(F'\) (as it is \(F'\)-rationally conjugate to \(u_{n+1}u_nX_\alpha \), which is defined over \(F'\)). Since the construction of \(N_0'\) is independent of the choice of \(u_{n+1}, u_n\) up to conjugate (cf. Proposition A.4.7(2)), we obtain \(t_0\in T(F')\cap H'(F')\) such that \(t\cdot N_0'=t_0 N_0' t_0^{-1}\). \(\square \)

Remark A.4.11

It is too much to expect that \(t\cdot N_0'\) and \(t\cdot N_1'\) are conjugate to \(N_0'\) and \(N_1'\) for any \(t\in T(F')\), respectively. Indeed, \(N_1'\subset H'\) but \(T\not \subset H'\).

A.5. Proof of Theorem A.1.1: General case

Since \(G^{\mathrm {der}}\) is simply connected, we may write

$$\begin{aligned} G^{\mathrm {der}} = G^{(0)}\times \prod G^{(m)} \end{aligned}$$
(A.5.1)

where \(G^{(0)}\) has no odd special unitary factor and \(G^{(m)}\) is an F-simple odd special unitary group for each m; therefore, we may write \(G^{(m)}\cong {{\,\mathrm{Res}\,}}_{F_m/F}{{\,\mathrm{SU}\,}}_{2n_m+1}\) for a finite separable extension \(F_m/F\) and an integer \(n_m>0\).

For each \(G^{(m)}\) we consider a closed subgroup \(H^{(m)}\cong {{\,\mathrm{Res}\,}}_{F_m/F}{{\,\mathrm{SU}\,}}_{2n_m}\); cf. (A.4.8). Let H be the closed subgroup of G generated by the centre of G, \(G^{(0)}\) and \(H^{(m)}\) for each m. We set

$$ \begin{aligned} T_H:=T\cap H\quad \& \quad T_H^{\mathrm {der}}:=T\cap H^{\mathrm {der}}. \end{aligned}$$
(A.5.2)

Since H is also quasi-split and \(H^{\mathrm {der}}\) is simply connected, Lemma A.1.5(2) can be applied to \(T_H\). Furthermore, since \(D\cong H/H^{\mathrm {der}}\), any \({\bar{t}}\in D(F)\) has a lift \(t\in T_H(F)\).

In Theorem A.2.3 we defined a closed F-subvariety of “normal forms” \(N^{(0)}\subset G^{(0)}\). For \(G^{(m)}\), we set \(N^{(m)}:={{\,\mathrm{Res}\,}}_{F_m/F}N_0'\sqcup {{\,\mathrm{Res}\,}}_{F_m/F}N_1'\), where \(N_0', N_1'\subset {{\,\mathrm{SU}\,}}_{2n_m+1}/F_m\) are as in Proposition A.4.10. We now set

$$\begin{aligned} N':=N^{(0)} \times \prod _m N^{(m)}. \end{aligned}$$
(A.5.3)

The following proposition concludes the proof of Theorem A.1.1.

Proposition A.5.4

Let \(C\subset G(\overline{F})\) be a regular semi-simple conjugacy class defined over F, and choose \(t\in T_H(F)\) so that its image in D(F) coincides with the image of C. Then C contains a unique element in \(t\cdot N'(F)\). Hence, C contains an element in G(F).

Proof

We denote by \({\overline{t}}\in D(F)\) and the respective images of C and fix a lift \(t \in T_H(F)\) of \({\overline{t}}\). Repeating the proof of Theorem A.3.4 with \(N'\) in place of N, we obtain a unique element \(g \in t \cdot N'(F)\) with \({{\underline{\chi }}}(g) = \underline{c}\). Hence \(g \in t \cdot N'(F) \cap C\) by Proposition A.3.3. \(\square \)

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Hamacher, P., Kim, W. On \(\mathsf {G} \)-isoshtukas over function fields. Sel. Math. New Ser. 27, 75 (2021). https://doi.org/10.1007/s00029-021-00683-w

Download citation

Keywords

  • Shtukas
  • Global function fields
  • Linear algebraic groups

Mathematics Subject Classification

  • 20G30
  • 11S25
  • 11G09