BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Guillermo Cortiñas

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.KTmath.OAmath.RAmath.AGmath.ATmath.QAmath.ACmath.CTmath.FAmath.GNmath.GR

Catalog footprint

Research overview

34works
11topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

34 publications

preprint2022arXiv

Graded KK-theory and Leavitt path algebras

Let GG be a group and ℓ\ell a commutative unital ∗\ast-ring with an element λ∈ℓλ\in \ell such that λ+λ∗=1λ+ λ^\ast = 1. We introduce variants of hermitian bivariant KK-theory for ∗\ast-algebras equipped with a GG-action or a GG-grading. For any graph EE with finitely many vertices and any weight function ω ⁣:E1→Gω\colon E^1 \to G, a distinguished triangle for L(E)=Lℓ(E)L(E)=L_\ell(E) in the hermitian GG-graded bivariant KK-theory category kkGgrhkk^h_{G_{\mathrm{gr}}} is obtained, describing L(E)L(E) as a cone of a matrix with coefficients in Z[G]\mathbb{Z}[G] associated to the incidence matrix of EE and the weight ωω. In the particular case of the standard Z\mathbb{Z}-grading, and under mild assumptions on ℓ\ell, we show that the isomorphism class of L(E)L(E) in kkZgrhkk^h_{\mathbb{Z}_{\mathrm{gr}}} is determined by the graded Bowen-Franks module of EE. We also obtain results for the graded and hermitian graded KK-theory of ∗\ast-algebras in general and Leavitt path algebras in particular which are of independent interest, including hermitian and bivariant versions of Dade's theorem and of Van den Bergh's exact sequence relating graded and ungraded KK-theory.

Open access
preprint2021arXiv

Bivariant Hermitian KK-theory and Karoubi's fundamental theorem

Let ℓ\ell be a commutative ring with involution ∗* containing an element λλ such that λ+λ∗=1λ+λ^*=1 and let Alg⁡ℓ∗\operatorname{Alg}^*_\ell be the category of ℓ\ell-algebras equipped with a semilinear involution and involution preserving homomorphisms. We construct a triangulated category kkhkk^h and a functor jh:Alg⁡ℓ∗→kkhj^h:\operatorname{Alg}^*_\ell\to kk^h that is homotopy invariant, matricially and hermitian stable and excisive and is universal initial with these properties. We prove that a version of Karoubi's fundamental theorem holds in kkhkk^h. By the universal property of the latter, this implies that any functor H:Alg⁡ℓ∗→TH:\operatorname{Alg}^*_\ell\to\mathfrak{T} with values in a triangulated category which is homotopy invariant, matricially and hermitian stable and excisive satisfies the fundamental theorem. We also prove a bivariant version of Karoubi's 1212-term exact sequence.

Open access
preprint2018arXiv

Homotopy classification of Leavitt path algebras

In this paper we address the classification problem for purely infinite simple Leavitt path algebras of finite graphs over a field ℓ\ell. Each graph EE has associated a Leavitt path ℓ\ell-algebra L(E)L(E). There is an open question which asks whether the pair (K0(L(E)),[1L(E)])(K_0(L(E)), [1_{L(E)}]), consisting of the Grothendieck group together with the class [1L(E)][1_{L(E)}] of the identity, is a complete invariant for the classification, up to algebra isomorphism, of those Leavitt path algebras of finite graphs which are purely infinite simple. We show that (K0(L(E)),[1L(E)])(K_0(L(E)), [1_{L(E)}]) is a complete invariant for the classification of such algebras up to polynomial homotopy equivalence. To prove this we develop the bivariant algebraic KK-theory of Leavitt path algebras and obtain several results of independent interest.

Open access
preprint2014arXiv

Compact operators and algebraic KK-theory for groups which act properly and isometrically on Hilbert space

We prove the KK-theoretic Farrell-Jones conjecture for groups as in the title with coefficient rings and C∗C^*-algebras which are stable with respect to compact operators. We use this and Higson-Kasparov's result that the Baum-Connes conjecture with coefficients holds for such groups, to show that if GG is as in the title then the algebraic and the C∗C^*-crossed products of GG with a stable C∗C^*-algebra have the same KK-theory.

