Showing 1–39 of 39 results for author: Bryan, J

Mass-Optimal Low-Thrust Forced Periodic Trajectories in the Earth-Moon CR3BP

Authors: Colby C. Merrill, Jackson Kulik, Matthew J. Bryan, Dmitry Savransky

Abstract: In Cislunar space, spacecraft are able to exploit naturally periodic orbits, which provide operational reliability. However, these periodic orbits only exist in a limited volume. Enabled by low-thrust propulsion, spacecraft can produce a greater number of periodic trajectories in Cislunar space. We describe a methodology for producing mass-optimal trajectories that enforce periodic structure in th… ▽ More In Cislunar space, spacecraft are able to exploit naturally periodic orbits, which provide operational reliability. However, these periodic orbits only exist in a limited volume. Enabled by low-thrust propulsion, spacecraft can produce a greater number of periodic trajectories in Cislunar space. We describe a methodology for producing mass-optimal trajectories that enforce periodic structure in the circular-restricted three body problem and study the thrust-limited reachable set around a reference trajectory. In this study, we find that the thrust-limited mass-optimal reachable set is a superset of the energy-limited energy-optimal reachable set in the xy-plane. △ Less

Submitted 7 February, 2025; originally announced February 2025.

Comments: Presented at the 2025 AAS/AIAA Space Flight Mechanics Meeting

The Enumerative Geometry and Arithmetic of Banana Nano-Manifolds

Authors: Jim Bryan, Stephen Pietromonaco

Abstract: A banana manifold is a Calabi-Yau threefold fibered by Abelian surfaces whose singular fibers contain banana configurations: three rational curves meeting each other in two points. A nano-manifold is a Calabi-Yau threefold $X$ with very small Hodge numbers: $h^{1,1}(X)+h^{2,1}(X)\leq 6$. We construct four rigid banana nano-manifolds $\tilde{X}_N$, $N\in \{5,6,8,9 \}$, each with Hodge numbers given… ▽ More A banana manifold is a Calabi-Yau threefold fibered by Abelian surfaces whose singular fibers contain banana configurations: three rational curves meeting each other in two points. A nano-manifold is a Calabi-Yau threefold $X$ with very small Hodge numbers: $h^{1,1}(X)+h^{2,1}(X)\leq 6$. We construct four rigid banana nano-manifolds $\tilde{X}_N$, $N\in \{5,6,8,9 \}$, each with Hodge numbers given by $(h^{1,1},h^{2,1})=(4,0)$. We compute the Donaldson-Thomas partition function for banana curve classes and show that the associated genus $g$ Gromov-Witten potential is a genus 2 meromorphic Siegel modular form of weight $2g-2$ for a certain discrete subgroup $P^{*}_{N} \subset Sp_{4}(\mathbb{R})$. We also compute the weight 4 modular form whose $p$th Fourier coefficient is given by the trace of the action of Frobenius on $H^{3}_{et }(\tilde{X}_N ,{\mathbb{Q}}_{l})$ for almost all prime $p$. We observe that it is the unique weight 4 cusp form on $Γ_{0}(N)$. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Comments: Appendix with Mike Roth

Subscedastic weighted least squares estimates

Authors: Jordan Bryan, Haibo Zhou, Didong Li

Abstract: In the heteroscedastic linear model, the weighted least squares (WLS) estimate of the model coefficients is more efficient than the ordinary least squares (OLS) esti- mate. However, the practical application of WLS is challenging because it requires knowledge of the error variances. Feasible weighted least squares (FLS) estimates, which use approximations of the variances when they are unknown, ma… ▽ More In the heteroscedastic linear model, the weighted least squares (WLS) estimate of the model coefficients is more efficient than the ordinary least squares (OLS) esti- mate. However, the practical application of WLS is challenging because it requires knowledge of the error variances. Feasible weighted least squares (FLS) estimates, which use approximations of the variances when they are unknown, may either be more or less efficient than the OLS estimate depending on the quality of the approx- imation. A direct comparison between FLS and OLS has significant implications for the application of regression analysis in varied fields, yet such a comparison remains an unresolved challenge. In this study, we address this challenge by identifying the conditions under which FLS estimates using fixed weights demonstrate greater effi- ciency than the OLS estimate. These conditions provide guidance for the design of feasible estimates using random weights. They also shed light on how certain robust regression estimates behave with respect to the linear model with normal errors of unequal variance. △ Less

Submitted 27 May, 2025; v1 submitted 31 March, 2024; originally announced April 2024.

Counting Invariant Curves: a theory of Gopakumar-Vafa invariants for Calabi-Yau threefolds with an involution

Authors: Jim Bryan, Stephen Pietromonaco

Abstract: We develop a theory of Gopakumar-Vafa (GV) invariants for a Calabi-Yau threefold (CY3) $X$ which is equipped with an involution $\imath$ preserving the holomorphic volume form. We define integers $n_{g,h}(β) $ which give a virtual count of the number of genus $g$ curves $C$ on $X$, in the class $β\in H_{2}(X)$, which are invariant under $\imath$, and whose quotient $C/\imath$ has genus $h$. We giv… ▽ More We develop a theory of Gopakumar-Vafa (GV) invariants for a Calabi-Yau threefold (CY3) $X$ which is equipped with an involution $\imath$ preserving the holomorphic volume form. We define integers $n_{g,h}(β) $ which give a virtual count of the number of genus $g$ curves $C$ on $X$, in the class $β\in H_{2}(X)$, which are invariant under $\imath$, and whose quotient $C/\imath$ has genus $h$. We give two definitions of $n_{g,h}(β) $ which we conjecture to be equivalent: one in terms of a version of Pandharipande-Thomas theory and one in terms of a version of Maulik-Toda theory. We compute our invariants and give evidence for our conjecture in several cases. In particular, we compute our invariants when $X=S\times \mathbb{C}$ where $S$ is an Abelian surface with $\imath (a)=-a$ or a $K3$ surface with a symplectic involution (a Nikulin $K3$ surface). For these cases, we give formulas for our invariants in terms of Jacobi modular forms. For the Abelian surface case, the specialization of our invariants $n_{g,h}(β) $ to $h=0$ recovers the count of hyperelliptic curves on an Abelian surface first computed by Bryan-Oberdieck-Pandharipande-Yin. △ Less

Submitted 28 March, 2022; v1 submitted 22 March, 2022; originally announced March 2022.

Comments: Fixed typos, added a remark, added and updated references

$G$-fixed Hilbert schemes on $K3$ surfaces, modular forms, and eta products

Authors: Jim Bryan, Ádám Gyenge

