View source for Satake compactification

<!--This article has been texified automatically. Since there was no Nroff source code for this article, 
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
was used.
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.

Out of 85 formulas, 85 were replaced by TEX code.-->

{{TEX|semi-auto}}{{TEX|done}}
A type of compactification arising from work of I. Satake on the compactification of quotients of symmetric spaces by arithmetically-defined groups ([[#References|[a9]]], [[#References|[a10]]], [[#References|[a11]]]). Below, the simplest case of this is presented first, to help suggest its generalization.

Let $H$ be the upper half-plane, the [[Symmetric space|symmetric space]] of non-compact type for $G = \operatorname{SL} ( 2 , \bf R )$. For any subgroup $\Gamma$ of finite index in $\operatorname{SL} ( 2 , {\bf Z} )$ — these are arithmetic groups (cf. also [[Arithmetic group|Arithmetic group]]) — the quotient space $X = \Gamma {\color{blue} \backslash} H$ is a [[Riemann surface|Riemann surface]], a [[Modular curve|modular curve]]. A [[Compactification|compactification]] $X ^ { * }$ of $X$ is obtained by first taking the $\operatorname{SL} ( 2 , \mathbf{Q} )$-invariant set

\begin{equation*} H ^ { * } = H {\color{blue} \bigcup }{\bf P} ^ { 1 } ({\bf Q} ) \subset {\bf P} ^ { 1 } ({\bf C} ), \end{equation*}

with an $\operatorname{SL} ( 2 , \mathbf{Q} )$-equivariant topology that is the given one on $H$ and makes $\mathbf{P} ^ { 1 } ( \mathbf{Q} )$ discrete; a deleted neighbourhood base for $\infty \in H ^ { * }$ is given by

\begin{equation*} H ^ { L } = \{ z \in H : \operatorname { Im } z &gt; L \} \text { for } L &gt; 0. \end{equation*}

Then $X ^ { * }$ is taken to be $\Gamma \backslash H ^ { * }$. It is a compact Riemann surface (thus automatically an [[Algebraic curve|algebraic curve]]). An important ingredient, both here and in Satake's generalization, is reduction theory. Relative to the point $\infty \in H ^ { * }$, it asserts that if $Z \in H$ and $\gamma \in \Gamma$ satisfy $\operatorname { Im } z &gt; 1$ and $\operatorname { Im } ( \gamma z ) &gt; 1$, then $\gamma$ lies in the group of real translations (equivalently, in the parabolic group $P$ of upper-triangular matrices, which is the stabilizer of $\infty$). This gives an embedding of the punctured disc $( \Gamma \cap P ) \backslash H ^ { 1 }$ in $X$, and one is inserting the missing origin by adjoining $\infty$ to $H$.

There was great interest in doing something similar for $A _ { g }$, the moduli space of Abelian varieties (cf. also [[Moduli theory|Moduli theory]]; [[Abelian variety|Abelian variety]]), which is the quotient $X _ { g } = \operatorname { Sp } ( 2 g , \mathbf{Z} ) \backslash H _ { g }$; here, $H _ { g }$ is the Siegel upper half-space of genus $g$, which is the symmetric space for $G = \operatorname { Sp } ( 2 g , \mathbf{R} )$, the rank-$g$ group of $( 2 g ) \times ( 2 g )$ symplectic matrices. For $g = 1$ one has $H _ { 1 } = H$ (from the preceding paragraph). Satake first observed, in [[#References|[a9]]], that $X _ { g } ^ { * } = {\color{blue} \cup} _ { r \leq g } X _ { r }$ could be topologized in a way that makes it a compact space with "hereditary" structure: the closure of $X_r$ in $X _ { g } ^ { * }$ is homeomorphic to $X_r ^ { * }$. Some refer to this space as "the" Satake compactification of $X_{g}$.

Satake compactifications, in the sense of [[#References|[a13]]] (after [[#References|[a11]]] and [[#References|[a3]]]), are defined from the following setting [[#References|[a10]]]. Let $D$ be the symmetric space of non-compact type for the real semi-simple Lie group $G$ (cf. also [[Lie group, semi-simple|Lie group, semi-simple]]). Each faithful finite-dimensional representation of $G$ (cf. also [[Representation of a Lie algebra|Representation of a Lie algebra]]) determines an embedding of $D$ in some real projective space, so let $\overline{ D }$ be the closure of $D$. The boundary of $\overline{ D }$ consists of pieces, called boundary components, that are homogeneous under a class of parabolic subgroups of $G$. If $r$ is the (real) rank of $G$, there are only $2 ^ { r } - 1$ distinct such spaces $\overline{ D }$ up to homeomorphism, corresponding to the non-empty subsets $S$ of a set of simple roots, and as such they form a semi-lattice; if one then writes $\overline { D } = \overline { D } _ { S }$, the identity mapping of $D$ extends to a continuous mapping $\overline { D } _ { S } \rightarrow \overline { D } _ { T }$ whenever $S \supset T$.

When $G$ is the real [[Lie group|Lie group]] associated to an [[Algebraic group|algebraic group]] defined over $\mathbf{Q}$, a boundary component is said to be rational when its normalizing [[Parabolic subgroup|parabolic subgroup]] is defined over $\mathbf{Q}$. Likewise, the structure over $\mathbf{Q}$ determines the class of arithmetic subgroups $\Gamma$ of $G$. Take $D ^ { * }$ to be the union of $D$ and its rational boundary components. Then, with a suitable topology on $D ^ { * }$, $X ^ { * } = \Gamma \backslash D ^ { * }$ is, under mild hypotheses, a compactification of $X = \Gamma \backslash D$. The collection of these inherit the semi-lattice structure from the above. There is a precise sense in which the topology of $X ^ { * }$ is induced from that of the closure of a Siegel set in $\overline{ D }$.

The [[Baily–Borel compactification|Baily–Borel compactification]] is one of the minimal Satake compactifications in the case where $D$ is Hermitian, i.e., has a $G$-invariant complex structure (cf. also [[Hermitian symmetric space|Hermitian symmetric space]]). This includes the case of $X _ { g } ^ { * }$ above. Here, $D$ gets embedded as a bounded symmetric domain. By means of automorphic forms of sufficiently high weight, $X ^ { * }$ gets embedded as a normal algebraic subvariety of complex projective space [[#References|[a2]]]. This fact has rather strong consequences, for the singular locus of $D ^ { * }$ has "high" codimension in general, and one can invoke general results from [[Algebraic geometry|algebraic geometry]]. It implies the existence of big families of Abelian varieties that do not degenerate. This compactification also enters into the topological interpretation of the $L^{2}$-cohomology of $X$, as conjectured in [[#References|[a12]]] and proved by E. Looijenga, and L. Saper and M. Stern.

The applications of Satake compactifications cover a range of other areas. The stable cohomology of "the" Satake compactification was determined by R. Charney and R. Lee [[#References|[a5]]] for application in [[K-theory|$K$-theory]]. Non-Hermitian Satake compactifications occur in the combinatorial data of the toroidal compactifications of [[#References|[a1]]] (see [[#References|[a8]]], § 2), which provide resolution of the singularities of $X ^ { * }$ (cf. also [[Resolution of singularities|Resolution of singularities]]).

Another compactification, the reductive Borel–Serre, a simple quotient of the manifold-with-corners constructed in [[#References|[a4]]] (see, e.g., [[#References|[a7]]]), dominates all Satake compactifications, and often coincides with the unique maximal one. It has played an increasing role in the theory of automorphic forms. It is the natural place to study the $L ^ { p }$-cohomology [[#References|[a12]]] and to define weighted cohomology [[#References|[a6]]].

The spaces $\overline{ D }$ (also defined in a different manner by H. Furstenberg) themselves have played an important role in harmonic analysis, rigidity theory and potential theory.

====References====
<table><tr><td valign="top">[a1]</td> <td valign="top"> A. Ash, D. Mumford, M. Rapoport, Y.-S. Tai, "Smooth compactification of locally symmetric varieties" , Math. Sci. Press (1975) {{MR|0457437}} {{ZBL|0334.14007}} </td></tr><tr><td valign="top">[a2]</td> <td valign="top"> W. Baily, A. Borel, "Compactification of quotients of bounded symmetric domains" ''Ann. of Math.'' , '''84''' (1966) pp. 442–528 {{MR|216035}} {{ZBL|0154.08602}} </td></tr><tr><td valign="top">[a3]</td> <td valign="top"> A. Borel, "Ensembles fondamentaux pour les groupes arithmétiques" ''Colloq. Théorie de Groupes Algébriques, Bruxelles'' (1962) pp. 23–40 {{MR|0148666}} {{ZBL|0161.02603}} </td></tr><tr><td valign="top">[a4]</td> <td valign="top"> A. Borel, J.-P. Serre, "Corners and arithmetic groups" ''Comment. Math. Helv.'' , '''48''' (1973) pp. 436–491 {{MR|0387495}} {{ZBL|0274.22011}} </td></tr><tr><td valign="top">[a5]</td> <td valign="top"> R. Charney, R. Lee, "Cohomology of the Satake compactification" ''Topology'' , '''22''' (1983) pp. 389–423 {{MR|0715247}} {{ZBL|0562.32017}} </td></tr><tr><td valign="top">[a6]</td> <td valign="top"> M. Goresky, G. Harder, R. MacPherson, "Weighted cohomology" ''Invent. Math.'' , '''116''' (1994) pp. 139–213 {{MR|1253192}} {{ZBL|0849.11047}} </td></tr><tr><td valign="top">[a7]</td> <td valign="top"> M. Goresky, Y.-S. Tai, "Toroidal and reductive Borel–Serre compactifications of locally symmetric spaces" ''Amer. J. Math.'' , '''121''' (1999) pp. 1095–1151 {{MR|1712965}} {{ZBL|1008.32014}} </td></tr><tr><td valign="top">[a8]</td> <td valign="top"> M. Harris, S. Zucker, "Boundary cohomology of Shimura varieties, II: Hodge theory at the boundary" ''Invent. Math.'' , '''116''' (1994) pp. 243–307 {{MR|1253194}} {{ZBL|0860.11031}} </td></tr><tr><td valign="top">[a9]</td> <td valign="top"> I. Satake, "On the compactification of the Siegel space" ''J. Indian Math. Soc.'' , '''20''' (1956) pp. 259–281 {{MR|0084842}} {{ZBL|0072.30002}} </td></tr><tr><td valign="top">[a10]</td> <td valign="top"> I. Satake, "On representations and compactifications of symmetric Riemannian spaces." ''Ann. of Math.'' , '''71''' (1960) pp. 77–110 {{MR|0118775}} {{ZBL|0094.34603}} </td></tr><tr><td valign="top">[a11]</td> <td valign="top"> I. Satake, "On compactifications of the quotient spaces for arithmetically defined discontinuous groups" ''Ann. of Math.'' , '''72''' (1960) pp. 555–580 {{MR|0170356}} {{ZBL|0146.04701}} </td></tr><tr><td valign="top">[a12]</td> <td valign="top"> S. Zucker, "$L^{2}$ cohomology of warped products and arithmetic groups" ''Invent. Math.'' , '''70''' (1982) pp. 169–218 {{MR|0684171}} {{ZBL|0508.20020}} </td></tr><tr><td valign="top">[a13]</td> <td valign="top"> S. Zucker, "Satake compactifications" ''Comment. Math. Helv.'' , '''58''' (1983) pp. 312–343 {{MR|0705539}} {{ZBL|0565.22009}} </td></tr></table>