We use the Atiyah-Bott-Segal-Singer Lefschetz fixed point formula to calculate the Hirzebruch ?_y genus X_y(S^[n]), where S^[n] is the Hilbert scheme of points of length n of a surface S. Combinatorial interpretation of the weights of the fixed points of the natural torus action on (²)^[n] is used. This is the first step to prove a conjectural formula about the elliptic genus of the Hilbert schemes.

This paper is a contribution to the general problem of giving an explicit description of the basic locus in the reduction modulo p of Shimura varieties. Motivated by\cite {Vollaard-Wedhorn} and\cite {Rapoport-Terstiege-Wilson}, we classify the cases where the basic locus is (in a natural way) the union of classical Deligne-Lusztig sets associated to Coxeter elements. We show that if this is satisfied, then the Newton strata and Ekedahl-Oort strata have many nice properties.

In [LL-Y1, III: Sec. 5.4] on mirror principle, a method was developed to compute the integral \int_ {X} ^{st} e^{H\cdot t}\cap {\mathbf 1} _d for a flag manifold $ X=\Fl_ {r_1,..., r_I}({\Bbb C}^ n) $ via an extended mirror principle diagram. This method turns the required localization computation on the augmented moduli stack $\bar {\cal M} _ {0, 0}(\CP^ 1\times X) $ of stable maps to a localization computation on a hyper-Quot-scheme $\HQuot ({\cal E}^ n) $. In this article, the detail of this localization computation on $\HQuot ({\cal E}^ n) $ is carried out. The necessary ingredients in the computation, notably, the \int_ {X} ^{st} e^{H\cdot t}\cap {\mathbf 1} _d -fixed-point components and the distinguished ones \int_ {X} ^{st} e^{H\cdot t}\cap {\mathbf 1} _d in $\HQuot ({\cal E}^ n) $, the \int_ {X} ^{st} e^{H\cdot t}\cap {\mathbf 1} _d -equivariant Euler class of \int_ {X} ^{st} e^{H\cdot t}\cap {\mathbf 1} _d in $\HQuot ({\cal E}^ n) $, and a push-forward formula of cohomology classes involved in the problem from the total space of a restrictive flag manifold bundle to its base manifold are given. With these, an exact expression of \int_ {X} ^{st} e^{H\cdot t}\cap {\mathbf 1} _d is obtained. Comments on the Hori-Vafa conjecture are given in the end.

No abstract uploaded!

I will discuss results of three different types in geometry and topology.(1) General vanishing and rigidity theorems of elliptic genera proved by using modular forms, Kac-Moody algebras and vertex operator algebras.(2) The computations of intersection numbers of the moduli spaces of flat connections on a Riemann surface by using heat kernels.(3) The mirror principle about counting curves in Calabi-Yau and general projective manifolds by using hypergeometric series.