A high fibered power of a family of varieties of general type dominates a variety of general type

We prove the following theorem: Fibered Power Theorem: Let X\rar B be a smooth family of positive dimensional varieties of general type, with $B$ irreducible. Then there exists an integer $n>0$, a positive dimensional variety of general type $W_n$, and a dominant rational map X^n_B \das W_n.Comment: Latex2e (in latex 2.09 compatibility mode). To get a fun-free version change the `FUN' variable to `n' on the second line (option dedicated to my friend Yuri Tschinkel). Postscript file with color illustration available on http://math.bu.edu/INDIVIDUAL/abrmovic/fibered.p

Positivity of relative canonical bundles and applications

Given a family $f:\mathcal X \to S$ of canonically polarized manifolds, the unique K\"ahler-Einstein metrics on the fibers induce a hermitian metric on the relative canonical bundle $\mathcal K_{\mathcal X/S}$. We use a global elliptic equation to show that this metric is strictly positive on $\mathcal X$, unless the family is infinitesimally trivial. For degenerating families we show that the curvature form on the total space can be extended as a (semi-)positive closed current. By fiber integration it follows that the generalized Weil-Petersson form on the base possesses an extension as a positive current. We prove an extension theorem for hermitian line bundles, whose curvature forms have this property. This theorem can be applied to a determinant line bundle associated to the relative canonical bundle on the total space. As an application the quasi-projectivity of the moduli space $\mathcal M_{\text{can}}$ of canonically polarized varieties follows. The direct images $R^{n-p}f_*\Omega^p_{\mathcal X/S}(\mathcal K_{\mathcal X/S}^{\otimes m})$, $m > 0$, carry natural hermitian metrics. We prove an explicit formula for the curvature tensor of these direct images. We apply it to the morphisms $S^p \mathcal T_S \to R^pf_*\Lambda^p\mathcal T_{\mathcal X/S}$ that are induced by the Kodaira-Spencer map and obtain a differential geometric proof for hyperbolicity properties of $\mathcal M_{\text{can}}$.Comment: Supercedes arXiv:0808.3259v4 and arXiv:1002.4858v2. To appear in Invent. mat

On the monodromy of the moduli space of Calabi-Yau threefolds coming from eight planes in P3\mathbb{P}^3

It is a fundamental problem in geometry to decide which moduli spaces of polarized algebraic varieties are embedded by their period maps as Zariski open subsets of locally Hermitian symmetric domains. In the present work we prove that the moduli space of Calabi-Yau threefolds coming from eight planes in $\mathbb{P}^3$ does {\em not} have this property. We show furthermore that the monodromy group of a good family is Zariski dense in the corresponding symplectic group. Moreover, we study a natural sublocus which we call hyperelliptic locus, over which the variation of Hodge structures is naturally isomorphic to wedge product of a variation of Hodge structures of weight one. It turns out the hyperelliptic locus does not extend to a Shimura subvariety of type III (Siegel space) within the moduli space. Besides general Hodge theory, representation theory and computational commutative algebra, one of the proofs depends on a new result on the tensor product decomposition of complex polarized variations of Hodge structures.Comment: 26 page

Characterization of the 4-canonical birationality of algebraic threefolds

In this article we present a 3-dimensional analogue of a well-known theorem of E. Bombieri (in 1973) which characterizes the bi-canonical birationality of surfaces of general type. Let $X$ be a projective minimal 3-fold of general type with $\mathbb{Q}$-factorial terminal singularities and the geometric genus $p_g(X)\ge 5$. We show that the 4-canonical map $\phi_4$ is {\it not} birational onto its image if and only if $X$ is birationally fibred by a family $\mathscr{C}$ of irreducible curves of geometric genus 2 with $K_X\cdot C_0=1$ where $C_0$ is a general irreducible member in $\mathscr{C}$.Comment: 25 pages, to appear in Mathematische Zeitschrif

Differential Forms on Log Canonical Spaces

The present paper is concerned with differential forms on log canonical varieties. It is shown that any p-form defined on the smooth locus of a variety with canonical or klt singularities extends regularly to any resolution of singularities. In fact, a much more general theorem for log canonical pairs is established. The proof relies on vanishing theorems for log canonical varieties and on methods of the minimal model program. In addition, a theory of differential forms on dlt pairs is developed. It is shown that many of the fundamental theorems and techniques known for sheaves of logarithmic differentials on smooth varieties also hold in the dlt setting. Immediate applications include the existence of a pull-back map for reflexive differentials, generalisations of Bogomolov-Sommese type vanishing results, and a positive answer to the Lipman-Zariski conjecture for klt spaces.Comment: 72 pages, 6 figures. A shortened version of this paper has appeared in Publications math\'ematiques de l'IH\'ES. The final publication is available at http://www.springerlink.co

Anti-Pluricanonical Systems On Q-Fano Threefolds

We investigate birationality of the anti-pluricanonical map $\phi_{-m}$, the rational map defined by the anti-pluricanonical system $|-mK|$, on $\mathbb{Q}$-Fano threefolds.Comment: 18 page

Small bound for birational automorphism groups of algebraic varieties (with an Appendix by Yujiro Kawamata)

We give an effective upper bound of |Bir(X)| for the birational automorphism group of an irregular n-fold (with n = 3) of general type in terms of the volume V = V(X) under an ''albanese smoothness and simplicity'' condition. To be precise, |Bir(X)| < d_3 V^{10}. An optimum linear bound |Bir(X)|-1 < (1/3)(42)^3 V is obtained for those 3-folds with non-maximal albanese dimension. For all n > 2, a bound |Bir(X)| < d_n V^{10} is obtained when alb_X is generically finite, alb(X) is smooth and Alb(X) is simple.Comment: Mathematische Annalen, to appea

A characterization of varieties whose universal cover is a bounded symmetric domain without ball factors

We give two characterizations of varieties whose universal cover is a bounded symmetric domain without ball factors in terms of the existence of a holomorphic endomorphism $s$ of the tensor product $T\otimes T'$ of the tangent bundle $T$ with the cotangent bundle $T'$. To such a curvature type tensor \s one associates the first Mok characteristic cone $CS$, obtained by projecting on $T$ the intersection of $ker (s)$ with the space of rank 1 tensors. The simpler characterization requires that the projective scheme associated to $CS$ be a finite union of projective varieties of given dimensions and codimensions in their linear spans which must be skew and generat

A characterization of varieties whose universal cover is the polydisk or a tube domain

In this article we give necessary and sufficient conditions, in terms of certain tensors called semispecial tensors, respectively slope zero tensors, in order that the universal covering of a complex projective manifold be a symmetric domain of tube type. As an application, we give precisions of a result of Kazhdan showing that a Galois conjugate of such a manifold has the same universal coverin

Finite Generation of Canonical Ring by Analytic Method

In the 80th birthday conference for Professor LU Qikeng in June 2006 I gave a talk on the analytic approach to the finite generation of the canonical ring for a compact complex algebraic manifold of general type. This article is my contribution to the proceedings of that conference from my talk. In this article I give an overview of the analytic proof and focus on explaining how the analytic method handles the problem of infinite number of interminable blow-ups in the intuitive approach to prove the finite generation of the canonical ring. The proceedings of the LU Qikeng conference will appear as Issue No. 4 of Volume 51 of Science in China Series A: Mathematics (www.springer.com/math/applications/journal/11425)