pith. sign in

arxiv: 2401.14146 · v4 · submitted 2024-01-25 · 🧮 math.AT

Rational cohomology of toric diagrams

Grigory Solomadin This is my paper

Pith reviewed 2026-05-24 04:57 UTC · model grok-4.3

classification 🧮 math.AT
keywords toric diagramshomotopy colimitssheaf cohomologyCohen-MacaulaynessBetti numbersCW posetstorus actionsequivariantly formal spaces
0
0 comments X

The pith

For any torus-equivariant diagram over a CW poset the rational Cohen-Macaulay property of the homotopy colimit is equivalent to acyclicity of a certain sheaf.

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

The paper gives explicit descriptions of the rational Betti numbers of homotopy colimits of toric diagrams, and of the classifying spaces of those colimits, by reducing them to sheaf cohomology on the indexing CW poset. It proves that the T-action on the colimit is Cohen-Macaulay over the rationals if and only if the associated sheaf is acyclic. The same reduction supplies ordinary and bigraded Betti-number formulas for the skeletons of equivariantly formal spaces in this class, including compact smooth toric manifolds. A reader cares because the result converts a topological question about torus actions into a purely combinatorial sheaf-cohomology computation on a poset.

Core claim

For any T-diagram D over any CW poset the Cohen-Macaulayness over Q of the T-action on hocolim D is equivalent to acyclicity of a certain sheaf; the ordinary and bigraded rational Betti numbers of such colimits and their classifying spaces are thereby expressed in terms of sheaf cohomology, with explicit formulas for skeletons of equivariantly formal spaces and in particular for compact smooth toric manifolds.

What carries the argument

The sheaf on the CW poset whose acyclicity is equivalent to Cohen-Macaulayness of the T-action on the homotopy colimit of the T-diagram.

If this is right

  • Rational Betti numbers of hocolim D are given by the sheaf cohomology groups on the poset.
  • The same sheaf-cohomology groups compute the Betti numbers of the classifying space of the colimit.
  • Skeletons of equivariantly formal spaces in this class, including compact smooth toric manifolds, have explicit Betti-number formulas.
  • The equivalence supplies a combinatorial test for the Cohen-Macaulay property of the torus action.

Where Pith is reading between the lines

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

  • The method may extend to other coefficient rings if an analogous sheaf can be defined.
  • Similar sheaf reductions could apply to diagrams indexed by posets that are not CW but still admit a suitable cellular structure.
  • The formulas might be used to compute cohomology of quotients or fixed-point sets without constructing the full equivariant space.

Load-bearing premise

The diagrams must be torus-equivariant and indexed over CW posets, with all statements taken over the rationals.

What would settle it

A concrete T-diagram D over a CW poset such that the T-action on hocolim D is Cohen-Macaulay over Q yet the associated sheaf has nonzero cohomology, or conversely.

read the original abstract

In this note, (rational) Betti numbers of homotopy colimits for toric diagrams and their classifying spaces are described in terms of sheaf cohomology over CW posets. We prove for any $T$-diagram $D$ over any CW poset that Cohen-Macaulayness (over $\mathbb{Q}$) of the $T$-action on $hocolim\ D$ is equivalent to acyclicity for a certain sheaf. The ordinary and bigraded Betti numbers are computed for skeletons of equivariantly formal spaces from this class (in particular, of compact smooth toric manifolds).

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

2 major / 2 minor

Summary. The manuscript claims that rational Betti numbers of homotopy colimits of toric diagrams (and their classifying spaces) can be expressed via sheaf cohomology on CW posets. It proves that, for any T-diagram D over any CW poset, rational Cohen-Macaulayness of the T-action on hocolim D is equivalent to acyclicity of a certain sheaf; it also supplies explicit formulas for ordinary and bigraded Betti numbers of skeletons of equivariantly formal spaces in this class, with particular attention to compact smooth toric manifolds.

Significance. If the stated equivalence and formulas hold, the work supplies a concrete bridge between equivariant homotopy theory of toric diagrams and sheaf cohomology on posets, together with computable Betti-number expressions that apply directly to toric manifolds. The parameter-free character of the equivalence (conditioned only on the T-diagram and CW-poset hypotheses) and the explicit formulas constitute the main potential contribution.

