We study a noncommutative version of the infinitesimal site of Grothendieck. A theorem of Grothendieck establishes that the cohomology of the structure sheaf on the infinitesimal topology of a scheme of characteristic zero is de Rham cohomology. We prove that, for the noncommutative infinitesimal topology of an associative algebra over a field of characteristic zero, the cohomology of the structure sheaf modulo commutators is periodic cyclic cohomology. We also compute the noncommutative infinitesimal cohomology of other sheaves. For example we show that hypercohomology with coefficients in $K$-theory gives the fiber of the Jones-Goodwillie character which goes from $K$-theory to negative cyclic homology.
Paschke duality identifies the K-homology of a space X with the K-theory of a certain dual C*-algebra. We show that Paschke's dual algebra is in a natural way the algebra of sections of a certain sheaf of C*-algebras over X, which can be thought of as a sheaf of noncommutative symbols. This conceptually simplifies a number of constructions in K-homology, such as the association of a homology class to an elliptic operator and the construction of assembly maps.
We present an approach to cyclic homology of A_{\infty} algebras. Our main technical tool is the concept of X-complex due to Cuntz and Quillen. This, in particular, enables us to compute the periodic cyclic homology of an A_{\infty} algebra in terms of the periodic cyclic homology of its homology.
We define the Hochschild and cyclic (co)homology groups for superadditive categories and show that these (co)homology groups are graded Morita invariants. We also show that the Hochschild and cyclic homology are compatible with the tensor product of superadditive categories.
Let H be a Hopf algebra. By definition a modular crossed H-module is a vector space M on which H acts and coacts in a compatible way. To every modular crossed H-module M we associate a cyclic object Z(H,M). The cyclic homology of Z(H,M) extends the usual cyclic homology of the algebra structure of H, and the relative cyclic homology of an H-Galois extension. For a Hopf subalgebra K we compute, under some assumptions, the cyclic homology of an induced modular crossed module. As a direct application of this computation, we describe the relative cyclic homology of strongly graded algebras. In par…
We study the Hochschild homology of the convolution algebra of a proper Lie groupoid by introducing a convolution sheaf over the space of orbits. We develop a localization result for the associated Hochschild homology sheaf, and prove that the Hochschild homology sheaf at each stalk is quasi-isomorphic to the stalk at the origin of the Hochschild homology of the convolution algebra of its linearization, which is the transformation groupoid of a linear action of a compact isotropy group on a vector space. We then explain Brylinski's ansatz to compute the Hochschild homology of the transformatio…
We define Getzler's Gauss-Manin connection in cyclic homology at the level of chains and outline some relations of this construction to noncommutative calculus.
Based on the ideas of Cuntz and Quillen, we give a simple construction of cyclic homology of unital algebras in terms of the noncommutative de Rham complex and a certain differential similar to the equivariant de Rham differential. We describe the Connes exact sequence in this setting. We define equivariant Deligne cohomology and construct, for each n > 0, a natural map from cyclic homology of an algebra to the GL_n-equivariant Deligne cohomology of the variety of n-dimensional representations of that algebra. The bridge between cyclic homology and equivariant Deligne cohomology is provided by…
A classical result of Loday-Quillen and Tsygan states that the Lie algebra homology of the algebra of stable matrices over an associative algebra is isomorphic, as a Hopf algebra, to the exterior algebra of the cyclic homology of the algebra. In this paper we develop the necessary tools needed to extend extend this result to the category of L_{\infty} algebras.
Following an old suggestion of M. Kontsevich, and inspired by recent work of A. Beilinson and B. Bhatt, we introduce a new version of periodic cyclic homology for DG agebras and DG categories. We call it co-periodic cyclic homology. It is always torsion, so that it vanishes in char 0. However, we show that co-periodic cyclic homology is derived-Morita invariant, and that it coincides with the usual periodic cyclic homology for smooth cohomologically bounded DG algebras over a torsion ring. For DG categories over a field of odd positive characteristic, we also establish a non-commutative genera…
We prove that the cyclic homology of a scheme with an ample line bundle coincides with the cyclic homology of its category of algebraic vector bundles. As a byproduct of the proof, we obtain a new construction of the Chern character of a perfect complex on a ringed space.
We view the space of cotraces in the structural coalgebra of a principal coaction as a noncommutative counterpart of the classical Cartan model. Then we define the cyclic-homology Chern-Weil homomorphism by extending the Chern-Galois character from the characters of finite-dimensional comodules to arbitrary cotraces. To reduce the cyclic-homology Chern-Weil homomorphism to a tautological natural transformation, we replace the unital coaction-invariant subalgebra by its certain natural H-unital nilpotent extension (row extension), and prove that their cyclic-homology groups are isomorphic. In t…
This note discusses the cyclic cohomology of a left Hopf algebroid ($\times_A$-Hopf algebra) with coefficients in a right module-left comodule, defined using a straightforward generalisation of the original operators given by Connes and Moscovici for Hopf algebras. Lie-Rinehart homology is a special case of this theory. A generalisation of cyclic duality that makes sense for arbitrary para-cyclic objects yields a dual homology theory. The twisted cyclic homology of an associative algebra provides an example of this dual theory that uses coefficients that are not necessarily stable anti Yetter-…
We discuss which part of the rationalized algebraic K-theory of a group ring is detected via trace maps to Hochschild homology, cyclic homology, periodic cyclic or negative cyclic homology.
We use the Beilinson $t$-structure on filtered complexes and the Hochschild-Kostant-Rosenberg theorem to construct filtrations on the negative cyclic and periodic cyclic homologies of a scheme $X$ with graded pieces given by the Hodge-completion of the derived de Rham cohomology of $X$. Such filtrations have previously been constructed by Loday in characteristic zero and by Bhatt-Morrow-Scholze for $p$-complete negative cyclic and periodic cyclic homology in the quasisyntomic case.
The cyclic (co)homology of Hopf algebras is defined by Connes and Moscovici [math.DG/9806109] and later extended by Khalkhali et.al [math.KT/0306288] to admit stable anti-Yetter-Drinfeld coefficient module/comodules. In this paper we will show that one can further extend the cyclic homology of Hopf algebras with coefficients non-trivially. The new homology, called the bialgebra cyclic homology, admits stable coefficient module/comodules, dropping the anti-Yetter-Drinfeld condition. This fact allows the new homology to use bialgebras, not just Hopf algebras. We will also give computations for b…
A generalization of the usual ideles group is proposed, namely, we construct certain adelic complexes for sheaves of $K$-groups on schemes. More generally, such complexes are defined for any abelian sheaf on a scheme. We focus on the case when the sheaf is associated to the presheaf of a homology theory with certain natural axioms, satisfied by $K$-theory. In this case it is proven that the adelic complex provides a flasque resolution for the above sheaf and that the natural morphism to the Gersten complex is a quasiisomorphism. The main advantage of the new adelic resolution is that it is con…
We prove in this paper that the periodic cyclic homology of the quantized algebras of functions on coadjoint orbits of connected and simply connected Lie group, are isomorphic to the periodic cyclic homology of the quantized algebras of functions on coadjoint orbits of compact maximal subgroups, without localization. Some noncompact quantum groups and algebras were constructed and their irreducible representations were classified in recent works of Do Ngoc Diep and Nguyen Viet Hai, and Do Duc Hanh by using deformation quantization. In this paper we compute their K-groups, periodic cyclic homol…
Using a smooth version of the Connes--Thom isomorphism in Grensing's bivariant K-theory for locally convex algebras, we prove an equivariant version of the Connes--Thom isomorphism in periodic cyclic homology. As an application, we prove that periodic cyclic homology is invariant with respect to equivariant strict deformation quantization.
The goal of this article is to explicitly compute the Hochschild (co)homology of the Fomin-Kirillov algebra on three generators over a field of characteristic different from 2 and 3. We also obtain the cyclic (co)homology of the Fomin-Kirillov algebra in case the characteristic of the field is zero. Moreover, we compute the algebra structure of the Hochschild cohomology.
A natural isomorphism between the cyclic object computing the relative cyclic homology of a homogeneous quotient-coalgebra-Galois extension, and the cyclic object computing the cyclic homology of a Galois coalgebra with SAYD coefficients is presented. The isomorphism can be viewed as the cyclic-homological counterpart of the Takeuchi-Galois correspondence between the left coideal subalgebras and the quotient right module coalgebras of a Hopf algebra. A spectral sequence generalizing the classical computation of Hochschild homology of a Hopf algebra to the case of arbitrary homogeneous quotient…
In this paper, we establish the invariance of cyclic (co)homology of left Hopf algebroids under the change of Morita equivalent base algebras. The classical result on Morita invariance for cyclic homology of associative algebras appears as a special example of this theory. In our main application we consider the Morita equivalence between the algebra of complex-valued smooth functions on the classical 2-torus and the coordinate algebra of the noncommutative 2-torus with rational parameter. We then construct a Morita base change left Hopf algebroid over this noncommutative 2-torus and show that…
We define a noncommutative analogue of invariant de Rham cohomology. More precisely, for a triple $(A,\mathcal{H},M)$ consisting of a Hopf algebra $\mathcal{H}$, an $\mathcal{H}$-comodule algebra $A$, an $\mathcal{H}$-module $M$, and a compatible grouplike element $σ$ in $\mathcal{H}$, we define the cyclic module of invariant chains on $A$ with coefficients in $M$ and call its cyclic homology the invariant cyclic homology of $A$ with coefficients in $M$. We also develop a dual theory for coalgebras. Examples include cyclic cohomology of Hopf algebras defined by Connes-Moscovici and its dual th…
For any strong smash product algebra $A\#_{_R}B$ of two algebras $A$ and $B$ with a bijective morphism $R$ mapping from $B\ot A$ to $A\ot B$, we construct a cylindrical module $A\natural B$ whose diagonal cyclic module $Δ_{\bullet}(A\natural B)$ is graphically proven to be isomorphic to $C_{\bullet}(A\#_{_R}B)$ the cyclic module of the algebra. A spectral sequence is established to converge to the cyclic homology of $A\#_{_R}B$. Examples are provided to show how our results work. Particularly, the cyclic homology of the Pareigis' Hopf algebra is obtained in the way.
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.
In this paper we prove that cyclic homology, topological cyclic homology, and algebraic $K$-theory satisfy a pro Mayer--Vietoris property with respect to abstract blow-up squares of varieties, in both zero and finite characteristic. This may be interpreted as the well-definedness of $K$-theory with compact support.
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.
We consider Hopf crossed products of the the type $A#_σ\mathcal{H}$, where $\mathcal{H}$ is a cocommutative Hopf algebra, $A$ is an $\mathcal{H}$-module algebra and $σ$ is a "numerical" convolution invertible 2-cocycle on $\mathcal{H}$. we give an spectral sequence that converges to the cyclic homology of $A#_σ\mathcal{H}$ and identify the $E^1$ and $E^2$ terms of the spectral sequence.
We present a new approach to cyclic homology that does not involve the Connes differential and is based on a `noncommutative equivariant de Rham complex' of an associative algebra. The differential in that complex is a sum of the Karoubi-de Rham differential, which replaces the Connes differential, and another operation analogous to contraction with a vector field. As a byproduct, we give a simple explicit construction of the Gauss-Manin connection, introduced earlier by E. Getzler, on the relative cyclic homology of a flat family of associative algebras over a central base ring. We introduce …
We show that for a smooth, projective variety X defined over a number field K, cyclic homology with coefficients in the ring of infinite adeles of K, provides the right theory to obtain, using the lambda-operations, Serre's archimedean local factors of the complex L-function of X as regularized determinants.
Making use of the recent theory of noncommutative motives, we prove that every additive invariant satisfies Galois descent. Examples include mixed complexes, Hochschild homology, cyclic homology, periodic cyclic homology, negative cyclic homology, connective algebraic K-theory, mod-l algebraic K-theory, nonconnective algebraic K-theory, homotopy K-theory, topological Hochschild homology, and topological cyclic homology.
We propose a category which can serve as the category of coefficients for the cyclic homology HC_*(A) of an associative algebra A over a field k. The construction is categorical in nature, and essentially uses only the tensor category A-bimod of A-bimodules; objects of our category are A-bimodules with an additional structure. We also generalize the construction to a more general tensor k-linear tensor category C instead of A-bimod. We add some remarks about Getzler's version of the Gauss-Manin connection for the periodic cyclic homology HP_*(A).
We calculate the bivariant local cyclic cohomology of the Banach convolution algebra of summable functions on a word-hyperbolic group. Our result implies that the Banach algebraic assembly map in local cyclic homology is an isomorphism for such a group.
We give a description of cyclic cohomology and its pairing with K-groups for 2-cocycle deformation of algebras graded over discrete groups. The proof relies on a realization of monodromy for the Gauss-Manin connection on periodic cyclic cohomology in terms of the cup product action of group cohomology.
We discuss the cyclic homology of crossed product algebras from the Cuntz-Quillen point of view. The periodic cyclic homology of a crossed product algebra $A\rtimes G$ is described in terms of the $G$-action on periodic cyclic bicomplexes of crossed products of $A$ by the cyclic subgroups of $G$ .
We give a new construction of cyclic homology of an associative algebra A that does not involve Connes' differential. Our approach is based on an extended version of the complex ΩA, of noncommutative differential forms on A, and is similar in spirit to the de Rham approach to equivariant cohomology. Indeed, our extended complex maps naturally to the equivariant de Rham complex of any representation scheme Rep A. We define cyclic homology as the cohomology of the total complex (ΩA)[t], d+t \cdot i, arising from two anti-commuting differentials, d and i, on ΩA. The differential d, that replaces …
We define a Hopf cyclic (co)homology theory in an arbitrary symmetric strict monoidal category. Thus we unify all different types of Hopf cyclic (co)homologies under one single universal theory. We recover Hopf cyclic (co)homology of module algebras, comodule algebras and module coalgebras along with Hopf-Hochschild (co)homology of module algebras. This universal theory also allows us to define the missing Hopf cyclic theory for comodule coalgebras.
We define and study equivariant analytic and local cyclic homology for smooth actions of totally disconnected groups on bornological algebras. Our approach contains equivariant entire cyclic cohomology in the sense of Klimek, Kondracki and Lesniewski as a special case and provides an equivariant extension of the local cyclic theory developped by Puschnigg. As a main result we construct a multiplicative Chern-Connes character for equivariant KK-theory with values in equivariant local cyclic homology.
We study the curved Koszul duality theory for associative algebras presented by quadratic-linear-constant (QLC) relations. As an application, we investigate the cyclic (co)homology of a QLC algebra and its Koszul dual curved DG algebra, and extend a result due to Feigin and Tsygan. We also study a commutative/Lie analog of this curved Koszul duality theory.
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.
Let V be a complete discrete valuation ring with uniformiser p. We introduce an invariant of Banach V-algebras called local cyclic homology. This invariant is related to analytic cyclic homology for complete, bornologically torsionfree V-algebras. It is shown that local cyclic homology only depends on the reduction mod p of a Banach V-algebra and that it is homotopy invariant, matricially stable, and excisive.
We analyze the relationship between Bott periodicity in topological $K$-theory and the natural periodicity of cyclic homology. This is a basis for understanding the multiplicativity, in odd dimensions, of a bivariant Chern-Connes character from $K$-theory to cyclic theory.
We prove a blow-up formula for cyclic homology which we use to show that infinitesimal $K$-theory satisfies $cdh$-descent. Combining that result with some computations of the $cdh$-cohomology of the sheaf of regular functions, we verify a conjecture of Weibel predicting the vanishing of algebraic $K$-theory of a scheme in degrees less than minus the dimension of the scheme, for schemes essentially of finite type over a field of characteristic zero.
Let $V$ be a complete discrete valuation ring with residue field $k$ and with fraction field $K$ of characteristic 0. We clarify the analysis behind the Monsky--Washnitzer completion of a commutative $V$-algebra using spectral radius estimates for bounded subsets in complete bornological $V$-algebras. This leads us to a functorial chain complex for commutative $k$-algebras that computes Berthelot's rigid cohomology. This chain complex is related to the periodic cyclic homology of certain complete bornological $V$-algebras.
We construct, study, and apply a characteristic map from the relative periodic cyclic homology of the quotient map for a group action to the periodic Hopf-cyclic homology with coefficients associated with inertia of the action. This result admits, and in fact, comes from, its noncommutative-geometric, or quantized, counterpart. The crucial ingredient is the construction of the appropriate quantization of the cyclic nerve of the action groupoid, the cyclic object related to inertia, as the Connes-cyclic dual of a Hopf-cyclic object with coefficients in some stable anti-Yetter--Drinfeld module q…
This is the second part of the article [math.KT/0408094]. In the first paper, we used the underlying coalgebra structure to develop a cyclic theory. In this paper we define a dual theory by using the algebra structure. We define a cyclic homology theory for triples $(X,B,Y)$ where $B$ is a bialgebra, $X$ is a $B$--comodule algebra and $Y$ is just a stable $B$--module/comodule. We recover the main result of [math.KT/0310088] that these homology theories are dual to each other in the appropriate sense when the bialgebra is a Hopf algebra and the stable coefficient module satisfies anti-Yetter-Dr…
Relying of properties of the inductive tensor product, we construct cyclic type homology theories for certain nuclear algebras. In this context we establish continuity theorems. We compute the periodic cyclic homology of the Schwartz algebra of p-adic GL(n) in terms of compactly supported de Rham cohomology of the tempered dual of GL(n).
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.
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 study graded connected algebras over a field of characteristic zero and give an explicit formula for the cyclic homology of a tensor algebra. By means of a slightly new definition of David Anick's notion "strongly free" we are able to prove that cyclic homology of an algebra of global dimension two is zero in homological degree greater than one and is zero also in homological degree equal to one in case the relations are monomials. We give also explicit formulas for the cyclic homology of a tensor algebra modulo one symmetric quadratic form.
The multiplicative group of a global field acts on its adele ring by multiplication. We consider the crossed product algebra of the resulting action on the space of Schwartz functions on the adele ring and compute its Hochschild, cyclic and periodic cyclic homology. We also compute the topological K-theory of the C*-algebra crossed product.
A central result here is the computation of the entire cyclic homology of canonical smooth subalgebras of stable continuous trace C*-algebras having smooth manifolds M as their spectrum. More precisely, the entire cyclic homology is shown to be canonically isomorphic to the continuous periodic cyclic homology for these algebras. By an earlier result of the authors, one concludes that the entire cyclic homology of the algebra is canonically isomorphic to the twisted de Rham cohomology of M.
The purpose of this article is to embed the string topology bracket developed by Chas-Sullivan and Menichi on negative cyclic cohomology groups as well as the dual bracket found by de Thanhoffer de Voelcsey-Van den Bergh on negative cyclic homology groups into the global picture of a noncommutative differential (or Cartan) calculus up to homotopy on the (co)cyclic bicomplex in general, in case a certain Poincare' duality is given. For negative cyclic cohomology, this in particular leads to a Batalin-Vilkovisky algebra structure on the underlying Hochschild cohomology. In the special case in wh…
In the present paper we investigate the noncommutative geometry of a class of algebras, called the Hom-associative algebras, whose associativity is twisted by a homomorphism. We define the Hochschild, cyclic, and periodic cyclic homology and cohomology for this class of algebras generalizing these theories from the associative to the Hom-associative setting.
