Abstract
We introduce a new category of differential graded multi-oriented props whose representations (called homotopy algebras with branes) in a graded vector space require a choice of a collection of k linear subspaces in that space, k being the number of extra orientations (if \(k=0\) this structure recovers an ordinary prop); symplectic vector spaces equipped with k Lagrangian subspaces play a distinguished role in this theory. Manin triples is a classical example of an algebraic structure (concretely, a Lie bialgebra structure) given in terms of a vector space and its subspace; in the context of this paper, Manin triples are precisely symplectic Lagrangian representations of the 2-oriented generalization of the classical operad of Lie algebras. In a sense, the theory of multi-oriented props provides us with a far reaching strong homotopy generalization of Manin triples type constructions. The homotopy theory of multi-oriented props can be quite non-trivial (and different from that of ordinary props). The famous Grothendieck–Teichmüller group acts faithfully as homotopy non-trivial automorphisms on infinitely many multi-oriented props, a fact which motivated much the present work as it gives us a hint to a non-trivial deformation quantization theory in every geometric dimension \(d\ge 4\) generalizing to higher dimensions Drinfeld–Etingof–Kazhdan’s quantizations of Lie bialgebras (the case \(d=3\)) and Kontsevich’s quantizations of Poisson structures (the case \(d=2\)).
Similar content being viewed by others
Notes
As the symmetric monoidal category of infinite-dimensional vector spaces is not closed, one must be careful about the definition of the endomorphism prop \({{\mathcal {E}}}nd_V\) in this category, see Sect. 4.1 for details.
Strictly speaking, this is true only in finite dimensions. In infinite dimensions, the subspaces \(W_i^+\) are defined as direct limits of systems of finite-dimensional spaces while their complements \(W^-_i\) always come as projective limits, so their intersection makes sense only at the level of finite-dimensional systems first (it is here where the interpretation of \(W^+\) and \(W^-\) as subspaces of one and the same vector space plays its role), and then taking either the direct or projective limit in accordance with the rule explained in Sect. 4.
The (unordered) tensor product \(\bigotimes _{i\in I} X_i\) of vector spaces \(X_i\) labelled by elements i of a finite set I of cardinality, say, n is defined as the space of \({{\mathbb {S}}}_n\)-coinvariants \( \left( \bigoplus _{\sigma : [n]{\mathop {\longrightarrow }\limits ^{\simeq }} I} X_{\sigma (1)}\otimes X_{\sigma (2)} \otimes \ldots \otimes X_{\sigma (n)}\right) _{{{\mathbb {S}}}_n}.\)
Here, we denote the elements of \([1^+]\) by \(\bar{0}\) and \(\bar{1}\) so that the value \({{\mathfrak {s}}}_i\) of the map \({{\mathfrak {s}}}\) on an element \(i\in I\) is itself a map of sets \({{\mathfrak {s}}}_i:\{\bar{0},\bar{1}\} \rightarrow \{out,in\}\).
Here we use the facts that for any vector space M and any inverse system of finite-dimensional vector spaces \(\{N_i\}\) one has \(\displaystyle \lim _{\longleftarrow } \text {Hom}(N_i,M)\cong \text {Hom}(\lim _{\longrightarrow }N_i, M)\) and \(\displaystyle \lim _{\longleftarrow }\text {Hom}(M, N_i) \cong \text {Hom}(M, \lim _{\longleftarrow }N_i)\), while \(\displaystyle \lim _{\longleftarrow } (N_i\otimes M)\cong (\lim _{\longleftarrow }N_i)\otimes M\) only if M is finite-dimensional. On the other hand, for any direct system \(\{N_i\}\) the equality \(\displaystyle \lim _{\longrightarrow }(M \otimes N_i) \cong M\otimes \lim _{\longrightarrow }N_i\) holds true for any M, while the equality \(\displaystyle \lim _{\longrightarrow }\text {Hom}(M, N_i) \cong \text {Hom}(M,\lim _{\longrightarrow }N_i) \) is true if and only if M is finite-dimensional.
References
Andersson, A.: Deformation theory of multi-oriented props of homotopy Lie bialgebras, a chapter in the firthcoming PhD thesis, University of Luxembourg
Drinfeld, V.G.: Quantum groups. In: Proceedings of the International Congress of Mathematicians (Berkeley, CA, 1986)
Drinfeld, V.G.: On some unsolved problems in quantum group theory. In: Lecture Notes in Mathematics, vol. 1510, pp. 1–8. Springer (1992)
Etingof, P., Kazhdan, D.: Quantization of Lie bialgebras. I. Selecta Math. (N.S.) 2, 1–41 (1996)
Joni, S.A., Rota, G.C.: Coalgebras and bialgebras in combinatorics. Stud. Appl. Math. 61(2), 93–139 (1979)
Kontsevich, M.: Deformation quantization of Poisson manifolds. Lett. Math. Phys. 66, 157–216 (2003)
Loday, J.-L., Vallette, B.: Algebraic Operads, Number 346 in Grundlehren der mathematischen Wissenschaften. Springer, Berlin (2012)
Markl, M.: Operads and props. In: Handbook of Algebra, vol. 5, pp. 87–140. Elsevier (2008)
Markl, M., Merkulov, S., Shadrin, S.: Wheeled props and the master equation. J. Pure Appl. Algebra 213, 496–535 (2009)
Markl, M., Shnider, S., Stasheff, J.D.: Operads in Algebra. Topology and Physics. AMS, Providence (2002)
Markl, M., Voronov, A.A.: PROPped-up graph cohomology. Algebra, arithmetic, and geometry. In: honor of Yu. I. Manin. vol. II, pp. 249–281, Progress in Mathematics, 270, Birkhäuser Boston, Inc., Boston (2009)
Merkulov, S.A.: Graph complexes with loops and wheels. In: Tschinkel, Y., Zarhin, Y. (eds.) Algebra, Arithmetic and Geometry—Manin Festschrift, Progress in Mathematics. Birkhaäuser (2008)
Merkulov, S.: Formality theorem for quantizations of Lie bialgebras. Lett. Math. Phys. 106(2), 169–195 (2016)
Merkulov, S.: Deformation quantization of homotopy algebras with branes (2020)
Merkulov, S., Vallette, B.: Deformation theory of representations of prop(erad)s I & II. J. Reine Angew. Math. (Qrelle) 634, 51–106, 636, 123–174 (2009)
Merkulov, S., Willwacher, T.: Deformation theory of Lie bialgebra properads (2015). arXiv:1512.05252. To appear in the memorial volume “Hitchin 70"
Merkulov, S., Willwacher, T.: Classification of universal formality maps for quantizations of Lie bialgebras (2016). Preprint arXiv:1605.01282
Merkulov, S., Willwacher, T.: An explicit two step quantization of Poisson structures and Lie bialgebras. Commun. Math. Phys. 364, 505–578 (2018)
Ward, B.: Six operations formalism for generalized operads. Theory Appl. Categ. 34, 121–169 (2019)
Willwacher, T., Kontsevich’s, M.: graph complex and the Grothendieck–Teichmueller Lie algebra. Invent. Math. 200, 671–760 (2015)
Willwacher, T.: Oriented graph complexes. Commun. Math. Phys. 334(3), 1649–1666 (2015)
Vallette, B.: A Koszul duality for props. Trans. Am. Math. Soc. 359, 4865–4943 (2007)
Živković, M.: Multi-oriented graph complexes and quasi-isomorphisms between them (2017). Preprint arXiv:1703.09605
Acknowledgements
It is a pleasure to thank Assar Andersson, Anton Khoroshkin, Thomas Willwacher and Marko Živković for valuable discussions. I am also grateful to the referee for several very useful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Merkulov, S. Multi-oriented props and homotopy algebras with branes. Lett Math Phys 110, 1425–1475 (2020). https://doi.org/10.1007/s11005-019-01248-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11005-019-01248-x