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

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.jalgebra.2016.07.018 / rank
Normal rank
 
Property / arXiv ID
 
Property / arXiv ID: 1506.00257 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5563439 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The cyclotomic trace and algebraic K-theory of spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Divided powers and Hochschild homology of complete intersections. (With an Appendix by Reinhold Hübl: The cyclic homology of hypersurfaces with isolated singularities) / rank
 
Normal rank
Property / cites work
 
Property / cites work: A search for Wieferich and Wilson primes / rank
 
Normal rank
Property / cites work
 
Property / cites work: DG quotients of DG categories. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cyclic Homology of Categories of Matrix Factorizations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopy finiteness of some DG categories from algebraic geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the groups \(H(\Pi,n)\). II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homology Theories for Multiplicative Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On The Homology Theory Of Abelian Groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards the MacLane cohomology of finite fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the MacLane cohomology for the ring of integers / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Hodge-type decomposition for commutative algebra cohomology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Differential Forms On Regular Affine Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cohomology of algebraic theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Taylor towers for functors of additive categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Wieferich past and future / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deriving DG categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5489372 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4367927 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Opérations sur l'homologie cyclique des algèbres commutatives. (Operations on the cyclic homology of commutative algebras) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topological Hochschild homology of number rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Smoothness of equivariant derived categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3252753 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On operations for hochschild homology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Kan extension and stable homology of Eilenberg-MacLane spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: MacLane homology and topological Hochschild homology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hochschild (co)homology of the second kind I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Wieferich's criterion and the abc-conjecture / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.JALGEBRA.2016.07.018 / rank
 
Normal rank

Latest revision as of 14:10, 9 December 2024

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
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers