Showing 1–32 of 32 results for author: Gholampour, A

Equivariant vector bundles over topological toric manifolds

Authors: Yong Cui, Amin Gholampour

Abstract: We prove that every topological/smooth $\T=(\C^{*})^{n}$-equivariant vector bundle over a topological toric manifold of dimension $2n$ is a topological/smooth Klyachko vector bundle in the sense of arXiv:2504.02205. We prove that every topological/smooth $\T=(\C^{*})^{n}$-equivariant vector bundle over a topological toric manifold of dimension $2n$ is a topological/smooth Klyachko vector bundle in the sense of arXiv:2504.02205. △ Less

Submitted 16 April, 2025; originally announced April 2025.

Comments: 12 pages

A virtual $\mathrm{PGL}_r$-$\mathrm{SL}_r$ correspondence for projective surfaces

Authors: D. van Bree, A. Gholampour, Y. Jiang, M. Kool

Abstract: For a smooth projective surface $X$ satisfying $H_1(X,\mathbb{Z}) = 0$ and $w \in H^2(X,μ_r)$, we study deformation invariants of the pair $(X,w)$. Choosing a Brauer-Severi variety $Y$ (or, equivalently, Azumaya algebra $\mathcal{A}$) over $X$ with Stiefel-Whitney class $w$, the invariants are defined as virtual intersection numbers on suitable moduli spaces of stable twisted sheaves on $Y$ constr… ▽ More For a smooth projective surface $X$ satisfying $H_1(X,\mathbb{Z}) = 0$ and $w \in H^2(X,μ_r)$, we study deformation invariants of the pair $(X,w)$. Choosing a Brauer-Severi variety $Y$ (or, equivalently, Azumaya algebra $\mathcal{A}$) over $X$ with Stiefel-Whitney class $w$, the invariants are defined as virtual intersection numbers on suitable moduli spaces of stable twisted sheaves on $Y$ constructed by Yoshioka (or, equivalently, moduli spaces of $\mathcal{A}$-modules of Hoffmann-Stuhler). We show that the invariants do not depend on the choice of $Y$. Using a result of de Jong, we observe that they are deformation invariants of the pair $(X,w)$. For surfaces with $h^{2,0}(X) > 0$, we show that the invariants can often be expressed as virtual intersection numbers on Gieseker-Maruyama-Simpson moduli spaces of stable sheaves on $X$. This can be seen as a $\mathrm{PGL}_r$-$\mathrm{SL}_r$ correspondence. As an application, we express $\mathrm{SU}(r) / μ_r$ Vafa-Witten invariants of $X$ in terms of $\mathrm{SU}(r)$ Vafa-Witten invariants of $X$. We also show how formulae from Donaldson theory can be used to obtain upper bounds for the minimal second Chern class of Azumaya algebras on $X$ with given division algebra at the generic point. △ Less

Submitted 8 April, 2025; v1 submitted 4 August, 2023; originally announced August 2023.

Comments: Typos corrected. Published version. 49 pages

MSC Class: 14D20; 14D21; 14J60 (Primary); 14F22; 14J80 (Secondary)

Stable pairs of 2-dimensional sheaves on 4-folds

Authors: Amin Gholampour, Yunfeng Jiang, Jason Lo

Abstract: We identify Le Potier's moduli spaces of limit stable pairs $(F,s)$, where $F$ is a 2-dimensional sheaf on a nonsingular projective 4-fold $X$ and $s \in H^0(F)$, with the moduli spaces of polynomial stable 2-term complexes in derived category. These stable pairs are 2-dimensional analogs of Pandharipande-Thomas' stable pairs defined for 3-folds. We establish categorical correspondences involving… ▽ More We identify Le Potier's moduli spaces of limit stable pairs $(F,s)$, where $F$ is a 2-dimensional sheaf on a nonsingular projective 4-fold $X$ and $s \in H^0(F)$, with the moduli spaces of polynomial stable 2-term complexes in derived category. These stable pairs are 2-dimensional analogs of Pandharipande-Thomas' stable pairs defined for 3-folds. We establish categorical correspondences involving these stable pairs, ideal sheaves of 2-dimensional subschemes of $X$, and 1-dimensional sheaves on $X$. Under some conditions on the Chern character, these lead to Hall algebra correspondences. The generalization of most of these results to higher ranks is also given. In case $X$ is Calabi-Yau, Oh-Thomas' construction gives a new set of invariants of $X$ counting these stable pairs. For certain Chern characters, these are related to the invariants of 2-dimensional stable sheaves. We calculate and study them in some cases and examples such as fibrations by abelian surfaces, local surfaces, and local Fano 3-folds. The last case in particular leads to new invariants of Fano 3-folds counting 2-dimensional stable pairs with reduced supports. △ Less

Submitted 15 November, 2021; v1 submitted 4 October, 2021; originally announced October 2021.

Comments: Commented on Corollary 4.11 overlap with a result in an upcoming paper by Bae-Kool-Park

Counting stable sheaves on singular curves and surfaces

Authors: Amin Gholampour

