Involutions and linear systems on holomorphic symplectic manifolds

A K3 surface with an ample divisor of self-intersection 2 is a double cover of the plane branched over a sextic curve. We conjecture that similar statement holds for the generic couple (X, H) with X a deformation of (K3)^[n] and H an ample divisor of square 2 for Beauville’s quadratic form. If n = 2 then according to the conjecture X is a double cover of a singular) sextic 4-fold in It follows from the conjecture that a deformation of (K3)^[n] carrying a divisor (not necessarily ample) of degree 2 has an anti-symplectic birational involution. We test the conjecture. In doing so we bump into some interesting geometry: examples of two antisymplectic involutions generating an interesting dynamical system, a case Strange duality and what is probably an involution on the moduli space degree-2 quasi-polarized (X, H) where X is a deformation of (K3)^[2]. Received: June 2004 Revision: December 2004 Accepted: January 2005     

Termination of (many) 4-dimensional log flips

We prove that any sequence of 4-dimensional log flips that begins with a klt pair (X,D) such that -(K _X +D) is numerically equivalent to an effective divisor, terminates. This implies termination of flips that begin with a log Fano pair and termination of flips in a relative birational setting. We also prove termination of directed flips with big K _X +D. As a consequence, we prove existence of minimal models of 4-dimensional dlt pairs of general type, existence of 5-dimensional log flips, and rationality of Kodaira energy in dimension 4.     

Threefolds with big and nef anticanonical bundles II

In a follow-up to our paper [Threefolds with big and nef anticanonical bundles I, Math. Ann., 2005, 333(3), 569–631], we classify smooth complex projective threefolds Xwith −K _X big and nef but not ample, Picard number γ(X) = 2, and whose anticanonical map is small. We assume also that the Mori contraction of X and of its flop X ⁺ are not both birational.     

A survey on Cox rings

We survey the construction of the Cox ring of an algebraic variety X and study the birational geometry of X when its Cox ring is finitely generated. Basic notation. Throughout this paper k is an algebraically closed field.     

Holomorphic and algebraic vector bundles on 0-convex algebraic surfaces

LetX be a smooth complex algebraic surface such that there is a proper birational morphism/:X → Y withY an affine variety. Let X_hol be the 2-dimensional complex manifold associated toX. Here we give conditions onX which imply that every holomorphic vector bundle onX is algebraizable and it is an extension of line bundles. We also give an approximation theorem of holomorphic vector bundles on X_hol (X normal algebraic surface) by algebraic vector bundles.     

On the bicanonical map of a surface section of a threefold

Let (ℳ, ℒ) be a 3-fold of log-general type polarized by a very ample line bundle ℒ. We study the pairs (ℳ, ℒ) in the case when there exists at least one smooth surface Ŝ ∈ |ℒ| such that the bicanonical map associated to |2K_Ŝ| is not birational. As one consequence of our classification we obtain the result:if a smooth projective threefold has non- negative Kodaira dimension, then given any smooth very ample divisor Ŝon the threefold, the bicanonical map associated to |2K_Ŝ|is birational.     

On Macaulayfication of sheaves

Let X be a quasi-projective scheme and ℱ a coherent sheaf of modules over X such that its non-Cohen–Macaulay locus is at most one dimensional. We use and extend the techniques of Brodmann to construct proper birational morphisms of quasi-projective schemes f:Y→X and Cohen–Macaulay coherent sheaves of modules over Y that are isomorphic to the pull-back of ℱ away from the exceptional locus of f. Certain blow-ups of X at locally complete intersections subschemes which contain non-reduced scheme structures on the non-Cohen–Macaulay locus of ℱ are the main part of the construction. Received: 19 February 1998 / Revised version: 28 December 1998     

Some remarks on the study of good contractions

LetX be a complex projective variety with log terminal singularities admitting an extremal contraction in terms of Minimal Model Theory, i.e. a projective morphism φ:X→Z onto a normal varietyZ with connected fibers which is given by a (high multiple of a) divisor of the typeK _x+rL, wherer is a positive rational number andL is an ample Cartier divisor. We first prove that the dimension of anu fiberF of φ is bigger or equal to (r-1) and, if φ is birational, thatdimF≥r, with the equalities if and only ifF is the projective space andL the hyperplane bundle (this is a sort of “relative” version of a theorem of Kobayashi-Ochiai). Then we describe the structure of the morphism φ itself in the case in which all fibers have minimal dimension with the respect tor. If φ is a birational divisorial contraction andX has terminal singularities we prove that φ is actually a “blow-up”.     

Stable base loci, movable curves, and small modifications, for toric varieties

We show that the dual of the cone of divisors on a complete -factorial toric variety X whose stable base loci have dimension less than k is generated by curves on small modifications of X that move in families sweeping out the birational transforms of k-dimensional subvarieties of X. We give an example showing that it does not suffice to consider curves on X itself. Supported by a Graduate Research Fellowship from the NSF     

Varieties with P3 = 3 and q = dim(X)