Abstract: Let $X$ be a complex $K3$ surface with an effective action of a group $G$ which preserves the holomorphic symplectic form. Let $$ Z_{X,G}(q) = \sum_{n=0}^{\infty} e\left(\operatorname{Hilb}^{n}(X)^{G} \right)\, q^{n-1} $$ be the generating function for the Euler characteristics of the Hilbert schemes of $G$-invariant length $n$ subschemes. We show that its reciprocal, $Z_{X,G}(q)^{-1}$ is the Four… ▽ More Let $X$ be a complex $K3$ surface with an effective action of a group $G$ which preserves the holomorphic symplectic form. Let $$ Z_{X,G}(q) = \sum_{n=0}^{\infty} e\left(\operatorname{Hilb}^{n}(X)^{G} \right)\, q^{n-1} $$ be the generating function for the Euler characteristics of the Hilbert schemes of $G$-invariant length $n$ subschemes. We show that its reciprocal, $Z_{X,G}(q)^{-1}$ is the Fourier expansion of a modular cusp form of weight $\frac{1}{2} e(X/G)$ for the congruence subgroup $Γ_{0}(|G|)$. We give an explicit formula for $Z_{X,G}$ in terms of the Dedekind eta function for all 82 possible $(X,G)$. The key intermediate result we prove is of independent interest: it establishes an eta product identity for a certain shifted theta function of the root lattice of a simply laced root system. We extend our results to various refinements of the Euler characteristic, namely the Elliptic genus, the Chi-$y$ genus, and the motivic class. △ Less

Submitted 7 March, 2022; v1 submitted 2 July, 2019; originally announced July 2019.

Comments: Published version. Greatly simplified proof of Proposition 3.1

MSC Class: 14J28; 14C05; 11F03; 11F20; 11F27

Journal ref: Épijournal de Géométrie Algébrique, Volume 6 (March 9, 2022) epiga:6986

The Donaldson-Thomas partition function of the banana manifold

Authors: Jim Bryan

Abstract: A banana manifold is a compact Calabi-Yau threefold, fibered by Abelian surfaces, whose singular fibers have a singular locus given by a "banana configuration of curves". A basic example is given by $X_{ban}$, the blowup along the diagonal of the fibered product of a generic rational elliptic surface $S\to \mathbb{P}^{1}$ with itself. In this paper we give a closed formula for the Donaldson-Thom… ▽ More A banana manifold is a compact Calabi-Yau threefold, fibered by Abelian surfaces, whose singular fibers have a singular locus given by a "banana configuration of curves". A basic example is given by $X_{ban}$, the blowup along the diagonal of the fibered product of a generic rational elliptic surface $S\to \mathbb{P}^{1}$ with itself. In this paper we give a closed formula for the Donaldson-Thomas partition function of the banana manifold $X_{ban }$ restricted to the 3-dimensional lattice $Γ$ of curve classes supported in the fibers of $X_{ban}\to \mathbb{P}^{1}$. It is given by \[ Z_Γ(X_{ban}) = \prod_{d_{1},d_{2},d_{3}\geq 0} \prod_{k} \left(1-p^{k}Q_{1}^{d_{1}}Q_{2}^{d_{2}}Q_{3}^{d_{3}}\right)^{-12c(||\mathbf{d} ||,k)} \] where $||\mathbf{d} || = 2d_{1}d_{2}+ 2d_{2}d_{3}+ 2d_{3}d_{1}-d_{1}^{2}-d_{2}^{2}-d_{3}^{2}$, and the coefficients $c(a,k)$ have a generating function given by an explicit ratio of theta functions. This formula has interesting properties and is closely realated to the equivariant elliptic genera of $\operatorname{Hilb} (\mathbb{C}^{2})$. In an appendix with S. Pietromonaco, it is shown that the corresponding genus $g$ Gromov-Witten potential $F_{g}$ is a genus 2 Siegel modular form of weight $2g-2$ for $g\geq 2$; namely it is the Skoruppa-Maass lift of a multiple of an Eisenstein series: $\frac{6|B_{2g}|}{g(2g-2)!} E_{2g}(τ)$. △ Less

Submitted 22 February, 2019; originally announced February 2019.

Comments: With an Appendix by Jim Bryan and Stephen Pietromonaco

MSC Class: 14N35; 11F46; 11F50

CHL Calabi-Yau threefolds: Curve counting, Mathieu moonshine and Siegel modular forms

Authors: Jim Bryan, Georg Oberdieck

Abstract: A CHL model is the quotient of $\mathrm{K3} \times E$ by an order $N$ automorphism which acts symplectically on the K3 surface and acts by shifting by an $N$-torsion point on the elliptic curve $E$. We conjecture that the primitive Donaldson-Thomas partition function of elliptic CHL models is a Siegel modular form, namely the Borcherds lift of the corresponding twisted-twined elliptic genera which… ▽ More A CHL model is the quotient of $\mathrm{K3} \times E$ by an order $N$ automorphism which acts symplectically on the K3 surface and acts by shifting by an $N$-torsion point on the elliptic curve $E$. We conjecture that the primitive Donaldson-Thomas partition function of elliptic CHL models is a Siegel modular form, namely the Borcherds lift of the corresponding twisted-twined elliptic genera which appear in Mathieu moonshine. The conjecture matches predictions of string theory by David, Jatkar and Sen. We use the topological vertex to prove several base cases of the conjecture. Via a degeneration to $\mathrm{K3} \times \mathbb{P}^1$ we also express the DT partition functions as a twisted trace of an operator on Fock space. This yields further computational evidence. An extension of the conjecture to non-geometric CHL models is discussed. We consider CHL models of order $N=2$ in detail. We conjecture a formula for the Donaldson-Thomas invariants of all order two CHL models in all curve classes. The conjecture is formulated in terms of two Siegel modular forms. One of them, a Siegel form for the Iwahori subgroup, has to our knowledge not yet appeared in physics. This discrepancy is discussed in an appendix with Sheldon Katz. △ Less

Submitted 14 November, 2018; originally announced November 2018.

Comments: 73 pages, including a 10 page Appendix by Sheldon Katz and the second author. Comments welcome

Existence of locally maximally entangled quantum states via geometric invariant theory

Authors: Jim Bryan, Zinovy Reichstein, Mark Van Raamsdonk

Abstract: We study a question which has natural interpretations in both quantum mechanics and in geometry. Let $V_1,..., V_n$ be complex vector spaces of dimension $d_1,...,d_n$ and let $G= SL_{d_1} \times \dots \times SL_{d_n}$. Geometrically, we ask given $(d_1,...,d_n)$, when is the geometric invariant theory quotient $\mathbb{P}(V_1 \otimes \dots \otimes V_n)// G$ non-empty? This is equivalent to the qu… ▽ More We study a question which has natural interpretations in both quantum mechanics and in geometry. Let $V_1,..., V_n$ be complex vector spaces of dimension $d_1,...,d_n$ and let $G= SL_{d_1} \times \dots \times SL_{d_n}$. Geometrically, we ask given $(d_1,...,d_n)$, when is the geometric invariant theory quotient $\mathbb{P}(V_1 \otimes \dots \otimes V_n)// G$ non-empty? This is equivalent to the quantum mechanical question of whether the multipart quantum system with Hilbert space $V_1\otimes \dots \otimes V_n$ has a locally maximally entangled state, i.e. a state such that the density matrix for each elementary subsystem is a multiple of the identity. We show that the answer to this question is yes if and only if $R(d_1,...,d_n)\geqslant 0$ where \[ R(d_1,...,d_n) = \prod_i d_i +\sum_{k=1}^n (-1)^k \sum_{1\leq i_1<\dotsb <i_k\leq n} (\gcd(d_{i_1},\dotsc ,d_{i_k}) )^{2}. \] We also provide a simple recursive algorithm which determines the answer to the question, and we compute the dimension of the resulting quotient in the non-empty cases. △ Less