Open access
preprint2013arXiv

Cyclic homology, tight crossed products, and small stabilizations

In \verb|arXiv:1212.5901| we associated an algebra $\Gami(\fA)$ to every bornological algebra $\fA$ and an ideal $I_{S(\fA)}\triqui\Gami(\fA)$ to every symmetric ideal $S\triqui\elli$. We showed that $I_{S(\fA)}$ has KK-theoretical properties which are similar to those of the usual stabilization with respect to the ideal $J_S\triqui\cB$ of the algebra $\cB$ of bounded operators in Hilbert space which corresponds to SS under Calkin's correspondence. In the current article we compute the relative cyclic homology $HC_*(\Gami(\fA):I_{S(\fA)})$. Using these calculations, and the results of \emph{loc. cit.}, we prove that if $\fA$ is a C∗C^*-algebra and c0c_0 the symmetric ideal of sequences vanishing at infinity, then $K_*(I_{c_0(\fA)})$ is homotopy invariant, and that if ∗≥0*\ge 0, it contains $K^{\top}_*(\fA)$ as a direct summand. This is a weak analogue of the Suslin-Wodzicki theorem (\cite{sw1}) that says that for the ideal $\cK=J_{c_0}$ of compact operators and the C∗C^*-algebra tensor product $\fA\sotimes\cK$, we have $K_*(\fA\sotimes\cK)=K^{\top}_*(\fA)$. Similarly, we prove that if $\fA$ is a unital Banach algebra and ℓ∞−=⋃q<∞ℓq\ell^{\infty-}=\bigcup_{q<\infty}\ell^q, then $K_*(I_{\ell^{\infty-}(\fA)})$ is invariant under Hölder continuous homotopies, and that for ∗≥0*\ge 0 it contains $K^{\top}_*(\fA)$ as a direct summand. These KK-theoretic results are obtained from cyclic homology computations. We also compute the relative cyclic homology groups $HC_*(\Gami(\fA):I_{S(\fA)})$ in terms of $HC_*(\elli(\fA):S(\fA))$ for general $\fA$ and SS. For $\fA=\C$ and general SS, we further compute the latter groups in terms of algebraic differential forms. We prove that the map $HC_n(\Gami(\C):I_{S(\C)})\to HC_n(\cB:J_S)$ is an isomorphism in many cases.

Open access
preprint2013arXiv

Homotopy invariance through small stabilizations

We associate an algebra $\Gami(\fA)$ to each bornological algebra $\fA$. The algebra $\Gami(\fA)$ contains a two-sided ideal $I_{S(\fA)}$ for each symmetric ideal $S\triqui\elli$ of bounded sequences of complex numbers. In the case of $\Gami=\Gami(\C)$, these are all the two-sided ideals, and $I_S\mapsto J_S=\cB I_S\cB$ gives a bijection between the two-sided ideals of $\Gami$ and those of $\cB=\cB(\ell^2)$. We prove that Weibel's KK-theory groups $KH_*(I_{S(\fA)})$ are homotopy invariant for certain ideals SS including c0c_0 and ℓp\ell^p. Moreover, if either S=c0S=c_0 and $\fA$ is a local C∗C^*-algebra or S=ℓp,ℓp±S=\ell^p,\ell^{p\pm} and $\fA$ is a local Banach algebra, then $KH_*(I_{S(\fA)})$ contains $K_*^{\top}(\fA)$ as a direct summand. Furthermore, we prove that for S∈{c0,ℓp,ℓp±}S\in\{c_0,\ell^p,\ell^{p\pm}\} the map $K_*(Γ^\infty(\fA):I_{S(\fA)})\to KH_*(I_{S(\fA)})$ fits into a long exact sequence with the relative cyclic homology groups $HC_*(Γ^\infty(\fA):I_{S(\fA)})$. Thus the latter groups measure the failure of the former map to be an isomorphism.

Open access
preprint2013arXiv

Trace class operators, regulators, and assembly maps in K-theory

