Showing papers in "arXiv: Algebraic Geometry in 1999"

Semi-continuity of complex singularity exponents and K\"ahler-Einstein metrics on Fano orbifolds

Abstract: We introduce complex singularity exponents of plurisubharmonic functions and prove a general semi-continuity result for them. This concept contains as a special case several similar concepts which have been considered e.g. by Arnold and Varchenko, mostly for the study of hypersurface singularities. The plurisubharmonic version is somehow based on a reduction to the algebraic case, but it also takes into account more quantitative informations of great interest for complex analysis and complex differential geometry. We give as an application a new derivation of criteria for the existence of K\"ahler-Einstein metrics on certain Fano orbifolds, following Nadel's original ideas (but with a drastic simplication in the technique, once the semi-continuity result is taken for granted). In this way, 3 new examples of rigid K\"ahler-Einstein Del Pezzo surfaces with quotient singularities are obtained.

Torification and Factorization of Birational Maps

Abstract: Building on the work of the fourth author in math.AG/9904074, we prove the weak factorization conjecture for birational maps in characteristic zero: a birational map between complete nonsingular varieties over an algebraically closed field K of characteristic zero is a composite of blowings up and blowings down with smooth centers. Such a factorization exists which is functorial with respect to absolute isomorphisms, and compatible with a normal crossings divisor. The same holds for algebraic and analytic spaces. Another proof of the main theorem by the fourth author appeared in math.AG/9904076.

On the Cobordism Class of the Hilbert Scheme of a Surface

Abstract: Let S be a smooth projective surface and S [n] the Hilbert scheme of zerodimensional subschemes of S of length n. We proof that the class of S [n] in the complex cobordism ring depends only on the class of the surface itself. Moreover, we compute the cohomology and holomorphic Euler characteristics of certain tautological sheaves on S [n] and prove results on the general structure of certain integrals over polynomials in Chern classes of tautological sheaves. Let S be a smooth projective surface over the field of complex numbers. For a nonnegative integer n let S [n] denote the Hilbert scheme parameterizing zerodimensional subschemes of length n. By a well-known result of Fogarty [10] the scheme S [n] is smooth and projective of dimension 2n, and is irreducible if S is irreducible. Let = U ⊗ Q be the complex cobordism ring with rational coefficients. Milnor [20] showed that is a polynomial ring freely generated by the cobordism classes [CPi] for i ∈ N. For a smooth and projective complex surface we define

A Conjectural Description of the Tautological Ring of the Moduli Space of Curves

Abstract: We formulate a number of conjectures giving a rather complete description of the tautological ring of M g and we discuss the evidence for these conjectures.

Mirror Principle II

Abstract: We generalize our theorems in "Mirror Principle I" to a class of balloon manifolds. Many of the results are proved for convex projective manifolds. In a subsequent paper, Mirror Principle III, we will extend the results to projective manifolds without the convexity assumption.

Hypergeometric functions and mirror symmetry in toric varieties

Abstract: We study aspects related to Kontsevich's homological mirror symmetry conjecture in the case of Calabi-Yau complete intersections in toric varieties. In a 1996 lecture at Rutgers University, Kontsevich indicated how his proposal implies that the groups of automorphisms of the two types of categories involved in the homological mirror symmetry conjecture should also be identified. Our main results provide an explicit geometric construction of the correspondence between the automorphisms of the two types of categories.

The McKay correspondence for finite subgroups of SL (3, C)

Abstract: This is the final draft, containing very minor proof-reading corrections. Let G in SL(n,\C) be a finite subgroup and \fie: Y -> X = \C^n/G any resolution of singularities of the quotient space. We prove that crepant exceptional prime divisors of Y correspond one-to-one with ``junior'' conjugacy classes of G. When n = 2 this is a version of the McKay correspondence (with irreducible representations of G replaced by conjugacy classes). In the case n = 3, a resolution with K_Y = 0 is known to exist by work of Roan and others; we prove the existence of a basis of H^*(Y, \Q) by algebraic cycles in one-to-one correspondence with conjugacy classes of G. Our treatment leaves lots of open problems.

Construction of central elements in the affine Hecke algebra via nearby cycles

