×

Homological algebra related to surfaces with boundary. (English) Zbl 1468.18022

The authors describe an algebraic framework which can be used for three related but different purposes: (equivariant) string topology [M. Chas and D. Sullivan, in: The legacy of Niels Henrik Abel. Papers from the Abel bicentennial conference, University of Oslo, Oslo, Norway, June 3–8, 2002. Berlin: Springer. 771–784 (2004; Zbl 1068.55009)], symplectic field theory [Y. Eliashberg et al., in: GAFA 2000. Visions in mathematics—Towards 2000. Proceedings of a meeting, Tel Aviv, Israel, August 25–September 3, 1999. Part II. Basel: Birkhäuser. 560–673 (2000; Zbl 0989.81114)], and Lagrangian Floer theory [A. Floer, J. Differ. Geom. 28, No. 3, 513–547 (1988; Zbl 0674.57027)] of higher genus.
It turns out that the relevant algebraic structure for all three contexts is a homotopy version of involutive bi-Lie algebras, called \(IBL_\infty\)-algebras. First, the authors define \(IBL_\infty\)-algebras and their morphisms, and discuss the defining relations from various points of view. Next, for various applications and the discussion of Maurer-Cartan elements the more general notion of a filtered \(IBL_\infty\)-algebra is needed. The remaining part of the paper gives some ideas how \(IBL_\infty\)-structures arise in algebraic and symplectic topology.

MSC:

18M85 Polycategories/dioperads, properads, PROPs, cyclic operads, modular operads
53D42 Symplectic field theory; contact homology
19D55 \(K\)-theory and homology; cyclic homology and cohomology
55P50 String topology
81T13 Yang-Mills and other gauge theories in quantum field theory
58J28 Eta-invariants, Chern-Simons invariants

References:

