nLab higher parallel transport

Idea

A connection on a bundle induces a notion of parallel transport over paths . A connection on a 2-bundle induces a generalization of this to a notion of parallel transport over surfaces . Similarly a connection on a 3-bundle induces a notion of parallel transport over 3-dimensional volumes.

Generally, a connection on an ∞-bundle induces a notion of parallel transport in arbitrary dimension.

Definition

The higher notions of differential cohomology and Chern-Weil theory make sense in any cohesive (∞,1)-topos

$$(\Pi \dashv Disc \dashv \Gamma) : \mathbf{H} \stackrel{\overset{\Pi}{\to}}{\stackrel{\overset{Disc}{\leftarrow}}{\underset{\Gamma}{\to}}} \infty Grpd \simeq Top \,.$$

In every such there is a notion of connection on an ∞-bundle and of its higher parallel transport.

A typical context considered (more or less explicitly) in the literature is $\mathbf{H} =$ Smooth∞Grpd, the cohesive $(\infty,1)$-topos of smooth ∞-groupoids. But other choices are possible. (See also the Examples.)

Higher parallel transport

Let $A$ be an ∞-Lie groupoid such that morphisms $X \to A$ in Smooth∞Grpd classify the $A$-principal ∞-bundles under consideration. Write $A_{conn}$ for the differential refinement described at ∞-Lie algebra valued form, such that lifts

$$\array{ && A_{conn} \\ & {}^{\mathllap{\nabla}}\nearrow & \downarrow \\ X &\stackrel{g}{\to}& A }$$

describe connections on ∞-bundles.

Definition

For $n \in \mathbb{N}$ say that $\nabla$ admits parallel $n$-transport if for all smooth manifolds $\Sigma$ of dimension $n$ and all morphisms

$$\phi : \Sigma \to X$$

we have that the pullback of $\nabla$ to $\Sigma$

$$\phi^* \nabla : \Sigma \stackrel{\phi}{\to} X \stackrel{\nabla}{\to} A_{conn}$$

flat in that it factors through the canonical inclusion $\mathbf{\flat}A \to A_{conn}$.

In other words: if all the lower curvature $k$-forms, $1 \leq k \leq n$ of $\phi^* \nabla$ vanish (the higher ones vanish automatically for dimensional reasons).

Here $\mathbf{\flat}A = [\mathbf{\Pi}(-),A]$ is the coefficient for flat differential A-cohomology.

Remark

This condition is automatically satisfied for ordinary connections on bundles, hence for $A = \mathbf{B}G$ with $G$ an ordinary Lie group: because in that case there is only a single curvature form, namely the ordinary curvature 2-form.

But for a principal 2-bundle with connection there is in general a 2-form curvature and a 3-form curvature. A 2-connection therefore admits parallel transport only if its 2-form curvature is constrained to vanish.

Notice however that if the coefficient object $A$ happens to be $(n-1)$-connected – for instance if it is an Eilenberg-MacLane object in degree $n$, then there is no extra condition and every connection admits parallel transport. This is notably the case for circle n-bundles with connection.

Definition

For $\nabla : X \to A_{conn}$ an $\infty$-connection that admits parallel $n$-transport, this is for each $\phi : \Sigma \to X$ the morphism

$$\mathbf{\Pi}(\Sigma) \to A$$

that corresponds to $\phi^* \nabla$ under the equivalence

$$\mathbf{H}(\Sigma, \mathbf{\flat}A ) \simeq \mathbf{H}(\mathbf{\Pi}(\Sigma), A) \,.$$

Remark

The objects of the path ∞-groupoid $\mathbf{\Pi}(\Sigma)$ are points in $\Sigma$, the morphisms are paths in there, the 2-morphisms surfaces between these paths, and so on. Hence a morphism $\mathbf{\Pi}(\Sigma) \to A$ assigns fibers in $A$ to points in $X$, and equivalences between these fibers to paths in $\Sigma$, and so on.

Higher holonomy

We now define the higher analogs of holonomy for the case that $\Sigma$ is closed.

Definition

