Revised version 2017.
Published version 2005.
Original posted version 2004.
This article is an introduction to the theory of Shimura varieties or,
in other words, the arithmetic theory of automorphic functions and
holomorphic automorphic forms. In the revised version, the numbering
is unchanged from the original published version except for displays.
Hermitian symmetric domains; Hodge structures and their classifying
spaces; locally symmetric varieties; connected Shimura varieties;
Shimura varieties; the Siegel modular variety; Shimura varieties of
Hodge type; PEL Shimura varieties; general Shimura varieties; complex
multiplication (the Shimura-Taniyama formula and the main theorem);
definition of canonical models; uniqueness of canonical models;
existence of canonical models; abelian varieties over finite fields;
the good reduction of Shimura varieties; a formula for the number of
points. Appendices: complements; list of Shimura varieties of abelian type;
review of Shimura's collected works.
These are my notes for a series of fifteen lectures at the Clay Summer
School, Fields Institure, 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 (James Arthur, Robert Kottwitz, Editors) 265--378,
Clay Math. Proc., 4, Amer. Math. Soc., Providence, RI 2005.
The notes were revised in 2017.
Introduction to the revised version (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
The theory of Shimura varieties originated with the theory 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