pith. sign in

arxiv: 2303.10822 · v8 · submitted 2023-03-20 · 🧮 math.AT · math.CT

Non-Abelian homology and homotopy colimit of classifying spaces for a diagram of groups

Ahmet A. Husainov This is my paper

Pith reviewed 2026-05-24 09:15 UTC · model grok-4.3

classification 🧮 math.AT math.CT
keywords non-Abelian homologyhomotopy colimitclassifying spacesgroup diagramssimplicial groupshomotopy groupsBousfield-Kan isomorphism
0
0 comments X

The pith

Non-Abelian homology groups of a group diagram equal the shifted homotopy groups of the homotopy colimit of its classifying space diagram.

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

The paper defines non-Abelian homology groups of a diagram of groups as the homotopy groups of an associated simplicial construction. It proves these groups are isomorphic to the homotopy groups of the homotopy colimit of the diagram of classifying spaces, with a shift of dimension by one. This extends the Bousfield-Kan isomorphism, previously known only for Abelian simplicial groups, to the non-Abelian setting. Additional results give a method to locate the lowest dimension with non-zero homotopy in such a colimit and a criterion for agreement between the first non-Abelian and Abelian homology groups when the diagram is over a free category with zero colimit.

Core claim

The non-Abelian homology groups of a group diagram, introduced as homotopy groups of a simplicial change, are isomorphic to the homotopy groups of the homotopy colimit of a classifying space diagram, with the dimension shifted by 1. This generalizes the Bousfield-Kan result on Abelian simplicial groups to the non-Abelian case and supplies tools for determining the smallest non-zero homotopy group dimension.

What carries the argument

The homotopy colimit of the classifying space diagram for the group diagram, which computes the shifted homotopy groups that match the non-Abelian homology.

If this is right

  • Non-Abelian homology of group diagrams becomes computable through topological constructions on classifying spaces.
  • For diagrams over free categories with zero colimit, the first non-Abelian and Abelian homology groups coincide under the stated criterion.
  • The lowest dimension carrying a non-zero homotopy group in the colimit can be identified systematically.
  • Homotopy methods now apply directly to non-commutative group diagrams where only Abelian techniques were available before.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result may allow transfer of known computations from homotopy theory of spaces to non-Abelian invariants of group diagrams.
  • Explicit examples such as diagrams of cyclic groups could be checked to confirm the agreement criterion between homology types.
  • The construction might extend naturally to diagrams over other small categories, producing similar isomorphisms outside the free zero-colimit case.

Load-bearing premise

Non-Abelian homology groups of a group diagram are defined via homotopy groups of a simplicial construction.

What would settle it

A specific diagram of groups in which the non-Abelian homology groups fail to match the shifted homotopy groups of the homotopy colimit of the classifying spaces.

read the original abstract

This paper considers non-Abelian homology groups of a group diagram introduced as homotopy groups of a simplicial change. We prove a theorem stating that the non-Abelian homology groups of a group diagram are isomorphic to the homotopy groups of the homotopy colimit of a classifying space diagram, with the dimension shifted by 1. Bousfield and Kan proved an isomorphism between the homotopy groups of an Abelian simplicial group and the homology groups of this simplicial group. We generalize this to non-Abelian simplicial groups. We also develop a method for finding a non-zero homotopy group of smallest dimension for the homotopy colimit of classifying spaces. For a group diagram over a free category with a zero colimit, we obtain a criterion for the isomorphism of the first non-Abelian and Abelian homology groups.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript defines the non-Abelian homology groups of a diagram of groups as the homotopy groups of a simplicial construction. It proves that these groups are isomorphic (with a dimension shift of 1) to the homotopy groups of the homotopy colimit of the corresponding diagram of classifying spaces. This is framed as a direct generalization of the Bousfield–Kan isomorphism between homotopy groups and homology groups of Abelian simplicial groups. The paper additionally develops a method for locating the lowest dimension with non-zero homotopy group in the homotopy colimit and gives a criterion for when the first non-Abelian and Abelian homology groups coincide for diagrams over free categories with zero colimit.

Significance. If the stated isomorphism holds under the given definition, the work supplies a concrete bridge between non-Abelian homology and the homotopy theory of classifying-space diagrams, extending a classical Abelian result in a direct, non-circular manner. The explicit modeling choice and the supplementary criterion for the first homology groups could support concrete computations in algebraic topology.

