Related papers: Lagrangian structures on mapping stacks and semi-c…
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 paper is the sequel to [PTVV] (IHES Vol. 117, 2013). We develop a general and flexible context for differential calculus in derived geometry, including the de Rham algebra and polyvector fields. We then introduce the formalism of…
A categorical formalism is introduced for studying various features of the symplectic geometry of Lefschetz fibrations and the algebraic geometry of Tyurin degenerations. This approach is informed by homological mirror symmetry, derived…
Consistent boundary conditions for Alexandrov-Kontsevich-Schwartz-Zaboronsky (AKSZ) sigma models and the corresponding boundary theories are analyzed. As their mathematical structures, we introduce a generalization of differential graded…
In the symplectic Lagrangian framework we newly embed an irreducible massive vector-tensor theory into a gauge invariant system, which has become reducible, by extending the configuration space to include an additional pair of scalar and…
This article generalizes the theory of shifted symplectic structures to the relative context and non-geometric stacks. We describe basic constructions that naturally appear in this theory: shifted cotangent bundles and the AKSZ procedure.…
For a Koszul Artin-Schelter regular algebra (also called twisted Calabi-Yau algebra), we show that it has a "twisted" bi-symplectic structure, which may be viewed as a noncommutative and twisted analogue of the shifted symplectic structure…
It is well-known that classical two-dimensional topological field theories are in one-to-one correspondence with commutative Frobenius algebras. An important extension of classical two-dimensional topological field theories is provided by…
In this paper, generalizing the construction of \cite{HP1}, we equip the relative moduli stack of complexes over a Calabi-Yau fibration (possibly with singular fibers) with a shifted Poisson structure. Applying this construction to the…
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 formally define the concept of shifted contact structures on derived (Artin) stacks and study their local properties in the context of derived algebraic geometry. In this regard, for negatively shifted contact derived…
We examine shifted symplectic and Poisson structures on spaces of framed maps. We prove some results about shifted Poisson structures analogous to those in existing ones about symplectic structures. Then, we consider the space Map(X,D,Y) of…
We construct the defining data of two-dimensional topological field theories (TFTs) enriched by non-invertible symmetries/topological defect lines. Simple formulae for the three-point functions and the lasso two-point functions are derived,…
We construct higher categories of iterated spans, possibly equipped with extra structure in the form of "local systems", and classify their fully dualizable objects. By the Cobordism Hypothesis, these give rise to framed topological quantum…
We prove that shifted cotangent stacks carry a canonical shifted symplectic structure. We also prove that shifted conormal stacks carry a canonical Lagrangian structure. These results were believed to be true but no written proof was…
We determine the $d+1$ dimensional topological field theory, which encodes the higher-form symmetries and their 't Hooft anomalies for $d$-dimensional QFTs obtained by compactifying M-theory on a non-compact space $X$. The resulting theory,…
This paper develops new aspects of the interplay between shifted symplectic geometry and classical Poisson geometry, focusing on lagrangian morphisms into 2-shifted symplectic groups. We establish a Lie-type correspondence between such…
In this paper we propose a naive construction of 2-dimensional extended topological quantum field theories (TQFTs), which can be further generalized to the higher-dimension extended TQFTs.
We construct symmetric monoidal higher categories of iterated Calabi-Yau cospans, that are noncommutative analogs of iterated lagrangian correspondences. We actually give a general (and functorial) procedure that applies to iterated…
Given a regular function $\phi$ on a smooth stack, and a $(-1)$-shifted Lagrangian $M$ on the derived critical locus of $\phi$, under fairly general hypotheses, we construct a pullback map from the Grothendieck group of coherent matrix…