Mac Lane (co)homology of the second kind and Wieferich primes (Q314240): Difference between revisions
From MaRDI portal
Created a new Item |
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