Showing papers in "arXiv: Algebraic Geometry in 2014"

Canonical bases for cluster algebras

Abstract: In previous work, the first three authors conjectured that the ring of regular functions on a natural class of affine log Calabi-Yau varieties (those with maximal boundary) has a canonical vector space basis parameterized by the integral tropical points of the mirror. Further, the structure constants for the multiplication rule in this basis should be given by counting broken lines (certain combinatorial objects, morally the tropicalisations of holomorphic discs). Here we prove the conjecture in the case of cluster varieties, where the statement is a more precise form of the Fock-Goncharov dual basis conjecture. In particular, under suitable hypotheses, for each Y the partial compactification of an affine cluster variety U given by allowing some frozen variables to vanish, we obtain canonical bases for the ring of functions on Y extending to a basis for functions on U. Each choice of seed canonically identifies the parameterizing sets of these bases with integral points in a polyhedral cone. These results specialize to basis results of combinatorial representation theory. For example, by considering the open double Bruhat cell U in the basic affine space Y we obtain a canonical basis of each irreducible representation of SL_r, parameterized by a set which each choice of seed identifies with integral points of a lattice polytope. These bases and polytopes are all constructed essentially without representation theoretic considerations. Along the way, our methods prove a number of conjectures in cluster theory, including positivity of the Laurent phenomenon for cluster algebras of geometric type.

Semiorthogonal decompositions in algebraic geometry

Abstract: In this review we discuss what is known about semiorthogonal decompositions of derived categories of algebraic varieties. We review existing constructions, especially the homological projective duality approach, and discuss some related issues such as categorical resolutions of singularities.

Affine Grassmannians and the geometric Satake in mixed characteristic

Abstract: We endow the set of lattices in Q_p^n with a reasonable algebro-geometric structure. As a result, we prove the representability of affine Grassmannians and establish the geometric Satake correspondence in mixed characteristic. We also give an application of our theory to the study of Rapoport-Zink spaces.

Towards a theory of local Shimura varieties

Abstract: This is a survey article that advertises the idea that there should exist a theory of p-adic local analogues of Shimura varieties. Prime examples are the towers of rigid-analytic spaces defined by Rapoport-Zink spaces, and we also review their theory in the light of this idea. We also discuss conjectures on the l-adic cohomology of local Shimura varieties.

Mirror Symmetry and Fano Manifolds

Abstract: We consider mirror symmetry for Fano manifolds, and describe how one can recover the classification of 3-dimensional Fano manifolds from the study of their mirrors. We sketch a program to classify 4-dimensional Fano manifolds using these ideas.

Derived categories of toric varieties III

Abstract: We prove derived McKay correspondence in special cases and the decomposition of toric K-equivalence into flops.

The Space of Stability Conditions on Abelian Threefolds, and on some Calabi-Yau Threefolds

Abstract: We describe a connected component of the space of stability conditions on abelian threefolds, and on Calabi-Yau threefolds obtained as (the crepant resolution of) a finite quotient of an abelian threefold. Our proof includes the following essential steps: 1. We simultaneously strengthen a conjecture by the first two authors and Toda, and prove that it follows from a more natural and seemingly weaker statement. This conjecture is a Bogomolov-Gieseker type inequality involving the third Chern character of "tilt-stable" two-term complexes on smooth projective threefolds; we extend it from complexes of tilt-slope zero to arbitrary tilt-slope. 2. We show that this stronger conjecture implies the so-called support property of Bridgeland stability conditions, and the existence of an explicit open subset of the space of stability conditions. 3. We prove our conjecture for abelian threefolds, thereby giving reproving and generalizing a result by Maciocia and Piyaratne. Important in our approach is a more systematic understanding on the behaviour of quadratic inequalities for semistable objects under wall-crossing, closely related to the support property.

Integral mixed motives in equal characteristic

Abstract: For noetherian schemes of finite dimension over a field of characteristic exponent $p$, we study the triangulated categories of $\mathbf{Z}[1/p]$-linear mixed motives obtained from cdh-sheaves with transfers. We prove that these have many of the expected properties. In particular, the formalism of the six operations holds in this context. When we restrict ourselves to regular schemes, we also prove that these categories of motives are equivalent to the more classical triangulated categories of mixed motives constructed in terms of Nisnevich sheaves with transfers. Such a program is achieved by comparing these various triangulated categories of motives with modules over motivic Eilenberg-MacLane spectra.

