Related papers: A virtual $\mathrm{PGL}_r$-$\mathrm{SL}_r$ corresp…
Moduli spaces of stable sheaves on smooth projective surfaces are in general singular. Nonetheless, they carry a virtual class, which -- in analogy with the classical case of Hilbert schemes of points -- can be used to define intersection…
Let $X$ be a smooth polarized algebraic surface over the compex number field. We discuss the invariants obtained from the moduli stacks of semistable sheaves of arbitrary ranks on $X$. For that purpose, we construct the virtual fundamental…
We show that a holomorphic two-form $\theta$ on a smooth algebraic variety X localizes the virtual fundamental class of the moduli of stable maps $\mgn(X,\beta)$ to the locus where $\theta$ degenerates; it then enables us to define the…
We provide a definition of Tanaka-Thomas's Vafa-Witten invariants for \'etale gerbes over smooth projective surfaces using the moduli spaces of $\mu_r$-gerbe twisted sheaves and Higgs sheaves. Twisted sheaves and their moduli are naturally…
The paper is a colloquial-style discussion of invariants of algebraic surfaces analogous to the Donaldson polynomials, arising from moduli spaces of ``jumping'' Yang--Mills instantons, or moduli spaces of jumping vector bundles. The…
On a polarised surface, solutions of the Vafa-Witten equations correspond to certain polystable Higgs pairs. When stability and semistability coincide, the moduli space admits a symmetric obstruction theory and a $\mathbb C^*$ action with…
We apply virtual localization to the problem of finding blowup formulae for virtual sheaf-theoretic invariants on a smooth projective surface. This leads to a general procedure that can be used to express virtual enumerative invariants on…
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…
For an arbitrary smooth hypersurface X in a projective space, we construct its LG moduli of quasimaps with P fields. Apply Kiem-Li's cosection localization we obtain a virtual fundamental class. We show the class coincides, up to sign, with…
We study the virtual geometry of the moduli spaces of curves and sheaves on K3 surfaces in primitive classes. Equivalences relating the reduced Gromov-Witten invariants of K3 surfaces to characteristic numbers of stable pairs moduli spaces…
We introduce marked relative Pandharipande-Thomas (PT) invariants for a pair $(X,D)$ of a smooth projective threefold and a smooth divisor. These invariants are defined by integration over the moduli space of $r$-marked stable pairs on…
We use Donaldson invariants of regular surfaces with p_g >0 to make quantitative statements about modulispaces of stable rank 2 sheaves. We give two examples: a quantitative existence theorem for stable bundles, and a computation of the…
Let $V$ be a $6$-dimensional complex vector space with an involution $\sigma$ of trace $0$, and let $W \subset \Sym^2 V^\vee$ be a generic $3$-dimensional subspace of $\sigma$-invariant quadratic forms. To these data we can associate an…
Let $X$ be a compact connected Riemann surface of genus $g$, with $g\geq 2$, and ${\cal M}_{\xi}$ a smooth moduli space of fixed determinant semistable vector bundles of rank $n$, with $n\geq 2$, over $X$. Take a smooth anticanonical…
We construct an obstruction theory for relative Hilbert schemes in the sense of Behrend-Fantechi and compute it explicitly for relative Hilbert schemes of divisors on smooth projective varieties. In the special case of curves on a surface…
We produce an equality between the Gromov-Witten invariants of the moduli space M of rank two odd degree stable vector bundles over a Riemann surface $\Sigma$ and the Donaldson invariants of the algebraic surface $\Sigma \times P^1$. We…
Let $(X,E)$ be a smooth log Calabi-Yau pair consisting of a smooth Fano surface $X$ and a smooth anticanonical divisor $E$. We obtain certain higher genus local Gromov-Witten invariants from the projectivization of the canonical bundle $Z…
As shown in a previous paper, certain naturally arising cones of holomorphic vector bundle sections over the main component $\ov\M_{1,k}^0(\P,d)$ of the moduli space of stable genus-one holomorphic maps into $\P$ have a well-defined euler…
We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called…
We give a new construction of noncommutative surfaces via elliptic difference operators, attaching a 1-parameter noncommutative deformation to any projective rational surface with smooth anticanonical curve. The construction agrees with one…