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.

We describe the proof that the period map from the Torelli space of Calabi-Yau manifolds to the classifying space of polarized Hodge structures is an embedding. The proof is based on the constructions of holomorphic affine structure on the Teichmller space and Hodge metric completion of the Torelli space. A canonical global holomorphic section of the holomorphic (n, 0) class on the Teichmller space is constructed.

We introduce the notions of strong local Torelli and T-class for polarized manifolds, and prove that strong local Torelli implies global Torelli theorem on the Torelli spaces for polarized manifolds in the T-class. We discuss many new examples of projective manifolds for which such global Torelli theorem holds. As applications we prove that, in these cases, a canonical completion of the Torelli space is a bounded pseudoconvex domain in complex Euclidean space, and show that generic Torelli implies global Torelli on moduli space with certain level structure.

We prove the existence of global sections trivializing the Hodge bundles on the Hodge metric completion space of the Torelli space of CalabiYau manifolds, a global splitting property of these Hodge bundles. We also prove that a compact CalabiYau manifold can not be deformed to its complex conjugate. These results answer certain open questions in the subject. A general result about certain period map to be bi-holomorphic from the Hodge metric completion space of the Torelli space of CalabiYau type manifolds to their period domains is proved and applied to the cases of K3 surfaces, cubic fourfolds, and hyperkhler manifolds.

In this paper, we first establish an L^ 2-type Dolbeault isomorphism for logarithmic differential forms by Hrmander's L^ 2-estimates. By using this isomorphism and the construction of smooth Hermitian metrics, we obtain a number of new vanishing theorems for sheaves of logarithmic differential forms on compact Khler manifolds with simple normal crossing divisors, which generalize several classical vanishing theorems, including Norimatsu's vanishing theorem, Gibrau's vanishing theorem, Le Potier's vanishing theorem and a version of the Kawamata-Viehweg vanishing theorem.