Wells Exact Sequences in Extensions

• Wells exact sequences are exact sequences associated with extensions that measure the obstruction to lifting automorphisms on kernels and quotients.
• They appear in various algebraic contexts including group extensions, Rota-Baxter coalgebras, and Lie-type structures, using 1-cocycles and cohomology classes.
• Their framework bridges extension theory with deformation theory and classifies non-abelian extensions by quantifying when automorphism pairs can be lifted.

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 (Sun et al., 2024, Nishant, 2021, Hou et al., 2022).

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 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$ (Sun et al., 2024, Nishant, 2021).

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 (Bardakov et al., 2021, Sun et al., 2024).

2. General mechanism

Across these constructions, a common pattern is visible. One fixes an extension

$1\to A\to G\to Q\to1$0

or its analogue in the relevant category, chooses a linear or $1\to A\to G\to Q\to1$1-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 $1\to A\to G\to Q\to1$2 for $1\to A\to G\to Q\to1$3-weighted Rota-Baxter Lie coalgebras, $1\to A\to G\to Q\to1$4 for Lie-Yamaguti algebras, and $1\to A\to G\to Q\to1$5 for Lie triple systems (Sun et al., 2024, Sun et al., 2024, Sun et al., 2024).

A pair of automorphisms $1\to A\to G\to Q\to1$6 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

$1\to A\to G\to Q\to1$7

for $1\to A\to G\to Q\to1$8-weighted Rota-Baxter Lie coalgebras,

$1\to A\to G\to Q\to1$9

for Lie-Yamaguti algebras, and

$$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$0

for Lie triple systems (Sun et al., 2024, Sun et al., 2024, Sun et al., 2024).

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

$$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$1

or a variant with $$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$2, $$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$3, or another cohomology object, depending on the ambient structure (Hou et al., 2022, Sun et al., 2024, Zhong et al., 2024). This suggests that “Wells exact sequence” denotes a recurring obstruction-theoretic pattern rather than a single fixed sequence.

3. The case of $$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$4-weighted Rota-Baxter Lie coalgebras

In the setting of "Cohomologies, non-abelian extensions and Wells sequences of lambda-weighted Rota-Baxter Lie coalgebras" (Sun et al., 2024), a Lie coalgebra is a vector space $$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$5 with cobracket $$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$6 satisfying skew-symmetry

$$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$7

and the dual Jacobi identity

$$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$8

A $$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$9-weighted Rota-Baxter operator is a linear map $2$0 satisfying

$2$1

The resulting object $2$2 is a $2$3-weighted Rota-Baxter Lie coalgebra (Sun et al., 2024).

A non-abelian extension of $2$4 by $2$5 is an exact sequence

$2$6

in which $2$7 is itself a $2$8-weighted Rota-Baxter Lie coalgebra and $2$9 preserve both the cobracket and the Rota-Baxter operators. The associated non-abelian $$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$0-cocycle is a triple

$$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$1

and equivalence is defined by a gauge map $$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$2 through the relations

$$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$3

The paper proves a bijection

$$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$4

so equivalence classes of non-abelian extensions are classified by non-abelian second cohomology (Sun et al., 2024).

For a fixed extension $$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$5 with a linear retraction $$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$6, the automorphism group preserving $$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$7 is

$$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$8

There is a restriction map

$$1\;\to\;\mathrm{Hom}(Q,A)\;\to\;\mathrm{Aut}_A(G)\;\to\;\mathrm{Aut}(A)\times\mathrm{Aut}(Q)\;\to\;H^2(Q,A),$$9

and a Wells map

$\alpha\in H^2(G,A)$0

The fundamental Wells exact sequence is

$\alpha\in H^2(G,A)$1

Here $\alpha\in H^2(G,A)$2 is the inner automorphism $\alpha\in H^2(G,A)$3, and exactness means that the image of $\alpha\in H^2(G,A)$4 is exactly those $\alpha\in H^2(G,A)$5 with $\alpha\in H^2(G,A)$6, while a pair $\alpha\in H^2(G,A)$7 lies in $\alpha\in H^2(G,A)$8 exactly when it is extensible (Sun et al., 2024).

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
$\alpha\in H^2(G,A)$9-weighted Rota-Baxter Lie coalgebras (Sun et al., 2024)	$$0 \to Z^1(G,Z(A)) \to \mathrm{Aut}_A(E)\to C_\alpha \to H^2(G,Z(A)),$$0	$$0 \to Z^1(G,Z(A)) \to \mathrm{Aut}_A(E)\to C_\alpha \to H^2(G,Z(A)),$$1
Lie-Yamaguti algebras (Sun et al., 2024)	$$0 \to Z^1(G,Z(A)) \to \mathrm{Aut}_A(E)\to C_\alpha \to H^2(G,Z(A)),$$2	$$0 \to Z^1(G,Z(A)) \to \mathrm{Aut}_A(E)\to C_\alpha \to H^2(G,Z(A)),$$3
Lie triple systems (Sun et al., 2024)	$$0 \to Z^1(G,Z(A)) \to \mathrm{Aut}_A(E)\to C_\alpha \to H^2(G,Z(A)),$$4	$$0 \to Z^1(G,Z(A)) \to \mathrm{Aut}_A(E)\to C_\alpha \to H^2(G,Z(A)),$$5
Associative conformal algebras (Hou et al., 2022)	$$0 \to Z^1(G,Z(A)) \to \mathrm{Aut}_A(E)\to C_\alpha \to H^2(G,Z(A)),$$6	$$0 \to Z^1(G,Z(A)) \to \mathrm{Aut}_A(E)\to C_\alpha \to H^2(G,Z(A)),$$7
Relative Rota-Baxter Lie algebras (Sun et al., 2024)	$$0 \to Z^1(G,Z(A)) \to \mathrm{Aut}_A(E)\to C_\alpha \to H^2(G,Z(A)),$$8	$$0 \to Z^1(G,Z(A)) \to \mathrm{Aut}_A(E)\to C_\alpha \to H^2(G,Z(A)),$$9
Leibniz $(G,A)$0-algebras (Zhong et al., 2024)	$(G,A)$1	$(G,A)$2

