---
title: Wells Exact Sequences in Extensions
url: https://www.emergentmind.com/topics/wells-exact-sequences
type: topic
---

# Wells Exact Sequences in Extensions

Wells exact sequences are exact sequences attached to extensions that relate a group of \(1\)-cocycles or derivations, automorphisms of the total extension preserving the kernel, automorphisms of the quotient and kernel, and a cohomology class that measures the obstruction to lifting automorphisms. In group theory, for a central extension \(1\to A\to G\to Q\to1\), one has
\[
1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),
\]
discovered by C. Wells; recent work develops closely parallel sequences for non-abelian, Rota-Baxter, conformal, higher, and nonassociative structures [2401.14875][2112.10343][2211.10842].

## 1. Classical source and obstruction-theoretic content

The classical Wells sequence arose in the theory of group extensions and identifies the failure of a pair of automorphisms on the ends of an extension to lift to an automorphism of the middle term with a cohomology class in degree \(2\). In the formulations recalled in recent papers, the group-theoretic sequence is presented as
\[
1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),
\]
or, for a fixed extension class \(\alpha\in H^2(G,A)\),
\[
0 \to Z^1(G,Z(A)) \to \mathrm{Aut}_A(E)\to C_\alpha \to H^2(G,Z(A)),
\]
with the right-hand map measuring the failure of lifting an automorphism of \((G,A)\) to one of \(E\) [2401.14875][2112.10343].

This classical model already contains the two structural features that persist throughout the modern literature. First, the leftmost term records automorphisms of the extension that act trivially on the two ends; in many later settings this term becomes a group of non-abelian \(1\)-cocycles. Second, the rightmost map is an obstruction map, usually called the Wells map, obtained by comparing the cocycle of the given extension with the cocycle obtained after twisting by a pair of automorphisms. Exactness at the automorphism-pair term means precisely that a pair is liftable if and only if its Wells class vanishes [2102.12709][2406.14577].

## 2. General mechanism

Across these constructions, a common pattern is visible. One fixes an extension
\[
0\to I\to E\to Q\to 0
\]
or its analogue in the relevant category, chooses a linear or \(C[\partial]\)-section, and writes the total object as a split underlying module or vector space equipped with twisted structure operations. The extension then determines cocycle data: for example \((h,\rho,\phi)\) for \(\lambda\)-weighted Rota-Baxter Lie coalgebras, \((\chi,\omega,\mu,\theta,D,\rho,T)\) for Lie-Yamaguti algebras, and \((\omega,\theta,\rho)\) for Lie triple systems [2401.14875][2401.15333][2406.14577].

A pair of automorphisms \((\alpha,\beta)\) of the quotient and kernel acts by pull-back on the quotient side and push-forward on the kernel side, producing a twisted cocycle. The Wells map is then the cohomology class of the difference between the twisted cocycle and the original one. Typical formulas are
\[
W(\alpha,\beta)=\bigl[(h_{(\alpha,\beta)},\rho_{(\alpha,\beta)},\phi_{(\alpha,\beta)})-(h,\rho,\phi)\bigr]
\]
for \(\lambda\)-weighted Rota-Baxter Lie coalgebras,
\[
W(\alpha,\beta)=\bigl[(\chi_{(\alpha,\beta)},\omega_{(\alpha,\beta)})-(\chi,\omega)\bigr]
\]
for Lie-Yamaguti algebras, and
\[
\mathcal W(\alpha,\beta)=\bigl[(\omega^{\alpha,\beta},\theta^{\alpha,\beta},\rho^{\alpha,\beta})-(\omega,\theta,\rho)\bigr]
\]
for Lie triple systems [2401.14875][2401.15333][2406.14577].

The restriction map from automorphisms of the total extension to automorphisms of the two ends usually has kernel identified with a cocycle group. Exactness therefore takes the form
\[
0\to Z^1 \to \mathrm{Aut}_{\mathrm{kernel}}(E)\to \mathrm{Aut}(\mathrm{quotient})\times \mathrm{Aut}(\mathrm{kernel})\xrightarrow{W} H^2_{\mathrm{nab}}
\]
or a variant with \(H^3_{\mathrm{nab}}\), \(HH^2\), or another cohomology object, depending on the ambient structure [2211.10842][2404.02752][2408.09971]. This suggests that “Wells exact sequence” denotes a recurring obstruction-theoretic pattern rather than a single fixed sequence.

## 3. The case of \(\lambda\)-weighted Rota-Baxter Lie coalgebras

