paper

On two-Dimensional Holonomy

arXiv:0710.4310 · doi:10.1090/S0002-9947-2010-04857-3

Abstract

We define the thin fundamental categorical group of a based smooth manifold as the categorical group whose objects are rank-1 homotopy classes of based loops on , and whose morphisms are rank-2 homotopy classes of homotopies between based loops on . Here two maps are rank- homotopic, when the rank of the differential of the homotopy between them equals . Let $\C(\Gc)$ be a Lie categorical group coming from a Lie crossed module ${\Gc= (\d\colon E \to G,\tr)}$. We construct categorical holonomies, defined to be smooth morphisms ${\mathcal P}_2(M,*) \to \C(\Gc)$, by using a notion of categorical connections, being a pair $(\w,m)$, where $\w$ is a connection 1-form on , a principal bundle over , and is a 2-form on with values in the Lie algebra of , with the pair $(\w,m)$ satisfying suitable conditions. As a further result, we are able to define Wilson spheres in this context.

46 pages. Preliminary version, a perfected version will appear in Transactions of the American Matematical Society

Cited by in corpus (20)