pith. sign in

arxiv: 2308.01110 · v2 · submitted 2023-08-02 · 🧮 math.AG · math.AT· math.KT

Derived binomial rings I: integral Betti cohomology of log schemes

Dmitry Kubrak , Georgii Shuklin , Alexander Zakharov This is my paper

Pith reviewed 2026-05-24 07:13 UTC · model grok-4.3

classification 🧮 math.AG math.ATmath.KT
keywords derived binomial ringslog schemesKato-Nakayama spacesingular cohomologyintegral coefficientsexponential complexfs log analytic spacesBetti cohomology
0
0 comments X

The pith

Singular cohomology of fs log analytic spaces is the free coaugmented derived binomial ring on the exponential complex O_X to M^gr.

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

The paper defines a derived binomial monad on the category of chain complexes of integers that acts on singular cohomology. It computes the free objects on groups placed in a single degree and uses this to show that singular cohomology embeds the category of connected nilpotent finite-type spaces fully faithfully into derived binomial rings. For an fs log complex analytic space, the pushforward of the constant integer sheaf along the map from the Kato-Nakayama space is identified with the free coaugmented derived binomial ring generated by the two-term complex given by the structure sheaf mapping to the graded sheaf of the log structure. This supplies an explicit integral-coefficient formula that extends earlier results on the cohomology of such spaces.

Core claim

The authors construct the derived binomial monad LBin on the unbounded derived category of Z-modules, compute its free objects on single-degree inputs, and prove that for an fs log complex analytic space (X, M) the object Rπ_* Z equals the free coaugmented LBin-object on the exponential complex O_X → M^gr, where π : X^log → X is the Kato-Nakayama map. This yields a closed formula for the singular cohomology of (X, M) with Z coefficients.

What carries the argument

The derived binomial monad LBin, a monad on chain complexes of integers whose free objects on single-degree groups are identified with singular chains on Eilenberg-MacLane spaces and which is sheafified to produce the stated identification for log spaces.

If this is right

  • Singular cohomology induces a fully faithful embedding of connected nilpotent finite-type spaces into derived binomial rings.
  • The singular chain complex of the Eilenberg-MacLane space K(Z, n) equals the free derived binomial ring on Z placed in degree -n.
  • The binomial monad sheafifies to an operation LBin_X on sheaves of chain complexes over a suitable base space X.
  • The formula extends Steenbrink's description of the cohomology of log spaces from rational to integral coefficients.

Where Pith is reading between the lines

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

  • The same binomial construction could be tested on other classes of spaces whose cohomology is known to carry additional algebraic structure, such as certain stratified or singular varieties.
  • One could ask whether the binomial monad interacts with other classical monads in a way that produces new spectral sequences for computing integral cohomology.
  • The explicit free-object calculations might be reusable as a computational tool for cohomology of spaces presented by simplicial or cell data.

Load-bearing premise

The binomial monad lifts to all chain complexes of integers, its free objects on single-degree groups can be computed explicitly, and singular cohomology embeds the relevant spaces fully faithfully into the resulting rings.

What would settle it

Compute the singular cohomology ring of a concrete fs log analytic space such as the complement of a smooth divisor in a smooth projective variety and check whether it equals the explicitly constructed free derived binomial ring on its exponential complex.

read the original abstract

