Skip to main content
deleted 6 characters in body
Source Link
Konrad Waldorf
  • 4.5k
  • 4
  • 29
  • 37

Let $\mathcal{P}$ be a principal 2-bundle with structure 2-group a crossed module $t:H \to G$. Then, the holonomy of a connection on $\mathcal{P}$ around a surface $\Sigma$ is a well-defined element $$\mathrm{Hol}_{\mathcal{P}}(\Sigma) \in H/[G,H],$$ where $[G,H]$ is the normal subgroup of $H$ generated by all elements of the form $h^{-1}\alpha(g,h)$, where $\alpha$ denotes the action of $G$ on $H$ of the crossed module. Above quotient generalizes the concept of "conjugacy class".

This is explained in detail in my paper with Urs Schreiber

see Example 5.7.

To which extend the elements $\mathrm{Hol}_{\mathcal{P}}(\Sigma) \in H/[G,H]$ characterize the 2-bundle $\mathcal{P}$ I cannot say.

Maybe you are willing to drop "flat" upon replacing "holonomy" by "parallel transport": even in the classical world it is true that every principal $G$-bundle with connection is characterized by its parallel transport, may it be flat or not.

The same statement remains true in the context of connections on 2-bundles: every principal 2-bundle with connection is characterized by its 2-transport. This is one of the main statements of my paper above-mentioned paper with Urs.

Let $\mathcal{P}$ be a principal 2-bundle with structure 2-group a crossed module $t:H \to G$. Then, the holonomy of a connection on $\mathcal{P}$ around a surface $\Sigma$ is a well-defined element $$\mathrm{Hol}_{\mathcal{P}}(\Sigma) \in H/[G,H],$$ where $[G,H]$ is the normal subgroup of $H$ generated by all elements of the form $h^{-1}\alpha(g,h)$, where $\alpha$ denotes the action of $G$ on $H$ of the crossed module. Above quotient generalizes the concept of "conjugacy class".

This is explained in detail in my paper with Urs Schreiber

see Example 5.7.

To which extend the elements $\mathrm{Hol}_{\mathcal{P}}(\Sigma) \in H/[G,H]$ characterize the 2-bundle $\mathcal{P}$ I cannot say.

Maybe you are willing to drop "flat" upon replacing "holonomy" by "parallel transport": even in the classical world it is true that every principal $G$-bundle with connection is characterized by its parallel transport, may it be flat or not.

The same statement remains true in the context of connections on 2-bundles: every principal 2-bundle with connection is characterized by its 2-transport. This is one of the main statements of my paper above-mentioned paper with Urs.

Let $\mathcal{P}$ be a principal 2-bundle with structure 2-group a crossed module $t:H \to G$. Then, the holonomy of a connection on $\mathcal{P}$ around a surface $\Sigma$ is a well-defined element $$\mathrm{Hol}_{\mathcal{P}}(\Sigma) \in H/[G,H],$$ where $[G,H]$ is the normal subgroup of $H$ generated by all elements of the form $h^{-1}\alpha(g,h)$, where $\alpha$ denotes the action of $G$ on $H$ of the crossed module. Above quotient generalizes the concept of "conjugacy class".

This is explained in detail in my paper with Urs Schreiber

see Example 5.7.

To which extend the elements $\mathrm{Hol}_{\mathcal{P}}(\Sigma) \in H/[G,H]$ characterize the 2-bundle $\mathcal{P}$ I cannot say.

Maybe you are willing to drop "flat" upon replacing "holonomy" by "parallel transport": even in the classical world it is true that every principal $G$-bundle with connection is characterized by its parallel transport, may it be flat or not.

The same statement remains true in the context of connections on 2-bundles: every principal 2-bundle with connection is characterized by its 2-transport. This is one of the main statements of my above-mentioned paper with Urs.

Source Link
Konrad Waldorf
  • 4.5k
  • 4
  • 29
  • 37

Let $\mathcal{P}$ be a principal 2-bundle with structure 2-group a crossed module $t:H \to G$. Then, the holonomy of a connection on $\mathcal{P}$ around a surface $\Sigma$ is a well-defined element $$\mathrm{Hol}_{\mathcal{P}}(\Sigma) \in H/[G,H],$$ where $[G,H]$ is the normal subgroup of $H$ generated by all elements of the form $h^{-1}\alpha(g,h)$, where $\alpha$ denotes the action of $G$ on $H$ of the crossed module. Above quotient generalizes the concept of "conjugacy class".

This is explained in detail in my paper with Urs Schreiber

see Example 5.7.

To which extend the elements $\mathrm{Hol}_{\mathcal{P}}(\Sigma) \in H/[G,H]$ characterize the 2-bundle $\mathcal{P}$ I cannot say.

Maybe you are willing to drop "flat" upon replacing "holonomy" by "parallel transport": even in the classical world it is true that every principal $G$-bundle with connection is characterized by its parallel transport, may it be flat or not.

The same statement remains true in the context of connections on 2-bundles: every principal 2-bundle with connection is characterized by its 2-transport. This is one of the main statements of my paper above-mentioned paper with Urs.