Related papers: Localizing Virtual Structure Sheaves for Almost Pe…

This work develops new ideas and tools to establish wall-crossing in Calabi-Yau four categories as originally conjectured by Gross-Joyce-Tanaka. In the process, I set up some necessary new language, including a natural refinement of Joyce's…

We apply the machinery of relative tensor triangular Chow groups to the action of the derived category of quasi-coherent sheaves on a noetherian scheme $X$ on the derived category of quasi-coherent $\mathcal{A}$-modules, where $\mathcal{A}$…

Let X be a Calabi-Yau 3-fold over C. The Donaldson-Thomas invariants of X are integers DT^a(t) which count stable sheaves with Chern character a on X, with respect to a Gieseker stability condition t. They are defined only for Chern…

Let $O$ be the ring of power series in one variable over a finite field, with $K$ its fraction field. We introduce the notion of a "formal $K$-vector space"; this is a certain kind of $K$-vector space object in the category of formal…

Let $C$ be a smooth curve embedded in a smooth quasi-projective threefold $Y$, and let $Q^n_C=\textrm{Quot}_n(\mathscr I_C)$ be the Quot scheme of length $n$ quotients of its ideal sheaf. We show the identity…

We investigate obstruction classes of moduli spaces of sheaves on K3 surfaces. We extend previous results by Caldararu, explicitly determining the obstruction class and its order in the Brauer group. Our main theorem establishes a short…

We show that the deformation theory of a perfect complex and that of its determinant are related by the trace map, in a general setting of sheaves on a site. The key technical step, in passing from the setting of modules over a ring where…

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 main goal of this paper is to establish close relations among sheaves of modules on atomic sites, representations of categories, and discrete representations of topological groups. We characterize sheaves of modules on atomic sites as…

In this paper we introduce and study the so-called continuous $K$-theory for a certain class of "large" stable $\infty$-categories, more precisely, for dualizable presentable categories. For compactly generated categories, the continuous…

In this paper we study the moduli stack of complexes of vector bundles (with chain isomorphisms) over a smooth projective variety $X$ via derived algebraic geometry. We prove that if $X$ is a Calabi-Yau variety of dimension $d$ then this…

In this article we are defining a refinement of Kool-Thomas invariants of local surfaces via the equivariant $K$-theoretic invariants proposed by Nekrasov and Okounkov. Kool and Thomas defined the reduced obstruction theory for the moduli…

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…

Approximation theorems for algebraic stacks over a number field $k$ are studied in this article. For G a connected linear algebraic group over a number field we prove strong approximation with Brauer-Manin obstruction for the classifying…

We review the theory of almost coherent modules that was introduced in "Almost Ring Theory" by Gabber and Ramero. Then we globalize it by developing a new theory of almost coherent sheaves on schemes and on a class of "nice" formal schemes.…

We introduce the notion of symmetric obstruction theory and study symmetric obstruction theories which are compatible with C*-actions. We prove that the contribution of an isolated fixed point under a C*-action to equivariant…

Let $\phi : S^1\times D^2\to S^1$ be the natural projection. An oriented knot $K\hookrightarrow V = S^1\times D^2$ is called an almost closed braid if the restriction of $\phi$ to K has exactly two (non-degenerate) critical points (and K is…

For a simple, rigid vector bundle $F$ on a Calabi-Yau $3$-fold $Y$, we construct a symmetric obstruction theory on the Quot scheme $\textrm{Quot}_Y(F,n)$, and we solve the associated enumerative theory. We discuss the case of other…

We show that the category of coherent sheaves on the toric boundary divisor of a smooth quasiprojective toric DM stack is equivalent to the wrapped Fukaya category of a hypersurface in a complex torus. Hypersurfaces with every Newton…

These are expanded notes on a lecture of the same title at the 2015 AMS summer institute in algebraic geometry. We give an introduction and overview of the "beyond geometric invariant theory" program for analyzing moduli problems in…