In the setting of "Cohomologies, non-abelian extensions and Wells sequences of lambda-weighted Rota-Baxter Lie coalgebras" [2401.14875], a Lie coalgebra is a vector space \(C\) with cobracket \(\Delta_C\colon C\to C\otimes C\) satisfying skew-symmetry
\[
\Delta_C=-\tau\circ\Delta_C
\]
and the dual Jacobi identity
\[
(I\otimes\Delta_C)\Delta_C-(\Delta_C\otimes I)\Delta_C+(I\otimes\tau)(\Delta_C\otimes I)\Delta_C=0.
\]
A \(\lambda\)-weighted Rota-Baxter operator is a linear map \(R_C\colon C\to C\) satisfying
\[
(R_C\otimes R_C)\Delta_C
=\bigl(I\otimes R_C+R_C\otimes I+\lambda\,I\otimes I\bigr)\circ\Delta_C\circ R_C.
\]
The resulting object \((C,\Delta_C,R_C)\) is a \(\lambda\)-weighted Rota-Baxter Lie coalgebra [2401.14875].

A non-abelian extension of \((C,\Delta_C,R_C)\) by \((M,\Delta_M,R_M)\) is an exact sequence
\[
0\longrightarrow C\xrightarrow{f}E\xrightarrow{g}M\longrightarrow 0
\]
in which \(E\) is itself a \(\lambda\)-weighted Rota-Baxter Lie coalgebra and \(f,g\) preserve both the cobracket and the Rota-Baxter operators. The associated non-abelian \(2\)-cocycle is a triple
\[
h\colon M\to C\otimes C,\qquad
\rho\colon M\to M\otimes C,\qquad
\phi\colon M\to C,
\]
and equivalence is defined by a gauge map \(\varphi\colon M\to C\) through the relations
\[
\begin{aligned}
h'-h&=(\varphi\otimes I)\rho-\tau(\varphi\otimes I)\rho
+(\varphi\otimes\varphi)\Delta_M-\Delta_C\varphi,\\
\rho'-\rho&=(I\otimes\varphi)\Delta_M,\\
\phi'-\phi&=\varphi R_M-R_C\varphi.
\end{aligned}
\]
The paper proves a bijection
\[
\mathrm{Ext}_{\mathrm{nab}}(M,C)\xrightarrow{\;\cong\;}\mathrm{H}^2_{\mathrm{nab}}(M,C),
\]
so equivalence classes of non-abelian extensions are classified by non-abelian second cohomology [2401.14875].

For a fixed extension \(\mathcal E:0\to C\to E\to M\to0\) with a linear retraction \(t\colon E\to C\), the automorphism group preserving \(C\) is
\[
\mathrm{Aut}_C(E)=\{\gamma\in\mathrm{Aut}(E)\mid \gamma(C)=C\}.
\]
There is a restriction map
\[
K\colon \mathrm{Aut}_C(E)\to \mathrm{Aut}(C)\times \mathrm{Aut}(M),
\]
and a Wells map
\[
W\colon \mathrm{Aut}(C)\times\mathrm{Aut}(M)\to \mathrm{H}^2_{\mathrm{nab}}(M,C).
\]
The fundamental Wells exact sequence is
\[
0\;\longrightarrow\;
\mathrm{Z}^1_{\mathrm{nab}}(M,C)
\;\xrightarrow{i}\;
\mathrm{Aut}_C(E)
\;\xrightarrow{K}\;
\mathrm{Aut}(C)\times\mathrm{Aut}(M)
\;\xrightarrow{W}\;
\mathrm{H}^2_{\mathrm{nab}}(M,C).
\]
Here \(i(\varphi)\) is the inner automorphism \(e\mapsto f(\varphi(g(e)))+e\), and exactness means that the image of \(i\) is exactly those \(\gamma\) with \(K(\gamma)=(I_C,I_M)\), while a pair \((\alpha,\beta)\) lies in \(\ker W\) exactly when it is extensible [2401.14875].

## 4. Variants across algebraic categories

The modern literature contains a broad family of Wells exact sequences. The controlling cohomology object and even the cohomological degree depend on the algebraic structure, but the obstruction picture remains stable.

