Related papers: Counting stable sheaves on singular curves and sur…
We study rank-one sheaves and stable pairs on a smooth projective complex surface. We obtain an embedding of the moduli space of limit stable pairs into a smooth space. The embedding induces a perfect obstruction theory, which, over a…
Almost perfect obstruction theories were introduced in an earlier paper by the authors as the appropriate notion in order to define virtual structure sheaves and $K$-theoretic invariants for many moduli stacks of interest, including…
Sheaves on non-reduced curves can appear in moduli space of 1-dimensional semistable sheaves over a surface, and moduli space of Higgs bundles as well. We estimate the dimension of the stack $\mathbf{M}_{X}(nC,\chi)$ of pure sheaves…
We introduce the notion of almost perfect obstruction theory on a Deligne-Mumford stack and show that stacks with almost perfect obstruction theories have virtual structure sheaves which are deformation invariant. The main components in the…
We study cyclic covering morphisms from $\bar{M}_{0,n}$ to moduli spaces of unpointed stable curves of positive genus or compactified moduli spaces of principally polarized abelian varieties. Our main application is a construction of new…
We introduce semi-perfect obstruction theory of a Deligne-Mumford stack $X$ consisting of local perfect obstruction theories with weak comparisons on overlaps. We show that semi-perfect obstruction theory shares similar properties with…
Let $X$ be a projective K3 surfaces. In two examples where there exists a fine moduli space $M$ of stable vector bundles on $X$, isomorphic to a Hilbert scheme of points, we prove that the universal family $\mathcal{E}$ on $X\times M$ can…
We show that there exists a fine moduli space for torsion-free sheaves on a projective surface, which have a "good framing" on a big and nef divisor. This moduli space is a quasi-projective scheme. This is accomplished by showing that such…
We study smooth bundles over surfaces with highly connected almost parallelizable fiber $M$ of even dimension, providing necessary conditions for a manifold to be bordant to the total space of such a bundle and showing that, in most cases,…
We prove a representability theorem for moduli functors of framed torsion-free sheaves on nonsingular complex projective surfaces, using formal geometry along a curve in the surface. This has as a consequence that a certain restriction…
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…
We develop a theory of complex Kuranishi structures on projective schemes. These are sufficiently rigid to be equivalent to weak perfect obstruction theories, but sufficiently flexible to admit global complex Kuranishi charts. We apply the…
For a quasi-projective scheme M which carries a perfect obstruction theory, we construct the virtual cobordism class of M. If M is projective, we prove that the corresponding Chern numbers of the virtual cobordism class are given by…
Given a normal projective irreducible stack $\mathscr X$ over an algebraically closed field of characteristic zero we consider framed sheaves on $\mathscr X$, i.e., pairs $(\mathcal E,\phi_{\mathcal E})$, where $\mathcal E$ is a coherent…
We show that the universal plane curve M of fixed degree d > 2 can be seen as a closed subvariety in a certain Simpson moduli space of 1-dimensional sheaves on a projective plane contained in the stable locus. The universal singular locus…
For any almost-simple group $G$ over an algebraically closed field $k$ of characteristic zero, we describe the automorphism group of the moduli space of semistable $G$-bundles over a connected smooth projective curve $C$ of genus at least…
We develop a theory of quasimaps to a moduli space of sheaves $M$ on a surface $S$. Under some assumptions, we prove that moduli spaces of quasimaps are proper and carry a perfect obstruction theory. Moreover, they are naturally isomorphic…
Families of stable curves of genus $\gamma$ over a smooth curve $C$ correspond to morphisms from $C$ to the moduli stack of stable curves $\bar{\cal M}_\gamma$. It is natural to compactify the corresponding moduli problem using stable maps…
Let $H$ be an ample line bundle on a non-singular projective surface $X$, and $M(H)$ the coarse moduli scheme of rank-two $H$-semistable sheaves with fixed Chern classes on $X$. We show that if $H$ changes and passes through walls to get…
Let M be a closed 3-manifold and S(M) the skein module of M at some odd root of unity. Using the Frobenius morphism, we can see S(M) as the space of global sections of a coherent sheaf over the SL2 character scheme of M. We prove that when…