Bokstein homomorphism as a universal object
Abstract
We give a simple construction of the correspondence between square-zero extensions of a ring by an -bimodule and second MacLane cohomology classes of with coefficients in (the simplest non-trivial case of the construction is , , 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 -modules. We explain how to describe liftings of -modules and complexes of -modules to in terms of data purely over . We show that if is commutative, then commutative square-zero extensions correspond to multiplicative extensions of endofunctors. We then explore in detail one particular multiplicative non-additive endofunctor constructed from cyclic powers of a module over a commutative ring annihilated by a prime . In this case, is the second Witt vectors ring considered as a square-zero extension of by the Frobenius twist .
Cite
@article{arxiv.1510.06258,
title = {Bokstein homomorphism as a universal object},
author = {D. Kaledin},
journal= {arXiv preprint arXiv:1510.06258},
year = {2015}
}
Comments
LaTeX2e, 63 pages (updates references)