A crossed module constitutes a strict -groupoid and a -valued cocycle on a manifold defines a -bundle. A -connection on this -bundle is given by a Lie algebra valued -form and a Lie algebra valued -form over each coordinate chart together with -gauge transformations between them, which satisfy the compatibility condition. Locally, the path-ordered integral of gives us the local -holonomy, and the surface-ordered integral of gives us the local -holonomy. The transformation of local -holonomies from one coordinate chart to another is provided by the transition -arrow, which is constructed from a -gauge transformation. We can use the transition -arrows and the -arrows provided by the -valued cocycle to glue such local -holonomies together to get a global one, which is well defined. Namely we give an explicit algorithm for calculating the global -holonomy.

生成讲解博客的中文版本

生成AI智能校验的中文版本