Satake compactification
A type of compactification arising from work of I. Satake on the compactification of quotients of symmetric spaces by arithmetically-defined groups ([a9], [a10], [a11]). Below, the simplest case of this is presented first, to help suggest its generalization.
Let be the upper half-plane, the symmetric space of non-compact type for
. For any subgroup
of finite index in
— these are arithmetic groups (cf. also Arithmetic group) — the quotient space
is a Riemann surface, a modular curve. A compactification
of
is obtained by first taking the
-invariant set
![]() |
with an -equivariant topology that is the given one on
and makes
discrete; a deleted neighbourhood base for
is given by
![]() |
Then is taken to be
. It is a compact Riemann surface (thus automatically an algebraic curve). An important ingredient, both here and in Satake's generalization, is reduction theory. Relative to the point
, it asserts that if
and
satisfy
and
, then
lies in the group of real translations (equivalently, in the parabolic group
of upper-triangular matrices, which is the stabilizer of
). This gives an embedding of the punctured disc
in
, and one is inserting the missing origin by adjoining
to
.
There was great interest in doing something similar for , the moduli space of Abelian varieties (cf. also Moduli theory; Abelian variety), which is the quotient
; here,
is the Siegel upper half-space of genus
, which is the symmetric space for
, the rank-
group of
symplectic matrices. For
one has
(from the preceding paragraph). Satake first observed, in [a9], that
could be topologized in a way that makes it a compact space with "hereditary" structure: the closure of
in
is homeomorphic to
. Some refer to this space as "the" Satake compactification of
.
Satake compactifications, in the sense of [a13] (after [a11] and [a3]), are defined from the following setting [a10]. Let be the symmetric space of non-compact type for the real semi-simple Lie group
(cf. also Lie group, semi-simple). Each faithful finite-dimensional representation of
(cf. also Representation of a Lie algebra) determines an embedding of
in some real projective space, so let
be the closure of
. The boundary of
consists of pieces, called boundary components, that are homogeneous under a class of parabolic subgroups of
. If
is the (real) rank of
, there are only
distinct such spaces
up to homeomorphism, corresponding to the non-empty subsets
of a set of simple roots, and as such they form a semi-lattice; if one then writes
, the identity mapping of
extends to a continuous mapping
whenever
.
When is the real Lie group associated to an algebraic group defined over
, a boundary component is said to be rational when its normalizing parabolic subgroup is defined over
. Likewise, the structure over
determines the class of arithmetic subgroups
of
. Take
to be the union of
and its rational boundary components. Then, with a suitable topology on
,
is, under mild hypotheses, a compactification of
. The collection of these inherit the semi-lattice structure from the above. There is a precise sense in which the topology of
is induced from that of the closure of a Siegel set in
.
The Baily–Borel compactification is one of the minimal Satake compactifications in the case where is Hermitian, i.e., has a
-invariant complex structure (cf. also Hermitian symmetric space). This includes the case of
above. Here,
gets embedded as a bounded symmetric domain. By means of automorphic forms of sufficiently high weight,
gets embedded as a normal algebraic subvariety of complex projective space [a2]. This fact has rather strong consequences, for the singular locus of
has "high" codimension in general, and one can invoke general results from 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
-cohomology of
, as conjectured in [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 [a5] for application in -theory. Non-Hermitian Satake compactifications occur in the combinatorial data of the toroidal compactifications of [a1] (see [a8], § 2), which provide resolution of the singularities of
(cf. also Resolution of singularities).
Another compactification, the reductive Borel–Serre, a simple quotient of the manifold-with-corners constructed in [a4] (see, e.g., [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 -cohomology [a12] and to define weighted cohomology [a6].
The spaces (also defined in a different manner by H. Furstenberg) themselves have played an important role in harmonic analysis, rigidity theory and potential theory.
References
[a1] | A. Ash, D. Mumford, M. Rapoport, Y.-S. Tai, "Smooth compactification of locally symmetric varieties" , Math. Sci. Press (1975) MR0457437 Zbl 0334.14007 |
[a2] | W. Baily, A. Borel, "Compactification of quotients of bounded symmetric domains" Ann. of Math. , 84 (1966) pp. 442–528 MR216035 Zbl 0154.08602 |
[a3] | A. Borel, "Ensembles fondamentaux pour les groupes arithmétiques" Colloq. Théorie de Groupes Algébriques, Bruxelles (1962) pp. 23–40 MR0148666 Zbl 0161.02603 |
[a4] | A. Borel, J.-P. Serre, "Corners and arithmetic groups" Comment. Math. Helv. , 48 (1973) pp. 436–491 MR0387495 Zbl 0274.22011 |
[a5] | R. Charney, R. Lee, "Cohomology of the Satake compactification" Topology , 22 (1983) pp. 389–423 MR0715247 Zbl 0562.32017 |
[a6] | M. Goresky, G. Harder, R. MacPherson, "Weighted cohomology" Invent. Math. , 116 (1994) pp. 139–213 MR1253192 Zbl 0849.11047 |
[a7] | M. Goresky, Y.-S. Tai, "Toroidal and reductive Borel–Serre compactifications of locally symmetric spaces" Amer. J. Math. , 121 (1999) pp. 1095–1151 MR1712965 Zbl 1008.32014 |
[a8] | M. Harris, S. Zucker, "Boundary cohomology of Shimura varieties, II: Hodge theory at the boundary" Invent. Math. , 116 (1994) pp. 243–307 MR1253194 Zbl 0860.11031 |
[a9] | I. Satake, "On the compactification of the Siegel space" J. Indian Math. Soc. , 20 (1956) pp. 259–281 MR0084842 Zbl 0072.30002 |
[a10] | I. Satake, "On representations and compactifications of symmetric Riemannian spaces." Ann. of Math. , 71 (1960) pp. 77–110 MR0118775 Zbl 0094.34603 |
[a11] | I. Satake, "On compactifications of the quotient spaces for arithmetically defined discontinuous groups" Ann. of Math. , 72 (1960) pp. 555–580 MR0170356 Zbl 0146.04701 |
[a12] | S. Zucker, "![]() |
[a13] | S. Zucker, "Satake compactifications" Comment. Math. Helv. , 58 (1983) pp. 312–343 MR0705539 Zbl 0565.22009 |
Satake compactification. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Satake_compactification&oldid=50189