| Setting | Obstruction target | Representative Wells sequence |
|---|---|---|
| \(\lambda\)-weighted Rota-Baxter Lie coalgebras [2401.14875] | \(\mathrm{H}^2_{\mathrm{nab}}(M,C)\) | \(0\to \mathrm{Z}^1_{\mathrm{nab}}(M,C)\to \mathrm{Aut}_C(E)\to \mathrm{Aut}(C)\times\mathrm{Aut}(M)\to \mathrm{H}^2_{\mathrm{nab}}(M,C)\) |
| Lie-Yamaguti algebras [2401.15333] | \(H^{(2,3)}_{\mathrm{nab}}(\g,\h)\) | \(0\to Z^1_{\mathrm{nab}}(\g,\h)\to \mathrm{Aut}_{\h}(\hat\g)\to \mathrm{Aut}(\g)\times\mathrm{Aut}(\h)\to H^{(2,3)}_{\mathrm{nab}}(\g,\h)\) |
| Lie triple systems [2406.14577] | \(H^3_{\mathrm{nab}}(g,h)\) | \(0\to Z^1_{\mathrm{nab}}(g,h)\to \mathrm{Aut}_h(\widehat g)\to \mathrm{Aut}(g)\times\mathrm{Aut}(h)\to H^3_{\mathrm{nab}}(g,h)\) |
| Associative conformal algebras [2211.10842] | \(HH^2_{\mathrm{nab}}(B,A)\) | \(1\to \mathrm{Aut}_{\id}(E)\to \mathrm{Aut}_A(E)\to \mathrm{Aut}(A)\times\mathrm{Aut}(B)\to HH^2_{\mathrm{nab}}(B,A)\to 1\) |
| Relative Rota-Baxter Lie algebras [2404.02752] | \(H^2_{\mathrm{nab}}(A,B)\) | \(1\to \mathrm{Aut}^A_B(\hat A,\hat V)\to \mathrm{Aut}_B(\hat A,\hat V)\to \mathrm{Aut}(A,V)\times\mathrm{Aut}(B,M)\to H^2_{\mathrm{nab}}(A,B)\) |
| Leibniz \(2\)-algebras [2408.09971] | \(H^2(\g,V)\) | \(0\to Z^1(\g,V)\to \mathrm{Aut}_V(\hat\g)\to C^p(\g,V)\to H^2(\g,V)\) |

Beyond these cases, Bol algebras admit a Wells exact sequence
\[
0\to Z^1_{\rm nab}(B,V)\to \Aut_V(\hat B)\to \Aut(B)\times\Aut(V)\to H^{(2,3)}_{\rm nab}(B,V),
\]
with inducibility characterized by equality of the original and twisted non-abelian \((2,3)\)-cohomology classes [2510.23612]. Non-abelian extensions of Rota-Baxter algebras and dendriform algebras give Wells-type exact sequences in which the target is a non-abelian cohomology set \(H^2_{\mathrm{nab}}\), and the vanishing of \(W(\beta,\alpha)\) is equivalent to the existence of an automorphism of the total algebra realizing \(\beta\) on the kernel and \(\alpha\) on the quotient [2206.09019].

Other variants broaden the scope still further. Linear cycle sets yield a natural four-term exact sequence
\[
1\to Z^1(X;A)\to \Aut_A(E)\to \Aut(X)\times\Aut(A)\xrightarrow{\Theta}H^2(X;A),
\]
where \(\Theta\) is a group-theoretic \(1\)-cocycle [2102.12709]. Skew braces admit a Wells-type exact sequence for extensions by the trivial skew brace [2112.10343]. Abelian extensions of relative Rota-Baxter groups produce a Wells-like exact sequence
\[
1\to Z^{RRB}(A,K)\to \Aut_{A,K}(H)\to C(v,p,o,f)\xrightarrow{w(\mathcal E)}H^2_{RRB}(A,K),
\]
with \(w(\mathcal E)\) a crossed-homomorphism [2401.14058]. There are also formulations for affine datum in arbitrary varieties [2310.00921], algebras with bracket [2307.15636], and nonabelian extensions of multiplicative Lie algebras [2509.03019].

## 5. Abelian reductions and derivation analogues

When the kernel becomes abelian, the non-abelian theory frequently collapses to an ordinary cohomology theory. For \(\lambda\)-weighted Rota-Baxter Lie coalgebras, when \(M\) is an abelian \(\lambda\)-weighted Rota-Baxter Lie coalgebra, \(\mathrm{Z}^2_{\mathrm{nab}}(M,C)\) becomes \(\mathrm{Z}^2_{RB}(M,C)\), \(\mathrm{H}^2_{\mathrm{nab}}(M,C)\) becomes \(\bar H^2_{RB}(M,C)\), \(\mathrm{Z}^1_{\mathrm{nab}}(M,C)\) becomes \(\bar Z^1_{RB}(M,C)\), and the Wells exact sequence specializes to
\[
0\to \bar Z^1_{RB}(M,C)\to \mathrm{Aut}_C(E)\to \{(\alpha,\beta)\mid \rho\beta=(\beta\otimes\alpha)\rho\}\to \bar H^2_{RB}(M,C)
\]
[2401.14875].

