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

From MaRDI portal
Revision as of 23:35, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Mac Lane (co)homology of the second kind and Wieferich primes
scientific article

    Statements

    Mac Lane (co)homology of the second kind and Wieferich primes (English)
    0 references
    13 September 2016
    0 references
    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}\).
    0 references
    homology of rings
    0 references
    homology of algebras
    0 references
    Hochschild homology
    0 references
    MacLane homology and cohomology
    0 references
    Wieferich primes
    0 references
    critical points
    0 references
    spectral sequences
    0 references
    cubical construction
    0 references

    Identifiers