[1] M. Alexandrov, A. Schwarz, M. Kontsevich, and O. Zaboronsky, The geometry of the master equation and topological quantum field theory.Internat. J. Modern Phys. A12 (1997), no. 7, 1405-1429.MR 1432574 Zbl 1073.81655 · Zbl 1073.81655
[2] M. Atiyah, Topological quantum field theories.Inst. Hautes Études Sci. Publ. Math.68(1988), 175-186.MR 1001453 Zbl 0692.53053 · Zbl 0692.53053
[3] S. Axelrod and I. Singer, Chern-Simons perturbation theory II.J. Differential Geom.39(1994), no. 1, 173-213.MR 1258919 Zbl 0827.53057 · Zbl 0827.53057
[4] S. Barannikov, Quantum periods I. Semi-infinite variation of Hodge structures.Internat. Math. Res. Notices2001no. 23, 1243-1264.MR 1866443 Zbl 1074.14510 · Zbl 1074.14510
[5] S. Barannikov, Modular operads and Batalin-Vilkovisky geometry.Int. Math. Res. Not. IMRN2007,no. 19, Art. ID rnm075, 31 pp.MR 2359547 Zbl 1135.18006 · Zbl 1135.18006
[6] S. Barannikov, Solving the noncommutative Batalin-Vilkovisky equation.Lett. Math. Phys.103(2013), no. 6, 605-628.MR 3054648 Zbl 1293.81039 · Zbl 1293.81039
[7] S. Barannikov and M. Kontsevich, Frobenius manifolds and formality of Lie algebras of polyvector fields.Internat. Math. Res. Notices1998,no. 4, 201-215.MR 1609624 Zbl 0914.58004 · Zbl 0914.58004
[8] D. Bar-Natan, Perturbative Chern-Simons theory.J. Knot Theory Ramifications4 (1995), no. 4, 503-547.MR 1361082 Zbl 0861.57009 · Zbl 0861.57009
[9] D. Bashkirov and A. Voronov, The BV formalism forL1-algebras.J. Homotopy Relat. Struct.12(2017), no. 2, 305-327.MR 3654355 Zbl 1371.18015 · Zbl 1371.18015
[10] J. M. Boardman and R. M. Vogt,Homotopy invariant algebraic structures on topological spaces.Lecture Notes in Mathematics, 347. Springer-Verlag, Berlin etc., 1973. MR 0420609 Zbl 0285.55012 · Zbl 0285.55012
[11] F. Bourgeois, T. Ekholm, and Y. Eliashberg, Effect of Legendrian surgery. With an appendix by S. Ganatra and M. Maydanskiy.Geom. Topol.16(2012), no. 1, 301-389. MR 2916289 Zbl 1322.53080 · Zbl 1322.53080
[12] F. Bourgeois, Y. Eliashberg, H. Hofer, K. Wysocki, and E. Zehnder, Compactness results in symplectic field theory.Geom. Topol.7(2003), 799-888.MR 2026549 Zbl 1131.53312 · Zbl 1131.53312
[13] F. Bourgeois and A. Oancea, An exact sequence for contact and symplectic homology. Invent. Math.175(2009), no. 3, 611-680.MR 2471597 Zbl 1167.53071 · Zbl 1167.53071
[14] R. Campos, S. Merkulov, and T. Willwacher, The Frobenius properad is Koszul.Duke Math. J.165(2016), no. 15, 2921-2989.MR 3557276 Zbl 1360.18014 · Zbl 1360.18014
[15] M. Chas, Combinatorial Lie bialgebras of curves on surfaces.Topology43(2004), no. 3, 543-568.MR 2041630 Zbl 1050.57014 · Zbl 1050.57014
[16] M. Chas and D. Sullivan, String topology. Preprint, 1999. arXiv:math/9911159[math.GT] · Zbl 1185.55013
[17] M. Chas and D. Sullivan, Closed string operators in topology leading to Lie bialgebras and higher string algebra. In O. A. Laudal and R. Piene (eds.),The legacy of Niels Henrik Abel.Papers from the Abel Bicentennial Conference held at the University of Oslo, Oslo, June 3-8, 2002. Springer-Verlag, Berlin, 2004, 771-784.MR 2077595 Zbl 1068.55009 · Zbl 1068.55009
[18] Y. Chekanov, Differential algebra of Legendrian links.Invent. Math.150(2002), no. 3, 441-483.MR 1946550 Zbl 1029.57011 · Zbl 1029.57011
[19] K.-T. Chen, Iterated integrals of differential forms and loop space homology.Ann. of Math.(2)97(1973), 217-246.MR 0380859 Zbl 0227.58003 · Zbl 0227.58003
[20] X. Chen, Lie bialgebras and the cyclic homology ofA1structures in topology. Preprint, 2010.arXiv:1002.2939[math.AT]
[21] K. Cieliebak and J. Latschev, The role of string topology in symplectic field theory. In M. Abreu, F. Lalonde, and L. Polterovich (eds.),New perspectives and challenges in symplectic field theory.Proceedings of the conference held at Stanford University, Stanford, CA, June 25-29, 2007. CRM Proceedings & Lecture Notes, 49. American Mathematical Society, Providence, R.I., 2009, 113-146.MR 2555935 Zbl 1214.53067 · Zbl 1214.53067
[22] K. Cieliebak and E. Volkov, in preparation.
[23] R. Cohen, and J. Jones, A homotopy theoretic realization of string topology.Math. Ann.324(2002), no. 4, 773-798.MR 1942249 Zbl 1025.55005 · Zbl 1025.55005
[24] R. Cohen and V. Godin, A polarized view of string topology. In U. Tillmann (ed.), Topology, geometry and quantum field theory.Proceedings of the symposium in honour of the 60th birthday of Graeme Segal held in Oxford, June 24-29, 2002. London Mathematical Society Lecture Note Series, 308. Cambridge University Press, Cambridge, 2004, 127-154.MR 2079373 Zbl 1095.55006 · Zbl 1095.55006
[25] R. Cohen and M. Schwarz, A Morse theoretic description of string topology. In M. Abreu, F. Lalonde, and L. Polterovich (eds.),New perspectives and challenges in symplectic field theory.Proceedings of the conference held at Stanford University, Stanford, CA, June 25-29, 2007. CRM Proceedings & Lecture Notes, 49. American Mathematical Society, Providence, R.I., 2009, 147-172.MR 2555936 Zbl 1208.57012
[26] R. Cohen and A. Voronov, Notes on string topology. In R. Cohen, K. Hess, and A. Voronov,String topology and cyclic homology.Lectures from the Summer School held in Almería, September 16-20, 2003. Advanced Courses in Mathematics. CRM Barcelona. Birkhäuser Verlag, Basel, 2006, 1-95.MR 2240287
[27] K. Costello, Topological conformal field theories and Calabi-Yau categories.Adv. Math.210(2007), no. 1, 165-214.MR 2298823 Zbl 1171.14038 · Zbl 1171.14038
[28] K. Costello, The partition function of a topological field theory.J. Topol.2(2009), no. 4, 779-822.MR 2574744 Zbl 1181.81100 · Zbl 1181.81100
[29] M. Doubek, B. Jurčo and L. Peksova, Properads and homotopy algebras related to surfaces. Preprint, 2017.arXiv:1708.01195[math.AT]
[30] G. C. Drummond-Cole, J. Terilla, and T. Tradler, Algebras over.coFrob/J. Homotopy Relat. Struct.5(2010), no. 1, 15-36.MR 2591885 Zbl 1280.18009 · Zbl 1280.18009
[31] Y. Eliashberg, A. Givental, and H. Hofer, Introduction to symplectic field theory. Geom. Funct. Anal.2000,Special Volume, Part II, 560-673. (GAFA 2000, Tel Aviv, 1999.)MR 1826267 Zbl 0989.81114 · Zbl 0989.81114
[32] A. Floer, Morse theory for Lagrangian intersections.J. Differential Geom.28(1988), no. 3, 513-547.MR 0965228 Zbl 0674.57027 · Zbl 0674.57027
[33] K. Fukaya, Morse homotopy,A1-categories, and Floer homologies. In H.-J. Kim (ed.),Proceedings of GARC Workshop on Geometry and Topology ’93.Held at the Seoul National University, Seoul, July 1993. Seoul National University, Research Institute of Mathematics, Global Analysis Research Center, Seoul, 1993, 1-102. MR 1270931 Zbl 0853.57030
[34] K. Fukaya, Deformation theory, homological algebra and mirror symmetry. In U. Bruzzo, V. Gorini, and U. Moschella (eds.),Geometry and physics of branes.Papers from the Doctoral School held in Como, 2001. Series in High Energy Physics, Cosmology and Gravitation. IOP Publishing, Bristol, 2003, 121-209.MR 1950958
[35] K. Fukaya, Application of Floer homology of Langrangian submanifolds to symplectic topology. In P. Biran, O. Cornea, and F. Lalonde (eds.),Morse theoretic methods in nonlinear analysis and in symplectic topology.roceedings of the NATO Advanced Study Institute (the 43rd Séminaire de Mathématiques Supérieures (SMS)) held at the Université de Montréal, Montréal, QC, June 21-July 2, 2004. NATO Science Series II: Mathematics, Physics and Chemistry, 217. Springer, Dordrecht, 2006, 231-276. MR 2276953 · Zbl 1089.53064
[36] K. Fukaya, Cyclic symmetry and adic convergence in Lagrangian Floer theory.Kyoto J. Math.50(2010), no. 3, 521-590.MR 2723862 Zbl 1205.53090 · Zbl 1205.53090
[37] K. Fukaya, Y.-G. Oh, H. Ohta, and K. Ono,Lagrangian intersection Floer theoryanomaly and obstruction.Part I and Part II. AMS/IP Studies in Advanced Mathematics, 46.1 and 46.2. American Mathematical Society, Providence, R.I., International Press, Somerville, MA, 2009.MR 2553465(Part I)MR 2548482(Part II) Zbl 1181.53002(Part I)Zbl 1181.53003(Part II) · Zbl 1181.53003
[38] W. Fulton and R. MacPherson, A compactification of configuration spaces.Ann. of Math.(2)139(1994), no. 1, 183-225.MR 1259368 Zbl 0820.14037 · Zbl 0820.14037
[39] E. Getzler and J. Jones,A1algebra and the cyclic bar complex.Illinois J. Math.34 (1990), no. 2, 256-283.MR 1046565 Zbl 0701.55009 · Zbl 0701.55009
[40] M. Gerstenhaber, On the deformation of rings and algebras.Ann. of Math.(2)79 (1964), 59-103.MR 0171807 Zbl 0123.03101 · Zbl 0123.03101
[41] T. G. Goodwillie, Cyclic homology, derivations, and the free loopspace.Topology24 (1985), no. 2, 187-215.MR 0793184 Zbl 0569.16021 · Zbl 0569.16021
[42] M. Gromov, Pseudo holomorphic curves in symplectic manifolds.Invent. Math.82 (1985), no. 2, 307-347.MR 0809718 Zbl 0592.53025 · Zbl 0592.53025
[43] A. Gonzalez, The Lie bialgebra structure of the vector space of cyclic words.Bol. Soc. Mat. Mex.(3)23(2017), no. 2, 667-689.MR 3704336 Zbl 1432.17025 · Zbl 1432.17025
[44] P. Hájek,IBL-infinity model of string topology from perturbative Chern-Simons theory.Ph.D. thesis, University of Augsburg, Augsburg, 2019.
[45] H. Hofer, A general Fredholm theory and applications. In D. Jerison, B. Mazur, T. Mrowka, W. Schmid, R. Stanley, and S.-T. Yau (eds.),Current developments in mathematics, 2004.International Press, Somerville, MA, 2006, 1-71.MR 2459290 Zbl 1185.58001 · Zbl 1185.58001
[46] E. Hoffbeck, J. Leray, and B. Vallette, Properadic homotopical calculus. Preprint, 2019.arXiv:1910.05027[math.QA]
[47] J. D. Jones, Cyclic homology and equivariant homology.Invent. Math.87(1987), no. 2, 403-423.MR 0870737 Zbl 0625.55003 · Zbl 0644.55005
[48] T.V. Kadeišvili, The algebraic structure in the homology of anA1-algebra.Soobshch. Akad. Nauk Gruzin. SSR108(1982), no. 2, 249-252. In Russian.MR 0720689 Zbl 0535.55005 · Zbl 0535.55005
[49] R. Kaufmann, A proof of a cyclic version of Deligne’s conjecture via Cacti.Math. Res. Lett.15(2008), no. 5, 901-921.MR 2443991 Zbl 1161.55001 · Zbl 1161.55001
[50] M. Kontsevich, Formal (non)commutative symplectic geometry. In L. Corwin, I. Gel0fand, and J. Lepowsky (eds.),The Gel0fand Mathematical Seminars, 1990-1992.Birkhäuser Boston, Boston, MA, 1993, 173-187.MR 1247289 Zbl 0821.58018 · Zbl 0821.58018
[51] M. Kontsevich, Feynman diagrams and low-dimensional topology. A. Joseph, F. Mignot, F. Murat, B. Prum, and R. Rentschler (eds.),First European Congress of Mathematics.Vol. II. Invited lectures. Part 2. Progress in Mathematics, 120. Birkhäuser Verlag, Basel, 1994, 97-121.MR 1341841 Zbl 0872.57001 · Zbl 0872.57001
[52] M. Kontsevich and Y. Soibelman, Homological mirror symmetry and torus fibrations. In K. Fukaya, Y.-G. Oh, K. Ono, and G. Tian (eds.),Symplectic geometry and mirror symmetry.Proceedings of the 4th KIAS Annual International Conference held in Seoul, August 14-18, 2000. World Scientific Publishing Co., River Edge, N.J., 2001, 203-263.MR 1882331 Zbl 1072.14046 · Zbl 1072.14046
[53] M. Kontsevich and Y. Soibelman, Notes onA1-algebras,A1-categories and noncommutative geometry. In A. Kapustin, M. Kreuzer, and K.-G. Schlesinger (eds.), Homological mirror symmetry.New developments and perspectives. Springer-Verlag, Berlin etc., 2009, 153-219.MR 2596638 Zbl 1202.81120 · Zbl 1202.81120
[54] M. Lazard, Sur les groupes de Lie formels à un paramétre.Bull. Soc. Math. France83 (1955), 251-274.MR 0073925 Zbl 0068.25703 · Zbl 0068.25703
[55] J.-L. Loday,Cyclic homology.Second edition. Appendix E by M. O. Ronco. Chapter 13 by J.-L. Loday in collaboration with T. Pirashvili. Grundlehren der Mathematischen Wissenschaften, 301. Springer-Verlag, Berlin, 1998.MR 1600246 Zbl 0885.18007 · Zbl 0885.18007
[56] M. Markl, S. Shnider, and J. Stasheff,Operads in algebra, topology and physics. Mathematical Surveys and Monographs, 96. American Mathematical Society, Providence, R.I., 2002.MR 1898414 Zbl 1017.18001 · Zbl 1017.18001
[57] M. Markl and A. Voronov, The MV formalism for IBL1- and BV1-algebras.Lett. Math. Phys.107(2017), no. 8, 1515-1543.MR 3669243 Zbl 1382.16007 · Zbl 1382.16007
[58] J. McCleary,A user’s guide to spectral sequences.Second edition. Cambridge Studies in Advanced Mathematics, 58. Cambridge University Press, Cambridge, 2001. MR 1793722 Zbl 0959.55001 · Zbl 0959.55001
[59] S. Merkulov, De Rham model for string topology.Int. Math. Res. Not.2004,no. 55, 2955-2981.MR 2099178 Zbl 1066.55008 · Zbl 1066.55008
[60] S. Merkulov and T. Willwacher, Deformation theory of Lie bialgebra properads. In J. E. Andersen, A. Dancer and O. García-Prada (eds.),Geometry and physics.Vol. I. A Festschrift in honour of Nigel Hitchin. Oxford University Press, Oxford, 2018, 219-247.MR 3932263 Zbl 07085167 · Zbl 1487.17042
[61] K. Münster and I. Sachs, Quantum open-closed homotopy algebra and string field theory.Comm. Math. Phys.321(2013), no. 3, 769-801.MR 3070036 Zbl 1270.81185 · Zbl 1270.81185
[62] K. Münster and I. Sachs, Homotopy classification of bosonic string field theory. Comm. Math. Phys.330(2014), no. 3, 1227-1262.MR 3227511 Zbl 1295.83054 · Zbl 1295.83054
[63] S. Novikov, Multivalued functions and functionals. An analogue of the Morse theory. Dokl. Akad. Nauk SSSR260(1981), no. 1, 31-35. In Russian. English translation, Soviet Math. Dokl.24(1981), no. 2, 222-226.MR 0630459 Zbl 0505.58011 · Zbl 0505.58011
[64] Y.-G. Oh, Floer cohomology of Lagrangian intersections and pseudo-holomorphic disks. I.Comm. Pure Appl. Math.46(1993), no. 7, 949-993. Floer cohomology of Lagrangian intersections and pseudo-holomorphic disks. II..CPn;RPn/.Ibid.46 (1993), no. 7, 995-1012.MR 1223659(I)MR 1223660(II)Zbl 0795.58019(I) Zbl 0795.58020(II) · Zbl 0795.58019
[65] H. Ohta, Obstruction to and deformation of Lagrangian intersection Floer cohomology. In K. Fukaya, Y.-G. Oh, K. Ono, and G. Tian (eds.),Symplectic geometry and mirror symmetry.Proceedings of the 4th KIAS Annual International Conference held in Seoul, August 14-18, 2000. World Scientific Publishing Co., River Edge, N.J., 2001, 281-309.MR 1882333 Zbl 1013.53057 · Zbl 1013.53057
[66] W. Rudin,Functional analysis.McGraw-Hill Series in Higher Mathematics. McGraw-Hill Book Co., New York etc., 1973.MR 0365062 Zbl 0253.46001
[67] L. Schwartz, Produits tensoriels topologiques d’espaces vectoriels topologiques. Espace vectoriels topologiques nucléaires. Séminaire Schwartz de la Faculté des Sciences de Paris, 1953/1954. Secrétariat mathématique, Paris, No. 1 à 24, 1954. MR 0075540 Zbl 0059.10401
[68] G. Segal, Geometric aspects of quantum field theory. In I. Satake (ed.),Proceedings of the International Congress of Mathematicians.Vol. II. Held in Kyoto, August 21-29, 1990. Mathematical Society of Japan, Tokyo, and, Springer-Verlag, Tokyo, 1991, 1387-1396.MR 1159323 Zbl 0757.53048 · Zbl 0757.53048
[69] P. Seidel,Fukaya categories and Picard-Lefschetz theory.Zurich Lectures in Advanced Mathematics. European Mathematical Society (EMS), Zürich, 2008. MR 2441780 Zbl 1159.53001 · Zbl 1159.53001
[70] P. Seidel, A biased view of symplectic cohomology. In D. Jenison, B. Mazur, T. Mrowka, W. Schmid, R. Stanley, and S.-T. Yau (eds.),Current developments in mathematics, 2006.International Press, Somerville, MA, 2008, 211-253. MR 2459307 Zbl 1165.57020 · Zbl 1165.57020
[71] P. Seidel, Symplectic homology as Hochschild homology. In D. Abramovich, A. Bertram, L. Katzarkov, R. Pandharipande, and M. Thaddeus (eds.),Algebraic geometry—Seattle 2005.Part 1. Papers from the AMS Summer Research Institute held at the University of Washington, Seattle, WA, July 25-August 12, 2005. Proceedings of Symposia in Pure Mathematics, 80, Part 1. American Mathematical Society, Providence, R.I., 2009, 2009.MR 2483942 Zbl 1179.53085 · Zbl 1179.53085
[72] J. Stasheff, Homotopy associativity ofH-spaces. I.Trans. Amer. Math. Soc.108 (1963), 275-292. Homotopy associativity ofH-spaces. II.Ibid.108(1963), 293-312. MR 0158400 Zbl 0114.39402 · Zbl 0114.39402
[73] J. Stasheff, Higher homotopy algebras: string field theory and Drinfel0d’s quasi-Hopf algebras. In S. Catto and A. Rocha (eds.),Proceedings of the XXth International Conference on Differential Geometric Methods in Theoretical Physics.Vol. 1. Held at the Bernard M. Baruch College of the City University of New York, New York, June 3-7, 1991. World Scientific Publishing Co., River Edge, N.J., 1992, 408-425. MR 1225132 Zbl 0813.55004 · Zbl 0813.55004
[74] D. Sullivan, Infinitesimal computations in topology.Inst. Hautes Études Sci. Publ. Math.47(1977), 269-331.MR 0646078 Zbl 0374.57002 · Zbl 0374.57002
[75] D. Sullivan, String topology background and present state. In D. Jerison, B. Mazur, T. Mrowka, W. Schmid, R. Stanley, and S.-T. Yau (eds.),Current developments in mathematics, 2005.International Press, Somerville, MA, 2007, 41-88.MR 2459297 Zbl 1171.55003 · Zbl 1171.55003
[76] D. Tamarkin and B. Tsygan, Noncommutative differential calculus, homotopy BV algebras and formality conjectures.Methods Funct. Anal. Topology6(2000), no. 2, 85-100.MR 1783778 Zbl 0965.58010 · Zbl 0965.58010
[77] T. Tradler, Infinity-inner-products on A-infinity-algebras.J. Homotopy Relat. Struct.3 (2008), no. 1, 245-271.MR 2426181 Zbl 1243.16008 · Zbl 1243.16008
[78] T. Tradler and M. Zeinalian, Infinity structure of Poincaré duality spaces. Appendix A by D. Sullivan.Algebr. Geom. Topol.7(2007), 233-260.MR 2308943 Zbl 1137.57025 · Zbl 1137.57025
[79] B. Vallette, A Koszul duality for PROPs.Trans. Amer. Math. Soc.359(2007), no. 10, 4865-4943.MR 2320654 Zbl 1140.18006 · Zbl 1140.18006
[80] N. Wahl and C. Westerland, Hochschild homology of structured algebras.Adv. Math.288(2016), 240-307.MR 3436386 Zbl 1329.55009 · Zbl 1329.55009
[81] E. Witten, Noncommutative geometry and string field theory.Nuclear Phys. B268 (1986), no. 2, 253-294.MR 0834515 Zbl 0910.58004
[82] E. Witten, Chern-Simons gauge theory as a string theory. In H. Hofer, C. H. Taubes, A. Weinstein, and E. Zehnder (eds.),The Floer memorial volume.Progress in Mathematics, 133. Birkhäuser Verlag, Basel, 1995, 637-678.MR 1362846 Zbl 0844.58018 · Zbl 0844.58018
[83] B. Zwiebach, Quantum open string theory with manifest closed string factorization. Phys. Lett. B256(1991), no. 1, 22-29
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.