Double-Extension Complex

• Double-extension complex is a structural motif that adjoins both a central element and a derivational direction to extend algebraic or geometric structures.
• It appears in diverse settings such as double Lie groupoids, conformally symplectic and complex geometry, where compatibility is organized via cocycles or elliptic operators.
• The construction reveals a recurring pattern that integrates dual extension data into higher cohomological frameworks and refined extension groupoids.

Searching arXiv for papers relevant to “double-extension complex” and closely related constructions. First search: exact phrase and nearby terminology. The expression double-extension complex does not designate a single universally standardized construction across the current arXiv literature. Instead, several adjacent literatures exhibit a common pattern: an object is enlarged in two coupled directions, and the compatibility data are organized by a double complex, triple complex, or higher extension formalism. This suggests that the phrase is best understood as a structural motif rather than a fixed definition. In that motif, a “double extension” is typically realized by adjoining a central direction and a derivational or dual direction, while the corresponding “complex” packages the resulting coherence conditions, cocycles, or cohomological invariants (Suzuki, 2017, Eastwood, 2012, Benayadi et al., 2018, Kaledin, 22 May 2025).

1. Terminological status and scope

The literature represented here uses double extension and complex in several non-equivalent ways. In some papers the relevant object is explicitly a multi-graded complex. For a double Lie groupoid, a central $U(1)$-extension produces a cocycle in a triple complex $Q^{p,q,r}(N\Gamma)=\Omega^r(N\Gamma(p,q))$, built from the bisimplicial nerve of the double groupoid (Suzuki, 2017). In symplectic and conformally symplectic geometry, the coeffective complex is extended “both in length and in scope” by means of a commuting double complex involving wedge by $J$ and the differentials $d$ or $d-2a\wedge$ (Eastwood, 2012). In complex geometry, the blow-up formalism is expressed in terms of the double complex of smooth $(p,q)$-forms, up to $E_1$-isomorphism (Stelzig, 2018).

Other papers are equally relevant structurally but do not introduce an object explicitly named “double-extension complex.” The almost complex deformation paper states that it does not define such a construction; the closest analogue is the two-stage decomposition of the extension formula and the three-factor operator factorization $O_1\circ O_2\circ O_3$ (Fu et al., 2019). Likewise, the blow-up paper does not use the term literally, even though it identifies a direct-sum extension pattern for the Dolbeault double complex (Stelzig, 2018). The terminological situation therefore remains non-uniform.

2. Algebraic double extension as the primary template

The most stable meaning of double extension in the cited literature is algebraic. In the NIS and restricted settings, one starts from a Lie algebra or Lie superalgebra $(\mathfrak a,\mathscr B)$ with a non-degenerate invariant symmetric bilinear form and forms

$$\mathfrak g=\mathbb K x\oplus \mathfrak a\oplus \mathbb K x^*.$$

The construction combines a 1-dimensional central extension, determined by the cocycle $Q^{p,q,r}(N\Gamma)=\Omega^r(N\Gamma(p,q))$0, with a new outer element $Q^{p,q,r}(N\Gamma)=\Omega^r(N\Gamma(p,q))$1 acting by a derivation $Q^{p,q,r}(N\Gamma)=\Omega^r(N\Gamma(p,q))$2. In the restricted setting, the enlarged algebra is restricted provided $Q^{p,q,r}(N\Gamma)=\Omega^r(N\Gamma(p,q))$3 is a restricted derivation, $Q^{p,q,r}(N\Gamma)=\Omega^r(N\Gamma(p,q))$4 is $Q^{p,q,r}(N\Gamma)=\Omega^r(N\Gamma(p,q))$5-invariant, and the required $Q^{p,q,r}(N\Gamma)=\Omega^r(N\Gamma(p,q))$6-compatibility conditions hold; conversely, any restricted NIS-(super)algebra with non-trivial center is obtained as a $Q^{p,q,r}(N\Gamma)=\Omega^r(N\Gamma(p,q))$7-extension of a smaller restricted NIS-(super)algebra subject to an extra condition on the central element (Benayadi et al., 2018).

