Mac Lane (co)homology of the second kind and Wieferich primes (Q314240)

The paper is devoted to the homology and cohomology of associative rings. Following the ideas of A. Polishchuk and L. Positselski, the author of the paper under review has introduced MacLane homology of the second kind for an associative ring with a central element. He computed these invariants for finite localizations of global number rings with an element \(w\) and found the interesting relations with the Wieferich primes to the base \(w\). Here, a {global number ring} is a ring of integers in a number ring. The integer number \(p\) is a Wieferich prime to the the base \(w\not= 0\) if \(p\not|w\) and \(p^2|(w^{p-1}-1)\). A classical result in the homology and cohomology of associative rings was obtained by \textit{G. Hochschild} et al. [Trans. Am. Math. Soc. 102, 383--408 (1962; Zbl 0102.27701)]. Let \(B\) be a commutative algebra over a field \(k\) of characteristic \(0\) and let \(X=\mathrm{Spec} B\) be an affine variety. Then there are isomorphisms \(HH_n(B)\cong \Omega(X)\) and \(HH^n(B)=\Lambda^n T_X\) for all \(n\geq 0\). In the preprint [\textit{A. Efimov}, ``Cyclic homology of categories of matrix factorizations'', Preprint, \url{arXiv:1212.2859}], a similar result was obtained for the Hochschild homology of second kind. It was proved in [\textit{T. Pirashvili} and \textit{F. Waldhausen}, J. Pure Appl. Algebra 82, No. 1, 81--98 (1992; Zbl 0767.55010)] that topological Hochschild homology is naturally isomorphic to to the Mac Lane homology. This idea is used for the definition of the MacLane homology of the second kind. Let \(R\) be an associative ring. Denote by \(P(R)\) the additive category of finitely generated projective right \(R\)-modules. For any complex \(M\) of \(R\otimes R^{op}\)-modules and for any zentral element \(w\in R\) which is central for \(M\), MacLane homology of the second kind of \((R,w)\) with coefficients in \(M\) is defined by \(HML^{II}_{\bullet}(R,w;M)= HH^{II}_{\bullet}(\mathbb{Z}[P(R)], [w]; M)\). Here \(HH^{II}_{\bullet}\) is the Hochschild homology of second kind in the sense of \textit{A. Polishchuk} and \textit{L. Positselski} [Trans. Am. Math. Soc. 364, No. 10, 5311--5368 (2012; Zbl 1285.16005)]. Denote \(HML^{II}_{\bullet}(R,w)= HML^{II}_{\bullet}(R,w;R)\) and \(HML^{II,\bullet}(R,w)= HML^{II,\bullet}(R,w;R)\). Let \(S^{-1}A\) be a finite localization of a global number ring \(A\). The main result (Theorem 1.2) gives \(HML^{II,1}(S^{-1}A,w)=0\) for any \(w\in S^{-1}A\) and contains a formula for \(HML^{II,0}(S^{-1}A,w)\). It follows the following remarkable corollary: Corollary 1.3. Let \(w\not= 0\) be an integer. The following are equivalent: (i) there are infinitely many Wieferich primes \(p\) to the base \(w\); (ii) for any positive integer \(n\in \mathbb{Z}\) we have \(HML^{II,0}(\mathbb{Z}, w)\not\cong \mathbb{Q}\).