minor comments (2)
  1. [Abstract] Abstract: the phrase 'simplicial change' is opaque; a brief parenthetical description or forward reference to the precise construction (likely in an early section) would improve accessibility without altering the central claim.
  2. [Abstract] Abstract: the phrase 'free category with a zero colimit' is used without definition; a short clarification of this categorical notion (or a reference) would prevent reader confusion when stating the final criterion.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of its contributions, and recommendation of minor revision. No major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper explicitly defines non-Abelian homology groups of a group diagram as the homotopy groups of a simplicial construction. It then states and proves a theorem establishing an isomorphism (shifted by 1) between these groups and the homotopy groups of the homotopy colimit of the associated classifying-space diagram. This is presented as a direct generalization of the external Bousfield-Kan result for Abelian simplicial groups, with no equations or steps that reduce the claimed isomorphism to a fitted parameter, self-definition, or load-bearing self-citation. The derivation supplies an independent proof for the given definition and does not invoke uniqueness theorems or ansatzes from the authors' prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard constructions of classifying spaces, homotopy colimits, and simplicial objects from algebraic topology and category theory. No free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)
  • standard math Standard properties of homotopy groups, classifying spaces, and homotopy colimits in algebraic topology hold for the diagrams considered.
    The isomorphism and the generalization presuppose these background facts from homotopy theory.

