Bokstein homomorphism as a universal object

TL;DR

This paper presents a universal construction linking square-zero extensions of rings with second MacLane cohomology, highlighting the Bokstein homomorphism and its relation to Witt vectors and Frobenius twists.

Contribution

It introduces a simple, universal approach to understanding square-zero extensions via MacLane cohomology and explores their relation to Witt vectors and multiplicative endofunctors.

Findings

Bokstein homomorphism as a universal object in ring extensions

Description of liftings of modules and complexes over extensions

Connection between multiplicative extensions and Witt vectors

Abstract

We give a simple construction of the correspondence between square-zero extensions $R'$ of a ring $R$ by an $R$-bimodule $M$ and second MacLane cohomology classes of $R$ with coefficients in $M$ (the simplest non-trivial case of the construction is $R=M=Z/p$, $R'=Z/p^2$, thus the Bokstein homomorphism of the title). Following Jibladze and Pirashvili, we treat MacLane cohomology as cohomology of non-additive endofunctors of the category of projective $R$-modules. We explain how to describe liftings of $R$-modules and complexes of $R$-modules to $R'$ in terms of data purely over $R$. We show that if $R$ is commutative, then commutative square-zero extensions $R'$ correspond to multiplicative extensions of endofunctors. We then explore in detail one particular multiplicative non-additive endofunctor constructed from cyclic powers of a module $V$ over a commutative ring $R$ annihilated by a prime $p$. In this case, $R'$ is the second Witt vectors ring $W_2(R)$ considered as a square-zero extension of $R$ by the Frobenius twist $R^{(1)}$.