Beyond these cases, Bol algebras admit a Wells exact sequence

$(G,A)$3

with inducibility characterized by equality of the original and twisted non-abelian $(G,A)$4-cohomology classes (Zhang et al., 2 Oct 2025). 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 $(G,A)$5, and the vanishing of $(G,A)$6 is equivalent to the existence of an automorphism of the total algebra realizing $(G,A)$7 on the kernel and $(G,A)$8 on the quotient (Das et al., 2022).

Other variants broaden the scope still further. Linear cycle sets yield a natural four-term exact sequence

$(G,A)$9

where $E$0 is a group-theoretic $E$1-cocycle (Bardakov et al., 2021). Skew braces admit a Wells-type exact sequence for extensions by the trivial skew brace (Nishant, 2021). Abelian extensions of relative Rota-Baxter groups produce a Wells-like exact sequence

$E$2

with $E$3 a crossed-homomorphism (Belwal et al., 2024). There are also formulations for affine datum in arbitrary varieties (Wires, 2023), algebras with bracket (Casas et al., 2023), and nonabelian extensions of multiplicative Lie algebras (Wires et al., 3 Sep 2025).

5. Abelian reductions and derivation analogues

When the kernel becomes abelian, the non-abelian theory frequently collapses to an ordinary cohomology theory. For $E$4-weighted Rota-Baxter Lie coalgebras, when $E$5 is an abelian $E$6-weighted Rota-Baxter Lie coalgebra, $E$7 becomes $E$8, $E$9 becomes $1$0, $1$1 becomes $1$2, and the Wells exact sequence specializes to

$1$3

(Sun et al., 2024).

For Lie triple systems, if $1$4 is abelian in $1$5, then $1$6, $1$7 makes $1$8 a representation of $1$9, and $1\to A\to G\to Q\to1$00 is an ordinary Yamaguti $1\to A\to G\to Q\to1$01-cocycle. The exact sequence becomes

$1\to A\to G\to Q\to1$02

(Sun et al., 2024). In relative Rota-Baxter Lie algebras, the abelian case yields a short exact sequence of pointed sets or of abelian groups involving $1\to A\to G\to Q\to1$03, the subgroup $1\to A\to G\to Q\to1$04 of compatible pairs, and $1\to A\to G\to Q\to1$05 (Sun et al., 2024).

A second major reduction is from automorphisms to derivations. Associative conformal algebras admit an exact sequence of vector spaces

$1\to A\to G\to Q\to1$06

where $1\to A\to G\to Q\to1$07 is the subalgebra of compatible derivations (Hou et al., 2022). Relative Rota-Baxter Lie algebras admit

$1\to A\to G\to Q\to1$08

(Sun et al., 2024). Leibniz $1\to A\to G\to Q\to1$09-algebras satisfy

$1\to A\to G\to Q\to1$10

and the same pattern persists for crossed modules over Leibniz algebras (Zhong et al., 2024). For algebras with bracket, the Wells-type sequence takes the form

$1\to A\to G\to Q\to1$11

showing that the cohomological degree can shift with the underlying cochain complex (Casas et al., 2023).

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 (Hou et al., 2022). 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 (Sun et al., 2024, Sun et al., 2024).

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 (Zhang et al., 2 Oct 2025, Sun et al., 2024). In split cases, the obstruction vanishes identically: split extensions of Lie-Yamaguti algebras, associative conformal algebras, Leibniz $1\to A\to G\to Q\to1$12-algebras, and relative Rota-Baxter groups all exhibit $1\to A\to G\to Q\to1$13 and recover semidirect-product descriptions of the automorphism group (Sun et al., 2024, Hou et al., 2022, Zhong et al., 2024, Belwal et al., 2024).

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\to A\to G\to Q\to1$14-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 (Wires et al., 3 Sep 2025). 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.