The same template appears in restricted quadratic Hom-Lie theory. There the double extension of a restricted quadratic Hom-Lie algebra $Q^{p,q,r}(N\Gamma)=\Omega^r(N\Gamma(p,q))$8 enlarges

$Q^{p,q,r}(N\Gamma)=\Omega^r(N\Gamma(p,q))$9

by a one-dimensional central extension direction and a one-dimensional derivation direction. The bracket has the form

$J$0

with a compatible twist map and extended bilinear form. The paper proves that the double extension of a restricted quadratic Hom-Lie algebra $J$1 with a $J$2-invariant bilinear form $J$3 is restricted, and conversely that any irreducible restricted quadratic Hom-Lie algebra with nonzero center is the double extension of another restricted quadratic Hom-Lie algebra (Mao et al., 2023).

This template generalizes further. For commutative $J$4-ary superalgebras with a skew-symmetric invariant form, the generalized double extension is built on

$J$5

with derived potential

$J$6

and every irreducible but non-simple commutative invariant $J$7-ary superalgebra is isomorphic to such a generalized double extension (Vishnyakova, 2016). For flat pseudo-Riemannian $J$8-Lie algebras, the full space is

$J$9

where $d$0 span a hyperbolic plane, and the extension is controlled by cocycles $d$1, a derivation $d$2, and constants $d$3 satisfying explicit constraints (Torres-Gomez et al., 2024). In quadratic Hom-Lie theory with equivariant twist maps, the abstract states that the analogue of double extension works well and that any indecomposable and quadratic Hom-Lie algebra with equivariant and nilpotent twist map can be identified with such a double extension (García-Delgado et al., 2023).

3. Double and triple complexes arising from extension data

The clearest cohomological realization of the theme occurs for central $d$4-extensions of double Lie groupoids. A double Lie groupoid yields a bisimplicial manifold $d$5, and from it a triple complex

$d$6

with horizontal simplicial differential $d$7, vertical simplicial differential $d$8, and de Rham differential

$d$9

A central $d-2a\wedge$0-extension consists of central extensions of the vertical and horizontal Lie groupoids together with a section $d-2a\wedge$1 of a certain $d-2a\wedge$2-bundle over the space of squares satisfying two compatibility conditions. With connection 1-forms $d-2a\wedge$3, the associated curvatures $d-2a\wedge$4, and the induced 1-forms $d-2a\wedge$5, the paper constructs the 3-cocycle

$d-2a\wedge$6

and proves the corresponding cocycle equations in the triple complex (Suzuki, 2017).

A second major realization appears in the extension of the coeffective complex. On a conformally symplectic manifold $d-2a\wedge$7 with Lee form $d-2a\wedge$8 satisfying

$d-2a\wedge$9

the paper constructs the canonical elliptic complex

$(p,q)$0

or equivalently

$(p,q)$1

with all operators first order except the middle one, which is second order. The construction is derived from a commuting double complex with vertical maps $(p,q)$2 and horizontal maps $(p,q)$3 or $(p,q)$4, and spectral sequence arguments then yield local exactness and the long exact sequence in cohomology (Eastwood, 2012).

In compact complex geometry, the blow-up formalism is phrased in terms of the Dolbeault double complex $(p,q)$5. For the blow-up $(p,q)$6 along a closed complex submanifold $(p,q)$7, the main theorem states that

$(p,q)$8

is an $(p,q)$9-isomorphism, so that up to $E_1$0-isomorphism

$E_1$1

and hence

$E_1$2

This yields the standard additive blow-up formulas simultaneously for Dolbeault, de Rham, Bott–Chern, and Aeppli cohomology (Stelzig, 2018).

4. Two-term extension complexes and higher-categorical refinement

A different but closely related meaning emerges in the 2-category of extensions. Let $E_1$3 be an abelian category and $E_1$4 the category of complexes concentrated in homological degrees $E_1$5 and $E_1$6,

$E_1$7

Each such complex defines the four-term exact sequence

$E_1$8

A splitting is a diagram

$E_1$9