Let $\nabla : X \to A_{conn}$ be a connection with parallel $n$-transport and $\phi : \Sigma \to X$ a morphism from a closed $n$-manifold.

Then the $n$-holonomy of $\nabla$ over $\Sigma$ is the image $[\phi^* \nabla]$ of

$$\phi^* \nabla : \Pi(\Sigma) \to \Gamma(A)$$

in the homotopy category

$$[\phi^* \nabla] \in [\Pi(\Sigma), \Gamma(A)]$$

Examples

For trivial circle $n$-bundles / for $n$-forms

The simplest example is the parallel transport in a circle n-bundle with connection over a smooth manifold $X$ whose underlying $\mathbf{B}^{n-1}U(1)$-bundle is trivial. This is equivalently given by a degree $n$-differential form $A \in \Omega^n(X)$. For $\phi : \Sigma_n \to X$ any smooth function from an $n$-dimensional manifold $\Sigma$, the corresponding parallel transport is simply the integral of $A$ over $\Sigma$:

$$\tra_A(\Sigma) = \exp(i \int_\Sigma \phi^* A) \;\;\; \in \;\; U(1) \,.$$

One can understand higher parallel transport therefore as a generalization of integration of differential $n$-forms to the case where

• the $n$-form is not globally defined;

• the $n$-form takes values not in $\mathbb{R}$ but more generally is an ∞-Lie algebroid valued differential form.

For circle $n$-bundles with connection

We show how the $n$-holonomy of circle n-bundles with connection is reproduced from the above.

Let $\phi^* \nabla : \mathbf{\Pi}(\Sigma) \to \mathbf{B}^n U(1)$ be the parallel transport for a circle n-bundle with connection over a $\phi : \Sigma \to X$.

This is equivalent to a morphism

$$\Pi(\Sigma) \to \mathcal{B}^n U(1) ,.$$

We may map this further to its $(n-dim \Sigma)$-truncation

$$:\infty Grpd(\Pi(\Sigma), \mathcal{B}^n U(1)) \to \tau_{n-dim \Sigma} \infty Grpd(\Pi(X), \mathcal{B}^n U(1)) \,.$$

Theorem

We have

$$\tau_{n-dim\Sigma} \infty Grpd(\Pi(\Sigma), \mathcal{B}^n U(1)) \simeq \mathbf{B}^{n-dim \Sigma} U(1) \,.$$

(This is due to an observation by Domenico Fiorenza.)

Proof

By general abstract reasoning (recalled at cohomology and fiber sequence) we have for the homotopy groups that

$$\pi_i \infty Grpd(\Pi(\Sigma),\mathcal{B}^n U(1)) \simeq H^{n-i}(\Sigma, U(1)) \,.$$

Now use the universal coefficient theorem, which asserts that we have an exact sequence

$$0 \to Ext^1(H_{n-i-1}(\Sigma,\mathbb{Z}),U(1)) \to H^{n-i}(\Sigma,U(1)) \to Hom(H_{n-i}(\Sigma,\mathbb{Z}),U(1)) \to 0 \,.$$

Since $U(1)$ is an injective $\mathbb{Z}$-module we have

$$Ext^1(-,U(1))=0 \,.$$

This means that we have an isomorphism

$$H^{n-i}(\Sigma,U(1)) \simeq Hom_{Ab}(H_{n-i}(\Sigma,\mathbb{Z}),U(1))$$

that identifies the cohomology group in question with the internal hom in Ab from the integral homology group of $\Sigma$ to $U(1)$.

For $i\lt (n-dim \Sigma)$, the right hand is zero, so that

$$\pi_i \infty Grpd(\Pi(\Sigma),\mathbf{B}^n U(1)) =0 \;\;\;\; for i\lt (n-dim \Sigma) \,.$$

For $i=(n-dim \Sigma)$, instead, $H_{n-i}(\Sigma,\mathbb{Z})\simeq \mathbb{Z}$, since $\Sigma$ is a closed $dim \Sigma$-manifold and so

