pith. sign in

arxiv: 2508.00727 · v2 · pith:TD4NKN5Wnew · submitted 2025-08-01 · 🧮 math.CT · math.AT

Baues-Wirsching Cohomology and Svarc Genus in Small Categories

Isaac Carcac\'ia-Campos , Enrique Mac\'ias-Virg\'os , David Mosquera-Lois This is my paper

Pith reviewed 2026-05-22 00:25 UTC · model grok-4.3

classification 🧮 math.CT math.AT
keywords Baues-Wirsching cohomologySvarc genushomotopic sectional categorybifibrationsmall categoriescup productcohomology bounds
0
0 comments X

The pith

For bifibrations of small categories, the length of cup products in the kernel of an induced Baues-Wirsching cohomology map lower-bounds the homotopic sectional category.

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

The paper proves that for any bifibration between small categories, the nilpotency index of cup products lying in the kernel of the induced map on Baues-Wirsching cohomology supplies a lower bound on the homotopic sectional category. The bound holds when coefficients are taken in an arbitrary natural system. This moves classical Svarc-type inequalities from topology into the purely categorical world of small categories. The authors also equip the cohomology with a reduced cochain complex that makes the relevant computations feasible in practice.

Core claim

For a bifibration P between small categories, the length of the cup product in the kernel of the induced morphism in the Baues-Wirsching cohomology with coefficients in any natural system is a lower bound for the homotopic sectional category (also called Svarc genus). The results extend classical Svarc type inequalities to the categorical setting and introduce a computationally efficient method via a reduced cochain complex for Baues-Wirsching cohomology.

What carries the argument

The induced morphism in Baues-Wirsching cohomology together with the cup-product structure on its kernel, whose nilpotency index directly bounds the homotopic sectional category.

If this is right

  • The inequality recovers the classical topological Svarc bounds when the categories arise from spaces.
  • The bound is independent of the particular natural system chosen as coefficients.
  • The reduced cochain complex gives an explicit, finite way to compute or estimate the relevant cohomology groups and their cup products.

Where Pith is reading between the lines

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

  • The same kernel-and-cup-product technique may detect the non-existence of homotopy sections in combinatorial categories where geometric methods are unavailable.
  • Similar lower bounds might be obtainable from other cohomology theories defined on small categories once an induced morphism and cup product are available.
  • The method could be tested on concrete small categories such as posets or groupoids to produce new numerical examples of Svarc genus.

Load-bearing premise

A bifibration between small categories always induces a well-defined morphism in Baues-Wirsching cohomology for every choice of natural-system coefficients, so that the kernel and its cup products exist and can be used to produce the bound.

What would settle it

Find one explicit bifibration of small categories where the longest nonzero cup product in the kernel has length n yet the homotopic sectional category of the bifibration is strictly smaller than n.

read the original abstract

We prove that for a bifibration P between small categories, the lenght of the cup product in the kernel of the induced morphism in the Baues-Wirsching cohomology with coefficients in any natural system is a lower bound for the homotopic sectional category (also called Svarc genus). Our results extend classical Svarc type inequalties to the categorical setting and introduce a computationally efficient method via a reduced cochain complex for Baues-Wirching cohomology.

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

1 major / 2 minor

Summary. The manuscript proves that for a bifibration P between small categories, the length of the cup product in the kernel of the induced morphism in the Baues-Wirsching cohomology with coefficients in any natural system is a lower bound for the homotopic sectional category (also called Svarc genus). It extends classical Svarc-type inequalities to the categorical setting and introduces a reduced cochain complex for Baues-Wirsching cohomology.

Significance. If the central result holds, the work provides a cohomological lower bound for homotopic sectional category in the setting of small categories and bifibrations, extending classical topological inequalities. The reduced cochain complex is presented as a computationally efficient tool, which strengthens the contribution for practical computations in category theory.

major comments (1)
  1. [Proof of Theorem 3.1 (main result on the lower bound)] The central inequality requires that the bifibration P induces a multiplicative cochain map (or at least a ring homomorphism on cohomology) for arbitrary natural system coefficients D, so that the kernel is closed under cup products and the length is well-defined. The construction of the induced map via lifting properties must be verified to commute with cup-product operations on the cochain level for general D; natural systems lack the rigidity of constant coefficients, and this compatibility is not shown in the derivation of the main bound.
minor comments (2)
  1. [Abstract] Typo in the abstract: 'lenght' should read 'length'.
  2. [Section 2 (preliminaries on Baues-Wirsching cohomology)] The notation for the pullback of the natural system along P and the precise definition of the induced morphism in cohomology should be stated explicitly before the main theorem to aid readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the thorough review and for highlighting an important point regarding the multiplicativity of the induced map in the proof of our main result. We address the concern directly below and will revise the manuscript accordingly to strengthen the exposition.

read point-by-point responses

  1. Referee: [Proof of Theorem 3.1 (main result on the lower bound)] The central inequality requires that the bifibration P induces a multiplicative cochain map (or at least a ring homomorphism on cohomology) for arbitrary natural system coefficients D, so that the kernel is closed under cup products and the length is well-defined. The construction of the induced map via lifting properties must be verified to commute with cup-product operations on the cochain level for general D; natural systems lack the rigidity of constant coefficients, and this compatibility is not shown in the derivation of the main bound.

    Authors: We agree that an explicit verification of compatibility with cup products is necessary for general natural systems D to rigorously establish that the kernel is closed under the operation. The induced cochain map is constructed via the lifting properties of the bifibration P, which by definition preserve the relevant categorical compositions underlying the Baues-Wirsching cup product (defined via the natural system structure). This ensures the map is multiplicative on the cochain level. However, the manuscript presents this only implicitly through the functoriality of the construction. To address the referee's observation, we will add a dedicated lemma (with full proof) in the revised version explicitly verifying that the induced map commutes with cup products for arbitrary natural systems D, thereby confirming the kernel forms an ideal and the cup-product length is well-defined. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained against external benchmarks

