---
title: Multiplicative Ehresmann Connection
url: https://www.emergentmind.com/topics/multiplicative-ehresmann-connection
type: topic
---

# Multiplicative Ehresmann Connection

A multiplicative Ehresmann connection is an Ehresmann connection on a Lie-groupoid-level submersion that is compatible with the groupoid multiplication. In the foundational setting, one considers a surjective submersion of Lie groupoids \(\Phi:G\to H\) covering the identity on the object manifold \(M\), or more generally a bundle of ideals \(k\subset A\) in the Lie algebroid \(A\) of \(G\rightrightarrows M\). The connection is given by a horizontal distribution complementary to the relevant vertical directions, and multiplicativity requires that this horizontal distribution be a wide Lie subgroupoid of the tangent groupoid \(TG\rightrightarrows TM\). The resulting theory generalizes principal bundle connections, admits connection \(1\)-forms, curvature \(2\)-forms, and a Bianchi identity, and has infinitesimal counterparts on Lie algebroids. It was developed systematically for Lie groupoid submersions covering the identity in [2204.08507], and later extended to representation-valued Bott–Shulman–Stasheff and Weil complexes [2503.08873], to Lie groupoid fibrations [2604.22394], and to a generalized Yang–Mills framework [2507.08220].

## 1. Foundational setting and basic definition

Let \(G\rightrightarrows M\) be a Lie groupoid with source and target maps \(s,t:G\to M\), multiplication \(m:G^{(2)}\to G\), unit \(u:M\to G\), and inverse \(i:G\to G\). Its Lie algebroid is \(A=\ker(dt)|_M\) with anchor \(\rho=ds\). A Lie groupoid morphism covering the identity is a smooth functor \(\Phi:G\to H\) such that \(\Phi|_M=id_M\), and the basic theory assumes that \(\Phi\) is a surjective submersion. The vertical subbundle is \(V=\ker(d\Phi)\subset TG\), and the kernel subgroupoid is
\[
K:=\Phi^{-1}(\mathrm{units}_H)\subset G,
\]
a bundle of Lie groups over \(M\) [2204.08507].

An Ehresmann connection for \(\Phi\) is a horizontal distribution \(E\subset TG\) such that
\[
TG=V\oplus E,
\]
and \(d\Phi|_E:E\to \Phi^*(TH)\) is a vector bundle isomorphism. The connection is multiplicative when \(E\rightrightarrows TM\) is a Lie subgroupoid of the tangent groupoid \(TG\rightrightarrows TM\). Equivalently, products of horizontal tangent arrows are horizontal and inverses preserve horizontality [2204.08507].

The same construction admits a more intrinsic formulation in terms of a bundle of ideals \(k\subset A\), where \(k\subset \ker(\rho)\) and \(k\) is invariant under the conjugation representation
\[
Ad_g:\ker(\rho)|_{s(g)}\to \ker(\rho)|_{t(g)}.
\]
Left and right translations of \(k\) define the associated “smearing”
\[
K_g:=dL_g(k_{s(g)})=dR_g(k_{t(g)})\subset \ker(ds)\cap \ker(dt).
\]
A bundle of ideals is partially split if there exists a wide Lie subgroupoid \(E\subset TG\) such that
\[
TG=K\oplus E.
\]
In this language, a multiplicative Ehresmann connection is precisely such a splitting [2204.08507].

Later work generalized the notion from submersions covering the identity to Lie groupoid fibrations \(\Phi:(G\rightrightarrows M)\to(H\rightrightarrows N)\). In that setting, a multiplicative Ehresmann connection is equivalently a horizontal VB-subgroupoid \(\mathrm{Hor}\subset TG\) complementary to \(\ker(T\Phi)\), a multiplicative horizontal lift
\[
\mathrm{hor}:TH\times_H G\to TG,
\]
or a multiplicative vertical projection \(TG\to \ker(T\Phi)\) [2604.22394].

## 2. Equivalent formulations and connection forms

For a partially split bundle of ideals \(k\subset A\), a multiplicative Ehresmann connection \(E\) is encoded by a \(k\)-valued multiplicative connection \(1\)-form
\[
\alpha\in \Omega^1_M(G;k).
\]
It is characterized by three properties: its simplicial differential vanishes, \(\delta\alpha=0\); it annihilates horizontal vectors, \(\alpha|_E\equiv 0\); and it reproduces verticals, \(\alpha|_k=Id\) [2204.08507].