Abstract: Let $G$ be a reductive group, let $Gr=G((t))/G[[t]]$ be the corresponding affine Grassmannian and let $Fl=G((t))/I$ be the affine flag variety. We construct, following an idea of Belinson, a 1-parametric deformation of the product $Gr\times G/B$ to $Fl$. We use this construction to produce perverse sheaves on $Fl$ which are central with respect to the convolution product from spherical perverse sheaves on $Gr$.

Characterization of Abelian Varieties

Abstract: We prove that any smooth complex projective variety $X$ with plurigenera $P_1(X)=P_2(X)=1$ and irregularity $q(X)=dim (X)$ is birational to an abelian variety.

Mukai implies McKay: the McKay correspondence as an equivalence of derived categories

Abstract: Let G be a finite group of automorphisms of a nonsingular complex threefold M such that the canonical bundle omega_M is locally trivial as a G-sheaf. We prove that the Hilbert scheme Y=GHilb M parametrising G-clusters in M is a crepant resolution of X=M/G and that there is a derived equivalence (Fourier- Mukai transform) between coherent sheaves on Y and coherent G-sheaves on M. This identifies the K theory of Y with the equivariant K theory of M, and thus generalises the classical McKay correspondence. Some higher dimensional extensions are possible.

Brauer groups and quotient stacks