full rationale

The paper states a direct proof extending classical Svarc-type inequalities to bifibrations between small categories, using the length of cup products in the kernel of an induced Baues-Wirsching cohomology morphism (for arbitrary natural system coefficients) as a lower bound on homotopic sectional category. No quoted step reduces the central inequality to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain; the construction of the induced cochain map and the cup-product structure on the cochain level are presented as independent mathematical content. The result is therefore not equivalent to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard definitions of bifibrations, natural systems, Baues-Wirsching cohomology, and cup products drawn from prior literature in algebraic topology and category theory; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Bifibrations between small categories induce morphisms in Baues-Wirsching cohomology with coefficients in any natural system
    This setup is required for the kernel and cup products to be defined and for the length bound to apply.
  • standard math Standard properties of cup products and kernels in the cohomology of small categories
    The proof relies on these algebraic structures behaving as in classical cohomology theories.

pith-pipeline@v0.9.0 · 5613 in / 1479 out tokens · 59053 ms · 2026-05-22T00:25:10.745703+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · 1 internal anchor

  1. [1]

    E. Balzin. Grothendieck fibrations and homotopical algebra. General Mathe- matics, 7 2016. Universit´ e Nice Sophia Antipolis

    work page 2016

  2. [2]

    J. A. Barmak and E. G. Minian. A note on coverings of posets, A-spaces and polyhedra. Homology Homotopy Appl. , 18(1):143–150, 2016. COHOMOLOGY AND ˇSVARC GENUS 27

    work page 2016

  3. [3]

    Algebraic homotopy, volume 15 of Camb

    H-J Baues. Algebraic homotopy, volume 15 of Camb. Stud. Adv. Math. Cam- bridge etc.: Cambridge University Press, 1989

    work page 1989

  4. [4]

    Dreckmann

    H-J Baues and W. Dreckmann. The cohomology of homotopy categories and the general linear group. K-theory, 3:307–338, 1989

    work page 1989

  5. [5]

    Wirsching

    H-J Baues and G. Wirsching. Cohomology of small categories. J. Pure Appl. Algebra, 38:187–211, 1985

    work page 1985

  6. [6]

    M. R. Bridson and A. Haefliger. Metric spaces of non-positive curvature , vol- ume 319 of Grundlehren Math. Wiss. Berlin: Springer, 1999

    work page 1999

  7. [7]

    A. M. Cegarra and J. Leech. The cohomology of monoids, volume 12 of RSME Springer Ser. Cham: Springer, 2024

    work page 2024

  8. [8]

    Cornea, G

    O. Cornea, G. Lupton, J. Oprea, and D. Tanr´ e. Lusternik-Schnirelmann cat- egory, volume 103 of Math. Surv. Monogr. Providence, RI: American Mathe- matical Society (AMS), 2003

    work page 2003

  9. [9]

    M. Farber. Topological complexity of motion planning. Discrete Comput. Geom., 29(2):211–221, 2003

    work page 2003

  10. [10]

    Combinatorial algebraic topology, volume 21 of Algorithms Comput

    D Kozlov. Combinatorial algebraic topology, volume 21 of Algorithms Comput. Math. Berlin: Springer, 2008

    work page 2008

  11. [11]

    Homotopy for functors

    M-J Lee. Homotopy for functors. Proc. Am. Math. Soc., 36:571–577, 1973

    work page 1973

  12. [12]

    Erratum to: Homotopy for functors

    M-J Lee. Erratum to: Homotopy for functors. Proc. Am. Math. Soc. , 42:648– 650, 1974

    work page 1974

  13. [13]

    Mac´ ıas-Virg´ os and D

    E. Mac´ ıas-Virg´ os and D. Mosquera-Lois. Homotopic distance between functors. J. Homotopy Relat. Struct. , 15(3-4):537–555, 2020

    work page 2020

  14. [14]

    R. Penner. Topology and K-theory. Lectures by Daniel Quillen. With a con- tribution by Mikhail Kapranov , volume 2262 of Lect. Notes Math. Cham: Springer, 2020

    work page 2020

  15. [15]

    Streicher

    T. Streicher. Fibered categories ` a la jean b´ enabou. arXiv:1801.02927, 2022

    work page arXiv 2022

  16. [16]

    K. Tanaka. Lusternik-Schnirelmann category for categories and classifying spaces. Topology Appl., 239:65–80, 2018

    work page 2018

  17. [17]

    W. K. van Woerkom. Algebraic models of type theory. Master’s thesis, Uni- versiteit van Amsterdam, 1992. MSc Thesis

    work page 1992

  18. [18]

    A. Vistoli. Notes on grothendieck topologies, fibered categories and descent theory. arxiv arXiv:math/0412512, 2007

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  19. [19]

    rod rassloennogo prostranstva

    A. S. ˇSvarc. “rod rassloennogo prostranstva” [the genus of a fibre space].Trudy Moskov Mat. Obˇ sˇ c., pages 99–126, 1962. (An English translation was published in Am. Math. Soc. Transl., Ser. 2 55. 1966.). Isaac Carcac´ıa, Departamento de Matem´aticas, Universidade de San- tiago de Compostela, 15782-SPAIN Email address : isaac.c.campos@usc.es E. Mac´ıas...

    work page 1962