Related papers: Cosection localization via shifted symplectic geom…
We prove that the derived critical locus of a $G$-invariant function $S:X\to\mathbb{A}^1$ carries a shifted moment map, and that its derived symplectic reduction is the derived critical locus of the induced function…
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…
Motivated by questions arising in the theory of moduli spaces in real algebraic geometry, we develop a range of methods to study the topology of the real locus of a Deligne-Mumford stack over the real numbers. As an application, we verify…
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 interpret symplectic geometry as certain sheaf theory by constructing a sheaf of curved A_\infty algebras which in some sense plays the role of a "structure sheaf" for symplectic manifolds. An interesting feature of this "structure…
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…
We generalize the results of Chang-Li, Kim-Oh and Chang-Li on the moduli of $p$-fields to the setting of (quasi-)maps to complete intersections in arbitrary smooth Deligne-Mumford stacks with projective coarse moduli. In particular, we show…
We formulate a notion of $E_0$ quantisation of $(-1)$-Poisson structures on derived Artin $N$-stacks, and construct a map from $E_0$ quantisations of $(-1)$-shifted symplectic structures to power series in de Rham cohomology. For a square…
We formulate a notion of $E_{-1}$ quantisation of $(-2)$-shifted Poisson structures on derived algebraic stacks, depending on a flat right connection on the structure sheaf, as solutions of a quantum master equation. We then parametrise…
We study deformations of symplectic structures on a smooth manifold $M$ via the quasi-Poisson theory. By a fact, we can deform a given symplectic structure $\omega $ to a new symplectic structure $\omega_t$ parametrized by some element $t$…
Motivated by the programmes initiated by Taubes and Perutz, we study the geometry of near-symplectic 4-manifolds, i.e., manifolds equipped with a closed 2-form which is symplectic outside a union of embedded 1-dimensional submanifolds, and…
We prove a 'Darboux theorem' for derived schemes with symplectic forms of degree $k<0$, in the sense of Pantev, Toen, Vaquie and Vezzosi arXiv:1111.3209. More precisely, we show that a derived scheme $X$ with symplectic form $\omega$ of…
In this paper we present an approach to quadratic structures in derived algebraic geometry. We define derived n-shifted quadratic complexes, over derived affine stacks and over general derived stacks, and give several examples of those. We…
This paper highlights the similarities between even-dimensional geometry (symplectic) and odd-dimensional geometry (cosymplectic). We study the Lagrangian Grassmannian in the cosymplectic setting. The space of compatible co-complex…
We develop a new method to construct the virtual fundamental classes for quasi-smooth derived schemes using the perverse sheaves of vanishing cycles on their $-1$-shifted contangent spaces. It is based on the author's previous work that can…
We extend the author's and CPTVV's correspondence between shifted symplectic and Poisson structures to establish a correspondence between exact shifted symplectic structures and non-degenerate shifted Poisson structures with formal…
Symplectic vector spaces are the phase spaces of linear mechanical systems. The symplectic form describes, for example, the relation between position and momentum as well as current and voltage. The category of linear Lagrangian relations…
For a smooth Deligne-Mumford stack over $\CC$, we define its associated Kodaira-Spencer differential graded Lie algebra and show that the deformation functor of the stack is isomorphic to the deformation functor of the Kodaira-Spencer…
For a $(-1)$-shifted Lagrangian in a critical locus, we construct a homomorphism from the $K$-group of matrix factorisations of the critical locus to the $K$-group of the Lagrangian, partially answering the Joyce-Safronov conjecture. The…
We give a new way to produce examples of Lagrangians in shifted symplectic derived stacks, based on multiple intersections. Specifically, we show that an m-fold fiber product of Lagrangians in a shifted symplectic derived stack its itself…