Submitted 28 September, 2017; v1 submitted 4 August, 2017; originally announced August 2017.

Comments: Improved the exposition and streamlined some proofs using results of Littelmann and Sato-Kimura

Donaldson-Thomas invariants of local elliptic surfaces via the topological vertex

Authors: Jim Bryan, Martijn Kool

Abstract: We compute the Donaldson-Thomas invariants of a local elliptic surface with section. We introduce a new computational technique which is a mixture of motivic and toric methods. This allows us to write the partition function for the invariants in terms of the topological vertex. Utilizing identities for the topological vertex proved in arXiv:1603.05271, we derive product formulas for the partition… ▽ More We compute the Donaldson-Thomas invariants of a local elliptic surface with section. We introduce a new computational technique which is a mixture of motivic and toric methods. This allows us to write the partition function for the invariants in terms of the topological vertex. Utilizing identities for the topological vertex proved in arXiv:1603.05271, we derive product formulas for the partition functions. The connected version of the partition function is written in terms of Jacobi forms. In the special case where the elliptic surface is a K3 surface, we get a derivation of the Katz-Klemm-Vafa formula for primitive curve classes which is independent of the computation of Kawai-Yoshioka. △ Less

Submitted 5 February, 2019; v1 submitted 26 August, 2016; originally announced August 2016.

Comments: 43 pages, 3 figures. Formal methods replaced by much simpler stratification according to location of embedded points. Published version

Journal ref: Forum of Math. Sigma (2019) Vol. 7, e7, 45 pages

Trace Identities for the Topological Vertex

Authors: Jim Bryan, Martijn Kool, Benjamin Young

Abstract: The topological vertex is a universal series which can be regarded as an object in combinatorics, representation theory, geometry, or physics. It encodes the combinatorics of 3D partitions, the action of vertex operators on Fock space, the Donaldson-Thomas theory of toric Calabi-Yau threefolds, or the open string partition function of $\mathbb{C}^3$. We prove several identities in which a sum ov… ▽ More The topological vertex is a universal series which can be regarded as an object in combinatorics, representation theory, geometry, or physics. It encodes the combinatorics of 3D partitions, the action of vertex operators on Fock space, the Donaldson-Thomas theory of toric Calabi-Yau threefolds, or the open string partition function of $\mathbb{C}^3$. We prove several identities in which a sum over terms involving the topological vertex is expressed as a closed formula, often a product of simple terms, closely related to Fourier expansions of Jacobi forms. We use purely combinatorial and representation theoretic methods to prove our formulas, but we discuss applications to the Donaldson-Thomas invariants of elliptically fibered Calabi-Yau threefolds at the end of the paper. △ Less

Submitted 5 February, 2019; v1 submitted 16 March, 2016; originally announced March 2016.

Comments: 21 pages. Published version

Journal ref: Selecta Math. 24 (2018) 1527-1548

Curve counting on abelian surfaces and threefolds

Authors: Jim Bryan, Georg Oberdieck, Rahul Pandharipande, Qizheng Yin

Abstract: We study the enumerative geometry of algebraic curves on abelian surfaces and threefolds. In the abelian surface case, the theory is parallel to the well-developed study of the reduced Gromov-Witten theory of K3 surfaces. We prove complete results in all genera for primitive classes. The generating series are quasimodular forms of pure weight. Conjectures for imprimitive classes are presented. In… ▽ More We study the enumerative geometry of algebraic curves on abelian surfaces and threefolds. In the abelian surface case, the theory is parallel to the well-developed study of the reduced Gromov-Witten theory of K3 surfaces. We prove complete results in all genera for primitive classes. The generating series are quasimodular forms of pure weight. Conjectures for imprimitive classes are presented. In genus 2, the counts in all classes are proven. Special counts match the Euler characteristic calculations of the moduli spaces of stable pairs on abelian surfaces by Göttsche-Shende. A formula for hyperelliptic curve counting in terms of Jacobi forms is proven (modulo a transversality statement). For abelian threefolds, complete conjectures in terms of Jacobi forms for the generating series of curve counts in primitive classes are presented. The base cases make connections to classical lattice counts of Debarre, Goettsche, and Lange-Sernesi. Further evidence is provided by Donaldson-Thomas partition function computations for abelian threefolds. A multiple cover structure is presented. The abelian threefold conjectures open a new direction in the subject. △ Less

Submitted 12 December, 2016; v1 submitted 2 June, 2015; originally announced June 2015.

Comments: 93 pages; Section 7.6 added

The Donaldson-Thomas theory of $K3\times E$ via the topological vertex

Authors: Jim Bryan

Abstract: Oberdieck and Pandharipande conjectured that the curve counting invariants of $S\times E$, the product of a $K3$ surface and an elliptic curve, is given by minus the reciprocal of the Igusa cusp form of weight 10. For a fixed primitive curve class in $S$ of square $2h-2$, their conjecture predicts that the corresponding partition functions are given by meromorphic Jacobi forms of weight $-10$ and… ▽ More Oberdieck and Pandharipande conjectured that the curve counting invariants of $S\times E$, the product of a $K3$ surface and an elliptic curve, is given by minus the reciprocal of the Igusa cusp form of weight 10. For a fixed primitive curve class in $S$ of square $2h-2$, their conjecture predicts that the corresponding partition functions are given by meromorphic Jacobi forms of weight $-10$ and index $h-1$. We calculate the partition functions for primitive classes of square -2 and of square 0. Our computation uses reduced Donaldson-Thomas invariants which are defined as the Behrend function weighted Euler characteristics of the quotient of the Hilbert scheme of curves in $S\times E$ by the action of $E$. Our technique is a mixture of motivic and toric methods (developed with Martijn Kool) which allows us to express the partition functions in terms of the topological vertex and subsequently in terms of Jacobi forms. We compute the partition functions for both Behrend function weighted Euler characteristics and for unweighted Euler characteristics. The results for the Behrend function weighted case depends on Conjecture 18 from https://arxiv.boxedpaper.com/abs/1608.07369 △ Less

Submitted 21 November, 2017; v1 submitted 11 April, 2015; originally announced April 2015.

Comments: Long overdue revision. Replaced erroneous Behrend function section with new section

Curve-counting invariants for crepant resolutions

Authors: Jim Bryan, David Steinberg