On the structure of nonarchimedean analytic curves

Abstract: Let K be an algebraically closed, complete nonarchimedean field and let X be a smooth K-curve. In this paper we elaborate on several aspects of the structure of the Berkovich analytic space X^an. We define semistable vertex sets of X^an and their associated skeleta, which are essentially finite metric graphs embedded in X^an. We prove a folklore theorem which states that semistable vertex sets of X are in natural bijective correspondence with semistable models of X, thus showing that our notion of skeleton coincides with the standard definition of Berkovich. We use the skeletal theory to define a canonical metric on H(X^an) := X^an - X(K), and we give a proof of Thuillier's nonarchimedean Poincare-Lelong formula in this language using results of Bosch and Lutkebohmert.

The Katz-Klemm-Vafa conjecture for K3 surfaces

Abstract: We prove the KKV conjecture expressing Gromov-Witten invariants of K3 surfaces in terms of modular forms. Our results apply in every genus and for every curve class. The proof uses the Gromov-Witten/Pairs correspondence for K3-fibered hypersurfaces of dimension 3 to reduce the KKV conjecture to statements about stable pairs on (thickenings of) K3 surfaces. Using degeneration arguments and new multiple cover results for stable pairs, we reduce the KKV conjecture further to the known primitive cases. Our results yield a new proof of the full Yau-Zaslow formula, establish new Gromov-Witten multiple cover formulas, and express the fiberwise Gromov-Witten partition functions of K3-fibered 3-folds in terms of explicit modular forms.

Gonality of algebraic curves and graphs

Abstract: We define d-gonal weighted graphs using “harmonic indexed” morphisms, and prove that a combinatorial locus of \(\overline{M_{g}}\) contains a d-gonal curve if the corresponding graph is d-gonal and of Hurwitz type. Conversely the dual graph of a d-gonal stable curve is equivalent to a d-gonal graph of Hurwitz type. The hyperelliptic case is studied in detail. For r ≥ 1, we show that the dual graph of a (d, r)-gonal stable is the underlying graph of a tropical curve admitting a degree-d divisor of rank at least r.

Positivity of twisted relative pluricanonical bundles and their direct images

Abstract: Our main goal in this article is to establish a quantitative version of the positivity properties of twisted relative pluricanonical bundles and their direct images. The notion of "singular Hermitian metric" on vector bundles (together with an appropriate definition of positivity of the associated curvature) plays a major role here, and its properties are studied via a version of Ohsawa-Takegoshi extension theorem. Part of this article is based on the joint work of the first named author with Bo Berndtsson, and it can be seen as an expanded and updated version of it.

The Fano variety of lines and rationality problem for a cubic hypersurface

Abstract: We find a relation between a cubic hypersurface $Y$ and its Fano variety of lines $F(Y)$ in the Grothendieck ring of varieties. We prove that if the class of an affine line is not a zero-divisor in the Grothendieck ring of varieties, then Fano variety of lines on a smooth rational cubic fourfold is birational to a Hilbert scheme of two points on a K3 surface; in particular, general cubic fourfold is irrational.

Overweight deformations of affine toric varieties and local uniformization

Abstract: We study Abhyankar valuations of excellent equicharacteristic local domains with an algebraically closed residue field. For zero dimensional valuations we prove that whenever the ring is complete and the semigroup of values taken by the valuation is finitely generated (which implies that the valuation is Abhyankar) the valuation can be uniformized in an embedded way by a birational map which is monomial with respect to a suitable system of generators of the maximal ideal. We prove that conversely if a valuation is Abhyankar after a birational modification and localization at the point picked by the valuation one obtains a ring whose semigroup of values is finitely generated. Combining the two results and using the good behavior of Abhyankar valuations with respect to composition and completion gives local uniformization for all Abhyankar valuations of excellent equicharacteristic local domains with an algebraically closed residue field. Some general results on Abhyankar valuations are by-products of the method of proof.

Bogomolov-Tian-Todorov theorems for Landau-Ginzburg models

Abstract: In this paper we prove the smoothness of the moduli space of Landau-Ginzburg models. We formulate and prove a Tian-Todorov theorem for the deformations of Landau-Ginzburg models, develop the necessary Hodge theory for varieties with potentials, and prove a double degeneration statement needed for the unobstructedness result. We discuss the various definitions of Hodge numbers for non-commutative Hodge structures of Landau-Ginzburg type and the role they play in mirror symmetry. We also interpret the resulting families of de Rham complexes attacted to a potential in terms of mirror symmetry for one parameter families of symplectic Fano manifolds and argue that modulo a natural triviality property the moduli spaces of Landau-Ginzburg models posses canonical special coordinates.

