SearcharxivSearch

arXiv · 2106.15275

Modeling bundle-valued forms on the path space with a curved iterated integral

Abstract

We introduce a new variant of Hochschild's two-sided bar construction for the setting of curved differential graded algebras. One can geometrically think of the classical bar complex as elements from the algebra positioned along different points in the closed interval $[0,1]$. In this paper, we start with a curved differential graded algebra and define a new ``zigzag algebra'' that, informally, consists of algebra elements arranged on a zigzag of intervals going back and forth between $0$ and $1$. We focus on two curved differential graded algebras: the de Rham algebra of differential forms with values in the endomorphism bundle associated to a vector bundle with connection, and its induced zigzag algebra. We define a curved version of Chen's iterated integral that incorporates parallel transport and maps this zigzag algebra of 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.

Explore related subjects

Keep this discovery

BibTeXRIS

Cheyne J. Glass, Corbett Redden. 2021-06-29. Modeling bundle-valued forms on the path space with a curved iterated integral. https://arxiv.org/abs/2106.15275

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Homogeneous Milnor fibers and Kato--Matsumoto bounds via simplicial multiwedges

For every $n\geq 3$ and $s\geq 2$, we construct a homogeneous polynomial of degree $n(n+1)/2$ whose Milnor fiber is exactly $2s$-connected and whose rational cohomology contains a strictly defined nontrivial $n$-fold Massey product on classes of degree $2s+1$, implying that the Milnor fiber is non-formal, while attaining the Kato--Matsumoto connectivity bound. Our construction is based on the simplicial multiwedges of the nerve complexes of simple polytopes introduced by Limonchenko, combined with Suciu's realization of weighted homogeneous Milnor fibers. We thereby answer two problems posed by Suciu.

math.AT

The homotopy types of directed path and trace spaces

We construct a saturated directed space with a Hausdorff $\Delta$-generated underlying space and two distinct points such that the trace space between them is homeomorphic to a square, whereas the directed path space has a nontrivial fundamental group. In particular, the canonical quotient map is not a weak homotopy equivalence. The same conclusion holds for regular directed paths modulo increasing homeomorphisms.

math.AT

Moduli spaces of geometric functorial field theories

We develop tools to compute moduli spaces of geometric functorial field theories as mapping spaces of equivariant simplicial presheaves. Given a d-dimensional geometric structure F, presented as a presheaf on the site of smooth families of d-manifolds, we define its Cartesian realization, which is an O(d)-equivariant simplicial presheaf on the site of Cartesian spaces. We use Cartesian realizations to present the moduli space of functorial field theories with geometric structure F as a mapping space between O(d)-equivariant simplicial presheaves. In a companion paper, we use this result to compute the moduli space of smooth one-dimensional oriented Riemannian functorial field theories valued in an arbitrary smooth symmetric monoidal infinity-category.

math.AT