Notes from my 2005 ISM course:
These are all the notes I typed up for my 2005 ISM course on Shimura
varieties. In the lectures, I presented more material on Hilbert and
Siegel modular varieties, adelic double coset constructions, and strong
approximation than has survived in the lecture notes. Most of the
omitted material is of a rather standard sort -- it appears in many
places -- which is not to say that it shouldn't appear here as well.
The reader will notice that the notes are significantly more polished
at the beginning and the end than in the middle. I am quite pleased
with the very last lecture, which seems to put some of the pieces of
the theory together in a new way. I would like to see more detail on
arithmetic groups and lots more detail on quaternion orders and trace
formulas. Inevitably for notes of this length, the most important
results -- like the existence of rational and integral canonical models
-- get stated and kicked around a bit but not proved. To remedy this
will require significantly more work.
Lecture 10: Integral structures, genera and class numbers.
(pdf)
(I do not have any good explanation for the bizarre numbering. In
actuality there were many more than 12 lectures, and there was nothing
exceptional about the lecture I gave on linear algebraic groups, except
that when I defined unipotent groups one of the attendees had the guts
and honesty to ask, "What is the point of all this?" The point is that
you need to know about a whole lot of different things to understand
the definition of a Shimura variety!)
Field Invariants
On some elementary invariants of fields.
(pdf) These
notes, mostly written after I attended the 2003 Arizona Winter School
on model theory and arithmetic, give a sort of introduction to the
model theory of fields (assuming, unfortunately, that you know some
model theory and some arithmetic geometry and have somehow never
managed to combine them!). The point of departure is the search for
"invariants" of elementarily equivalent fields. Among other things, I
point out that a standard conjecture relating period and index in the
Brauer group would play the same role as the Milnor Conjecture did in
defining the transcendence degree of an absolutely finitely generated
field. But I picked a bad time to try an exposition on the model theory
of fields: since this paper has been written, Scanlon has proven the
equivalence of elementary equivalence and isomorphism for finitely
generated fields of characteristic zero, and Poonen and Pop have
presented much stronger definability results than the ones I discuss in
Section 2. Perhaps someday I will update the exposition to include
these exciting recent results.
Uniform Distribution
Some (unpolished) notes on uniform distribution.
(pdf)
These are notes on the basics of uniform distribution of sequences, taken on occasion
of studying the very nice book on this topic by Kuipers and Niederreiter. The notes
are incomplete, not including a full-blown treatment of uniform distribution in a compact (or locally compact) group.
Set Theory
All the set theory I have ever needed to know. Most
of the time, most of us don't need to know more about set theory than
the distinction between finite, countably infinite, and uncountable
sets. But once in a while it's nice to know a little bit more: e.g. the
least uncountable ordinal comes up in topology, or your colleague asks
you for a counterexample to the variant of Zorn's Lemma with "chain"
replaced by "countable chain." But it is hard to find a treatment of
set theory that goes a little beyond Halmos' Naive Set Theory or Kaplansky's Set Theory and Metric Spaces
(both excellent texts) but that isn't off-puttingly foundational and/or
axiomatic (i.e., that treats set theory as mathematics, rather than a
confusing amalgamation of mathematics and meta-mathematics). For
instance, the standard axioms only allow the elements of sets to
themselves be sets (so that, e.g., mathematicians do not form a set)
and forbid a set from containing itself, although neither of these
options seem logically contradictory. But assuming that we are only
interested in sets up to equivalence (i.e., bijection), it doesn't
matter -- a trick of von Neumann allows us to put any set containing
"individuals" and perhaps containing itself into bijection with a
"pure" set that does not have either of these properties. I wish
someone had told me this a long time ago! So, you guessed it, I am
writing up my own notes. Chapter 1: Finite, countable and uncountable sets.
(pdf)
Chapter 2: Order and Arithmetic of Cardinalities.
(pdf)
Chapter 3: Ordinalities and their arithmetic; von Neumann's ordinals and cardinals.
(pdf)
Chapter 4: Existence and Number of Structures of a Given Cardinality.
General Topology
Like Set Theory, this is a topic that most of us will not get much
exposure to after the age of 19 or 20. When I was at that age, it
seemed obvious that the useful parts were the metrization and embedding
theorems, and especially, the key was to show that manifolds can be
embedded in R^n. Now, as a grown-up who wishes to do research in
algebra and algebraic geometry, exactly the parts of topology that
seemed most weird to me back then seem most useful now: nets,
ultra/filters and the Stone-Cech compactification, Boolean spaces,
spaces which are T_0 but usually not T_1 (e.g. spectral spaces), and
especially uniform spaces. I have begun to take notes on these "weird
bits" of general topology (admittedly much of this material can be
found in Kelley's book, if one is willing to do the exercises).
1: The Notion of a Topological Space; 2: Alternate Characterizations of Topological Spaces.
(pdf)
Nothing much to see yet, I'm afraid.