Abstract: We construct curve counting invariants for a Calabi-Yau threefold $Y$ equipped with a dominant birational morphism $π:Y \to X$. Our invariants generalize the stable pair invariants of Pandharipande and Thomas which occur for the case when $π:Y\to Y$ is the identity. Our main result is a PT/DT-type formula relating the partition function of our invariants to the Donaldson-Thomas partition function… ▽ More We construct curve counting invariants for a Calabi-Yau threefold $Y$ equipped with a dominant birational morphism $π:Y \to X$. Our invariants generalize the stable pair invariants of Pandharipande and Thomas which occur for the case when $π:Y\to Y$ is the identity. Our main result is a PT/DT-type formula relating the partition function of our invariants to the Donaldson-Thomas partition function in the case when $Y$ is a crepant resolution of $X$, the coarse space of a Calabi-Yau orbifold $\mathcal{X}$ satisfying the hard Lefschetz condition. In this case, our partition function is equal to the Pandharipande-Thomas partition function of the orbifold $\mathcal{X}$. Our methods include defining a new notion of stability for sheaves which depends on the morphism $π$. Our notion generalizes slope stability which is recovered in the case where $π$ is the identity on $Y$. Our proof is a generalization of Bridgeland's proof of the PT/DT correspondence via the Hall algebra and Joyce's integration map. △ Less

Submitted 1 July, 2014; v1 submitted 4 August, 2012; originally announced August 2012.

Comments: In this version, Jim Bryan has been added as an author and the required boundedness result for our stability condition has been added. arXiv admin note: text overlap with arXiv:1002.4374 by other authors

MSC Class: 14N35

Motivic Classes of Commuting Varieties via Power Structures

Authors: Jim Bryan, Andrew Morrison

Abstract: We prove a formula, originally due to Feit and Fine, for the class of the commuting variety in the Grothendieck group of varieties. Our method, which uses a power structure on the Grothendieck group of stacks, allows us to prove several refinements and generalizations of the Feit-Fine formula. Our main application is to motivic Donaldson-Thomas theory. We prove a formula, originally due to Feit and Fine, for the class of the commuting variety in the Grothendieck group of varieties. Our method, which uses a power structure on the Grothendieck group of stacks, allows us to prove several refinements and generalizations of the Feit-Fine formula. Our main application is to motivic Donaldson-Thomas theory. △ Less

Submitted 25 June, 2012; originally announced June 2012.

MSC Class: 14C15; 14N35

The Orbifold Topological Vertex

Authors: Jim Bryan, Charles Cadman, Ben Young

Abstract: We define Donaldson-Thomas invariants of Calabi-Yau orbifolds and we develop a topological vertex formalism for computing them. The basic combinatorial object is the orbifold vertex, a generating function for the number of 3D partitions asymptotic to three given 2D partitions and colored by representations of a finite Abelian group G acting on C^3. In the case where G=Z_n acting on C^3 with transv… ▽ More We define Donaldson-Thomas invariants of Calabi-Yau orbifolds and we develop a topological vertex formalism for computing them. The basic combinatorial object is the orbifold vertex, a generating function for the number of 3D partitions asymptotic to three given 2D partitions and colored by representations of a finite Abelian group G acting on C^3. In the case where G=Z_n acting on C^3 with transverse A_{n-1} quotient singularities, we give an explicit formula for the vertex in terms of Schur functions. We discuss applications of our formalism to the Donaldson-Thomas Crepant Resolution Conjecture and to the orbifold Donaldson-Thomas/Gromov-Witten correspondence. We also explicitly compute the Donaldson-Thomas partition function for some simple orbifold geometries: the local football and the local BZ_2 gerbe. △ Less

Submitted 25 August, 2010; originally announced August 2010.

Comments: 70 pages, lots of figures

Motivic degree zero Donaldson-Thomas invariants

Authors: Kai Behrend, Jim Bryan, Balazs Szendroi

Abstract: Given a smooth complex threefold X, we define the virtual motive of the Hilbert scheme of n points on X. In the case when X is Calabi-Yau, this gives a motivic refinement of the n-point degree zero Donaldson-Thomas invariant of X. The key example is affine three-space, where the Hilbert scheme can be expressed as the critical locus of a regular function on a smooth variety, and its virtual motive… ▽ More Given a smooth complex threefold X, we define the virtual motive of the Hilbert scheme of n points on X. In the case when X is Calabi-Yau, this gives a motivic refinement of the n-point degree zero Donaldson-Thomas invariant of X. The key example is affine three-space, where the Hilbert scheme can be expressed as the critical locus of a regular function on a smooth variety, and its virtual motive is defined in terms of the Denef-Loeser motivic nearby fiber. A crucial technical result asserts that if a function is equivariant with respect to a suitable torus action, its motivic nearby fiber is simply given by the motivic class of a general fiber. This allows us to compute the generating function of the virtual motives of the Hilbert schemes of affine three-space via a direct computation involving the motivic class of the commuting variety. We then give a formula for the generating function for arbitrary X as a motivic exponential, generalizing known results in lower dimensions. The weight polynomial specialization leads to a product formula in terms of deformed MacMahon functions, analogous to Gottsche's formula for the Poincare polynomials of the Hilbert schemes of points on surfaces. △ Less

Submitted 30 August, 2010; v1 submitted 28 September, 2009; originally announced September 2009.

Comments: Completely rewritten version. We have stronger results and better formulas and we have proven the result previously left as a conjecture. See new abstract

BPS invariants for resolutions of polyhedral singularities

Authors: Jim Bryan, Amin Gholampour

Abstract: We study the BPS invariants of the preferred Calabi-Yau resolution of ADE polyhedral singularities C^3/G given by Nakamura's G-Hilbert schemes. Genus 0 BPS invariants are defined by means of the moduli space of torsion sheaves as proposed by Sheldon Katz. We show that these invariants are equal to half the number of certain positive roots of an ADE root system associated to G. This is in agreeme… ▽ More We study the BPS invariants of the preferred Calabi-Yau resolution of ADE polyhedral singularities C^3/G given by Nakamura's G-Hilbert schemes. Genus 0 BPS invariants are defined by means of the moduli space of torsion sheaves as proposed by Sheldon Katz. We show that these invariants are equal to half the number of certain positive roots of an ADE root system associated to G. This is in agreement with the prediction via Gromov-Witten theory. △ Less

Submitted 5 May, 2009; originally announced May 2009.

MSC Class: 14N35

The Quantum McKay Correspondence for polyhedral singularities

Authors: Jim Bryan, Amin Gholampour

Abstract: Let G be a polyhedral group, namely a finite subgroup of SO(3). Nakamura's G-Hilbert scheme provides a preferred Calabi-Yau resolution Y of the polyhedral singularity C^3/G. The classical McKay correspondence describes the classical geometry of Y in terms of the representation theory of G. In this paper we describe the quantum geometry of Y in terms of R, an ADE root system associated to G. Name… ▽ More Let G be a polyhedral group, namely a finite subgroup of SO(3). Nakamura's G-Hilbert scheme provides a preferred Calabi-Yau resolution Y of the polyhedral singularity C^3/G. The classical McKay correspondence describes the classical geometry of Y in terms of the representation theory of G. In this paper we describe the quantum geometry of Y in terms of R, an ADE root system associated to G. Namely, we give an explicit formula for the Gromov-Witten partition function of Y as a product over the positive roots of R. In terms of counts of BPS states (Gopakumar-Vafa invariants), our result can be stated as a correspondence: each positive root of R corresponds to one half of a genus zero BPS state. As an application, we use the crepant resolution conjecture to provide a full prediction for the orbifold Gromov-Witten invariants of [C^3/G]. △ Less

