Five-term exact sequence

The low-degree exact sequence extracted from a first-quadrant spectral sequence, linking edge terms, an early differential and the first two groups of the abutment.

Version

v2 · 2026-09-19 · History

Domain-specific #

4552

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Homological Algebra → Mathematics

Core Idea

Under a standard cohomological convention it has the form 0 to E2(1,0) to H1 to E2(0,1) to E2(2,0) to H2, with indexing and edge-map direction changed in homological or other conventions. Filtration of the abutment identifies its lowest graded pieces, vanishing outside the first quadrant removes competing terms and the first nontrivial differential supplies the connecting map. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

How would you explain it like I'm…

 

No faithful explanation at this level. A child-level story reduces it to 'five things in a row.' That loses the fact that it is a specific consequence of a spectral sequence's filtration, edge maps and first differential.

 

No faithful explanation at this level. Without spectral sequences, filtrations and exactness, the only available picture is a generic chain of five steps. That misrepresents a convention-dependent identity arising from a first-quadrant spectral sequence.

Corner Chain of a Spectral Sequence

In advanced algebra, a spectral sequence is a step-by-step machine for computing hard objects, such as cohomology groups, from a grid of simpler pieces. When the grid lives in one quadrant, the lowest corner of the machine gives a short chain of five objects, called the Five-term exact sequence. In one common convention it reads 0 → E2(1,0) → H1 → E2(0,1) → E2(2,0) → H2. 'Exact' means that at each spot, what arrives from the left is exactly what gets sent to zero on the right. Other conventions index the terms differently or reverse the arrows, so you have to state the convention you are using.

 

Consider a first-quadrant cohomological spectral sequence with E2 page E2(p,q) converging to H. In that setting there is an exact sequence 0 → E2(1,0) → H1 → E2(0,1) → E2(2,0) → H2. It arises because the filtration of the abutment identifies the lowest graded pieces of H1 and H2 with terms of the E2 page. Vanishing outside the first quadrant removes competing terms in low degrees. The edge maps give the maps into and out of H1 and H2. The first nontrivial differential, d2: E2(0,1) → E2(2,0), serves as the connecting map. In homological or other conventions, the indexing and the direction of the edge maps change. Using the sequence correctly requires stating the convention, quadrant, convergence, filtration and edge maps, and checking exactness at all five terms.

Scope of Application

Five-term exact sequence belongs to homological algebra and is useful where the analyst can specify the typed homological algebra carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, then evaluate the spectral sequence convention and quadrant, E2 page, abutment and convergence, filtration, edge maps, differential and exactness at each of the five named terms are explicit. The scope is broad within that domain but bounded by the need for the spectral sequence convention and quadrant, E2 page, abutment and convergence, filtration, edge maps, differential and exactness at each of the five named terms are explicit. The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Clarity

The abstraction clarifies a crowded vocabulary by making the spectral sequence convention and quadrant, E2 page, abutment and convergence, filtration, edge maps, differential and exactness at each of the five named terms are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test. A bare label is insufficient because the name Five-term exact sequence can be used for a formal identity, an implementation, or a neighboring result unless carrier and convention are stated.

Manages Complexity

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Five-term exact sequence. Five-term exact sequence compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning

1. Identify the carrier. State what the elements, states, objects, or observations are: the typed homological algebra carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
2. Lock the constitutive rule. Express the spectral sequence convention and quadrant, E2 page, abutment and convergence, filtration, edge maps, differential and exactness at each of the five named terms are explicit independently of one notation or implementation.

Knowledge Transfer

Knowledge transfers strongly among subfields of homological algebra because they reuse the typed homological algebra carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, Filtration of the abutment identifies its lowest graded pieces, vanishing outside the first quadrant removes competing terms and the first nontrivial differential supplies the connecting map., and type the carrier, state every parameter and convention in the definition, test that the spectral sequence convention and quadrant, E2 page, abutment and convergence, filtration, edge maps, differential and exactness at each of the five named terms are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions

Current abstraction Five-term exact sequence Domain-specific

Parents (1) — outgoing typed relations

• Five-term exact sequence is a kind of Local-to-Global Aggregation Prime

  It remains its own entry because its identity is fixed by the spectral sequence convention and quadrant, E2 page, abutment and convergence, filtration, edge maps, differential and exactness at each of the five named terms.

Hierarchy path (1) — routes to 1 parentless root

• Five-term exact sequence → is a kind of Local-to-Global Aggregation

Neighborhood in Abstraction Space

Five-term exact sequence sits in a crowded region of the domain-specific corpus (2^nd percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Homological Algebra Constructions (19 abstractions)

Nearest neighbors

• Exact sequence — 0.96
• Zig-zag lemma — 0.94
• Bar complex — 0.94
• Chain complex — 0.94
• May spectral sequence — 0.93

Computed from structural-signature embeddings · 2026-10-25