Let G be a group, Fin the family of its finite subgroups, and E(G,Fin) the classifying space. Let L^1 be the algebra of trace-class operators in an infinite dimensional, separable Hilbert space over the complex numbers. Consider the rational assembly map in homotopy algebraic K-theory H_p^G(E(G,Fin),KH(L^1))\otimes\Q \to KH_p(L^1[G])\otimes\Q. The rational KH-isomorphism conjecture predicts that the map above is an isomorphism; it follows from a theorem of Yu (see arXiv:1106.3796, arXiv:1202.4999) that it is always injective. In the current article we prove the following. Theorem: Assume that the map above is surjective. Let n\equiv p+1\mod 2. Then: i) The assembly map for the trivial family H_n^G(E(G,{1}),K(\Z)) \to K_n(\Z[G]) is rationally injective. ii) For every number field F, the assembly map H_n^G(E(G,Fin),K(F)) \to K_n(F[G]) is rationally injective. We remark that the K-theory Novikov conjecture asserts that part i) of the theorem above holds for all G, and that part ii) is equivalent to the rational injectivity part of the K-theory Farrell-Jones conjecture for number fields. The idea of the proof of the Theorem is to use an algebraic, equivariant version of Karoubi's multiplicative K-theory, which we introduce in this article.

Open access
preprint2012arXiv

Operator ideals and assembly maps in KK-theory

Let $\cB$ be the ring of bounded operators in a complex, separable Hilbert space. For p>0p>0 consider the Schatten ideal $\cL^p$ consisting of those operators whose sequence of singular values is pp-summable; put $\cS=\bigcup_p\cL^p$. Let GG be a group and $\vcyc$ the family of virtually cyclic subgroups. Guoliang Yu proved that the KK-theory assembly map \[ H_*^G(\cE(G,\vcyc),K(\cS))\to K_*(\cS[G]) \] is rationally injective. His proof involves the construction of a certain Chern character tailored to work with coefficients $\cS$ and the use of some results about algebraic KK-theory of operator ideals and about controlled topology and coarse geometry. In this paper we give a different proof of Yu's result. Our proof uses the usual Chern character to cyclic homology. Like Yu's, it relies on results on algebraic KK-theory of operator ideals, but no controlled topology or coarse geometry techniques are used. We formulate the result in terms of homotopy KK-theory. We prove that the rational assembly map \[ H_*^G(\cE(G,\fin),KH(\cL^p))\otimes\Q\to KH_*(\cL^p[G])\otimes\Q \] is injective. We show that the latter map is equivalent to the assembly map considered by Yu, and thus obtain his result as a corollary.

Open access
preprint2012arXiv

Toric varieties, monoid schemes and cdhcdh descent

We give conditions for the Mayer-Vietoris property to hold for the algebraic K-theory of blow-up squares of toric varieties in any characteristic, using the theory of monoid schemes. These conditions are used to relate algebraic K-theory to topological cyclic homology in characteristic p. To achieve our goals, we develop for monoid schemes many notions from classical algebraic geometry, such as separated and proper maps.

Open access
preprint2011arXiv

Algebraic Geometry of Topological Spaces I

We use techniques from both real and complex algebraic geometry to study K-theoretic and related invariants of the algebra C(X) of continuous complex-valued functions on a compact Hausdorff topological space X. For example, we prove a parametrized version of a theorem of Joseph Gubeladze; we show that if M is a countable, abelian, cancellative, torsion-free, seminormal monoid, and X is contractible, then every finitely generated projective module over C(X)[M] is free. The particular case when M=N^n gives a parametrized version of the celebrated theorem proved independently by Daniel Quillen and Andrei Suslin that finitely generated projective modules over a polynomial ring over a field are free. The conjecture of Jonathan Rosenberg which predicts the homotopy invariance of the negative algebraic K-theory of C(X) follows from the particular case when M=Z^n. We also give algebraic conditions for a functor from commutative algebras to abelian groups to be homotopy invariant on C*-algebras, and for a homology theory of commutative algebras to vanish on C*-algebras. These criteria have numerous applications. For example, the vanishing criterion applied to nil-K-theory implies that commutative C*-algebras are K-regular. As another application, we show that the familiar formulas of Hochschild-Kostant-Rosenberg and Loday-Quillen for the algebraic Hochschild and cyclic homology of the coordinate ring of a smooth algebraic variety remain valid for the algebraic Hochschild and cyclic homology of C(X). Applications to the conjectures of Beilinson-Soule and Farrell-Jones are also given.