Submitted 31 July, 2009; v1 submitted 26 March, 2008; originally announced March 2008.

Comments: Introduction rewritten. Issue regarding non-uniqueness of conifold resolution clarified. Version to appear in Inventiones

MSC Class: 14N35

Generating functions for colored 3D Young diagrams and the Donaldson-Thomas invariants of orbifolds

Authors: Benjamin Young, Jim Bryan

Abstract: We derive two multivariate generating functions for three-dimensional Young diagrams (also called plane partitions). The variables correspond to a colouring of the boxes according to a finite Abelian subgroup G of SO(3). We use the vertex operator methods of Okounkov--Reshetikhin--Vafa for the easy case G = Z/n; to handle the considerably more difficult case G=Z/2 x Z/2, we will also use a refin… ▽ More We derive two multivariate generating functions for three-dimensional Young diagrams (also called plane partitions). The variables correspond to a colouring of the boxes according to a finite Abelian subgroup G of SO(3). We use the vertex operator methods of Okounkov--Reshetikhin--Vafa for the easy case G = Z/n; to handle the considerably more difficult case G=Z/2 x Z/2, we will also use a refinement of the author's recent q--enumeration of pyramid partitions. In the appendix, we relate the diagram generating functions to the Donaldson-Thomas partition functions of the orbifold C^3/G. We find a relationship between the Donaldson-Thomas partition functions of the orbifold and its G-Hilbert scheme resolution. We formulate a crepant resolution conjecture for the Donaldson-Thomas theory of local orbifolds satisfying the Hard Lefschetz condition. △ Less

Submitted 2 July, 2008; v1 submitted 26 February, 2008; originally announced February 2008.

Comments: 38 pages, 10 figures. v2:fixed errors in defn 1.1, defn of e_n and h_n, the first displayed equation in the appendix (by Jim Bryan), and the sign for orbifold DT invariants of [C3/Z_3] in Remark A.5. Added example in section 3, updated bibliography, and made slight clarifications and changes in wording throughout

MSC Class: 05A15; 14J32

Journal ref: Duke Math. J. 152, no. 1 (2010), 115-153

Hurwitz-Hodge Integrals, the E6 and D4 root systems, and the Crepant Resolution Conjecture

Authors: Jim Bryan, Amin Gholampour

Abstract: Let G be the group A_4 or Z_2xZ_2. We compute the integral of λ_g on the Hurwitz locus H_G\subset M_g of curves admitting a degree 4 cover of P^1 having monodromy group G. We compute the generating functions for these integrals and write them as a trigonometric expression summed over the positive roots of the E_6 and D_4 root systems respectively. As an application, we prove the Crepant Resoluti… ▽ More Let G be the group A_4 or Z_2xZ_2. We compute the integral of λ_g on the Hurwitz locus H_G\subset M_g of curves admitting a degree 4 cover of P^1 having monodromy group G. We compute the generating functions for these integrals and write them as a trigonometric expression summed over the positive roots of the E_6 and D_4 root systems respectively. As an application, we prove the Crepant Resolution Conjecture for the orbifolds [C^3/A_4] and [C^3/(Z_2xZ_2)]. △ Less

Submitted 30 August, 2007; originally announced August 2007.

MSC Class: 14H10; 14N35

Root Systems and the Quantum Cohomology of ADE resolutions

Authors: Jim Bryan, Amin Gholampour

Abstract: We compute the C*-equivariant quantum cohomology ring of Y, the minimal resolution of the DuVal singularity C^2/G where G is a finite subgroup of SU(2). The quantum product is expressed in terms of an ADE root system canonically associated to G. We generalize the resulting Frobenius manifold to non-simply laced root systems to obtain an n parameter family of algebra structures on the affine root… ▽ More We compute the C*-equivariant quantum cohomology ring of Y, the minimal resolution of the DuVal singularity C^2/G where G is a finite subgroup of SU(2). The quantum product is expressed in terms of an ADE root system canonically associated to G. We generalize the resulting Frobenius manifold to non-simply laced root systems to obtain an n parameter family of algebra structures on the affine root lattice of any root system. Using the Crepant Resolution Conjecture, we obtain a prediction for the orbifold Gromov-Witten potential of [C^2/G]. △ Less

Submitted 9 July, 2007; originally announced July 2007.

MSC Class: 14N35

The Crepant Resolution Conjecture

Authors: Jim Bryan, Tom Graber

Abstract: For orbifolds admitting a crepant resolution and satisfying a hard Lefschetz condition, we formulate a conjectural equivalence between the Gromov-Witten theories of the orbifold and the resolution. We prove the conjecture for the equivariant Gromov-Witten theories of the nth symmetric product of the complex plane and the Hilbert scheme of n points in the plane. For orbifolds admitting a crepant resolution and satisfying a hard Lefschetz condition, we formulate a conjectural equivalence between the Gromov-Witten theories of the orbifold and the resolution. We prove the conjecture for the equivariant Gromov-Witten theories of the nth symmetric product of the complex plane and the Hilbert scheme of n points in the plane. △ Less

Submitted 7 January, 2007; v1 submitted 3 October, 2006; originally announced October 2006.

Comments: The relationship between our conjecture and Ruan's original conjecture is clarified. We have also added the Hard Lefschetz hypothesis for our orbifolds, a condition whose necessity was made clear by the very nice recent paper of Coates, Corti, Iritani, and Tseng (math.AG/0611550)

MSC Class: 14N35

Super-rigid Donaldson-Thomas invariants

Authors: Kai Behrend, Jim Bryan

Abstract: We solve the part of the Donaldson-Thomas theory of Calabi-Yau threefolds which comes from super-rigid rational curves. As an application, we prove a version of the conjectural Gromov-Witten/Donaldson-Thomas correspondence for contributions from super-rigid rational curves. In particular, we prove the full GW/DT correspondence for the quintic threefold in degrees one and two. We solve the part of the Donaldson-Thomas theory of Calabi-Yau threefolds which comes from super-rigid rational curves. As an application, we prove a version of the conjectural Gromov-Witten/Donaldson-Thomas correspondence for contributions from super-rigid rational curves. In particular, we prove the full GW/DT correspondence for the quintic threefold in degrees one and two. △ Less

Submitted 9 January, 2006; originally announced January 2006.

MSC Class: 14J32

The orbifold quantum cohomology of C^2/Z_3 and Hurwitz-Hodge integrals

Authors: Jim Bryan, Tom Graber, Rahul Pandharipande