$$\pi_{(n-dim\Sigma)} \infty Grpd(\Pi(\Sigma),\mathcal{B}^n U(1))\simeq U(1) \,.$$

Definition

The resulting morphism

$$\mathbf{H}(\Sigma, A_{conn}) \stackrel{\exp(i S(-))}{\to} \mathbf{B}^{n-dim\Sigma} U(1)$$

in ∞Grpd we call the $\infty$-Chern-Simons action on $\Sigma$.

Here in the language of quantum field theory

• the objects of $\mathbf{H}(\Sigma,A_{conn})$ are the gauge field on $\Sigma$;

• the morphisms in $\mathbf{H}(\Sigma, A_{conn})$ are the gauge transformations;.

Nonabelian parallel transport in low dimension

At least in low categorical dimension one has the definition of the path n-groupoid $\mathbf{P}_n(X)$ of a smooth manifold, whose $n$-morphisms are thin homotopy-classes of smooth functions $[0,1]^n \to X$. Parallel $n$-transport with only the $(n+1)$-curvature form possibly nontrivial and all the lower curvature degree 1- to $n$-forms nontrivial may be expressed in terms of smooth $n$-functors out of $\mathbf{P}_n$ (SWI, SWII, MartinsPickenI, MartinsPickenII).

1-Transport

See parallel transport.

2-Transport

We work now concretely in the category $2DiffeoGrpd$ of 2-groupoids internal to the category of diffeological spaces.

Let $X$ be a smooth manifold and write $\mathbf{P}_2(X) \in 2DiffeoGrpd$ for its path 2-groupoid. Let $G$ be a Lie 2-group and $\mathbf{B}G \in 2DiffeoGrpd$ its delooping 1-object 2-groupoid. Write $\mathfrak{g}$ for the corresponding Lie 2-algebra.

Assume now first that $G$ is a strict 2-group given by a crossed module $(G_1 \to G_0)$. Corresponding to this is a differential crossed module $(\mathfrak{g}_1 \to \mathfrak{g}_0)$.

We describe now how smooth 2-functors

$$tra : \mathbf{P}_2(X) \to \mathbf{B}G$$

i.e. morphisms in $2DiffeoGrpd$ are characterized by Lie 2-algebra valued differential forms on $X$.

Definition

Given a morphism $F : \mathbf{P}_2(X) \to \mathbf{B}G$ we construct a $\mathfrak{g}_1$-valued 2-form $B_F \in \Omega^2(X, \mathfrak{g}_1)$ as follows.

To find the value of $B_F$ on two vectors $v_1, v_2 \in T_p X$ at some point, choose any smooth function

$$\Gamma : \mathbb{R}^2 \to X$$

with

• $\Gamma(0,0) = p$

• $\frac{d}{d s}|_{s = 0} \Gamma(s,0) = v_1$

• $\frac{d}{d t}|_{t = 0} \Gamma(0,t) = v_2$.

Notice that there is a canonical 2-parameter family

$$\Sigma_{\mathbb{R}} : \mathbb{R}^2 \to 2Mor \mathbf{P}_2(\mathbb{R}^2)$$

of classes of bigons on the plane, given by sending $(s,t) \in \mathbb{R}^2$ to the class represented by any bigon (with sitting instants) with straight edges filling the square

$$\Sigma_{\mathbb{R}}(s,t) = \left( \array{ (0,0) &\to& (0,t) \\ \downarrow && \downarrow \\ (s,0) &\to& (s,t) } \right) \,.$$

Using this we obtain a smooth function

$$F_\Gamma : \mathbb{R}^2 \stackrel{\Sigma_{\mathbb{R}}}{\to} 2Mor \mathbf{P}_2(\mathbb{R}^2) \stackrel{\Gamma_*}{\to} 2Mor \mathbf{P}_2(X) \stackrel{F}{\to} G_0 \times G_1 \stackrel{p_2}{\to} G_1 \,.$$

Then set

$$B_F(v_1, w_1) := \frac{\partial^2 F_\Gamma}{\partial x \partial y}|_{(0,0)} \,.$$

Proposition