We prove that if X is a complex projective variety with P₃(X) = 3 and q(X) = dim(X), then X is birational to a bidouble cover of A(X). (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Birational composition of quadratic forms over a local field

Let f(X) and g(Y) be nondegenerate quadratic forms of dimensions m and n, respectively, over K, char K ≠ 2. The problem of birational composition of f(X) and g(Y) is considered: When is the product f(X) · g(Y) birationally equivalent over K to a quadratic form h(Z) over K of dimension m + n? The solution of the birational composition problem for anisotropic quadratic forms over K in the case of m = n = 2 is given. The main result of the paper is the complete solution of the birational composition problem for forms f(X) and g(Y) over a local field P, char P ≠ 2.     

Moduli of (1, 7)–Polarized Abelian Surfaces via Syzygies

We prove that the moduli space X(1,7) of (1,7)–polarized abelian surfaces with canonical level–structure is birational to the Fano 3–fold V₂₂ of polar hexagons of the Klein quartic (7). In particular X(1,7) is rational and the birational map to ℙ³ is defined over ℚ. As a byproduct we obtain explicitely the equations of the (1,7)–very–ample–polarized abelian surfaces embedded in ℙ⁶.     

Abel maps of Gorenstein curves

Abstract  For a Gorenstein curve X and a nonsingular point P∈ X, we construct Abel maps and , where J_Xⁱ is the moduli scheme for simple, torsion-free, rank-1 sheaves on X of degree i. The image curves of A and A_P are shown to have the same arithmetic genus of X. Also, A and A_P are shown to be embeddings away from rational subcurves L⊂ X meeting in separating nodes. Finally we establish a connection with Seshadri’s moduli scheme U_X(1) for semistable, torsion-free, rank-1 sheaves on X, obtaining an embedding of A(X) into U_X(1). Keywords Abel map, Torsion-free rank-1 sheaf, Compactified Jacobian, Gorenstein singularity Mathematics Subject Classification (2000) 14H40, 14H60     

Adjoints and pluricanonical adjoints to an algebraic hypersurface

. We develop the theory of canonical and pluricanonical adjoints, of global canonical and pluricanonical adjoints, and of adjoints and global adjoints to an irreducible, algebraic hypersurface V?? ⁿ , under certain hypotheses on the singularities of V. We subsequently apply the results of the theory to construct a non-singular threefold of general type X, desingularization of a hypersurface V of degree six in ?⁴, having the birational invariants q ₁=q ₂=p _g =0, P ₂=P ₃=5. We demonstrate that the bicanonical map ? _|2KX| is birational and finally, as a consequence of the Riemann–Roch theorem and vanishing theorems, we prove that any non-singular model Y, birationally equivalent to X, has the canonical divisors K _Y that do not (simultaneously) satisfy the two properties: (K _Y ³)>0 and K _Y numerically effective.     

Rational curves in CICYs in products of two projective spaces

Let X be the product of two projective spaces and consider the general CICY threefold Y in X with configuration matrix A. We prove the finiteness part of the analogue of the Clemens’ conjecture for such a CICY in low bidegrees. More precisely, we prove that the number of smooth rational curves on Y with low bidegree and with nondegenerate birational projection is at most finite (even in cases in which positive dimensional families of degenerate rational curves are known).     

The two-well problem in three dimensions

We study properties of generalized convex hulls of the set with . If K contains no rank-1 connection we show that the quasiconvex hull of K is trivial if H belongs to a certain (large) neighbourhood of the identity. We also show that the polyconvex hull of K can be nontrivial if H is sufficiently far from the identity, while the (functional) rank-1 convex hull is always trivial. If the second well is replaced by a point then the polyconvex hull is trivial provided that there are no rank-1 connections. Received: March 25, 1999 / Accepted: April 23, 1999     

Global Smoothing of Calabi–Yau Threefolds II

The moduli spaces of Calabi–Yau threefolds are conjectured to be connected by the combination of birational contraction maps and flat deformations. In this context, it is important to calculate dim Def(X) from dim Def(~X) in terms of certain geometric information of f, when we are given a birational morphism f:~XX from a smooth Calabi–Yau threefold ~X to a singular Calabi–Yau threefold X. A typical case of this problem is a conjecture of Morrison-Seiberg which originally came from physics. In this paper we give a mathematical proof to this conjecture. Moreover, by using output of this conjecture, we prove that certain Calabi–Yau threefolds with nonisolated singularities have flat deformations to smooth Calabi–Yau threefolds. We shall use invariants of singularities closely related to Du Bois's work to calculate dim Def(X) from dim Def(~X).     

Characterization of abelian varieties

We prove that any smooth complex projective variety X with plurigenera P ₁(X)=P ₂(X)=1 and irregularity q(X)=dim(X) is birational to an abelian variety. Oblatum 26-V-1999 & 13-VI-2000?Published online: 11 October 2000     

The topology of moduli spaces of group representations: The case of compact surface

Let G be a connected complex semisimple affine algebraic group, and let K be a maximal compact subgroup of G. Let X be a noncompact oriented surface. The main theorem of Florentino and Lawton (2009) [3] says that the moduli space of flat K-connections on X is a strong deformation retraction of the moduli space of flat G-connections on X. We prove that this statement fails whenever X is compact of genus at least two.