The same datum admits several equivalent descriptions. Complementary VB subgroupoids \(E\subset TG\) with \(TG=K\oplus E\) correspond to VB-groupoid morphisms \(G\ltimes k^*\to T^*G\) splitting the natural projection, to \(k\)-valued multiplicative \(1\)-forms \(\alpha\) with \(\alpha|_k=Id\), and to linear, closed, multiplicative \(2\)-forms on \(G\ltimes k^*\) whose restriction to \(k\times_M k^*\) is canonical symplectic [2204.08507]. This places multiplicative Ehresmann connections inside the broader calculus of VB-groupoids and multiplicative forms.

A frequently used equivalent formula, written for a connection form \(\omega\in \Omega^1(G;s^*k)\), is
\[
\omega_{gh}(dm(X,Y))=Ad_{h^{-1}}(\omega_g(X))+\omega_h(Y),
\]
for composable tangent vectors \((X,Y)\in T_{(g,h)}G^{(2)}\), together with the normalization \(\omega|_k=id_k\) [2503.08873]. This formulation makes the analogy with principal bundle connections explicit: multiplicativity replaces ordinary equivariance by a groupoid cocycle condition.

The principal-bundle case appears through gauge groupoids. For a principal \(G\)-bundle \(P\to M\) with connection \(\eta\in \Omega^1(P;\mathfrak g)\), the gauge groupoid \(G(P):=P\times_G P\rightrightarrows M\) has anchor \(\Phi=(t,s):G(P)\to M\times M\), and principal bundle connections \(\eta\) are in \(1\)-to-\(1\) correspondence with multiplicative Ehresmann connections \(\alpha\in \Omega^1_M(G(P);P[\mathfrak g])\), via
\[
q^*(\alpha)=pr_2^*\eta-pr_1^*\eta.
\]
This is one of the central reasons the theory is regarded as a genuine generalization of classical connection theory [2204.08507].

## 3. Curvature, structure equation, and Bianchi identity

A multiplicative Ehresmann connection determines a horizontal projector \(h:TG\to E\) and a linear connection \(\nabla\) on the Lie algebra bundle \(k\to M\). Using the pullback connection \(\nabla^s\) on \(s^*k\), one defines the horizontal exterior covariant derivative
\[
D:\Omega^r(G;k)\to \Omega^{r+1}(G;k),\qquad
(D\omega)(X_1,\dots,X_{r+1})=(^{\nabla}\omega)(hX_1,\dots,hX_{r+1}).
\]
The curvature of the connection is then
\[
\Omega:=D\alpha\in \Omega^2(G;k)
\]
[2204.08507].

This curvature is multiplicative. For horizontal vector fields \(X,Y\in \Gamma(E)\), it satisfies the explicit bracket-defect formula
\[
L_g\cdot \Omega(X,Y)_g=(h([X,Y])-[X,Y])_g.
\]
Thus curvature measures precisely the vertical component of the failure of the horizontal distribution to be involutive [2204.08507]. In the formulation of [2503.08873], \(\Omega^\omega=0\) if and only if the horizontal distribution is involutive.

The theory admits direct analogues of the Cartan structure equation and the Bianchi identity:
\[
\Omega=\,^{\nabla}\alpha+\tfrac12[\alpha,\alpha]_k,
\qquad
D\Omega=0.
\]
These are groupoid-level analogues of the familiar principal-bundle formulas and are derived from multiplicativity together with the connection identities of the theory [2204.08507].

A major later development is that the same operator \(D\) extends naturally to representation-valued Bott–Shulman–Stasheff and Weil complexes. In that context, the horizontal projection \(h^*\) and the induced connection define a vertical operator \(D=h^*\circ d^\nabla\) that commutes with the simplicial differential \(\delta\), yielding a curved double complex. This avoids the restrictive invariance conditions required by the naive covariant derivative \(d^\nabla\) [2503.08873].

## 4. Infinitesimal theory and Lie-algebroid description

For a surjective Lie algebroid morphism \(\phi:A\to B\) covering \(id_M\), with kernel \(k\) in the short exact sequence
\[
0\to k\to A\to B\to 0,
\]
the infinitesimal counterpart of a multiplicative Ehresmann connection is an IM Ehresmann connection. It is a VB-subalgebroid \(E\subset TA\) such that
\[
TA=(A\times_M k)\oplus E
\]
[2204.08507].