Open access
preprint2011arXiv

Isomorphism conjectures with proper coefficients

Let GG be a group and let EE be a functor from small Z\Z-linear categories to spectra. Also let AA be a ring with a GG-action. Under mild conditions on EE and AA one can define an equivariant homology theory of GG-simplicial sets HG(−,E(A))H^G(-,E(A)) with the property that if H⊂GH\subset G is a subgroup, then H∗G(G/H,E(A))=E∗(A⋊H) H^G_*(G/H,E(A))=E_*(A\rtimes H) If now $\cF$ is a nonempty family of subgroups of GG, closed under conjugation and under subgroups, then there is a model category structure on GG-simplicial sets such that a map X→YX\to Y is a weak equivalence (resp. a fibration) if and only if XH→YHX^H\to Y^H is an equivalence (resp. a fibration) for all $H\in\cF$. The strong isomorphism conjecture for the quadruple $(G,\cF,E,A)$ asserts that if cX→XcX\to X is the $(G,\cF)$-cofibrant replacement then HG(cX,E(A))→HG(X,E(A)) H^G(cX,E(A))\to H^G(X,E(A)) is an equivalence. The isomorphism conjecture says that this holds when XX is the one point space, in which case cXcX is the classifying space $\cE(G,\cF)$. In this paper we introduce an algebraic notion of $(G,\cF)$-properness for GG-rings, modelled on the analogous notion for GG-C∗C^*-algebras, and show that the strong $(G,\cF,E,P)$ isomorphism conjecture for $(G,\cF)$-proper PP is true in several cases of interest in the algebraic KK-theory context. Thus we give a purely algebraic, discrete counterpart to a result of Guentner, Higson and Trout in the C∗C^*-algebraic case. We apply this to show that under rather general hypothesis, the assembly map $H_*^G(\cE(G,\cF),E(A))\to E_*(A\rtimes G)$ can be identified with the boundary map in the long exact sequence of EE-groups associated to certain exact sequence of rings. Along the way we prove several results on excision in algebraic KK-theory and cyclic homology which are of independent interest.

Open access
preprint2011arXiv

Tensor products of Leavitt path algebras

We compute the Hochschild homology of Leavitt path algebras over a field kk. As an application, we show that L2L_2 and L2⊗L2L_2\otimes L_2 have different Hochschild homologies, and so they are not Morita equivalent; in particular they are not isomorphic. Similarly, L∞L_\infty and L∞⊗L∞L_\infty\otimes L_\infty are distinguished by their Hochschild homologies and so they are not Morita equivalent either. By contrast, we show that KK-theory cannot distinguish these algebras; we have K∗(L2)=K∗(L2⊗L2)=0K_*(L_2)=K_*(L_2\otimes L_2)=0 and K∗(L∞)=K∗(L∞⊗L∞)=K∗(k)K_*(L_\infty)=K_*(L_\infty\otimes L_\infty)=K_*(k).

Open access
preprint2010arXiv

KK-theory of cones of smooth varieties

Let RR be the homogeneous coordinate ring of a smooth projective variety XX over a field $\k$ of characteristic~0. We calculate the KK-theory of RR in terms of the geometry of the projective embedding of XX. In particular, if XX is a curve then we calculate K0(R)K_0(R) and K1(R)K_1(R), and prove that $K_{-1}(R)=\oplus H^1(C,\cO(n))$. The formula for K0(R)K_0(R) involves the Zariski cohomology of twisted Kähler differentials on the variety.

Open access
preprint2009arXiv

KK-theory of Leavitt path algebras

