Operations on derived moduli spaces of branes

Abstract

The main theme of this work is the study of the operations that naturally exist on moduli spaces of maps $Map(S,X)$, also called the space of branes of $X$ with respect $S$. These operations will be constructed as operations on the (quasi-coherent) derived category $\D(Map(S,X))$, in the particular case where $S$ has some close relations with an operad $\OO$. More precisely, for an $\s$-operad $\OO$ and an algebraic variety $X$ (or more generally a derived algebraic stack), satisfying some natural conditions, we prove that $\OO$ acts on the object $\OO(2)$ by mean cospans. This universal action is used to prove that $\OO$ acts on the derived category of the space of maps $Map(\OO(2),X)$, which will call the brane operations. We apply the existence of these operations, as well as their naturality in $\OO$, in order to propose a sketch for a proof of the \emph{higher formality conjecture}, a far reaching extension of Konstevich's formality's theorem. By doing so we present a positive answer to a conjecture of Kapustin (see \cite[p. 14]{kap}), relating polyvector fields on a variety $X$ and deformations of the mono/"i dal derived category $\D(X)$.

Minor corrections, 55 Pages

References in corpus (3)

• Dendroidal sets and simplicial operads
• Noncommutative Motives I: A Universal Characterization of the Motivic Stable Homotopy Theory of Schemes
• Noncommutative Motives II: K-Theory and Noncommutative Motives

Cited by in corpus (14)

• Shifted Poisson Structures and Deformation Quantization
• Triviality of the higher Formality Theorem
• Derived Algebraic Geometry and Deformation Quantization
• Braces and Poisson additivity
• Higher Hochschild cohomology, Brane topology and centralizers of $E_n$-algebra maps
• Operads as polynomial 2-monads
• Derived Algebraic Geometry
• The topological chiral homology of the spherical category
• A bivariant Yoneda lemma and $(\infty ,2)$-categories of correspondences
• Non-archimedean quantum K-invariants
• Operads, modules and topological field theories
• Gromov-Witten theory with derived algebraic geometry
• Secondary products in supersymmetric field theory
• A Physical Origin for Singular Support Conditions in Geometric Langlands Theory