Corpus ID: 119136657

Derived smooth stacks and prequantum categories

  title={Derived smooth stacks and prequantum categories},
  author={James Wallbridge},
  journal={arXiv: Symplectic Geometry},
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 the moduli space of line bundles with connection that arise in this way. This theorem was extended to the case of p-forms by Gajer in [Ga]. In this paper we provide a generalization of this theorem where we replace the original manifold by a derived smooth… Expand
A Physical Origin for Singular Support Conditions in Geometric Langlands Theory
We explain how the nilpotent singular support condition introduced into the geometric Langlands conjecture by Arinkin and Gaitsgory arises naturally from the point of view of 4-dimensional $$\mathcalExpand
Quantum Geometric Langlands Categories from N = 4 Super Yang-Mills Theory
We describe the family of supersymmetric twists of $\mathcal N = 4$ super Yang--Mills theory using derived algebraic geometry, starting from holomorphic Chern--Simons theory on $ \mathcal N = 4$Expand
Shifted geometric quantization
We introduce geometric quantization in the setting of shifted symplectic structures. We define Lagrangian fibrations and prequantizations of shifted symplectic stacks and their geometricExpand


Shifted symplectic structures
This is the first of a series of papers about quantization in the context of derived algebraic geometry. In this first part, we introduce the notion of n-shifted symplectic structures (n-symplecticExpand
Derived smooth manifolds
We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitraryExpand
Homotopical Algebraic Geometry II: Geometric Stacks and Applications
This is the second part of a series of papers devoted to develop Homotopical Algebraic Geometry. We start by defining and studying generalizations of standard notions of linear and commutativeExpand
Quasi-smooth Derived Manifolds
The category Man of smooth manifolds is not closed under arbitrary fiber products; for example the zeroset of a smooth function on a manifold is not necessarily a manifold, and the non-transverseExpand
Derived complex analytic geometry I: GAGA theorems
We further develop the foundations of derived complex analytic geometry introduced in [DAG-IX] by J. Lurie. We introduce the notion of coherent sheaf on a derived complex analytic space. Moreover,Expand
Loop spaces and connections
We examine the geometry of loop spaces in derived algebraic geometry and extend in several directions the well-known connection between rotation of loops and the de Rham differential. Our mainExpand
Shifted Poisson structures and deformation quantization
This paper is a sequel to [PTVV]. We develop a general and flexible context for differential calculus in derived geometry, including the de Rham algebra and poly-vector fields. We then introduce theExpand
Loop Spaces, Characteristic Classes and Geometric Quantization
This book deals with the differential geometry of manifolds, loop spaces, line bundles and groupoids, and the relations of this geometry to mathematical physics. Recent developments in mathematicalExpand
Higher analytic stacks and GAGA theorems
We develop the foundations of higher geometric stacks in complex analytic geometry and in non-archimedean analytic geometry. We study coherent sheaves and prove the analog of Grauert's theorem forExpand
Geometry of Deligne cohomology
It is well known that degree two Deligne cohomology groups can be identified with groups of isomorphism classes of holomorphic line bundles with connections. There is also a geometric description ofExpand