Related papers: Perversely categorified Lagrangian correspondences

This is the fifth article in the Derived Langlands series which consists of one monograph and four articles. In this article I describe the Hopf algebra and Positive Selfadjoint Hopfalgebra (PSH) aspects to classification of a number of new…

We study perverse sheaves of categories their connections to classical algebraic geometry. We show how perverse sheaves of categories encode naturally derived categories of coherent sheaves on $\mathbb{P}^1$ bundles, semiorthogonal…

We classify all the six derivative Lagrangians of gravity, whose traced field equations are of second or third order, in arbitrary dimensions. In the former case, the Lagrangian in dimensions greater than six, reduces to an arbitrary linear…

We prove a motivic integral identity relating the motivic Behrend function of a $(-1)$-shifted symplectic stack to that of its stack of graded points. This generalizes analogous identities for moduli stacks of objects in…

Let $M$ be a holomorphically symplectic manifold, equipped with a Lagrangian fibration $\pi:\; M \to X$. A degenerate twistor deformation (sometimes also called ``a Tate-Shafarevich twist'') is a family of holomorphically symplectic…

There is a simple and natural quantization of differential forms on odd Poisson supermanifolds, given by the relation [f,dg]={f,g} for any two functions f and g. We notice that this non-commutative differential algebra has a geometrical…

We describe symplectic mapping class relations between products of positive Dehn twists along Lagrangian spheres in Weinstein $4$-manifolds, all of which are affine $\mathbb{C}$ varieties. The relations are obtained by applying…

We introduce a holomorphic version of Weinstein's symplectic category, in which objects are holomorphic symplectic manifolds, and morphisms are holomorphic lagrangian correspondences. We then extend this category to log schemes, and prove…

We define 2-categories of microlocal perverse (resp. coherent) sheaves of categories on the skeleton of a hypertoric variety and show that the generators of these 2-categories lift the projectives (resp. simples) in hypertoric category…

In their article "Elementary construction of perverse sheaves", R.MacPherson and K. Vilonen show that on a Thom-Mather space X the category PervX of perverse sheaves is equivalent to the category C(F, G, T) whose objects are data of…

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…

In this paper, we go into the study of the 2-category SSS_\Sigma of \Sigma-constructible stacks. The notions of constructible stack was introduced by D. Treumann. It is a natural generalization of constructible sheaf. D. Treumann has also…

A construction of Wehrheim and Woodward circumvents the problem that compositions of smooth canonical relations are not always smooth, building a category suitable for functorial quantization. To apply their construction to more examples,…

We construct a version of rational Symplectic Field Theory for pairs $(X,L)$, where $X$ is an exact symplectic manifold, where $L\subset X$ is an exact Lagrangian submanifold with components subdivided into $k$ subsets, and where both $X$…

This article gives a classification, up to symplectic equivalence, of singular Lagrangian foliations given by a completely integrable system of a 4-dimensional symplectic manifold, in a full neighbourhood of a singular leaf of focus-focus…

In this paper we prove first a general theorem on semiorthogonal decompositions in derived categories of coherent sheaves for flat families over a smooth base. Based on the results of math.AG/0510670, we then show that the derived…

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…

In exact symplectic manifolds whose Liouville flow is gradientlike for a proper Morse function, one can associate conic microsheaves to eventually conic exact Lagrangians. Here we study how this 'microsheaf quantization' interacts with…

For a symplectic manifold satisfying some topological condition,we define a special class of modules over the deformation quantization algebra. For any two such modules we construct an infinity local system of morphisms. We construct such…

In this paper we derive the symplectic framework for field theories defined by higher-order Lagrangians. The construction is based on the symplectic reduction of suitable spaces of iterated jets. The possibility of reducing a higher-order…