Related papers: On Shifted Contact Derived Artin Stacks
We give a formulation for derived analytic geometry built from commutative differential graded algebras equipped with entire functional calculus on their degree 0 part, a theory well-suited to developing shifted Poisson structures and…
This is a report on recent progress concerning the interactions between derived algebraic geometry and deformation quantization. We present the notion of derived algebraic stacks, of shifted symplectic and Poisson structures, as well as the…
We develop the basic theory of derived quasi-coherent ideals for stacks relative to a given derived algebraic context. We compare different notions of adic completeness with respect to derived ideals, define and compare formal spectra and…
Let $(X,\omega_X)$ be a derived scheme with a 0-symplectic form and suppose there is a Hamiltonian $G$-action with a moment map for $G$ a reductive group. We prove, under no further assumptions, that symplectic reduction along any coadjoint…
We develop a characterisation of non-Archimedean derived analytic geometry based on dg enhancements of dagger algebras. This allows us to formulate derived analytic moduli functors for many types of pro-\'etale sheaves, and to construct…
We show that any $(-2)$-shifted symplectic derived scheme $\textbf{X}$ (of finite type over an algebraically closed field of characteristic zero) is locally equivalent to the derived intersection of two Lagrangian morphisms to a…
This is an invited contribution to the 2nd edition of the Encyclopedia of Mathematical Physics, that provides a very short survey of derived symplectic geometry. Derived symplectic geometry studies symplectic structures on derived stacks.…
Let $X$ be an algebraic stack with quasi-affine diagonal of finite type over a field $k$ of characteristic $0$. We extend the well-known equivalence $\mathsf{D}^+(\mathsf{QCoh}(X)) \simeq \mathsf{D}_{\mathrm{qc}}^+(X)$ to unbounded derived…
Since the work of Mikhail Kapranov in [Kap], it is known that the shifted tangent complex $\mathbb{T}_X[-1]$ of a smooth algebraic variety $X$ is endowed with a weak Lie structure. Moreover any complex of quasi-coherent sheaves on $X$ is…
We construct the \'etale motivic Borel-Moore homology of derived Artin stacks. Using a derived version of the intrinsic normal cone, we construct fundamental classes of quasi-smooth derived Artin stacks and demonstrate functoriality, base…
We introduce a notion of coisotropics on 1-shifted symplectic Lie groupoids (i.e. quasi-symplectic groupoids) using twisted Dirac structures and show that it satisfies properties analogous to the corresponding derived-algebraic notion in…
We prove that the space of shifted Poisson structures on a derived scheme $X$ locally of finite presentation is equivalent to the space of shifted Lagrangian thickenings out $X$, solving a conjecture in shifted Poisson geometry. As a…
A theory of dg schemes is developed so that it becomes a homotopy site, and the corresponding infinity category of stacks is equivalent to the infinity category of stacks, as constructed by Toen and Vezzosi, on the site of dg algebras whose…
The classical transversality lemma of contact geometry constructs a contact structure on a hypersurface transverse to a Liouville vector field using point-set topology and local flows. This paper translates the classical transversality…
We prove that every $0$-shifted Poisson structure on a derived Artin $n$-stack admits a curved $A_{\infty}$ deformation quantisation whenever the stack has perfect cotangent complex; in particular, this applies to LCI schemes, where it…
We extend a recent result of Pantev-Toen-Vaquie-Vezzosi, who constructed shifted symplectic structures on derived mapping stacks having a Calabi-Yau source and a shifted symplectic target. Their construction gives a clear conceptual…
Stacks have become a prevalent tool in studying problems with connections to String Theory, hence we see a need to develop a theory of supersymmetric stacks proper. We first define derived stacks on $\mathbb{Z}_2$-bi-graded k-modules…
We survey several recent examples of derived structures emerging in connection with the Langlands correspondence. Cases studies include derived Galois deformation rings, derived Hecke algebras, derived Hitchin stacks, and derived special…
We prove two flat descent statements for Artin n-stacks. We first show that an n-stack for the etale topology which is an Artin n-stack in the sense of HAGII, is also an n-stack for the fppf topology. Moreover, an n-stack for the fppf…
In this article, we develop a theory of Grothendieck's six operations for derived categories in \'etale cohomology of Artin stacks, for both torsion and adic coefficients. We prove several desired properties of the operations, including the…