In Kottwitz's paper "Stable trace formula: cuspidal tempered terms", it is said that if $$1 \rightarrow G\_1 \rightarrow G\_2 \rightarrow G\_3 \rightarrow 1$$ is an exact sequence of connected reductive groups over some number field $F$, then the sequence $$ 1 \rightarrow Z(\widehat{G\_3}) \rightarrow Z(\widehat{G\_2}) \rightarrow Z(\widehat{G\_1}) \rightarrow 1 $$ is exact too (the hats stand for complex dual groups and the $Z$ for their center).


Can anybody give me a reference for this statement?



Reference requests for complex duals of connected reductive groups
It seems easier to work this out than to dig up a literature reference. This is an application of the basic structure of connected reductive groups and the dictionary between connected reductive groups and root data. The sketch below carries out some parts over an arbitrary field whenever possible,
since $F$ could just as well be a global function field or a local field of any characteristic (or whatever). 


For any connected reductive $\mathbf{C}$-group $H$, the group $Z\_H(\mathbf{C})$ of $\mathbf{C}$-points of its center $Z\_H$ is naturally identified with the group ${\rm{Hom}}({\rm{X}}(Z\_H), \mathbf{C}^{\times})$ of homomorphisms from its own character group ${\rm{X}}(Z\_H) := {\rm{Hom}}(Z\_H, \mathbf{G}\_m)$ into $\mathbf{C}^{\times}$. Hence, it is equivalent to prove short-exactness of the induced diagram between the character groups of the centers of the dual groups. 


For any split connected reductive group $H$ over a field $k$, with associated root datum $(X, \Phi, X^{\vee}, \Phi^{\vee})$ (relative to a choice of split maximal $k$-torus $T \subset H$ and Borel $k$-subgroup $B \subset H$ containing $T$), the geometric character group of the center of $H$ is $X/\mathbf{Z}\Phi$ (e.g., $Z\_H=1$, which is to say $H$ is of adjoint type, precisely when $\Phi$ spans $X$ over $\mathbf{Z}$). 


Recalling how the root datum of the dual group is designed via the dual root datum, the task then is to prove short-exactness of the diagram
$$0 \rightarrow X\_1^{\vee}/\mathbf{Z}\Phi\_1^{\vee} \rightarrow X\_2^{\vee}/\mathbf{Z}\Phi\_2^{\vee} \rightarrow X\_3^{\vee}/\mathbf{Z}\Phi\_3^{\vee} \rightarrow 0$$
(where we make the root data relative to a choice of split maximal torus $T\_2 \subset (G\_2)\_{F\_s}$, Borel $F\_s$-subgroup $B\_2 \subset (G\_2)\_{F\_s}$ containing $T\_2$, the associated maximal tori $T\_1 = (G\_1)\_{F\_s} \cap T\_2 \subset (G\_1)\_{F\_s}$ and $T\_3 = {\rm{im}}(T\_2 \rightarrow (G\_3)\_{F\_s}) \subset (G\_3)\_{F\_s}$, and the associated Borel $F\_s$-subgroups $B\_1 = (G\_1)\_{F\_s} \cap B\_2 \subset (G\_1)\_{F\_s}$
and $B\_3 = {\rm{im}}(B\_2 \rightarrow (G\_3)\_{F\_s}) \subset (G\_3)\_{F\_s}$ containing $T\_1$ and $T\_3$ respectively). Of course, one has to prove that such $T\_1, B\_1, T\_3, B\_3$ really are as advertised (no disconnectedness ambiguity!), especially $T\_1$ and $B\_2$; this is left as an **exercise** using the normality of $G\_1$ in $G\_2$.


Since $T\_3 = T\_2/T\_1$ with every $T\_i$ a torus, it is clear that the induced complex of cocharacter lattices
$$0 \rightarrow X\_1^{\vee} \rightarrow X\_2^{\vee} \rightarrow X\_3^{\vee} \rightarrow 0$$
is short exact. Hence, it remains to prove two things:


(i) the evident complex
$$0 \rightarrow \mathbf{Z}\Phi\_1^{\vee} \rightarrow \mathbf{Z}\Phi\_2^{\vee} \rightarrow \mathbf{Z}\Phi\_3^{\vee} \rightarrow 0$$
is short exact, 


(ii) the evident inclusion
$$\mathbf{Z}\Phi\_1^{\vee} \subset X\_1^{\vee} \cap \mathbf{Z}\Phi\_2^{\vee}$$
is an equality. 


We'll see that (i) is a consequence of properties of root systems, and (ii) ultimately reduces to (i) by using
facts about simply connected semisimple groups.


