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ën 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.

The First Syzygy of Hibi Rings Associated with Planar distributive lattices

Pseudo-Gorenstein and level Hibi rings

A note on the regularity of Hibi rings

The syzygy theorem for Bézout rings

The geometric realization of regular path complexes via (co-)homology

On the first non-trivial strand of syzygies of projective schemes and Condition ${\mathrm ND}(l)$

The Cohomology Ring of the Deligne-Mumford Moduli Space of Real Rational Curves with Conjugate Marked Points

Syzygies of canonical ribbons on higher genus curves

Syzygies of general projections of canonical and paracanonical curves

Structural properties of the lattice cohomology of curve singularities

The ring of projective invariants of eight points on the line via representation theory

Divisible design graphs from symplectic graphs over rings with precisely three ideals

Hall-Littlewood polynomials, affine Schubert series, and lattice enumeration

Syzygies of the residue field over Golod rings

Log-concavity and log-convexity via distributive lattices

On Decompositions of Matrices over Distributive Lattices

Ehrhart polynomials, Hecke series, and affine buildings

Interpolated Family of Non-Group-like Simple Integral Fusion Rings of Lie Type

Derived binomial rings I: integral Betti cohomology of log schemes

Logarithmic tautological rings of the moduli spaces of curves