Abstract: Given a quasi-projective scheme M over complex numbers equipped with a perfect obstruction theory and a morphism to a nonsingular quasi-projective variety B, we show it is possible to find an affine bundle M'/ M that admits a perfect obstruction theory relative to B. We study the resulting virtual cycles on the fibers of M'/B and relate them to the image of the virtual cycle [M]^vir under refined… ▽ More Given a quasi-projective scheme M over complex numbers equipped with a perfect obstruction theory and a morphism to a nonsingular quasi-projective variety B, we show it is possible to find an affine bundle M'/ M that admits a perfect obstruction theory relative to B. We study the resulting virtual cycles on the fibers of M'/B and relate them to the image of the virtual cycle [M]^vir under refined Gysin homomorphisms. Our main application is when M is a moduli space of stable codimension 1 sheaves with a fixed determinant L on a nonsingular projective surface or Fano threefold, B is the linear system |L|, and the morphism to B is given by taking the divisor associated to a coherent sheaf. △ Less

Submitted 19 September, 2019; originally announced September 2019.

Comments: Comments are welcome!

Donaldson-Thomas invariants, linear systems and punctual Hilbert schemes

Authors: Amin Gholampour, Artan Sheshmani

Abstract: We study certain DT invariants arising from stable coherent sheaves in a nonsingular projective threefold supported on the members of a linear system of a fixed line bundle. When the canonical bundle of the threefold satisfies certain positivity conditions, we relate the DT invariants to Carlsson-Okounkov formulas for the "twisted Euler's number" of the punctual Hilbert schemes of nonsingular surf… ▽ More We study certain DT invariants arising from stable coherent sheaves in a nonsingular projective threefold supported on the members of a linear system of a fixed line bundle. When the canonical bundle of the threefold satisfies certain positivity conditions, we relate the DT invariants to Carlsson-Okounkov formulas for the "twisted Euler's number" of the punctual Hilbert schemes of nonsingular surfaces, and conclude they have a modular property. △ Less

Submitted 5 September, 2019; originally announced September 2019.

Comments: First draft. Comments are welcome

Journal ref: Mathematical Research Letters, 2023

Degeneracy loci, virtual cycles and nested Hilbert schemes II

Authors: Amin Gholampour, Richard P. Thomas

