Related papers: Principal 2-bundles and their gauge 2-groups
In this easy introduction to higher gauge theory, we describe parallel transport for particles and strings in terms of 2-connections on 2-bundles. Just as ordinary gauge theory involves a gauge group, this generalization involves a gauge…
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…
We provide a model of the String group as a central extension of finite-dimensional 2-groups in the bicategory of Lie groupoids, left-principal bibundles, and bibundle maps. This bicategory is a geometric incarnation of the bicategory of…
We study the analytic and topological invariants associated with complex normal surface singularities. Our goal is to provide topological formulae for several discrete analytic invariants whenever the analytic structure is generic (with…
We introduce the notion of locally trivial quantum principal bundles. The base space and total space are compact quantum spaces (unital $C^{\star}$-algebras), the structure group is a compact matrix quantum group. We prove that a quantum…
In conventional gauge theory, a charged point particle is described by a representation of the gauge group. If we propagate the particle along some path, the parallel transport of the gauge connection acts on this representation. The…
For a regular pair $(X,Y)$ of schemes of pure codimension 1 on which 2 is invertible, we consider quadric bundles on $X$ which are nondegenerate on $X-Y$, but are minimally degenerate on $Y$. We give a formula for the behaviour of the…
A loop is a rather general algebraic structure that has an identity element and division, but is not necessarily associative. Smooth loops are a direct generalization of Lie groups. A key example of a non-Lie smooth loop is the loop of unit…
We construct a scalar invariant of flat principal 2-bundles over 3-manifolds, with structure 2-group $\mathcal{G}$, from an involutory Hopf algebra graded by $\mathcal{G}$. Expressing $\mathcal{G}$ in terms of a crossed module $\chi$ and…
A brief exposition of the general theory of characteristic classes of quantum principal bundles is given. The theory of quantum characteristic classes incorporates ideas of classical Weil theory into the conceptual framework of…
We introduce and study the Chern filtration on the cohomology of the moduli of bundles on curves. This can be viewed as a natural cohomological invariant defined via tautological classes that interpolates between additive Betti numbers and…
Higher gauge theory for non-abelian structure 2-groups faces significant challenges when extending beyond the fake-flat sector, which suffers from limited applicability in physical models. A promising resolution involves equipping 2-groups…
We examine several classes of manifolds which have the same cohomology ring as an Eschenburg space (a family of biquotients which is a main source of manifolds with positive curvature). One family are the 3-sphere bundles over CP^2. Another…
We introduce the notion of a strong generalized holomorphic (SGH) fiber bundle and develop connection and curvature theory for an SGH principal $G$-bundle over a regular generalized complex (GC) manifold, where $G$ is a complex Lie group.…
The notion of global higher-form symmetries has received much attention, but leaves room for a more systematic mathematical formulation. In this article, we highlight the concept of higher automorphism bundles from the field of higher…
In this paper we study the cohomology of (strict) Lie 2-groups. We obtain an explicit Bott-Shulman type map in the case of a Lie 2-group corresponding to the crossed module $A\to 1$. The cohomology of the Lie 2-groups corresponding to the…
Holomorphic principal G-bundles over a complex manifold M can be studied using non-abelian cohomology groups H^1(M,G). On the other hand, if M=\Sigma is a closed Riemann surface, there is a correspondence between holomorphic principal…
We develop the theory of Chern-Simons bundle 2-gerbes and multiplicative bundle gerbes associated to any principal $G$-bundle with connection and a class in $H^4(BG, \ZZ)$ for a compact semi-simple Lie group $G$. The Chern-Simons bundle…
We obtain characterizations and structure results for homogeneous principal bundles over abelian varieties, that generalize work of Miyanishi and Mukai on homogeneous vector bundles. For this, we rely on notions and methods of algebraic…
We consider classical gauge theory with spontaneous symmetry breaking on a principal bundle $P\to X$ whose structure group $G$ is reducible to a closed subgroup $H$, and sections of the quotient bundle $P/H\to X$ are treated as classical…