Related papers: Non-commutative virtual structure sheaves

We study filtration of quasi--coherent sheaves. We prove a version of Kaplansky Theorem for quasi--coherent sheaves, by using Drinfeld's notion of almost projective module and the Hill Lemma. We also show a Lazard-like theorem for flat…

Let $G$ and $\check{G}$ be Langlands dual connected reductive groups. We establish a monoidal equivalence of $\infty$-categories between equivariant quasicoherent sheaves on the formal neighborhood of the nilpotent cone in $G$ and…

The ADHM construction establishes a one-to-one correspondence between framed torsion free sheaves on the projective plane and stable framed representations of a quiver with relations in the category of complex vector spaces. This paper…

The paper contains general results on the uniqueness of a DG enhancement for triangulated categories. As a consequence we obtain such uniqueness for the unbounded categories of quasi-coherent sheaves, for the triangulated categories of…

We describe a new type of $2$-representations, using coherent sheaves. Feigin, Finkelberg, Kuznetsov, Mirkovi\'c and Braverman have provided a construction of Verma modules for complex semi-simple Lie algebras using based quasi-map spaces…

In this survey article we describe moduli spaces of simple, stable, and semistable sheaves on K3 surfaces, following the work of Mukai, O'Grady, Huybrechts, Yoshioka, and others. We also describe some recent developments, including…

We identify the type of $\mathbb{C}[[\hbar]]$-linear structure inherent in the $\infty$-categories which arise in the theory of Deformation Quantization modules. Using this structure, we show that the $\infty$-category of quasicoherent…

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…

This paper examines various kinds of subspaces of the non-commutative spaces that are modelled on quasi-projective commutative schemes. It is shown how intersections and unions of weakly closed subspaces, closed subspaces, their weakly open…

We study the transformation of torsion-free coherent analytic sheaves under proper modifications. More precisely, we study direct images of inverse image sheaves, and torsion-free preimages of direct image sheaves. Under some conditions, it…

In this article, we deal with the structure of the spherical Hall algebra of coherent sheaves with parabolic structures on a smooth projective curve of arbitrary genus. We provide a shuffle-like presentation of the vector bundle part and…

We study the birational geometry of moduli spaces of semistable sheaves on the projective plane via Bridgeland stability conditions. We show that the entire MMP of their moduli spaces can be run via wall-crossing. Via a description of the…

This is a noncommutative-geometric study of the semiclassical dynamics of finite topological D-brane systems. Starting from the formulation in terms of A -infinity categories, I show that such systems can be described by the noncommutative…

A geometric stack is a quasi-compact and semi-separated algebraic stack. We prove that the quasi-coherent sheaves on the small flat topology, Cartesian presheaves on the underlying category, and comodules over a Hopf algebroid associated to…

Let $G$ be a connected, simply connected, simple, complex, linear algebraic group. Let $P$ be an arbitrary parabolic subgroup of $G$. Let $X=G/P$ be the $G$-homogeneous projective space attached to this situation. Let $d\in H_2(X)$ be a…

The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech complex or an injective resolution, both inherently…

A great number of theoretical results are known about log Gromov-Witten invariants, but few calculations are worked out. In this paper we restrict to surfaces and to genus 0 stable log maps of maximal tangency. We ask how various natural…

A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…

We prove that under a certain mild hypothesis, the DG category of D-modules on a quasi-compact algebraic stack is compactly generated. We also show that under the same hypothesis, the functor of global sections on the DG category of…

Let M and N be even-dimensional oriented real manifolds, and $u:M \to N$ be a smooth mapping. A pair of complex structures at M and N is called u-compatible if the mapping u is holomorphic with respect to these structures. The quotient of…