Let EE be a row-finite quiver and let E0E_0 be the set of vertices of EE; consider the adjacency matrix NE′=(nij)∈Z(E0×E0)N'_E=(n_{ij})\in\Z^{(E_0\times E_0)}, $n_{ij}=#\{$ arrows from ii to j}j\}. Write NEtN^t_E and 1 for the matrices $\in \Z^{(E_0\times E_0\setminus\Sink(E))}$ which result from NE′tN'^t_E and from the identity matrix after removing the columns corresponding to sinks. We consider the KK-theory of the Leavitt algebra LR(E)=LZ(E)⊗RL_R(E)=L_\Z(E)\otimes R. We show that if RR is either a Noetherian regular ring or a stable C∗C^*-algebra, then there is an exact sequence (n∈Zn\in\Z) \[ K_n(R)^{(E_0\setminus\Sink(E))}\stackrel{1-N_E^t}{\longrightarrow} K_n(R)^{(E_0)}\to K_n(L_R(E))\to K_{n-1}(R)^{(E_0\setminus\Sink(E))} \] We also show that for general RR, the obstruction for having a sequence as above is measured by twisted nil-KK-groups. If we replace KK-theory by homotopy algebraic KK-theory, the obstructions dissapear, and we get, for every ring RR, a long exact sequence \[ KH_n(R)^{(E_0\setminus\Sink(E))}\stackrel{1-N_E^t}{\longrightarrow}KH_n(R)^{(E_0)}\to KH_n(L_R(E))\to KH_{n-1}(R)^{(E_0\setminus\Sink(E))} \] We also compare, for a C∗C^*-algebra $\fA$, the algebraic KK-theory of $L_\fA(E)$ with the topological KK-theory of the Cuntz-Krieger algebra $C^*_\fA(E)$. We show that the map \[ K_n(L_\fA(E))\to K^{\top}_n(C^*_\fA(E)) \] is an isomorphism if $\fA$ is stable and n∈Zn\in\Z, and also if $\fA=\C$, n≥0n\ge 0, EE is finite with no sinks, and det⁡(1−NEt)≠0\det(1-N_E^t)\ne 0.

Open access
preprint2009arXiv

Algebraic v. topological K-theory: a friendly match

These notes evolved from the lecture notes of a minicourse given in Swisk, the Sedano Winter School on K-theory held in Sedano, Spain, during the week January 22--27 of 2007, and from those of a longer course given in the University of Buenos Aires, during the second half of 2006. They intend to be an introduction to KK-theory, with emphasis in the comparison between its algebraic and topological variants. We have tried to keep as elementary as possible.

Open access
preprint2008arXiv

Relative Chern characters for nilpotent ideals

If I is a nilpotent ideal in a Q\mathbb{Q}-algebra AA, Goodwillie defined two isomorphisms from K∗(A,I)K_*(A,I) to negative cyclic homology, HN∗(A,I)HN_*(A,I). One is the relative version of the absolute Chern character, and the other is defined using rational homotopy theory. The question of whether they agree was implicit in Goodwillie's 1986 Annals paper. In this paper, we show that the two isomorphisms agree. Here are three applications. 1.Cathelineau proved that the rational homotopy character is compatible with the λλ-filtration. It follows that the relative Chern character is also compatible with this filtration for nilpotent ideals. 2.This agreement, together with Cathelineau's result, was used by the authors and Haesemeyer to show that the absolute Chern character, from K(A)K(A) to HN(A)HN(A), is compatible with the λλ-filtration for every commutative Q\mathbb{Q}-algebra. This is the main result of Infinitesimal cohomology and the Chern character to negative cyclic homology, arXiv:math/0703133v1. 3.This agreement can be used to strengthen Ginot's results in "Formules explicites pour le charactere de Chern en KK-théorie algébrique", Ann. Inst. Fourier 54 (2004).

Open access
preprint2007arXiv

Bivariant algebraic K-Theory

We show how methods from K-theory of operator algebras can be applied in a completely algebraic setting to define a bivariant, matrix-stable, homotopy-invariant, excisive K-theory of algebras over a fixed unital ground ring H, kk_*(A,B), which is universal in the sense that it maps uniquely to any other such theory. It turns out kk is related to C. Weibel's homotopy algebraic K-theory, KH. We prove that, if H is commutative and A is central as an H-bimodule, then kk_*(H,A)=KH_*(A). We show further that some calculations from operator algebra KK-theory, such as the exact sequence of Pimsner-Voiculescu, carry over to algebraic kk.

