Abstract
In this work, generalized principal bundles modelled by Lie group bundle actions are investigated. In particular, the definition of equivariant connections in these bundles, associated to Lie group bundle connections, is provided, together with the analysis of their existence and their main properties. The final part gives some examples. In particular, since this research was initially originated by some problems on geometric reduction of gauge field theories, we revisit the classical Utiyama Theorem from the perspective investigated in the article.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A fiberwise action of a Lie group fiber bundle on a smooth bundle over the same base leads to the notion of generalized principal bundle. They share some similar properties to (standard) principal bundles [13, Ch.II], but they also show important differences. For instance, on one hand it is possible to build (generalized) associated bundles by the action of Lie group bundles on other bundles. But on the other hand, Ehresmann connections [14, 21] that are equivariant with respect to the action, require a precise and correct approach providing the corresponding notion of generalized principal connections. Unlike usual principal connections, they are always associated to a certain connection on the Lie group bundle, which gives an additional term in the equivariance formula.
Lie group bundles, together with their natural infinitesimal companions, the Lie algebra bundles, are classical objects in the literature (see, for example, [9]). These type of bundles naturally arise in various geometric contexts and in different applications. The reader should be aware that these bundles may involve questions concerning non-isomorphic algebraic structure between different fibers (the seminal work of Douady and Lazard [9] already discussed this situation; see [1] for a recent approach). Although this scenario is very interesting and beautiful, in this work we confine ourselves to the case where the fibers are algebraically isomorphic (that is, the bundle is locally trivial from an algebraic point of view), a decision mainly motivated by the bundles that one encounters in the applications. With respect to them, they appear in a natural way when performing reduction by local symmetries in Lagrangian field theory [11, 19] and, since principal connections may be regarded from this perspective, they are also useful for classical reduction –that is, reduction by global symmetries– in mechanics [5, 6, 18] and field theories [3, 4, 10]. Lie group bundles are the unavoidable starting point in the geometric foundations of gauge theories. In particular, they provide the basic language for a theory of geometric reduction of field theories when the group of symmetries are sections of Lie group bundles. This theory (that is still in progress) will collect the main instances of gauge theories and will require a wise use of the concepts exposed in this article. Actually, our initial interest in generalized principal bundles started in that framework, from where we have taken much inspiration. We would like to mention that fibered actions can be extended to the Lie groupoid setting (for example see [7, 8, 16]), but we do not address this matter here.
Despite the interest and ubiquitous presence of these objects, it is remarkable to check the existence of some important gaps in the literature about the main properties, definitions, and the key geometric objects involved. In this work we aim at solving this situation with the study of fibered actions, as well as the smooth bundles arising from the quotient by these actions: generalized principal bundles. Furthermore, we define equivariant connections on these bundles (i.e., generalized principal connections) and their curvature. Before doing that, we need to define Lie group bundle connections, which are connections on a Lie group bundle that respect the multiplicative structure. Actually, the generalized principal connections will be associated to Lie group bundle connections, a situation that does not have a counterpart in the notion of (standard) principal bundle connections.
The paper is organized as follows. In Sect. 2 we investigate fibered actions and quotients by them. After that, the definition of infinitesimal generators is recalled and generalized associated bundles are defined. In Sect. 3 we introduce Lie group bundle connections, as well as the induced linear connection on the Lie algebra bundle. Then generalized principal connections are defined and characterized using parallel transport. Besides, we prove a theorem of existence and study their curvature. In Sect. 4 we present several examples to illustrate the ideas of this work. In particular, we show that usual principal bundles and connections are particular cases of the generalized objects. We have a similar situation with connections in affine bundles. Finally, the action of the gauge group on connections is modelled with Lie group bundle actions. In this case, the generalized principal bundle provides a new approach to the well-known Utiyama Theorem.
In the following, every manifold or map is smooth, meaning \(C^\infty \). In addition, every fiber bundle \(\pi _{Y,X}:Y\rightarrow X\) is assumed to be locally trivial and is denoted by \(\pi _{Y,X}\). Given \(x\in X\), \(Y_x=\pi _{Y,X}^{-1}(\{x\})\) denotes the fiber over x. The space of (smooth) global sections of \(\pi _{Y,X}\) is denoted by \(\Gamma (\pi _{Y,X})\). In particular, vector fields on a manifold X are denoted by \(\mathfrak X(X)=\Gamma (\pi _{TX,X})\), where TX is the tangent bundle of X. Likewise, the space of local sections on an open set \(\mathcal U\subset X\) is denoted by \(\Gamma (\mathcal U,\pi _{Y,X})\). The derivative, or tangent map, of a map \(f\in C^\infty (X,X')\) between the manifolds X and \(X'\) is denoted by \((df)_x:T_xX\rightarrow T_{x'}X'\), \(x'=f(x)\). When working in local coordinates, we will assume the Einstein summation convention for repeated indices. A compact interval will be denoted by \(I=[a,b]\).
2 Generalized principal bundles
2.1 Actions of Lie group bundles
A Lie group fiber bundle with typical fiber a Lie group G is a fiber bundle \(\pi _{\mathcal G,X}:\mathcal {G} \rightarrow X\) such that for any point \(x\in X\) the fiber \(\mathcal G_x\) is equipped with a Lie group structure and there is a neighborhood \(\mathcal U\subset X\) and a diffeomorphism \(x\in \mathcal U\times G \rightarrow \pi _{\mathcal G,X}^{-1}(\mathcal U)\) preserving the Lie group structure fiberwisely.
Note that the multiplication map \(M:\mathcal G\times _X\mathcal G\rightarrow \mathcal G\) and the inversion map \(\cdot ^{-1}:\mathcal G\rightarrow \mathcal G\) are bundle morphisms covering the identity \(\text { id}_X:X\rightarrow X\), where \(\times _X\) denotes the fibered product. Likewise, the map \(1:X\rightarrow \mathcal G\) that assigns the identity element \(1_x\in \mathcal G_x\) to each \(x\in X\) is a global section (called the unit section) of \(\pi _{\mathcal G,X}\). Any Lie group bundle defines a Lie algebra bundle \(\pi _{\mathfrak {g},X}:\mathfrak {g}\rightarrow X\) as the vector bundle whose fiber \(\mathfrak {g}_x\) at each \(x\in X\) is the Lie algebra of \(\mathcal G_x\). That is, the Lie algebra bundle is the pull-back bundle \(\mathfrak {g}=1^*(V\mathcal G)\), where \(V\mathcal G \subset T\mathcal G\) is the vertical bundle of \(\pi _{\mathcal G,X}\), i.e., the kernel of \((\pi _{\mathcal G,X})_*\).
Remark 2.1
(Jets of Lie group fiber bundles) Let \(\pi _{\mathcal G,X}:\mathcal G\rightarrow X\) be a Lie group fiber bundle and \(r\ge 0\) be an integer. Then the r-th jet bundle of \(\pi _{\mathcal G,X}\), \(J^r\mathcal G\rightarrow X\), is again a Lie group fiber bundle (see, for example, [11, §3, Th. 1]). The multiplication is inherited from the Lie group bundle structure of \(\pi _{\mathcal G,X}\), that is,
We consider subgroups of Lie group bundles in the following sense.
Definition 2.1
A Lie group subbundle of a Lie group bundle \(\pi _{\mathcal {G},X}:\mathcal {G}\rightarrow X\) is a Lie group bundle \(\pi _{\mathcal H,X}:\mathcal H\rightarrow X\) such that \(\mathcal H\) is a submanifold of \(\mathcal {G}\) and \(\mathcal H_x\) is a Lie subgroup of \(\mathcal {G}_x\) for each \(x\in X\). It is said to be closed if \(\mathcal H_x\) is a closed Lie subgroup of \(\mathcal G_x\) for every \(x\in X\).
Let \(\pi _{Y,X}\) be a fiber bundle and \(\pi _{\mathcal G,X}\) be a Lie group fiber bundle.
Definition 2.2
A (right) fibered action of \(\pi _{\mathcal G,X}\) on \(\pi _{Y,X}\) is a bundle morphism
covering the identity \(\textrm{id}_X:X\rightarrow X\) such that \(\Phi (y,hg)=\Phi (\Phi (y,h),g)\) and \(\Phi (y,1_x)=y\), for all \((y,g),(y,h)\in Y\times _X\mathcal G\), \(\pi _{\mathcal G,X}(y)=x\).
For the sake of simplicity, we will denote \(\Phi (y,g)=y\cdot g\) and we will say that \(\pi _{\mathcal G,X}\) acts fiberwisely on the right on \(\pi _{Y,X}\). Note that \(\Phi \) induces a right action on each fiber, \(\Phi _x=\Phi |_{Y_x\times \mathcal G_x}:Y_x\times \mathcal G_x\rightarrow Y_x\). The fibered action is said to be free if \(y\cdot g=y\) for some \((y,g)\in Y\times _X\mathcal G\) implies that \(g=1_x\), \(x=\pi _{Y,X}(y)\). In the same way, it is said to be proper if the bundle morphism \(Y\times _X \mathcal G\ni (y,g)\mapsto (y,y\cdot g)\in Y\times _X Y\) is proper. If \(\Phi \) is free and proper, so is each action \(\Phi _x\), since the fibers of a bundle are closed.
As the fibered action is vertical (i.e., it covers the identity \(\text {id}_X\)), we may regard the quotient space \(Y/\mathcal G\) as the disjoint union of the quotients of the fibers by the induced actions, that is,
Obviously, the following diagram is commutative:
Example 2.1
(Jet lift of fibered actions) Let \(\Phi :Y\times _X\mathcal G\rightarrow Y\) be a (right) fibered action of a Lie group bundle \(\pi _{\mathcal G,X}\) on a fiber bundle \(\pi _{Y,X}\). The first jet extension of \(\Phi \) turns out to be a (right) fibered action of \(\pi _{J^1 \mathcal G,X}\) on \(\pi _{J^1 Y,X}\),
If we regard 1-jets as differentials of sections at a point, that is, \(j_x^1s\equiv (ds)_x\) and \(j_x^1\gamma \equiv (d\gamma )_x\) for certain local sections s and \(\gamma \), then \(\Phi ^{(1)}\) may be seen as
2.2 Smooth structure of fibered quotients
Theorem 2.1
If \(\pi _{\mathcal G,X}\) acts on \(\pi _{Y,X}\) freely and properly, then \(Y/\mathcal G\) admits a unique smooth structure such that
-
(i)
\(\pi _{Y,Y/\mathcal G}\) is a fiber bundle with typical fiber G, called generalized principal bundle.
-
(ii)
\(\pi _{Y/\mathcal G,X}\) is a fibered manifold, i.e., a surjective submersion.
Proof
Taking trivializations of \(\pi _{Y,X}\) and \(\pi _{\mathcal G,X}\) on the same neighborhood \(\mathcal U\subset X\), the local expression of the actions is:
where \(\hat{Y}\) is the typical fiber of Y. This can be seen as a standard Lie group action acting trivially on \(\mathcal U\). The classical results on Lie group actions (for example, see [15, Theorem 7.10]) provide a unique smooth structure on \((\mathcal U\times \hat{Y})/G\) that can be used as a chart on \(Y/\mathcal G\). In these trivializations, the projections \(\pi _{Y,Y/\mathcal G}\) and \(\pi _{Y/\mathcal G,X}\) are \(\mathcal U\times \hat{Y} \rightarrow (\mathcal U \times \hat{Y})/G\) and \((\mathcal U\times \hat{Y})/G \rightarrow \mathcal U\) which gives (i) and (ii). \(\square \)
Remark 2.2
If a Lie group G acts freely, properly and fiberwisely on a bundle \(\pi _{Y,X}:Y\rightarrow X\), then \(\pi _{Y/G,X}:Y/G\rightarrow X\) is a bundle with typical fiber \(\hat{Y}/G\). However, in the case of action of Lie group bundle, since the action depends on X, the notion of typical fiber is more delicate. For example, if X is not connected, the topology of the typical fiber may differ on each component. This is the case of the action of \(X\times \mathbb {Z}\) on \(X\times (S^1\times \mathbb {R})\) with \(X=\mathbb {R}-\{0\}\) defined as
The typical fiber is a Klein bottle for \(t<0\) and a torus for \(t>0\).
For a connected base manifold X, the quotient \(\hat{Y}/G\) is well-defined (up to diffeomorphism). Indeed, given any two points \(p,q\in X\) connected by a path, \(p=\gamma (0), q=\gamma (1)\), the action on \(Y_t=\pi ^{-1}_{Y,X}(\gamma (t))\) can be regarded (from the local trivializations of \(\mathcal {G}\) and Y) as a homotopy of diffeomorphism of G on \(\hat{Y}\). This gives a diffeomorphism of the fibers of \(Y/\mathcal {G}\) on p and q.
We can build a trivializing atlas for \(\pi _{Y,Y/\mathcal G}\) starting from a trivializing atlas
of \(\pi _{\mathcal G,X}\). For \(\alpha \in \Lambda \), let \(\mathcal V_\alpha =\pi ^{-1}_{Y/\mathcal G,X}(\mathcal U_\alpha )\) and pick a local section \(\hat{s}\in \Gamma (\mathcal V_\alpha ,\pi _{Y,Y/\mathcal G})\) (the existence of that local section may require the choice of a smaller \(\mathcal U_\alpha \)). We define
where \(\hat{h}\in G\) is such that \(y=\hat{s}([y]_{\mathcal G})\cdot g\), with \(g=(\psi ^\alpha _{\mathcal G})^{-1}\left( \pi _{Y/\mathcal G,X}([y]_{\mathcal G}),\hat{h}\right) \in \mathcal G\). The element \(\hat{h}\) exists since \(Orb(y)=\pi _{Y,Y/\mathcal G}^{-1}\left( [y]_{\mathcal G}\right) \) and it is unique because the fibered action is free. It turns out that \((\mathcal V_\alpha ,\psi ^\alpha _Y)\) is a trivialization for \(\pi _{Y,Y/\mathcal G}\). Indeed, its inverse is given by
As a result, \(\left\{ (\mathcal V_\alpha ,\psi _Y^\alpha )\mid \alpha \in \Lambda \right\} \) is an atlas for \(\pi _{Y,Y/\mathcal G}\).
Observe that, by definition of Lie group bundle, the maps \(\psi _{\mathcal G}^\alpha |_{\mathcal G_x}:\mathcal G_x\rightarrow \{x\}\times G\), \(x\in \mathcal U_\alpha \), are Lie group homomorphisms. It is thus straightforward that the fibered action is locally given by the right multiplication on the Lie group G.
Corollary 2.1
Let \(x\in \mathcal U_\alpha \), \(y=(\psi _Y^\alpha )^{-1}\left( [y]_{\mathcal G},\hat{h}\right) \in Y_x\) and \(g=(\psi _{\mathcal G}^\alpha )^{-1}\left( x,\hat{g}\right) \in \mathcal G_x\), then
Moreover, for each \(x\in \mathcal U_\alpha \) the following diagram is commutative
where \(\pi _{ \mathfrak {g},X}\) is the Lie algebra bundle of \(\pi _{\mathcal G,X}\), \(\mathfrak g\) is the Lie algebra of G and \(\exp \) is the exponential map between the Lie algebra and its corresponding Lie group. Furthermore, note that \((d\psi _{\mathcal G}^\alpha |_{\mathcal G_x})_{1_x}\) is a linear isomorphism, since \(\psi _{\mathcal G}^\alpha |_{\mathcal G_x}\) is a diffeomorphism. In other words, for each \(\xi =(d\psi _{\mathcal G}^\alpha |_{\mathcal G_x})_{1_x}^{-1}\left( x,\hat{\xi }\right) \in \mathfrak {g}_x\) we have
In fact, we can define a linear trivialization \((\mathcal U_\alpha ,\psi _{ \mathfrak {g}}^\alpha )\) for \(\pi _{\mathfrak {g},X}\) from \((\mathcal U_\alpha ,\psi _{\mathcal G}^\alpha )\). Namely,
2.3 Infinitesimal generators
If we fix \(x\in X\), \(y_0\in Y_x\) and \(g_0\in \mathcal G_x\), we can consider the maps
In the same way, we denote by \(L_{g_0}:\mathcal G_x\rightarrow \mathcal G_x\) and \(R_{g_0}:\mathcal G_x\rightarrow \mathcal G_x\) the left and right multiplication by \(g_0\in \mathcal G_x\), respectively. Infinitesimal generators (or fundamental fields) are defined in the same fashion as in classical actions of Lie groups. Namely, for each \(\xi \in \mathfrak {g}_x\), then \(\xi ^*\in \mathfrak X(Y_x)\) is defined as
Fundamental vector fields are \(\pi _{Y,Y/\mathcal G}\)-vertical, i.e., \(\xi ^*_y\in V_y Y=\ker (d\pi _{Y,Y/\mathcal G})_{y}\) for each \(y\in Y_x\). Of course, they are also \(\pi _{Y,X}\)-vertical.
Proposition 2.1
Let \(\pi _{\mathfrak {g},X}\) be the Lie algebra bundle of \(\pi _{\mathcal G,X}\). The following map is a vertical isomorphism of vector bundles over Y:
In addition, for any \((g,\xi )\in \mathcal G\times _X\mathfrak {g}\), we have:
Proof
It is clear that the morphism is vertical by definition. Fix \(y\in Y\) with \(\pi _{Y,X}(y)=x\). Let us see that the map \((Y \times _{X} {\mathfrak g})_y=\mathfrak {g}_x\ni \xi \mapsto \xi ^*_y\in V_y Y\) is a linear isomorphism. The linearity is clear from the second equality of (6). Since \(\dim { \mathfrak {g}_x}=\dim {\mathcal G_x}=\dim {V_y Y}\) (the last equality is for being \(\pi _{Y,Y/\mathcal G}\) a submersion), we just need to prove the injectivity to conclude. Let \(\xi \in \mathfrak {g}_x\) be such that \(\xi ^*_y=0\). Then, \(y\cdot \exp {t\xi }=y\) for every \(t\in (-\epsilon ,\epsilon )\). Since the action is free, this says that \(\exp {t\xi }=1_x\) for every \(t\in (-\epsilon ,\epsilon )\) and, hence, \(\xi =0\). The second part is a straightforward computation. \(\square \)
2.4 Generalized associated bundles
Let \(\pi _{F,X}:F\rightarrow X\) be a fiber bundle on which \(\pi _{\mathcal G,X}\) acts fiberwisely on the left. This yields a right fibered action of \(\pi _{\mathcal G,X}\) on product bundle \(\pi _{Y\times _X F,X}\). Namely,
If the fibered action of \(\pi _{\mathcal G,X}\) on \(\pi _{Y,X}\) is free and proper, so is the induced action on \(\pi _{Y\times _X F,X}\). In such case, we have the smooth manifold
We denote the equivalence classes by \([y,f]_{\mathcal G}\in Y\times _{\mathcal G} F\).
Proposition 2.2
In the above conditions, if \(\hat{F}\) is the typical fiber of \(\pi _{F,X}\), then \(\pi _{Y\times _{\mathcal G} F,Y/\mathcal G}\) is a fiber bundle with typical fiber \(\hat{F}\), called generalized associated bundle, where
Proof
It is clear that the projection is well-defined and surjective. For each \([y_0,f_0]_{\mathcal G}\in Y\times _{\mathcal G} F\), let us find a trivialization through that point. Let \(\mathcal U\subset X\) be a trivializing set of both \(\pi _{\mathcal G,X}\) and \(\pi _{F,X}\), such that \(\pi _{Y,X}(y_0)=\pi _{F,X}(f_0)\in \mathcal U\). Let \(\mathcal V=\pi _{Y/\mathcal G,X}^{-1}(\mathcal U)\) and suppose that it is a trivializing set of \(\pi _{Y,Y/\mathcal G}\) (maybe we need to choose a smaller \(\mathcal U\) in order to achieve this). Using the above trivializations, we define
where the action \(G\times \hat{F}\rightarrow \hat{F}\) is induced by the fibered action of \(\pi _{\mathcal G,X}\) on \(\pi _{F,X}\). Observe that this action may depend on the base point x. Nevertheless, the condition of \(\Phi :Y\times _X\mathcal G\rightarrow Y\) is smooth ensures that \(\phi \) is also smooth.
Of course, \([y_0,f_0]_{\mathcal G}\in (Y\times _{\mathcal G} F)|_{\mathcal V}\), since \(\pi _{Y,X}(y_0)=\pi _{F,X}(f_0)\in \mathcal U\). In fact, the pair \((\mathcal V,\phi )\) is a trivialization of \(\pi _{Y\times _{\mathcal G} F,Y/\mathcal G}\). Indeed, the inverse map is given by
where again \(x=\pi _{Y/\mathcal G,X}(\sigma )\). \(\square \)
Example 2.2
(Conjugacy bundle) A Lie group bundle \(\pi _{\mathcal G,X}\) acts fiberwisely on the left on itself by conjugation: \(g\cdot h=c_g(h)=ghg^{-1}\), \((g,h)\in \mathcal G\times _X\mathcal G\). We can thus consider the generalized conjugacy bundle, \(Y\times _{\mathcal G}\mathcal G\), which inherits the Lie group bundle structure from \(\pi _{\mathcal G,X}\).
Example 2.3
(Adjoint bundle) In the same vein, \(\pi _{\mathcal G,X}\) acts fiberwisely on the left on \(\pi _{\mathfrak {g},X}\) via the adjoint map: \(g\cdot \xi =Ad_g(\xi )=(dc_g)_{1_x}(\xi )\), \((g,\xi )\in \mathcal G\times _X\mathfrak {g}\). The corresponding quotient is the generalized adjoint bundle, which we will denote by \(\tilde{\mathfrak {g}}=Y\times _{\mathcal G}\mathfrak {g}\). It is a vector bundle equipped with a Lie algebra bundle structure.
Example 2.4
(Coadjoint bundle) Let \(\mathfrak {g}^*\) be the dual vector bundle of \(\pi _{\mathfrak {g},X}\), where \(\pi _{\mathcal G,X}\) acts fiberwisely on the left via the coadjoint representation, \(g\cdot \eta =Ad^*_{g^{-1}}(\eta )\), \((g,\eta )\in \mathcal G\times _X\mathfrak {g}^*\). Using this action we get the generalized coadjoint bundle, \(\tilde{\mathfrak {g}}^*=Y\times _{\mathcal G}\mathfrak {g}^*\), which is a vector bundle.
3 Generalized principal connections
3.1 Lie group bundle connections
Recall that an Ehresmann connection (see for example [14]) on a fiber bundle \(\pi _{Z,X}:Z\rightarrow X\) is a fiber map \(TZ \rightarrow VZ=\ker (\pi _{Z,X})_*\) such that its restriction to VZ is the identity. Similarly, we can understand an Ehresmann connection as a distribution \(HZ\subset TZ\) complementary to VZ. Finally, an Ehresmann connection is also a section of the jet bundle \(\pi _{J^1Z,Z}:J^1 Z \rightarrow Z\).
If \(\pi _{\mathcal G,X}\) is a Lie group bundle, an Ehresmann connection
can be also regarded as a vertical bundle map (denoted by the same letter for the sake of simplicity)
Furthermore, it is natural to impose a compatibility of \(\nu \) with the algebraic structure of \(\mathcal G\).
Definition 3.1
A Lie group bundle connection on \(\pi _{\mathcal G,X}\) is an Ehresmann connection \(\nu :T\mathcal G \rightarrow V\mathcal G\) satisfying
-
(i)
\(\ker \nu _{1_x}=(d1)_x(T_x X)\) for each \(x\in X\).
-
(ii)
For every \((g,h)\in \mathcal G\times _X\mathcal G\) and \((U_g,U_h)\in T_g \mathcal G\times _{T_x X}T_h \mathcal G\), \(x=\pi _{\mathcal G,X}(g)\), then:
$$\begin{aligned} \nu _{gh}\left( (dM)_{(g,h)}(U_g,U_{h})\right) =(dR_{h})_g\left( \nu _g(U_g)\right) +(dL_{g})_{h}\left( \nu _{h}(U_{h})\right) , \end{aligned}$$where \(M:\mathcal G\times _X \mathcal G\rightarrow \mathcal G\) is the fiber multiplication map.
The corresponding conditions when regarded as a map \(\nu :T\mathcal G\rightarrow \mathfrak {g}\) are
-
(i)
\(\ker \nu _{1_x}=(d1)_x(T_x X)\) for each \(x\in X\).
-
(ii)
For every \((g,h)\in \mathcal G\times _X\mathcal G\) and \((U_g,U_h)\in T_g \mathcal G\times _{T_x X}T_h \mathcal G\), \(x=\pi _{\mathcal G,X}(g)\), then:
$$\begin{aligned} \nu _{gh}\left( (dM)_{(g,h)}(U_g,U_h)\right) =\nu _g(U_g)+Ad_g\left( \nu _g(U_h)\right) . \end{aligned}$$
Geometric interpretations of Lie group bundle connections are provided by the following results. We denote by \(^\nu \big |\big |\) the parallel transport of \(\nu \) and by \(Hor_g^\nu :T_x X\rightarrow T_g \mathcal G\) its horizontal lift at any \(g\in \mathcal G\), \(x=\pi _{\mathcal G,X}(g)\).
Proposition 3.1
Let \(\nu \) be an Ehresmann connection on \(\pi _{\mathcal G,X}\) such that \(\ker \nu _{1_x}=(d1)_x(T_x X)\) for each \(x\in X\). Then \(\nu \) is a Lie group connection if and only if for any curve \(x:I\rightarrow X\) we have
Consequently,
Proof
Suppose that \(\nu \) is a Lie group connection. Let \(x:I\rightarrow X\) be a curve and \(g,h\in \mathcal G_{x(a)}\). Denote \(\alpha _1(t)={^\nu \big |}\big |^{x(t)}_{x(a)}g\), \(\alpha _2(t)={^\nu \big |}\big |^{x(t)}_{x(a)}h\), \(t\in I\), and \(\alpha =M\circ (\alpha _1,\alpha _2)\). To show that \(\alpha (t)={^\nu \big |}\big |^{x(t)}_{x(a)}(gh)\), \(t\in I\), we use the uniqueness of the parallel transport. It is clear that \(\pi _{\mathcal G,X}\circ \alpha =x\) and \(\alpha (a)=gh\), so we only need to check that it is horizontal,
since \(\alpha _1\) and \(\alpha _2\) are horizontal.
Conversely, suppose that \(\nu \) satisfies (9). Let \(x\in X\), \(g,h\in \mathcal G_x\) and \((U_g,U_h)\in T_g \mathcal G\times _{T_x X}T_h \mathcal G\). Then there exists \(\alpha =(\alpha _1,\alpha _2):(-\epsilon ,\epsilon )\rightarrow \mathcal G\times _X \mathcal G\) such that \(\alpha '(0)=(\alpha _1'(0),\alpha _2'(0))=(U_g,U_h)\). Denote \(x=\pi _{\mathcal G,X}\circ \alpha _1=\pi _{\mathcal G,X}\circ \alpha _2\). We conclude that \(\nu \) is a Lie group connection as a straightforward consequence of (9) and the definition of covariant derivative,
\(\square \)
Proposition 3.2
Let \(\nu \) be an Ehresmann connection on \(\pi _{\mathcal G,X}\) and consider the corresponding jet section \(\hat{\nu }\in \Gamma (\pi _{J^1 \mathcal G,\mathcal G})\). Then \(\nu \) is a Lie group bundle connection if and only if
-
(i)
\(\hat{\nu }\circ 1=j^1 1=d1\),
-
(ii)
for each \((g,h)\in \mathcal G\times _X\mathcal G\), we have that \(\hat{\nu }(gh) =\hat{\nu }(g)\,\hat{\nu }(h)\) with respect to the Lie group bundle structure in \(J^1\mathcal {G}\).
Proof
It is clear that (i) is equivalent to the condition: \(\ker \nu _{1_x}=(d1)_x(T_x X)\) for each \(x\in X\). Thanks to the previous Proposition, it is enough to show that (ii) is equivalent to (9). Let \(x\in X\), \(U_x\in T_x X\) and \(g,h\in \mathcal G_x\) and pick a curve \(\alpha :(-\epsilon ,\epsilon )\rightarrow X\) such that \(\alpha '(0)=U_x\). We define the following curve:
We have \(\beta _g'(0)=Hor_g^\nu (U_x)=\hat{\nu }(g)(U_x)\), where \(Hor_g^\nu :T_x X\rightarrow T_g \mathcal G\) is the horizontal lifting given by \(\nu \). Performing the same construction with h and gh we obtain curves \(\beta _h,\beta _{gh}:(-\epsilon ,\epsilon )\rightarrow T\mathcal G\).
Suppose that (9) is satisfied, then \(\beta _{gh}=M\circ (\beta _g,\beta _h)\). Therefore
Since the equality is valid for every \(U_x\in T_x X\), we conclude that \(\hat{\nu }(gh)=\hat{\nu }(g)\,\hat{\nu }(h)\).
Conversely, if (ii) holds, then \(\beta _{gh}(0)=gh=\beta _g(0)\,\beta _h(0)\) and \(\beta _{gh}'(0)=(dM)_{(g,h)}(\beta _g'(0),\beta _h'(0))=\left( M\circ (\beta _g,\beta _h)\right) '(0)\). By uniqueness of the parallel transport we obtain that \(\beta _{gh}=M\circ (\beta _g,\beta _h)\) for each local curve \(\alpha :(-\epsilon ,\epsilon )\rightarrow X\) such that \(\alpha (0)=x\). \(\square \)
From the proof above we also deduce that the condition
together with (i) of Definition 3.1 characterize Lie group connections. More generally, we have the following property.
Proposition 3.3
Let \(\nu \) be a Lie group connection on \(\pi _{\mathcal G,X}\). Then for each \((g,h)\in \mathcal G\times _X\mathcal G\), \(U_x\in T_x X\), \(x=\pi _{\mathcal G,X}(g)\), and \(U_h\in T_h \mathcal G\) such that \((d\pi _{\mathcal G,X})_h(U_h)=U_x\) we have
Proof
Thanks to the uniqueness of the horizontal lifting, it is enough to show that
is horizontal and projects to \(U_x\). For horizontality we have that
The last equality is a particular case of property (ii) of the definition of Lie group connection with \(U_g=0\). In such case, we have \((dM)_{(g,h)}\left( 0,U_h\right) =\left( dL_g\right) \left( U_h\right) \) and, thus,
At last, we check that it projects to \(U_x\). In order to do so, let \(\alpha =\left( \alpha _1,\alpha _2\right) :(-\epsilon ,\epsilon )\rightarrow \mathcal G\times _X \mathcal G\) such that \(\alpha (0)=(g,h)\) and \(\alpha '(0)=\left( Hor_g^\nu (U_x),U_h\right) \),
\(\square \)
With respect to this last Proposition, if the vector \(U_h\) is horizontal, then
an identity that is similar to the corresponding property of connections on standard principal bundles.
3.2 Induced connection on the Lie algebra bundle
A Lie group connection induces a linear connection on the corresponding Lie algebra bundle.
Proposition 3.4
Let \(x:I\rightarrow X\) be a smooth curve. Then the map \({^{\mathfrak {g}}\big |\big |}_{x(a)}^{x(b)}:\mathfrak {g}_{x(a)}\rightarrow \mathfrak {g}_{x(b)}\) defined as
is a linear parallel transport on \(\pi _{\mathfrak {g},X}\).
Proof
The map is well-defined, since \(^\nu \big |\big |^{x(b)}_{x(a)}\,1_{x(a)}=1_{x(b)}\). Likewise, it is easy to check that \({^{\mathfrak {g}}\big |\big |}_{x(a)}^{x(b)}\lambda \xi =\lambda {^{\mathfrak {g}}\big |\big |}_{x(a)}^{x(b)}\xi \) for each \(\xi \in \mathfrak {g}_{x(a)}\) and \(\lambda \in \mathbb R\). To conclude, let \(\xi ,\eta \in \mathfrak {g}_{x(a)}\) and \(\epsilon \in \mathbb R\) “small enough”. We apply the Zassenhaus formula (for example, cf. [2]):
where \(C_n(\epsilon \,\xi ,\epsilon \,\eta )\) is a homogeneous Lie polynomial in \(\{\epsilon \,\xi ,\epsilon \,\eta \}\) for each \(n\ge 2\). Thus, \(\exp (\epsilon (\xi +\eta ))=\exp (\epsilon \,\xi )\exp (\epsilon \,\eta )\exp \left( o(\epsilon ^2)\right) \) and we are done:
\(\square \)
This linear parallel transport naturally respects the adjoint representation of \(\mathfrak {g}\).
Proposition 3.5
Let \(x:I\rightarrow X\). Then
Proof
Consider the curves \(\alpha (t)=Ad_{{^\nu ||}_{x(a)}^{x(t)}g}\left( {^{\mathfrak {g}}\big |\big |}_{x(a)}^{x(t)}\xi \right) \) and \(\beta (t)={^{\mathfrak {g}}\big |\big |}_{x(a)}^{x(t)}Ad_g(\xi )\), \(t\in I\), which satisfy \(\alpha (a)=\beta (a)=Ad_g(\xi )\) and \(\pi _{\mathfrak {g},X}\circ \alpha =\pi _{\mathfrak {g},X}\circ \beta =x\). Thanks to the uniqueness of parallel transport, to show that \(\alpha =\beta \) it is enough to check that \(\alpha '=\beta '\). For each \(t\in I\), using the definition of \(^{\mathfrak {g}}\big |\big |\) we have
where \((\star )\) is due to \(\nu \) being a Lie group connection and \((\star \star )\) comes from the fact that \(c_g:\mathcal G_{x(a)}\rightarrow \mathcal G_{x(a)}\) is a Lie group homomorphism. \(\square \)
We denote by \(\nabla ^{\mathfrak {g}}\) and \(\nabla ^{\mathfrak {g}}/dt\) the linear connection and the covariant derivative on \(\pi _{\mathfrak {g},X}\) corresponding to this parallel transport \({^{\mathfrak {g}}\big |\big |}\), respectively. A more practical way of regarding \(\nabla ^{\mathfrak {g}}\) may be the following. Consider the Lie group bundle connection as a map \(\nu :T\mathcal {G}\rightarrow \mathfrak {g}\). Then, for any section \(\xi \in \Gamma (\pi _{\mathfrak {g},X})\), we have
The next result is the infinitesimal version of Proposition 3.5.
Proposition 3.6
Let \(g:I\rightarrow \mathcal G\) and \(\xi :I\rightarrow \mathfrak {g}\) be such that \(\pi _{\mathcal G,X}\circ g=\pi _{\mathfrak {g},X}\circ \xi =x\). Then for all \(t\in I\) we have
Proof
Fix \(t\in I\) and denote \(x=\pi _{\mathcal G,X}\circ g\). Let \(\alpha :(-\epsilon ,\epsilon )\rightarrow \mathcal G_{x(t)}\) be the curve given by \(\alpha (s)={^\nu \big |\big |}_{x(t+s)}^{x(t)} g(t+s)\) for each \(s\in (-\epsilon ,\epsilon )\). We have \(\alpha (0)=g(t)\) and \(\alpha '(0)=\nabla ^\nu g(t)/dt\). Denoting \(\beta (s)=\alpha (s)\,g(t)^{-1}=R_{g(t)^{-1}}\left( \alpha (s)\right) \), \(s\in (-\epsilon ,\epsilon )\), we have that \(\beta (0)=1_{x(t)}\) and \(\beta '(0)=\left( dR_{g(t)^{-1}}\right) _{g(t)}\left( \nabla ^\nu g(t)/dt\right) \). Hence,
Using this, we conclude
\(\square \)
3.3 Generalized principal connections
Let \(\pi _{Y,X}:Y\rightarrow X\) be a fiber bundle on which a Lie group bundle \(\pi _{\mathcal G,X}:\mathcal G \rightarrow X\) acts freely and properly on the right, and denote by \(\Phi :Y\times _X \mathcal G \rightarrow Y\) the fibered action.
Lemma 3.1
For every \((y,g)\in Y\times _X \mathcal G\) and \(\xi ,\eta \in \mathfrak {g}_x\), \(x=\pi _{\mathcal {G},X}(g)\), we have
where \(\eta _g^*=d/dt|_{t=0}\exp (t\eta )g\) is the infinitesimal generator of \(\eta \) at g.
Proof
It is a straightforward computation using that
\(\square \)
Ehresmann connections on \(\pi _{Y,Y/\mathcal G}\) are identified with forms as follows.
Proposition 3.7
There is a bijective correspondence between Ehresmann connections on \(\pi _{Y,Y/\mathcal G}\) and 1-formsFootnote 1\(\omega \in \Omega ^1(Y,\mathfrak {g})\) such that
Furthermore, such forms satisfy
Proof
The equivalence between Ehresmann connections on \(\pi _{Y,Y/\mathcal G}\) and the 1-forms as in the statement is a consequence of the isomorphism (7).
For the second part, let \((y,g,\xi )\in Y\times _X\mathcal G\times _X\mathfrak {g}\), then:
where equation (8) has been taken into account. \(\square \)
Observe that \(U_y^v=\omega _y(U_y)^*_y\) for each \(U_y\in T_y Y\), \(y\in Y\), and, thus \(U_y\) is horizontal if and only if \(\omega _y(U_y)=0\). We are ready to introduce generalized principal connections.
Definition 3.2
Let \(\nu \) be an Ehresmann connection on the Lie group bundle \(\pi _{\mathcal G,X}\). A generalized principal connection on \(\pi _{Y,Y/\mathcal G}\) associated to \(\nu \) is an Ehresmann connection \(H\subset TY\) on \(\pi _{Y,Y/\mathcal G}\) satisfying:
for every \((y,g)\in Y\times _X \mathcal G\) and \((U_y,U_g)\in T_yY\times _{T_x X} T_g \mathcal G\), where \(x=\pi _{Y,X}(y)\).
Thanks to Proposition 3.7, it is easy to check that the following is an equivalent way of defining a generalized principal connection.
Definition 3.3
Let \(\nu \) be an Ehresmann connection on the Lie group bundle \(\pi _{\mathcal G,X}\). A generalized principal connection on \(\pi _{Y,Y/\mathcal G}\) associated to \(\nu \) is a form \(\omega \in \Omega ^1(Y,\mathfrak {g})\) satisfying:
-
(i)
(Complementarity) \(\omega _y(\xi ^*_y)=\xi \) for every \((y,\xi )\in Y\times _X\mathfrak {g}\).
-
(ii)
(Ad-equivariance) For each \((y,g)\in Y\times _X \mathcal G\) and \((U_y,U_g)\in T_yY\times _{T_x X} T_g \mathcal G\), \(x=\pi _{Y,X}(x)\), then
$$\begin{aligned} \omega _{y\cdot g}\left( (d\Phi )_{(y,g)}(U_y,U_g)\right) =Ad_{g^{-1}}\left( \omega _y(U_y)+\nu _g(U_g)\right) . \end{aligned}$$
Roughly speaking, generalized principal connections extend the property given in Lemma 3.1 and Proposition 3.7 to non-necessarily vertical vectors \(U_g\) with respect to \(\nu \).
The next result gives a geometric interpretation of the above Definitions in terms of the parallel transports \({^\nu \big |}\big |\) and \({^\omega \big |}\big |\), in the same vein as Proposition 3.1.
Proposition 3.8
Let \(\nu :T\mathcal G\rightarrow \mathfrak {g}\) and \(\omega \in \Omega ^1(Y,\mathfrak {g})\) be Ehresmann connections on \(\pi _{\mathcal G,X}\) and \(\pi _{Y,Y/\mathcal G}\), respectively. Then \(\omega \) is a generalized principal connection associated to \(\nu \) if and only if for any curve \(\gamma :I\rightarrow Y/\mathcal G\), the corresponding parallel transports satisfy
where \(x=\pi _{Y/\mathcal G,X}\circ \gamma \).
Proof
Suppose that \(\omega \) is a generalized principal connection associated to \(\nu \). Let \(\gamma :I\rightarrow Y/\mathcal G\) be a curve, \(x=\pi _{Y/\mathcal G,X}\circ \gamma \), \(y\in Y_{\gamma (a)}\) and \(g\in \mathcal G_{x(a)}\). Denote \(\alpha _1(\cdot )={^\omega \big |}\big |^{\gamma (\cdot )}_{\gamma (a)}y\), \(\alpha _2(\cdot )={^\nu \big |}\big |^{x(\cdot )}_{x(a)}g\) and \(\alpha =\Phi \circ (\alpha _1,\alpha _2)\). To show that \(\alpha (\cdot )={^\omega \big |}\big |^{\gamma (\cdot )}_{\gamma (a)}(y\cdot g)\) we use the uniqueness of the parallel transport. It is clear that \(\pi _{Y,Y/\mathcal G}\circ \alpha =\gamma \) and \(\alpha (a)=y\cdot g\), so we only need to check that \(\alpha \) is horizontal. For each \(t\in I\) we have
since \(\alpha _1\) and \(\alpha _2\) are horizontal for the corresponding connections.
Conversely, suppose that \(\omega \) and \(\nu \) satisfy (11). Let \((y,g)\in Y\times _X \mathcal G\) and \((U_y,U_g)\in T_y Y\times _{T_x X}T_g\). We consider \(\alpha =(\alpha _1,\alpha _2):(-\epsilon ,\epsilon )\rightarrow Y\times _X \mathcal G\) such that \(\alpha '(0)=(\alpha _1'(0),\alpha _2'(0))=(U_y,U_g)\) and we denote \(\gamma =\pi _{Y,Y/\mathcal G}\circ \alpha _1\) and \(x=\pi _{Y,X}\circ \alpha _1=\pi _{\mathcal G,X}\circ \alpha _2\). A straightforward consequence of (11) and the definition of covariant derivative is the following:
Furthermore, note that \((d\Phi _y )_g\left( U_g^v\right) =(d\Phi _{y\cdot g} )_{1_x}\left( (dL_{g^{-1}})_g\left( U_g^v\right) \right) =(dL_{g^{-1}})_g\left( U_g^v\right) ^*_{y\cdot g}\). Thus, we conclude that \(\omega \) is a generalized principal connection associated to \(\nu \):
\(\square \)
Proposition 3.9
Let \(\nu :T\mathcal G\rightarrow \mathfrak {g}\) and \(\omega \in \Omega ^1(Y,\mathfrak {g})\) be Ehresmann connections on \(\pi _{\mathcal G,X}\) and \(\pi _{Y,Y/\mathcal G}\), respectively, and suppose that \(Y/\mathcal G=X\). Let \(\hat{\omega }\in \Gamma (\pi _{J^1 Y,Y})\) and \(\hat{\nu }\in \Gamma (\pi _{J^1\mathcal G,G})\) be the corresponding jet sections. Then \(\omega \) is a generalized principal connection associated to \(\nu \) if and only if
where the fibered action of \(\pi _{J^1\mathcal G,X}\) on \(\pi _{J^1 Y,X}\) is given by the first jet extension of \(\Phi \) (recall Example 2.1).
Proof
Thanks to Proposition 3.8 we only need to show that (12) is equivalent to (11). Let \((y,g)\in Y\times _X\mathcal G\), \(x=\pi _{Y,X}(y)\) and \(U_x\in T_x X\), and pick a curve \(\alpha :(-\epsilon ,\epsilon )\rightarrow X\) with \(\alpha '(0)=U_x\). We define the curves
This way, we have \(\beta _g'(0)=Hor_g^{\nu }(U_x)=\hat{\nu }(g)(U_x)\) and \(\beta _y'(0)=Hor_y^{\omega }(U_x)=\hat{\omega }(y)(U_x)\), and analogous for \(\beta _{y\cdot g}\).
Suppose that (11) is satisfied. Then \(\beta _{y\cdot g}=\Phi \circ (\beta _y,\beta _g)\). Hence
This equation is valid for every \(U_x\in T_x X\), whence \(\hat{\omega }(y\cdot g)=\hat{\omega }(y)\cdot \hat{\nu }(g)\).
Conversely, if (12) is satisfied, then \(\beta _{y\cdot g}(0)=y\cdot g=\beta _y(0)\cdot \beta _g(0)=(\Phi \circ (\beta _y,\beta _g))(0)\) and
By uniqueness of the parallel transport we conclude that \(\beta _{y\cdot g}=\Phi \circ (\beta _y,\beta _g)\). \(\square \)
We denote by \(Hor^\omega _{y}:T_{[y]_{\mathcal G}}(Y/\mathcal G)\rightarrow T_y Y\) the horizontal lift given by \(\omega \) at \(y\in Y\). A different geometric interpretation of generalized principal connections is the following.
Proposition 3.10
Let \((y,g)\in Y\times _X \mathcal G\) and \((U_{[y]_{\mathcal G}},U_g)\in T_{[y]_{\mathcal G}}(Y/\mathcal G)\times _{T_x X}T_g\mathcal G\), where \(x=\pi _{Y,X}(y)\). Then
Proof
We just need to prove that \(U=(d\Phi )_{(y,g)}\left( Hor^\omega _y(U_{[y]_{\mathcal G}}),U_g\right) -(dL _{g^{-1}})_g(\nu _g(U_g))^*_{y\cdot g}\) is horizontal and projects to \(U_{[y]_{\mathcal G}}\). With respect to the former
For the latter let \(\alpha =(\alpha _1,\alpha _2):(-\epsilon ,\epsilon )\rightarrow Y\times _X \mathcal G\) be such \(\alpha '(0)=\left( Hor^\omega _y(U_{[y]_{\mathcal G}}),U_g\right) \). We then have
\(\square \)
Theorem 3.1
(Existence of generalized principal connections) If X is a paracompact smooth manifold, then there exist an Ehresmann connection \(\nu \) on \(\pi _{\mathcal G,X}\) and a generalized principal connection \(\omega \) on \(\pi _{Y,Y/\mathcal G}\) associated to \(\nu \).
Proof
Let \(\{(\mathcal U_\alpha ,\psi _{\mathcal G}^\alpha )\mid \alpha \in \Lambda \}\) be a trivializing atlas for \(\pi _{\mathcal G,X}\), \(\{(\mathcal V_\alpha =\pi _{Y/\mathcal G,X}^{-1}(\mathcal U_\alpha ),\psi _Y^\alpha )\mid \alpha \in \Lambda \}\) be the induced trivializing atlas for \(\pi _{Y,Y/\mathcal G}\), as in (2), and \(\{(\mathcal U_\alpha ,\psi _{\mathfrak {g}}^\alpha )\mid \alpha \in \Lambda \}\) be the induced trivializing atlas for \(\pi _{\mathfrak {g},X}\), as in (5). For \(\hat{g}\in G\), we denote by \(\hat{L}_{\hat{g}}:G\rightarrow G\) and \(\hat{R}_{\hat{g}}:G\rightarrow G\) the left and right multiplication by \(\hat{g}\), respectively. In the same way, we denote by \(\widehat{Ad}\) the adjoint representation of G.
Fixed \(\alpha \in \Lambda \), we define the local Ehresmann connection \(\nu _\alpha :T\mathcal G|_{\mathcal U_\alpha }\rightarrow V\mathcal G|_{\mathcal U_\alpha }\) on \(\pi _{\mathcal G,X}|_{\mathcal U_\alpha }:\mathcal G|_{\mathcal U_\alpha }\rightarrow \mathcal U_\alpha \) as follows
where \(x\in \mathcal U_\alpha \), \(\hat{g}\in G\) and \(g=(\psi _{\mathcal G}^\alpha )^{-1}\left( x,\hat{g}\right) \in \mathcal G|_{\mathcal U_\alpha }\). Likewise, we define the local 1-form \(\omega _\alpha \in \Omega ^1\left( Y|_{\mathcal V_\alpha },\mathfrak {g}|_{\mathcal U_\alpha }\right) \) as
where \([y]_{\mathcal G}\in \mathcal V_\alpha \), \(\hat{h}\in G\) and \(y=(\psi _Y^\alpha )^{-1}\left( [y]_{\mathcal G},\hat{h}\right) \in Y|_{\mathcal V_\alpha }\). We show that \(\nu _\alpha \) and \(\omega _\alpha \) satisfy both properties of Definition 3.3:
-
(i)
(Complementarity) Let \(\xi =(\psi _{\mathfrak {g}}^\alpha )^{-1}\left( x,\hat{\xi }\right) \in \mathfrak {g}|_{\mathcal U_\alpha }\) and \(y=(\psi _Y^\alpha )^{-1}\left( [y]_{\mathcal G},\hat{h}\right) \in Y|_{\mathcal V_\alpha }\). Using Corollary 2.1 and equation (4) we get
$$\begin{aligned} \xi ^*_y = (d\psi _Y^\alpha )_y^{-1}\left( 0_{[y]_{\mathcal G}},\left( d\hat{L}_{\hat{h}}\right) _{1}\left( \hat{\xi }\right) \right) . \end{aligned}$$(13)Thence,
$$\begin{aligned} (\omega _\alpha )_y\left( \xi _y^*\right) =(\omega _\alpha )_y\left( (d\psi _Y^\alpha )_y^{-1}\left( 0_{[y]_{\mathcal G}},\left( d\hat{L}_{\hat{h}}\right) _{1}\left( \hat{\xi }\right) \right) \right) =(\psi _{\mathfrak {g}}^\alpha )^{-1}\left( x,\hat{\xi }\right) =\xi . \end{aligned}$$ -
(ii)
(Ad-equivariance) Let \(\hat{h},\hat{g}\in G\) and \([y]_{\mathcal G}\in \mathcal V_\alpha \), and consider \(y=(\psi _Y^\alpha )^{-1}\left( [y]_{\mathcal G}, \hat{h}\right) \) and \(g=(\psi _{\mathcal G}^\alpha )^{-1}\left( x,\hat{g}\right) \), where \(x=\pi _{Y/\mathcal G,X}\left( [y]_{\mathcal G}\right) \in \mathcal U_\alpha \). Likewise, let \(\hat{\xi },\hat{\eta }\in \mathfrak g\) and \(U_{[y]_{\mathcal G}}\in T_{[y]_{\mathcal G}}(Y/\mathcal G)\), and consider
$$\begin{aligned} U_y=(d\psi _Y^\alpha )_y^{-1}\left( U_{[y]_{\mathcal G}},\left( d\hat{L}_{\hat{h}}\right) _1\left( \hat{\xi }\right) \right) \in T_y Y,\qquad U_g=(d\psi _{\mathcal G}^\alpha )_g^{-1}\left( U_x,\left( d\hat{L}_{\hat{g}}\right) _1\left( \hat{\eta }\right) \right) \in T_g \mathcal G, \end{aligned}$$where \(U_x=(d\pi _{Y/\mathcal G,X})_{[y]_{\mathcal G}}\left( U_{[y]_{\mathcal G}}\right) \in T_x X\). Consider curves \(\gamma :(-\epsilon ,\epsilon )\rightarrow Y|_{\mathcal V_\alpha }\) and \(\beta :(-\epsilon ,\epsilon )\rightarrow \mathcal G|_{\mathcal U_\alpha }\) such that \(\gamma '(0)=U_y\) and \(\beta '(0)=U_g\). Then we have that \(\psi _Y^\alpha \circ \gamma =(\gamma _1,\gamma _2)\) and \(\psi _{\mathcal G}^\alpha \circ \beta =(\beta _1,\beta _2)\) for certain curves \(\gamma _1:(-\epsilon ,\epsilon )\rightarrow \mathcal V_\alpha \), \(\gamma _2:(-\epsilon ,\epsilon )\rightarrow G\), \(\beta _1:(-\epsilon ,\epsilon )\rightarrow \mathcal U_\alpha \) and \(\beta _2:(-\epsilon ,\epsilon )\rightarrow G\) such that \(\gamma _1'(0)=U_{[y]_{\mathcal G}}\), \(\gamma _2'(0)=\left( d\hat{L}_{\hat{h}}\right) _1\left( \hat{\xi }\right) \), \(\beta _1'(0)=U_x\) and \(\beta _2'(0)=\left( d\hat{L}_{\hat{g}}\right) _1\left( \hat{\eta }\right) \). Note that we can always choose the curves satisfying \(\pi _{Y/\mathcal G,X}\circ \gamma _1=\beta _1\). Using these curves, Corollary 2.1 and Equation (13) it can be seen that
$$\begin{aligned} \begin{array}{ccl} (d\Phi )_{(y,g)}\left( U_y,U_g\right) &{} = &{} \displaystyle \left. \frac{d}{dt}\right| _{t=0}\Phi (\alpha (t),\beta (t))\\ &{} = &{} \displaystyle (d\psi _Y^\alpha )_{y\cdot g}^{-1}\left( U_{[y]_{\mathcal G}},\left( d\hat{L}_{\hat{h}\hat{g}}\right) _{1}\left( \widehat{Ad}_{\hat{g}^{-1}}\left( \hat{\xi }\right) \right) \right) +(\psi _{\mathfrak {g}}^\alpha )^{-1}\left( x,\hat{\eta }\right) ^*_{y\cdot g}. \end{array} \end{aligned}$$This, together with property (i), lead to
$$\begin{aligned} \begin{array}{ccl} (\omega _\alpha )_{y\cdot g}\left( (d\Phi )_{y\cdot g}(U_y,U_g)\right) &{} = &{} (\psi _{\mathfrak {g}}^\alpha )^{-1}\left( x,\widehat{Ad}_{\hat{g}^{-1}}\left( \hat{\xi }\right) \right) +(\psi _{\mathfrak {g}}^\alpha )^{-1}\left( x,\hat{\eta }\right) \\ &{} = &{} Ad_{g^{-1}}\left( (\psi _{\mathfrak {g}}^\alpha )^{-1}\left( x,\hat{\xi }\right) \right) +(d\psi _{\mathcal G}^\alpha )_{1_x}^{-1}\left( 0_x,\hat{\eta }\right) \\ &{} = &{} Ad_{g^{-1}}\left( (\omega _\alpha )_y(U_y)\right) +Ad_{g^{-1}}\left( \left( dR_{g^{-1}}\right) _g\left( (\nu _\alpha )_g(U_g)\right) \right) \\ &{} = &{} Ad_{g^{-1}}\left( (\omega _\alpha )_y(U_y)+(\nu _\alpha )_g(U_g)\right) , \end{array} \end{aligned}$$where we have used (5) and the fact that \((d\psi _{\mathcal G}^\alpha )_{1_x}^{-1}\left( 0_x,\hat{\eta }\right) =(d\psi _{\mathcal G}^\alpha |_{\mathcal G_x})_{1_x}^{-1}(x,\hat{\eta })\).
Therefore, \(\omega _\alpha \) is a generalized principal connection on \(\pi _{Y,Y/\mathcal G}|_{\mathcal V_\alpha }:Y|_{\mathcal V_\alpha }\rightarrow \mathcal V_\alpha \) associated to \(\nu _\alpha \). At last, we take a smooth partition of unity \(\{\theta _\alpha \mid \alpha \in \Lambda \}\) on X subordinated to \(\{\mathcal U_\alpha \mid \alpha \in \Lambda \}\). It is easy to check that \(\{\Theta _\alpha =\theta _\alpha \circ \pi _{Y/\mathcal G,X}\mid \alpha \in \Lambda \}\) is a smooth partition of unity on \(Y/\mathcal G\) subordinated to \(\{\mathcal V_\alpha \mid \alpha \in \Lambda \}\). Now set \(\omega =\sum _{\alpha \in \Lambda }(\Theta _\alpha \circ \pi _{Y,Y/\mathcal G})\,\omega _\alpha \) and \(\nu =\sum _{\alpha \in \Lambda }(\theta _\alpha \circ \pi _{\mathcal G,X})\,\nu _\alpha \). They are a well defined 1-form \(\omega \in \Omega ^1(Y,\mathfrak {g})\) and a well defined Ehresmann connection \(\nu :T\mathcal G\rightarrow V\mathcal G\). It is straightforward that \(\nu \) and \(\omega \) satisfy both properties of Definition 3.3. Thus, \(\omega \) is a generalized principal connection associated to \(\nu \). \(\square \)
A 1-form \(\alpha \in \Omega ^1(Y,\mathfrak {g})\) is said to be tensorial of the adjoint type if it is horizontal, i.e., \(\alpha _y(U_y)=0\) for each \(U_y\in V_y Y=\ker (d\pi _{Y,Y/\mathcal G})_y\), \(y\in Y\), and Ad-equivariant, i.e.,
for each \((U_y,U_g)\in T_y Y\times _{T_x X}T_g \mathcal G\), \((y,g)\in Y\times _X \mathcal G\), \(x=\pi _{Y,X}(y)\). The family of tensorial 1-forms of the adjoint type is denoted by \(\overline{\Omega }^1(Y,\mathfrak {g})\). These forms can be reduced to \(Y/\mathcal G\) in the sense that we have a bijection
given by \(\tilde{\alpha }_{[y]_{\mathcal G}}(U_{[y]_{\mathcal G}})=[y,\alpha _y(U_y)]_{\mathcal G}\), where \(U_y\in T_y Y\) projects to \(U_{[y]_{\mathcal G}}\in T_{[y]_{\mathcal G}}(Y/\mathcal G)\), \(y\in Y\). By an abuse of notation, we identify \(\alpha \equiv \tilde{\alpha }\). This construction can be straightforwardly generalized to p-forms.
Proposition 3.11
Let \(\nu :T\mathcal G\rightarrow \mathfrak {g}\) be an Ehresmann connection on \(\pi _{\mathcal G,X}\). The family of generalized principal connections on \(\pi _{Y,Y/\mathcal G}\) associated to \(\nu \) is an affine space modelled on \(\overline{\Omega }^1(Y,\mathfrak {g})\).
Proof
On the one hand, if \(\omega _1,\omega _2\in \Omega ^1(Y,\mathfrak {g})\) are generalized principal connections on \(\pi _{Y,Y/\mathcal G}\) associated to \(\nu \), then \(\omega _1-\omega _2\in \overline{\Omega }^1(Y,\mathfrak {g})\). The Ad-equivariance comes from the Ad-equivariance of \(\omega _1\) and \(\omega _2\) and the fact that the adjoint map is linear. For the horizontality, let \(y\in Y\) and \(V_y\in V_y Y=\ker {(d\pi _{Y,Y/\mathcal G})_y}\), we have
As the map (7) is an isomorphism, we deduce that \((\omega _1-\omega _2)_y(V_y)=0\).
On the other hand, given a generalized principal connection \(\omega \in \Omega ^1(Y,\mathfrak {g})\) associated to \(\nu \) and a 1-form \(\overline{\omega }\in \overline{\Omega }^1(Y,\mathfrak {g})\), a straightforward computation shows that \(\omega +\overline{\omega }\) is a generalized principal connection, since \(\overline{\omega }\) vanish on vertical vectors. \(\square \)
Now we give another interpretation of a generalized principal connection as a connection on \(\pi _{Y\times _X\mathcal G,X}\) equivariant under the fibered action.
Proposition 3.12
Let \(\omega \in \Omega ^1(Y,\mathfrak {g})\) be a generalized principal connection on \(\pi _{Y,Y/\mathcal G}\) associated to an Ehresmann connection \(\nu :T\mathcal G\rightarrow V\mathcal G\) on \(\pi _{\mathcal G,X}\). Then the map
where \(V(Y\times _X \mathcal G)=\ker \left( \pi _{Y\times _X \mathcal G,X}\right) _*\), is an Ehresmann connection on \(\pi _{Y\times _X \mathcal G,X}\) equivariant under the map \(\mathbf \Phi :Y\times _X \mathcal G\rightarrow Y\times _X \mathcal G\) defined as \(\mathbf \Phi (y,g)=(y\cdot g,g)\), i.e.,
for each \((U_y,U_g)\in T_y Y\times _{T_x X}T_g \mathcal G,\quad (y,g)\in Y\times _X \mathcal G\).
Proof
To begin with, observe that \(\varpi \) is well defined, i.e., \(\varpi _{(y,g)}(U_y,U_g)\in V_{(y,g)}(Y\times _X \mathcal G)\) for every \((U_y,U_g)\in T_y Y\times _{T_x X} T_g \mathcal G\), \((y,g)\in Y\times _X \mathcal G\). This is a straightforward consequence of equality \(V_{(y,g)}(Y\times _X \mathcal G)=V_y Y\times V_g\mathcal G\), where \(V_y Y=\ker (\pi _{Y,X})_*\), and the fact that infinitesimal generators are \(\pi _{Y,X}\)-vertical. Likewise, it is clear that \(\varpi \) is a vertical vector bundle morphism over \(Y\times _X \mathcal G\), since \(\omega _y\), \(\nu _g \) and the infinitesimal generator are linear maps. To conclude, let us check the \(\mathbf \Phi \)-equivariance. Note that \((d\mathbf \Phi )_{(y,g)}\left( U_y,U_g\right) =\left( (d\Phi )_{(y,g)}(U_y,U_g),U_g\right) \). Hence,
\(\square \)
So far, we have considered generalized principal connections associated to arbitrary Ehresmann connections on \(\mathcal {G}\rightarrow X\). We now prove that this Ehresmann connections must be a Lie group bundle connection, that is, they must respect the algebraic structure of \(\pi _{\mathcal G,X}\).
Proposition 3.13
Let \(\omega \in \Omega ^1(Y,\mathfrak {g})\) be a generalized principal connection on \(\pi _{Y,Y/\mathcal G}\) associated to an Ehresmann connection \(\nu :T\mathcal G\rightarrow \mathfrak {g}\) on \(\pi _{\mathcal G,X}\). Then \(\nu \) is a Lie group bundle connection.
Proof
Let \(\gamma :I\rightarrow Y/\mathcal G\) projecting onto \(x:I\rightarrow X\). Thanks to (11) for each \(y\in Y_{\gamma (a)}\) and \(g,h\in \mathcal G_{x(a)}\) we have
Since the action is free, we conclude that property (9) holds.
On the other hand, applying (11) with \(g=1_{x(a)}\) and using again the fact that the action is free, we get
This gives that \(\ker \nu _{1_x}=(d1)_x(T_x X)\) for each \(x\in X\) and we conclude thanks to Proposition 3.1. Indeed, let \(U_x\in \ker \nu _{1_x}=H_{1_x}\) and denote \(u_x=(d\pi _{\mathcal G,X})_{1_x}(U_x)\in T_x X\). Let \(x:(-\epsilon ,\epsilon )\rightarrow X\) be such that \(x'(0)=u_x\). Then we have that
Therefore, \(\ker \nu _{1_x}\subset (d1)_x(T_x X)\). The other inclusion is due to the fact that both are vector spaces of the same dimension. \(\square \)
3.4 Curvature
The cuvature \(\omega \) as an Ehresmann connection (see, for example [14, §9.4]) is the VY-valued 2-form \(\Omega \in \Omega ^2(Y,VY)\) defined as
This is equivalent, by the identification (7), to the \(\mathfrak {g}\)-valued 2-form \(\Omega \in \Omega ^2(Y,\mathfrak {g})\)
which will be denoted the same.
The linear connection \(\nabla ^{\mathfrak {g}}\) induced on \(\pi _{\mathfrak {g},X}\) by \(\nu \) enables us to express the curvature as follows.
Proposition 3.14
Let \(d^{\mathfrak {g}}\) be the exterior covariant derivativeFootnote 2 associated to \(\nabla ^{\mathfrak {g}}\). ThenFootnote 3
As in the case of (standard) principal connections, it is possible to regard the curvature as a 2-form on the base space \(Y/\mathcal G\) with values in \(\tilde{\mathfrak {g}}\).
Definition 3.4
The reduced curvature of \(\omega \) is the 2-form \(\tilde{\Omega }\in \Omega ^2\left( Y/\mathcal G,\tilde{\mathfrak {g}}\right) \) taking values in the adjoint bundle given by
for each \([y]_{\mathcal G}\in Y/\mathcal G\) and \(U_1,U_2\in T_{[y]_{\mathcal G}}(Y/\mathcal G)\), where \(y\in Y\) is such that \(\pi _{Y,Y/\mathcal G}(y)=[y]_{\mathcal G}\).
The reduced curvature is well-defined, i.e., it does not depend on the choice of \(y\in Y\). Indeed, let \(g\in \mathcal G_x\), where \(x=\pi _{Y,X}(y)\), \(u_i=(d\pi _{Y/\mathcal G,X})_{[y]_{\mathcal G}}(U_i)\in T_x X\) for \(i=1,2\) and \(\gamma \in \Gamma (\pi _{\mathcal G,X})\) be such that \(\gamma (x)=g\) and \(\nu _{\gamma (x)}\circ (d\gamma )_x=0\). Proposition 3.10 gives
Hence, we have
where we have used that \(\left[ (d\gamma )_x(u_1),(d\gamma )_x(u_2)\right] =(d\gamma )_x\left( [u_1,u_2]\right) \).
4 Examples
4.1 Standard principal bundles and connections
Generalized principal connections reduce to usual principal connections on (standard) principal bundles (for example, [13, Ch.II], [14, Ch.III]). Let \(\pi _{P,X}\) be a principal G-bundle and denote by \(R:P\times G\rightarrow P\) the corresponding right action. We define a fibered action of the trivial Lie group bundle \(\mathcal G=X\times G\) on \(\pi _{P,X}\) as
Note that \(P/\mathcal G\simeq X\), so we can regard \(\pi _{P,X}\) as a generalized principal bundle with respect to this fibered action.
Let \(\nu _0\) be the trivial connection on \(\pi _{\mathcal G,X}\), that is, the one given by
In addition, note that the Lie algebra bundle of \(\pi _{\mathcal G,X}\) is \(\mathfrak {g}=X\times \mathfrak g\), where \(\mathfrak g\) is the Lie algebra of G.
Proposition 4.1
Let \(\hat{\omega }\in \Omega ^1(P,\mathfrak g)\) and \(\omega \in \Omega ^1(P,\mathfrak {g})\) be such that
Then \(\omega \) is a generalized principal connection associated to \(\nu _0\) if and only if \(\hat{\omega }\) is a (standard) principal connection.
Proof
Let \((y,\xi )\in P\times _X\mathfrak {g}\) and denote \(\xi =(x,\hat{\xi })\), \(x=\pi _{P,X}(y)\), for some \(\hat{\xi }\in \mathfrak g\). Observe that
where \(\hat{\xi }^\star _y\) is the infinitesimal generator of \(\hat{\xi }\in \mathfrak g\) at y in the sense of principal bundles. Hence,
Subsequently, we only need to check Ad-equivariance to conclude.
- \((\Rightarrow )\):
-
Suppose that \(\omega \) is a generalized principal connection on \(\pi _{P,X}\) associated to \(\nu _0\). Let \(y\in P\), \(U_y\in T_y P\) and \(\hat{g}\in G\), and denote \(g=(x,\hat{g})\), \(x=\pi _{P,X}(y)\). Pick \(\alpha :(-\epsilon ,\epsilon )\rightarrow P\) such that \(\alpha (0)=y\) and \(\alpha '(0)=U_y\), we have
$$\begin{aligned} (dR_{\hat{g}})_y(U_y)=\left. \frac{d}{dt}\right| _{t=0} R_{\hat{g}}\left( \alpha (t)\right) =\left. \frac{d}{dt}\right| _{t=0}\Phi \left( \alpha (t),\beta (t)\right) =(d\Phi )_{\left( \alpha (0),\beta (0)\right) }\left( \alpha '(0),\beta '(0)\right) , \end{aligned}$$where \(\beta :(-\epsilon ,\epsilon )\rightarrow \mathcal G\) is given by \(\beta (t)=\left( (\pi _{P,X}\circ \alpha )(t),\hat{g}\right) \). Note that \(\beta (0)=(x,\hat{g})=g\) and \(\beta '(0)=(U_x,0_{\hat{g}})\) for \(U_x=(d\pi _{P,X})_y(U_y)\in T_x X\). As a result,
$$\begin{aligned} (dR_{\hat{g}})_y(U_y)=(d\Phi )_{\left( y,g\right) }\left( U_y,U_g\right) ,\qquad U_g=(U_x,0_{\hat{g}}). \end{aligned}$$Now, property (ii) of Definition 3.3 ensures that \(\hat{\omega }\) is a principal connection on \(\pi _{P,X}\):
$$\begin{aligned} \begin{array}{ccl} (x,\hat{\omega }_{y\cdot \hat{g}}\left( (dR_{\hat{g}})_y(U_y)\right) &{} = &{} \omega _{y\cdot g}\left( (d\Phi )_{\left( y,g\right) }\left( U_y,U_g\right) \right) \\ &{} = &{} Ad_{g^{-1}}\big (\omega _y(U_y)+(\nu _0)_g(U_x,0_{\hat{g}})\big )\\ &{} = &{} Ad_{g^{-1}}\left( x,\hat{\omega }_y(U_y)\right) \\ &{} = &{} \left( x,Ad_{\hat{g}^{-1}}\left( \hat{\omega }_y(U_y)\right) \right) . \end{array} \end{aligned}$$ - \((\Leftarrow )\):
-
Suppose that \(\hat{\omega }\) is a principal connection on \(\pi _{P,X}\). Let \((y,g)\in P\times _X\mathcal G\) with \(g=(x,\hat{g})\), and \((U_y,U_g)\in T_y P\times _{T_x X} T_g\mathcal G\) with \(U_g=(U_x,U_{\hat{g}})\in T_x X\oplus T_{\hat{g}} G\). Observe that
$$\begin{aligned} \begin{array}{ccl} (d\Phi )_{(y,g)}\left( U_y,U_g\right) &{} = &{} (dR)_{(y,\hat{g})}\left( U_y,U_{\hat{g}}\right) \\ &{} = &{} (dR_{\hat{g}})_y(U_y)+(d\phi _y)_{\hat{g}}(U_{\hat{g}})\\ &{} = &{} (dR_{\hat{g}})_y(U_y)+(d\phi _{y\cdot \hat{g}})_1\left( (dL_{\hat{g}^{-1}})_{\hat{g}}(U_{\hat{g}})\right) \\ &{} = &{} (dR_{\hat{g}})_y(U_y)+(dL_{\hat{g}^{-1}})_{\hat{g}}(U_{\hat{g}})_{y\cdot \hat{g}}^\star , \end{array} \end{aligned}$$where \(\phi _y:G\rightarrow P\) is given by \(\phi _y(\hat{g})=y\cdot \hat{g}\) and \(L_{\hat{g}}:G\rightarrow G\) is the left multiplication by \(\hat{g}\). Using this we conclude
$$\begin{aligned} \begin{array}{ccl} \omega _{y\cdot g}\left( (d\Phi )_{(y,g)}(U_y,U_g)\right) &{} = &{} \left( x,\hat{\omega }_{y\cdot \hat{g}}\left( (dR_{\hat{g}})_y(U_y)+(dL_{\hat{g}^{-1}})_{\hat{g}}(U_{\hat{g}})_{y\cdot \hat{g}}^\star \right) \right) \\ &{} = &{} \left( x,Ad_{\hat{g}^{-1}}\left( \hat{\omega }_y(U_y)\right) +(dL_{\hat{g}^{-1}})_{\hat{g}}(U_{\hat{g}})\right) \\ &{} = &{} Ad_{g^{-1}}\left( \omega _y(U_y)\right) +(dL_{g^{-1}})_g\left( (\nu _0)_g(U_g)\right) \\ &{} = &{} Ad_{g^{-1}}\left( \omega _y(U_y)+(\nu _0)_g(U_g)\right) . \end{array} \end{aligned}$$
\(\square \)
4.2 Affine bundles and connections
Generalized principal connections on an affine bundle are just affine connections (see [13, 20]) associated to linear connections on the modelling vector bundle. A vector bundle \(\pi _{\overline{E},X}\) is an abelian Lie group bundle with the additive structure. A Lie group connection \(\nu :T\overline{E}\rightarrow \overline{E}\) is just a linear connection, since it respects this additive structure. If we consider linear bundle coordinates \((x^\mu ,v^A)\) corresponding to a basis of local sections \(\{e_A:1\le A\le m\}\) of \(\pi _{\overline{E},X}\), then we may write
for some (local) functions \(\nu _{\mu ,A}^B\in C^\infty (X)\), \(1\le \mu \le n\), \(1\le A,B\le m\).
Now consider an affine bundle \(\pi _{E,X}\) modelled on \(\pi _{\overline{E},X}\). We have the following fibered action
This action is clearly free and proper, and it satisfies that \(E/\overline{E}\simeq X\), so we can regard \(\pi _{E,X}\) as a generalized principal bundle. In the following result we see that generalized principal connections for this action are just affine connections.
Proposition 4.2
Let \(\omega \in \Omega ^1\left( E,\overline{E}\right) \) and \(\nu \) be a linear connection on \(\pi _{\overline{E},X}\). Then \(\omega \) is an affine connection on \(\pi _{E,X}\) with \(\nu \) as underlying linear connection if and only if \(\omega \) is a generalized principal connection on \(\pi _{E,X}\) associated to \(\nu \).
Proof
Let \((x^\mu ,y^A)\) be affine bundle coordinates for \(\pi _{E,X}\) associated to \((x^\mu ,v^A)\). First, we suppose that \(\omega \) is an affine connection with \(\nu \) as underlying linear connection. The local expression of \(\omega \) is
for some (local) functions \(\Gamma _\mu ^A\in C^\infty (X)\), \(1\le \mu \le n\), \(1\le A\le m\). It is straightforward to check the the equivariance condition from Definition 3.3, that for this case reads \(\omega _{y+v}=\omega _y+\nu _v\) for each \((y,v)\in E\times _X\overline{E}\) (observe that the adjoint representation is trivial, since the group is abelian).
Conversely, suppose that \(\omega \) is a generalized principal connection associated to \(\nu \). Locally, \(\omega \) will be given by
for some (local) functions \(\omega _\mu ^A\in C^\infty (E)\), \(1\le \mu \le n\), \(1\le A\le m\). It must satisfy the equivariance condition, that is, \(\omega (x^\mu ,y^A+v^A)=\omega (x^\mu ,y^A)+\nu (x^\mu ,v^A)\) for every \((x^\mu ,y^A,v^A)\in E\times _X\overline{E}\). This gives
Thence, \(\omega _\mu ^A(x^\mu ,y^A)=\Gamma _\mu ^A(x^\mu )+\nu _{\mu ,B}^A(x^\mu )y^B\) for \(1\le \mu \le n\) and \(1\le A\le m\), where \(\Gamma _\mu ^A(x^\mu )=\omega _\mu ^A(x^\mu ,0)\). This is the local expression of an affine connection with \(\nu \) as underlying linear connection. \(\square \)
4.3 Gauge transformations
Let \(\pi _{P,X}:P\rightarrow X\) be a (standard) principal bundle with structure group G. Recall that gauge transformations on \(\pi _{P,X}\) are in a bijective correspondence with sections of the Lie group bundle
where the right action of G on \(P\times G\) is given by \((p,g)\cdot h=(p\cdot h,h^{-1} g h)\) for each \(p\in P\) and \(g,h\in G\). This provides a fibered action of \(\pi _{Ad(P),X}\) on \(\pi _{P,X}\). The adjoint bundle Ad(P) is a main instance of Lie group bundle and, in particular, the question of when an arbitrary Lie group bundle \(\mathcal {G}\rightarrow X\) is the adjoint bundle of a (standard) principal bundle has interesting topological consequences (for example, see [17]).
Principal connections on \(\pi _{P,X}\) are in a bijective correspondence with sections of the bundle of connections,
which is an affine bundle modelled on \(T^*X\otimes ad(P)\rightarrow X\), of covectors taking values in the adjoint bundle \(ad(P)=(P\times \mathfrak g)/G\), where \(\mathfrak g\) is the Lie algebra of G and the action of G on \(\mathfrak g\) is given by the adjoint representation. The group of gauge transformations acts on connections. This action is fiberwisely expressed as
The 1-jet lift of this action is
This is again a (left) fibered action, but it is not free. Nevertheless, we may consider the following Lie group subbundle of \(J^1\left( J^1 Ad(P)\right) \),
The restriction of the action to this Lie group subbundle is free and proper, making
a generalized principal bundle that is not a (standard) principal bundle. Furthermore, the quotient is isomorphic to the curvature bundle of \(\pi _{P,X}\),
where we denote by \(F_A\in \Omega ^2(X,ad(P))\) the reduced curvature corresponding to a principal connection \(A\in \Omega ^1(P,\mathfrak g)\). This is (the main part of) the geometric statement of the well-known Utiyama theorem (for example, see [12, §5]).
4.3.1 An example of generalized principal connection
Within the framework of gauge field theories analyzed above, we now present a simple example of a generalized principal connection. Even though one initially would like to have such connection on \(C(P)=(J^1P)/G\), the action of \(J^1 Ad(P)\) on C(P) is not free. To remedy this, we may consider the action on \(J^1 P\) instead,
that is free and and proper. Actually, this construction is conceptually close to the case of affine connections (see §4.2 above), since \(J^1 Ad(P)\) acts transitively on \(J^1P\).
For the sake of brevity, in the following, we work in a trivializing chart of \(\pi _{P,X}\), i.e., we pick \(\mathcal {U}\subset X\) with \(\mathcal {U}\simeq \mathbb {R}^n\), so that we can write \(P|_{\mathcal {U}}=\mathcal U\times G\), \(Ad(P)|_{\mathcal {U}}=\mathcal U\times G\) and \(ad(P)|_{\mathcal {U}}=\mathcal U\times \mathfrak g\). For the sake of simplicity, we write \(\mathcal U=X\). Furthermore, consider the right trivialization \(TG\simeq G\times \mathfrak g\), which is given by \(U_g\mapsto \left( g,(dR_{g^{-1}})_g(U_g)\right) \). Using this, we have
where the (fiberwise) semidirect product \( < imes \) is given by the adjoint representation, that is,
The same expression holds for the trivialized (left) fibered action, i.e.,
Remark 4.1
It is easy to check that
In addition, the adjoint representation of \(J^1 Ad(P)\) is given by
for every \((g,\xi _x)\in J^1 Ad(P)\) and \((\eta ,\phi _x)\in J^1 ad(P)\), where \([\cdot ,\cdot ]\) is the Lie bracket of \(\mathfrak g\).
On the other hand, the trivialization \(P=X\times G\) also allows us to identify
Moreover, the jet extension of the action (15) is given by
for each \((g,\xi _x,\eta _x,\phi _x)\in J^1(J^1Ad(P))\) and \((h,A_x,\chi _x,\alpha _x)\in J^1(J^1 P)\).
Lemma 4.1
The jet section \(\hat{\nu }\in \Gamma \left( \pi _{J^1\left( J^1 Ad(P)\right) ,J^1 Ad(P)}\right) \) defined as
is a Lie group bundle connection on \(\pi _{J^1Ad(P),X}\).
Proof
It is clear that \((\hat{\nu }\circ 1)(x)=\hat{\nu }(1,0_x)=(1,0_x,0_x,0_x)=(d1)_x\) for each \(x\in X\). Besides, we have
and we conclude by Proposition 3.2. \(\square \)
Observe that the Lie algebra bundle of \(J^1 Ad(P)\) is \(J^1 ad(P)\). Theorem 3.1 ensures that there exists a generalized principal connection \(\omega \in \Omega ^1(J^1 P,J^1 ad(P))\) associated to \(\nu \).
Proposition 4.3
An Ehresmann connection \(\omega \in \Omega ^1(J^1 P,J^1 ad(P))\) with corresponding jet section \(\hat{\omega }\in \Gamma (\pi _{J^1(J^1 P),J^1 P})\) is a generalized principal connection on \(\pi _{J^1 P,X}\) associated to \(\nu \) if and only if
for some sections \(f\in \Gamma (\pi _{T^*X\otimes \mathfrak g,X})\) and \(g\in \Gamma (\pi _{T^*X\otimes T^*X\otimes \mathfrak g,X})\).
Proof
Observe that we may write
for some \(\varpi :J^1 P\rightarrow T^*X\otimes \mathfrak g\) and \(\tilde{\varpi }:J^1 P\rightarrow T^*X\otimes T^*X\otimes \mathfrak g\). By choosing \((h,A_x)=(1,0_x)\) we get
Likewise, from (16) we have
Proposition 3.9 ensures that \(\omega \) is a generalized principal connection on \(\pi _{J^1 P,X}\) associated to \(\nu \) if and only if
for each \((g,\xi _x)\in J^1 P\). By denoting \(f(x)=\varpi (1,0_x)\) and \(g(x)=\tilde{\varpi }(1,0_x)\) for each \(x\in X\) we conclude. \(\square \)
Data availibility
This work has no associated data.
Notes
In fact, we are considering forms with values in \((\pi _{Y,X})^*(\mathfrak {g})=Y\times _X\mathfrak {g}\) but, for the sake of simplicity, we do not write it. In the same fashion, abusing the notation we suppose that \(\omega _y\in T_y^*Y\otimes \mathfrak {g}_x\) for each \(y\in Y\), \(x=\pi _{Y,X}(y)\).
The exterior covariant derivative of a linear connection \(\nabla ^E\) on a vector bundle \(\pi _{E,X}\) is an operator in the family of E-valued forms on X, \(d^E:\Omega ^\bullet (X,E)\longrightarrow \Omega ^{\bullet +1}(X,E)\). For a 1-form \(\alpha \in \Omega ^1(X,E)\) it is given by
$$\begin{aligned} d^E \alpha (U_1,U_2)=\nabla _{U_1}^E(\alpha (U_2))-\nabla _{U_2}^E(\alpha (U_1))-\alpha ([U_1,U_2]),\qquad U_1,U_2\in \mathfrak X(X). \end{aligned}$$The generalized connection \(\omega \) takes values on the vector bundle \(\pi _{Y\times _X\mathfrak {g},Y}\), which is the pull-back of \(\pi _{\mathfrak {g},X}\) by \(\pi _{Y,X}\). Hence, we also need to pull-back the linear connection \(\nabla ^{\mathfrak {g}}\) to compute the exterior covariant derivative of \(\omega \). Abusing the notation, we denote the pull-back connection by the same symbol: \(\pi _{Y,X}^*\left( \nabla ^{\mathfrak {g}}\right) \equiv \nabla ^{\mathfrak {g}}\).
References
Ajaykumar, K., Kiranagi, B.S.: Lie algebra bundles and a generalization of Lie group bundles. Proc. Jangjeon Math. Soc. 22(4), 529–542 (2019)
Casas, F., Murua, A., Nadinic, M.: Efficient computation of the Zassenhaus formula. Comput. Phys. Commun. 183(11), 2386–2391 (2012)
Castrillón López, M., García Pérez, P.L., Ratiu, T.S.: Euler-Poincaré reduction on principal bundles. Lett. Math. Phys. 58, 11 (2001)
Castrillón López, M., Ratiu, T.S.: Reduction in principal bundles: covariant Lagrange-Poincaré equations. Commun. Math. Phys. 236, 223–250 (2003)
Cendra, H., Marsden, J.E., Ratiu, T.S.: Geometric Mechanics, Lagrangian Reduction, and Nonholonomic Systems, pp. 221–273. Springer Berlin Heidelberg, (2001)
Cendra, H., Marsden, J.E., Ratiu, T.S.: Lagrangian reduction by stages. Mem. Amer. Math. Soc. V 152(722), 07 (2001)
Costa, B., Forger, M., Pêgas, L.: Lie groupoids in classical field theory I: Noether’s theorem. J. Geom. Phys. 131, 08 (2015)
del Hoyo, M., Loja Fernandes, R.: Riemannian metrics on Lie groupoids. J. Reine und angewandte Mathematik 2018(735), 143–173 (2018)
Douady, A., Lazard, M.: Espaces fibrés en algèbres de Lie et en groupes. Invent. Math. 1, 133–151 (1966)
Ellis, D.C.P., Gay-Balmaz, F., Holm, D.D., Ratiu, T.S.: Lagrange-Poincaré field equations. J. Geom. Phys. 61(11), 2120–2146 (2011)
Forger, M., Soares, B.L.: Local symmetries in gauge theories in a finite-dimensional setting. J. Geom. Phys. 62(9), 1925–1938 (2012)
García Pérez, P.L.: Gauge algebras, curvature and symplectic structure. J. Differ. Geom. 12(2), 209–227 (1977)
Kobayashi, S., Nomizu, K.: Foundations of differential geometry. Number v. 1 in Foundations of Differential Geometry. Interscience Publishers, (1963)
Kolář, I., Michor, P.W., Slovák, J.: Natural Operations in Differential Geometry, 1st edn. Springer-Verlag, Berlin Heidelberg (1993)
Lee, J.: Introduction to Smooth Manifolds, 2nd edn. Springer-Verlag, New York (2012)
Mackencie, K.H.C.: General Theory of Lie Groupoids and Lie Algebroids. Cambridge University Press, Cambridge, (2005)
Mackenzie, K.H.C.: Classification of principal bundles and Lie groupoids with prescribed gauge group bundle. J. Pure Appl. Algebra 58(2), 181–208 (1989)
Marsden, J.E., Scheurle, J.: The reduced Euler-Lagrange equations. Fields Inst. Commun. 1, 07 (1993)
Rodríguez Abella, Á.: Covariant reduction by fiberwise actions in classical field theory. TEMat monográficos 2, 211–214 (2021)
Sardanashvily, G.: Advanced Differential Geometry for Theoreticians. Lap Lambert Academic Publishing GmbH KG, (2013)
Saunders, D.J.: The Geometry of Jet Bundles. Cambridge University Press, (1989)
Acknowledgements
MCL has been partially supported by grant no. PGC2018-098321-B-I00, Ministerio de Ciencia e Innovación, Spain; and grant no. SA090G19, Consejería de Educación, Junta de Castilla y León, Spain. ARA has been supported by a FPU grant from the Spanish Ministry of Science, Innovation and Universities (MICIU).
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no competing interests to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Castrillón López, M., Rodríguez Abella, Á. Principal bundles and connections modelled by Lie group bundles. Geom Dedicata 217, 32 (2023). https://doi.org/10.1007/s10711-023-00766-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10711-023-00766-2
Keywords
- Ehresmann connection
- Fiberwise action
- Lie group bundle
- Parallel transport
- Generalized principal bundle
- Utiyama Theorem