English

Bokstein homomorphism as a universal object

K-Theory and Homology 2015-10-23 v2 Algebraic Geometry

Abstract

We give a simple construction of the correspondence between square-zero extensions RR' of a ring RR by an RR-bimodule MM and second MacLane cohomology classes of RR with coefficients in MM (the simplest non-trivial case of the construction is R=M=Z/pR=M=Z/p, R=Z/p2R'=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 RR-modules. We explain how to describe liftings of RR-modules and complexes of RR-modules to RR' in terms of data purely over RR. We show that if RR is commutative, then commutative square-zero extensions RR' correspond to multiplicative extensions of endofunctors. We then explore in detail one particular multiplicative non-additive endofunctor constructed from cyclic powers of a module VV over a commutative ring RR annihilated by a prime pp. In this case, RR' is the second Witt vectors ring W2(R)W_2(R) considered as a square-zero extension of RR by the Frobenius twist R(1)R^{(1)}.

Keywords

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)

R2 v1 2026-06-22T11:25:35.669Z