Showing papers in "arXiv: Algebraic Geometry in 2002"
Posted Content•
TL;DR: In this paper, the authors introduce the notion of a stability condition on a triangulated category and prove a deformation result which shows that the space with its natural topology is a manifold, possibly infinite-dimensional.
Abstract: This paper introduces the notion of a stability condition on a triangulated category. The motivation comes from the study of Dirichlet branes in string theory, and especially from M.R. Douglas's notion of $\Pi$-stability. From a mathematical point of view, the most interesting feature of the definition is that the set of stability conditions $\Stab(\T)$ on a fixed category $\T$ has a natural topology, thus defining a new invariant of triangulated categories. After setting up the necessary definitions I prove a deformation result which shows that the space $\Stab(\T)$ with its natural topology is a manifold, possibly infinite-dimensional.
561 citations
Posted Content•
TL;DR: In this paper, the fundamental group theory of algebraic geometry from the Kronecker point of view is presented, allowing one to treat on an equal footing the case of an algebraic variety in the usual sense and that of the ring of integers in a number field, for instance.
Abstract: Le texte pr\'esente les fondements d'une th\'eorie du groupe fondamental en G\'eom\'etrie Alg\'ebrique, dans le point de vue ``kroneckerien'' permettant de traiter sur le m\^eme pied le cas d'une vari\'et\'e alg\'ebrique au sens habituel, et celui d'un anneau des entiers d'un corps de nombres, par exemple.
The text presents the foundations of a theory of the fundamental group in Algebraic Geometry from the Kronecker point of view, allowing one to treat on an equal footing the case of an algebraic variety in the usual sense, and that of the ring of integers in a number field, for instance.
414 citations
Posted Content•
TL;DR: In this article, an explicit equivalence between the stationary sector of the Gromov-Witten theory of a target curve X and the enumeration of Hurwitz coverings of X in the basis of completed cycles was established.
Abstract: We establish an explicit equivalence between the stationary sector of the Gromov-Witten theory of a target curve X and the enumeration of Hurwitz coverings of X in the basis of completed cycles. The stationary sector is formed, by definition, by the descendents of the point class. Completed cycles arise naturally in the theory of shifted symmetric functions. Using this equivalence, we give a complete description of the stationary Gromov-Witten theory of the projective line and elliptic curve. Toda equations for the relative stationary theory of the projective line are derived.
290 citations
Posted Content•
TL;DR: In this paper, derived categories build bridges across the current mathe-matical mainstream, linking geometric and algebraic, commutative and noncommutative, local and global banks.
Abstract: We show how derived categories build bridges across the current mathe matical mainstream, linking geometric and algebraic, commutative and noncommutative, local and global banks. Arches in these bridges are pieces of semiorthogonal decompositions of triangulated categories.
245 citations
Posted Content•
TL;DR: In this article, a report on results and methods in the reduction modulo p of Shimura varieties with parahoric level structure is given. But the results are restricted to the case where the subgroups of the Iwahori-Weyl group and the corresponding union of affine Deligne-Lusztig varieties are considered.
Abstract: This is a report on results and methods in the reduction modulo p of Shimura varieties with parahoric level structure In the first part, the local theory, we explain the concepts of parahoric subgroups, of the mu-admissible and mu-permissible subsets of the Iwahori-Weyl group, of the corresponding union of affine Deligne-Lusztig varieties and of local models In the second part, the global theory, we use these concepts to formulate conjectures on the points in the reduction modulo p of Shimura varieties with parahoric level structure
230 citations
Posted Content•
TL;DR: In this paper, a partially new proof of Bridgeland's result using non-commutative rings was given, which covers mild singular and higher dimensional situations (including the one in the recent paper by Chen: ''Flops and equivalences of derived categories for three-fold with only Gorenstein singularities''.
Abstract: If Y,Z are three-dimensional smooth varieties related by a flop, then Bondal and Orlov conjectured that the derived categories of coherent sheaves on Y and Z are equivalent. This conjecture was recently proved by Bridgeland. Our aim in this paper is to give a partially new proof of Bridgeland's result using non-commutative rings. The new proof also covers some mild singular and higher dimensional situations (including the one in the recent paper by Chen: ``Flops and Equivalences of derived Categories for Threefolds with only Gorenstein Singularities'').
205 citations
TL;DR: In this paper, the authors proved vanishing theorems for tensor powers of tautological bundles on the Hilbert scheme and applied the vanishing theorem to establish the character formula for diagonal harmonics conjectured by Garsia and the author.
Abstract: Earlier we showed that the Hilbert scheme of $n$ points in the plane can be identified with the Hilbert scheme of regular $S_n$ orbits on $C^{2n}$. Using this result, together with a recent theorem of Bridgeland, King and Reid on the generalized McKay correspondence, we prove vanishing theorems for tensor powers of tautological bundles on the Hilbert scheme. We apply the vanishing theorems to establish (among other things) the character formula for diagonal harmonics conjectured by Garsia and the author. In particular we prove that the dimension of the space of diagonal harmonics is equal to $(n+1)^{n-1}$.
192 citations
Posted Content•
TL;DR: In this article, the authors discuss some mathematical conjectures which have come out of the study of Dirichlet branes in superstring theory, focusing on the case of supersymmetric branes with respect to Calabi-Yau compactification.
Abstract: We discuss some mathematical conjectures which have come out of the study of Dirichlet branes in superstring theory, focusing on the case of supersymmetric branes in Calabi-Yau compactification. This has led to the formulation of a notion of stability for objects in a derived category, contact with Kontsevich’s homological mirror symmetry conjecture, and “physics proofs” for many of the subsequent conjectures based on it, such as the representation of Calabi-Yau monodromy by autoequivalences of the derived category.
183 citations
Posted Content•
TL;DR: In this paper, the authors discuss some arithmetic and geometric questions concerning self maps of projective algebraic varieties, and present a solution to the self-map problem in the context of algebraic algebra.
Abstract: In this note we discuss some arithmetic and geometric questions concerning self maps of projective algebraic varieties.
164 citations
Posted Content•
TL;DR: In this article, the pullbacks of the canonical divisors to a common resolution coincide at least for birationally equivalent projective varieties over C. The pullbacks coincide for coherent sheaves as well.
Abstract: Let $X$ and $Y$ be smooth projective varieties over $\mathbb{C}$. They are called {\it $D$-equivalent} if their derived categories of bounded complexes of coherent sheaves are equivalent as triangulated categories, while {\it $K$-equivalent} if they are birationally equivalent and the pull-backs of their canonical divisors to a common resolution coincide. We expect that the two equivalences coincide at least for birationally equivalent varieties. We shall provide a partial answer to the above problem in this paper.
152 citations
Posted Content•
TL;DR: In this article, all equivariant Gromov-Witten invariants of the projective line are expressed as matrix elements of explicit operators acting in the Fock space.
Abstract: We express all equivariant Gromov-Witten invariants of the projective line as matrix elements of explicit operators acting in the Fock space. As a consequence, we prove the equivariant theory is governed by the 2-Toda hierarchy of Ueno and Takasaki. This is the second in a sequence of three papers devoted to the Gromov-Witten theory of nonsingular target curves (the first paper of the series is math.AG/0204305).
Posted Content•
TL;DR: The multigraded Hilbert scheme as mentioned in this paper parametrizes all homogeneous ideals with fixed Hilbert function in a polynomial ring that is graded by any abelian group.
Abstract: We introduce the multigraded Hilbert scheme, which parametrizes all homogeneous ideals with fixed Hilbert function in a polynomial ring that is graded by any abelian group. Our construction is widely applicable, it provides explicit equations, and it allows us to prove a range of new results, including Bayer's conjecture on equations defining Grothendieck's classical Hilbert scheme and the construction of a Chow morphism for toric Hilbert schemes.
Posted Content•
TL;DR: In this paper, the authors propose to use two-dimensional quantum tori corresponding to real quadratic irrationalities as a replacement of elliptic curves with complex multiplication, and discuss some basic constructions of the theory of quantum Tori from the perspective of this Real Multiplication (RM) research project.
Abstract: Classical theory of Complex Multiplication (CM) shows that all abelian extensions of a complex quadratic field $K$ are generated by the values of appropriate modular functions at the points of finite order of elliptic curves whose endomorphism rings are orders in $K$. For real quadratic fields, a similar description is not known. However, the relevant (still unproved) case of Stark conjectures ([St1]) strongly suggests that such a description must exist. In this paper we propose to use two--dimensional quantum tori corresponding to real quadratic irrationalities as a replacement of elliptic curves with complex multiplication. We discuss some basic constructions of the theory of quantum tori from the perspective of this Real Multiplication (RM) research project.
Posted Content•
TL;DR: In this paper, three conjectural directions in Gromov-witten theory are discussed: Goren- stein properties, BPS states, and Virasoro constraints.
Abstract: Three conjectural directions in Gromov-Witten theory are discussed: Goren stein properties, BPS states, and Virasoro constraints. Each points to basic structures in the subject which are not yet understood.
Posted Content•
TL;DR: In this article, the authors present a concise proof for the existence and construction of a strong resolution of excellent schemes of finite type over a field of characteristic zero, based on earlier work of Encinas-Villamayor, Bierstone-Milman and others.
Abstract: We present a concise proof for the existence and construction of a {\it strong resolution of excellent schemes} of finite type over a field of characteristic zero. Our proof is based on earlier work of Villamayor, Encinas-Villamayor and Bierstone-Milman. It apports some substantial simplifications which may be helpful for a better understanding of how to prove Hironaka's famous theorem.
TL;DR: In this article, the authors explore a Pluecker-type relation which occurs naturally in the study of maximally supersymmetric solutions of certain supergravity theories and present evidence for a geometric characterisation of the relation in terms of middle-dimensional orthogonal planes in euclidean or lorentzian inner product spaces.
Abstract: We explore a Pluecker-type relation which occurs naturally in the study of maximally supersymmetric solutions of certain supergravity theories. This relation generalises at the same time the classical Pluecker relation and the Jacobi identity for a metric Lie algebra and coincides with the Jacobi identity of a metric n-Lie algebra. In low dimension we present evidence for a geometric characterisation of the relation in terms of middle-dimensional orthogonal planes in euclidean or lorentzian inner product spaces.
Posted Content•
TL;DR: In this paper, the volume of a line bundle is expressed in terms of the absolutely continuous parts of all the positive curvature currents on it, with a way to pick an element among them which is most homogeneous with respect to the volume.
Abstract: Using a result of Fujita on approximate Zariski decompositions and the singular version of Demailly's holomorphic Morse inequalities as obtained by Bonavero, we express the volume of a line bundle in terms of the absolutely continuous parts of all the positive curvature currents on it, with a way to pick an element among them which is most homogeneous with respect to the volume. This enables us to introduce the volume of any pseudoeffective class on a compact Kaehler manifold, and Fujita's theorem is then extended to this context.
TL;DR: In this article, a quasi-projective moduli functor for a polynomial h of degree n is presented, where the modulus functor is a coarse moduli scheme.
Abstract: Given a polynomial h of degree n let M h be the moduli functor of canonically polarized complex manifolds with Hilbert polynomial h. By [23] there exist a quasi-projective scheme M h together with a natural transformation
$$ \Psi :\mathcal{M}_h \to Hom(\_,M_h ) $$
such that M h is a coarse moduli scheme for M h . For a complex quasi-projective manifold U we will say that a morphism ϕ U → M h factors through the moduli stack, or that ϕ is induced by a family, if ϕ lies in the image of Ψ(U), hence if ϕ = Ψ(ƒ: V → U).
TL;DR: In this article, the existence of a meromorphic reduction map is shown to be almost holomorphic, i.e. the reduction map has compact fibers which do not meet the indeterminacy locus of the reduction maps.
Abstract: In [Ts00], H. Tsuji stated several very interesting assertions on the structure of pseudo-effective line bundles L on a projective manifold X. In particular he postulated the existence of a meromorphic “reduction map”, which essentially says that through the general point of X there is a maximal irreducible L-flat subvariety. Moreover the reduction map should be almost holomorphic, i.e. has compact fibers which do not meet the indeterminacy locus of the reduction map. The proofs of [Ts00], however, are extremely difficult to follow.
Posted Content•
TL;DR: In this paper, the locus of genus g curves that admit a G-action of given type, and inclusions between such loci, were studied for finite groups with g = 3.
Abstract: Let G be a finite group, and $g \geq 2$. We study the locus of genus g curves that admit a G-action of given type, and inclusions between such loci. We use this to study the locus of genus g curves with prescribed automorphism group G. We completely classify these loci for g=3 (including equations for the corresponding curves), and for $g \leq 10$ we classify those loci corresponding to "large" G.
Posted Content•
TL;DR: The main problem of the analysis of the Gauss-Manin system of the Laurent polynomial and of the corresponding Hodge theory was solved in this article, which is the main problem which is solved in this article.
Abstract: We associate to any convenient nondegenerate Laurent polynomial on the complex torus (C^*)^n a canonical Frobenius-Saito structure on the base space of its universal unfolding. According to the method of K. Saito (primitive forms) and of M. Saito (good basis of the Gauss-Manin system), the main problem, which is solved in this article, is the analysis of the Gauss-Manin system of the Laurent polynomial (or its universal unfolding) and of the corresponding Hodge theory.
Posted Content•
TL;DR: In this paper, a theory of toric hyperkahler varieties is developed, which involves toric geometry, matroid theory and convex polyhedra, and is extended to semi-projective toric varieties.
Abstract: Extending work of Bielawski-Dancer and Konno, we develop a theory of toric hyperkahler varieties, which involves toric geometry, matroid theory and convex polyhedra The framework is a detailed study of semi-projective toric varieties, meaning GIT quotients of affine spaces by torus actions, and specifically, of Lawrence toric varieties, meaning GIT quotients of even-dimensional affine spaces by symplectic torus actions A toric hyperkahler variety is a complete intersection in a Lawrence toric variety Both varieties are non-compact, and they share the same cohomology ring, namely, the Stanley-Reisner ring of a matroid modulo a linear system of parameters Familiar applications of toric geometry to combinatorics, including the Hard Lefschetz Theorem and the volume polynomials of Khovanskii-Pukhlikov, are extended to the hyperkahler setting When the matroid is graphic, our construction gives the toric quiver varieties, in the sense of Nakajima
Posted Content•
TL;DR: In this paper, it was shown that the Quot functor of the Deligne-Mumford stack is quasi-projective over an algebraic space over a set of variables.
Abstract: Given a separated and locally finitely-presented Deligne-Mumford stack $\cX$ over an algebraic space $S$, and a locally finitely-presented $\OO_{\cX}$-module $\cF$, we prove that the Quot functor $\text{Quot}(\cF/\cX/S)$ is represented by a separated and locally finitely-presented algebraic space over $S$. Under additional hypotheses, we prove that the connected components of $\text{Quot}(\cF/\cX/S)$ are quasi-projective over $S$.
Posted Content•
TL;DR: In this article, the moduli spaces M_\theta, introduced by Kronheimer and further studied by Sardo Infirri, coincide with G-Hilb for a particular choice of the GIT parameter \theta.
Abstract: For a finite subgroup G in SL(3,C), Bridgeland, King and Reid proved that the moduli space of G-clusters is a crepant resolution of the quotient C^3/G. This paper considers the moduli spaces M_\theta, introduced by Kronheimer and further studied by Sardo Infirri, which coincide with G-Hilb for a particular choice of the GIT parameter \theta. For G Abelian, we prove that every projective crepant resolution of C^3/G is isomorphic to M_\theta for some parameter \theta. The key step is the description of GIT chambers in terms of the K-theory of the moduli space via the appropriate Fourier--Mukai transform. We also uncover explicit equivalences between the derived categories of moduli M_\theta for parameters lying in adjacent GIT chambers.
TL;DR: In this article, the authors give a short proof of the following characterization of the projective space, which is based on the work of the authors of the present paper, namely,
Abstract: The aim of this paper is to give a short proof of the following characterization of the projective space.
Posted Content•
TL;DR: An additive version of the Bloch group of a field, together with an additive dilogarithm and an Artin-Schreier realization, was defined in this article, where the additive version was defined as a special case of the field.
Abstract: We define an additive version of the Bloch group of a field, together with an additive dilogarithm and an Artin-Schreier realization.
Posted Content•
TL;DR: In this article, the authors used intersection theory, degeneration techniques and jet schemes to study log canonical thresholds of a pair in terms of the log canonical threshold of the image by a suitable smooth morphism.
Abstract: We use intersection theory, degeneration techniques and jet schemes to study log canonical thresholds. Our first result gives a lower bound for the log canonical threshold of a pair in terms of the log canonical threshold of the image by a suitable smooth morphism. This in turn is based on an inequality relating the log canonical threshold and the Samuel multiplicity, generalizing our previous result from math.AG/0205171. We then give a lower bound for the log canonical threshold of an affine scheme defined by homogeneous equations of the same degree in terms of the dimension of the non log terminal locus (this part supersedes math.AG/0105113). As an application of our results, we prove the birational superrigidity of every smooth hypersurface of degree N in P^N, if 4\leq N\leq 12.
TL;DR: In this article, the authors show that Fano varieties have a rational point in a finite field with CH_0(X\otimes \bar{k(X)})=\mathbb Z$ and also refer to this http URL where the last version, cleaned from some typos, should be published online.
Abstract: Smooth projective varieties $X$ over a finite field $k$ with $CH_0(X\otimes \bar{k(X)})=\mathbb Z$ have a rational point, in particular Fano varieties. We also refer to this http URL where the last version, cleaned from some typos, should be published online.
Posted Content•
TL;DR: In this paper, the G-Hilbert scheme for a finite subgroup G in SL(3,C), and conjectured that it is a crepant resolution of the quotient C^3/G for a diagonal Abelian group A.
Abstract: Iku Nakamura [Hilbert schemes of Abelian group orbits, J Alg Geom 10 (2001), 757--779] introduced the G-Hilbert scheme for a finite subgroup G in SL(3,C), and conjectured that it is a crepant resolution of the quotient C^3/G He proved this for a diagonal Abelian group A by introducing an explicit algorithm that calculates A-Hilb C^3 This note calculates A-Hilb C^3 much more simply, in terms of fun with continued fractions plus regular tesselations by equilateral triangles
TL;DR: In this article, a general Zariski-van Kampen-Lefschetz type theorem for higher homotopy groups of generic and nongeneric pencils on singular open complex spaces was proved.
Abstract: We prove a general Zariski-van Kampen-Lefschetz type theorem for higher homotopy groups of generic and nongeneric pencils on singular open complex spaces.