We introduce and study a derived version $\mathbf L\mathrm{Bin}$ of the binomial monad on the unbounded derived category $\mathscr D(\mathbb Z)$ of $\mathbb Z$-modules. This monad acts naturally on singular cohomology of any topological space, and does so more efficiently than the more classical monad $\mathbf L\mathrm{Sym}_{\mathbb Z}$. We compute all free derived binomial rings on abelian groups concentrated in a single degree, in particular identifying $C_*^{\mathrm{sing}}(K(\mathbb Z,n),\mathbb Z)$ with $\mathbf L\mathrm{Bin}(\mathbb Z[-n])$ via a different argument than in works of To\"en and Horel. Using this we show that the singular cohomology functor $C_*^{\mathrm{sing}}(-,\mathbb Z)$ induces a fully faithful embedding of the category of connected nilpotent spaces of finite type to the category of derived binomial rings. We then also define a version $\mathbf L \mathcal Bin_X$ of the derived binomial monad on the $\infty$-category of $\mathscr D(\mathbb Z)$-valued sheaves on a sufficiently nice topological space $X$. As an application we give a closed formula for the singular cohomology of an fs log complex analytic space $(X,\mathcal M)$: namely we identify the pushforward $R\pi_*\underline{\mathbb Z}$ for the corresponding Kato-Nakayama space $\pi\colon X^{\mathrm{log}}\rightarrow X$ with the free coaugmented derived binomial ring on the 2-term exponential complex $\mathcal O_X\rightarrow \mathcal M^{\mathrm{gr}}$. This gives an extension of Steenbrink's formula and its generalization by the second author to $\mathbb Z$-coefficients.

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 paper introduces the derived binomial monad LBin on the unbounded derived category D(Z) of Z-modules. It computes all free derived binomial rings on abelian groups concentrated in a single degree, identifying C_sing_*(K(Z,n),Z) with LBin(Z[-n]) via an argument distinct from Toën-Horel. It proves that singular cohomology induces a fully faithful embedding of connected nilpotent finite-type spaces into derived binomial rings. It extends LBin to D(Z)-sheaves on a nice space X and, as an application to fs log complex analytic spaces (X,M), identifies Rπ_* underline{Z} for the Kato-Nakayama space π: X^log → X with the free coaugmented derived binomial ring on the 2-term exponential complex O_X → M^gr, extending Steenbrink's formula to Z-coefficients.

Significance. If the central identifications and monad constructions hold, the work supplies an algebraic model for integral singular cohomology via a new monad that acts more efficiently than LSym_Z, together with explicit free-object computations and a fully faithful embedding result. The log-scheme application yields a closed formula for integral Betti cohomology of Kato-Nakayama spaces, extending prior work to Z-coefficients and potentially enabling new computations in log geometry.

major comments (2)
  1. [Abstract (claims on LBin and free objects); application paragraph] The definition and well-definedness of the monad LBin on the full unbounded derived category D(Z) (and its extension to D(Z)-sheaves) is load-bearing for the central identification Rπ_* Z ≃ free coaugmented LBin_X(O_X → M^gr). The abstract states that free objects are computed only for single-degree abelian groups and invokes a different argument from Toën-Horel; without explicit verification that LBin preserves the required colimits in the unbounded setting or that the universal property applies directly to the non-single-degree 2-term complex, the identification with singular cohomology in all degrees remains unverified.
  2. [Abstract (embedding statement)] The fully faithful embedding of connected nilpotent spaces of finite type into derived binomial rings relies on the explicit computation of free objects and the monad action on singular cohomology. If the monad is only shown to be well-defined under additional boundedness or connectivity hypotheses not stated in the abstract, this embedding (and therefore the log-scheme formula) would require re-examination.
minor comments (2)
  1. Notation for the sheafified monad LBin_X versus the global LBin should be clarified to avoid confusion between the monad on D(Z) and its sheaf version.
  2. The abstract mentions 'sufficiently nice topological space X' for the sheaf extension; the precise hypotheses on X should be stated explicitly in the main text.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for raising these foundational points about the monad construction and its consequences. We address each major comment directly below, with references to the relevant sections of the manuscript.

