Higher gauge theory—differential versus integral formulation. (English) Zbl 1071.53011

Girelli, Florian; Pfeiffer, Hendryk

J. Math. Phys. 45, No. 10, 3949-3971 (2004).

Summary: The term higher gauge theory refers to the generalization of gauge theory to a theory of connections at two levels, essentially given by 1- and 2-forms. So far, there have been two approaches to this subject. The differential picture uses non-Abelian 1- and 2-forms in order to generalize the connection 1-form of a conventional gauge theory to the next level. The integral picture makes use of curves and surfaces labeled with elements of non-Abelian groups and generalizes the formulation of gauge theory in terms of parallel transports. We recall how to circumvent the classic no-go theorems in order to define non-Abelian surface ordered products in the integral picture. We then derive the differential picture from the integral formulation under the assumption that the curve and surface labels depend smoothly on the position of the curves and surfaces. We show that some aspects of the no-go theorems are still present in the differential (but not in the integral) picture. This implies a substantial structural difference between nonperturbative and perturbative approaches to higher gauge theory. We finally demonstrate that higher gauge theory provides a geometrical explanation for the extended topological symmetry of BF-theory in both pictures.

MSC:

53C07	Special connections and metrics on vector bundles (Hermite-Einstein, Yang-Mills)
18D99	Categorical structures

References:

[1]	DOI: 10.1103/PhysRevD.9.2273
[2]	Henneaux M., Found. Phys. 16 pp 593– (1986)
[3]	DOI: 10.1103/PhysRevLett.39.55
[4]	DOI: 10.1016/0550-3213(81)90392-8
[5]	Lahiri A., Mod. Phys. Lett. A 17 pp 1643– (2002) · Zbl 1083.81584
[6]	Lahiri A., J. Phys. A 35 pp 8779– (2002) · Zbl 1044.81095
[7]	Chepelev I., J. High Energy Phys. 02 pp 013– (2002)
[8]	Ch. Hofman, hep-th/0207017.
[9]	DOI: 10.1016/0370-2693(86)90546-0
[10]	L. Breen and W. Messing, math.AG/0106083.
[11]	DOI: 10.1016/0370-2693(96)00712-5 · Zbl 0903.53053
[12]	R. Dijkgraaf, hep-th/9810157.
[13]	J. C. Baez, hep-th/0206130.
[14]	DOI: 10.1016/S0003-4916(03)00147-7 · Zbl 1056.70013
[15]	DOI: 10.1007/BF01218410 · Zbl 0684.53075
[16]	M. Forrester-Barker, math.CT/0212065.
[17]	J. C. Baez and A. Crans, math.QA/0307263.
[18]	A. D. Lauda, math.CT/0212219.
[19]	J. C. Baez and A. D. Lauda, math.QA/0307200.
[20]	DOI: 10.1063/1.531037 · Zbl 0844.58009