This is well defined, in that $B_F(v_1,v_2)$ does not depend on the choices made. Moreover, the 2-form defines this way is smooth.

Proof

To see that the definition does not depend on the choice of $\Gamma$, proceed as follows.

For given vectors $v_1,v_2 \in \T_X X$ let $\Gamma, \Gamma' : \mathbb{R}^2 \to X$ be two choices of smooth maps as in the defnition. By restricting, if necessary, to a neighbourhood of the origin of $\mathbb{R}^2$, we may assume without restriction that these maps land in a single coordinate patch in $X$. Using the vector space structure of $\mathbb{R}^n$ defined by such a patch, define a smooth homotopy

$$\tau : [0,1]^3 \to X : (x,y,z) \mapsto (1-z)\Gamma(x,y) + z \Gamma'(x,y)$$

Let

$$Z = \{(x,y,w) \in [0,1]^3 | 0 \leq w \leq \frac{1}{2}(x^2 + y^2) \}$$

and consider the map $f : [0,1]^3 \to Z$ given by

$$f : (x,y,z) \mapsto (x,y, \frac{1}{2}(x^2 + y^2) z)$$

and the map $g : Z \to X$ given away from $(x^2 + y^2) = 0$ by

$$g : (x,y,w) \mapsto \tau(x,y, 2 \frac{w}{x^2 + y^2}) \,.$$

Using Hadamard's lemma and the fact that by constructon $\tau$ has vanishing 0th and 1st order differentials at the origin it follows that this is indeed a smooth function.

We want to similarly factor the smooth family of bigons $[0,1]^3 \to 2Mor(\mathbf{P}_2(X))$ given by

$$[0,1]^3 \times [0,1]^2 \to X$$

$$((x,y,z),(s,t)) \mapsto \tau(s x, t y, z)$$

as $[0,1]^3 \times [0,1]^2 \to Z \times [0,1]^2 \to Z \to X$

$$((x,y,z),(s,t)) \mapsto ((x, y, \frac{1}{2}(x^2 + y^2)), (s,t)) \mapsto (s x , t y, \frac{1}{2}((s x)^2 + (t y)^2)z) \mapsto \tau(s x, s y, z) \,.$$

As before using Hadamard’s lemma this is a sequence of smooth functions. To make this qualify as a family of bigons (which are maps from the square that are constant in a neighbourhood of the left and right boundary of the square) furthermore precompose this with a suitable smooth function $[0,1]^2 \to [0,1]^2$ that realizes a square-shaped bigon.

Under the hom-adjunction it corresponds to a factorization of $G_\Gamma : [0,1]^3 \to 2 Mor(\mathbf{P}_2(X))$ into

$$G_\Gamma : [0,1]^3 \stackrel{f}{\to} Z \to 2 Mor(\mathbf{P}_2(X)) \,.$$

By the above construction we have the the push-forwards

$$f_* : \frac{\partial}{\partial x}(x=0,y=0,z) \mapsto \frac{\partial}{\partial x}(x= 0, y = 0, w = 0)$$

and similarly for $\frac{\partial}{\partial y}$ are indendent of $z$. It follows by the chain rule that also

$$\frac{\partial^2 G_\Gamma}{\partial x \partial y}|_{(x=0,y=0)}$$