read point-by-point responses

  1. Referee: [Abstract (claims on LBin and free objects); application paragraph] The definition and well-definedness of the monad LBin on the full unbounded derived category D(Z) (and its extension to D(Z)-sheaves) is load-bearing for the central identification Rπ_* Z ≃ free coaugmented LBin_X(O_X → M^gr). The abstract states that free objects are computed only for single-degree abelian groups and invokes a different argument from Toën-Horel; without explicit verification that LBin preserves the required colimits in the unbounded setting or that the universal property applies directly to the non-single-degree 2-term complex, the identification with singular cohomology in all degrees remains unverified.

    Authors: The monad LBin is defined on the full unbounded derived category D(Z) in Section 2 via the left-derived extension of the binomial ring functor; the monad axioms, including colimit preservation, are verified there without boundedness or connectivity restrictions. The explicit identification of free objects is restricted to single-degree groups (Section 3) because that suffices for the embedding theorem (Section 4). The central identification for the log-scheme application (Section 5) uses the universal property of the free coaugmented derived binomial ring, which applies to any object of D(Z), including the 2-term exponential complex; this is justified directly from the monad definition and does not rely on the single-degree computations. The sheafified version LBin_X is constructed analogously in Section 4.2. revision: no

  2. Referee: [Abstract (embedding statement)] The fully faithful embedding of connected nilpotent spaces of finite type into derived binomial rings relies on the explicit computation of free objects and the monad action on singular cohomology. If the monad is only shown to be well-defined under additional boundedness or connectivity hypotheses not stated in the abstract, this embedding (and therefore the log-scheme formula) would require re-examination.

    Authors: The embedding (Section 4) is proved using the single-degree free-object computations together with the Postnikov tower decomposition of connected nilpotent finite-type spaces; the monad action on singular cohomology is verified in the same section. The monad itself is constructed and shown to satisfy the required properties on the entire unbounded category in Section 2, with no additional hypotheses. The log-scheme formula (Section 5) is logically independent of the embedding result and proceeds from the sheaf monad applied to the exponential complex via its universal property. revision: no

Circularity Check

0 steps flagged

Derivation of derived binomial rings and log scheme cohomology is self-contained with no circular reductions

full rationale

The paper defines the new monad LBin on unbounded D(Z), computes its free objects on single-degree abelian groups via an explicit argument distinct from the Toën-Horel citation, proves the fully faithful embedding of nilpotent spaces, extends the monad to D(Z)-sheaves on a space X, and derives the identification Rπ_* Z ≃ free coaugmented LBin_X(O_X → M^gr) as a direct application. The reference to extending a prior generalization by the second author is contextual only and does not serve as a load-bearing premise or reduce any equation to a self-citation or fitted input; the central claims introduce independent structure without self-definitional collapse or renaming of known results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The central claims rest on the definition of a new monad and on standard background facts from derived category theory and log geometry; no numerical free parameters appear.

axioms (2)
  • domain assumption The unbounded derived category D(Z) of Z-modules admits a monad LBin with the stated action on singular cohomology
    Invoked when defining the monad and its efficiency relative to LSym_Z.
  • domain assumption fs log complex analytic spaces admit a Kato-Nakayama space whose pushforward of constant sheaves can be identified with a free derived binomial ring
    Required for the closed formula in the application section.
invented entities (2)
  • Derived binomial monad LBin no independent evidence
    purpose: To act more efficiently on singular cohomology than the symmetric monad and to organize free objects on single-degree groups
    Newly defined structure whose properties are computed in the paper; no independent evidence supplied outside the construction.
  • Free coaugmented derived binomial ring on the exponential complex no independent evidence
    purpose: To serve as the explicit model for Rπ_* Z on the Kato-Nakayama space
    Postulated as the output of the free construction; independent evidence would require external verification of the identification.

pith-pipeline@v0.9.0 · 5854 in / 1685 out tokens · 37569 ms · 2026-05-24T07:13:11.733083+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

