Related papers: A Derived Legendrian Category for Shifted Contact …
This is the first of a series of papers about \emph{quantization} in the context of \emph{derived algebraic geometry}. In this first part, we introduce the notion of \emph{$n$-shifted symplectic structures}, a generalization of the notion…
Locally cartesian closed (lcc) categories are natural categorical models of extensional dependent type theory. This paper introduces the "gros" semantics in the category of lcc categories: Instead of constructing an interpretation in a…
We define derived versions of $F$-zips and associate a derived $F$-zip to any proper, smooth morphism of schemes in positive characteristic. We analyze the stack of derived $F$-zips and certain substacks. We make a connection to the…
For an exact symplectic manifold $M$ and a Legendrian submanifold $\Lambda$ of the contactification $M\times \mathbb{R}$, we construct the augmentation category (over a field of characteristic 2), a unital $A_\infty$-category whose objects…
The Weil-Kostant integrality theorem states that given a smooth manifold endowed with an integral complex closed 2-form, then there exists a line bundle with connection on this manifold with curvature the given 2-form. It also characterises…
We define the derived category of quasi--coherent modules for certain Artin stacks as the homotopy category of two Quillen monoidal model structures on the corresponding category of unbounded complexes of quasi--coherent modules.
This paper introduces two constructions of Legendrian submanifolds, called the Legendrian product and spinning, and computes their classical invariants, the Thurston-Bennequin invariant and the Maslov class, in R^{2n+1}. These constructions…
In Part 1, we describe six projective-type model structures on the category of differential graded modules over a differential graded algebra A over a commutative ring R. When R is a field, the six collapse to three and are well-known, at…
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…
We construct shifted symplectic derived enhancements on rigidified moduli spaces of sheaves on Calabi-Yau varieties of dimension at least two. More generally, we prove that any $B\mathbb{G}_m$-action on a non-positively-shifted symplectic…
We investigate an equivalence relation on Legendrian knots in the standard contact three-space defined by the existence of an interpolating zigzag of Lagrangian cobordisms. We compare this relation, restricted to genus-$0$ surfaces, to…
In this short note we discuss certain examples of Legendrian submanifolds, whose linearized Legendrian contact (co)homology groups over integers have non-vanishing algebraic torsion. More precisely, for a given arbitrary finitely generated…
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…
Given a variety $Y$ with a rectangular Lefschetz decomposition of its derived category, we consider a degree $n$ cyclic cover $X \to Y$ ramified over a divisor $Z \subset Y$. We construct semiorthogonal decompositions of $\mathrm{D^b}(X)$…
We investigate quantisations of line bundles $\mathcal{L}$ on derived Lagrangians $X$ over $0$-shifted symplectic derived Artin $N$-stacks $Y$. In our derived setting, a deformation quantisation consists of a curved $A_{\infty}$ deformation…
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.…
A contact distribution on projective three-space is defined by the 1-form $x_2dx_1-x_1dx_2+x_4dx_3-x_3dx_4$, up to a change of projective coordinates. The family of contact distributions is parameterized by the complement of the…
Given an augmentation for a Legendrian surface in a $1$-jet space, $\Lambda \subset J^1(M)$, we explicitly construct an object, $\mathcal{F} \in Sh_{\Lambda}$, of the (derived) category from arXiv:1402.0490 of constructible sheaves on…
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,…
We define a differential graded algebra associated to Legendrian knots in Seifert fibered spaces with transverse contact structures. This construction is distinguished from other combinatorial realizations of contact homology invariants by…