Abstract: A natural question is to determine which algebraic stacks are qoutient stacks. In this paper we give some partial answers and relate it to the old question of whether, for a scheme X, the natural map from the Brauer goup (equivalence classes of Azumaya algebras) to the cohomological Brauer group (the torsion subgroup of $H^2(X,{\mathbb G}_m)$ is surjective.

Toroidal varieties and the weak Factorization Theorem

Abstract: The main goal of the present paper is two-fold. First we extend the theory of toroidal embeddings introduced by Kempf, Knudsen, Mumford and Saint-Donat to the class of toroidal varieties with stratifications (which is the main body of the paper). Second we give a proof of the following weak factorization theorem as an application and illustration of the theory: A birational map between complete nonsingular varieties over an algebraically closed field K of characteristic zero is a composite of blow ups and blow downs with smooth centers. Another proof of the weak factorization theorem appeared in a joint paper with Abramovich, Karu and Matsuki (math.AG/9904135) In that paper the theorem is stated and proven in general for proper algebraic and analytic spaces.

The projective geometry of Freudenthal's magic square

Abstract: We connect the algebraic geometry and representation theory associated to Freudenthal's magic square. We give unified geometric descriptions of several classes of orbit closures, describing their hyperplane sections and desingularizations, and interpreting them in terms of composition algebras. In particular, we show how a class of invariant quartic polynomials can be viewed as generalizations of the classical discriminant of a cubic polynomial.

Basepoint freeness for nef and big line bundles in positive characteristic

Abstract: A necessary and sufficient condition is given for semi-ampleness of a numerically effective (nef) and big line bundle in positive characteristic. One application is to the geometry of the universal stable curve over M_g, specifically, the semi-ampleness of the relative dualizing sheaf, in positive characteristic. An example is given which shows this and the semi-ampleness criterion fail in characteristic zero. A second application is to Mori's program for minimal models of 3-folds in positive characteristic, namely, to the existence of birational extremal contractions.

Model category structures on chain complexes of sheaves

Abstract: In this paper, we try to realize the unbounded derived category of an abelian category as the homotopy category of a Quillen model structure on the category of unbounded chain complexes. We construct such a model structure based on injective resolutions for an arbitrary Grothendieck category, as has apparently also been done by Morel. In particular, this works for sheaves on a ringed space, and for quasi-coherent sheaves on a quasi-compact, quasi-separated scheme. However, this injective model structure is not well suited to studying the derived tensor product, so we investigate other model structures. The most successful of these is the flat model structure on complexes of sheaves over a ringed space. This is based on flat resolutions, and is compatible with the tensor product. As a corollary, we get model categories of differential graded algebras of sheaves and differential graded modules over a given differential graded algebra of sheaves. This is the author's first attempt to understand sheaves, so comments from those more experienced with the subject are welcome.

Derived Quot schemes

Abstract: Realizing a part of the Derived Deformation Theory program, we construct a "derived" analog of the Grothendieck's Quot scheme parametrizing subsheaves in a given coherent sheaf F on a smooth projective variety X. This analog is a differential graded manifold RQuot_h(F) (so it is always smooth in an appropriate sense) whose tangent space at a point represented by a subsheaf K in F, is a cochain complex quasiisomorphic to RHom(K, F/K).

The number of ramified coverings of the sphere by the torus and surfaces of higher genera

Abstract: We obtain an explicit expression for the number of ramified coverings of the sphere by the torus with given ramification type for a small number of ramification points, and conjecture this to be true for an arbitrary number of ramification points. In addition, the conjecture is proved for simple coverings of the sphere by the torus. We obtain corresponding expressions for surfaces of higher genera for a small number of ramification points, and conjecture the general form for this number in terms of a symmetric polynomial that appears to be new. The approach involves the analysis of the action of a transposition to derive a system of linear partial differential equations that give the generating series for the desired numbers.

Proof of the gradient conjecture of R. Thom

Abstract: Let x(t) be a trajectory of the gradient of a real analytic function and suppose that x_0 is a limit point of x(t). We prove the gradient conjecture of R. Thom which states that the secants of x(t) at x_0 have a limit. Actually we show a stronger statement: the radial projection of x(t) from x_0 onto the unit sphere has finite length.

Irreducibility of moduli spaces of vector bundles on K3 surfaces

Abstract: In this paper, we show the moduli spaces of stable sheaves on K3 surfaces are irreducible symplectic manifolds, if the associated Mukai vectors are primitive. More precisely, we show that they are related to the Hilbert scheme of points. We also compute the period of these spaces. As an application of our result, we discuss Montonen-Olive duality in Physics. In particular our computations of Euler characteristics of moduli spaces are compatible with Physical computations by Minahan et al.

Essential dimensions of algebraic groups and a resolution theorem for G-varieties

Abstract: Let G be an algebraic group and let X be a generically free G-variety. We show that X can be transformed, by a sequence of blowups with smooth G-equivariant centers, into a G-variety X' with the following property: the stabilizer of every point of X' is isomorphic to a semidirect product of a unipotent group U and a diagonalizable group A. As an application of this and related results, we prove new lower bounds on essential dimensions of some algebraic groups. We also show that certain polynomials in one variable cannot be simplified by a Tschirnhaus transformation.

Birational involutions of P^2

Abstract: We give a "modern" version, based on Mori theory, of the classification of birational involutions of P^2 up to conjugacy. The result has been known for more than one century but the classical proofs are not always convincing.

Density of rational points on elliptic K3 surfaces

Abstract: Let $X$ be a K3 surface defined over a number field $K$. Assume that $X$ admits a structure of an elliptic fibration or an infinite group of automorphisms. Then there exists a finite extension $K'/K$ such that the set of $K'$-rational points is Zariski dense in $X$.

Toward the classification of higher-dimensional toric Fano varieties

Abstract: The purpose of this paper is to give basic tools for the classification of nonsingular toric Fano varieties by means of the notions of primitive collections and primitive relations due to Batyrev. By using them we can easily deal with equivariant blow-ups and blow-downs, and get an easy criterion to determine whether a given nonsingular toric variety is a Fano variety or not. As applications of these results, we get a toric version of a theorem of Mori, and can classify, in principle, all nonsingular toric Fano varieties obtained from a given nonsingular toric Fano variety by finite successions of equivariant blow-ups and blow-downs through nonsingular toric Fano varieties. Especially, we get a new method for the classification of nonsingular toric Fano varieties of dimension at most four. These methods are extended to the case of Gorenstein toric Fano varieties endowed with natural resolutions of singularities. Especially, we easily get a new method for the classification of Gorenstein toric Fano surfaces.

Motivic integration, quotient singularities and the McKay correspondence

Abstract: The present work is devoted to the study of motivic integration on quotient singularities. We give a new proof of a form of the McKay correspondence previously proved by Batyrev. The paper contains also some general results on motivic integration on arbitrary singular spaces.

Picard and Chazy solutions to the Painleve' VI equation

Abstract: I study the solutions of a particular family of Painlev\'e VI equations with the parameters $\beta=\gamma=0, \delta=1/2$ and $2\alpha=(2\mu-1)^2$, for $2\mu\in\interi$. I show that the case of half-integer $\mu$ is integrable and that the solutions are of two types: the so-called Picard solutions and the so-called Chazy solutions. I give explicit formulae for them and completely determine their asymptotic behaviour near the singular points $0,1,\infty$ and their nonlinear monodromy. I study the structure of analytic continuation of the solutions to the PVI$\mu$ equation for any $\mu$ such that $2\mu\in\interi$. As an application, I classify all the algebraic solutions. For $\mu$ half-integer, I show that they are in one to one correspondence with regular polygons or star-polygons in the plane. For $\mu$ integer, I show that all algebraic solutions belong to a one-parameter family of rational solutions.

The Gromov-Witten potential of a point, Hurwitz numbers, and Hodge integrals

Abstract: Hurwitz numbers, which count certain covers of the projective line (or, equivalently, factorizations of permuations into transpositions), have been extensively studied for over a century. The Gromov-Witten potential F of a point, the generating series for Hodge integrals on the moduli space of curves, has been a central object of study in Gromov-Witten theory. We define a slightly enriched Gromov-Witten potential G (including integrals involving one "lambda-class"), and show that after a non-trivial change of variables, G=H in positive genus, where H is a generating series for Hurwitz numbers. We prove a conjecture of Goulden and Jackson on higher genus Hurwitz numbers, which turns out to be an analogue of a genus expansion ansatz of Itzykson and Zuber. As consequences, we have new combinatorial constraints on F, and a much more direct proof of the ansatz of Itzykson and Zuber. We can produce recursions and explicit formulas for Hurwitz numbers; the algorithm presented should prove "all" such recursions. Furthermore, there are many more recursions than previously suspected from geometry (and indeed they should exist in all genera); as examples we present surprisingly simple new recursions in genus up to 3 that are geometrically mysterious. As we expect this paper also to be of interest to combinatorialists, we have tried to make it as self-contained as possible, including reviewing some results and definitions well known in algebraic and symplectic geometry, and mathematical physics.

Enumerating singular curves on surfaces

Abstract: We enumerate the singular algebraic curves in a complete linear system on a smooth projective surface. The system must be suitably ample in a rather precise sense. The curves may have up to eight nodes, or a triple point of a given type and up to three nodes. The curves must also pass through appropriately many general points. The number of curves is given by a universal polynomial in four basic Chern numbers. To justify the enumeration, we make a rudimentary classification of the types of singularities using Enriques diagrams, obtaining results like Arnold's. We show that the curves in question do, in fact, appear with multiplicity 1 using the versal deformation space, Shustin's codimension formula, and Gotzmann's regularity theorem. Finally, we relate our work to Vainsencher's work with up to seven nodes.

Homological mirror symmetry with higher products

Abstract: We construct an $A_{\infty}$-structure on the Ext-groups of hermitian holomorphic vector bundles on a compact complex manifold. We propose a generalization of the homological mirror conjecture due to Kontsevich. Namely, we conjecture that for mirror dual Calabi-Yau manifolds $M$ and $X$ there exists an $A_{\infty}$-functor from Fukaya's symplectic $A_{\infty}$-category of $M$ to the $A_{\infty}$-derived category of $X$ which is a homotopy equivalence on morphisms. We verify the part of this conjecture concering triple products for elliptic curves.

Absolute and relative Gromov-Witten invariants of very ample hypersurfaces

Abstract: For any smooth complex projective variety X and smooth very ample hypersurface Y in X, we develop the technique of genus zero relative Gromov-Witten invariants of Y in X in algebro-geometric terms. We prove an equality of cycles in the Chow groups of the moduli spaces of relative stable maps that relates these relative invariants to the Gromov-Witten invariants of X and Y. Given the Gromov-Witten invariants of X, we show that these relations are sufficient to compute all relative invariants, as well as all genus zero Gromov-Witten invariants of Y whose homology and cohomology classes are induced by X.

Geometric Eisenstein series

Abstract: The purpose of this of this paper is to develop the theory of Eisenstein series in the framework of geometric Langlands correspondence. Our construction is based on the study of certain relative compactification of the moduli stack of parabolic bundles on a curve suggested by V.Drinfeld. As an application we construct certain automorphic forms for global fields of positive characteristic, whose existence is non-obvious from the point of view of classical tools.