Mapping stacks and categorical notions of properness

Abstract: One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack This result has been generalized by replacing $X$ with a proper algebraic stack We show, however, that it also holds when $X$ is replaced by many examples of algebraic stacks which are not proper, including many global quotient stacks This leads us to revisit the definition of properness for stacks We introduce the notion of a formally proper morphism of stacks and study its properties We develop methods for establishing formal properness in a large class of examples Along the way, we prove strong h-descent results which hold in the setting of derived algebraic geometry but not in classical algebraic geometry Our main applications are algebraicity results for mapping stacks and the stack of coherent sheaves on a flat and formally proper stack

Flat surfaces and stability structures

Abstract: We identify spaces of half-translation surfaces, equivalently complex curves with quadratic differential, with spaces of stability structures on Fukaya-type categories of punctured surfaces. This is achieved by new methods involving the complete classification of objects in these categories, which are defined in an elementary way. We also introduce a number of tools to deal with surfaces of infinite area, where structures similar to those in cluster algebra appear.

On Maximum, Typical and Generic Ranks

Abstract: We show that for several notions of rank including tensor rank, Waring rank, and generalized rank with respect to a projective variety, the maximum value of rank is at most twice the generic rank. We show that over the real numbers, the maximum value of the real rank is at most twice the smallest typical rank, which is equal to the (complex) generic rank.

The local cohomology of the jacobian ring

Abstract: We study the 0-th local cohomology module of the jacobian ring of a singular reduced complex projective hypersurface X, by relating it to the sheaf of logarithmic vector field along X. We investigate the analogies between the local cohomology and the well known properties of the jacobian ring of a nonsingular hypersurface. In particular we study self-duality, Hodge theoretic and Torelli type questions.

Effectivity of Iitaka fibrations and pluricanonical systems of polarized pairs

Abstract: For every smooth complex projective variety $W$ of dimension $d$ and nonnegative Kodaira dimension, we show the existence of a universal constant $m$ depending only on $d$ and two natural invariants of the very general fibres of an Iitaka fibration of $W$ such that the pluricanonical system $|mK_W|$ defines an Iitaka fibration. This is a consequence of a more general result on polarized adjoint divisors. In order to prove these results we develop a generalized theory of pairs, singularities, log canonical thresholds, adjunction, etc.

Classification of automorphisms on a deformation family of hyperk\"ahler fourfolds by p-elementary lattices

Abstract: We give a classification of all non-symplectic automorphisms of prime order p acting on irreducible holomorphic symplectic fourfolds deformation equivalent to the Hilbert scheme of two points on a K3 surface, for p=2,3 and 7\leq p \leq 19. Our classification relates the isometry classes of two natural lattices associated to the action of the automorphism on the second cohomology group with integer coefficients with some invariants of the fixed locus and we provide explicit examples. As an application, we find new examples of non-natural non-symplectic automorphisms.

Tropicalizing the space of admissible covers

Abstract: We study the relationship between tropical and classical Hurwitz moduli spaces. Following recent work of Abramovich, Caporaso and Payne, we outline a tropicalization for the moduli space of generalized Hurwitz covers of an arbitrary genus curve. Our approach is to appeal to the geometry of admissible covers, which compactify the Hurwitz scheme. We define and construct a moduli space of tropical admissible covers, and study its relationship with the skeleton of the Berkovich analytification of the classical space of admissible covers. We use techniques from non-archimedean geometry to show that the tropical and classical tautological maps are compatible via tropicalization, and that the degree of the classical branch map can be recovered from the tropical side. As a consequence, we obtain a proof, at the level of moduli spaces, of the equality of classical and tropical Hurwitz numbers.

An overview of Morihiko Saito's theory of mixed Hodge modules

Abstract: After explaining the definition of pure and mixed Hodge modules on complex manifolds, we describe some of Saito's most important results and their proofs, and then discuss two simple applications of the theory.

Positive cones of dual cycle classes