10 extracted references · 10 canonical work pages

  1. [1]

    Monodromy and log geometry

    [AO19] P. Achinger and A. Ogus. “Monodromy and log geometry”. In:Tunisian Journal of Mathe- matics 2.3 (2019), pp. 455–534. [AHI23] T. Annala, M. Hoyois, and R. Iwasa. “Algebraic cobordism and a Conner-Floyd isomorphism for algebraic K-theory”. In:arXiv (2023). eprint:https://arxiv.org/pdf/2303.02051.pdf. [BGMN21] C. Barwick, S. Glasman, A. Mathew, and T....

    work page arXiv 2019

  2. [2]

    The Pro-étale topology for schemes

    [BS13] B. Bhatt and P. Scholze. “The Pro-étale topology for schemes”. In:Astérisque 2015 (2013). [BM19] L. Brantner and A. Mathew. “Deformation theory and partition Lie algebras”. In: arXiv (2019). eprint: https://arxiv.org/pdf/1904.07352.pdf. [CS19] K. Cesnavicius and P. Scholze. “Purity for flat cohomology”. In:arXiv (2019). eprint:https: //arxiv.org/pd...

    work page arXiv 2015

  3. [3]

    Relèvementsmodulo p2 etdécompositiondu complexedede Rham

    [DI87] P.Deligne andL.Illusie.“Relèvementsmodulo p2 etdécompositiondu complexedede Rham”. In: Inventiones mathematicae89 (1987), pp. 247–270.url: http://eudml.org/doc/143480. [DI04] D. Dugger and D. C. Isaksen. “Topological hypercovers and 1-realizations”. In:Mathematische Zeitschrift 246 (2004), pp. 667–689. 25To our knowledge this is a part of work in p...

    work page 1987

  4. [4]

    [Hal57] P. Hall. The Edmonton Notes on Nilpotent Groups. Nilpotent Groups: Notes of Lectures Given at the Canadian Mathematical Congress Summer Seminar (University of Alberta, 12- 30 August 1957). Queen Mary College,

    work page 1957

  5. [5]

    Triangulation of subanalytic sets and proper light subanalytic maps

    [Har76] R. M. Hardt. “Triangulation of subanalytic sets and proper light subanalytic maps”. In:In- ventiones mathematicae38.3 (1976), pp. 207–217. [Hol23] A. Holeman. “Derived delta-Rings and Relative Prismatic Cohomology”. In:arXiv (2023). eprint: https://arxiv.org/pdf/2303.17447.pdf. [Hor22] G. Horel. “Binomial rings and homotopy theory”. In:arXiv (2022...

    work page arXiv 1976

  6. [6]

    [Man22] Lucas Mann

    [JM99] B. Johnson and R. McCarthy. “Taylor towers for functors of additive categories”. In:Journal of Pure and Applied Algebra137.3 (1999), pp. 253–284. [KN99] K. Kato and C. Nakayama. “Log Betti cohomology, log étale cohomology, and log de Rham cohomology of log schemes overC”. In:Kodai Mathematical Journal22.2 (1999), pp. 161–186. [KP21] D. Kubrak and A...

    work page arXiv 1999

  7. [7]

    Elliptic cohomology I: Spectral abelian varieties

    eprint: http://www.math.ias.edu/~lurie/ papers/SAG-rootfile.pdf. [Lur17b] J. A. Lurie. “Elliptic cohomology I: Spectral abelian varieties”. In:https: // www. math. ias. edu/ ~lurie/ papers/ Elliptic-I. pdf (2017). [Man06] M. A. Mandell. “Cochains and homotopy type”. In:Publications Mathématiques de l’Institut des Hautes Études Scientifiques103.1 (2006), p...

    work page 2017

  8. [8]

    Polynomial maps on groups

    [Pas68] I. B. S. Passi. “Polynomial maps on groups”. In:Journal of Algebra9.2 (1968), pp. 121–151. [PS08] C. A. Peters and J. H. Steenbrink. Mixed Hodge structures. Vol

    work page 1968

  9. [9]

    [SAG] Jacob Lurie

    [Pól15] G. Pólya. “Über ganzwertige ganze Funktionen”. In: Rendiconti del Circolo Matematico di Palermo (1884-1940)40.1 (1915), pp. 1–16. 60 [Rak20] A. Raksit. “Hochschild homology and the derived de Rham complex revisited”. In: arXiv (2020). eprint: https://arxiv.org/pdf/2007.02576.pdf. [Shu22] G. Shuklin. “A Voevodsky motive associated to a log scheme”....

    work page arXiv 1940

  10. [10]

    Lambda-rings, binomial domains, and vector bundles over CP(∞)

    [Wil82] C. Wilkerson. “Lambda-rings, binomial domains, and vector bundles over CP(∞)”. In:Com- munications in Algebra10.3 (1982), pp. 311–328. [Yua23] A. Yuan. “Integral models for spaces via the higher Frobenius”. In:Journal of the American Mathematical Society36.1 (2023), pp. 107–175. Dmitry Kubrak, IHES, Bures-sur-Yvette, France , dmkubrak@gmail.com Ge...

    work page 1982