For Lie triple systems, if \(h\) is abelian in \(\widehat g\), then \(\rho=0\), \(\theta\) makes \(h\) a representation of \(g\), and \(\omega\in Z^3(g,h)\) is an ordinary Yamaguti \(3\)-cocycle. The exact sequence becomes
\[
0\to H^1(g,h)\to \mathrm{Aut}_h(\widehat g)\to \{(\alpha,\beta)\in\Aut(g)\times\Aut(h)\mid
\beta\circ\theta(x,y)=\theta(\alpha x,\alpha y)\circ\beta\}\xrightarrow{\mathcal W}H^3(g,h)
\]
[2406.14577]. In relative Rota-Baxter Lie algebras, the abelian case yields a short exact sequence of pointed sets or of abelian groups involving \(Z^1(A,B)\), the subgroup \(C_{(\rho_B,\rho_M,\mu)}\) of compatible pairs, and \(H^2(A,B)\) [2404.02752].

A second major reduction is from automorphisms to derivations. Associative conformal algebras admit an exact sequence of vector spaces
\[
0\to Z^1(B,A)\to \Der_A(E)\to g(A,B)\xrightarrow{W}HH^2(B,A)\to 0,
\]
where \(g(A,B)\) is the subalgebra of compatible derivations [2211.10842]. Relative Rota-Baxter Lie algebras admit
\[
0\to Z^1(A,B)\to \Der_B(\hat A,\hat V)\xrightarrow{\digamma}\mathfrak g(A,B)\xrightarrow{W}H^2(A,B)\to 0
\]
[2404.02752]. Leibniz \(2\)-algebras satisfy
\[
0\to Z^1(\g,V)\to \Der_V(\hat\g)\to D^p(\g,V)\xrightarrow{\We}H^2(\g,V),
\]
and the same pattern persists for crossed modules over Leibniz algebras [2408.09971]. For algebras with bracket, the Wells-type sequence takes the form
\[
0\to Z^{-1}(A,M)\to \Der_{\mathrm{AWB}}(E\mid M)\to D_{\mathrm{AWB}}(M,A)\xrightarrow{w}H^1_{\mathrm{AWB}}(A,M)\to 0,
\]
showing that the cohomological degree can shift with the underlying cochain complex [2307.15636].

## 6. Conceptual viewpoints and significance

Several papers place Wells exact sequences inside a broader deformation-theoretic framework. For associative conformal algebras, non-abelian extensions are Maurer-Cartan elements of a suitable differential graded Lie algebra, and the Deligne groupoid of this differential graded Lie algebra corresponds one to one with the non-abelian cohomology [2211.10842]. Lie-Yamaguti algebras and Lie triple systems also characterize non-abelian extensions in terms of Maurer-Cartan elements, with gauge equivalence matching equivalence of extensions and the vanishing of the Wells map expressing gauge equivalence between the original and twisted cocycles [2401.15333][2406.14577].

This viewpoint clarifies the conceptual role of the Wells map. It is not merely a bookkeeping device for automorphisms; it records whether the extension class is invariant under the pull-push action of automorphisms of the two ends. In the language of several papers, it gives a precise measure of how far a pair of automorphisms fails to lift to the total extension [2510.23612][2404.02752]. In split cases, the obstruction vanishes identically: split extensions of Lie-Yamaguti algebras, associative conformal algebras, Leibniz \(2\)-algebras, and relative Rota-Baxter groups all exhibit \(W=0\) and recover semidirect-product descriptions of the automorphism group [2401.15333][2211.10842][2408.09971][2401.14058].

Recent work also connects Wells sequences to adjacent low-dimensional exact sequences. For multiplicative Lie algebras, Wells’s theorem appears together with a Correspondence theorem and a \(1\)-dimensional Lyndon-Hochschild-Serre exact sequence; both the Wells sequence and the Hochschild-Serre sequence meet in a second cohomology group, but address different questions, the former about ideal-preserving automorphisms and the latter about cohomology-extension relations [2509.03019]. A plausible implication is that Wells exact sequences occupy a stable position at the interface of extension theory, automorphism lifting, and low-dimensional cohomology across a remarkably wide spectrum of algebraic categories.

Source: https://www.emergentmind.com/topics/wells-exact-sequences