Abstract: Let Z_3 act on C^2 by non-trivial opposite characters. Let X =[C^2/Z_3] be the orbifold quotient, and let Y be the unique crepant resolution. We show the equivariant genus 0 Gromov-Witten potentials of X and Y are equal after a change of variables -- verifying the Crepant Resolution Conjecture for the pair (X,Y). Our computations involve Hodge integrals on trigonal Hurwitz spaces which are of in… ▽ More Let Z_3 act on C^2 by non-trivial opposite characters. Let X =[C^2/Z_3] be the orbifold quotient, and let Y be the unique crepant resolution. We show the equivariant genus 0 Gromov-Witten potentials of X and Y are equal after a change of variables -- verifying the Crepant Resolution Conjecture for the pair (X,Y). Our computations involve Hodge integrals on trigonal Hurwitz spaces which are of independent interest. In a self contained Appendix, we derive closed formulas for these Hurwitz-Hodge integrals. △ Less

Submitted 16 October, 2005; originally announced October 2005.

Comments: 25 pages

MSC Class: 14N35

The local Gromov-Witten theory of curves

Authors: Jim Bryan, Rahul Pandharipande

Abstract: The local Gromov-Witten theory of curves is solved by localization and degeneration methods. Localization is used for the exact evaluation of basic integrals in the local Gromov-Witten theory of P^1. A TQFT formalism is defined via degeneration to capture higher genus curves. Together, the results provide a compete and effective solution. The local Gromov-Witten theory of curves is equivalent… ▽ More The local Gromov-Witten theory of curves is solved by localization and degeneration methods. Localization is used for the exact evaluation of basic integrals in the local Gromov-Witten theory of P^1. A TQFT formalism is defined via degeneration to capture higher genus curves. Together, the results provide a compete and effective solution. The local Gromov-Witten theory of curves is equivalent to the local Donaldson-Thomas theory of curves, the quantum cohomology of the Hilbert scheme points of C^2, and the orbifold quantum cohomology the symmetric product of C^2. The results of the paper provide the local Gromov-Witten calculations required for the proofs of these equivalences. △ Less

Submitted 25 November, 2006; v1 submitted 1 November, 2004; originally announced November 2004.

Comments: Introduction rewritten, version to appear in JAMS

MSC Class: 14N35

On the rigidity of stable maps to Calabi-Yau threefolds

Authors: Jim Bryan, Rahul Pandharipande

Abstract: If X is a nonsingular curve in a Calabi--Yau threefold Y whose normal bundle N_{X/Y} is a generic semistable bundle, are the local Gromov-Witten invariants of X well defined? For X of genus two or higher, the issues are subtle. We will formulate a precise line of inquiry and present some results, some positive and some negative. If X is a nonsingular curve in a Calabi--Yau threefold Y whose normal bundle N_{X/Y} is a generic semistable bundle, are the local Gromov-Witten invariants of X well defined? For X of genus two or higher, the issues are subtle. We will formulate a precise line of inquiry and present some results, some positive and some negative. △ Less

Submitted 13 March, 2009; v1 submitted 11 May, 2004; originally announced May 2004.

Comments: This is the version published by Geometry & Topology Monographs on 22 April 2006

MSC Class: 14J32; 14N35

Journal ref: Geom. Topol. Monogr. 8 (2006) 97-104

The closed topological vertex via the Cremona transform

Authors: Jim Bryan, Dagan Karp

Abstract: We compute the local Gromov-Witten invariants of the "closed vertex", that is, a configuration of three rational curves meeting in a single triple point in a Calabi-Yau threefold. The method is to express the local invariants of the vertex in terms of ordinary Gromov-Witten invariants of a certain blowup of CP^3 and then to compute those invariants via the geometry of the Cremona transformation. We compute the local Gromov-Witten invariants of the "closed vertex", that is, a configuration of three rational curves meeting in a single triple point in a Calabi-Yau threefold. The method is to express the local invariants of the vertex in terms of ordinary Gromov-Witten invariants of a certain blowup of CP^3 and then to compute those invariants via the geometry of the Cremona transformation. △ Less

Submitted 12 November, 2003; originally announced November 2003.

Comments: 11 pages

MSC Class: 14J32; 14N35

Curves in Calabi-Yau 3-folds and Topological Quantum Field Theory

Authors: Jim Bryan, Rahul Pandharipande

Abstract: We continue our study of the local Gromov-Witten invariants of curves in Calabi-Yau 3-folds. We define relative invariants for the local theory which give rise to a 1+1-dimensional TQFT taking values in the ring Q[[t]]. The associated Frobenius algebra over Q[[t]] is semisimple. Consequently, we obtain a structure result for the local invariants. As an easy consequence of our structure formula… ▽ More We continue our study of the local Gromov-Witten invariants of curves in Calabi-Yau 3-folds. We define relative invariants for the local theory which give rise to a 1+1-dimensional TQFT taking values in the ring Q[[t]]. The associated Frobenius algebra over Q[[t]] is semisimple. Consequently, we obtain a structure result for the local invariants. As an easy consequence of our structure formula, we recover the closed formulas for the local invariants in case either the target genus or the degree equals 1. △ Less

Submitted 11 May, 2004; v1 submitted 22 June, 2003; originally announced June 2003.

Comments: Version to appear in Duke. Section 6 has been removed and incorporated into another paper

Surface bundles over surfaces of small genus

Authors: Jim Bryan, Ron Donagi

Abstract: We construct examples of non-isotrivial algebraic families of smooth complex projective curves over a curve of genus 2. This solves a problem from Kirby's list of problems in low-dimensional topology. Namely, we show that 2 is the smallest possible base genus that can occur in a 4-manifold of non-zero signature which is an oriented fiber bundle over a Riemann surface. A refined version of the pr… ▽ More We construct examples of non-isotrivial algebraic families of smooth complex projective curves over a curve of genus 2. This solves a problem from Kirby's list of problems in low-dimensional topology. Namely, we show that 2 is the smallest possible base genus that can occur in a 4-manifold of non-zero signature which is an oriented fiber bundle over a Riemann surface. A refined version of the problem asks for the minimal base genus for fixed signature and fiber genus. Our constructions also provide new (asymptotic) upper bounds for these numbers. △ Less

Submitted 28 February, 2002; v1 submitted 24 May, 2001; originally announced May 2001.

Comments: Published in Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol6/paper3.abs.html

MSC Class: 14D05; 14D06; 57M20; 57N05; 57N13; 14J29

Journal ref: Geom. Topol. 6 (2002) 59-67

BPS states of curves in Calabi--Yau 3--folds

Authors: Jim Bryan, Rahul Pandharipande

Abstract: The Gopakumar-Vafa conjecture is defined and studied for the local geometry of a curve in a Calabi-Yau 3-fold. The integrality predicted in Gromov-Witten theory by the Gopakumar-Vafa BPS count is verified in a natural series of cases in this local geometry. The method involves Gromov-Witten computations, Mobius inversion, and a combinatorial analysis of the numbers of etale covers of a curve. The Gopakumar-Vafa conjecture is defined and studied for the local geometry of a curve in a Calabi-Yau 3-fold. The integrality predicted in Gromov-Witten theory by the Gopakumar-Vafa BPS count is verified in a natural series of cases in this local geometry. The method involves Gromov-Witten computations, Mobius inversion, and a combinatorial analysis of the numbers of etale covers of a curve. △ Less