Recall that any root system is uniquely a direct sum of irreducible components. Moreover, 
the irreducible components of a split connected reductive group are naturally identified with with the root systems of the simple
connected semisimple normal subgroups (**exercise**). Hence, $\Phi\_2$ is naturally identified with
the *direct sum* of the root systems $\Phi\_1$ and $\Phi\_3$. From this one obtains (i) immediately. 


The proof of (ii) lies a bit deeper, and involves
the simply connected central covers of the derived groups. More precisely, let the central isogeny $$q\_i :\widetilde{G}\_i \rightarrow \mathscr{D}(G\_i)$$ be the simply connected central cover of the derived group of $G\_i$, and let $\widetilde{T}\_i := (q\_i)\_{F\_s}^{-1}(T'\_i)$ be the maximal $F\_s$-torus preimage of the maximal $F\_s$-torus $T'\_i := T\_i \cap \mathscr{D}(G\_i)\_{F\_s}$ in $\mathscr{D}(G\_i)\_{F\_s} = \mathscr{D}((G\_i)\_{F\_s})$.
By the standard dictionary between root data and connected reductive groups,
$\mathbf{Z}\Phi\_i^{\vee}$ is the image of the injective map ${\rm{X}}\_{\ast}(\widetilde{T}\_i) \hookrightarrow {\rm{X}}\_{\ast}(T\_i) =
X\_i^{\vee}$ between cocharacter lattices (injective since $\widetilde{T}\_i \rightarrow T\_i$ has finite kernel). 


To exploit this link to maximal tori in the simply connected central cover of the derived group, we shall use
the functoriality of the formation of the simply connected central cover of a connected semisimple group.
More precisely:


**Theorem**: *For any field $k$ and $k$-homomorphism
$f:H \rightarrow H'$ between connected semisimple $k$-groups, 
there is a unique compatible $k$-homomorphism $\widetilde{f}:\widetilde{H} \rightarrow \widetilde{H}'$ between the respective 
simply connected central covers $q: \widetilde{H} \rightarrow H$ and $q': \widetilde{H}' \rightarrow H'$.*


We'll prove this Theorem (inspired by topology) at the end; we only truly need it for separably closed $k$ (but we'll apply it over $F$ because that makes us feel good). 


Returning to our situation of interest, we get a unique complex of connected semisimple $F$-groups
$$1 \rightarrow \widetilde{G}\_1 \rightarrow \widetilde{G}\_2 \rightarrow \widetilde{G}\_3 \rightarrow 1$$
over the induced diagram of derived groups, and this induces a diagram of maximal $F\_s$-tori
$$\widetilde{T}\_1 \rightarrow \widetilde{T}\_2 \rightarrow \widetilde{T}\_3.$$
Our aim is to prove that the inclusion 
${\rm{X}}\_{\ast}(\widetilde{T}\_1) \subset {\rm{X}}\_{\ast}(T\_1) \cap {\rm{X}}\_{\ast}(\widetilde{T}\_2)$
inside ${\rm{X}}\_{\ast}(T\_2)$ is an equality.
Since $\widetilde{T}\_1 := (q\_1)\_{F\_s}^{-1}(T\_1)$, we just need to check that 
any cocharacter $\lambda:\mathbf{G}\_m \rightarrow \widetilde{T}\_2$ for which 
$(q\_2)\_{F\_s} \circ \lambda: \mathbf{G}\_m \rightarrow T\_2$ lands inside $T\_1$ must itself 
factor through the $F\_s$-homomorphism $\widetilde{T}\_1 \rightarrow T\_1$
whose kernel is finite. (An equivalent assertion is that the map of tori $\widetilde{T}\_1 \rightarrow
(T\_1 \times\_{T\_2} \widetilde{T}\_2)^0\_{\rm{red}}$ is an isomorphism.)


Since $T\_1 = T\_2 \cap (G\_1)\_{F\_s}$, $T\_3 = T\_2/T\_1$, $G\_3 = G\_2/G\_1$, and
$\widetilde{G}\_3 \rightarrow G\_3$ has finite kernel, 
it is equivalent to show that if $\lambda$ is killed by $(\widetilde{G}\_2)\_{F\_s} \rightarrow
(\widetilde{G}\_3)\_{F\_s}$ then $\lambda$ factors (necessarily uniquely) through $(\widetilde{G}\_1)\_{F\_s} \rightarrow
(\widetilde{G}\_2)\_{F\_s}$. Better yet, we claim that the complex of connected semisimple groups
$$1 \rightarrow \widetilde{G}\_1 \rightarrow \widetilde{G}\_2 \rightarrow \widetilde{G}\_3 \rightarrow 1$$
is a short exact sequence that is even uniquely split as a direct product. This can be shown in various ways,
but one has to be careful not to engage in circular reasoning (i.e., one has to remember whatever foundational
route one took when learning the structure theory of connected reductive groups).
We offer an argument via reduction to the assertion (i) above. 