with $O_1\circ O_2\circ O_3$0 injective, $O_1\circ O_2\circ O_3$1 surjective, and $O_1\circ O_2\circ O_3$2; the category of splittings $O_1\circ O_2\circ O_3$3 is a groupoid. The paper constructs a 2-category $O_1\circ O_2\circ O_3$4 whose morphism categories are built from such splitting data and proves that the morphism groupoid fiber over fixed homology maps $O_1\circ O_2\circ O_3$5 is

$O_1\circ O_2\circ O_3$6

The obstruction to non-emptiness is the class

$O_1\circ O_2\circ O_3$7

The paper further argues that the triangulated structure on the derived category is not enough to recover this refinement, because the mapping theory here is groupoid-valued rather than set-valued (Kaledin, 22 May 2025).

This higher-categorical framework is not a double extension in the Medina–Revoy sense. Nonetheless, it exhibits a precise “extension complex” phenomenon: two-term complexes, their splittings, and their $O_1\circ O_2\circ O_3$8-obstructions organize into a 2-categorical structure. This suggests a broader usage of the phrase in which the “complex” is itself the primary object and the extension data appear as its groupoid of refinements.

5. Noncommutative extension lineages without a canonical complex

The noncommutative algebra literature supplies another major lineage for double extension, but usually without an associated object literally called a “complex.” In Poisson geometry, a Poisson double extension of a Poisson algebra $O_1\circ O_2\circ O_3$9 is the polynomial algebra $(\mathfrak a,\mathscr B)$0 with bracket determined by data

$(\mathfrak a,\mathscr B)$1

through the formulas

$(\mathfrak a,\mathscr B)$2

and

$(\mathfrak a,\mathscr B)$3

The paper shows that a suitable class of double Ore extensions specializes to such Poisson algebras, so that double Ore extensions are deformation quantizations of Poisson double extensions (Lou et al., 2016).

In the theory of AS-regular algebras of type $(\mathfrak a,\mathscr B)$4, the relevant objects are double extension regular algebras rather than complexes. For 12 of the 26 Zhang–Zhang families, finite Gröbner–Shirshov bases are computed and PBW bases are established (Herrera et al., 6 Sep 2025). A subsequent center computation for selected families determines exact centers or explicit central subalgebras under parameter restrictions, with applications to the Zariski cancellation problem (Rubiano, 26 Jan 2026). These works confirm that “double extension” is a stable algebraic term in noncommutative ring theory, but they do not use “complex” in the cohomological or bicomplex sense.

6. Conceptual significance and recurring misconceptions

A frequent misconception is that double-extension complex names a single standard construction. The cited literature does not support that reading. Some papers explicitly deny using the term while nonetheless presenting nearby structures: the almost complex deformation paper identifies only a related two-stage decomposition and the factorization $(\mathfrak a,\mathscr B)$5 (Fu et al., 2019), and the blow-up paper treats the Dolbeault double complex up to $(\mathfrak a,\mathscr B)$6-isomorphism without introducing a named “double-extension complex” (Stelzig, 2018). This suggests that the phrase is best treated as interpretive rather than canonical.

A second misconception is that double extension is purely algebraic and disconnected from cohomological packaging. The double Lie groupoid construction shows the opposite: central extension data, compatible sections, and connection forms assemble into a 3-cocycle in a triple complex (Suzuki, 2017). The conformally symplectic construction likewise demonstrates that a double complex can be the mechanism by which an older half-complex is extended into a full elliptic complex (Eastwood, 2012).

A third misconception is that extension data of this kind are fully visible inside ordinary triangulated categories. The 2-category of extensions shows that the groupoid-valued mapping theory of length-2 complexes is not recoverable from the triangulated structure alone, precisely because the refinement depends on splitting groupoids and on $(\mathfrak a,\mathscr B)$7-level obstruction data (Kaledin, 22 May 2025).

Taken together, these literatures support a precise but non-uniform conclusion. A double-extension complex is not a single classical invariant comparable to the de Rham complex or the Chevalley–Eilenberg complex. Rather, it denotes, or plausibly denotes, a recurrent pattern in which double-sided enlargement and complex-level organization are inseparable: central and derivational directions are adjoined, dual partners or isotropic lines are introduced, and the compatibility conditions are encoded as cocycles, elliptic operators, double complexes, triple complexes, or higher extension groupoids.