Mac Lane (co)homology of the second kind and Wieferich primes (Q314240): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / review text
 
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}\).
Property / review text: 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}\). / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Ahmet A. Khusainov / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 18G40 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 18E40 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 13D03 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6626666 / rank
 
Normal rank
Property / zbMATH Keywords
 
homology of rings
Property / zbMATH Keywords: homology of rings / rank
 
Normal rank
Property / zbMATH Keywords
 
homology of algebras
Property / zbMATH Keywords: homology of algebras / rank
 
Normal rank
Property / zbMATH Keywords
 
Hochschild homology
Property / zbMATH Keywords: Hochschild homology / rank
 
Normal rank
Property / zbMATH Keywords
 
MacLane homology and cohomology
Property / zbMATH Keywords: MacLane homology and cohomology / rank
 
Normal rank
Property / zbMATH Keywords
 
Wieferich primes
Property / zbMATH Keywords: Wieferich primes / rank
 
Normal rank
Property / zbMATH Keywords
 
critical points
Property / zbMATH Keywords: critical points / rank
 
Normal rank
Property / zbMATH Keywords
 
spectral sequences
Property / zbMATH Keywords: spectral sequences / rank
 
Normal rank
Property / zbMATH Keywords
 
cubical construction
Property / zbMATH Keywords: cubical construction / rank
 
Normal rank

Revision as of 00:37, 28 June 2023

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