We study the intermediate extension of the character sheaves on an adjoint group to the semi-stable locus of its wonderful compactification. We show that the intermediate extension can be described by a direct image construction. As a consequence, we show that the ordinary restriction of a character sheaf on the compactification to a semi-stable stratum is a shift of semisimple perverse sheaf and is closely related to Lusztig's restriction functor (from a character sheaf on a reductive group to a direct sum of character sheaves on a Levi subgroup). We also provide a (conjectural) formula for the boundary values inside the semi-stable locus of an irreducible character of a finite group of Lie type, which gives a partial answer to a question of Springer (2006) [21]. This formula holds for Steinberg character and characters coming from generic character sheaves. In the end, we verify Lusztig's conjecture Lusztig (2004) [16

Spin polynomial invariants, as denned by Pidstrigatch and Tyurin, are used to define differentiable invariants for Dolgachev surfaces. In order to define and compute these invariants, some machinery is developed to study the wall structure for Spin polynomials, to deal with the fact that the moduli spaces have the wrong dimension and to handle nonreduced structures. The invariants are then computed.

In this note, we give a list of Calabi-Yau hypersurfaces in weighted projective 4-spaces with the property that a hypersurface contains naturally a pencil of K3 variety. For completeness we also obtain a similar list in the case K3 hypersurfaces in weighted projective 3-spaces. The first list significantly enlarges the list of K3-fibrations of\KlemmLercheMayr~ which has been obtained on some assumptions on the weights. Our lists are expected to correspond to examples of the so-called heterotic-type II duality\KachruVafa\KachruSilverstein.

A classical set of birational invariants of a variety are its spaces of pluricanonical forms and some of their canonically defined subspaces. Each of these vector spaces admits a typical metric structure which is also birationally invariant. These vector spaces so metrized will be referred to as the pseudonormed spaces of the original varieties. A fundamental question is the following: Given two mildly singular projective varieties with some of the first variety9s pseudonormed spaces being isometric to the corresponding ones of the second variety9s, can one construct a birational map between them that induces these isometries? In this work, a positive answer to this question is given for varieties of general type. This can be thought of as a theorem of Torelli type for birational equivalence.

Due to the orbifold singularities, the intersection numbers on the moduli space of curves Mg, n are in general rational numbers rather than integers. We study the properties of the denominators of these intersection numbers and their relationship with the orders of automorphism groups of stable curves. We also present a conjecture about a multinomial type numerical property for a general class of Hodge integrals.