Related papers: Cosection localization and the Quot scheme $\mathr…

In this paper we develop an equivariant intersection theory for actions of algebraic groups on algebraic schemes. The theory is based on our construction of equivariant Chow groups. They are algebraic analogues of equivariant cohomology…

We show how the "finite Quot scheme method" applied to Le Potier's strange duality on del Pezzo surfaces leads to conjectures (valid for all smooth complex projective surfaces) relating two sets of universal power series on Hilbert schemes…

Let $k$ be an algebraically closed field of characteristic zero. Let $S$ be a smooth projective variety over $k$ and let $p_S:X\rightarrow S$ be a family of smooth projective curves over $S$. Let $E$ be a vector bundle over $X$. For $s\in…

We study the relative Hilbert scheme of a family of nodal (or smooth) curves, over a base of arbitrary dimension, via its (birational) cycle map, going to the relative symmetric product. We show the cycle map is the blowing up of the…

We prove a localization formula for virtual fundamental classes in the context of torus equivariant perfect obstruction theories. As an application, the higher genus Gromov-Witten invariants of projective space are expressed as graph sums…

We introduce a foundational sheaf theoretical scheme for the comprehension of quantum event structures, in terms of localization systems consisting of Boolean coordinatization coverings induced by measurement. The scheme is based on the…

On a smooth projective threefold, we construct an essentially surjective functor $\mathcal{F}$ from a category of two-term complexes to a category of quotients of coherent sheaves, and describe the fibers of this functor. Under a coprime…

For certain tame abelian covers of arithmetic surfaces X/Y we obtain striking formulas, involving a quadratic form derived from intersection numbers, for the equivariant Euler characteristics of both the canonical sheaf !X/Y and also its…

We study completely the Hilbert scheme and punctual Hilbert scheme of a nodal curve, and the relative Hilbert scheme of a family of curves acquiring a node. The results are then extended, less completely, to flag Hilbert schemes,…

For a proper scheme X with a fixed 1-perfect obstruction theory, we define virtual versions of holomorphic Euler characteristic, chi y-genus, and elliptic genus; they are deformation invariant, and extend the usual definition in the smooth…

We construct virtual fundamental classes in all intersection theories including Chow theory, K-theory and algebraic cobordism for quasi-projective Deligne-Mumford stacks with perfect obstruction theories and prove the virtual pullback…

We study moduli space of higher rank marginally stable pairs (E,s:= (s_1,..., s_r)) consisting of torsion free coherent sheaf E of rank r and r sections (s_1,..., s_r) on a smooth projective surface. Having fixed the Chern character of E,…

For a smooth quasi-projective surface S over complex numbers we consider the Borel-Moore homology of the stack of coherent sheaves on S with compact support and make this space into an associative algebra by a version of the Hall…

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…

Let $\mathcal{V}$ be a complete discrete valuation ring of unequal characteristic with perfect residue field, $u\colon \mathcal{Z} \hookrightarrow \mathfrak{X}$ be a closed immersion of smooth, quasi-compact, separated formal schemes over…

Let \E : 0 --> S --> E --> Q --> 0 be a short exact sequence of hermitian vector bundles with metrics on S and Q induced from that on E. We compute the Bott-Chern form of \E corresponding to any characteristic class, assuming E is…

We study when the derived intersection of two smooth subvarieties of a smooth variety is formal. As a consequence we obtain a derived base change theorem for non-transversal intersections. We also obtain applications to the study of the…

The Riemann-Roch Theorem is one of the cornerstones of algebraic geometry, connecting algebraic data (sheaf cohomology) with geometric ones (intersection theory). This survey paper provides a self-contained introduction and a complete proof…

We derive a $K$-theoretic analogue of the Vafa--Intriligator formula, computing the (virtual) Euler characteristics of vector bundles over the Quot scheme that compactifies the space of degree $d$ morphisms from a fixed projective curve to…

The Verdier quotient $\mathcal{T}/\mathcal{S}$ of a triangulated category $\mathcal{T}$ by a triangulated subcategory $\mathcal{S}$ is defined by a universal property with respect to triangulated functors out of $\mathcal{T}$. However,…