Equivalently, an IM Ehresmann connection is a \(k\)-valued IM \(1\)-form, or Spencer operator, \((L,l)\in \Omega^1_{IM}(A;k)\), whose symbol \(l:A\to k\) satisfies \(l|_k=Id_k\) and whose operator \(L:\Gamma(A)\to \Omega^1(M;k)\) obeys the IM compatibility equations. One of these is the symbol equation
\[
L(f\alpha)=fL(\alpha)+df\wedge l(\alpha),
\]
supplemented by bracket and anchor compatibilities [2204.08507].

If \(G\rightrightarrows M\) is target \(1\)-connected with Lie algebroid \(A\), multiplicative Ehresmann connections on \(G\) and IM Ehresmann connections on \(A\) correspond \(1\)-to-\(1\). Under this correspondence, the groupoid-level connection form \(\alpha\) differentiates to \((L,l)\), and curvature also has an infinitesimal counterpart as an IM \(2\)-form [2204.08507].

A useful algebraic encoding is given by coupling data \((\nabla^L,U)\). Fixing a splitting \(A\simeq B\oplus k\) via \(l\), one defines
\[
\nabla^L_X\xi:=i_XL(\xi),\qquad U(\beta,X):=-\,i_XL(\beta).
\]
These satisfy structure equations expressing bracket preservation on \(k\), the relation between curvature and the adjoint action of \(U\), and a mixed cocycle identity. Conversely, any coupling \((\nabla^L,U)\) satisfying those equations determines a Lie algebroid structure on \(A=B\oplus k\) [2204.08507].

Related work on multiplicative linear connections in the tangent bundle developed a parallel Lie theory. There, a linear connection \(\nabla\) on \(TG\) is multiplicative if and only if its horizontal distribution is a multiplicative subgroupoid of \(TTG\), equivalently if its torsion is a multiplicative tensor and its geodesic spray is a multiplicative vector field. In the source simply connected case, these multiplicative connections are in bijection with IM connections on \(TA\), and their global obstruction is an Atiyah cocycle in a deformation complex [2011.04597]. Although this is a distinct framework, it is closely aligned with the infinitesimal philosophy of multiplicative Ehresmann connections.

## 5. Existence, obstructions, Morita invariance, and completeness

The existence problem has both geometric and cohomological aspects. If \(k\subset A\) is partially split, then \(k\to M\) is a locally trivial bundle of Lie algebras, and each isotropy Lie algebra \(g_x\) splits as a direct sum of ideals,
\[
g_x=k_x\oplus \mathfrak l_x.
\]
At the groupoid level, for a surjective submersion \(\Phi:G\to H\) covering \(id_M\), a multiplicative Ehresmann connection is complete if and only if the kernel \(K=\ker(\Phi)\to M\) is a locally trivial bundle of groups [2204.08507].

The theory is Morita invariant. If two Lie groupoids are Morita equivalent, bundles of ideals correspond \(1\)-to-\(1\) and partial splittings are preserved. As a consequence, every bundle of ideals in a proper Lie groupoid is partially split. The existence proof uses local slice models, averaging on proper action groupoids, and a \(G\)-invariant partition of unity to glue local multiplicative \(1\)-forms while preserving the equation \(\delta\alpha=0\) [2204.08507].

When the kernel \(k\) is abelian, cohomological obstructions appear. The extension \(A\) of \(B\) by \(k\) is classified by a \(2\)-cocycle \(\lambda\in \Omega^2(B;k)\) with class \(c_2(A)\in H^2(B;k)\), and a kernel-flat partial splitting exists if and only if there is a flat connection \(\nabla\) on \(k\) with \(\rho_B^*\nabla=\nabla^k\) and \(c_2(A)\) lies in the image of \(H^2_{IM}(B;k)\to H^2(B;k)\). In rank one, the theory gives complete criteria for totally flat, leafwise flat, kernel flat, and principal-type IM Ehresmann connections in terms of \(c_1(k)\) and \(c_2(A)\) [2204.08507].