major comments (2)
  1. [Main theorem (presumably §3)] The central equivalence is stated for arbitrary T-diagrams over arbitrary CW posets, yet the manuscript provides no explicit verification that the sheaf in question is well-defined or that its acyclicity is independent of choices of CW structure; this assumption is load-bearing for the claim in the abstract and must be checked in the proof of the main theorem.
  2. [Betti-number formulas (presumably §4)] The Betti-number formulas for skeletons of equivariantly formal spaces are derived from the equivalence; if the sheaf acyclicity step contains an unstated dependence on the torus rank or on the poset dimension, the formulas would not be parameter-free as asserted.
minor comments (2)
  1. [Introduction / §2] Notation for the T-diagram and the associated sheaf should be introduced with a dedicated definition block rather than inline.
  2. [Abstract] The abstract refers to 'a certain sheaf' without a forward reference; a parenthetical citation to its definition would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for identifying these points about the main theorem and derived formulas. We respond to each major comment below.

read point-by-point responses

  1. Referee: [Main theorem (presumably §3)] The central equivalence is stated for arbitrary T-diagrams over arbitrary CW posets, yet the manuscript provides no explicit verification that the sheaf in question is well-defined or that its acyclicity is independent of choices of CW structure; this assumption is load-bearing for the claim in the abstract and must be checked in the proof of the main theorem.

    Authors: The sheaf is constructed in §2 via the cellular cochain functor on the CW poset, and the equivalence in §3 is proved using a spectral sequence whose differentials and convergence are natural with respect to cellular maps. This naturality implies independence of the particular cell decomposition. Nevertheless, we agree that an explicit verification (e.g., invariance under subdivision) was not stated separately. We will insert a short lemma or remark in the revised version to record this independence explicitly. revision: yes

  2. Referee: [Betti-number formulas (presumably §4)] The Betti-number formulas for skeletons of equivariantly formal spaces are derived from the equivalence; if the sheaf acyclicity step contains an unstated dependence on the torus rank or on the poset dimension, the formulas would not be parameter-free as asserted.

    Authors: The acyclicity condition of the main theorem is stated solely in terms of the given T-diagram D and the CW poset; it contains no explicit or implicit dependence on torus rank or poset dimension. The Betti-number formulas of §4 are obtained by substituting the sheaf-cohomology groups furnished by the equivalence, so they inherit the same parameter-free character. No additional dependence arises in the derivation. revision: no

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states a theorem establishing an equivalence, for arbitrary T-diagrams over CW posets, between rational Cohen-Macaulayness of the T-action on hocolim D and acyclicity of a certain sheaf, together with explicit Betti-number formulas. These claims rest on standard constructions in equivariant homotopy theory and sheaf cohomology over posets; no step reduces a claimed prediction or uniqueness result to a fitted input, self-citation chain, or definitional tautology. The derivation is therefore self-contained against external mathematical benchmarks in algebraic topology.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the central claims rest on the existence of T-diagrams over CW posets and the definition of the relevant sheaf, none of which are detailed here.

pith-pipeline@v0.9.0 · 5610 in / 1188 out tokens · 20250 ms · 2026-05-24T04:57:26.135119+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