Abstract: We express nested Hilbert schemes of points and curves on a smooth projective surface as "virtual resolutions" of degeneracy loci of maps of vector bundles on smooth ambient spaces. We show how to modify the resulting obstruction theories to produce the virtual cycles of Vafa-Witten theory and other sheaf-counting problems. The result is an effective way of calculating invariants (VW, SW, local… ▽ More We express nested Hilbert schemes of points and curves on a smooth projective surface as "virtual resolutions" of degeneracy loci of maps of vector bundles on smooth ambient spaces. We show how to modify the resulting obstruction theories to produce the virtual cycles of Vafa-Witten theory and other sheaf-counting problems. The result is an effective way of calculating invariants (VW, SW, local PT and local DT) via Thom-Porteous-like Chern class formulae. △ Less

Submitted 6 July, 2020; v1 submitted 11 February, 2019; originally announced February 2019.

Comments: 42 pages. Two referees' corrections. To appear in Compositio

MSC Class: 14D20; 14J60; 14N35; 14C05

Journal ref: Compositio Math. 156 (2020) 1623-1663

Degeneracy loci, virtual cycles and nested Hilbert schemes I

Authors: Amin Gholampour, Richard P. Thomas

Abstract: Given a map of vector bundles on a smooth variety, consider the deepest degeneracy locus where its rank is smallest. We show it carries a natural perfect obstruction theory whose virtual cycle can be calculated by the Thom-Porteous formula. We show nested Hilbert schemes of points on surfaces can be expressed as degeneracy loci. We show how to modify the resulting obstruction theories to recover… ▽ More Given a map of vector bundles on a smooth variety, consider the deepest degeneracy locus where its rank is smallest. We show it carries a natural perfect obstruction theory whose virtual cycle can be calculated by the Thom-Porteous formula. We show nested Hilbert schemes of points on surfaces can be expressed as degeneracy loci. We show how to modify the resulting obstruction theories to recover the virtual cycles of Vafa-Witten and reduced local DT theories. The result computes some Vafa-Witten invariants in terms of Carlsson-Okounkov operators. This proves and extends a conjecture of Gholampour-Sheshmani-Yau and generalises a vanishing result of Carlsson-Okounkov. △ Less

Submitted 3 December, 2019; v1 submitted 18 September, 2017; originally announced September 2017.

Comments: Published version. 29 pages

Journal ref: Tunisian J. Math. 2 (2020) 633-665

Higher rank sheaves on threefolds and functional equations

Authors: Amin Gholampour, Martijn Kool

Abstract: We consider the moduli space of stable torsion free sheaves of any rank on a smooth projective threefold. The singularity set of a torsion free sheaf is the locus where the sheaf is not locally free. On a threefold it has dimension $\leq 1$. We consider the open subset of moduli space consisting of sheaves with empty or 0-dimensional singularity set. For fixed Chern classes $c_1,c_2$ and summing… ▽ More We consider the moduli space of stable torsion free sheaves of any rank on a smooth projective threefold. The singularity set of a torsion free sheaf is the locus where the sheaf is not locally free. On a threefold it has dimension $\leq 1$. We consider the open subset of moduli space consisting of sheaves with empty or 0-dimensional singularity set. For fixed Chern classes $c_1,c_2$ and summing over $c_3$, we show that the generating function of topological Euler characteristics of these open subsets equals a power of the MacMahon function times a Laurent polynomial. This Laurent polynomial is invariant under $q \leftrightarrow q^{-1}$ (upon replacing $c_1 \leftrightarrow -c_1$). For some choices of $c_1,c_2$ these open subsets equal the entire moduli space. The proof involves wall-crossing from Quot schemes of a higher rank reflexive sheaf to a sublocus of the space of Pandharipande-Thomas pairs. We interpret this sublocus in terms of the singularities of the reflexive sheaf. △ Less

Submitted 2 December, 2019; v1 submitted 16 June, 2017; originally announced June 2017.

Comments: 29 pages. Published version

MSC Class: 14C05; 14F05; 14H50; 14J30; 14N35

Journal ref: Épijournal de Géométrie Algébrique, Volume 3 (December 3, 2019) epiga:4375, 29 pages

Localized Donaldson-Thomas theory of surfaces

Authors: Amin Gholampour, Artan Sheshmani, Shing-Tung Yau

Abstract: Let $S$ be a projective simply connected complex surface and $\mathcal{L}$ be a line bundle on $S$. We study the moduli space of stable compactly supported 2-dimensional sheaves on the total spaces of $\mathcal{L}$. The moduli space admits a $\mathbb{C}^*$-action induced by scaling the fibers of $\mathcal{L}$. We identify certain components of the fixed locus of the moduli space with the moduli sp… ▽ More Let $S$ be a projective simply connected complex surface and $\mathcal{L}$ be a line bundle on $S$. We study the moduli space of stable compactly supported 2-dimensional sheaves on the total spaces of $\mathcal{L}$. The moduli space admits a $\mathbb{C}^*$-action induced by scaling the fibers of $\mathcal{L}$. We identify certain components of the fixed locus of the moduli space with the moduli space of torsion free sheaves and the nested Hilbert schemes on $S$. We define the localized Donaldson-Thomas invariants of $\mathcal{L}$ by virtual localization in the case that $\mathcal{L}$ twisted by the anti-canonical bundle of $S$ admits a nonzero global section. When $p_g(S)>0$, in combination with Mochizuki's formulas, we are able to express the localized DT invariants in terms of the invariants of the nested Hilbert schemes defined by the authors in [GSY17a], the Seiberg-Witten invariants of $S$, and the integrals over the products of Hilbert schemes of points on $S$. When $\mathcal{L}$ is the canonical bundle of $S$, the Vafa-Witten invariants defined recently by Tanaka-Thomas, can be extracted from these localized DT invariants. VW invariants are expected to have modular properties as predicted by S-duality. △ Less

Submitted 25 October, 2018; v1 submitted 30 January, 2017; originally announced January 2017.

Comments: Most updated version based on comments by the referee. 36 pages

Journal ref: American Journal of Mathematics, 142, 2, April 2020

Nested Hilbert schemes on surfaces: Virtual fundamental class

Authors: Amin Gholampour, Artan Sheshmani, Shing-Tung Yau

Abstract: We construct virtual fundamental classes on nested Hilbert schemes of points and curves in complex nonsingular projective surfaces. These classes recover the virtual classes of Seiberg-Witten theory as well as the (reduced) stable theory, and play a crucial role in the reduced Donaldson-Thomas theory of local-surface-threefolds that we study in [GSY17b] (arXiv:1807.05697). We show that certain int… ▽ More We construct virtual fundamental classes on nested Hilbert schemes of points and curves in complex nonsingular projective surfaces. These classes recover the virtual classes of Seiberg-Witten theory as well as the (reduced) stable theory, and play a crucial role in the reduced Donaldson-Thomas theory of local-surface-threefolds that we study in [GSY17b] (arXiv:1807.05697). We show that certain integrals against the virtual fundamental classes of punctual nested Hilbert schemes are expressed as integrals over the products of the Hilbert scheme of points. We are able to find explicit formulas for some of these integrals by relating them to Carlsson-Okounkov's vertex operator formulas. △ Less

Submitted 24 May, 2019; v1 submitted 30 January, 2017; originally announced January 2017.

Comments: 46 pages. Some corrections made, and some more detail and references added

Journal ref: Advances in Mathematics, 365, 13, May 2020, 107046

Rank 2 wall-crossing and the Serre correspondence

Authors: A. Gholampour, M. Kool

Abstract: We study Quot schemes of 0-dimensional quotients of sheaves on 3-folds $X$. When the sheaf $\mathcal{R}$ is rank 2 and reflexive, we prove that the generating function of Euler characteristics of these Quot schemes is a power of the MacMahon function times a polynomial. This polynomial is itself the generating function of Euler characteristics of Quot schemes of a certain 0-dimensional sheaf, whic… ▽ More We study Quot schemes of 0-dimensional quotients of sheaves on 3-folds $X$. When the sheaf $\mathcal{R}$ is rank 2 and reflexive, we prove that the generating function of Euler characteristics of these Quot schemes is a power of the MacMahon function times a polynomial. This polynomial is itself the generating function of Euler characteristics of Quot schemes of a certain 0-dimensional sheaf, which is supported on the locus where $\mathcal{R}$ is not locally free. In the case $X = \mathbb{C}^3$ and $\mathcal{R}$ is equivariant, we use our result to prove an explicit product formula for the generating function. This formula was first found using localization techniques in previous joint work with B. Young. Our results follow from R. Hartshorne's Serre correspondence and a rank 2 version of a Hall algebra calculation by J. Stoppa and R.P. Thomas. △ Less

Submitted 23 January, 2018; v1 submitted 9 February, 2016; originally announced February 2016.

Comments: 20 pages. Published version. Addition to published version: the assumptions in Thm. 1.2 can be weakened due to an argument from J. Rennemo (Section 1.2)

MSC Class: 14C05; 14F05; 14H50; 14J30; 14N35

Journal ref: Selecta Math. 23 (2017) 1599-1617

Rank 2 sheaves on toric 3-folds: classical and virtual counts

Authors: Amin Gholampour, Martijn Kool, Benjamin Young

Abstract: Let $\mathcal{M}$ be the moduli space of rank 2 stable torsion free sheaves with Chern classes $c_i$ on a smooth 3-fold $X$. When $X$ is toric with torus $T$, we describe the $T$-fixed locus of the moduli space. Connected components of $\mathcal{M}^T$ with constant reflexive hulls are isomorphic to products of $\mathbb{P}^1$. We mainly consider such connected components, which typically arise for… ▽ More Let $\mathcal{M}$ be the moduli space of rank 2 stable torsion free sheaves with Chern classes $c_i$ on a smooth 3-fold $X$. When $X$ is toric with torus $T$, we describe the $T$-fixed locus of the moduli space. Connected components of $\mathcal{M}^T$ with constant reflexive hulls are isomorphic to products of $\mathbb{P}^1$. We mainly consider such connected components, which typically arise for any $c_1$, "low values" of $c_2$, and arbitrary $c_3$. In the classical part of the paper, we introduce a new type of combinatorics called double box configurations, which can be used to compute the generating function $\mathsf{Z}(q)$ of topological Euler characteristics of $\mathcal{M}$ (summing over all $c_3$). The combinatorics is solved using the double dimer model in a companion paper. This leads to explicit formulae for $\mathsf{Z}(q)$ involving the MacMahon function. In the virtual part of the paper, we define Donaldson-Thomas type invariants of toric Calabi-Yau 3-folds by virtual localization. The contribution to the invariant of an individual connected component of the $T$-fixed locus is in general not equal to its signed Euler characteristic due to $T$-fixed obstructions. Nevertheless, the generating function of all invariants is given by $\mathsf{Z}(q)$ up to signs. △ Less

Submitted 14 November, 2016; v1 submitted 11 September, 2015; originally announced September 2015.

Comments: 62 pages. Published version. Exposition much improved following referees' suggestions; division in classical and virtual part which can be read more or less independently. Mathematical content unchanged

MSC Class: 14D20; 14J60; 14M25; 14N35

Journal ref: Internat. Math. Res. Not. 2018 (2017) 2981-3069

Intersection numbers on the relative Hilbert schemes of points on surfaces

Authors: Amin Gholampour, Artan Sheshmani

Abstract: We study certain top intersection products on the Hilbert scheme of points on a nonsingular surface relative to an effective smooth divisor. We find a formula relating these numbers to the corresponding intersection numbers on the non-relative Hilbert schemes. In particular, we obtain a relative version of the explicit formula found by Carlsson-Okounkov for the Euler class of the twisted tangent b… ▽ More We study certain top intersection products on the Hilbert scheme of points on a nonsingular surface relative to an effective smooth divisor. We find a formula relating these numbers to the corresponding intersection numbers on the non-relative Hilbert schemes. In particular, we obtain a relative version of the explicit formula found by Carlsson-Okounkov for the Euler class of the twisted tangent bundle of the Hilbert schemes. △ Less

Submitted 16 December, 2015; v1 submitted 5 April, 2015; originally announced April 2015.

Comments: Revised version according to referee's corrections, 13 pages, To appear in Asian. J. Math. (2016)

Journal ref: Asian J. Math, Vol. 21, No. 3, pp. 531-542 (2017)

Cremona symmetry in Gromov-Witten theory

Authors: Amin Gholampour, Dagan Karp, Sam Payne

Abstract: We establish the existence of a symmetry within the Gromov-Witten theory of $\mathbb{CP}^n$ and its blowup along points. The nature of this symmetry is encoded in the Cremona transform and its resolution, which lives on the toric variety of the permutohedron. This symmetry expresses some difficult to compute invariants in terms of others less difficult to compute. We focus on enumerative implicati… ▽ More We establish the existence of a symmetry within the Gromov-Witten theory of $\mathbb{CP}^n$ and its blowup along points. The nature of this symmetry is encoded in the Cremona transform and its resolution, which lives on the toric variety of the permutohedron. This symmetry expresses some difficult to compute invariants in terms of others less difficult to compute. We focus on enumerative implications; in particular this technique yields a one line proof of the uniqueness of the rational normal curve. Our method involves a study of the toric geometry of the permutohedron, and degeneration of Gromov-Witten invariants. △ Less

Submitted 3 December, 2014; originally announced December 2014.

Comments: 15 pages

Journal ref: Pro Mathematica 29 (2016), no. 57, 129-149

Generalized Donaldson-Thomas Invariants of 2-Dimensional sheaves on local P^2

Authors: Amin Gholampour, Artan Sheshmani

Abstract: Let X be the total space of the canonical bundle of P^2. We study the generalized Donaldson-Thomas invariants, defined in the work of Joyce-Song, of the moduli spaces of the 2-dimensional Gieseker semistable sheaves on X with first Chern class equal to k times the class of the zero section of X. When k=1, 2 or 3, and semistability implies stability, we express the invariants in terms of known modu… ▽ More Let X be the total space of the canonical bundle of P^2. We study the generalized Donaldson-Thomas invariants, defined in the work of Joyce-Song, of the moduli spaces of the 2-dimensional Gieseker semistable sheaves on X with first Chern class equal to k times the class of the zero section of X. When k=1, 2 or 3, and semistability implies stability, we express the invariants in terms of known modular forms. We prove a combinatorial formula for the invariants when k=2 in the presence of the strictly semistable sheaves, and verify the BPS integrality conjecture of Joyce-Song in some cases. △ Less

Submitted 12 February, 2016; v1 submitted 30 August, 2013; originally announced September 2013.

Comments: Contact updated, 22 pages, Adv. Theor. Math. Phys., Vol 19, 3, 673-699, (2015)

Counting curves on surfaces in Calabi-Yau 3-folds

Authors: Amin Gholampour, Artan Sheshmani, R. P. Thomas

Abstract: Motivated by S-duality modularity conjectures in string theory, we define new invariants counting a restricted class of 2-dimensional torsion sheaves, enumerating pairs $Z\subset H$ in a Calabi-Yau threefold X. Here H is a member of a sufficiently positive linear system and Z is a 1-dimensional subscheme of it. The associated sheaf is the ideal sheaf of $Z\subset H$, pushed forward to X and consid… ▽ More Motivated by S-duality modularity conjectures in string theory, we define new invariants counting a restricted class of 2-dimensional torsion sheaves, enumerating pairs $Z\subset H$ in a Calabi-Yau threefold X. Here H is a member of a sufficiently positive linear system and Z is a 1-dimensional subscheme of it. The associated sheaf is the ideal sheaf of $Z\subset H$, pushed forward to X and considered as a certain Joyce-Song pair in the derived category of X. We express these invariants in terms of the MNOP invariants of X. △ Less

Submitted 15 June, 2015; v1 submitted 30 August, 2013; originally announced September 2013.

Comments: 11 pages. Published version

Journal ref: Math. Ann. 360, 67--78, 2014

Donaldson-Thomas Invariants of 2-Dimensional sheaves inside threefolds and modular forms

Authors: Amin Gholampour, Artan Sheshmani

Abstract: Motivated by the S-duality conjecture, we study the Donaldson-Thomas invariants of the 2 dimensional Gieseker stable sheaves on a threefold. These sheaves are supported on the fibers of a nonsingular threefold X fibered over a nonsingular curve. In the case where X is a K3 fibration, we express these invariants in terms of the Euler characteristic of the Hilbert scheme of points on the K3 fiber an… ▽ More Motivated by the S-duality conjecture, we study the Donaldson-Thomas invariants of the 2 dimensional Gieseker stable sheaves on a threefold. These sheaves are supported on the fibers of a nonsingular threefold X fibered over a nonsingular curve. In the case where X is a K3 fibration, we express these invariants in terms of the Euler characteristic of the Hilbert scheme of points on the K3 fiber and the Noether-Lefschetz numbers of the fibration. We prove that a certain generating function of these invariants is a vector modular form of weight -3/2 as predicted in S-duality. △ Less

Submitted 20 December, 2017; v1 submitted 30 August, 2013; originally announced September 2013.

Comments: Some corrections were made and some arguments were extended. Many thanks to the referee's helpful comments. 22 pages, to Appear in Adv. Math. (2018). arXiv admin note: text overlap with arXiv:1305.1334

Stable pairs on nodal K3 fibrations

Authors: Amin Gholampour, Artan Sheshmani, Yukinobu Toda

Abstract: We study Pandharipande-Thomas's stable pair theory on $K3$ fibrations over curves with possibly nodal fibers. We describe stable pair invariants of the fiberwise irreducible curve classes in terms of Kawai-Yoshioka's formula for the Euler characteristics of moduli spaces of stable pairs on $K3$ surfaces and Noether-Lefschetz numbers of the fibration. Moreover, we investigate the relation of these… ▽ More We study Pandharipande-Thomas's stable pair theory on $K3$ fibrations over curves with possibly nodal fibers. We describe stable pair invariants of the fiberwise irreducible curve classes in terms of Kawai-Yoshioka's formula for the Euler characteristics of moduli spaces of stable pairs on $K3$ surfaces and Noether-Lefschetz numbers of the fibration. Moreover, we investigate the relation of these invariants with the perverse (non-commutative) stable pair invariants of the $K3$ fibration. In the case that the $K3$ fibration is a projective Calabi-Yau threefold, by means of wall-crossing techniques, we write the stable pair invariants in terms of the generalized Donaldson-Thomas invariants of 2-dimensional Gieseker semistable sheaves supported on the fibers. △ Less

Submitted 11 July, 2017; v1 submitted 21 August, 2013; originally announced August 2013.

Comments: Published version

Journal ref: International Mathematics Research Notices, Vol. 2017, No. 00, pp. 1-50

Stable reflexive sheaves and localization

Authors: Amin Gholampour, Martijn Kool

Abstract: We study moduli spaces $\mathcal{N}$ of rank 2 stable reflexive sheaves on $\mathbb{P}^3$. Fixing Chern classes $c_1$, $c_2$, and summing over $c_3$, we consider the generating function $\mathsf{Z}^{\mathrm{refl}}(q)$ of Euler characteristics of such moduli spaces. The action of the torus $T$ on $\mathbb{P}^3$ lifts to $\mathcal{N}$ and we classify all sheaves in $\mathcal{N}^T$. This leads to an… ▽ More We study moduli spaces $\mathcal{N}$ of rank 2 stable reflexive sheaves on $\mathbb{P}^3$. Fixing Chern classes $c_1$, $c_2$, and summing over $c_3$, we consider the generating function $\mathsf{Z}^{\mathrm{refl}}(q)$ of Euler characteristics of such moduli spaces. The action of the torus $T$ on $\mathbb{P}^3$ lifts to $\mathcal{N}$ and we classify all sheaves in $\mathcal{N}^T$. This leads to an explicit expression for $\mathsf{Z}^{\mathrm{refl}}(q)$. Since $c_3$ is bounded below and above, $\mathsf{Z}^{\mathrm{refl}}(q)$ is a polynomial. We find a simple formula for its leading term when $c_1=-1$. Next, we study moduli spaces of rank 2 stable torsion free sheaves on $\mathbb{P}^3$ and consider the generating function of Euler characteristics of such moduli spaces. We give an expression for this generating function in terms of $\mathsf{Z}^{\mathrm{refl}}(q)$ and Euler characteristics of Quot schemes of certain $T$-equivariant reflexive sheaves, which are studied elsewhere. Many techniques of this paper apply to any toric 3-fold. In general, $\mathsf{Z}^{\mathrm{refl}}(q)$ depends on the choice of polarization which leads to wall-crossing phenomena. We briefly illustrate this in the case of $\mathbb{P}^2 \times \mathbb{P}^1$. △ Less

Submitted 8 November, 2016; v1 submitted 16 August, 2013; originally announced August 2013.

Comments: 27 pages. Published version. Typo's corrected

MSC Class: 14D20; 14M25; 14N20

Journal ref: Jour. of Pure and Applied Alg. 221 (2017) 1934-1954

Invariants of pure 2-dimensional sheaves inside threefolds and modular forms

Authors: Amin Gholampour, Artan Sheshmani

Abstract: Motivated by S-duality modularity conjectures in string theory, we study the Donaldson-Thomas type invariants of pure 2-dimensional sheaves inside a nonsingular threefold X in three different situations: (1). X is a K3 fibration over a curve. We study the Donaldson-Thomas invariants of the 2 dimensional Gieseker stable sheaves in X supported on the fibers. Analogous to the Gromov-Witten theory f… ▽ More Motivated by S-duality modularity conjectures in string theory, we study the Donaldson-Thomas type invariants of pure 2-dimensional sheaves inside a nonsingular threefold X in three different situations: (1). X is a K3 fibration over a curve. We study the Donaldson-Thomas invariants of the 2 dimensional Gieseker stable sheaves in X supported on the fibers. Analogous to the Gromov-Witten theory formula established in the work of Maulik-Pandharipande, we express these invariants in terms of the Euler characteristic of the Hilbert scheme of points on the K3 surface and the Noether-Lefschetz numbers of the fibration, and prove that the invariants have modular properties. (2). X is the total space of the canonical bundle of P^2. We study the generalized Donaldson-Thomas invariants defined by Joyce-Song of the moduli spaces of the 2-dimensional Gieseker semistable sheaves on X with first Chern class equal to k times the class of the zero section of X. When k=1,2 or 3, and semistability implies stability, we express the invariants in terms of known modular forms. We prove a combinatorial formula for the invariants when k=2 in the presence of the strictly semistable sheaves, and verify the BPS integrality conjecture of Joyce-Song in some cases. (3). (Joint with Richard Thomas) X is a Calabi-Yau threefold and L is a sufficiently positive line bundle. We define new invariants counting a restricted class of 2-dimensional torsion sheaves, enumerating pairs (Z,H) in X where H is a member of the linear system |L| and Z is a 1-dimensional subscheme of H. The associated sheaf is the ideal sheaf of Z in H, pushed forward to X and considered as a certain Joyce-Song pair in the derived category of X. We express these invariants in terms of the MNOP invariants of X. △ Less

Submitted 2 September, 2013; v1 submitted 6 May, 2013; originally announced May 2013.

Comments: This paper has been withdrawn by the authors and its content is now split into three separate papers arXiv:1309.0051, arXiv:1309.0050, and arXiv:1309.0056

Sheaves on weighted projective planes and modular forms

Authors: Amin Gholampour, Yunfeng Jiang, Martijn Kool

Abstract: We give an explicit description of toric sheaves on the weighted projective plane $\mathbb{P}(a,b,c)$ viewed as a toric Deligne-Mumford stack. The integers $(a,b,c)$ are not necessarily chosen coprime or mutually coprime allowing for gerbe and root stack structures. As an application, we describe the fixed point locus of the moduli scheme of stable rank 1 and 2 torsion free sheaves on… ▽ More We give an explicit description of toric sheaves on the weighted projective plane $\mathbb{P}(a,b,c)$ viewed as a toric Deligne-Mumford stack. The integers $(a,b,c)$ are not necessarily chosen coprime or mutually coprime allowing for gerbe and root stack structures. As an application, we describe the fixed point locus of the moduli scheme of stable rank 1 and 2 torsion free sheaves on $\mathbb{P}(a,b,c)$ with fixed $K$-group class. Summing over all $K$-group classes, we obtain explicit formulae for generating functions of the topological Euler characteristics. In the case of stable rank 2 locally free sheaves on $\mathbb{P}(a,b,c)$ with $a,b,c \leq 2$ the generating functions can be expressed in terms of Hurwitz class numbers and give rise to modular forms of weight $3/2$. This generalizes Klyachko's computation on $\mathbb{P}^2$ and is consistent with $S$-duality predictions from physics. △ Less

Submitted 5 February, 2019; v1 submitted 18 September, 2012; originally announced September 2012.

Comments: 48 pages. Published version

MSC Class: 14D20; 14D23; 14J60; 14M25

Journal ref: Adv. Theor. Math. Phys. 21 (2017) 1455-1524

On computations of genus zero two-point descendant Gromov-Witten invariants

Authors: Amin Gholampour, Hsian-Hua Tseng

Abstract: We present a method of computing genus zero two-point descendant Gromov-Witten invariants via one-point invariants. We apply our method to recover some of calculations of Zinger and Popa-Zinger, as well as to obtain new calculations of two-point descendant invariants. We present a method of computing genus zero two-point descendant Gromov-Witten invariants via one-point invariants. We apply our method to recover some of calculations of Zinger and Popa-Zinger, as well as to obtain new calculations of two-point descendant invariants. △ Less

Submitted 25 July, 2012; originally announced July 2012.

Comments: 17 pages

MSC Class: 14N35; 53D45

Journal ref: Michigan Mathematics Journal 62 (2013), issue 4, 753--768

The Quantum Lefschetz Hyperplane Principle Can Fail for Positive Orbifold Hypersurfaces

Authors: Tom Coates, Amin Gholampour, Hiroshi Iritani, Yunfeng Jiang, Paul Johnson, Cristina Manolache

Abstract: We show that the Quantum Lefschetz Hyperplane Principle can fail for certain orbifold hypersurfaces and complete intersections. It can fail even for orbifold hypersurfaces defined by a section of an ample line bundle. We show that the Quantum Lefschetz Hyperplane Principle can fail for certain orbifold hypersurfaces and complete intersections. It can fail even for orbifold hypersurfaces defined by a section of an ample line bundle. △ Less

Submitted 13 February, 2012; originally announced February 2012.

Comments: 8 pages

MSC Class: 14N35 (Primary) 14A20 (Secondary)

Journal ref: Math. Res. Lett. Volume 19 (2012) Number 5, pp.997-1005

On Donaldson-Thomas invariants of threefold stacks and gerbes

Authors: Amin Gholampour, Hsian-Hua Tseng

Abstract: We present a construction of Donaldson-Thomas invariants for three-dimensional projective Calabi-Yau Deligne-Mumford stacks. We also study the structure of these invariants for etale gerbes over such stacks. We present a construction of Donaldson-Thomas invariants for three-dimensional projective Calabi-Yau Deligne-Mumford stacks. We also study the structure of these invariants for etale gerbes over such stacks. △ Less

Submitted 3 January, 2010; originally announced January 2010.

Comments: 13 pages, Preliminary version, comments are welcome

Journal ref: Proceedings of American Mathematical Society 141 (2013), no. 1, 191--203

Counting invariants for the ADE McKay quivers

Authors: Amin Gholampour, Yunfeng Jiang

Abstract: We consider the moduli space of the McKay quiver representations associated to the binary polyhedral groups G < SU(2) < SU(3). The derived category of such representations is equivalent to the derived category of coherent sheaves on the corresponding ADE resolution Y=G-Hilb(C^3). Following the ideas of Nagao and Nakajima, by making particular choices of parameters in the space of stability condi… ▽ More We consider the moduli space of the McKay quiver representations associated to the binary polyhedral groups G < SU(2) < SU(3). The derived category of such representations is equivalent to the derived category of coherent sheaves on the corresponding ADE resolution Y=G-Hilb(C^3). Following the ideas of Nagao and Nakajima, by making particular choices of parameters in the space of stability conditions on the equivalent derived categories above, we recover Donaldson-Thomas (DT), Pandharipande-Thomas (PT) and Szendroi (NCDT) moduli spaces. We also compute the Gromov-Witten (GW) partition function of Y directly and express the result in terms of the root system of the associated ADE Dynkin diagram. We then verify the conjectural GW/DT/NCDT-correspondence by assuming the DT/PT-correspondence. The Szendroi invariants are the same as the orbifold Donaldson-Thomas invariants for C^3/G defined by Bryan. This will allow us to verify the Crepant Resolution Conjecture for the orbifold Donaldson-Thomas theory in this case. △ Less

Submitted 29 October, 2009; originally announced October 2009.

MSC Class: 14N35

Connected Gromov-Witten invariants of [Sym^n(A_r)]

Authors: Wan Keng Cheong, Amin Gholampour

Abstract: We explore the theory of connected Gromov-Witten invariants of the symmetric product stack [Sym^n(A_r)]. We derive closed-form expressions for all equivariant invariants with two insertions and reveal a natural correspondence between the theory and the relative Gromov-Witten theory of the threefold A_r x P^1. When n is less than or equal to 3, we determine 3-point (usual) Gromov-Witten invariant… ▽ More We explore the theory of connected Gromov-Witten invariants of the symmetric product stack [Sym^n(A_r)]. We derive closed-form expressions for all equivariant invariants with two insertions and reveal a natural correspondence between the theory and the relative Gromov-Witten theory of the threefold A_r x P^1. When n is less than or equal to 3, we determine 3-point (usual) Gromov-Witten invariants of [Sym^n(A_1)]. △ Less

Submitted 26 October, 2009; v1 submitted 8 September, 2009; originally announced September 2009.

Comments: 9 pages. Made changes in wording and structure. To be incorporated into the paper arXiv:0910.0629

MSC Class: 14N35

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

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

Evidence for the Gromov-Witten/Donaldson-Thomas Correspondence

Authors: Amin Gholampour, Yinan Song

Abstract: We study the equivariant Gromov-Witten and Donaldson-Thomas theories of $\mathbf{P}^2$-bundles over curves. We show the equivariant GW/DT correspondence holds to first order for certain curve classes We study the equivariant Gromov-Witten and Donaldson-Thomas theories of $\mathbf{P}^2$-bundles over curves. We show the equivariant GW/DT correspondence holds to first order for certain curve classes △ Less

Submitted 30 September, 2005; originally announced October 2005.

On the equivariant Gromov-Witten Theory of P^2-bundles over curves

Authors: Amin Gholampour

Abstract: We compute section class relative equivariant Gromov-Witten invariants of the total space of P^2-bundles of the form P(O+L1+L2)-->C where C is a genus g curve, O is the trivial bundle, and L1 (resp. L2) is an arbitrary line bundle of degree k1 (resp. k2) over C. We prove a gluing formula for the partition functions of these invariants. Using this gluing formula together with localization techniq… ▽ More We compute section class relative equivariant Gromov-Witten invariants of the total space of P^2-bundles of the form P(O+L1+L2)-->C where C is a genus g curve, O is the trivial bundle, and L1 (resp. L2) is an arbitrary line bundle of degree k1 (resp. k2) over C. We prove a gluing formula for the partition functions of these invariants. Using this gluing formula together with localization techniques, we construct three explicit 3x3 matrices G, U1 and U2 with entries in Q((u))(t0,t1,t2), where u is the genus parameter, and t0,t1,t2 are the equivariant parameters. Then we prove that the partition function of the section class, ordinary equivariant Gromov-Witten invariants of X is given by trace(G^(g-1).U1^k1.U2^k2). As an application, we establish a formula for the partition function of the ordinary Gromov-Witten invariants of any P^2-bundle X over a curve of genus g for any class which is a Calabi-Yau section class. We prove that this partition function is given by 3^g(2sin u/2)^(2g-2). △ Less

Submitted 30 September, 2004; v1 submitted 30 September, 2004; originally announced September 2004.

Comments: 48 pages, 15 figures

MSC Class: 14N35