pith-pipeline@v0.9.0 · 5660 in / 1311 out tokens · 24094 ms · 2026-05-24T09:15:49.137022+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages

  1. [1]

    Homology and standard constructions

    Barr M., Beck J. Homology and standard constructions. Seminar on triples and categorical homology theory (Lecture Notes in Mathematics, V. 80), Berlin-Heidelberg-New York: Springer-Verlag, 1969, P. 245-335

    work page 1969

  2. [2]

    Homotopy theory of Γ-spaces, spectra, and bisimplicial sets , (Lecture Notes in Mathematics, V.658), Berlin- Heidelberg-New York: Springer-Verlag, 1978, P.80-150

    Bousfield A.K., Friedlander E.M. Homotopy theory of Γ-spaces, spectra, and bisimplicial sets , (Lecture Notes in Mathematics, V.658), Berlin- Heidelberg-New York: Springer-Verlag, 1978, P.80-150

    work page 1978

  3. [3]

    K., Kan D

    Bousfield A. K., Kan D. M. Homotopy Limits, Completions and Local- izations, (Lecture Notes in Mathematics V. 304), Berlin-Heidelberg-New York: Springer-Verlag, 1972

    work page 1972

  4. [4]

    Brown K. S. Cohomology of groups , New York-Heidelberg-Berlin: Springer-Verlag, 1982

    work page 1982

  5. [5]

    Some problems in non-abelian homotopical and homological algebra

    Brown R. Some problems in non-abelian homotopical and homological algebra. Homotopy theory and related topics. (Lecture Notes in Math- ematics V. 1418), Berlin-Heidelberg-New York: Springer-Verlag, 1 990, P.105-129

    work page

  6. [6]

    J., Sivera R

    Brown R., Higgins P. J., Sivera R. Nonabelian Algebraic Topology. Z¨ urich: European Mathematical Society, 2011

    work page 2011

  7. [7]

    Van Kampen Theorems for the Diagrams of Spaces

    Brown R., Loday J.-L. Van Kampen Theorems for the Diagrams of Spaces. Topology. 1987. V. 26. P.311-315. 29

    work page 1987

  8. [8]

    L., Ladra M

    Castiglioni J. L., Ladra M. Peiffer elements in simplicial groups and al- gebras. Journal of Pure and Applied Algebra. 2008. V.212. P. 2115-2128

    work page 2008

  9. [9]

    Simplicial localizations of categories

    Dwyer W.G., Kan D.M. Simplicial localizations of categories . Journal of Pure and Applied Algebra. 1980. V.17. P. 267-284

    work page 1980

  10. [10]

    A classification theorem for diagrams of sim- plicial sets , Topology, 23:2 (1984), 139–155

    Dwyer W.G., Kan D.M. A classification theorem for diagrams of sim- plicial sets , Topology, 23:2 (1984), 139–155

    work page 1984

  11. [11]

    Relative derived functors and the homology of groups

    Ellis G.J. Relative derived functors and the homology of groups . Cahiers de topologie et g´ eom´ etrie diff´ erentielle cat´ egoriques. 1990. T.31, N.2 . P. 121-135

    work page 1990

  12. [12]

    A colimit of classifying spaces

    Ellis G., Mikhailov R. A colimit of classifying spaces . Advances in Math- ematics. 2010. V. 223. P. 2097-2113

    work page 2010

  13. [13]

    Farjoun E. D. Cellular inequalities , The ˇCech Centennial (M. Cenkl and H. Miller, eds.), Contemporary Mathematics, vol. 181, American Mathematical Society, 1995, pp. 159-181

    work page 1995

  14. [14]

    Farjoun E. D. Fundamental group of homotopy colimits . Advances in Mathematics. 2004. V.182. P. 1-27

    work page 2004

  15. [15]

    Classifying Spaces of Topological Monoids and Cate- gories

    Fiedorowicz Z. Classifying Spaces of Topological Monoids and Cate- gories. American Journal of Mathematics. 1984. V. 106, N. 2. P.301-350

    work page 1984

  16. [16]

    Calculus of fractions and homotopy theory

    Gabriel P., Zisman M. Calculus of fractions and homotopy theory . Berlin- Heidelberg-New York: Springer-Verlag, 1967

    work page 1967

  17. [17]

    Topologie alg´ ebrique et th´ eorie des faisceaux

    Godement R. Topologie alg´ ebrique et th´ eorie des faisceaux. Paris: Her- mann, 1958

    work page 1958

  18. [18]

    Simplicial Homotopy Theory , (Modern Birkh¨ auser Classics), Basel: Birkh¨ auser, 2009

    Goerss P.G., Jardine J.F. Simplicial Homotopy Theory , (Modern Birkh¨ auser Classics), Basel: Birkh¨ auser, 2009

    work page 2009

  19. [19]

    Model categories and their localizations , Mathematical Surveys and Monographs, vol

    Hirschhorn P.S. Model categories and their localizations , Mathematical Surveys and Monographs, vol. 99, American Mathematical Society , Prov- idence, RI, 2003

    work page 2003

  20. [20]

    A., C ¸ alı¸ sıcı H.Flows in graphs and the homology of free categories

    Husainov A. A., C ¸ alı¸ sıcı H.Flows in graphs and the homology of free categories. Algebra Discrete Math. 2003. Issue 2, P. 36-46. 30

    work page 2003

  21. [21]

    Husainov A. A. Homology and cohomology of cubical sets with coeffi- cients in systems of objects , Preprint, New York: Cornell University,

    work page

  22. [22]

    https://arxiv.org/abs/2207.07233

    work page arXiv

  23. [23]

    On Nontriviality of Certain Homotopy Groups of Spheres

    Ivanov O.I., Mikhailov R., Wu J. On Nontriviality of Certain Homotopy Groups of Spheres . Homology Homotopy Appl. 2016. V. 18, N 2, P.337- 344

    work page 2016

  24. [24]

    Kan D. M. A Combinatorial Definition of Homotopy Groups . Annals of Mathematics, Second Series. 1958. V. 67, N 2. P. 282-312

    work page 1958

  25. [25]

    Factorial Press

    Kuzmin Yu. V. Homological group theory . Moscow: “Factorial Press”, 2006 (Advanced Studies in Mathematics and Mechanics 1) (Russian)

    work page 2006

  26. [26]

    Categories for the Working Mathematician

    Mac Lane S. Categories for the Working Mathematician . New York- Heidelberg: Springer-Verlag, 1998 (Graduate Texts in Mathematic s 5)

    work page 1998

  27. [27]

    On homotopy groups of the suspended classifying spaces

    Mikhailov R., Wu J. On homotopy groups of the suspended classifying spaces. Algebraic and Geometric Topology. 2010. V. 10. P. 565-625

    work page 2010

  28. [28]

    Simplicial Methods for Operads and Algebraic Geometry

    Moerdijk I., To¨ en B.Simplicial presheaves as stacks . Simplicial Methods for Operads and Algebraic Geometry. Basel: Springer, 2010. P. 12 7-141

    work page 2010

  29. [29]

    Homotopical Algebra

    Quillen D. Homotopical Algebra . Berlin-Heidelberg: Springer-Verlag. (Lecture Notes in Mathematics V.43), 1967

    work page 1967

  30. [30]

    Spectral sequences of a double semi-simplicial group

    Quillen D.G. Spectral sequences of a double semi-simplicial group . Topol- ogy. 1966. V.5, N 2. P.155-157

    work page 1966

  31. [31]

    Quillen D. G. Higher algebraic K-theory: I . Bass H. (eds) Higher K- Theories. Berlin-Heidelberg: Springer-Verlag. (Lecture Notes in M athe- matics, V. 341). 1973. P. 85-147

    work page 1973

  32. [32]

    Homotopy groups of suspended classifying spaces: an experimental approach

    Romero A., Rubio J. Homotopy groups of suspended classifying spaces: an experimental approach . Mathematics of computation. 2013. V.82, N

    work page 2013

  33. [33]

    Swan R. G. Some Relations between Higher K-Functors . J. Algebra

    work page

  34. [34]

    Thomason R. W. Homotopy colimits in the category of small categories. Math. Proc. Camb. Phil. Soc. 1979. V. 85, N. 1. 91-109. 31

    work page 1979

  35. [35]

    Weibel C. A. An Introduction to Homological Algebra. Cambridge: Cam- bridge University Press, 1994

    work page 1994

  36. [36]

    Simplicial objects and homotopy groups

    Wu J. Simplicial objects and homotopy groups . Braids. Introductory Lectures on Braids, Configurations and their Applications. Hacken sack: World Scientific. 2010, P. 31-181

    work page 2010

  37. [37]

    https://mathoverflow.net/questions/180637/cohomology- of-symmetric- groups

    work page

  38. [38]

    https://math.stackexchange.com/questions/2296538/fu ndamental- group-of-the-sphere-with-two-points-identified 32

    work page arXiv