Pith. sign in

REVIEW 2 minor 22 references

Spectral Sequences in Semi-Abelian Categories

T0 review · 0 major / 2 minor · reviewed 2026-06-26 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read In semi-abelian categories, any double simplicial object yields an exact couple and therefore a spectral sequence.

desk verdict A clean extension of Quillen's spectral sequence result from groups to semi-abelian categories via a new definition. read the letter →

arxiv 2606.21342 v1 pith:KQB7T44J submitted 2026-06-19 math.CT

Florent Afsa This is my paper · ORCID
classification math.CT
keywords spectralsequencessemi-abeliancategoriesdoublesimplicialobjectsexactcoupleshomologicalalgebraQuillensequence
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper defines spectral sequences inside semi-abelian categories and proves that every double simplicial object supplies the data for an exact couple. The exact couple then produces the spectral sequence in the usual way. This step works once the category satisfies the standard semi-abelian axioms, without needing extra structure. A reader would care because the same device now applies uniformly to groups, rings, Lie algebras and other non-abelian settings that still obey those axioms.

What carries the argument

The exact couple extracted from the double simplicial object, whose successive pages are the spectral sequence.

What would settle it

An explicit double simplicial object in a concrete semi-abelian category (for example, the category of rings) whose associated sequence fails to satisfy the exact-couple axioms at some page.

Watch

Extended reading notes

Core claim

From a double simplicial object in a semi-abelian category one constructs an exact couple whose associated spectral sequence is well-defined; the construction reproduces Quillen's classical result when the category is the category of groups.

Load-bearing premise

The semi-abelian axioms are enough to guarantee that the maps and kernels needed to build the exact couple exist and behave correctly.

Editorial extensions

If this is right

  • Spectral sequences are now available as a tool inside every semi-abelian category.
  • Any double simplicial object automatically supplies a convergent spectral sequence.
  • The theory recovers the classical case of simplicial groups without additional hypotheses.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same construction may supply spectral sequences for simplicial objects in other categories that share only some of the semi-abelian axioms.
  • Applications to homology of non-abelian algebraic structures become routine once the double simplicial object is given.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The paper defines the notion of a spectral sequence in semi-abelian categories (in the sense of Janelidze, Márki and Tholen) and shows that any double simplicial object yields an exact couple, from which a spectral sequence is obtained. This is presented as a direct extension of Quillen's construction for double simplicial groups.

Significance. If the central construction is valid, the result supplies a standard tool of homological algebra in a strictly larger class of categories than the abelian or group cases, without introducing free parameters or ad-hoc axioms. The approach relies on the standard exact-couple formalism and the semi-abelian axioms, which is a strength when the derivation is fully checked.

minor comments (2)
  1. The abstract and introduction should include a brief pointer to the section containing the explicit construction of the exact couple (e.g., the definition of the maps d and the verification that the couple is exact) so that readers can locate the load-bearing diagrams without searching the full text.
  2. Notation for the semi-abelian axioms (e.g., the pullback and pushout properties used) should be introduced once at the beginning rather than assumed from prior literature, to improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript, including the recommendation for minor revision. The report provides no specific major comments to address.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper presents a direct generalization of Quillen's construction of an exact couple (and thus spectral sequence) from a double simplicial object, now valid in any semi-abelian category satisfying the Janelidze–Márki–Tholen axioms. This relies on verifying that the relevant exactness and pullback properties hold under those axioms via standard category-theoretic arguments, without any self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations. The derivation chain is self-contained and externally falsifiable against the semi-abelian axioms and Quillen's original result in groups.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The central claim rests on the standard definition of semi-abelian categories and the existence of exact couples in that setting; no free parameters or invented entities are introduced in the abstract.

assumptions (1)
  • domain assumption Semi-abelian categories as defined by Janelidze, Márki and Tholen possess the exactness properties needed for the exact couple construction.
    Invoked to extend the double simplicial object construction beyond groups.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Spectral Sequences in Semi-Abelian Categories." pith.science (2026). https://pith.science/paper/KQB7T44J

@misc{pith2026260621342,
  author       = {Pith},
  title        = {Pith review of: Spectral Sequences in Semi-Abelian Categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KQB7T44J}},
  note         = {Machine review of arXiv:2606.21342}
}
read the original abstract

