4
$\begingroup$

It is well known and understood that linear connections, as holonomy functors, are composition-preserving mappings from the path groupoid to a structure group $G$. This extends the idea of a 1-form line integral to a non-Abelian setting.

It is known, although still a work in progress (http://ncatlab.org/nlab/show/connection+on+a+2-bundle), that using higher category theory we can do the very same for 2-forms, 3-forms, etcetera, raising the degree of the groups.

The geometrical picture is very nice. I was wondering, though, if there were such a picture for curvature on a good old bundle (vector or principal) of degree 1. That is: can we see curvature as a mapping between 2-dimensional surfaces and a group $G$ (the holonomy group)? How can we make this mapping not Abelian, to prevent what happens in the classic second homotopy group?

Is there a reference, maybe in nLab, that I missed about this?

I have some personal ideas about how to do such a thing, but I'd first rather knowing if it has been already done nicely elsewhere.

Thanks!

$\endgroup$
1
$\begingroup$

If G=U(1), then the holonomy around some circle C bounding some disk D is the exponent of the integral of curvature over D. Thus the integral of curvature over D can be recovered as the logarithm of the holonomy around C.

The ambiguity in the logarithm can be resolved by observing that the integral of curvature varies smoothly as D varies smoothly, and any disk D can be smoothly deformed to a point, for which the integral of curvature is known to be zero.

$\endgroup$
  • $\begingroup$ Yes! That is exactly where I started from. The question is, what is the general case? $\endgroup$ – geodude Oct 31 '13 at 20:01
  • 3
    $\begingroup$ @geodude: If the “general case” refers to principal bundles with nonabelian structure groups, then the answer is given by the nonabelian Stokes theorem, see Section 3.2, Theorem 3.4 and the displayed formula on top of page 48 in arxiv.org/abs/0802.0663. $\endgroup$ – Dmitri Pavlov Oct 31 '13 at 22:07
  • $\begingroup$ There, that is exactly what I was looking for. Thanks! $\endgroup$ – geodude Nov 1 '13 at 10:52
  • 1
    $\begingroup$ @DmitriPavlov Could you please suggest a good reference where I could find a proof of your first statement in the answer (for the $U(1)$ case) ? Thanks. $\endgroup$ – user90041 Dec 6 '16 at 18:26
  • 3
    $\begingroup$ @user90041: See Proposition 2.3 in Murray's notes maths.adelaide.edu.au/michael.murray/line_bundles.pdf $\endgroup$ – Dmitri Pavlov Dec 6 '16 at 18:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.