Abstract
The usual iterated integral map given by Chen produces an equivalence between the two-sided bar complex on differential forms and the de Rham complex on the path space. This map fails to make sense when considering the curved differential graded algebra of bundle-valued forms with a covariant derivative induced by a connection. In this paper, we define a curved version of Chen’s iterated integral that incorporates parallel transport and maps an analog of the two-sided bar construction on bundle-valued forms to bundle-valued forms on the path space. This iterated integral is proven to be a homotopy equivalence of curved differential graded algebras, and for real-valued forms it factors through the usual Chen iterated integral.
Similar content being viewed by others
Notes
These columns represent the “time-slots” \(0=t_0\le t_1 \le \cdots \le t_n \le t_{n+1}=1\) over which we will eventually integrate when considering the iterated integral for differential forms.
The relation \(\sim _b\) is required to have \(c_z\) be well defined with respect to the relation \(\sim _a\).
Technically, F is only piecewise smooth and PM was defined as the space of smooth paths, but one can modify F with a bump function so that it is smooth.
References
Block, J., Daenzer, C.: Mukai duality for gerbes with connection. J. Reine Angew. Math. 639, 131–171 (2010)
Block, J.: Duality and equivalence of module categories in noncommutative geometry. In: A celebration of the mathematical legacy of Raoul Bott, CRM Proc. Lecture Notes, vol. 50, pp. 311–339. Amer. Math. Soc., Providence (2010)
Chen, K.T.: Iterated path integrals. Bull. Am. Math. Soc. 83(5), 831–879 (1977)
Friedman, G.: Singular Intersection Homology. Cambridge University Press, Cambridge (2020)
Getzler, E., Jones, J.D.S., Petrack, S.: Differential forms on loop spaces and the cyclic bar complex. Topology 30(3), 339–371 (1991)
Ginot, G., Tradler, T., Zeinalian, M.: A Chen model for mapping spaces and the surface product. Ann. Sci. Éc. Norm. Supér. (4) 43(5), 811–881 (2010)
Glass, C.J.: The derivative of global surface-holonomy for a non-abelian gerbe. Differ. Geom. Appl. 75, 101737 (2021)
Gugenheim, V.K.A.M.: On a perturbation theory for the homology of the loop-space. J. Pure Appl. Algebra 25(2), 197–205 (1982)
Huebschmann, J.: On the construction of \(A_\infty \)-structures. Georg. Math. J. 17(1), 161–202 (2010)
Miller (Glass), C.J.: The Zigzag Hochschild Complex (2015). arXiv:1505.03192
Miller (Glass), C.J.: On the Derivative of 2-Holonomy for a Non-Abelian Gerbe. Ph.D. Thesis–City University of New York. ProQuest LLC, Ann Arbor (2016)
Nicolaescu, L.I.: Lectures on the Geometry of Manifolds, 2nd edn. World Scientific Publishing Co. Pte. Ltd., Hackensack (2007)
Polishchuk, A.: Introduction to curved dg-algebras. http://www.math.polytechnique.fr/SEDIGA/documents/polishchuk_ens100324.pdf (2010)
Quick, G.: Algebraic Topology Lecture Notes. https://folk.ntnu.no/gereonq/MA3403H2018/MA3403_Lecture_Notes.pdf (2018)
Schreiber, U., Waldorf, K.: Smooth functors vs. differential forms. Homol. Homot. Appl. 13(1), 143–203 (2011)
Tradler, T., Wilson, S.O., Zeinalian, M.: Equivariant holonomy for bundles and abelian gerbes. Commun. Math. Phys. 315(1), 39–108 (2012)
Acknowledgements
C.G. would like to thank the Max-Planck-Institut für Mathematik in Bonn, for their support during his visit, as well as St. Joseph’s College for their support with a Faculty Summer Research Grant. The authors would also like to thank Thomas Tradler for inspiring the use of zigzags, as well as Jorge Florez, Joey Hirsch, and Scott Wilson for their helpful comments regarding curved cohomology. Finally, the authors thank the anonymous referees for their numerous suggestions and corrections that improved the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Scott Wilson.
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
Glass, C., Redden, C. Modeling bundle-valued forms on the path space with a curved iterated integral. J. Homotopy Relat. Struct. 17, 309–353 (2022). https://doi.org/10.1007/s40062-022-00306-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40062-022-00306-x