In this paper, we define the notion of a spectral sequence in the context of semi-abelian categories in the sense of Janelidze, M\'arki and Tholen. We show that from a double simplicial object, one can construct an exact couple, which gives rise to a spectral sequence. This extends Quillen's result on double simplicial groups to every semi-abelian category.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 2 canonical work pages

  1. [1]

    Afsa and T

    F. Afsa and T. Van der Linden,Higher ˇCech derived functors via Galois theory, in prepara- tion, 2026

    2026

  2. [2]

    Barr,Exact categories, Lecture Notes in Math., vol

    M. Barr,Exact categories, Lecture Notes in Math., vol. 57, Springer, Berlin, 1968, 245–326

    1968

  3. [3]

    Borceux and D

    F. Borceux and D. Bourn,Mal’cev, protomodular, homological and semi-abelian categories, Math. Appl., vol. 566, Kluwer Acad. Publ., 2004

    2004

  4. [4]

    Bourn,Normalization equivalence, kernel equivalence and affine categories, Lecture Notes in Math., vol

    D. Bourn,Normalization equivalence, kernel equivalence and affine categories, Lecture Notes in Math., vol. 1488, Springer, Berlin, 1991, 43–62

    1991

  5. [5]

    Bourn,On the direct image of intersections in exact homological categories, J

    D. Bourn,On the direct image of intersections in exact homological categories, J. Pure Appl. Algebra1962005, 39–52

  6. [6]

    Dold and D

    A. Dold and D. Puppe,Homologie nicht-additive Funktoren, Anwendungen, Ann. Inst. Fourier111961, 201–312

  7. [7]

    Donadze, N

    G. Donadze, N. Inassaridze and T. Porter,n-fold Cech derived functors and generalized Hopf type formulas, K-Theory352005, no. 3–4, 341–373

  8. [8]

    Everaert and T

    T. Everaert and T. Van der Linden,Baer invariants in semi-abelian categories II: homology, Theory Appl. Category122004, no. 4, 195–224

Show all 22 references
  1. [9]

    Garc´ ıa-Mart´ ınez, J

    X. Garc´ ıa-Mart´ ınez, J. R. A. Gray, M. A. Hoefnagel, T. Van der Linden and C. Vienne, Categorical-algebraic aspects of Heyting semilattices,arXiv:2508.11250, 2025

    2025

  2. [10]

    Gran,Central extensions and internal groupoids in Mal’cev categories, J

    M. Gran,Central extensions and internal groupoids in Mal’cev categories, J. Pure Appl. Algebra1552001, 139–166

  3. [11]

    M. Gran, G. Kadjo and J. Vercruysse,A torsion theory in the category of cocommutative Hopf algebras, Appl. Categ. Structures242016, no. 1, 269–282

  4. [12]

    Grandis,Homological Algebra: in strongly non-abelian settings, World Sci

    M. Grandis,Homological Algebra: in strongly non-abelian settings, World Sci. Publ., 2013

    2013

  5. [13]

    J.Higgins,Groups with multiple operators, Proc

    P. J.Higgins,Groups with multiple operators, Proc. London Math. Soc.31956, no. 6, 366–416

  6. [14]

    S. A. Huq,Commutator, nilpotency and solvability in categories, Quart. J. Math. Oxford19 1968, no. 2, 363–389

    1968

  7. [15]

    Janelidze, L

    G. Janelidze, L. M´ arki, and W. Tholen,Semi-abelian categories, J. Pure Appl. Algebra168 2002, no. 2–3, 367–386

    2002

  8. [16]

    Leray,L’anneau d’homologie d’une repr´ esentation, C

    J. Leray,L’anneau d’homologie d’une repr´ esentation, C. R. Acad. Sci.2221946, 1366–1368

  9. [17]

    Loday,Spaces with finitely many non-trivial homotopy groups, J

    J.-L. Loday,Spaces with finitely many non-trivial homotopy groups, J. Pure Appl. Algebra 241982, 179–202

  10. [18]

    W. S. Massey,Exact couples in algebraic topology, Ann. of Math.561952, no. 2, 363–396

  11. [19]

    Peschke and T

    G. Peschke and T. Van der Linden,A homological view of categorical algebra, arXiv:2404.15896v2, 2024

    2024

  12. [20]

    D. G. Quillen,Spectral sequences of a double semi-simplicial group, Topology51966, 155–157

  13. [21]

    Van der Linden,Homology and homotopy in semi-abelian categories, Ph.D

    T. Van der Linden,Homology and homotopy in semi-abelian categories, Ph.D. thesis, Vrije Universiteit Brussel, 2005

    2005

  14. [22]

    C. A. Weibel,An introduction to homological algebra, Cambridge Stud. Adv. Math., vol. 38, 1994. Institut de Recherche en Math´ematique et Physique, Universit´e catholique de Lou- vain, Chemin du Cyclotron 2, 1348 Louvain-la-Neuve, Belgium Email address:florent.afsa@uclouvain.be

    1994

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.