Elsevier

Advances in Mathematics

Volume 324, 14 January 2018, Pages 267-325
Advances in Mathematics

Bokstein homomorphism as a universal object

To Dima Kazhdan, for his 70th birthday
https://doi.org/10.1016/j.aim.2017.11.015Get rights and content
Under an Elsevier user license
open archive

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/p2, 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 W2(R) considered as a square-zero extension of R by the Frobenius twist R(1).

Keywords

Bokstein homomorphism
Deformation theory

Cited by (0)

1

Partially supported by the Russian Academic Excellence Project ‘5-100’ and by the Program of the Presidium of the Russian Academy of Sciences N01 “Fundamental Mathematics and its Applications” under grant PRAS-18-01.