Submitted 12 June, 2002; v1 submitted 2 September, 2000; originally announced September 2000.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol5/paper9.abs.html Version 3 is GT version 2 and has corrections to eq (2) on p 295, to 1st eq in Prop 2.1 and the tables on p 395

MSC Class: 14N35; 81T30

Journal ref: Geom. Topol. 5 (2001) 287-318

Evidence for a conjecture of Pandharipande

Authors: Jim Bryan

Abstract: In his paper "Hodge integrals and degenerate contributions", Pandharipande studied the relationship between the enumerative geometry of certain 3-folds and the Gromov-Witten invariants. In some good cases, enumerative invariants (which are manifestly integers) can be expressed as a rational combination of Gromov-Witten invariants. Pandharipande speculated that the same combination of invariants… ▽ More In his paper "Hodge integrals and degenerate contributions", Pandharipande studied the relationship between the enumerative geometry of certain 3-folds and the Gromov-Witten invariants. In some good cases, enumerative invariants (which are manifestly integers) can be expressed as a rational combination of Gromov-Witten invariants. Pandharipande speculated that the same combination of invariants should yield integers even when they do not have any enumerative significance on the 3-fold. In the case when the 3-fold is the product of a complex surface and an elliptic curve, Pandharipande has computed this combination of invariants on the 3-fold in terms of the Gromov-Witten invariants of the surface. This computation yields surprising conjectural predictions about the genus 0 and genus 1 Gromov-Witten invariants of complex surfaces. The conjecture states that certain rational combinations of the genus 0 and genus 1 Gromov-Witten invariants are always integers. Since the Gromov-Witten invariants for surfaces are often enumerative (as oppose to 3-folds), this conjecture can often also be interpreted as giving certain congruence relations among the various enumerative invariants of a surface. In this note, we state Pandharipande's conjecture and we prove it for an infinite series of classes in the case of the projective plane blown-up at 9 points. In this case, we find generating functions for the numbers appearing in the conjecture in terms of quasi-modular forms. We then prove the integrality of the numbers by proving a certain a congruence property of modular forms that is reminiscent of Ramanujan's mod 5 congruences of the partition function. △ Less

Submitted 3 August, 2000; originally announced August 2000.

Comments: For proceedings of 7th Gokova Geometry and Topology conference; uses gokova.cls

MSC Class: 14N35; 53D45

G-bundles on Abelian surfaces, hyperkahler manifolds, and stringy Hodge numbers

Authors: Jim Bryan, Ron Donagi, Naichung Conan Leung

Abstract: We study the moduli space M(G,A) of flat G-bundles on an Abelian surface A, where G is a compact, simple, simply connected, connected Lie group. Equivalently, M(G,A) is the (coarse) moduli space of s-equivalence classes of holomorphic semi-stable G_C-bundles with trivial Chern classes where G_C is the complexified group. M(G,A) has the structure of a hyperkahler orbifold. We show that when G i… ▽ More We study the moduli space M(G,A) of flat G-bundles on an Abelian surface A, where G is a compact, simple, simply connected, connected Lie group. Equivalently, M(G,A) is the (coarse) moduli space of s-equivalence classes of holomorphic semi-stable G_C-bundles with trivial Chern classes where G_C is the complexified group. M(G,A) has the structure of a hyperkahler orbifold. We show that when G is Sp(n) or SU(n), M(G,A) has a natural hyperkahler desingularization which we exhibit as a moduli space of G_C-bundles with an altered stability condition. In this way, we obtain the two known families of hyperkahler manifolds, the Hilbert scheme of points on a K3 surface and the generalized Kummer varieties. We show that for G not Sp(n) or SU(n), the moduli space M(G,A) does not admit a hyperkahler resolution, in fact, it does not have a crepant resolution. Inspired by the physicists Vafa and Zaslow, Batyrev and Dais define ``stringy Hodge numbers'' for certain orbifolds. These numbers are conjectured to agree with the Hodge numbers of a crepant resolution (when it exists). We compute the stringy Hodge numbers of M(SU(n),A) and M(Sp(n),A) and verify the conjecture in these cases. △ Less

Submitted 25 April, 2000; originally announced April 2000.

Comments: 37 pages

MSC Class: 14D20;14D21;53C26

Multiple covers and the integrality conjecture for rational curves in Calabi-Yau threefolds

Authors: Jim Bryan, Sheldon Katz, Naichung Conan Leung

Abstract: We study the contribution of multiple covers of an irreducible rational curve C in a Calabi-Yau threefold Y to the genus 0 Gromov-Witten invariants in the following cases. (1) If the curve C has one node and satisfies a certain genericity condition, we prove that the contribution of multiple covers of degree d is given by the sum of all 1/n^3 where n divides d. (2) For a smoothly embedded co… ▽ More We study the contribution of multiple covers of an irreducible rational curve C in a Calabi-Yau threefold Y to the genus 0 Gromov-Witten invariants in the following cases. (1) If the curve C has one node and satisfies a certain genericity condition, we prove that the contribution of multiple covers of degree d is given by the sum of all 1/n^3 where n divides d. (2) For a smoothly embedded contractable curve C in Y we define schemes C_i for i=1,...,l where C_i is supported on C and has multiplicity i, and the integer l (0<l<7) is Kollar's invariant ``length''. We prove that the contribution of multiple covers of C of degree d is given by the sum of k_{d/n}/n^3 where n divides d and where k_i is the multiplicity of C_i in its Hilbert scheme (and k_i=0 if i>l). In the latter case we also get a formula for arbitrary genus. These results show that the curve C contributes an integer amount to the so-called instanton numbers that are defined recursively in terms of the Gromov-Witten invariants and are conjectured to be integers. △ Less

Submitted 9 November, 1999; originally announced November 1999.

Comments: uses diagrams.sty

MSC Class: 14N35;53D45

Generating functions for the number of curves on Abelian surfaces

Authors: Jim Bryan, Naichung Conan Leung

Abstract: Let X be an Abelian surface and C a holomorphic curve in X representing a primitive homology class. The space of genus g curves in the class of C is g dimensional. We count the number of such curves that pass through g generic points and we also count the number of curves in the fixed linear system |C| passing through g-2 generic points. These two numbers, (defined appropriately) only depend on… ▽ More Let X be an Abelian surface and C a holomorphic curve in X representing a primitive homology class. The space of genus g curves in the class of C is g dimensional. We count the number of such curves that pass through g generic points and we also count the number of curves in the fixed linear system |C| passing through g-2 generic points. These two numbers, (defined appropriately) only depend on n and g where 2n=C^2+2-2g and not on the particular X or C (n is the number of nodes when a curve is nodal and reduced). Gottsche conjectured that certain quasi-modular forms are the generating functions for the number of curves in a fixed linear system. Our theorem proves his formulas and shows that (a different) modular form also arises in the problem of counting curves without fixing a linear system. We use techniques that were developed in our earlier paper for similar questions on K3 surfaces. The techniques include Gromov-Witten invariants for families and a degeneration to an elliptic fibration. One new feature of the Abelian surface case is the presence of non-trivial Pic^0(X). We show that for any surface S the cycle in the moduli space of stable maps defined by requiring that the image of the map lies in a fixed linear system is homologous to the cycle defined by requiring the image of the map meets b_1 generic loops in S representing the generators of the first integral homology group (mod torsion). △ Less

