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.

Let X be a compact Khler manifold and X a subvariety of X with higher co-dimension. The aim is to study complete constant scalar curvature Khler metrics on non-compact Khler manifold X with Poincar--Mok--Yau asymptotic property (see Definition\ref {def}). In this paper, the methods of Calabi's ansatz and the moment construction are used to provide some special examples of such metrics.

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.

Let X be a compact K\" ahler manifold and X be a simple normal crossing divisor. If X is the support of some effective X -ample divisor, we show <div class="gsh_dspfr"> X