Let $f:A \to B$ be a ring homomorphism of not necessarily unital rings and $I\triangleleft A$ an ideal which is mapped by f isomorphically to an ideal of B. The obstruction to excision in K-theory is the failure of the map between relative K-groups $K_*(A:I) \to K_*(B:f(I))$ to be an isomorphism; it is measured by the birelative groups $K_*(A,B:I)$. We show that these are rationally isomorphic to the corresponding birelative groups for cyclic homology up to a dimension shift. In the particular case when A and B are $\Q$-algebras we obtain an integral isomorphism.
In this paper we show that both variants of the Hopf cyclic homology has excision under some natural homological conditions on the objects and the coefficient module.
Assuming local one-sided units exist, I give an elementary proof of Wodzicki excision for cyclic homology. The proof is also constructive and provides an explicit inverse excision map. As far as I know, the latter is new.
We prove that continuous Hochschild and cyclic homology satisfy excision for extensions of nuclear H-unital Frechet algebras and use this to compute them for the algebra of Whitney functions on an arbitrary closed subset of a smooth manifold. Using a similar excision result for periodic cyclic homology, we also compute the periodic cyclic homology of algebras of smooth functions and Whitney functions on closed subsets of smooth manifolds.
We study pro excision in algebraic K-theory, following Suslin--Wodzicki, Cuntz--Quillen, Cortiñas, and Geisser--Hesselholt, as well as Artin--Rees and continuity properties of André--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…
Algebraic $K$-theory is a homology theory that behaves very well on sufficiently nice objects such as stable $C^*$-algebras or smooth algebraic varieties, and very badly in singular situations. This survey explains how to exploit this to detect singularity phenomena using $K$-theory and cyclic homology.
If A is a homotopy cartesian square of ring spectra satisfying connectivity hypotheses, then the cube induced by Goodwillie's integral cyclotomic trace from K(A) to TC(A) is homotopy cartesian. In other words, the homotopy fiber of the cyclotomic trace satisfies excision. The method of proof gives as a spin-off new proofs of some old results, as well as some new results, about periodic cyclic homology, and - more relevantly for our current application - the T-Tate spectrum of topological Hochschild homology, where T is the circle group
We prove that for an inclusion of unital associative but not necessarily commutative algebras $B\subseteq A$ we have long exact sequences in Hochschild homology and cyclic (co)homology akin to the Jacobi-Zariski sequence in André-Quillen homology, provided that the quotient $B$-bimodule $A/B$ is flat. We also prove that for an arbitrary r-flat morphism $f:B\to A$ with an H-unital kernel, one can express the Wodzicki excision sequence and the corresponding Jacobi-Zariski sequence in Hochschild homology and cyclic (co)homology as a single long exact sequence.
The Hochschild and (cotriple) cyclic homologies of crossed modules of (not-necessarily-unital) associative algebras are investigated. Wodzicki's excision theorem is extended for inclusion crossed modules in the category of crossed modules of algebras. The cyclic and cotriple cyclic homologies of crossed modules are compared in terms of long exact homology sequence, generalising the relative cyclic homology exact sequence.
We define and study equivariant periodic cyclic homology for locally compact groups. This can be viewed as a noncommutative generalization of equivariant de Rham cohomology. Although the construction resembles the Cuntz-Quillen approach to ordinary cyclic homology, a completely new feature in the equivariant setting is the fact that the basic ingredient in the theory is not a complex in the usual sense. As a consequence, in the equivariant context only the periodic cyclic theory can be defined in complete generality. Our definition recovers particular cases studied previously by various author…
We define equivariant periodic cyclic homology for bornological quantum groups. Generalizing corresponding results from the group case, we show that the theory is homotopy invariant, stable and satisfies excision in both variables. Along the way we prove Radfords formula for the antipode of a bornological quantum group. Moreover we discuss anti-Yetter-Drinfeld modules and establish an analogue of the Takesaki-Takai duality theorem in the setting of bornological quantum groups.
It has been shown by Nistor that given any extension of associative algebras over C, the connecting morphism in periodic cyclic homology is compatible, under the Chern-Connes character, with the index morphism in lower algebraic K-theory. The proof relies on the abstract properties of cyclic theory, essentially excision, which does not provide explicit formulas a priori. Avoiding the use of excision, we explain in this article how to get explicit formulas in a wide range of situations. The method is connected to the renormalization procedure introduced in our previous work on the bivariant Che…
Let $V$ be a complete discrete valuation ring with fraction field $F$ of characteristic zero and with residue field $\mathbb{F}$. We introduce analytic cyclic homology of complete torsion-free bornological algebras over $V$. We prove that it is homotopy invariant, stable, invariant under certain nilpotent extensions, and satisfies excision. We use these properties to compute it for tensor products with dagger completions of Leavitt path algebras. If $R$ is a smooth commutative $V$-algebra of relative dimension $1$, then we identify its analytic cyclic homology with Berthelot's rigid cohomology…
We show in this work that homology in degree d of a congruence group, in a very general framework, defines a weakly polynomial functor of degree at most 2d and we describe this functor modulo polynomial functors of smaller degree. Our main tool is a spectral sequence connecting homology of congruence-like groups (in a formal setting close to the one introduced with Vespa in 2010 for orthogonal groups) and functor homology. We prove and use in a crucial way properties of some tensor structures and derived Kan extensions on polynomial functors.Our results extend especially, with different method…
We answer in the affirmative two conjectures made by Klein and Williams. First, in a range of dimensions, the equivariant Reidemeister trace defines a complete obstruction to removing $n$-periodic points from a self-map $f$. Second, this obstruction defines a class in topological restriction homology. We prove these results using duality and trace for bicategories. This allows for immediate generalizations, including a corresponding theorem for the fiberwise Reidemeister trace.
Using an idea due to R.Thomason, we define a "homology theory" on the category of rings which satisfies excision, exactness, homotopy (in the algebraic sense) and periodicity of order 4. For regular noetherian rings, we find P. Balmer's higher Witt groups. For more general rings, this homology isomorphic to the KT-theory of J. Hornbostel, inspired by the work of B. Williams. For real or complex C*-algebras, we recover - up to 2 torsion - topological K-theory.
We prove that the tangent complex of K-theory, in terms of (abelian) deformation problems over a characteristic 0 field k, is cyclic homology (over k). This equivalence is compatible with the $λ$-operations. In particular, the relative algebraic K-theory functor fully determines the absolute cyclic homology over any field k of characteristic 0. We also show that the Loday-Quillen-Tsygan generalized trace comes as the tangent morphism of the canonical map $BGL_\infty \to K$. The proof builds on results of Goodwillie, using Wodzicki's excision for cyclic homology and formal deformation theory à …
To any pullback square of ring spectra we associate a new ring spectrum and use it to describe the failure of excision in algebraic $K$-theory. The construction of this new ring spectrum is categorical and hence allows to determine the failure of excision for any localizing invariant in place of $K$-theory. As immediate consequences we obtain an improved version of Suslin's excision result in $K$-theory, generalizations of results of Geisser and Hesselholt on torsion in (bi)relative $K$-groups, and a generalized version of pro-excision for $K$-theory. Furthermore, we show that any truncating i…
We prove homology stability for elementary and special linear groups over rings with many units improving known stability ranges. Our result implies stability for unstable Quillen K-groups and proves a conjecture of Bass. For commutative local rings with infinite residue fields, we show that the obstruction to further stability is given by Milnor-Witt K-theory. As an application we construct Euler classes of projective modules with values in the cohomology of the Milnor Witt K-theory sheaf. For d-dimensional commutative noetherian rings with infinite residue fields we show that the vanishing o…
Using Chern character, we construct a natural transformation from the local Hilbert functor to a functor of Artin rings defined from Hochschild homology, which allows us to reconstruct the semi-regularity map and the infinitesimal Abel-Jacobi map. Combining that construction of the semi-regularity map with obstruction theory of functors of Artin rings, we give a different proof of a theorem of Bloch stating that the semi-regularity map annihilates certain obstructions to embedded deformations of a closed subvariety which is a locally complete intersection.
Given a connected manifold with corners of any codimension there is a very basic and computable homology theory called conormal homology defined in terms of faces and orientations of their conormal bundles, and whose cycles correspond geometrically to corner's cycles. Our main theorem is that, for any manifold with corners $X$ of any codimension, there is a natural and explicit morphism $$K_*(\mathcal{K}_b(X)) \stackrel{T}{\longrightarrow} H^{pcn}_*(X,\mathbb{Q})$$ between the $K-$theory group of the algebra $\mathcal{K}_b(X)$ of $b$-compact operators for $X$ and the periodic conormal homology…
For every connected manifold with corners we use a homology theory called conormal homology, defined in terms of faces and incidences and whose cycles correspond geometrically to corner's cycles. Its Euler characteristic (over the rationals, dimension of the total even space minus the dimension of the total odd space), $χ_{cn}:=χ_0-χ_1$, is given by the alternated sum of the number of (open) faces of a given codimension. The main result of the present paper is that for a compact connected manifold with corners $X$ given as a finite product of manifolds with corners of codimension less or equal…