Open access
preprint2007arXiv

Comparison between algebraic and topological K-theory of locally convex algebras

This paper is concerned with the algebraic K-theory of locally convex algebras stabilized by operator ideals, and its comparison with topological K-theory. We show that the obstruction for the comparison map between algebraic and topological K-theory to be an isomorphism is (absolute) algebraic cyclic homology and prove the existence of an 6-term exact sequence. We show that cyclic homology vanishes in the case when J is the ideal of compact operators and L is a Frechet algebra with bounded app. unit. This proves the generalized version of Karoubi's conjecture due to Mariusz Wodzicki and announced in his paper "Algebraic K-theory and functional analysis", First European Congress of Mathematics, Vol. II (Paris, 1992), 485--496, Progr. Math., 120, Birkhäuser, Basel, 1994. We also consider stabilization with respect to a wider class of operator ideals, called sub-harmonic. We study the algebraic K-theory of the tensor product of a sub-harmonic ideal with an arbitrary complex algebra and prove that the obstruction for the periodicity of algebraic K-theory is again cyclic homology. The main technical tools we use are the diffeotopy invariance theorem of Cuntz and the second author (which we generalize), and the excision theorem for infinitesimal K-theory, due to the first author.

Open access
preprint2005arXiv

The obstruction to excision in K-theory and in cyclic homology

Let f:A→Bf:A \to B be a ring homomorphism of not necessarily unital rings and I◃AI\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)→K∗(B:f(I))K_*(A:I) \to K_*(B:f(I)) to be an isomorphism; it is measured by the birelative groups K∗(A,B:I)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.

Open access
preprint2000arXiv

An explicit formula for PBW quantization

Let kk be a field of characteristic zero, $\g$ a kk-Lie algebra, $e:S\g@>>>U\g$ the symmetrization map. The PBW quantization is the one parameter family of associative products: x⋆ty=∑p=0∞Bp(x,y)tp(t∈k) x\star_t y=\sum_{p=0}^\infty B_p(x,y)t^p\qquad (t\in k) where BpB_p is the homogeneous component of degree −p-p of the map $B:S\g\otimes_kS\g@>>>S\g$, B(x,y)=e−1(exey)B(x,y)=e^{-1}(exey). In this paper we give an explicit formula for BB. As an application, we prove that for each p≥0p\ge 0, BpB_p is a bidifferential operator of order ≤p\le p.

Open access
preprint2000arXiv

Artinian algebras and differential forms

This article concerns commutative algebras over a field kk of characteristic zero which are finite dimensional as vectorspaces, and particularly those of such algebras which are graded. Here the term graded is applied to non-negatively graded algebras AA with A0A_0 reduced and finite dimensional. Thus the trivial grading A=A0A=A_0 is only allowed if AA is a product of finite field extensions of kk. It has been conjectured (G. Cortiñas, S. Geller, C. Weibel; The Artinian Berger Conjecture. Math. Zeitschrift {\bf 228} 3 (1998) 569-588) that for all finite dimensional algebras AA which are not principal ideal algebras (i.e. have at least one nonprincipal ideal), the following submodule of the Kähler differentials is nonzero: ⋂ker⁡(ΩA@>>>ΩB)\bigcap{\ker(Ω_A @>>>Ω_B)} Here the intersection is taken over all principal ideal algebras BB and all homomorphisms A@>>>BA @>>>B. In this paper we prove that the conjecture holds for both Gorenstein graded and standard graded algebras.

Open access
preprint2000arXiv

Cyclic homology of commutative algebras over general ground rings