Letting 
$\widetilde{X}\_i = {\rm{X}}(\widetilde{T}\_i)$, 
by the Isomorphism Theorem it is equivalent to show that the semisimple root datum
$(\widetilde{X}\_2, \Phi\_2)$ is the direct product of the semisimple root data 
$(\widetilde{X}\_1, \Phi\_1)$ and $(\widetilde{X}\_3, \Phi\_3)$ compatibly with the known 
decomposition of $\Phi\_2$ as the direct sum of the root
systems $\Phi\_1$ and $\Phi\_3$. This in turn amounts to the short exactness of the complex 
$$0 \rightarrow \widetilde{X}\_3 \rightarrow \widetilde{X}\_2 \rightarrow \widetilde{X}\_1 \rightarrow 0.$$
But $\widetilde{X}\_i$ is the $\mathbf{Z}$-dual of
$\mathbf{Z}\Phi\_i^{\vee}$, so by (i) we are done!


Finally, it remans to give:


Proof of Theorem: The pullback $k$-group scheme
$$E := \widetilde{H} \times\_{H'} \widetilde{H}'$$
is a central extension of $\widetilde{H}$ by the finite group scheme $\mu' := \ker(\widetilde{H}' \rightarrow H')$, and our task is to prove that this central extension
$$1 \rightarrow \mu' \rightarrow E \rightarrow \widetilde{H} \rightarrow 1$$
is uniquely split. (It is a general fact that any central extension of a simply connected semisimple
group by a group scheme with no nontrivial smooth connected subgroup is uniquely split,
but we will give a direct argument in our situation.) 


Note that $E$ might not be $k$-smooth if ${\rm{char}}(k) > 0$,
and perhaps $k$ is not perfect. But no worries:
let $S' \subset \widetilde{H}'$ be a maximal $k$-torus, so $\mu' \subset S'$ (as $\mu' \subset Z\_{\widetilde{H}'} 
\subset Z\_{\widetilde{H}'}(S') = S'$), and form the pushout central extension
$$1 \rightarrow S' \rightarrow \mathscr{E} = S' \times^{\mu'} E \rightarrow \widetilde{H} \rightarrow 1.$$
Since $\mathscr{E}$ is a central extension of $\widetilde{H}$ by a $k$-torus, clearly $\mathscr{E}$
is smooth, connected, and even reductive. Hence, $\mathscr{D}(\mathscr{E})$ makes sense (!)
and is a connected semisimple $k$-group that has finite center and hence finite intersection with the central torus $S'$.
In other words, the evident surjection $\mathscr{D}(\mathscr{E}) \rightarrow \mathscr{D}(\widetilde{H}) =
\widetilde{H}$ is a *central isogeny* between connected semisimple groups. 


Aha, but
$\widetilde{H}$ is *simply connected*, so consideration of root data over $k\_s$ 
(thinking back to how simple connectedness is actually defined for connected semisimple groups) shows that $\widetilde{H}$
has no nontrivial connected semisimple central extension. Hence, $\mathscr{D}(\mathscr{E}) \rightarrow
\widetilde{H}$ is an isomorphism. Since the connected reductive $\mathscr{E}$ is generated by
its commuting $k$-subgroups $S'$ and $\mathscr{D}(\mathscr{E})$, the inverse isomorphism
$\widetilde{H} \simeq \mathscr{D}(\mathscr{E})$ thereby defines a splitting 
of $\mathscr{E}$ as a central extension; this is even unique since
${\rm{Hom}}\_k(\widetilde{H}, S') = 1$ due to perfectness of $\widetilde{H}$ and commutativity
of $S'$. 


From the construction of $\mathscr{E}$
as a central pushout we see that $E \subset \mathscr{E}$ with commutative cokernel, so
the resulting inclusion $\widetilde{H} = \mathscr{D}(\mathscr{E}) \subset \mathscr{E}$ must
factor through $E$ (as the perfect smooth affine $k$-group $\widetilde{H}$ has no nontrivial
$k$-homomorphism to a commutative $k$-group scheme, such as $\mathscr{E}/E=S'/\mu'$). This provides a splitting
of $E$ as a central extension, and it is unique since ${\rm{Hom}}\_k(\widetilde{H}, \mu') = 1$.
QED


