SearcharxivSearch

arXiv subjects

Aaron Bertram

Publications and source records attributed to Aaron Bertram.

At least 19 recordsLinked to original sources

Two New Extensions of Reider's Theorem on Algebraic Surfaces

Reider's Theorem on the very ampleness of adjoint linear series on a complex projective algebraic surface is extended in two new directions. First, Reider-type inequalities are shown to imply nefness of linear series of the form dH - E on the blow-up of projective space along the embedded surface. This can be thought of as a weak analogy of Saint-Donat's Theorem on the generators of the ideal of a curve embedded by an adjoint linear series. Next, Reider-type inequalities give a sharp estimate for the ample cone of the Hilbert schemes of length d subschemes of the surface. The proofs consist of (a) finding a natural family of objects parametrized by the base (either the blow-up along the surface or the Hilbert scheme) and (b) finding the largest chamber in the stability manifold of the surface where the objects in the family are all Bridgeland semistable. A Theorem of Bayer-Macri then gives nefness of the determinant line bundle on the base of the family.

math.AG

Secants, Socles and Stability

The projective space of symmetric tensors of degree d can be reinterpreted as a projective space of finite, graded Gorenstein rings with socle in degree d. Via a pair of explicit stability conditions (one for even values of d and one for odd values), the space of symmetric tensors is partitioned by Harder-Narasimhan filtration type. This is worked out explicitly for low degree examples in dimension three (the projective plane) and compared with the betti tables of the Gorenstein rings.

math.AC

Le Potier's strange duality, quot schemes, and multiple point formulas for del Pezzo surfaces

We study Le Potier's strange duality on del Pezzo surfaces using quot schemes to construct independent sections of theta line bundles on moduli spaces of sheaves, one of which is the Hilbert scheme of n points. For n at most 7, we use multiple point formulas to count the length of the quot scheme, which agrees with the dimension of the space of sections on the Hilbert scheme. When the surface is the projective plane and n is arbitrary, we use nice resolutions of general stable sheaves to show that the quot schemes that arise are finite and reduced. Combining our results, we obtain a lower bound on the rank of the strange duality map, as well as evidence that the map is injective when n is at most 7.

math.AG

Polynomiality, Wall Crossings and Tropical Geometry of Rational Double Hurwitz Cycles

We study rational double Hurwitz cycles, i.e. loci of marked rational stable curves admitting a map to the projective line with assigned ramification profiles over two fixed branch points. Generalizing the phenomenon observed for double Hurwitz numbers, such cycles are piecewise polynomial in the entries of the special ramification; the chambers of polynomiality and wall crossings have an explicit and "modular" description. A main goal of this paper is to simultaneously carry out this investigation for the corresponding objects in tropical geometry, underlining a precise combinatorial duality between classical and tropical Hurwitz theory.

math.AG

The Minimal Model Program for the Hilbert Scheme of Points on P^2 and Bridgeland Stability

In this paper, we study the birational geometry of the Hilbert scheme of n points on P^2. We discuss the stable base locus decomposition of the effective cone and the corresponding birational models. We give modular interpretations to the models in terms of moduli spaces of Bridgeland semi-stable objects. We construct these moduli spaces as moduli spaces of quiver representations using G.I.T. and thus show that they are projective. There is a precise correspondence between wall-crossings in the Bridgeland stability manifold and wall-crossings between Mori cones. For n at most 9, we explicitly determine the walls in both interpretations and describe the corresponding flips and divisorial contractions.

math.AG

Reider's Theorem and Thaddeus Pairs Revisited

Bridgeland stability conditions allow for a new generalization of Thaddeus pairs to surfaces and a new interpretation of Reider's theorem as a consequence of "Schur's lemma" for stable objects (Hom(E,F) = 0 if E,F are stable objects and the slope of E exceeds the slope of F). One improvement of Reider's theorem results (Proposition 3.8/Corollary 3.9), and wall-crossings for the new Thaddeus pairs are discussed. This paper was submitted to the CMI conference proceedings celebrating the 65th birthday of Peter Newstead.

math.AG

Bridgeland-Stable Moduli Spaces for K-Trivial Surfaces

We give a natural family of Bridgeland stability conditions on the derived category of a smooth projective complex surface S and describe ``wall-crossing behavior'' for objects with the same invariants as $\cO_C(H)$ when H generates Pic(S) and $C \in |H|$. If, in addition, S is a K3 or Abelian surface, we use this description to construct a sequence of fine moduli spaces of Bridgeland-stable objects via Mukai flops and generalized elementary modifications of the universal coherent sheaf. We also discover a natural generalization of Thaddeus' stable pairs for curves embedded in the moduli spaces.