Submitted 27 February, 1998; originally announced February 1998.

Comments: 16 pages; LaTeX2e

MSC Class: 14K99

Orbifold Euler characteristics and the number of commuting n-tuples in symmetric groups

Authors: Jim Bryan, Jason Fulman

Abstract: Generating functions for the number of commuting m-tuples in the symmetric groups are obtained. We define a natural sequence of ``orbifold Euler characteristics'' for a finite group G acting on a manifold X. Our definition generalizes the ordinary Euler characteristic of X/G and the string-theoretic orbifold Euler characteristic. Our formulae for commuting m-tuples underlie formulas that general… ▽ More Generating functions for the number of commuting m-tuples in the symmetric groups are obtained. We define a natural sequence of ``orbifold Euler characteristics'' for a finite group G acting on a manifold X. Our definition generalizes the ordinary Euler characteristic of X/G and the string-theoretic orbifold Euler characteristic. Our formulae for commuting m-tuples underlie formulas that generalize the results of Macdonald and Hirzebruch-Hofer concerning the ordinary and string-theoretic Euler characteristics of symmetric products. △ Less

Submitted 13 December, 1997; originally announced December 1997.

The enumerative geometry of K3 surfaces and modular forms

Authors: Jim Bryan, Naichung Conan Leung

Abstract: We prove the conjectures of Yau-Zaslow and Gottsche concerning the number curves on K3 surfaces. Specifically, let X be a K3 surface and C be a holomorphic curve in X representing a primitive homology class. We count the number of curves of geometric genus g with n nodes passing through g generic points in X in the linear system |C| for any g and n satisfying C^2=2g+2n-2. When g=0, this coinci… ▽ More We prove the conjectures of Yau-Zaslow and Gottsche concerning the number curves on K3 surfaces. Specifically, let X be a K3 surface and C be a holomorphic curve in X representing a primitive homology class. We count the number of curves of geometric genus g with n nodes passing through g generic points in X in the linear system |C| for any g and n satisfying C^2=2g+2n-2. When g=0, this coincides with the enumerative problem studied by Yau and Zaslow who obtained a conjectural generating function for the numbers. Recently, Gottsche has generalized their conjecture to arbitrary g in terms of quasi-modular forms. We prove these formulas using Gromov-Witten invariants for families, a degeneration argument, and an obstruction bundle computation. Our methods also apply to P^2 blown up at 9 points where we show that the ordinary Gromov-Witten invariants of genus g constrained to g points are also given in terms of quasi-modular forms. △ Less

Submitted 24 November, 1997; originally announced November 1997.

Comments: 24 pages, LaTeX2e with eepic macros

MSC Class: 14N10;14J28;53C57

Seiberg-Witten Theory and Z/2^p actions on spin 4-manifolds

Authors: Jim Bryan

Abstract: Furuta's ``10/8-th's'' theorem gives a bound on the magnitude of the signature of a smooth spin 4-manifold in terms of the second Betti number. We show that in the presence of a Z/2^p action, his bound can be strengthened. As applications, we give new genus bounds on classes with divisibility and we give a classification of involutions on rational cohomology K3's. We utilize the action of a tw… ▽ More Furuta's ``10/8-th's'' theorem gives a bound on the magnitude of the signature of a smooth spin 4-manifold in terms of the second Betti number. We show that in the presence of a Z/2^p action, his bound can be strengthened. As applications, we give new genus bounds on classes with divisibility and we give a classification of involutions on rational cohomology K3's. We utilize the action of a twisted product of Pin(2) and Z/2^p on the Seiberg-Witten moduli space. Our techniques also provide a simplification of the proof of Furuta's theorem. △ Less

Submitted 22 April, 1997; originally announced April 1997.

Comments: Latex2e, 16 pages

Report number: MSRI 1997-032

Instantons on $S^{4}$ and $\cpbar $, rank stabilization, and Bott periodicity

Authors: Jim Bryan, Marc Sanders

Abstract: We study the large rank limit of the moduli spaces of framed bundles on the projective plane and the blown-up projective plane. These moduli spaces are identified with various instanton moduli spaces on the 4-sphere and $\cpbar $, the projective plane with the reverse orientation. We show that in the direct limit topology, these moduli spaces are homotopic to classifying spaces. For example, the… ▽ More We study the large rank limit of the moduli spaces of framed bundles on the projective plane and the blown-up projective plane. These moduli spaces are identified with various instanton moduli spaces on the 4-sphere and $\cpbar $, the projective plane with the reverse orientation. We show that in the direct limit topology, these moduli spaces are homotopic to classifying spaces. For example, the moduli space of $Sp(\infty)$ or $SO(\infty)$ instantons on $\cpbar $ has the homotopy type of $BU(k)$ where $k$ is the charge of the instantons. We use our results along with Taubes' result concerning the $k\to \infty $ limit to obtain a novel proof of the homotopy equivalences in the eight-fold Bott periodicity spectrum. We give explicit constructions for these moduli spaces. △ Less

Submitted 11 December, 1996; originally announced December 1996.

Comments: 20 pages, keywords: instantons, holomorphic bundles, Bott periodicity LaTeX2e

MSC Class: 14D20

The Rank Stable Topology of Instantons on $\cpbar$

Authors: Jim Bryan, Marc Sanders

Abstract: Let $\M_{k}^{n}$ be the moduli space of based (anti-self-dual) instantons on $\cpbar$ of charge $k$ and rank $n$. There is a natural inclusion of rank $n$ instantons into rank $n+1$. We show that the direct limit space is homotopy equivalent to $BU(k)\times BU(k)$. The moduli spaces also have the following algebro-geometric interpretation: Let $\linf$ be a line in the complex projective plane an… ▽ More Let $\M_{k}^{n}$ be the moduli space of based (anti-self-dual) instantons on $\cpbar$ of charge $k$ and rank $n$. There is a natural inclusion of rank $n$ instantons into rank $n+1$. We show that the direct limit space is homotopy equivalent to $BU(k)\times BU(k)$. The moduli spaces also have the following algebro-geometric interpretation: Let $\linf$ be a line in the complex projective plane and consider the blow-up at a point away from $\linf$. $\M _{k}^{n}$ can be described as the moduli space of rank $n$ holomorphic bundles on the blownup projective plane with $c_{1}=0$ and $c_{2}=k$ and with a fixed holomorphic trivialization on $\linf$. △ Less

Submitted 9 October, 1996; originally announced October 1996.

Comments: LaTeX2e