Abstract: We study generalizations for higher codimension cycles of several well-known definitions of the nef cone of divisors on a projective variety. These generalizations fix some of the pathologies exhibited by the classical nef cone of higher codimension classes. As an application, we recover the expected properties of the pseudoeffective cones $\overline{Eff}_{k}(X)$ for all k.

On the structure of instability in moduli theory

Abstract: We formulate a theory of instability and Harder-Narasimhan filtrations for an arbitrary moduli problem in algebraic geometry. We introduce the notion of a $\Theta$-stratification of a moduli problem, which generalizes the Kempf-Ness stratification in GIT as well as the Harder-Narasimhan stratification for coherent sheaves on a projective scheme, and establish necessary and sufficient conditions for the existence of these stratifications. For a certain class of algebraic stacks, which we call $\Theta$-reductive, the existence of $\Theta$-stratifications can be reduced to solving a relatively straightforward "boundedness" problem. We apply our methods to an example that lies beyond the reach of classical methods: the stratification of the stack of objects in the heart of a Bridgeland stability condition.

Donaldson-Thomas theory for Calabi-Yau 4-folds

Abstract: Let $X$ be a compact complex Calabi-Yau 4-fold. Under certain assumptions, we define Donaldson-Thomas type deformation invariants ($DT_{4}$ invariants) by studying moduli spaces of solutions to the Donaldson-Thomas equations on $X$. We also study sheaves counting problems on local Calabi-Yau 4-folds. We relate $DT_{4}$ invariants of $K_{Y}$ to the Donaldson-Thomas invariants of the associated Fano 3-fold $Y$. When the Calabi-Yau 4-fold is toric, we adapt the virtual localization formula to define the corresponding equivariant $DT_{4}$ invariants. We also discuss the non-commutative version of $DT_{4}$ invariants for quivers with relations. Finally, we compute $DT_{4}$ invariants for certain Calabi-Yau 4-folds when moduli spaces are smooth and find a $DT_{4}/GW$ correspondence for $X$. Examples of wall-crossing phenomenon in $DT_{4}$ theory are also given.

On equivariant triangulated categories

Abstract: Consider a finite group G acting on a triangulated category T. In this paper we try to understand when the category T G of G-equivariant objects in T is triangulated. We prove that it is so in two cases: the action on the derived category D b (A) induced by an action on an abelian category A and the action on the homotopy category H 0 (A) of a pretriangulated DG-category A induced by an action on A. Also, we show that the relation "to be an equivariant category with respect to a finite abelian group action" is symmetric on idempotent complete additive categories.

Tensor categorical foundations of algebraic geometry

Abstract: Tannaka duality and its extensions by Lurie, Schappi et al. reveal that many schemes as well as algebraic stacks may be identified with their tensor categories of quasi-coherent sheaves. In this thesis we study constructions of cocomplete tensor categories (resp. cocontinuous tensor functors) which usually correspond to constructions of schemes (resp. their morphisms) in the case of quasi-coherent sheaves. This means to globalize the usual local-global algebraic geometry. For this we first have to develop basic commutative algebra in an arbitrary cocomplete tensor category. We then discuss tensor categorical globalizations of affine morphisms, projective morphisms, immersions, classical projective embeddings (Segre, Plucker, Veronese), blow-ups, fiber products, classifying stacks and finally tangent bundles. It turns out that the universal properties of several moduli spaces or stacks translate to the corresponding tensor categories.

On the proper moduli spaces of smoothable K\"ahler-Einstein Fano varieties

Abstract: In this paper, we investigate the geometry of the orbit space of the closure of the subscheme parametrizing smooth Fano Kahler-Einstein manifolds inside an appropriate Hilbert scheme. In particular, we prove that being K-semistable is a Zariski open condition and establish the uniqueness for the Gromov-Hausdorff limit for a punctured flat family of Fano Kahler-Einstein manifolds. Based on these, we construct a proper scheme parameterizing the S-equivalent classes of $\QQ$-Gorenstein smoothable, K-semistable Fano varieties, and verify various necessary properties to guarantee that it is a good moduli space.

Orbifold Quasimap Theory

Abstract: We extend to orbifolds the quasimap theory of arXiv:0908.4446 and arXiv:1106.3724, as well as the genus zero wall-crossing results from arXiv:1304.7056 and arXiv:1401.7417. As a consequence, we obtain generalizations of orbifold mirror theorems, in particular, of the mirror theorem for toric orbifolds recently proved independently by Coates, Corti, Iritani, and Tseng (arXiv:1310.4163).