math.AG

Evaluating tautological classes using only Hurwitz numbers

Hurwitz numbers count ramified covers of a Riemann surface with prescribed monodromy. As such, they are purely combinatorial objects. Tautological classes, on the other hand, are distinguished classes in the intersection ring of the moduli spaces of Riemann surfaces of a given genus, and are thus ``geometric.'' Localization computations in Gromov-Witten theory provide non-obvious relations between the two. This paper makes one such computation, and shows how it leads to a ``master'' relation (Theorem 0.1) that reduces the ratios of certain interesting tautological classes to the pure combinatorics of Hurwitz numbers. As a corollary, we obtain a purely combinatorial proof of a theorem of Bryan and Pandharipande, expressing in generating function form classical computations by Faber/Looijenga (Theorem 0.2).

math.AG

Gromov-Witten Invariants for Abelian and Nonabelian Quotients

We make precise conjectures relating the genus zero Gromov-Witten theory of a nonabelian GIT quotient X//G to that of the associated abelian quotient X//T by a maximal torus T in G.These conjectures imply in particular closed formulas for the J-functions (that is, the generating functions for 1-point Gromov-Witten invariants) of all generalized flag manifolds of classical A, B, C and D types. These formulas are proved in the second part of the paper.

math.AG

Two Proofs of a Conjecture of Hori and Vafa

We give two proofs of a conjecture of Hori and Vafa which expresses the J-function (i.e, the generating function for 1-point descendant Gromov-Witten invariants) of a Grassmannian in terms of the J-function of a product of projective spaces. Similar relations are obtained for two-point descendants, and three-point (primary) Gromov-Witten invariants. As an application we prove Givental's "R-Conjecture" - hence the Virasoro conjecture - for Grassmannians.

math.AG

Using symmetry to count rational curves

An analogy is drawn between recent work with Kley (math.AG/0007082) and the WDVV equations. That is, both are regarded as symmetries of generating functions with coefficients that "count" rational curves on a complex projective manifold. It is shown how to obtain the string, dilaton and divisor equations from the new symmetries, as well as an analogue of the Kontsevich-Manin reconstruction theorem, expressing arbitrary genus zero Gromov-Witten invariants in terms of "mirror data". As was also pointed out in the work with Kley, this allows one, for the first time, to compute quantum cohomology from mirror data.

math.AG

On the quantum cohomology of a symmetric product of an algebraic curve

The dth symmetric product of a curve of genus g is a smooth projective variety. This paper is concerned with the little quantum cohomology ring of this variety, that is, the ring having its 3-point Gromov-Witten invariants as structure constants. This is of considerable interest, for example as the base ring of the quantum category in Seiberg-Witten theory. The main results give an explicit, general formula for the quantum product in this ring unless d is in the narrow interval [3/4 g, g-1). Otherwise, they still give a formula modulo third order terms. Explicit generators and relations are also given unless d is in [4/5 g - 3/5, g-1). The virtual class on the space of stable maps plays a significant role. But the central ideas ultimately come from Brill-Noether theory: specifically a formula of Harris-Tu for the Chern numbers of determinantal varieties. The case d = g-1 is especially interesting: it resembles that of a Calabi-Yau 3-fold, and the Aspinwall-Morrison formula enters the calculations. A detailed analogy with Givental's work is also explained.

math.AG

New recursions for genus-zero Gromov-Witten invariants

New relations among the genus-zero Gromov-Witten invariants of a complex projective manifold $X$ are exhibited. When the cohomology of $X$ is generated by divisor classes and classes ``with vanishing one-point invariants,'' the relations determine many-point invariants in terms of one-point invariants.

math.AG

Some applications of localization to enumerative problems

A simple corollary of the localization theorem (due to the author and, independently, to Lian-Liu-Yau) is applied to several problems in enumerative geometry. New formulas for Schubert calculus on flag manifolds, due to Kong, and a new reconstruction theorem for genus-zero Gromov-Witten invariants, due to Bertram-Kley, are discussed, as well as some simple functorial properties of Givental's J-function. This paper will appear in the issue of the Michigan Mathematical Journal dedicated to Bill Fulton.

math.AG

Another way to enumerate rational curves with torus actions

A new proof of the mirror conjecture for Fano and Calabi-Yau complete intersections in P^n is given, using only the circle action on the graph space. The proof applies to projective bundles as well, with applications to "linear" relative Calabi-Yau's and to Schubert calculus.

math.AG