Introduction to Shimura Varieties J.S. Milne October 23, 2004; revised September 16, 2017
Abstract
This is an introduction to the theory of Shimura varieties, or, in other words, to the arithmetic theory of automorphic functions and holomorphic automorphic forms. In this revised version, the numbering is unchanged from the original published version except for displays.
Contents
1 Hermitian symmetric domains...... 5 2 Hodge structures and their classifying spaces...... 22 3 Locally symmetric varieties...... 32 4 Connected Shimura varieties...... 42 5 Shimura varieties...... 52 6 The Siegel modular variety...... 67 7 Shimura varieties of Hodge type...... 76 8 PEL Shimura varieties...... 79 9 General Shimura varieties...... 90 10 Complex multiplication: the Shimura–Taniyama formula...... 96 11 Complex multiplication: the main theorem...... 106 12 Definition of canonical models...... 110 13 Uniqueness of canonical models...... 117 14 Existence of canonical models...... 120 15 Abelian varieties over finite fields...... 130 16 The good reduction of Shimura varieties...... 141 17 A formula for the number of points...... 148 A Appendix Complements...... 151 B Appendix List of Shimura varieties of abelian type...... 157 C Appendix Review of Shimura’s Collected Papers...... 160 References...... 163 Index...... 170
These are my notes for a series of fifteen lectures at the Clay Summer School, Fields Institute, Toronto, June 2 – June 27, 2003. The original version was published as: “Introduction to Shimura varieties, In Harmonic analysis, the trace formula, and Shimura varieties, 265–378, Clay Math. Proc., 4, Amer. Math. Soc., Providence, RI, 2005.” The notes were revised in 2017. Copyright c 2004, 2017 J.S. Milne.
1 Introduction
The arithmetic properties of elliptic modular functions and forms were extensively studied in the 1800s, culminating in the beautiful Kronecker Jugendtraum. Hilbert emphasized the importance of extending this theory to functions of several variables in the twelfth of his famous problems at the International Congress in 1900. The first tentative steps in this direction were taken by Hilbert himself and his students Blumenthal and Hecke in their study of what are now called Hilbert (or Hilbert–Blumenthal) modular varieties. As the theory of complex functions of several variables matured, other quotients of bounded symmetric domains by arithmetic groups were studied (Siegel, Braun, and others). However, the modern theory of Shimura varieties1 only really began with the development of the theory of abelian varieties with complex multiplication by Shimura, Taniyama, and Weil in the mid-1950s, and with the subsequent proof by Shimura and his students of the existence of canonical models for certain families of Shimura varieties. In two fundamental articles, Deligne recast the theory in the language of abstract reductive groups and extended Shimura’s results on canonical models. Langlands made Shimura varieties a central part of his program, both as a source of representations of Galois groups and as tests for his conjecture that all motivic L-functions are automorphic. These notes are an introduction to the theory of Shimura varieties from the point of view of Deligne and Langlands. Because of their brevity, many proofs have been omitted or only sketched. The first nine sections study Shimura varieties over the complex numbers, the next five study them over number fields of characteristic zero (the theory of canonical models), and the final three study them in mixed characteristic and over finite fields.
INTRODUCTIONTOTHEREVISEDVERSION (2017) On looking at these notes thirteen years after they were written, I found that they read too closely as being my personal notes for the lectures. In particular, they lacked the motivation and historical background that (I hope) the lectures provided. In revising them, I have added this background, and I have fixed all the errors and instances of careless writing that have been pointed out to me. Unnumbered asides are new, and this version includes three appendices not in the published version. One point I should emphasize is that this is an introduction to the theory of general Shimura varieties. Although Shimura varieties of PEL-type form a very important class — they are the moduli varieties of abelian varieties with polarization, endomorphism, and level structure — they make up only a small class in the totality of Shimura varieties.2 The simplest Shimura varieties are the elliptic modular curves. My notes Modular Functions and Modular Forms emphasize the arithmetic and the geometry of these curves, and so provide an elementary preview of some of the theory discussed in these notes. The entire foundations of the theory of Shimura varieties need to be reworked. Once that has been accomplished, perhaps I will write a definitive version of the notes.
1Ihara (1968) introduced the term “Shimura curve” for the “algebraic curves uniformized by automorphic functions attached to quaternion algebras over totally real fields, whose beautiful arithmetic properties have been discovered by Shimura (Annals 1967).” Langlands (1976) introduced the term “Shimura variety” for “certain varieties” studied “very deeply” by Shimura. His definition is that of Deligne 1971b. 2“Dans un petit nombre de cas, X= peut s’interpreter´ comme l’ensemble des classes d’isomorphie des variet´ es´ abeliennes´ complexes, muni de quelques structures algebriques´ additionelles (polarisations, endomor- phismes, structures sur les points d’ordre n).” Deligne 1971b
2 NOTATION AND CONVENTIONS Throughout, k is a field. Unless indicated otherwise, vector spaces are assumed to be finite-dimensional, and free Z-modules are assumed to be of finite rank. The linear dual Hom.V;k/ of a k-vector space (or module) V is denoted by V _. For a k-vector space V and a commutative k-algebra R, V .R/ denotes V k R (and similarly for Z-modules). By ˝ a lattice, we always mean a full lattice. For example, a lattice in an R-vector space V is a Z-submodule such that R V — throughout denotes a canonical isomorphism. ˝Z ' ' The symbol ka denotes an algebraic closure of the field k and ks the separable closure of k in ka. The transpose of a matrix C is denoted by C t . An algebraic group over a field k is a group scheme of finite type over k. As k is always of characteristic zero, such groups are smooth, and hence are not essentially different from the algebraic groups in Borel 1991 or Springer 1998. Let G be an algebraic group over a field k of characteristic zero. If G is connected or, more generally, if every connected component of G has a k-point, then G.k/ is dense in G for the Zariski topology (Milne 2017, 17.93). This implies that a connected algebraic subgroup of an algebraic group over k is determined by its k-points, and that a homomorphism from a connected algebraic group is determined by its action on the k-points. Semisimple and reductive groups, whether algebraic or Lie, are required to be connected. A simple algebraic or Lie group is a semisimple group whose only proper normal subgroups are finite (sometimes such a group is said to be almost-simple). For example, SLn is simple. For a torus T over k, X .T / denotes the character group of Tka . The derived group of a reductive group G is denoted by Gder (it is a semisimple group), and the adjoint group (quotient of G by its centre) is denoted by Gad. Let g G.k/; then g acts on G by the inner def 2 automorphism ad.g/ .x gxg 1/ and hence on Lie.G/ by an automorphism Ad.g/. For D 7! more notation concerning reductive groups, see 5. For a finite extension of fields L F , the algebraic group over F obtained by restriction of scalars from an algebraic group G over L is denoted by .G/L=F . A superscript C (resp. ı) denotes a connected component relative to a real topology (resp. a Zariski topology). For an algebraic group, it means the identity connected component. For example, .On/ı SOn, .GLn/ı GLn, and GLn.R/C consists of the n n matrices with D D det > 0. For an algebraic group G over Q, G.Q/C G.Q/ G.R/C. Following Bourbaki, D \ I require compact topological spaces to be Hausdorff. Throughout, I use the notation standard in algebraic geometry, which sometimes conflicts with that used in other areas. For example, if G and G0 are algebraic groups over a field k, then a homomorphism G G means a homomorphism defined over k; if K is a field ! 0 containing k, then GK is the algebraic group over K obtained by extension of the base field and G.K/ is the group of points of G with coordinates in K. If k , K is a W ! homomorphism of fields and V is an algebraic variety (or other algebro-geometric object) over k, then V has its only possible meaning: apply to the coefficients of the equations defining V . Let A and B be sets and let be an equivalence relation on A. If there exists a canonical surjection A B whose fibres are the equivalence classes, then I say that B classifies the ! elements of A modulo or that it classifies the -classes of elements of A. The cardinality of a set S is denoted by S . Throughout, I write A B C=D for the double coset space j j n A .B C /=D (apply before and =). n n A functor F A B is fully faithful if the maps Hom .a;a / Hom .F a;F a / are W ! A 0 ! B 0 bijective. The essential image of such a functor is the full subcategory of B whose objects are
3 4 isomorphic to an object of the form F a. An equivalence is a fully faithful functor F A B W ! whose essential image is B.
REFERENCES In addition to the references listed at the end, I refer to the following of my course notes (available at www.jmilne.org/math/). AG: Algebraic Geometry, v6.02, 2017. ANT: Algebraic Number Theory, v3.07, 2017. CFT: Class Field Theory, v4.02, 2013. MF: Modular Functions and Modular Forms, v1.31, 2017.
PREREQUISITES Beyond the mathematics that students usually acquire by the end of their first year of graduate work (a little complex analysis, topology, algebra, differential geometry,...), I assume some familiarity with algebraic number theory, algebraic geometry, algebraic groups, and elliptic modular curves.
ACKNOWLEDGEMENTS I thank the Clay Mathematical Institute and the organizers for giving me the opportunity to lecture on Shimura varieties, the Fields Institute for providing a excellent setting for the Summer School, and the audience for its lively participation. Also, I thank Lizhen Ji and Gopal Prasad for their help with references, and Bin Du, Brian Conrad, F. Hormann,¨ and Shenhao Sun for alerting me to errors in earlier versions. The current version (2017), takes account of comments and corrections by Alexey Beshenov, Bas Edixhoven, Lucio Guerberoff, and Bhupendra Nath Tiwari. I especially thank Bjorn Poonen and the participants in his seminar (Yuzhou Gu, Naoki Imai, Jun Su, Isabel Vogt, Lynnelle Ye) for their careful reading of the original version and for their copious comments 5
1 Hermitian symmetric domains
In this section, we describe the complex manifolds that play the role in higher dimensions of the complex upper half plane, or, equivalently, the open unit disk:
This is a large topic, and we can do little more than list the definitions and results that we shall need.
Brief review of real manifolds A topological space M is locally euclidean at p M if there exists an n such that p has 2 n an open neighbourhood homeomorphic to an open subset of R . It is a manifold if it is locally euclidean at every point, Hausdorff, and admits a countable base for its open sets. A 1 n n homeomorphism .x ;:::;x / U R from an open subset of M onto an open subset n D W 1 ! n of R is called a chart of M , and x ;:::;x are said to be local coordinates on U .
SMOOTHMANIFOLDS
We use smooth to mean C 1.A smooth manifold is a manifold M endowed with a smooth structure, i.e., a sheaf OM of R-valued functions such that .M;OM / is locally isomorphic n to R endowed with its sheaf of smooth functions. For an open U M , the f OM .U / 2 are called the smooth functions on U . A smooth structure on a manifold M can be defined n S by a family u˛ U˛ R of charts such that M U˛ and the maps W ! D 1 u˛ u u .U˛ U / u˛.U˛ U / ı ˇ W ˇ \ ˇ ! \ ˇ are smooth for all ˛;ˇ. A continuous map ˛ M N of smooth manifolds is smooth if it is W ! a morphism of ringed spaces, i.e., f smooth on an open U N implies f ˛ smooth on 1 ı ˛ .U /. Let .M;OM / be a smooth manifold, and let OM;p be the ring of germs of smooth functions at p. The tangent space Tgtp.M / to M at p is the R-vector space of R-derivations 1 n n @ @ o Xp OM;p R. If x ;:::;x are local coordinates at p, then 1 ;:::; n is a basis for W ! @x @x Tgt .M / and ˚dx1;:::;dxn« is the dual basis. A smooth map ˛ M M defines a linear p W ! 0 map d˛p Tgt .M / Tgt .M / for every p M . W p ! ˛.p/ 0 2 Let U be an open subset of a smooth manifold M .A smooth vector field X on U is a family of tangent vectors Xp Tgt .M / indexed by p U , such that, for every smooth 2 p 2 6 1 HERMITIAN SYMMETRIC DOMAINS
function f on an open subset of U , p Xpf is smooth. A smooth r-tensor field on 7! U is a family t .tp/p M of multilinear mappings tp Tgtp.M / Tgtp.M / R (r D 2 W ! copies of Tgtp.M /) such that, for all smooth vector fields X1;:::;Xr on an open subset of U , p tp.X1;:::;Xr / is a smooth function. A smooth .r;s/-tensor field is a family 7! r s tp .TgtpM/ .TgtpM/_ R satisfying a similar condition. Note that to give a smooth W ! .1;1/-field amounts to giving a family of endomorphisms tp Tgt .M / Tgt .M / with W p ! p the property that p tp.Xp/ is a smooth vector field for every smooth vector field X. 7! A riemannian manifold is a smooth manifold M endowed with a riemannian metric, i.e., a smooth 2-tensor field g such that, for all p M , 2
gp Tgtp.M / Tgtp.M / R W ! is symmetric and positive-definite. In terms of local coordinates3 x1;:::;xn at p,
P i j @ @ Á gp gi;j .p/dx dx where gij .p/ gp ; : D ˝ D @xi @xj
An isomorphism of riemannian manifolds is called an isometry. A real Lie group G is a smooth manifold endowed with a group structure defined by 1 smooth maps g1;g2 g1g2, g g . According to a theorem of Lie, this is equivalent to 7! 7! the usual definition in which “smooth” is replaced by “real-analytic”. A Lie group is adjoint if it is semisimple with trivial centre.
Brief review of hermitian forms
To give a complex vector space amounts to giving a real vector space V together with an 2 endomorphism J V V such that J 1.A hermitian form on .V;J / is an R-bilinear W ! D mapping . / V V C such that .J u v/ i.u v/ and .v u/ .u v/. When we write j W ! j D j j D j
.u v/ '.u;v/ i .u;v/; '.u;v/, .u;v/ R, (1) j D 2 then ' and are R-bilinear, and
' is symmetric '.J u;J v/ '.u;v/; (2) D is alternating .J u;J v/ .u;v/; (3) D .u;v/ '.u;J v/; '.u;v/ .u;J v/: (4) D D Conversely, if ' satisfies (2), then the formulas (4) and (1) define a hermitian form,
.u v/ '.u;v/ i'.u;J v/: (5) j D C As .u u/ '.u;u/, the hermitian form . / is positive-definite if and only if ' is positive- j D j definite. Note that ' is the bilinear form associated with the quadratic form u .u u/ V 7! j W ! R.
3In this situation, we usually write dxi dxj for dxi dxj — see Lee 1997, p. 24 for an explanation. ˝ Complex manifolds 7
Complex manifolds n A C-valued function on an open subset U of C is analytic if it admits a power series expansion in a neighbourhod of each point of U .A complex manifold is a manifold M endowed with a complex structure, i.e., a sheaf OM of C-valued functions such that n .M;OM / is locally isomorphic to C with its sheaf of analytic functions. A complex n structure on a manifold M can be defined by a family u˛ U˛ C of charts such that S 1 W ! M U˛ and the maps u˛ u are analytic for all ˛;ˇ. Such a family also makes M D ı ˇ into a smooth manifold denoted M . A continuous map ˛ M N of complex manifolds 1 W ! is analytic if it is a morphism of ringed spaces. A Riemann surface is a one-dimensional complex manifold. A tangent vector at a point p of a complex manifold is a C-derivation OM;p C. The ! tangent spaces Tgtp.M / (M regarded as a complex manifold) and Tgtp.M 1/ .M regarded as a smooth manifold) can be identified (as real vector spaces). Explicitly, complex local coordinates z1;:::;zn at a point p of M define real local coordinates x1;:::;xn;y1;:::;yn when we write zr xr iyr . The real tangent space has basis @ ;:::; @ ; @ ;:::; @ D C @x1 @xn @y1 @yn @ @ and the complex tangent space has basis @z1 ;:::; @zn . Under the natural identification of the @ 1 @ @ Á two spaces we have @zr 2 @xr i @yr . D n A C-valued function f on an open subset U of C is holomorphic if it is holomorphic (i.e., differentiable) separately in each variable. As in the one-variable case, f is holomorphic if and only if it is analytic (Hartog’s theorem, Taylor 2002, 2.2.3), and so we can use the terms interchangeably. Recall that a C-valued function f on U C is holomorphic if and only if it is smooth as a function of two real variables and satisfies the Cauchy-Riemann condition. This condition has a geometric interpretation: it requires that dfp Tgtp.U / Tgtf .p/.C/ be C-linear for W ! n all p U . It follows that a smooth C-valued function f on U C is holomorphic if and 2 only if the maps dfp Tgtp.U / Tgtf .p/.C/ C are C-linear for all p U . W ! D 2 An almost-complex structure on a smooth manifold M is a smooth tensor field J D .Jp/p M , 2 Jp Tgt .M / Tgt .M /; W p ! p such that J 2 1 for all p, i.e., it is a smoothly varying family of complex structures on the p D tangent spaces. A complex structure on a smooth manifold endows it with an almost-complex structure. In terms of complex local coordinates z1;:::;zn in a neighbourhood of a point p 1 n on a complex manifold and the corresponding real local coordinates x ;:::;y , Jp acts by @ @ @ @ ; : (6) @xr 7! @yr @yr 7! @xr It follows from the last paragraph that the functor from complex manifolds to almost-complex manifolds is fully faithful: a smooth map ˛ M N of complex manifolds is holomorphic W ! (analytic) if and only if the maps d˛p Tgtp.M / Tgt˛.p/.N / are C-linear for all p M . W ! 2 Not every almost-complex structure on a smooth manifold arises from a complex structure — those that do are said to be integrable. An almost-complex structure J on a smooth manifold is integrable if M can be covered by charts on which J takes the form (6) because this condition forces the transition maps to be holomorphic. A hermitian metric on a complex (or almost-complex) manifold M is a riemannian metric g such that g.JX;J Y / g.X;Y / for all vector fields X;Y . (7) D 8 1 HERMITIAN SYMMETRIC DOMAINS
According to (5), for each p M , gp is the real part of a unique hermitian form hp on 2 TgtpM , which explains the name. A hermitian manifold .M;g/ is a complex manifold M with a hermitian metric g, or, in other words, it is a riemannian manifold .M 1;g/ with a complex structure such that J acts by isometries.
Hermitian symmetric spaces A manifold (riemannian, hermitian, . . . ) is said to be homogeneous if its automorphism group acts transitively, i.e., for every pair of points p;q, there is an automorphism sending p to q. In particular, every point on the manifold then looks exactly like every other point.
SYMMETRIC SPACES A manifold (riemannian, hermitian, . . . ) is symmetric if it is homogeneous and at some point p there is an involution sp (the symmetry at p) having p as an isolated fixed point. This 2 means that sp is an automorphism such that s 1 and that p is the only fixed point of sp p D in some neighbourhood of p. By homogeneity, there is then a symmetry at every point. The automorphism group of a riemannian manifold .M;g/ is the group Is.M;g/ of isometries. A connected symmetric riemannian manifold is called a symmetric space. n P i i For example, R with the standard metric gp dx dx is a symmetric space — the D translations are isometries, and x x is a symmetry at 0. 7! ASIDE. Let .M;g/ be a connected riemannian manifold. For each p M and v Tgt .M / there is 2 2 p a unique maximal geodesic I M with .0/ p and .0/ v. Here I is an interval in R. For each p M; there is a diffeomorphismW ! defined onD a neighbourhoodP D of p (the geodesic symmetry at p) that2 sends .t/ to . t/ for every geodesic with .0/ p. Geometrically, it is reflection along geodesics through p. If the geodesic symmetry at p is an isometry,D then .M;g/ is said to be locally symmetric at p. A connected riemannian manifold .M;g/ is symmetric if and only if the geodesic symmetry at every point of M is an isometry and extends to an isometry of order 2 on the whole of M .
We let Hol.M / denote the group of automorphisms of a complex manifold M . The automorphism group of a hermitian manifold .M;g/ is the group Is.M;g/ of holomorphic isometries: Is.M;g/ Is.M ;g/ Hol.M / (8) D 1 \ (intersection inside Aut.M 1/. A connected symmetric hermitian manifold is called a hermitian symmetric space.
EXAMPLE 1.1. (a) The complex upper half plane H1 becomes a hermitian symmetric space dxdy when endowed with the metric y2 . The action Âa bà az b Âa bà z C ; SL2.R/; z H1; c d D cz d c d 2 2 C identifies SL2.R/= I with the group of holomorphic automorphisms of H1. For any f˙ g py x=py Á x iy H1, x iy i, and so H1 is homogeneous. The isomorphism z C 2 C D 0 1=py 7! dxdy 1=z is a symmetry at i H1, and the riemannian metric is invariant under the action 2 y2 of SL2.R/ and has the hermitian property (7). 1 (b) The projective line P .C/ (= Riemann sphere) becomes a hermitian symmetric space 3 when endowed with the restriction (to the sphere) of the standard metric on R . The group Hermitian symmetric spaces 9 of rotations is transitive, and reflection along the geodesics (great circles) through a point p is a symmetry (this is equal to rotation through about an axis through p and its polar opposite). These transformations leave the metric invariant.
(c) Every quotient C= of C by a discrete additive subgroup becomes a hermitian symmetric space when endowed with the standard metric. The group of translations is transitive, and z z is a symmetry at 0. 7!
CURVATURE
Recall that, for a plane curve, the curvature at a point p is 1=r, where r is the radius of the circle that best approximates the curve at p. For a surface in 3-space, the principal curvatures at a point p are the maximum and minimum of the signed curvatures of the curves obtained by cutting the surface with planes through a normal at p (the sign is positive or negative according as the curve bends towards a chosen normal or away from it). Although 3 the principal curvatures depend on the embedding of the surface into R , their product, the sectional curvature at p, does not (Gauss’s Theorema Egregium) and so it is well defined for any two-dimensional riemannian manifold. Intuitively, positive curvature means that the geodesics through a point converge, and negative curvature means that they diverge. The geodesics in the upper half plane are the half-lines and semicircles orthogonal to the real axis. Clearly, they diverge — in fact, this is Poincare’s´ famous model of noneuclidean geometry in which there are infinitely many “lines” through a point parallel to any fixed “line” not containing it. More prosaically, one 1 can compute that the sectional curvature is 1. The Gauss curvature of P .C/ is obviously positive, and that of C= is zero.
More generally, for a point p on a riemannian manifold M of any dimension, one can define the sectional curvature K.p;E/ of the submanifold cut out by the geodesics tangent to a two-dimensional subspace E of TgtpM . If the sectional curvature K.p;E/ is positive (resp. negative, resp. zero) for all p and E, then M is said to have positive (resp. negative, resp. zero) curvature. 10 1 HERMITIAN SYMMETRIC DOMAINS
THETHREETYPESOFHERMITIANSYMMETRICSPACES The group of isometries of a symmetric space .M;g/ has a natural structure of a Lie group4 (Helgason 1978, IV 3.2). For a hermitian symmetric space .M;g/, the group Is.M;g/ of holomorphic isometries is closed in the group of isometries of .M 1;g/ and so is also a Lie group. There are three families of hermitian symmetric spaces (Helgason 1978, VIII; Wolf 1984, 8.7):
name example curvature Is.M;g/C
noncompact type H1 simply connected negative adjoint, noncompact 1 compact type P .C/ simply connected positive adjoint, compact euclidean C= not necessarily s.c. zero Every hermitian symmetric space, when viewed as hermitian manifold, decomposes 0 0 into a product M M M C with M euclidean, M of noncompact type, and M C g of compact type. The euclidean spaces are quotients of a complex space C by a discrete subgroup of translations. A hermitian symmetric space is irreducible if it is not the product of two hermitian symmetric spaces of lower dimension. Both M and M C are products of irreducible hermitian symmetric spaces, each having a simple isometry group. We shall be especially interested in the hermitian symmetric spaces of noncompact type — they are called hermitian symmetric domains.
EXAMPLE 1.2 (SIEGEL UPPER HALF SPACE). The Siegel upper half space Hg of degree g consists of the symmetric complex g g matrices Z X iY with positive-definite D C imaginary part Y . The map Z .zij / .zij /j i identifies Hg with an open subset g.g 1/=2 D 7! of C C . The symplectic group Sp2g .R/ is the group fixing the alternating form Pg Pg i 1 xi y i i 1 x i yi : D D Â Ãˇ t t t t AB ˇ A C C AA D C B Ig Sp2g .R/ ˇ t D t t t D : D CD ˇ D A B C Ig B D D B D D The group Sp2g .R/ acts transitively on Hg by ÂABà Z .AZ B/.CZ D/ 1: CD D C C
0 Ig Á The matrix acts as an involution on H , and has iI as its only fixed point. Thus, Ig 0 g g Hg is homogeneous and symmetric as a complex manifold, and we shall see in 1.4 below that Hg is in fact a hermitian symmetric domain.
Example: Bounded symmetric domains. n A domain D in C is a nonempty open connected subset. It is symmetric if the group Hol.D/ of holomorphic automorphisms of D (as a complex manifold) acts transitively and for some point there exists a holomorphic symmetry. For example, H1 is a symmetric domain and D1 is a bounded symmetric domain. 4Henri Cartan proved that the group of isometries of a bounded domain has a natural structure of a Lie group. Then his father Emil Cartan proved that the group of isometries of a symmetric bounded domain is semisimple (Borel 2001, IV 6). Myers and Steenrod proved that the group of isometries of every riemannian manifold is a Lie group. Example: Bounded symmetric domains. 11
THEOREM 1.3. Every bounded domain has a canonical hermitian metric (called the Berg- man metric).5 Moreover, this metric has negative curvature.
n SKETCHOFPROOF. We ignore convergence questions. Initially, let D be any domain in C . The holomorphic square-integrable functions f D C form a Hilbert space H.D/ with W ! inner product .f g/ R f gdv. The first step is to prove that there is a unique (Bergman j D D N kernel) function K D D C such that W ! (a) the function z K.z;/ lies in H.D/ for each , 7! (b) K.z;/ K.;z/, and D (c) f .z/ R K.z;/f ./dv./ for all f H.D/. D D 2 Let .em/m N be a complete orthonormal set in H.D/, and let 2 X K.z;/ em.z/ em./. D m Obviously K.z;/ K.;z/, and D X Z f .f em/em K. ;/f ./dv./ D m j D (actual equality, not almost-everywhere equality, because the functions are holomorphic). Therefore K satisfies (b) and (c), and we are ignoring (a). Let k be a second function satisfying (a), (b), and (c). Then Z Z k.z;/ K.z;t/k.t;/dv.t/ k.;t/K.z;t/dv.t/ K.z;/; D D D D D which proves the uniqueness. Now assume that D is bounded. Then all polynomial functions on D are square- integrable, and so certainly K.z;z/ > 0 for all z. Moreover, log.K.z;z// is smooth, and
2 def X i j @ h hij dz dz , where hij .z/ logK.z;z/; D N D @zi @zj N is a hermitian metric on D, which can be shown to have negative curvature (Helgason 1978, VIII 3.3, 7.1; Krantz 1982, 1.4). 2
The Bergman metric, being truly canonical, is invariant under the action of Hol.D/. Hence, a bounded symmetric domain becomes a hermitian symmetric domain for the Berg- man metric. Conversely, it is known that every hermitian symmetric domain can be embedded n into some C as a bounded symmetric domain. Therefore, a hermitian symmetric domain D has a unique hermitian metric that maps to the Bergman metric under every isomorphism of D with a bounded symmetric domain. On each irreducible factor, it is a multiple of the original metric.
t EXAMPLE 1.4. Let Dg be the set of symmetric complex matrices such that Ig Z Z N is positive-definite. Note that .zij / .zij /j i identifies Dg as a bounded domain in g.g 1/=2 7! 1 C C . The map Z .Z iIg /.Z iIg / is an isomorphism of Hg onto Dg . 7! C Therefore, Dg is symmetric and Hg has an invariant hermitian metric: they are both hermitian symmetric domains. 5After Stefan Bergmann. When he moved to the United States in 1939, he dropped the second n from his name. 12 1 HERMITIAN SYMMETRIC DOMAINS
Automorphisms of a hermitian symmetric domain
LEMMA 1.5. Let .M;g/ be a symmetric space, and let p M . Then the subgroup Kp of 2 Is.M;g/C fixing p is compact, and
a Kp a p Is.M;g/ =Kp M 7! W C ! is an isomorphism of smooth manifolds. In particular, Is.M;g/C acts transitively on M .
PROOF. For any riemannian manifold .M;g/, the compact-open topology makes Is.M;g/ into a locally compact group for which the stabilizer Kp0 of a point p is compact (Helga- son 1978, IV 2.5). The Lie group structure on Is.M;g/ noted above is the unique such structure compatible with the compact-open topology (ibid. II 2.6). An elementary ar- gument (e.g., MF 1.2) now shows that Is.M;g/=K M is a homeomorphism, and it p0 ! follows that the map a ap Is.M;g/ M is open. Write Is.M;g/ as a finite disjoint F 7! W ! union Is.M;g/ Is.M;g/ ai of cosets of Is.M;g/ . For any two cosets the open sets D i C C Is.M;g/Cai p and Is.M;g/Caj p are either disjoint or equal, but, as M is connected, they must all be equal, which shows that Is.M;g/ acts transitively. Now Is.M;g/ =Kp M C C ! is a homeomorphism, and it follows that it is a diffeomorphism (Helgason 1978, II 4.3a). 2
PROPOSITION 1.6. Let .M;g/ be a hermitian symmetric domain. The inclusions Is.M ;g/ Is.M;g/ Hol.M / 1 give equalities Is.M ;g/ Is.M;g/ Hol.M / : 1 C D C D C Therefore, Hol.M /C acts transitively on M , the stablizer Kp of p in Hol.M /C is compact, and Hol.M / =Kp M . C ' 1 PROOF. The first equality is proved in Helgason 1978, VIII 4.3, and the second can be proved similarly. The rest of the statement follows from Lemma 1.5. 2 Let H be a connected real Lie group with Lie algebra h. There need not be an algebraic group G over R such that G.R/C H . For example, the topological fundamental group of D SL2.R/ is Z, and so SL2.R/ has many proper covering groups, even of finite degree, none 6 of which is algebraic because SL2 is simply connected as an algebraic group. However, if H admits a faithful finite-dimensional representation H, GL.V /, then there exists ! an algebraic group G GL.V / such that Lie.G/ Œh;h (inside gl.V /)(Borel 1991, 7.9). D When H is semisimple, Œh;h h, and so Lie.G/ h. This implies that G.R/C H D D D (inside GL.V /).
PROPOSITION 1.7. Let .M;g/ be a hermitian symmetric domain, and let h denote the Lie algebra of Hol.M /C. There is a unique connected algebraic subgroup G of GL.h/ such that
G.R/C Hol.M /C (inside GL.h//: D For such a G, G.R/C G.R/ Hol.M / (inside GL.h/); D \ therefore G.R/C is the stabilizer in G.R/ of M . 6A connected algebraic group G in characteristic zero is simply connected if every isogeny (surjective homomorphism with finite kernel) G0 G is an isomorphism. Every semisimple algebraic group admits an essentially unique isogeny G G with!G connected and simply connected. Q ! Q The homomorphism up U1 Hol.D/ 13 W !
PROOF. The Lie group Hol.M /C is adjoint (because Is.M;g/C is adjoint), and so the adjoint representation realizes it as a subgroup of GL.h/. The first statement now follows from the above discussion, and the second follows from Satake 1980, 8.5. 2
The algebraic group G in the proposition is adjoint (in particular, semisimple) and G.R/ is not compact. 1 EXAMPLE 1.8. The map z z is an antiholomorphic isometry of H1, and every isometry 7! N 1 of H1 is either holomorphic or differs from z z by a holomorphic isometry. In this case, 7! N G PGL2, and PGL2.R/ acts holomorphically on C R with PGL2.R/C as the stabilizer D X of H1.
The homomorphism up U1 Hol.D/ W ! Let U1 z C z 1 (the circle group). D f 2 j j j D g THEOREM 1.9. Let D be a hermitian symmetric domain. For each p D, there exists a 2 unique homomorphism up U1 Hol.D/ such that up.z/ fixes p and acts on Tgt .D/ as W ! p multiplication by z.
EXAMPLE 1.10. Let p i H1, and let h C SL2.R/ be the homomorphism sending a b D 2 W ! z a ib to b a . Then h.z/ acts on the tangent space Tgti .H1/ as multiplication D C Áˇ 2 2 by z=z, because d az b ˇ a b . For z U , choose a square root pz U , dz bzC a ˇ .a Cbi/2 1 1 N C i D 2 2 and set u.z/ h.pz/ mod I . Then u.z/ is independent of the choice of pz because D ˙ h. 1/ I . Therefore, u is a well-defined homomorphism U1 PSL2.R/ such that u.z/ D ! acts on the tangent space Tgti H1 as multiplication by z. Because of the importance of the theorem, I explain the proof. A riemannian manifold is geodesically complete (or just complete) if every maximal geodesic is defined on the whole of R. PROPOSITION 1.11. Let .M;g/ be a symmetric space.
(a) Let p M . The symmetry sp at p acts as 1 on Tgt .M /, and it sends .t/ to . t/ 2 p for every geodesic with .0/ p. D (b) The pair .M;g/ is geodesically complete.
2 2 PROOF. (a) Because s 1, .dsp/ 1, and so dsp acts semisimply on Tgt M with p D D p eigenvalues 1. Let X be a tangent vector at p and I M the (unique) maximal ˙ W ! geodesic with .0/ p and .0/ X. If .dsp/.X/ X, then sp is a geodesic also with D P D D ı these properties, and so p is not an isolated fixed point of sp. Therefore only 1 occurs as an eigenvalue of dsp. If .dsp/.X/ X, then sp and t . t/ are geodesics through D ı 7! p with initial tangent vector X, and so they are equal. (b) Let I M be a maximal geodesic. If I R, then a symmetry s .t0/ with t0 an W ! ¤ end point of I maps the geodesic to another geodesic through .t0/ extending . This contradicts the maximality of . (See Boothby 1975, VII 8.4.) 2
By a canonical tensor on a symmetric space .M;g/, we mean a tensor fixed by every isometry of .M;g/. Every tensor “canonically derived” from g will be canonical. On a riemannian manifold, there is a well-defined (riemannian) connection, and hence the notion of “parallel translation” of tangent vectors along geodesics. 14 1 HERMITIAN SYMMETRIC DOMAINS
PROPOSITION 1.12. On a symmetric space .M;g/ every canonical r-tensor with r odd is zero. In particular, parallel translation of two-dimensional subspaces does not change the sectional curvature.
PROOF. Let t be a canonical r-tensor. Then
r 1:11 r tp tp .dsp/ . 1/ tp; D ı D and so t 0 if r is odd. For the second statement, let be the riemannian connection, and D r let R be the corresponding curvature tensor (Boothby 1975, VII 3.2, 4.4). Then R is an r odd tensor, and so it is zero. This implies that parallel translation of 2-dimensional subspaces of tangent spaces does not change the sectional curvature. 2
We shall need the notion of the exponential map at a point p of a riemannian manifold .M;g/. For v Tgt .M /, let v Iv M denote the maximal geodesic with v.p/ p 2 p W ! D and .0/ v. Let Dp be the set of v Tgt .M / such that Iv contains 1. Then there is a P D 2 p unique map exp Dp M such that pW !
exp .tv/ v.t/ p D whenever tv Dp. Moreover, exp is smooth on an open neighbourhood U of 0 in Dp. 2 p The map on tangent spaces d exp Tgt .U / Tgt .M / is the canonical isomorphism. p 0 W 0 ! p If M is geodesically complete, then exp0 is defined on the whole of Tgtp.M /. See Lee 1997, Chapter 5.
PROPOSITION 1.13. Let .M;g/ and .M 0;g0/ be riemannian manifolds in which parallel translation of 2-dimensional subspaces of tangent spaces does not change the sectional curva- ture. Let a Tgtp.M / Tgtp .M 0/ be a linear isometry such that K.p;E/ K.p0;aE/ for W ! 0 D every 2-dimensional subspace E Tgtp.M /. Then expp.X/ expp .aX/ is an isometry 7! 0 of a neighbourhood of p onto a neighbourhood of p0.
PROOF. This follows from comparing the expansions of the riemannian metrics in terms of normal geodesic coordinates. See Wolf 1984, 2.3.7. 2
PROPOSITION 1.14. Let .M;g/, .M 0;g0/, and a Tgtp.M / Tgtp .M 0/ be as in 1.13. If W ! 0 M and M 0 are complete, connected, and simply connected, then there is a unique isometry ˛ M M such that ˛.p/ p and .d˛/p a. W ! 0 D 0 D
PROOF. The conditions imply that the locally-defined isometry in 1.13 extends globally — see Wolf 1984, 2.3.12. 2
We now prove Theorem 1.9. Let p D. Each complex number z with z 1 defines 2 j j D an automorphism of the vector space Tgtp.D/ preserving gp, and one checks that it also preserves sectional curvatures. According to Propositions 1.11, 1.12, and 1.14, there exists a unique isometry up.z/ D D fixing p and acting as multiplication by z on Tgt .D/. It is W ! p holomorphic because it is C-linear on the tangent spaces. The isometry up.z/ up.z0/ fixes ı p and acts as multiplication by zz0 on Tgtp.D/, and so it equals up.zz0/. Cartan involutions 15
Cartan involutions
Let G be a connected algebraic group over R, and let g g denote complex conjugation on 7! N G.C/. An involution of G (as an algebraic group over R) is said to be Cartan if the group
./ def G .R/ g G.C/ g .g/ (9) D f 2 j D N g is compact.