45 extracted references · 45 canonical work pages

  1. [1]

    Bousfield and D.M

    A.K. Bousfield and D.M. Kan,Homotopy limits, completions and localizations, Lect. Notes in Math., vol. 304, Springer-Verlag New York, 1972

    work page 1972

  2. [2]

    Bredon,Introduction to compact transformation groups, Pure and Applied Mathematics, vol

    G. Bredon,Introduction to compact transformation groups, Pure and Applied Mathematics, vol. 46, 1972

    work page 1972

  3. [3]

    Bruns and J

    W. Bruns and J. Herzog,Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, 1993

    work page 1993

  4. [4]

    Buchstaber and Taras E

    Victor M. Buchstaber and Taras E. Panov,Toric topology, Mathematical Surveys and Monographs, vol. 204, American Mathematical Society, Providence, RI, 2015

    work page 2015

  5. [5]

    Chacholski and J

    W. Chacholski and J. Scherer,Homotopy theory of diagrams, Memoirs of AMS, vol. 155(736), 2002

    work page 2002

  6. [6]

    J. M. Curry,Sheaves, cosheaves and applications, Thesis (Ph.D.), 2014

    work page 2014

  7. [7]

    McCleary,A user’s guide to spectral sequences, Cambridge studies in advanced mathematics, Cambrdige University Press, 2001

    J. McCleary,A user’s guide to spectral sequences, Cambridge studies in advanced mathematics, Cambrdige University Press, 2001

    work page 2001

  8. [8]

    Fulton,Introduction to toric varieties, Princeton Universtity Press, 1993

    W. Fulton,Introduction to toric varieties, Princeton Universtity Press, 1993

    work page 1993

  9. [9]

    P. G. Goerss and J. F. Jardine,Simplicial homotopy theory, Modern Birkh¨ auser Classics, Birkh¨ auser Basel- Boston-Berlin, 2009

    work page 2009

  10. [10]

    Jordan,Homology and cohomology of toric varieties, Dissertation, Universit¨ at Konstanz, 1998

    A. Jordan,Homology and cohomology of toric varieties, Dissertation, Universit¨ at Konstanz, 1998

    work page 1998

  11. [11]

    Weibel,An introduction to homological algebra, Cambridge University Press, 1997

    C.A. Weibel,An introduction to homological algebra, Cambridge University Press, 1997

    work page 1997

  12. [12]

    Ayzenberg,Locally standard torus actions and h′-numbers of simplicial posets, J

    A. Ayzenberg,Locally standard torus actions and h′-numbers of simplicial posets, J. Math. Soc. Japan68 (2016), no. 4, 1725–1745

    work page 2016

  13. [13]

    Sb.208(2017), no

    ,Locally standard torus actions and sheaves over Buchsbaum posets, Mat. Sb.208(2017), no. 9, 3–25

    work page 2017

  14. [14]

    Ayzenberg and M

    A. Ayzenberg and M. Masuda,Orbit spaces of equivariantly formal torus actions of complexity one, Transfor- mation Groups (2023)

    work page 2023

  15. [15]

    Bahri, S

    A. Bahri, S. Sarkar, and J. Song,On the integral cohomology ring of toric orbifolds and singular toric varieties, Algebr. Geom. Topol.17(2017), no. 6, 3779–3810

    work page 2017

  16. [16]

    Bj¨ orner,Posets, regular CW complexes and Bruhat order, Europ

    A. Bj¨ orner,Posets, regular CW complexes and Bruhat order, Europ. J. Combinatorics5(1984), 7–16

    work page 1984

  17. [17]

    Bj¨ orner and M

    A. Bj¨ orner and M. L. Wachs,Shellable nonpure complexes and posets. I., Trans. Amer. Math.348.4(1996), 1299–1327

    work page 1996

  18. [18]

    Bousfield,On the homology spectral sequence of a cosimplicial space, Amer

    A.K. Bousfield,On the homology spectral sequence of a cosimplicial space, Amer. J. Math.109(2)(1987), 361–394. 20 GRIGORY SOLOMADIN

    work page 1987

  19. [19]

    Chenal,A Poincar´ e-Lefschetz theorem for cellular cosheaves and an application to the tropical homology of orbifold toric varieties, Ann

    J. Chenal,A Poincar´ e-Lefschetz theorem for cellular cosheaves and an application to the tropical homology of orbifold toric varieties, Ann. Henri Lebesgue8(2025), 277–327

    work page 2025

  20. [20]

    Danilov,The geometry of toric varieties, Russian Math

    V.I. Danilov,The geometry of toric varieties, Russian Math. Surv.33(1978), no. 2, 97–154

    work page 1978

  21. [21]

    Davis and Tadeusz Januszkiewicz,Convex polytopes, Coxeter orbifolds and torus actions, Duke Math

    Michael W. Davis and Tadeusz Januszkiewicz,Convex polytopes, Coxeter orbifolds and torus actions, Duke Math. J.62(1991), no. 2, 417–451

    work page 1991

  22. [22]

    Dror Farjoun,Fundamental group of homotopy colimits, Adv

    E. Dror Farjoun,Fundamental group of homotopy colimits, Adv. Math.182(1)(2004), 1–27

    work page 2004

  23. [23]

    Dugger,A primer on homotopy colimits, preprint, available at https://people.math.rochester.edu/ faculty/doug/otherpapers/hocolim.pdf

    D. Dugger,A primer on homotopy colimits, preprint, available at https://people.math.rochester.edu/ faculty/doug/otherpapers/hocolim.pdf

    work page

  24. [24]

    Matthias Franz,Describing toric varieties and their equivariant cohomology, Colloquium Mathematicum121 (2010), 1–16

    work page 2010

  25. [25]

    ,The integral cohomology of toric manifolds, Trudy MIAN252(2006), 61–70

    work page 2006

  26. [26]

    4, 2109–2144, available atarXiv:1907.04791v4

    ,The cohomology rings of smooth toric varieties and quotients of moment-angle complexes, Geometry & Topology25(2021), no. 4, 2109–2144, available atarXiv:1907.04791v4

    work page arXiv 2021

  27. [27]

    Franz and V

    M. Franz and V. Puppe,Exact cohomology sequences with integral coefficients for torus actions, Transformation Groups12(2006), 65–76

    work page 2006

  28. [28]

    ,Exact sequences for equivariantly formal spaces, C. R. Math. Rep. Acad. Sci. Canada33(1)(2011), 1–10

    work page 2011

  29. [29]

    Xin Fu,Homotopy types of partial quotients for a certain case, Journal of Homotopy and Related Structures20 (2025), 105–123

    work page 2025

  30. [30]

    Goresky, R

    M. Goresky, R. Kottwitz, and R. MacPherson,Equivariant cohomology, Koszul duality, and the localization theorem, Invent. Math.131(1998), 25–83

    work page 1998

  31. [31]

    Goertsches and D

    O. Goertsches and D. Toeben,Torus actions whose equivariant cohomology is Cohen-Macaulay, J. Topol.3(4) (2010), 819–846

    work page 2010

  32. [32]

    4, 357–396

    Jelena Grbi´ c and Stephen Theriault,The homotopy type of the complement of a coordinate subspace arrangement, Topology46(2007), no. 4, 357–396

    work page 2007

  33. [33]

    Hambleton and J.-C

    I. Hambleton and J.-C. Hausmann,Equivariant bundles and isotropy groupoids, Groups Geom. Dyn.4(2010), 127–162

    work page 2010

  34. [34]

    Hattori and M

    A. Hattori and M. Masuda,Theory of multi-fans, Osaka J. Math.40(1)(2003), 1–68

    work page 2003

  35. [35]

    Kuribayashi,On F´ elix-Tanr´ e rational models for polyhedral products, Fundamenta Math.267(2024), 243–265

    K. Kuribayashi,On F´ elix-Tanr´ e rational models for polyhedral products, Fundamenta Math.267(2024), 243–265

    work page 2024

  36. [36]

    Lambrechts, V

    P. Lambrechts, V. Turchin, and I. Voli´ c,The rational homology of spaces of long knots in codimension > 2, Geom. & Topol.14(2010), 2151–2187

    work page 2010

  37. [37]

    Limonchenko and G

    Ivan Yu. Limonchenko and G. Solomadin,On the homotopy decomposition for the quotient of a moment-angle complex and its applications, Proceedings of the Steklov Institute of Mathematics317(2022), 117–140

    work page 2022

  38. [38]

    Masuda and T

    M. Masuda and T. Panov,On the cohomology of torus manifolds, Osaka J. Math.43(2006), 711–746

    work page 2006

  39. [39]

    McCrory,Zeeman’s filtration on homology, Trans

    C. McCrory,Zeeman’s filtration on homology, Trans. AMS250(1979), 147–166

    work page 1979

  40. [40]

    Notbohm and N

    D. Notbohm and N. Ray,On Davis–Januszkiewicz homotopy types I; formality and rationalisation., Algebr. Geom. Topol.5(2005), no. 1, 31–51

    work page 2005

  41. [41]

    Solomadin and A

    G. Solomadin and A. Touz´ e,On formality of diagrams of Eilenberg-MacLane spaces, To appear on ArXiv

    work page

  42. [42]

    Srnivasa Rao, J

    K. Srnivasa Rao, J. Van der Jeugt, R. Jagannathan, and V. Rajeswari,Group theoretical basis for the terminating 3F2(1)series, J. Phys. A Math. Gen.25(4)(1992), 861–876

    work page 1992

  43. [43]

    Totaro,Chow groups, Chow cohomology, and linear varieties, Forum of Mathematics, Sigma2014(2014), no

    B. Totaro,Chow groups, Chow cohomology, and linear varieties, Forum of Mathematics, Sigma2014(2014), no. 1, e1

    work page 2014

  44. [44]

    Yoshida,Local torus actions modeled on the standard representation, Adv

    T. Yoshida,Local torus actions modeled on the standard representation, Adv. Math.227(2011), 1914–1955

    work page 2011

  45. [45]

    ˇZivaljevi´ c,Homotopy colimits — comparison lemmas for combinatorial applications, J

    Volkmar Welker, G¨ unter Ziegler, and Rade T. ˇZivaljevi´ c,Homotopy colimits — comparison lemmas for combinatorial applications, J. Reine Angew. Math.509(1999), 117–149. (G. Solomadin)Philipps-Universit ¨at Marburg, Germany Email address:grigory.solomadin@gmail.com

    work page 1999