Related papers: Derived smooth stacks and prequantum categories

Let $\mathcal{X}$ be a smooth Deligne-Mumford stack which is generically a scheme and has quasi-projective coarse moduli. If $\mathcal{X}$ has elementary Abelian 2-group stabilizers and the coarse moduli of the inertia stack is smooth, we…

We construct a canonical stabilizer reduction $\widetilde{X}$ for any derived $1$-algebraic stack $X$ over $\mathbb{C}$ as a sequence of derived Kirwan blow-ups, under mild natural conditions that include the existence of a good moduli…

We develop the theory of derived differential geometry in terms of bundles of curved $L_\infty[1]$-algebras, i.e. dg manifolds of positive amplitudes. We prove the category of derived manifolds is a category of fibrant objects. Therefore,…

A differential geometric version of noncommutative topological index theorem is worked out for covariant star products on noncommutative vector bundles. For start, a noncommutative manifold is considered as a product space X = Y * Z,…

We introduce stacks classifying \'etale germs of pointed n-dimensional varieties. We show that quasi-coherent sheaves on these stacks are universal D- and O-modules. We state and prove a relative version of Artin's approximation theorem,…

We generalise the techniques of semistable reduction for flat families of sheaves to the setting of the derived category $D^b(X)$ of coherent sheaves on a smooth projective three-fold $X$. Then we construct the moduli of PT-semistable…

We study the moduli spaces which classify smooth surfaces along with a complex line bundle. There are homological stability and Madsen--Weiss type results for these spaces (mostly due to Cohen and Madsen), and we discuss the cohomological…

This is a survey paper on derived symplectic geometry, that will appear as a chapter contribution to the book "New Spaces for Mathematics and Physics", edited by Mathieu Anel and Gabriel Catren. Our goal is to explain how derived stacks can…

We define for every affine Coxeter graph a certain factor group of the associated Artin group and prove that some of these groups appear as orbifold fundamental groups of moduli spaces. Examples are the moduli space of nonsingular cubic…

In general terms, Gelfand duality refers to a correspondence between a geometric, topological, or analytical category, and an algebraic category. For example, in smooth differential geometry, Gelfand duality refers to the topological…

We construct the derived Legendrian category $\mathcal{F}_{c}(X)$ for an $n$-shifted contact derived Artin stack $X$ and the $(\infty,2)$-category $Leg_n$ of Legendrian correspondences in the context of derived algebraic geometry, with…

We study the notion of duality in the context of graded manifolds. For graded bundles, somehow like in the case of Gelfand representation and the duality: points vs. functions, we obtain natural dual objects which belongs to a different…

We show that the category of affine bundles over a smooth manifold M is equivalent to the category of affine spaces modelled on projective finitely generated C^\infty(M)-modules. Using this equivalence of categories, we are able to give an…

There is a well developed intersection theory on smooth Artin stacks with quasi-affine diagonal. However, for Artin stacks whose diagonal is not quasi-finite the notion of the degree of a Chow cycle is not defined. In this paper we propose…

We construct positive-genus analogues of Welschinger's invariants for many real symplectic manifolds, including the odd-dimensional projective spaces and the renowned quintic threefold. In some cases, our invariants provide lower bounds for…

Using Quillen-Lurie deformation theory formalism we develop an obstruction theory for studying the stable $\infty$-category of modules over a given geometric $\infty$-stack. The obstruction theory studies the problem of lifting compact…

In this paper we show that how the representation theory of subcategories (of the category of modules over an Artin algebra) can be connected to the representation theory of all modules over some algebra. The subcategories dealing with are…

We consider generalizations of symplectic manifolds called n-plectic manifolds. A manifold is n-plectic if it is equipped with a closed, nondegenerate form of degree n+1. We show that higher structures arise on these manifolds which can be…

The space of subvarieties of P^n with a fixed Hilbert polynomial is not complete. Grothendieck defined a completion by relaxing "variety" to "scheme", giving the complete_Hilbert scheme_ of subschemes of P^n with fixed Hilbert polynomial.…

We develop a new framework for noncommutative differential geometry based on double derivations. This leads to the notion of moment map and of Hamiltonian reduction in noncommutative symplectic geometry. For any smooth associative algebra…