A common misconception is that properness alone guarantees existence in every generalized setting. For extensions or morphisms covering the identity, properness indeed implies partial splitting [2204.08507]. For general Lie groupoid fibrations, however, existence may fail even for proper Lie groupoids. The action-morphism examples of [2604.22394] show that a connected Lie group \(H\) acting nontrivially on \(M\) yields a proper Lie groupoid fibration \(H\ltimes M\to H\) with no multiplicative Ehresmann connection unless the action is trivial. Positive results do hold for Morita fibrations, uniform Lie groupoid fibrations, locally trivial families of Lie groupoids, and proper families of Lie groupoids [2604.22394].

Completeness in the fibration setting is governed by path lifting. For a multiplicative horizontal lift \(\mathrm{hor}\), the horizontal lift \(\tau_\gamma(g)\) of a path \(\gamma:[0,1]\to H\) is defined by
\[
\frac{d}{dt}\tau_\gamma^t(g)=\mathrm{hor}(\dot\gamma(t),\tau_\gamma^t(g)),\qquad \tau_\gamma^0(g)=g.
\]
The connection is complete when these lifts exist globally. For Lie groupoid fibrations, completeness is equivalent to completeness of the induced connection on the kernel bundle, and if the kernel is source-connected, it is further equivalent to completeness of the base connection on \(M\to N\). For families of source-proper Lie groupoids, local triviality is equivalent to the existence of complete multiplicative Ehresmann connections [2604.22394].

## 6. Examples, analogies, and applications

The theory encompasses a wide range of standard constructions. For a connected Lie group \(G\) with ideal \(\mathfrak k\subset \mathfrak g\), a partial splitting exists if and only if
\[
\mathfrak g=\mathfrak k\oplus \mathfrak h
\]
as ideals, and the multiplicative Ehresmann connection is \(E\simeq G\ltimes \mathfrak h\subset TG\simeq G\ltimes \mathfrak g\). For a product groupoid \(G=H\times K\rightrightarrows M\) with \(\Phi=pr_1\), there is a complete multiplicative connection \(E=TH\times K\subset T(H\times K)\). For a bundle of Lie groups \(p:K\to M\), a multiplicative Ehresmann connection is equivalent to a Cartan connection on \(K\rightrightarrows M\), and for connected fibers existence is equivalent to local triviality. Every transitive groupoid has partially split \(k=\ker(\rho)\), and the gauge-groupoid construction produces the connection explicitly [2204.08507].

Action groupoids and gauge groupoids provide especially transparent models. For an action groupoid \(G\ltimes M\rightrightarrows M\), a \(G\)-equivariant splitting \(l:\mathfrak g\times M\to k\) implies partial splitting, and for proper actions such a splitting can be obtained by averaging [2204.08507]. By contrast, in the more general fibration framework, action morphisms illustrate genuine nonexistence phenomena [2604.22394].

The relation with symplectic and Poisson geometry is structural. A closed multiplicative \(2\)-form \(\omega\) with \(\ker(\omega)\subset \ker(ds)\cap \ker(dt)\) defines a bundle of ideals \(k=\ker(\omega)|_M\), and partial splitting is crucial in coisotropic embeddings and local models in Poisson geometry. In particular, multiplicative Ehresmann connections are necessary in the construction of local models around Poisson submanifolds and in linearization results [2204.08507].

The theory also interacts with higher and representation-valued constructions. The horizontal covariant derivative \(D\) supplies curved double complexes on representation-valued Bott–Shulman–Stasheff and Weil complexes, and on multiplicative forms it is compatible with the van Est map [2503.08873]. In a further extension, principal bundle Yang–Mills theory is reformulated by replacing principal connections with multiplicative Ehresmann connections; in that setting, the classical Yang–Mills equation is upgraded to a gauge-invariant pair of equations describing longitudinal and transversal dynamics relative to the orbit foliation, with \(S^1\)-bundle gerbes as an example [2507.08220].

A plausible implication is that multiplicative Ehresmann connections occupy a unifying position between principal-bundle gauge theory, multiplicative differential geometry on Lie groupoids, and the deformation-theoretic Lie theory of Lie algebroids. The existing literature supports that interpretation through the simultaneous presence of connection forms, curvature identities, Morita invariance, obstruction classes, and integration theorems across these settings [2204.08507].

Source: https://www.emergentmind.com/topics/multiplicative-ehresmann-connection