---
abstract: 'Let $ S $ be a Shimura variety with reflex field $ E $.  We prove that the action of $ \operatorname{Gal}({\overline {\mathbb{Q}}}/E) $ on $ S $ maps special points to special points and special subvarieties to special subvarieties.  Furthermore, the Galois conjugates of a special point all have the same complexity (as defined in the theory of unlikely intersections).  These results follow from Milne and Shih’s construction of canonical models of Shimura varieties, based on a conjecture of Langlands which was proved by Borovoi and Milne.' 
author:
- Martin Orr
bibliography:
- 'excm.bib'
title: Galois conjugates of special points and special subvarieties in Shimura varieties
---

=1

Introduction
============

Special points {#special-points .unnumbered}
--------------

Let $ S = \operatorname{Sh}_K({\mathbf{G}}, X) $ be a Shimura variety.  Then $ S $ has a canonical model over the reflex field $ E_{\mathbf{G}}= E({\mathbf{G}}, X) $.  According to the definition of a canonical model, for every special point $ s \in S $ with reflex field $ E(s) $, the Galois group $ \operatorname{Gal}({\overline {\mathbb{Q}}}/E(s)) $ acts on the Hecke orbit of $ s $ via a reciprocity morphism [@Del79 2.2.5].  In particular, if $ \tau \in \operatorname{Gal}({\overline {\mathbb{Q}}}/E(s)) $, then $ \tau(s) $ is also a special point.  In general $ E(s) $ is a non-trivial extension of $ E_{\mathbf{G}}$, so this raises the following question. 

\[q:conj-sp-pt\] If $ \tau \in \operatorname{Gal}({\overline {\mathbb{Q}}}/E_{\mathbf{G}}) $ does not fix $ E(s) $, is $ \tau(s) $ still a special point? 

Langlands [@Lan79] stated a conjecture on the conjugation of Shimura varieties which implies the existence of canonical models (the construction of a canonical model, assuming the conjecture of Langlands, was completed in [@MS82b]).  Subsequently Borovoi [@Bor84] and Milne [@Mil83] proved the conjecture of Langlands.  This construction of canonical models gives a positive answer to \[q:conj-sp-pt\]. 

Special subvarieties {#special-subvarieties .unnumbered}
--------------------

We may ask a similar question about special subvarieties of dimension greater than zero.  By definition, a [**special subvariety**]{} of $ S $ is a geometrically irreducible component of the translate by a Hecke correspondence $ T_g $ of the image of a Shimura morphism $ [f] \colon \operatorname{Sh}_{K_{\mathbf{H}}}({\mathbf{H}}, X_{\mathbf{H}}) \to \operatorname{Sh}_K({\mathbf{G}}, X) $.  The Shimura variety $ \operatorname{Sh}_{K_{\mathbf{H}}}({\mathbf{H}}, X_{\mathbf{H}}) $ has a canonical model over $ E_{\mathbf{H}}= E({\mathbf{H}}, X_{\mathbf{H}}) $.  By [@Del71 Cor.  5.4], the morphism $ [f] $ is defined over the compositum $ E_{\mathbf{G}}E_{\mathbf{H}}$. Consequently if $ Z $ is a component of the image of $ T_g \circ [f] $, then for every $ \tau \in \operatorname{Gal}({\overline {\mathbb{Q}}}/E_{\mathbf{G}}E_{\mathbf{H}}) $, $ \tau(Z) $ is again a geometrically irreducible component of the image of $ T_g \circ [f] $ and so $ \tau(Z) $ is a special subvariety of $ S $.  This leads to the following question. 

\[q:conj-sp-subvar\] If $ \tau \in \operatorname{Gal}({\overline {\mathbb{Q}}}/E_{\mathbf{G}}) $ does not fix $ E_{\mathbf{G}}E_{\mathbf{H}}$, is $ \tau(Z) $ still a special subvariety? 

The conjecture of Langlands tells us that $ \tau \operatorname{Sh}_{K_{\mathbf{H}}}({\mathbf{H}}, X_{\mathbf{H}}) $ is isomorphic to another Shimura variety, but it does not immediately tell us that the morphism $ \tau[f] \colon \tau \operatorname{Sh}_{K_{\mathbf{H}}}({\mathbf{H}}, X_{\mathbf{H}}) \to \operatorname{Sh}_K({\mathbf{G}}, X) $ is a Shimura morphism.  A positive answer to \[q:conj-sp-subvar\] can be obtained from the proof of [@MS82b Lemma 9.5]. 

Thus the answers to the above questions are implicit in [@MS82b] but they are not explicitly stated there.  The first goal of this paper is to explain enough of the machinery of [@MS82b] to answer \[q:conj-sp-pt,q:conj-sp-subvar\]. 

Complexity {#complexity .unnumbered}
----------

The second goal of the paper is to prove that all Galois conjugates of a special point have the same complexity.  The complexity of a special point is a quantity used in studying questions of unlikely intersections such as the André–Oort conjecture.  The complexity of special points in general Shimura varieties was first used by Ullmo and Yafaev [@UY14].  For a precise definition, we use a generalisation of [@DR Definition 10.1].  We have generalised the definition slightly: [@DR] considered only a single geometrically irreducible component of a Shimura variety, and therefore could always choose $ g=1 $ (in the notation of the definition below).  We need to explicitly account for $ g $ so that the complexity is well-defined for special points in all components of the Shimura variety. 

Let $ s $ be a special point in $ \operatorname{Sh}_K({\mathbf{G}}, X) $.  The complexity of $ s $ is defined as follows. 

1.   Write $ s = [h,g]_K $ for some $ h \in X $ and $ g \in {\mathbf{G}}({\mathbb{A}}_f) $. 

2.   Let $ {\mathbf{M}}$ be the Mumford-Tate group of $ h $.  This is a $ {\mathbb{Q}}$-torus in $ {\mathbf{G}}$.

3.   Let $ K_{\mathbf{M}}^m $ be the maximal compact subgroup of $ {\mathbf{M}}({\mathbb{A}}_f) $.  There is a unique maximal compact subgroup because $ {\mathbf{M}}$ is a torus. 

4.   Let $ K_{\mathbf{M}}= gKg^{-1} \cap {\mathbf{M}}({\mathbb{A}}_f) $.  This is a compact subgroup, so contained in $ K_{\mathbf{M}}^m $. 

5.   Let $ D_{\mathbf{M}}$ be the absolute value of the discriminant of the splitting field of $ {\mathbf{M}}$.

6.   Let $ \Delta(s) = \max\{D_{\mathbf{M}}, \, [K_{\mathbf{M}}^m : K_{\mathbf{M}}]\} $. 

The [**complexity**]{} of $ s $ is $ \Delta(s) $. 

If we make a different choice of $ (h',g') \in X \times {\mathbf{G}}({\mathbb{A}}_f) $ lifting $ s $, then $ h' = \gamma h $ for some $ \gamma \in {\mathbf{G}}({\mathbb{Q}}) $ such that $ g'^{-1} \gamma g \in K $.  Writing $ {\mathbf{M}}' = \operatorname{MT}(h') $ and $ K_{{\mathbf{M}}'} = g' K g'^{-1} \cap {\mathbf{M}}'({\mathbb{A}}_f) $, we get $ {\mathbf{M}}' = \gamma {\mathbf{M}}\gamma^{-1} $ and $ K_{{\mathbf{M}}'} = \gamma K_{{\mathbf{M}}} \gamma^{-1} $.  Hence $ \Delta(s) $ is independent of the choice of $ (h,g) $. 

Our main result on complexity is the following. 

\[galois-complexity\] Let $ S = \operatorname{Sh}_K({\mathbf{G}}, X) $ be the canonical model of a Shimura variety over the reflex field $ E_{\mathbf{G}}= E({\mathbf{G}}, X) $.  Let $ s \in S $ be a special point.  Then for every $ \tau \in \operatorname{Gal}({\overline {\mathbb{Q}}}/E_{\mathbf{G}}) $, we have $ \Delta(\tau(s)) = \Delta(s) $. 

The proof of \[galois-complexity\] uses details of Milne and Shih’s construction of descent data for Shimura varieties.  As with the answers to \[q:conj-sp-pt,q:conj-sp-subvar\], the theorem has a simpler proof when restricted to $ \tau $ fixing $ E(s) $: see [@Daw15 p. 156]. 

Motivation: unlikely intersections {#motivation-unlikely-intersections .unnumbered}
----------------------------------

The motivation for this paper came from work on unlikely intersections in collaboration with Christopher Daw.  One aim of the paper is to give full proofs of certain claims in [@DR] which are well-known to experts but for which either no proof appears in the literature, or the proof can be found only within the proof of a larger result and the claim used in [@DR] is never explicitly stated.  In particular, the last paragraph of [@DR p. 1869] claims that the answer to \[q:conj-sp-subvar\] is positive.  The same paragraph also claims that $$\Delta(\sigma(Z)) = \Delta(Z)$$ where $ Z $ is a special subvariety of a Shimura variety component $ S $, $ \sigma $ is an element of $ \operatorname{Gal}({\overline {\mathbb{Q}}}/F) $ (where $ F $ is a field of definition for $ S $), and $ \Delta $ is defined as $$\Delta(Z) = \max \{ \deg(Z), \min\{ \Delta(P) : P \in Z \text{ is a special point} \} \}.$$ The equality $ \Delta(\sigma(Z)) = \Delta(Z) $ is an immediate corollary of \[galois-complexity\]. 

The results of this paper will also be used in a forthcoming paper of Daw and the author on unlikely intersections with Hecke–facteur families. 

Outline of paper {#outline-of-paper .unnumbered}
----------------

Sections \[sec:svs\]–\[sec:langlands\] recall various known facts and definitions, in order to make our terminology and notation clear and to gather together in one place all the facts we will use.  Section \[sec:svs\] consists of definitions of Shimura varieties and associated objects.  Most of this is standard, except our use of the term “Shimura pro-variety” for the inverse limit of the system of Shimura varieties associated with a given Shimura dataum.  Section \[sec:serre-taniyama\] outlines key facts about the Serre and Taniyama groups from [@Lan79] and [@MS82a].  Section \[sec:langlands\] states the conjecture of Langlands on conjugation of Shimura varieties, which is central to all the results of the paper.  It also explains the construction of the twisted group $ {{^{\tau,h}}{\mathbf{G}}}$ which appears in this conjecture, based on [@Lan79] and [@MS82b]. 

In section \[sec:conjugation\] we prove that \[q:conj-sp-pt,q:conj-sp-subvar\] have positive answers.  This is a simple application of the conjecture and construction in section \[sec:langlands\].  Finally in section \[sec:conj-complexity\] we prove \[galois-complexity\] on the complexity of Galois conjugates of special points.  This depends on further details of the construction from [@MS82b] as well as a lemma on morphisms of Shimura pro-varieties, which we prove. 

Acknowledgements {#acknowledgements .unnumbered}
----------------

The questions discussed in this paper arose during collaboration with Christopher Daw.  I am grateful to him for extensive discussion of these questions and for carefully reading drafts of this paper.  I am also grateful to Andrei Yafaev for helpful discussions.  I would like to thank the anonymous referee for careful reading of the paper and suggesting some improvements to the clarity of explanations. 

Preliminaries: Shimura varieties {#sec:svs}
================================

We recall various definitions associated with Shimura varieties, in order to fix terminology and notation. 

A [**Shimura datum**]{} is a pair $ ({\mathbf{G}}, X) $ where $ {\mathbf{G}}$ is a connected reductive $ {\mathbb{Q}}$-algebraic group and $ X $ is a $ {\mathbf{G}}({\mathbb{R}}) $-conjugacy class in $ \operatorname{Hom}({\mathbb{S}}, {\mathbf{G}}_{\mathbb{R}}) $ such that each $ h \in X $ satisfies the following axioms [@Del79 2.1.1.1–2.1.1.3]. ( Here $ {\mathbb{S}}$ denotes the Deligne torus $ \operatorname{Res}_{{\mathbb{C}}/{\mathbb{R}}} {\mathbb{G}}_m $.) 

1.   The Hodge structure on $ \operatorname{Lie}({\mathbf{G}}_{\mathbb{R}}) $ induced by $ h $ (via the adjoint representation of $ {\mathbf{G}}$) has type $ \{ (-1,1), (0,0), (1,-1) \} $. 

2.   The involution $ \operatorname{Int} h(i) $ is a Cartan involution of the adjoint group $ {\mathbf{G}}^{\mathrm{ad}}_{\mathbb{R}}$.

3.   $ {\mathbf{G}}^{\mathrm{ad}}$ has no $ {\mathbb{Q}}$-simple factor on which the projection of $ h $ is trivial. 

These axioms imply that $ X $ is a finite disjoint union of Hermitian symmetric domains [@Del79 Cor.  1.1.17]. 

Given a Shimura datum $ ({\mathbf{G}}, X) $ and a compact open subgroup $ K \subset {\mathbf{G}}({\mathbb{A}}_f) $, we can form a quasi-projective complex variety $ \operatorname{Sh}_K({\mathbf{G}}, X) $ whose $ {\mathbb{C}}$-points are $$\operatorname{Sh}_K({\mathbf{G}}, X)({\mathbb{C}}) = {\mathbf{G}}({\mathbb{Q}}) \mathop{\backslash}X \times {\mathbf{G}}({\mathbb{A}}_f) \mathop/ K.$$ Here $ {\mathbf{G}}({\mathbb{Q}}) $ acts diagonally on $ X \times {\mathbf{G}}({\mathbb{A}}_f) $ on the left, while $ K $ acts only on $ {\mathbf{G}}({\mathbb{A}}_f) $ on the right.  We call $ \operatorname{Sh}_K({\mathbf{G}}, X) $ a [**Shimura variety**]{}.  We write $ [h,g]_K $ for the complex point of $ \operatorname{Sh}_K({\mathbf{G}}, X) $ which is represented by $ (h,g) \in X \times {\mathbf{G}}({\mathbb{A}}_f) $. 

If $ K' \subset K $, then there is a finite morphism $ \operatorname{Sh}_{K'}({\mathbf{G}}, X) \to \operatorname{Sh}_K({\mathbf{G}}, X) $.  Thus the Shimura varieties $ \operatorname{Sh}_K({\mathbf{G}}, X) $ form a projective system as $ K $ varies over compact open subgroups of $ {\mathbf{G}}({\mathbb{A}}_f) $.  The inverse limit of this system is a scheme over $ {\mathbb{C}}$, not of finite type, which we denote $ \operatorname{Sh}({\mathbf{G}}, X) $.  Its $ {\mathbb{C}}$-points are given by $$\label{eqn:spv-c-pts}
\operatorname{Sh}({\mathbf{G}}, X)({\mathbb{C}}) = {\mathbf{G}}({\mathbb{Q}}) \mathop{\backslash}X \times {\mathbf{G}}({\mathbb{A}}_f) \mathop/ {\overline}{{\mathbf{Z}}({\mathbb{Q}})}.$$ Here $ {\mathbf{Z}}$ denotes the centre of $ {\mathbf{G}}$ and $ {\overline}{{\mathbf{Z}}({\mathbb{Q}})} $ is the closure of $ {\mathbf{Z}}({\mathbb{Q}}) $ in the adelic topology on $ {\mathbf{Z}}({\mathbb{A}}_f) $.  Again $ {\mathbf{G}}({\mathbb{Q}}) $ acts diagonally on $ X \times {\mathbf{G}}({\mathbb{A}}_f) $ on the left, while $ {\overline}{{\mathbf{Z}}({\mathbb{Q}})} $ acts only on $ {\mathbf{G}}({\mathbb{A}}_f) $ on the right.  Note that $ {\mathbf{Z}}({\mathbb{Q}}) $ acts trivially on both $ X $ and $ {\mathbf{G}}({\mathbb{A}}_f) / {\overline}{{\mathbf{Z}}({\mathbb{Q}})} $, so is equivalent to the description in [@Del79 Prop.  2.1.10]: $$\operatorname{Sh}({\mathbf{G}}, X)({\mathbb{C}}) = \raisebox{-0.3em}{\( \bigl( {\mathbf{G}}({\mathbb{Q}}) \mathop/ {\mathbf{Z}}({\mathbb{Q}}) \bigr) \)} \bigm{\backslash}\raisebox{0.3em}{\( X \times \bigl( {\mathbf{G}}({\mathbb{A}}_f) \mathop/ {\overline}{{\mathbf{Z}}({\mathbb{Q}})} \bigr) \)}.$$ We call $ \operatorname{Sh}({\mathbf{G}}, X) $ a [**Shimura pro-variety**]{}.  We write $ [h,g] $ for the complex point of $ \operatorname{Sh}({\mathbf{G}}, X) $ which is represented by $ (h,g) \in X \times {\mathbf{G}}({\mathbb{A}}_f) $. 

If $ g \in {\mathbf{G}}({\mathbb{A}}_f) $, write $ T_g \colon \operatorname{Sh}({\mathbf{G}}, X) \to \operatorname{Sh}({\mathbf{G}}, X) $ for the morphism of pro-varieties $$T_g [h,q] = [h,qg].$$ This gives a right action of $ {\mathbf{G}}({\mathbb{A}}_f) $ on $ \operatorname{Sh}({\mathbf{G}}, X) $.  The morphisms $ T_g $ are known as [**Hecke operators**]{}.  The orbit of any point in $ \operatorname{Sh}({\mathbf{G}}, X) $ under the action of $ {\mathbf{G}}({\mathbb{A}}_f) $ is called a [**Hecke orbit**]{}. 

Let $ K $ be a compact open subgroup of $ {\mathbf{G}}({\mathbb{A}}_f) $ and $ g \in {\mathbf{G}}({\mathbb{A}}_f) $.  The Hecke operator $ T_g \colon \operatorname{Sh}({\mathbf{G}}, X) \to \operatorname{Sh}({\mathbf{G}}, X) $ induces a morphism of varieties $$\cdot g \colon \operatorname{Sh}_{K \cap gKg^{-1}}({\mathbf{G}}, X) \to \operatorname{Sh}_{g^{-1}Kg \cap K}({\mathbf{G}}, X).$$ Hence the following diagram defines a correspondence on $ \operatorname{Sh}_K({\mathbf{G}}, X) $: $$\xymatrix{
    \operatorname{Sh}_{K \cap gKg^{-1}}({\mathbf{G}}, X)  \ar[d]  \ar[r]^{\cdot g}
  & \operatorname{Sh}_{g^{-1}Kg \cap K}({\mathbf{G}}, X)  \ar[d]
\\  \operatorname{Sh}_K({\mathbf{G}}, X)
  & \operatorname{Sh}_K({\mathbf{G}}, X)
}$$ We call this correspondence a [**Hecke correspondence**]{} and also denote it by $ T_g $. 

A [**morphism of Shimura data**]{} $ ({\mathbf{G}}_1, X_1) \to ({\mathbf{G}}_2, X_2) $ is a homomorphism of $ {\mathbb{Q}}$-algebraic groups $ f \colon {\mathbf{G}}_1 \to {\mathbf{G}}_2 $ such that composition with $ f $ maps $ X_1 $ into $ X_2 $.  A morphism of Shimura data induces a morphism of pro-varieties $$[f] \colon \operatorname{Sh}({\mathbf{G}}_1, X_1) \to ({\mathbf{G}}_2, X_2).$$ If $ K_1 \subset {\mathbf{G}}_1({\mathbb{A}}_f) $ and $ K_2 \subset {\mathbf{G}}_2({\mathbb{A}}_f) $ are compact open subgroups such that $ f(K_1) \subset K_2 $, then $ f $ also induces a morphism $$[f] \colon \operatorname{Sh}_{K_1}({\mathbf{G}}_1, X_1) \to \operatorname{Sh}_{K_2}({\mathbf{G}}_2, X_2).$$ We call either of these induced morphisms $ [f] $ a [**Shimura morphism**]{}. 

A [**Shimura subdatum**]{} of $ ({\mathbf{G}}, X) $ is a Shimura datum $ ({\mathbf{H}}, X_{\mathbf{H}}) $ where $ {\mathbf{H}}\subset {\mathbf{G}}$ and $ X_{\mathbf{H}}\subset X $, with the inclusions $ {\mathbf{H}}\hookrightarrow {\mathbf{G}}$ and $ X_{\mathbf{H}}\hookrightarrow X $ being compatible.  The inclusion of Shimura data induces a morphism of Shimura pro-varieties $ \operatorname{Sh}({\mathbf{H}}, X_{\mathbf{H}}) \to \operatorname{Sh}({\mathbf{G}}, X) $, which is a closed immersion by [@Del71 Prop.  1.15].  We call the image of $ \operatorname{Sh}({\mathbf{H}}, X_{\mathbf{H}}) \to \operatorname{Sh}({\mathbf{G}}, X) $ a [**Shimura sub-pro-variety**]{} of $ \operatorname{Sh}({\mathbf{G}}, X) $. 

We will next recall Deligne’s definition of a canonical model of a Shimura pro-variety.  Before this we need to recall certain other definitions. 

For any point $ h \in X $, the [**Mumford–Tate group**]{} of $ h $ is the smallest $ {\mathbb{Q}}$-algebraic subgroup $ \operatorname{MT}(h) \subset {\mathbf{G}}$ such that $ h $ factors through $ \operatorname{MT}(h)_{\mathbb{R}}$. The [**generic Mumford–Tate group**]{} of $ ({\mathbf{G}}, X) $ is the smallest $ {\mathbb{Q}}$-algebraic subgroup $ \operatorname{MT}(X) \subset {\mathbf{G}}$ such that *every* $ h \in X $ factors through $ \operatorname{MT}(X)_{\mathbb{R}}$. A point $ h \in X $ is said to be [**Hodge generic**]{} if $ \operatorname{MT}(h) = \operatorname{MT}(X) $.  It is well-known that every Shimura datum contains Hodge generic points; see for example the proof of [@Del72 Prop.  7.5]. 

A [**pre-special point**]{} is a point $ h \in X $ for which $ \operatorname{MT}(h) $ is commutative.  Mumford–Tate groups are always reductive, so this implies that $ \operatorname{MT}(h) $ is a torus.  A [**special point**]{} is a point $ [h,g] \in \operatorname{Sh}({\mathbf{G}}, X) $ or $ [h,g]_K \in \operatorname{Sh}_K({\mathbf{G}}, X) $ such that $ h $ is pre-special (note that this is independent of the choice of lift $ (h,g) $). 

Let $ \mu \colon {\mathbb{G}}_{m,{\mathbb{C}}} \to {\mathbb{S}}_{\mathbb{C}}$ denote the cocharacter given by $ \mu(z) = (z,1) $ (identifying $ {\mathbb{S}}({\mathbb{C}}) $ with $ {\mathbb{C}}^\times \times {\mathbb{C}}^\times $).  If $ h \in X $, then the $ {\mathbf{G}}({\mathbb{C}}) $-conjugacy class of $ h \circ \mu \colon {\mathbb{S}}_{\mathbb{C}}\to {\mathbf{G}}_{\mathbb{C}}$ is defined over a number field.  We call the field of definition of this conjugacy class (inside $ {\mathbb{C}}$) the [**reflex field**]{} of the Shimura datum $ ({\mathbf{G}}, X) $ and write it $ E({\mathbf{G}}, X) $. 

If $ h \in X $ is a pre-special point with Mumford–Tate group $ {\mathbf{M}}\subset {\mathbf{G}}$, then the pair $ ({\mathbf{M}}, \{h\}) $ is a Shimura datum.  We define $ E(h) $, the [**reflex field**]{} of $ h $, to be the reflex field of $ ({\mathbf{M}}, \{h\}) $.  Note that $ E({\mathbf{G}}, X) \subset E(h) $.  The complex points of $ \operatorname{Sh}({\mathbf{M}}, \{h\}) $ form a pro-finite set.  Deligne [@Del79 2.2.4] defined an action of $ \operatorname{Gal}({\overline {\mathbb{Q}}}/E(h)) $ on $ \operatorname{Sh}({\mathbf{M}}, \{h\})({\mathbb{C}}) $ by means of a reciprocity morphism $ \operatorname{Gal}({\overline {\mathbb{Q}}}/E(h)) \to {\mathbf{M}}({\mathbb{A}}_f) / {\overline}{{\mathbf{M}}({\mathbb{Q}})} $.  The pro-variety $ \operatorname{Sh}({\mathbf{M}}, \{h\}) $ has a unique model over $ E(h) $ for which the Galois action is the same as the reciprocity action. 

A [**canonical model**]{} of a Shimura pro-variety $ \operatorname{Sh}({\mathbf{G}}, X) $ is a scheme $ M $ over $ E({\mathbf{G}}, X) $ equipped with a right action of $ {\mathbf{G}}({\mathbb{A}}_f) $ and a $ {\mathbf{G}}({\mathbb{A}}_f) $-equivariant isomorphism $ M \times_{E({\mathbf{G}}, X)} {\mathbb{C}}\to \operatorname{Sh}({\mathbf{G}}, X) $ such that

(a) the special points in $ M $ are defined over $ {\overline {\mathbb{Q}}}$;

(b) for each pre-special point $ h \in X $, the morphism $ \operatorname{Sh}(\operatorname{MT}(h), \{h\}) \to \operatorname{Sh}({\mathbf{G}}, X) $ induced by the inclusion $ \operatorname{MT}(h) \hookrightarrow {\mathbf{G}}$ is defined over $ E(h) $. 

According to [@Del71 Cor.  5.5], a Shimura pro-variety has at most one canonical model (up to unique isomorphism).  According to [@Del71 Cor.  5.4], if $ \operatorname{Sh}({\mathbf{G}}_1, X_1) $ and $ \operatorname{Sh}({\mathbf{G}}_2, X_2) $ have canonical models, then any Shimura morphism $ \operatorname{Sh}({\mathbf{G}}_1, X_1) \to \operatorname{Sh}({\mathbf{G}}_2, X_2) $ is defined over the compositum of the reflex fields $ E({\mathbf{G}}_1, X_1).E({\mathbf{G}}_2, X_2) $. 

Deligne ([@Del71] and [@Del79]) established the existence of canonical models for a large class of Shimura pro-varieties, namely those of “abelian type”, starting from the fact that the moduli space of principally polarised abelian varieties of dimension $ g $ is defined over $ {\mathbb{Q}}$ and this gives a canonical model for $ \operatorname{Sh}({\mathbf{GSp}}_{2g}, {\mathcal{H}_g}^\pm) $.  Milne and Shih [@MS82b] proved that a conjecture of Langlands implies the existence of canonical models for all Shimura pro-varieties.  Borovoi [@Bor84] and Milne [@Mil83] then proved the conjecture of Langlands using a result of Kazhdan [@Kaz83], completing the proof of the existence of canonical models. 

The Serre and Taniyama groups {#sec:serre-taniyama}
=============================

We recall some facts about the Serre and Taniyama groups which are required in order to set up the conjecture of Langlands. 

The Serre group $ {\mathcal{S}}$ is a pro-algebraic torus over $ {\mathbb{Q}}$ (i.e. an inverse limit of a projective system of $ {\mathbb{Q}}$-tori) which can be thought of as the “universal Mumford–Tate group of a $ {\mathbb{Q}}$-rational polarisable Hodge structure of CM type.”  More formally, $ {\mathcal{S}}$ is the Tannakian group of the category of $ {\mathbb{Q}}$-rational polarisable Hodge structures of CM type (with the obvious forgetful fibre functor to $ {\mathbb{Q}}$-vector spaces). 

An explicit construction of $ {\mathcal{S}}$ is described in [@MS82a §1], as well as the construction of a canonical Hodge parameter $ h_{{\mathrm{can}}} \colon {\mathbb{S}}\to {\mathcal{S}}_{\mathbb{R}}$. We shall need the following universal property of $ ({\mathcal{S}}, h_{{\mathrm{can}}}) $. 

\[serre-universal\] For every $ {\mathbb{Q}}$-algebraic torus $ {\mathbf{T}}$ and every $ h \colon {\mathbb{S}}\to {\mathbf{T}}_{\mathbb{R}}$, if the weight homomorphism $ h \circ w \colon {\mathbb{G}}_{m,{\mathbb{R}}} \to {\mathbf{T}}_{\mathbb{R}}$ is defined over $ {\mathbb{Q}}$, then there exists a unique homomorphism of pro-$ {\mathbb{Q}}$-algebraic tori $ \rho \colon {\mathcal{S}}\to {\mathbf{T}}$ such that $ h = \rho \circ h_{{\mathrm{can}}} $. 

Here $ w \colon {\mathbb{G}}_{m,{\mathbb{R}}} \to {\mathbb{S}}$ denotes the morphism given on $ {\mathbb{R}}$-points by the inclusion $ {\mathbb{R}}^\times \to {\mathbb{C}}^\times $.  The condition that $ h \circ w $ is defined over $ {\mathbb{Q}}$ is equivalent to [@MS82a (1.1)].  The universal property determines $ ({\mathcal{S}}, h_{{\mathrm{can}}}) $ up to unique isomorphism. 

The Taniyama group $ {\mathcal{T}}$ is an extension of $ \operatorname{Gal}({\overline {\mathbb{Q}}}/{\mathbb{Q}}) $ by $ {\mathcal{S}}$ which was defined by Langlands [@Lan79 §5].  According to [@Del82], it is isomorphic to the Tannakian group of the category of absolute Hodge CM motives over $ {\mathbb{Q}}$. The Taniyama group comes with an exact sequence $$1 \longrightarrow {\mathcal{S}}\longrightarrow {\mathcal{T}}\overset{\pi}{\longrightarrow} \operatorname{Gal}({\overline {\mathbb{Q}}}/{\mathbb{Q}}) \longrightarrow 1.$$ This is an exact sequence of pro-$ {\mathbb{Q}}$-algebraic groups if we make $ \operatorname{Gal}({\overline {\mathbb{Q}}}/{\mathbb{Q}}) $ into a pro-$ {\mathbb{Q}}$-group by regarding it as a limit of finite groups $ \operatorname{Gal}(L/{\mathbb{Q}}) $ and declaring that every point of these finite sets is a $ {\mathbb{Q}}$-point.  The Taniyama group is also equipped with a splitting of the exact sequence over $ {\mathbb{A}}_f $: $$\operatorname{sp}\colon \operatorname{Gal}({\overline {\mathbb{Q}}}/{\mathbb{Q}}) \to {\mathcal{T}}({\mathbb{A}}_f).$$

For any $ \tau \in \operatorname{Gal}({\overline {\mathbb{Q}}}/{\mathbb{Q}}) $, $ \pi^{-1}(\tau) \subset {\mathcal{T}}$ is a pro-$ {\mathbb{Q}}$-variety.  Letting $ {\mathcal{S}}$ act on $ \pi^{-1}(\tau) $ by multiplication on the right, we get a right $ {\mathcal{S}}$-torsor which we denote $ {^\tau {\mathcal{S}}} $ (in choosing the right action, we are following [@MS82a Remark 2.9]).  Thanks to $ \operatorname{sp}$, this $ {\mathcal{S}}$-torsor is split over $ {\mathbb{A}}_f $. 

The conjecture of Langlands {#sec:langlands}
===========================

Let $ ({\mathbf{G}}, X) $ be a Shimura datum.  In order to give a conjectural description of the Galois conjugates of $ \operatorname{Sh}({\mathbf{G}}, X) $, Langlands [@Lan79 §6] constructed the following objects for each pre-special point $ h \in X $ and each $ \tau \in \operatorname{Gal}({\overline {\mathbb{Q}}}/{\mathbb{Q}}) $:

(i) a Shimura datum $ ({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X}) $;

(ii) a pre-special point $ {^\tau h} \in {{^{\tau,h}}X}$;

(iii) a continuous group isomorphism $ \theta_{\tau,h} \colon {\mathbf{G}}({\mathbb{A}}_f) \to {{^{\tau,h}}{\mathbf{G}}}({\mathbb{A}}_f) $. 

The construction depends on the chosen pre-special point $ h \in X $.  In order to explain how the resulting Shimura pro-varieties are related when we vary $ h $, Langlands also constructed an isomorphism of pro-$ {\mathbb{C}}$-varieties $$\phi(\tau;h',h) \colon \operatorname{Sh}({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X}) \to \operatorname{Sh}({{^{\tau,h'}}{\mathbf{G}}}, {{^{\tau,h'}}X})$$ for each pair of pre-special points $ h, h' \in X $. 

Our notation is based on [@MS82b], which differs slightly from the notation in [@Lan79] in the positioning of superscripts.  We always explicitly include the dependence on $ h $ in our notation, while both [@Lan79] and [@MS82b] frequently omit it.  We label various objects with the Hodge parameter $ h \colon {\mathbb{S}}\to {\mathbf{G}}_{\mathbb{R}}$, while [@Lan79] and [@MS82b] use the cocharacter $ \mu \colon {\mathbb{G}}_{m,{\mathbb{C}}} \to {\mathbf{G}}_{\mathbb{C}}$; since $ h \in X $ and $ \mu $ determine each other, this does not matter.  The isomorphism of adelic groups $ \theta_{\tau,h} $ is not given a name in [@Lan79] or [@MS82b], being denoted simply by $ g \mapsto g^\tau $ or $ g \mapsto {^\tau g} $ respectively, but we have found it convenient to name it explicitly. 

Before outlining the construction of these objects, we shall first state Conjecture C of Langlands and discuss its consequences for canonical models.  The original statement of this conjecture was at [@Lan79 pp.  232–233].  Alternative formulations can be found at [@MS82b p. 311] and [@Bor82 §2].  The conjecture was proved by Borovoi [@Bor84] (completed in [@Bor87]) and Milne [@Mil83 Thm.  7.1]. 

\[conjC\] Let $ ({\mathbf{G}}, X) $ be a Shimura datum and let $ \tau \in \operatorname{Aut}({\mathbb{C}}) $. 

(a) For every pre-special point $ h \in X $, there is an isomorphism of pro-$ {\mathbb{C}}$-varieties $$\phi_{\tau,h} \colon \tau \operatorname{Sh}({\mathbf{G}}, X) \to \operatorname{Sh}({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X})$$ such that

    (i) $ \phi_{\tau,h}(\tau[h,1]) = [{^\tau h}, 1] $; and

    (ii) the diagram $$\renewcommand{\labelstyle}{\textstyle}
        \xymatrix@C+3pc@R+1pc{
            \tau \operatorname{Sh}({\mathbf{G}}, X)  \ar[r]^{\tau T_g}  \ar[d]^{\phi_{\tau,h}}
          & \tau \operatorname{Sh}({\mathbf{G}}, X)                     \ar[d]^{\phi_{\tau,h}}
        \\  \operatorname{Sh}({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X})   \ar[r]^{T_{\theta_{\tau,h}(g)}}
          & \operatorname{Sh}({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X})
        }$$ commutes for every $ g \in {\mathbf{G}}({\mathbb{A}}_f) $.  In other words, $$\phi_{\tau,h}(\tau(T_g(s))) = T_{\theta_{\tau,h}(g)}(\phi_{\tau,h}(\tau(s)))$$ for all $ s \in \operatorname{Sh}({\mathbf{G}}, X) $ and $ g \in {\mathbf{G}}({\mathbb{A}}_f) $. 

(b) For every pair of pre-special points $ h, h' \in X $, the following diagram commutes: $$\renewcommand{\labelstyle}{\textstyle}
    \xymatrix@C+2pc@R+1pc{
        \tau \operatorname{Sh}({\mathbf{G}}, X)  \ar[r]^-{\phi_{\tau,h}}  \ar[rd]_{\phi_{\tau,h'}}
      & \operatorname{Sh}({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X})   \ar[d]^{\phi(\tau;h',h)}
    \\& \operatorname{Sh}({{^{\tau,h'}}{\mathbf{G}}}, {{^{\tau,h'}}X}). 
    }$$

Note that the isomorphism $ \phi_{\tau,h} $ in [\[conjC\]]{}(a) is unique because (a)(i) and (ii) specify what it does on the Hecke orbit of $ [h,1] $, which is dense in $ \operatorname{Sh}({\mathbf{G}}, X) $. 

If $ \tau \in \operatorname{Aut}({\mathbb{C}}) $ fixes $ E := E({\mathbf{G}}, X) $, then Milne and Shih [@MS82b Remark 4.13 and Prop.  7.8] construct an isomorphism of pro-$ {\mathbb{C}}$-varieties $$\phi(\tau;h) \colon \operatorname{Sh}({\mathbf{G}}, X) \to \operatorname{Sh}({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X})$$ such that

(i) $ \phi(\tau;h) \circ T_g = T_{\theta_{\tau,h}(g)} \circ \phi(\tau;h) $ \[phi-tau-h\] for all $ g \in {\mathbf{G}}({\mathbb{A}}_f) $;

(ii) $ \phi(\tau;h',h) = \phi(\tau;h') \circ \phi(\tau;h)^{-1} $ for all pre-special points $ h, h' \in X $. 

The isomorphism $ \phi(\tau;h) $ has the form $ [f_1] \circ T_{\beta_1} $ for some isomorphism of Shimura data $ f_1 \colon ({\mathbf{G}}, X) \to ({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X}) $ and some element $ \beta_1 \in {\mathbf{G}}({\mathbb{A}}_f) $. ( Note that $ \beta_1 $ and $ f_1 $ depend on choices made during the construction, but $ \phi(\tau;h) $ does not.) 

Following [@Lan79 p. 233], Milne and Shih show that the morphisms $$\label{eqn:psit}
\psi_\tau = \phi(\tau;h)^{-1} \circ \phi_{\tau,h} \colon \tau \operatorname{Sh}({\mathbf{G}}, X) \to \operatorname{Sh}({\mathbf{G}}, X)$$ form a descent datum (for any pre-special point $ h \in X $).  For a proof that this descent datum is effective, see [@Mil99].  Hence there exists a model $ M({\mathbf{G}}, X) $ for $ \operatorname{Sh}({\mathbf{G}}, X) $ over $ E({\mathbf{G}}, X) $ which splits this descent datum.  In other words, $ M({\mathbf{G}}, X) $ is a pro-variety over $ E({\mathbf{G}}, X) $ with an isomorphism $ \iota \colon M({\mathbf{G}}, X) \times_E {\mathbb{C}}\to \operatorname{Sh}({\mathbf{G}}, X) $ such that the following diagram commutes for every $ \tau \in \operatorname{Aut}({\mathbb{C}}/E) $:

$$\label{eqn:descent}
\vcenter{\xymatrix{
  &  M({\mathbf{G}}, X) \times_E {\mathbb{C}}\ar[ld]_{\tau \iota}  \ar[rd]^{\iota}
\\   \tau \operatorname{Sh}({\mathbf{G}}, X)        \ar[rr]^{\psi_\tau}   \ar[rd]_{\phi_{\tau,h}}
  && \operatorname{Sh}({\mathbf{G}}, X)                                   \ar[ld]^{\phi(\tau;h)}
\\&  \operatorname{Sh}({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X})
}}$$

Because $ \psi_\tau \circ \tau T_g = T_g \circ \psi_\tau $ for all $ g \in {\mathbf{G}}({\mathbb{A}}_f) $ and $ \tau \in \operatorname{Aut}({\mathbb{C}}/E) $, the right action of $ {\mathbf{G}}({\mathbb{A}}_f) $ on $ \operatorname{Sh}({\mathbf{G}}, X) $ also descends to $ M({\mathbf{G}}, X) $.  The model $ M({\mathbf{G}}, X) $ is canonical by [@MS82b Prop.  7.14]. 

Now we shall outline the construction of the Shimura datum $ ({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X}) $, following the description at [@MS82b p. 310]. 

Let $ {\mathbf{T}}$ be a maximal $ {\mathbb{Q}}$-torus in $ {\mathbf{G}}$ such that $ h $ factors through $ {\mathbf{T}}_{\mathbb{R}}$. Let $ {\mathbf{T}}^{\mathrm{ad}}$ denote the image of $ {\mathbf{T}}$ in $ {\mathbf{G}}^{\mathrm{ad}}$ and let $ h^{\mathrm{ad}}\colon {\mathbb{S}}\to {\mathbf{T}}^{\mathrm{ad}}_{\mathbb{R}}$ be the composition of $ {\mathbf{T}}\to {\mathbf{T}}^{\mathrm{ad}}$ with $ h $.  Now $ {\mathbf{T}}^{\mathrm{ad}}({\mathbb{R}}) $ is compact by axiom [@Del79 2.1.1.2], so the weight homomorphism $ h^{\mathrm{ad}}\circ w \colon {\mathbb{G}}_{m,{\mathbb{R}}} \to {\mathbf{T}}^{\mathrm{ad}}_{\mathbb{R}}$ is trivial and *a fortiori* defined over $ {\mathbb{Q}}$. Hence we can apply the universal property of the Serre group (\[serre-universal\]) to get a homomorphism of pro-$ {\mathbb{Q}}$-algebraic groups $ \rho_h \colon {\mathcal{S}}\to {\mathbf{T}}^{\mathrm{ad}}$ such that $ h^{\mathrm{ad}}= \rho_h \circ h_{{\mathrm{can}}} $. 

Composing $ \rho_h $ with the inclusion $ {\mathbf{T}}^{\mathrm{ad}}\to {\mathbf{G}}^{\mathrm{ad}}$, we get a homomorphism $ {\mathcal{S}}\to {\mathbf{G}}^{\mathrm{ad}}$. Now $ {\mathbf{G}}^{\mathrm{ad}}$ acts on $ {\mathbf{G}}$ by inner automorphisms, so we get a left action of $ {\mathcal{S}}$ on $ {\mathbf{G}}$ defined over $ {\mathbb{Q}}$. This action is independent of the choice of maximal torus $ {\mathbf{T}}$ because it factors through $ \operatorname{MT}(h^{\mathrm{ad}}) $. 

We define $ {{^{\tau,h}}{\mathbf{G}}}$ to be the twist of $ {\mathbf{G}}$ (with the left action of $ {\mathcal{S}}$ via $ \rho_h $ which we just described) by the right $ {\mathcal{S}}$-torsor $ {^\tau {\mathcal{S}}} = \pi^{-1}(\tau) $ which we defined in section \[sec:serre-taniyama\]: $${{^{\tau,h}}{\mathbf{G}}}= {^\tau {\mathcal{S}}} \times^{\mathcal{S}}{\mathbf{G}}.$$ As remarked in [@MS82b], using [@MS82a Remarks 2.9, 3.18], there is an isomorphism $ {{^{\tau,h}}{\mathbf{G}}}_L \cong {\mathbf{G}}_L $ where $ L $ is a splitting field for $ {\mathbf{T}}$.

\[thT\] Because $ {\mathcal{S}}$ acts on $ {\mathbf{G}}$ by inner automorphisms and the action factors through $ {\mathbf{T}}^{\mathrm{ad}}$, the action is trivial on $ {\mathbf{T}}$. Hence $ {^\tau {\mathcal{S}}} \times^{\mathcal{S}}{\mathbf{T}}= {\mathbf{T}}$. Thus $ {\mathbf{T}}= {{^{\tau,h}}{\mathbf{T}}}$ is naturally a subtorus of $ {{^{\tau,h}}{\mathbf{G}}}$ and $ h \colon {\mathbb{S}}\to {\mathbf{T}}_{\mathbb{R}}$ induces $ {^\tau h} \colon {\mathbb{S}}\to {{^{\tau,h}}{\mathbf{G}}}_{\mathbb{R}}$.

Let $ {{^{\tau,h}}X}$ be the $ {{^{\tau,h}}{\mathbf{G}}}({\mathbb{R}}) $-conjugacy class of $ {^\tau h} $.  Langlands showed that $ ({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X}) $ is a Shimura datum [@Lan79 p. 231].  By construction, $ {^\tau h} $ factors through the $ {\mathbb{Q}}$-torus $ {{^{\tau,h}}{\mathbf{T}}}$, so it is a pre-special point. 

Recall that the Taniyama group comes with an adelic splitting $ \operatorname{sp}\colon \operatorname{Gal}({\overline {\mathbb{Q}}}/{\mathbb{Q}}) \to {\mathcal{T}}({\mathbb{A}}_f) $.  Since $ \operatorname{sp}(\tau) \in {^\tau {\mathcal{S}}}({\mathbb{A}}_f) $, we can define a continuous group isomorphism $ \theta_{\tau,h} \colon {\mathbf{G}}({\mathbb{A}}_f) \to {{^{\tau,h}}{\mathbf{G}}}({\mathbb{A}}_f) = {^\tau {\mathcal{S}}}({\mathbb{A}}_f) \times^{\mathcal{S}}{\mathbf{G}}({\mathbb{A}}_f) $ by $$\theta_{\tau,h}(g) = \operatorname{sp}(\tau).g.$$ Since $ {\mathcal{S}}$ acts trivially on $ {\mathbf{T}}$, we have $ \operatorname{sp}(\tau).g = g $ for all $ g \in {\mathbf{T}}({\mathbb{A}}_f) $ and thus $ \theta_{\tau,h} $ restricts to the identity on $ {\mathbf{T}}({\mathbb{A}}_f) = {{^{\tau,h}}{\mathbf{T}}}({\mathbb{A}}_f) $. 

\[th-subdatum\] Let $ ({\mathbf{H}}, X_{\mathbf{H}}) $ be a Shimura subdatum of $ ({\mathbf{G}}, X) $.  Let $ h \in X_{\mathbf{H}}\subset X $ be a pre-special point.  Then $ ({{^{\tau,h}}{\mathbf{H}}}, {{^{\tau,h}}X_{\mathbf{H}}}) $ is a Shimura subdatum of $ ({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X}) $ and $ \theta_{\tau,h,{\mathbf{H}}} \colon {\mathbf{H}}({\mathbb{A}}_f) \to {{^{\tau,h}}{\mathbf{H}}}({\mathbb{A}}_f) $ is the restriction of $ \theta_{\tau,h,{\mathbf{G}}} \colon {\mathbf{G}}({\mathbb{A}}_f) \to {{^{\tau,h}}{\mathbf{G}}}({\mathbb{A}}_f) $. 

Choose maximal $ {\mathbb{Q}}$-tori $ {\mathbf{T}}_{\mathbf{G}}\subset {\mathbf{G}}$ and $ {\mathbf{T}}_{\mathbf{H}}\subset {\mathbf{H}}$ such that $ {\mathbf{T}}_{\mathbf{H}}\subset {\mathbf{T}}_{\mathbf{G}}$ and $ h $ factors through $ {\mathbf{T}}_{{\mathbf{H}},{\mathbb{R}}} $.  Letting $ {\mathbf{T}}_{\mathbf{G}}^{\mathrm{ad}}= {\mathbf{T}}/Z({\mathbf{G}}) \subset {\mathbf{G}}^{\mathrm{ad}}$ and $ {\mathbf{T}}_{\mathbf{H}}^{\mathrm{ad}}= {\mathbf{T}}/Z({\mathbf{H}}) \subset {\mathbf{H}}^{\mathrm{ad}}$, we have the following commutative diagram of $ {\mathbb{Q}}$-tori: $$\xymatrix@R-2pt{
    \operatorname{MT}(h)                        \ar@{->>}[r] \ar@{^{(}->}[d]
  & \operatorname{MT}(h) / Z({\mathbf{G}}) \cap \operatorname{MT}(h)   \ar@{->>}[r] \ar@{^{(}->}[d]
  & \operatorname{MT}(h) / Z({\mathbf{H}}) \cap \operatorname{MT}(h)                \ar@{^{(}->}[d]
\\  {\mathbf{T}}_{\mathbf{H}}\ar@{->>}[r] \ar@{^{(}->}[d]
  & {\mathbf{T}}_{\mathbf{H}}/ Z({\mathbf{G}}) \cap {\mathbf{H}}\ar@{->>}[r] \ar@{^{(}->}[d]
  & {\mathbf{T}}_{\mathbf{H}}^{\mathrm{ad}}\\  {\mathbf{T}}_{\mathbf{G}}\ar@{->>}[r]
  & {\mathbf{T}}_{\mathbf{G}}^{\mathrm{ad}}}$$ The image of $ h $ in $ \operatorname{MT}(h) / Z({\mathbf{G}}) \cap \operatorname{MT}(h) $ has trivial weight, so by \[serre-universal\] it factors as $ \rho_{h,\operatorname{MT}} \circ h_{{\mathrm{can}}} $ for some $ \rho_{h,\operatorname{MT}} \colon {\mathcal{S}}\to \operatorname{MT}(h) / Z({\mathbf{G}}) \cap \operatorname{MT}(h) $.  The homomorphisms $ \rho_{h,{\mathbf{G}}} \colon {\mathcal{S}}\to {\mathbf{T}}_{\mathbf{G}}^{\mathrm{ad}}$ and $ \rho_{h,{\mathbf{H}}} \colon {\mathcal{S}}\to {\mathbf{T}}_{\mathbf{H}}^{\mathrm{ad}}$ used to construct $ {{^{\tau,h}}{\mathbf{G}}}$ and $ {{^{\tau,h}}{\mathbf{H}}}$ respectively both factor through $ \rho_{h,\operatorname{MT}} $.  Hence the action of $ {\mathcal{S}}$ on $ {\mathbf{H}}$ coming from $ h $ is the restriction of the action of $ {\mathcal{S}}$ on $ {\mathbf{G}}$ coming from $ h $.  Consequently $${{^{\tau,h}}{\mathbf{H}}}= {^\tau{\mathcal{S}}} \times^{\mathcal{S}}{\mathbf{H}}\subset {^\tau{\mathcal{S}}} \times^{\mathcal{S}}{\mathbf{G}}= {{^{\tau,h}}{\mathbf{G}}}.$$ Furthermore $ {^\tau h} $ is the same whether we construct it using $ {\mathbf{G}}$ or $ {\mathbf{H}}$. Consequently $ ({{^{\tau,h}}{\mathbf{H}}}, {{^{\tau,h}}X_{\mathbf{H}}}) $ is a Shimura subdatum of $ ({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X}) $. 

To see that $ \theta_{\tau,h,{\mathbf{H}}} $ is the restriction of $ \theta_{\tau,h,{\mathbf{G}}} $ to $ {\mathbf{H}}$, simply note that both maps have the form $ g \mapsto \operatorname{sp}(\tau).g $. 

Conjugation of special points and special subvarieties {#sec:conjugation}
======================================================

In this section, we use [\[conjC\]]{} and the construction in \[sec:langlands\] to obtain positive answers to \[q:conj-sp-pt,q:conj-sp-subvar\]. 

Let $ S $ be the canonical model of a Shimura variety $ Sh_K({\mathbf{G}}, X) $.  Let $ s \in S({\overline {\mathbb{Q}}}) $ be a special point.  Then for every $ \tau \in \operatorname{Gal}({\overline {\mathbb{Q}}}/E({\mathbf{G}}, X)) $, the Galois conjugate $ \tau(s) $ is a special point of $ S $. 

By , we have $$\label{eqn:phi-iota}
\phi(\tau;h) \circ \iota(\tau(s)) = \phi_{\tau,h} \circ (\tau\iota)(\tau(s)) = \phi_{\tau,h}(\tau(\iota(s))).$$ By construction, $ \phi(\tau;h) $ is the composition of a Hecke operator with a Shimura isomorphism.  Hence $ \phi(\tau;h)^{-1} $ maps special points to special points.  So in order to show that $ \tau(s) $ is special, it suffices to show that $ \phi_{\tau,h}(\tau(\iota(s))) $ is special. 

Write $ \iota(s) = [h,g]_K \in \operatorname{Sh}_K({\mathbf{G}}, X)({\mathbb{C}}) $.  Using [\[conjC\]]{}(a) (ii) then (i) gives $$\begin{aligned}
    \phi_{\tau,h}(\tau[h,g])
  & = T_{\theta_{\tau,h}(g)} \circ \phi_{\tau,h}(\tau[h,1]) \notag
\\& = T_{\theta_{\tau,h}(g)} ([{^\tau h}, 1])
    = [{^\tau h}, \theta_{\tau,h}(g)].                       \label{eqn:phi-hg}\end{aligned}$$ By construction, $ {^\tau h} $ is pre-special, so $ \phi_{\tau,h}(\tau[h,g]) $ is special. 

\[sp-subpro\] Let $ ({\mathbf{G}}, X) $ be a Shimura datum.  Let $ \operatorname{Sh}({\mathbf{H}}, X_{\mathbf{H}}) $ be a Shimura sub-pro-variety of $ \operatorname{Sh}({\mathbf{G}}, X) $.  Then for every $ \tau \in \operatorname{Gal}({\overline {\mathbb{Q}}}/E({\mathbf{G}}, X)) $, $ \tau \operatorname{Sh}({\mathbf{H}}, X_{\mathbf{H}}) $ is also a Shimura sub-pro-variety of $ \operatorname{Sh}({\mathbf{G}}, X) $. 

Choose a pre-special point $ h \in X_{\mathbf{H}}\subset X $.  Let $$\begin{gathered}
   \phi_{\tau,h,{\mathbf{G}}} \colon \tau \operatorname{Sh}({\mathbf{G}}, X) \to \operatorname{Sh}({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X}),
\\ \phi_{\tau,h,{\mathbf{H}}} \colon \tau \operatorname{Sh}({\mathbf{H}}, X_{\mathbf{H}}) \to \operatorname{Sh}({{^{\tau,h}}{\mathbf{H}}}, {{^{\tau,h}}X_{\mathbf{H}}})\end{gathered}$$ be the isomorphisms of [\[conjC\]]{}(a) for $ ({\mathbf{G}}, X) $ and $ ({\mathbf{H}}, X_{\mathbf{H}}) $ respectively. 

By and the subsequent remark, it suffices to show that $ \phi_{\tau,h,{\mathbf{G}}}(\tau \operatorname{Sh}({\mathbf{H}}, X_{\mathbf{H}})) $ is a Shimura sub-pro-variety of $ \operatorname{Sh}({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X}) $.  By \[th-subdatum\], $ ({{^{\tau,h}}{\mathbf{H}}}, {{^{\tau,h}}X_{\mathbf{H}}}) $ is a Shimura subdatum of $ ({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X}) $ so $ \operatorname{Sh}({{^{\tau,h}}{\mathbf{H}}}, {{^{\tau,h}}X_{\mathbf{H}}}) $ is a Shimura sub-pro-variety of $ \operatorname{Sh}({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X}) $.  Thus it suffices to show that the following diagram commutes.  $$\label{inclusion-commutes}
\vcenter{\xymatrix@C+2pc{
    \tau \operatorname{Sh}({\mathbf{H}}, X_{\mathbf{H}})  \ar[r]^{\phi_{\tau,h,{\mathbf{H}}}}  \ar@{^{(}->}[d]
  & \operatorname{Sh}({{^{\tau,h}}{\mathbf{H}}}, {{^{\tau,h}}X_{\mathbf{H}}})      \ar@{^{(}->}[d]
\\  \tau \operatorname{Sh}({\mathbf{G}}, X)      \ar[r]^{\phi_{\tau,h,{\mathbf{G}}}}
  & \operatorname{Sh}({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X}). 
}}$$ After translating notation, this is precisely the assertion in the proof of [@MS82b Lemma 9.5] that $ \phi_{\tau,h,{\mathbf{G}}} $ maps $ \tau \operatorname{Sh}({\mathbf{H}}, X_{\mathbf{H}}) $ into $ \operatorname{Sh}({{^{\tau,h}}{\mathbf{H}}}, {{^{\tau,h}}X_{\mathbf{H}}}) $. 

For completeness, we prove this assertion.  Using equation  for both $ {\mathbf{G}}$ and $ {\mathbf{H}}$ and the fact that $ \theta_{\tau,h,{\mathbf{G}}} $ restricts to $ \theta_{\tau,h,{\mathbf{H}}} $, we get the following for every $ g \in {\mathbf{H}}({\mathbb{A}}_f) $: $$\begin{aligned}
     \phi_{\tau,h,{\mathbf{G}}}(\tau[h,g])
   = [{^\tau h}, \theta_{\tau,h,{\mathbf{G}}}(g)]
   = [{^\tau h}, \theta_{\tau,h,{\mathbf{H}}}(g)]
   = \phi_{\tau,h,{\mathbf{H}}}(\tau[h,g]).\end{aligned}$$ Since $ \{ \tau[h,g] : g \in {\mathbf{H}}({\mathbb{A}}_f) \} $ is dense in $ \tau \operatorname{Sh}({\mathbf{H}}, X_{\mathbf{H}}) $, this shows that commutes. 

Let $ S $ be the canonical model of a Shimura variety $ \operatorname{Sh}_K({\mathbf{G}}, X) $.  Let $ Z \subset S $ be a special subvariety, defined over $ {\overline {\mathbb{Q}}}$. Then for every $ \tau \in \operatorname{Gal}({\overline {\mathbb{Q}}}/E({\mathbf{G}}, X)) $, $ \tau(Z) $ is also a special subvariety of $ S $. 

By definition, $ Z $ is a geometrically irreducible component of the image of $ T_g \circ [f] $ for some morphism of Shimura data $ f \colon ({\mathbf{H}}, X_{\mathbf{H}}) \to ({\mathbf{G}}, X) $ and some Hecke correspondence $ T_g $ on $ \operatorname{Sh}_K({\mathbf{G}}, X) $.  The Hecke correspondence $ T_g $ is defined over $ E({\mathbf{G}}, X) $ and every component of the image of a special subvariety under a Hecke correspondence is special.  Hence it suffices to show that each component of the image of $ \tau[f] \colon \operatorname{Sh}_{K_{\mathbf{H}}}({\mathbf{H}}, X_{\mathbf{H}}) \to \operatorname{Sh}_K({\mathbf{G}}, X) $ is a special subvariety. 

By [@Pin05 Prop.  4.3], we may assume that $ f $ is injective.  Then $ \tau \operatorname{Sh}({\mathbf{H}}, X_{\mathbf{H}}) $ is a Shimura sub-pro-variety of $ \operatorname{Sh}({\mathbf{G}}, X) $ by \[sp-subpro\].  Projecting down to finite level, we deduce that every geometrically irreducible component of the image of $ \tau \operatorname{Sh}_{K_{\mathbf{H}}}({\mathbf{H}}, X_{\mathbf{H}}) $ in $ \operatorname{Sh}_K({\mathbf{G}}, X) $ is indeed a special subvariety. 

Conjugation and complexity {#sec:conj-complexity}
==========================

We conclude the paper by proving \[galois-complexity\].  We first need the following lemma on morphisms of Shimura varieties. 

\[zeta\] Let $ f \colon ({\mathbf{G}}_1, X_1) \to ({\mathbf{G}}_2, X_2) $ be an isomorphism of Shimura data and let $ \beta \in {\mathbf{G}}_1({\mathbb{A}}_f) $.  Define a morphism of pro-varieties by $$\phi = [f] \circ T_\beta \colon \operatorname{Sh}({\mathbf{G}}_1, X_1) \to \operatorname{Sh}({\mathbf{G}}_2, X_2).$$ Let $ \theta \colon {\mathbf{G}}_1({\mathbb{A}}_f) \to {\mathbf{G}}_2({\mathbb{A}}_f) $ be the continuous group homomorphism $ \theta(g) = f(\beta^{-1} g \beta) $.  Let $ \theta' \colon {\mathbf{G}}_1({\mathbb{A}}_f) \to {\mathbf{G}}_2({\mathbb{A}}_f) $ be any continuous group homomorphism. 

Then $$\phi \circ T_g = T_{\theta'(g)} \circ \phi \text{ for all } g \in {\mathbf{G}}_1({\mathbb{A}}_f)$$ if and only if $ \theta' $ has the form $ \theta'(g) = \zeta(g) \theta(g) $ for some continuous homomorphism $ \zeta \colon {\mathbf{G}}_1({\mathbb{A}}_f) \to {\overline}{{\mathbf{Z}}_2({\mathbb{Q}})} $, where $ {\mathbf{Z}}_2 $ denotes the centre of $ {\mathbf{G}}_2 $. 

Let $ \zeta(g) = \theta'(g) \theta(g)^{-1} $. 

For every $ h \in X_1 $ and $ a, g \in {\mathbf{G}}_1({\mathbb{A}}_f) $, we can calculate $$\begin{gathered}
   T_{\theta'(g)} \phi([h,a]) = T_{\theta'(g)} [f] T_\beta([h,a]) = [f_*(h), f(a\beta) \theta'(g)] = [f_*(h), f(a\beta) \zeta(g) \theta(g)],
\\ \phi T_g([h,a]) = [f] T_\beta T_g([h,a]) = [f_*(h), f(ag\beta)] = [f_*(h), f(a\beta) \theta(g)].\end{gathered}$$ Since $ T_{\theta(g)} $ is invertible, we deduce that $ \phi \circ T_g = T_{\theta'(g)} \circ \phi $ if and only if $$\label{eqn:equiv}
[f_*(h), f(a\beta)] = [f_*(h), f(a\beta) \zeta(g)] \text{ for all } h \in X_1, a \in {\mathbf{G}}_1({\mathbb{A}}_f).$$

From the double quotient description  of $ \operatorname{Sh}({\mathbf{G}}_2, X_2)({\mathbb{C}}) $, we see immediately that, if the image of $ \zeta $ lies in $ {\overline}{{\mathbf{Z}}_2({\mathbb{Q}})} $, then holds. 

Now for the converse.  Assume that holds for every $ g \in {\mathbf{G}}_1({\mathbb{A}}_f) $.  Choose a Hodge generic point $ h \in X_1 $.  Thanks to and , for every $ a,g \in {\mathbf{G}}_1({\mathbb{A}}_f) $, there exist $ \gamma(a,g) \in {\mathbf{G}}_2({\mathbb{Q}}) $ and $ \nu(a,g) \in {\overline}{{\mathbf{Z}}_2({\mathbb{Q}})} $ such that $$\begin{aligned}
   \gamma(a,g) \, f_*(h) &= f_*(h),                                  \label{mu-fh}
\\ \gamma(a,g) \, f(a\beta) \, \nu(a,g) &= f(a\beta) \zeta(g).    \label{mu-fg}\end{aligned}$$

According to [@UY13 Lemma 2.2], the intersection of $ {\mathbf{G}}_2({\mathbb{Q}}) $ with the stabiliser of $ f_*(h) $ in $ {\mathbf{G}}_2({\mathbb{R}}) $ is equal to the $ {\mathbb{Q}}$-points of the centraliser of $ \operatorname{MT}(f_*(h)) $, that is, $$\label{eqn:stab-q}
{\mathbf{G}}_2({\mathbb{Q}}) \cap \operatorname{Stab}_{{\mathbf{G}}_2({\mathbb{R}})}(f_*(h)) = Z_{{\mathbf{G}}_2}(\operatorname{MT}(f_*(h)))({\mathbb{Q}}).$$ Since $ h $ is Hodge generic in $ X_1 $ and $ f $ is an isomorphism, $ f_*(h) $ is Hodge generic in $ X_2 $.  By the axiom [@Del79 2.1.1.3], $ {\mathbf{G}}_2^{\mathrm{der}}\subset \operatorname{MT}(X_2) $.  Hence $$\label{eqn:centralisers}
Z_{{\mathbf{G}}_2}(\operatorname{MT}(f_*(h))) = Z_{{\mathbf{G}}_2}(\operatorname{MT}(X_2)) \subset Z_{{\mathbf{G}}_2}({\mathbf{G}}_2^{\mathrm{der}}).$$ Since $ {\mathbf{G}}_2 $ is reductive, $ Z_{{\mathbf{G}}_2}({\mathbf{G}}_2^{\mathrm{der}}) = {\mathbf{Z}}_2 $.  Hence , and imply that $ \gamma(a,g) \in {\mathbf{Z}}_2({\mathbb{Q}}) $.  Since $ \gamma(a,g) $ and $ \nu(a,g) $ both lie in $ {\overline}{{\mathbf{Z}}_2({\mathbb{Q}})} \subset {\mathbf{Z}}_2({\mathbb{A}}_f) $, gives $$\gamma(a,g) \nu(a,g) = \zeta(g).$$ We conclude that $ \zeta(g) $ lies in $ {\overline}{{\mathbf{Z}}_2({\mathbb{Q}})} $ and that $ \zeta $ is a group homomorphism. 

The following proposition is the main step in the proof of \[galois-complexity\]. 

\[galois-special-mt\] Let $ ({\mathbf{G}}, X) $ be a Shimura datum and let $ [h,g] \in \operatorname{Sh}({\mathbf{G}}, X) $ be a special point.  For every $ \tau \in \operatorname{Gal}({\overline {\mathbb{Q}}}/E({\mathbf{G}}, X)) $, if $ \tau[h,g] = [h_\tau,g_\tau] \in \operatorname{Sh}({\mathbf{G}}, X) $, then there exist:

(a) an isomorphism of $ {\mathbb{Q}}$-tori $ f_2 \colon \operatorname{MT}(h_\tau) \to \operatorname{MT}(h) $;

(b) an automorphism $ \alpha $ of the topological group $ \operatorname{MT}(h)({\mathbb{A}}_f) $ such that $ \alpha \circ f_2 $ maps $ g_\tau K g_\tau^{-1} \cap \operatorname{MT}(h_\tau)({\mathbb{A}}_f) $ onto $ gKg^{-1} \cap \operatorname{MT}(h)({\mathbb{A}}_f) $ for each compact open subgroup $ K \subset {\mathbf{G}}({\mathbb{A}}_f) $. 

By and , we have $$\phi(\tau;h)[h_\tau,g_\tau] = \phi_{\tau,h}(\tau [h, g]) = [{^\tau h}, \theta_{\tau,h}(g)] \text{ in } \operatorname{Sh}({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X}).$$ Write $ \phi(\tau;h) = [f_1] \circ T_{\beta_1} $ as in [@MS82b Prop.  7.8].  Recalling the double coset description of $ \operatorname{Sh}({{^{\tau,h}}{\mathbf{G}}}, {{^{\tau,h}}X})({\mathbb{C}}) $, we get $$\begin{gathered}
   f_{1*}(h_\tau) = \gamma \, {^\tau h},  \label{f-h}
\\ f_1(g_\tau \beta_1) = \gamma \theta_{\tau,h}(g)z.  \label{f-g}\end{gathered}$$ for some $ \gamma \in {{^{\tau,h}}{\mathbf{G}}}({\mathbb{Q}}) $ and $ z \in {\overline}{{{^{\tau,h}}{\mathbf{Z}}}({\mathbb{Q}})} $. 

Thanks to , $ f_2 := \operatorname{Inn}(\gamma^{-1}) \circ f_1 $ restricts to an isomorphism of $ {\mathbb{Q}}$-tori $$\operatorname{MT}(h_\tau) \to \operatorname{MT}({^\tau h}) = \operatorname{MT}(h).$$ This proves (a). 

Define $ \theta_{\tau,h}' \colon {\mathbf{G}}({\mathbb{A}}_f) \to {{^{\tau,h}}{\mathbf{G}}}({\mathbb{A}}_f) $ by $$\theta_{\tau,h}'(g') = f_1(\beta_1^{-1} g' \beta_1).$$ Using , we can calculate $$\begin{aligned}
 \label{eqn:f2}
    f_2(g_\tau K g_\tau^{-1})
  & = \gamma^{-1} f_1(g_\tau \beta_1) \, f_1(\beta_1^{-1} K \beta_1) \, f_1(\beta_1^{-1} g_\tau^{-1}) \gamma   \notag
\\& = \theta_{\tau,h}(g) z \, \theta_{\tau,h}'(K) \, z^{-1} \theta_{\tau,h}(g)^{-1}.\end{aligned}$$

Because $ \phi(\tau;h) $ satisfies property (i) from p. , we can apply \[zeta\] to establish that $ \theta_{\tau,h}(g) = \zeta(g) \theta_{\tau,h}'(g) $ for some $ \zeta(g) \in {\overline}{{{^{\tau,h}}{\mathbf{Z}}}({\mathbb{Q}})} $.  Substituting this into  and using the fact that $ z $ and $ \zeta(g) $ are in $ {\overline}{{{^{\tau,h}}{\mathbf{Z}}}({\mathbb{Q}})} \subset {{^{\tau,h}}{\mathbf{Z}}}({\mathbb{A}}_f) $, we get $$\label{eqn:f2-theta}
f_2(g_\tau K g_\tau^{-1}) = \theta_{\tau,h}'(gKg^{-1}).$$

Let $ {\mathbf{M}}= \operatorname{MT}(h) \subset {\mathbf{G}}$ and $ {{^{\tau,h}}{\mathbf{M}}}= \operatorname{MT}({^\tau h}) \subset {{^{\tau,h}}{\mathbf{G}}}$. Let $ {\mathbf{T}}\subset {\mathbf{G}}$ denote a maximal $ {\mathbb{Q}}$-torus such that $ h $ factors through $ {\mathbf{T}}_{\mathbb{R}}$ and let $ {{^{\tau,h}}{\mathbf{T}}}= {^\tau{\mathcal{S}}} \times^{\mathcal{S}}{\mathbf{T}}\subset {{^{\tau,h}}{\mathbf{G}}}$. Since $ {\mathcal{S}}$ acts trivially on $ {\mathbf{T}}$, twisting by $ {^\tau{\mathcal{S}}} $ gives a bijection between $ {\mathbb{Q}}$-algebraic subgroups of $ {\mathbf{T}}$ and $ {\mathbb{Q}}$-algebraic subgroups of $ {{^{\tau,h}}{\mathbf{T}}}$, as explained in \[thT\].  Hence $ {{^{\tau,h}}{\mathbf{M}}}= {^\tau{\mathcal{S}}} \times^{\mathcal{S}}{\mathbf{M}}$.

We claim that $ \theta'_{\tau,h} $ restricts to an isomorphism $ {\mathbf{M}}({\mathbb{A}}_f) \to {{^{\tau,h}}{\mathbf{M}}}({\mathbb{A}}_f) $.  In order to establish this, we look into the definition of $ f_1 $ and $ \beta_1 $ at [@MS82b p. 328–329].  Choose any element $ a(\tau) \in {^\tau{\mathcal{S}}}({\overline {\mathbb{Q}}}) $ and define an isomorphism $ f \colon {\mathbf{G}}_{{\overline {\mathbb{Q}}}} \to {{^{\tau,h}}{\mathbf{G}}}_{{\overline {\mathbb{Q}}}} $ by $$f(g) = a(\tau).g.$$ Let $ L $ be a number field over which $ f $ is defined.  Milne and Shih use the Taniyama group to construct an element $$\tilde{\beta}(\tau,h) \in {\mathbf{T}}({\mathbb{A}}_f \otimes_{\mathbb{Q}}L).$$ The cocycle $ \tilde\beta(\tau,h)^{-1} \cdot \sigma\tilde\beta(\tau,h) $ becomes trivial in $ {\mathrm{H}}^1({\mathbb{Q}}, {\mathbf{G}}) $, and hence it is the coboundary of some element $ v \in {\mathbf{G}}({\overline {\mathbb{Q}}}) $.  Define $ f_1 \colon {\mathbf{G}}\to {{^{\tau,h}}{\mathbf{G}}}$ and $ \beta_1 \in {\mathbf{G}}({\mathbb{A}}_f) $ by $$\begin{gathered}
   f_1 = f \circ \operatorname{Inn}(v^{-1}),
\\ \beta_1 = \tilde\beta(\tau,h) \, v^{-1}.\end{gathered}$$ From these descriptions of $ f_1 $ and $ \beta_1 $, we can read off $$\label{eqn:theta-beta}
\theta_{\tau,h}'(g') = f(\tilde\beta(\tau,h)^{-1} \, g' \, \tilde\beta(\tau,h))$$ (as elements of $ {{^{\tau,h}}{\mathbf{G}}}({\mathbb{A}}_f \otimes_{\mathbb{Q}}L) $) for all $ g' \in {\mathbf{G}}({\mathbb{A}}_f) $. 

Since $ \tilde\beta(\tau,h) \in {\mathbf{T}}({\mathbb{A}}_f \otimes_{\mathbb{Q}}L) $ and $ {\mathbf{T}}$ is a torus containing $ {\mathbf{M}}$, $ \tilde\beta(\tau,h) $ commutes with $ {\mathbf{M}}({\mathbb{A}}_f) $.  Furthermore, since $ f $ is defined as twisting by an element of $ {^\tau{\mathcal{S}}}({\overline {\mathbb{Q}}}) $, it maps $ {\mathbf{M}}$ to $ {{^{\tau,h}}{\mathbf{M}}}$. Thus shows that $ \theta_{\tau,h}' $ maps $ {\mathbf{M}}({\mathbb{A}}_f) $ into $ {{^{\tau,h}}{\mathbf{M}}}({\mathbb{A}}_f \otimes_{\mathbb{Q}}L) $.  By definition, $ \theta_{\tau,h}' $ maps $ {\mathbf{G}}({\mathbb{A}}_f) $ into $ {{^{\tau,h}}{\mathbf{G}}}({\mathbb{A}}_f) $, so in fact it maps $ {\mathbf{M}}({\mathbb{A}}_f) $ into $ {{^{\tau,h}}{\mathbf{M}}}({\mathbb{A}}_f) $. 

By the same argument, $ \theta_{\tau,h}'^{-1} $ maps $ {{^{\tau,h}}{\mathbf{M}}}({\mathbb{A}}_f) $ into $ {\mathbf{M}}({\mathbb{A}}_f) $.  Thus $ \theta_{\tau,h}' $ restricts to an isomorphism $ {\mathbf{M}}({\mathbb{A}}_f) \to {{^{\tau,h}}{\mathbf{M}}}({\mathbb{A}}_f) $. 

Composing $ \theta_{\tau,h}'^{-1} $ with the identification $ {{^{\tau,h}}{\mathbf{M}}}({\mathbb{A}}_f) = {\mathbf{M}}({\mathbb{A}}_f) $ gives an automorphism $ \alpha $ of $ {\mathbf{M}}({\mathbb{A}}_f) $.  Now shows that $$f_2(g_\tau K g_\tau^{-1}) \cap {\mathbf{M}}({\mathbb{A}}_f) = \alpha^{-1}(gKg^{-1} \cap {\mathbf{M}}({\mathbb{A}}_f)).$$ Thus $ \alpha $ is the automorphism required for (b). 

(\[galois-complexity\]) Let $ S = \operatorname{Sh}_K({\mathbf{G}}, X) $ be the canonical model of a Shimura variety over the reflex field $ E_{\mathbf{G}}= E({\mathbf{G}}, X) $.  Let $ s \in S $ be a special point.  Then for every $ \tau \in \operatorname{Gal}({\overline {\mathbb{Q}}}/E_{\mathbf{G}}) $, we have $ \Delta(\tau(s)) = \Delta(s) $. 

Choose $ h \in X $ and $ g \in {\mathbf{G}}({\mathbb{A}}_f) $ such that $ s = [h,g]_K $.  Let $ \tau[h,g] = [h_\tau, g_\tau] \in \operatorname{Sh}({\mathbf{G}}, X) $.  Then $ \tau(s) = [h_\tau, g_\tau]_K $. 

We write $ {\mathbf{M}}= \operatorname{MT}(h) $, $ D_{\mathbf{M}}$, $ K_{\mathbf{M}}^m $, $ K_{\mathbf{M}}$ as in the definition of complexity of $ s $, and $ {\mathbf{M}}_\tau = \operatorname{MT}(h_\tau) $, $ D_{{\mathbf{M}}_\tau} $, $ K_{{\mathbf{M}}_\tau}^m $, $ K_{{\mathbf{M}}_\tau} $ for the analogous objects attached to $ \tau(s) $. 

\(1) implies that the discriminants $ D_{\mathbf{M}}$ and $ D_{{\mathbf{M}}_\tau} $ are equal. 

Let $ f_2 \colon {\mathbf{M}}_\tau \to {\mathbf{M}}$ and $ \alpha \colon {\mathbf{M}}({\mathbb{A}}_f) \to {\mathbf{M}}({\mathbb{A}}_f) $ be as in \[galois-special-mt\].  Since both $ f_2 $ and $ \alpha $ induce isomorphisms of topological groups on the adelic points, $ \alpha \circ f_2 $ maps $ K_{{\mathbf{M}}_\tau}^m $ to $ K_{\mathbf{M}}^m $.  By \[galois-special-mt\](2), $ \alpha \circ f_2 $ maps $$K_{{\mathbf{M}}_\tau} = g_\tau K g_\tau^{-1} \cap {\mathbf{M}}_\tau({\mathbb{A}}_f)$$ onto $ K_{\mathbf{M}}= gKg^{-1} \cap {\mathbf{M}}({\mathbb{A}}_f) $.  Consequently $$[K_{{\mathbf{M}}_\tau}^m:K_{{\mathbf{M}}_\tau}] = [K_{\mathbf{M}}^m:K_{\mathbf{M}}].$$

The definition of complexity now tells us that $ \Delta(\tau(s)) = \Delta(s) $. 

------------------------------------------------------------------------

height 0.3pt width 10em

Mathematics Institute, University of Warwick, Coventry CV4 7AL England, U.K.

[martin.orr@warwick.ac.uk]{}
