Pro unitality and pro excision in algebraic K-theory and cyclic homology

DOI10.1515/CRELLE-2015-0007MaRDI QIDQ1703668zbMATH OpenOpenAlexFDO

Authors Matthew Morrow

Publication date 7 March 2018

Published in Journal für die Reine und Angewandte Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1404.4179

zbMATH Keywords

algebraic \(K\)-theoryAndré-Quillen homologypro excisionpro unitality

Mathematics Subject Classification ID

Ext and Tor, generalizations, Künneth formula (category-theoretic aspects) (18G15) (K)-theory and homology; cyclic homology and cohomology (19D55)

Abstract: We study pro excision in algebraic K-theory, following Suslin--Wodzicki, Cuntz--Quillen, Corti~nas, and Geisser--Hesselholt, as well as Artin--Rees and continuity properties of Andr'e--Quillen, Hochschild, and cyclic homology. Our key tool is to first establish the equivalence of various pro Tor vanishing conditions which appear in the literature. Using this we prove that all ideals of commutative, Noetherian rings are pro unital in a certain sense, and show that such ideals satisfy pro excision in $K$-theory as well as in cyclic and topological cyclic homology. In addition, our techniques yield a strong form of the pro Hochschild--Kostant--Rosenberg theorem, an extension to general base rings of the Cuntz--Quillen excision theorem in periodic cyclic homology, and a generalisation of the Feu{i}gin--Tsygan theorem.

Review text

The author of the paper begins by proving the equivalence between various pro versions of the Tor vanishing condition. As a result he gets that any ideal of commutative noetherian ring is pro Tor unital using a lemma of André. Then he derives pro excision for algebraic \(K\)-theory using Geisser-Hesselholt's pro version of Suslin-Wodzicki's criterion. In general, algebraic \(K\)-theory does not satisfy excision. In this sense, the above result is satisfactory. Similar pro excision results for derived HH, derived HC, THH, and TC have also been proved. We note that Geisser-Hesselholt had proved pro excision for THH and TC but here the author of the paper gave a short proof with a generalisation. The author proves a pro version of the Hochschild-Kostant-Rogensberg (HKR) theorem, generalises a theorem Cuntz-Quillen about excision in periodic cyclic homology and also generalises a result of Feĭgin-Tsygan. In the final section, he proves pro excision for André-Quillen homology. To prove this, he first establishes Artin-Rees properties for André-Quillen homology using higher Jacobi-Zariski spectral sequences.

Recommendations

• Excision in cyclic homology and in rational algebraic K-theory
• The theorem of excision for Hochschild and cyclic homology
• scientific article; zbMATH DE number 434748
• Excision in algebraic \(K\)-theory
• scientific article; zbMATH DE number 1027916

Cites work

• \(K\)-theory of one-dimensional rings via pro-excision
• A case of the deformational Hodge conjecture via a pro Hochschild-Kostant-Rosenberg theorem
• A model structure on the category of pro-simplicial sets
• Additive K-theory and crystalline cohomology
• Algebra Extensions and Nonsingularity
• An Artin-Rees theorem in K-theory and applications to zero cycles
• Base Change Transitivity and Künneth Formulas for the Quillen Decomposition of Hochschild Homology.
• Bi-relative algebraic \(K\)-theory and topological cyclic homology
• Calculating limits and colimits in pro-categories
• Cohomologie des algèbres associatives
• Cyclic homology, derivations, and the free loopspace
• Deformation of algebraic cycle classes in characteristic zero
• Etale homotopy
• Excision in algebraic \(K\)-theory
• Excision in algebraic \(K\)-theory
• Excision in bivariant periodic cyclic cohomology
• Excision in bivariant periodic cyclic cohomology: A categorical approach
• Excision in cyclic homology and in rational algebraic K-theory
• General Néron desingularization
• General Néron desingularization and approximation
• Homotopical algebra
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• scientific article; zbMATH DE number 3445453 (Why is no real title available?)
• scientific article; zbMATH DE number 1405838 (Why is no real title available?)
• scientific article; zbMATH DE number 256210 (Why is no real title available?)
• scientific article; zbMATH DE number 3342119 (Why is no real title available?)
• scientific article; zbMATH DE number 3370554 (Why is no real title available?)
• Ideals generated by powers of elements
• Infinitesimal cohomology and the Chern character to negative cyclic homology
• Noncommutative Noetherian rings. With the cooperation of L. W. Small.
• On relative and bi-relative algebraic K-theory of rings of finite characteristic
• On the De Rham cohomology of algebraic varieties
• On the hochschild homology decompositions
• On the representation of hermitian forms as sums of squares
• The local structure of algebraic K-theory
• The obstruction to excision in \(K\)-theory and in cyclic homology
• Topological Hochschild homology of \(\mathbb{Z}/ p^n\)

Cited in

(21)

• Algebraic \(K\)-theory and descent for blow-ups
• Categorical Milnor squares and \(K\)-theory of algebraic stacks
• On the Beilinson fiber square
• K-theory of non-Archimedean rings. I
• The Witt vectors for Green functors
• On the K-theory of pullbacks
• A case of the deformational Hodge conjecture via a pro Hochschild-Kostant-Rosenberg theorem
• Reducedness of formally unramified algebras over fields
• Cdh descent, cdarc descent, and Milnor excision
• Milnor \(K\)-theory of \(p\)-adic rings
• scientific article; zbMATH DE number 434748 (Why is no real title available?)
• Excision in algebraic K-theory revisited
• 𝐾-theory and topological cyclic homology of henselian pairs
• CHERN CLASSES WITH MODULUS
• Analogues of Gersten's conjecture for singular schemes
• -THEORY OF MONOID ALGEBRAS AND A QUESTION OF GUBELADZE
• Excision, descent, and singularity in algebraic K-theory
• \(K\)-theory of one-dimensional rings via pro-excision
• K-THEORY OF NON-ARCHIMEDEAN RINGS II
• On pro-cdh descent on derived schemes
• L-smooth factorization for Noetherian F-finite rings

This page was built for publication: Pro unitality and pro excision in algebraic \(K\)-theory and cyclic homology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1703668)