We consider commutative algebras and chain DG algebras over a fixed commutative ground ring kk as in the title. We are concerned with the problem of computing the cyclic (and Hochschild) homology of such algebras via free DG-resolutions ΛV@>>>AΛV @>>> A. We find spectral sequences Ep,q2=Hp(ΛV⊗Γq(dV))⇒HHp+q(ΛV)E^2_{p,q}=H_p(ΛV\otimesΓ^q(dV))\Rightarrow HH_{p+q}(ΛV) and $${E'}^2_{\pq}=H_p(ΛV\otimesΓ^{\le q}(dV)) \Rightarrow HC_{p+q}(ΛV)$$ The algebra ΛV⊗Γ(dV)ΛV\otimesΓ(dV) is a divided power version of the de Rham algebra; in the particular case when kk is a field of characteristic zero, the spectral sequences above agree with those found by Burghelea and Vigué (Cyclic homology of commutative algebras I, Lecture Notes in Math. {\bf 1318} (1988) 51-72), where it is shown they degenerate at the E2E^2 term. For arbitrary ground rings we prove here (Theorem 2.3) that if Vn=0V_n=0 for n≥2n\ge 2 then E2=E∞E^2=E^\infty. From this we derive a formula for the Hochschild homology of flat complete intersections in terms of a filtration of the complex for crystalline cohomology, and find a description of E′2{E'}^2 also in terms of crystalline cohomology (theorem 3.0). The latter spectral sequence degenerates for complete intersections of embedding dimension ≤2\le 2 (Corollary 3.1). Without flatness assumptions, our results can be viewed as the computation Shukla (cyclic) homology (T. Pirashvili, F. Waldhausen; Mac Lane homology and topological Hochschild homology, J. Pure Appl. Algebra{\bf 82} (1992) 81-98).

Open access
preprint2000arXiv

Infinitesimal K-theory

In this paper we study the fiber F of the rational Jones-Goodwillie character $$ F:=\hofiber(ch:K^\rat(A)@>>>HN^\rat(A)) $$ going from K-theory to negative cyclic homology of associative rings. We describe this fiber F in terms of sheaf cohomology. We prove that, for n≥1n\ge 1, there is an isomorphism: $$ π_n(F)\cong H^{-n}_{inf}(A,K^\rat) $$ between the homotopy of the fiber and the hypercohomology groups of $K^\rat$ on a non-commutative version of Grothendieck's infinitesimal site.

Open access
preprint2000arXiv

On the derived functor analogy in the Cuntz-Quillen framework for cyclic homology

Cuntz and Quillen have shown that for algebras over a field kk with char(k)=0char(k)=0, periodic cyclic homology may be regarded, in some sense, as the derived functor of (non-commutative) de Rham (co-)homology. The purpose of this paper is to formalize this derived functor analogy. We show that the localization ${Def}^{-1}\Cal{PA}$ of the category $\Cal{PA}$ of countable pro-algebras at the class of (infinitesimal) deformations exists (in any characteristic) (Theorem 3.2) and that, in characteristic zero, periodic cyclic homology is the derived functor of de Rham cohomology with respect to this localization (Corollary 5.4). We also compute the derived functor of rational KK-theory for algebras over Q\Bbb Q, which we show is essentially the fiber of the Chern character to negative cyclic homology (Theorem 6.2).

Open access
preprint2000arXiv

The structure of smooth algebras in Kapranov's framework for noncommutative geometry

In Kapranov, M. {\it Noncommutative geometry based on commutator expansions,} J. reine angew. Math {\bf 505} (1998) 73-118, a theory of noncommutative algebraic varieties was proposed. Here we prove a structure theorem for the noncommutative coordinate rings of affine open subsets of such of those varieties which are smooth (Theorem 3.4). The theorem describes the local ring of a point as a truncation of a quantization of the enveloping Poisson algebra of a smooth commutative local algebra. An explicit descripition of this quantization is given in Theorem 2.5. A description of the AA- module structure of the Poisson envelope of a smooth commutative algebra AA was given in loc. cit., Theorem 4.1.3. However the proof given in loc. cit. has a gap. We fix this gap for AA local (Theorem 1.4) and prove a weaker global result (Theorem 1.6).

Open access
preprint1998arXiv

Periodic cyclic homology as sheaf cohomology

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 KK-theory gives the fiber of the Jones-Goodwillie character which goes from KK-theory to negative cyclic homology.

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.