is independent of $z$. But at $z = 0$ this equals $\frac{\partial^2 F_\Gamma}{\partial x \partial y}|_{(x=0,y=0)}$, while at $z = 1$ it equals $\frac{\partial^2 F_{\Gamma'}}{\partial x \partial y}|_{(x=0,y=0)}$. Therefore these two are equal.

3-Transport

see 3-groupoid of Lie 3-algebra valued forms

Flat $\infty$-parallel transport in $Top$

Even though it is a degenerate case, it can be useful to regard the (∞,1)-topos Top explicitly a cohesive (∞,1)-topos. For a discussion of this see discrete ∞-groupoid.

For $\mathbf{H} =$ Top lots of structure of cohesive $(\infty,1)$-topos theory degenerates, since by the homotopy hypothesis-theorem here the global section (∞,1)-geometric morphism

$$(\Pi \dashv \Delta \dashv \Gamma) : Top \stackrel{\overset{\Pi}{\leftarrow}}{\stackrel{\overset{\Delta}{\leftarrow}}{\underset{\Gamma}{\to}}} \in \infty Grpd$$

an equivalence. The abstract fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos $\Pi$ is here the ordinary fundamental ∞-groupoid

$$\Pi : Top \stackrel{\simeq}{\to} \infty Grpd \,.$$

If both (∞,1)-toposes here are presented by their standard model category models, the standard model structure on simplicial sets and the standard model structure on topological spaces, then $\Pi$ is presented by the singular simplicial complex functor in a Quillen equivalence

$$(|-| \dashv Sing) : Top \stackrel{\leftarrow}{\overset{\simeq_{Quillen}}{\to}} Top \,.$$

This means that in this case many constructions in topology and classical homotopy theory have equivalent reformulations in terms of $\infty$-parallel transport.

For instance: for $F \in Top$ and $Aut(F) \in Top$ its automorphism ∞-group, $F$-fibrations over a base space $X \in Top$ are classfied by morphisms

$$g : X \to B Aut(F)$$

into the delooping of $Aut(F)$. The corresponding fibration $P \to X$ itself is the homotopy fiber of this cocycles, given by the homotopy pullback

$$\array{ P &\to& * \\ \downarrow && \downarrow \\ X &\stackrel{g}{\to}& B Aut(F) }$$

in Top, as described at principal ∞-bundle.

Using the fundamental ∞-groupoid functor we may send this equivalently to a fiber sequence in ∞Grpd

$$\Pi(P) \to \Pi(X) \to B Aut(\Pi(F)) \,.$$

One may think of the morphism $\Pi(X) \to B Aut(\Pi(F))$ now as the $\infty$-parallel transport coresponding to the original fibration:

• to each point in $X$ it assigns the unique object of $B Aut(\Pi(F))$, which is the fiber $F$ itself;

• to each path $(x \to y)$ in $X$ it assigns an equivalence between the fibers $F_x to F_y$ etc.

If one presents $\Pi$ by $Sing : Top \to sSet_{Quillen}$ as above, then one may look for explicit simplicial formulas that express these morphisms. Such are discussed in Stasheff.

We may embed this example into the smooth context by regarding $Aut(F)$ as a discrete ∞-Lie groupoid as discussed in the section Flat ∞-Parallel transport in Smooth∞Grpd.

For that purpose let

$$(\Pi_{smooth} \dashv Disc_{smooth} \dashv \Gamma_{smooth}) : \infty LieGrpd \stackrel{\overset{\Pi_{smooth}}{\to}}{\stackrel{\overset{Disc_{smooth}}{\leftarrow}}{\underset{\Gamma_{smooth}}{\to}}} \infty Grpd \simeq Top$$

be the global section (∞,1)-geometric morphism of the cohesive (∞,1)-topos Smooth∞Grpd.

We may reflect the ∞-group $Aut(F)$ into this using the constant ∞-stack-functor $Disc$ to get the discrete ∞-Lie group $Disc Aut(F)$. Let then $X$ be a paracompact smooth manifold, regarded naturally as an object of Smooth∞Grpd. Then we can consider cocycles/classifying morphisms

$$X \to \mathbf{B} Disc Aut(F) \,,$$

now in the smooth context of $\infty LieGrpd$.

Proposition

The ∞-groupoid of $F$-fibrations in Top is equivalent to the $\infty$-groupoid of $Disc Aut(F)$-principal ∞-bundles in Smooth∞Grpd:

$$\infty LieGrpd(X, \mathbf{B} Disc Aut(F)) \simeq Top(X, B Aut(F)) \,.$$

Moreover, all the principal ∞-bundles classified by the morphisms on the left have canonical extensions to Flat differential cohomology in $\infty LieGrpd$, in that the flat parallel $\infty$-transport $\nabla_{flat}$ in

$$\array{ X &\stackrel{g}{\to}& \mathbf{B} Disc Aut(F) \\ \downarrow & \nearrow_{\nabla_{flat}} \\ \mathbf{\Pi}(X) }$$

always exists.

Proof

The first statement is a special case of that spelled out at Smooth∞Grpd and nonabelian cohomology. The second follows using that in a connected locally ∞-connected (∞,1)-topos the functor $Disc$ is a full and faithful (∞,1)-functor.

Flat $\infty$-parallel transport in $\infty LieGrpd$

(…)

$\infty$-Parallel transport from flat differential forms with values in chain complexes

A typical choice for an (∞,1)-category of “$\infty$-vector spaces” is that presented by the a model structure on chain complexes of modules. In a geometric context this may be replaced by some stack of complexes of vector bundles over some site.

If we write $Mod$ for this stack, then the $\infty$-parallel transport for a flat $\infty$-vector bundle on some $X$ is a morphism

$$\mathbf{\Pi}(X) \to Mod \,.$$

This is typically given by differential form data with values in $Mod$.

A discussion of how to integrate flat differential forms with values in chain complexes – a representation of the tangent Lie algebroid as discussed at representations of ∞-Lie algebroids – to flat $\infty$-parallel transport $\mathbf{\Pi}(X) \to Mod$ is in (AbadSchaetz), building on a construciton in (Igusa).

Applications

In physics

In physics various action functionals for quantum field theories are nothing but higher parallel transport.

• The gauge interaction part of the action functional for the particle charged under a background electromagnetic field, which is a circle bundle with connection $\nabla$, is the parallel 1-transport of $\nabla$.

• The gauge interaction part of the action functional for the string charged under a background Kalb-Ramond field, which is a circle 2-bundle with connection $\nabla$, is the parallel 2-transport of $\nabla$.

• The gauge interaction part of the action functional for the membrane charged under a background supergravity C-field, which is a circle 3-bundle with connection $\nabla$, is the parallel 3-transport of $\nabla$.

• The action functional of Chern-Simons theory is the parallel 3-transport of a Chern-Simons circle 3-bundle.

Related concepts

• connection on a bundle, connection on a 2-bundle, connection on an infinity-bundle,

• parallel transport, higher parallel transport

• holonomy

  • holonomy group

  • special holonomy

• Wilson surface

References

For references on ordinary 1-dimensional parallel transport see parallel transport.

For references on parallel 2-transport in bundle gerbes see connection on a bundle gerbe.

The description of parallel $n$-transport in terms of $n$-functors on the path n-groupoid is discussed

for $n=2$ (connections on 2-bundles) in

• John Baez, Urs Schreiber, Higher gauge theory, in A. Davydov et al. (eds.), Categories in Algebra, Geometry and Mathematical Physics, Contemp Math 431, AMS, Providence, Rhode Island (2007) pp 7-30 (arXiv:0511710, arXiv:hep-th/0412325)

• João Faria Martins, Roger Picken: On 2-dimensional holonomy, Trans. Amer. Math. Soc. 362 (2010), 5657-5695 [arXiv:0710.4310, doi:10.1090/S0002-9947-2010-04857-3]

• João Faria Martins, Roger Picken: Surface holonomy for non-abelian 2-bundles via double groupoids, Advances in Mathematics 226 4 (2011) 3309-3366 [doi:10.1016/j.aim.2010.10.017]

• Urs Schreiber, Konrad Waldorf, Smooth Functors and Differential Forms, Homology, Homotopy Appl., 13 1 (2011) 143-203 [arXiv:0802.0663, hha:1311953350]

• Urs Schreiber, Konrad Waldorf, Connections on nonabelian gerbes and their holonomy, Theory Appl. Categ. 28 17 (2013) 476-540 [arXiv:0808.1923, tac:28-17]

• Amnon Yekutieli: Nonabelian Multiplicative Integration on Surfaces, World Scientific (2015) [arXiv:1007.1250, doi:10.1142/9537]

• Konrad Waldorf, Parallel transport in principal 2-bundles, Higher Structures 2 1 (2018) 57-115 [arXiv:1704.08542, pdf]

• Hyungrok Kim, Christian Saemann, Adjusted Parallel Transport for Higher Gauge Theories, J. Phys. A 52 (2020) 445206 [arXiv:1911.06390, doi:10.1088/1751-8121/ab8ef2]

  (via adjusted Weil algebras)

• Darrick Lee, Harald Oberhauser, Random Surfaces and Higher Algebra [arXiv:2311.08366]

for $n = 3$ in

• João Faria Martins, Roger Picken, The fundamental Gray 3-groupoid of a smooth manifold and local 3-dimensional holonomy based on a 2-crossed module, Differential Geometry and its Applications 29 2 (2011) 179-206 [arXiv:0907.2566, doi:10.1016/j.difgeo.2010.10.002]

Further discussion and illustration and relation to tensor networks:

• Arthur Parzygnat, Two-dimensional algebra in lattice gauge theory, Journal of Mathematical Physics 60, 043506 (2019) (arXiv:1802.01139, doi:10.1063/1.5078532)

Applications

to monopoles:

• Arthur Parzygnat, Gauge invariant surface holonomy and monopoles, Theory and Applications of Categories 30 42 (2015) 1319-1428 [tac:30-42, arXiv:1410.6938]

to categorification of the Knizhnik-Zamolodchikov connection:

• Lucio Simone Cirio, João Faria Martins: Categorifying the Knizhnik–Zamolodchikov connection, Differential Geometry and its Applications 30 3 (2012) 238-261 [doi:10.1016/j.difgeo.2012.03.004, arXiv:1106.0042]

to BFCG theory:

• João Faria Martins, Aleksandar Miković: Lie crossed modules and gauge-invariant actions for 2-BF theories, Adv. Theor. Math. Phys. 15 4 (2011) 913-1199 [arXiv:1006.0903, euclid:atmp/1339438351]

• A.D. López-Hernández, Graciela Reyes-Ahumada, Javier Chagoya: Categorical generalization of BF theory coupled to gravity [arXiv:2408.02889]

to data science:

• Ilya Chevyrev, Joscha Diehl, Kurusch Ebrahimi-Fard, Nikolas Tapia: A multiplicative surface signature through its Magnus expansion [arXiv:2406.16856]

In the abelian case, parallel transport for circle n-bundles with connection is discussed generally in

• Kiyonori Gomi, Yuji Terashima, Higher dimensional parallel transport Mathematical Research Letters 8, 25–33 (2001) (pdf)

• David Lipsky, Cocycle constructions for topological field theories (2010) (pdf)

• Nino Scalbi: Differential Cohomology as Diffeological Homotopy Theory [arXiv:2408.02593]

see also the discussion at fiber integration in ordinary differential cohomology.

Realization of this as an extended TQFT is discussed in

• Nersés Aramyan, Research statement (pdf)Parallel transport with coefficients in crossed complexes/strict infinity-groupoids is discussed in

• Mikhail Kapranov, Membranes and higher groupoids (arXiv:1502.06166)

The integration of flat differential forms with values in chain complexes to flat $\infty$-parallel transport on $\infty$-vector bundles is in

• Camilo Arias Abad, Florian Schaetz, The $A_\infty$ de Rham theorem and integration of representations up to homotopy (arXiv)

based on

• Jonathan Block, Aaron Smith, A Riemann Hilbert correspondence for infinity local systems (arXiv)

in turn based on constructions in

• Kiyoshi Igusa, Iterated integrals of superconnections (arXiv)

Remarks on $\infty$-parallel transport in Top are in

• Jim Stasheff, Parallel transport, holonomy and all that – a homotopy point of view

Understanding higher parallel transport of circle n-bundles with connection as an extended homotopy field theory:

• Lukas Müller, Lukas Woike, Parallel Transport of Higher Flat Gerbes as an Extended Homotopy Quantum Field Theory, J. Homotopy Relat. Struct. 15 (2020) 113–142 [arXiv:1802.10455, doi:10.1007/s40062-019-00242-3]