Abstract
In this work, we study the deformation theory of {mathcal En-rings and the {mathcal Enanalogue of the tangent complex, or topological André-Quillen cohomology. We prove a generalization of a conjecture of Kontsevich, that there is a fiber sequence A[n-1] T-A {mathrm {HH}}-{{mathcal {E}}-{n}}!(A)[n], relating the {mathcal En-tangent complex and {mathcal En-Hochschild cohomology of an {mathcal En-ring A. We give two proofs: the first is direct, reducing the problem to certain stable splittings of configuration spaces of punctured Euclidean spaces; the second is more conceptual, where we identify the sequence as the Lie algebras of a fiber sequence of derived algebraic groups, B{n-1}A× {mathrm {Aut}-A {mathrm {Aut}}-{{mathfrak B}n!A}. Here {mathfrak B}n!A is an enriched (infty ,n)-category constructed from A, and {mathcal En-Hochschild cohomology is realized as the infinitesimal automorphisms of {mathfrak B}n!A. These groups are associated to moduli problems in {mathcal {E}}-{n+1}-geometry, a less commutative form of derived algebraic geometry, in the sense of the work of Toën and Vezzosi and the work of Lurie. Applying techniques of Koszul duality, this sequence consequently attains a nonunital {mathcal {E}}-{n+1}-algebra structure; in particular, the shifted tangent complex T-A[-n] is a nonunital {mathcal {E}}-{n+1}-algebra. The {mathcal {E}}-{n+1}-algebra structure of this sequence extends the previously known {mathcal {E}}-{n+1}-algebra structure on {mathrm {HH}}*{{mathcal {E}}-{n}}!(A), given in the higher Deligne conjecture. In order to establish this moduli-theoretic interpretation, we make extensive use of factorization homology, a homology theory for framed n-manifolds with coefficients given by {mathcal En-algebras, constructed as a topological analogue of Beilinson and Drinfeld's chiral homology. We give a separate exposition of this theory, developing the necessary results used in our proofs.
Original language | English (US) |
---|---|
Pages (from-to) | 430-480 |
Number of pages | 51 |
Journal | Compositio Mathematica |
Volume | 149 |
Issue number | 3 |
DOIs | |
State | Published - Mar 1 2013 |
Funding
This work was partially supported by the European Commission, through the SMSITES Project, Contract No. EVR1-CT1999-40002. We thank Hreinn Hjartarson of Orkuveita Husavikur for approval to use the Husavik wells and for logistic support. The various ideas in this paper have developed over many years in many discussions with many persons too numerous to mention individually. However, we should like to acknowledge our immediate colleagues Peter Leary, Xiang-Yang Li, Enru Liu, David Taylor, Theodora Volti, and Sergei Zatsepin, and thank them for the invaluable part they have played and are playing in the development of these ideas.
Keywords
- Hochschild cohomology
- Koszul duality
- algebras
- categories
- deformation theory
- factorization homology
- operads
- the tangent complex
- topological chiral homology
ASJC Scopus subject areas
- Algebra and Number Theory