The study of affine Deligne-Lusztig varieties originally arose from arithmetic geometry, but many problems on affine Deligne-Lusztig varieties are purely Lie-theoretic in nature. This survey deals with recent progress on several important problems on affine Deligne-Lusztig varieties. The emphasis is on the Lie-theoretic aspect, while some connections and applications to arithmetic geometry will also be mentioned.

In this paper, we study the <i></i>-ordinary locus of a Shimura variety with parahoric level structure. Under the axioms in [12], we show that <i></i>-ordinary locus is a union of certain maximal EkedahlKottwitzOortRapoport strata introduced in [12] and we give criteria on the density of the <i></i>-ordinary locus.

We study variants of the local models constructed by the second author and Zhu and consider corresponding integral models of Shimura varieties of abelian type. We determine all cases of good, resp. of semi-stable, reduction under tame ramification hypotheses.

This volume contains the written account of the Bonn seminar on arith-metic geometry 2003/2004. It gives a coherent exposition of the theory of intersections of modular correspondences. The focus of the seminar is the formula for the intersection number of arithmetic modular correspondences due to Gross and Keating. Other topics treated are Hurwitz's theorem on the intersection of modular correspondences over the field of complex numbers, and the relation of the arithmetic intersection numbers to Fourier coefficients of Siegel-Eisenstein series. Also included is background material on one-dimensional formal groups and their endomorphisms, and on quadratic forms over the ring of p-adic integers.

Let X be an equivariant embedding of a connected reductive group X over an algebraically closed field X of positive characteristic. Let X denote a Borel subgroup of X . A X -Schubert variety in X is a subvariety of the form $\diag (G)\cdot V $, where X is a X -orbit closure in X . In the case where X is the wonderful compactification of a group of adjoint type, the X -Schubert varieties are the closures of Lusztig's X -stable pieces. We prove that X admits a Frobenius splitting which is compatible with all X -Schubert varieties. Moreover, when X is smooth, projective and toroidal, then any X -Schubert variety in X admits a stable Frobenius splitting along an ample divisors. Although this indicates that X -Schubert varieties have nice singularities we present an example of a non-normal X -Schubert variety in the wonderful compactification of a group of type X . Finally we also extend the Frobenius splitting results to the more general class of X -Schubert varieties.