arXiv math/04043292004-04math.KThep-thmath.DG

On a generalized Connes-Hochschild-Kostant-Rosenberg theorem

Varghese Mathai, Danny Stevenson

备注：: 35 pages, latex2e, uses xypic. To appear in, Advances in Mathematics
发表信息：: Advances in Mathematics, vol. 200 no. 2 (2006) 303-335
DOI：: 10.1016/j.aim.2004.11.006

英文摘要：

The central result here is an explicit computation of the Hochschild and cyclic homologies of a natural smooth subalgebra of stable continuous trace algebras having smooth manifolds X as their spectrum. More precisely, the Hochschild homology is identified with the space of differential forms on X, and the periodic cyclic homology with the twisted de Rham cohomology of X, thereby generalizing some fundamental results of Connes and Hochschild-Kostant-Rosenberg. The Connes-Chern character is also identified here with the twisted Chern character.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Counterexamples to Hochschild--Kostant--Rosenberg in characteristic $p$

We give counterexamples to the degeneration of the HKR spectral sequence in characteristic $p$, both in the untwisted and twisted settings. We also prove that the de Rham--$\mathrm{HP}$ and crystalline--$\mathrm{TP}$ spectral sequences need not degenerate.

2021-02-15math.AGmath.KT

A remark on the Hochschild-Kostant-Rosenberg theorem in characteristic p

We prove a Hochschild-Kostant-Rosenberg decomposition theorem for smooth proper schemes $X$ in characteristic $p$ when $\dim X\leq p$. The best known previous result of this kind, due to Yekutieli, required $\dim X<p$. Yekutieli's result follows from the observation that the denominators appearing in the classical proof of HKR do not divide $p$ when $\dim X<p$. Our extension to $\dim X=p$ requires a homological fact: the Hochschild homology of a smooth proper scheme is self-dual.

2017-10-17math.AGmath.KT

The Mukai pairing, II: the Hochschild-Kostant-Rosenberg isomorphism

We continue the study of the Hochschild structure of a smooth space that we began in our previous paper, examining implications of the Hochschild-Kostant-Rosenberg theorem. The main contributions of the present paper are: -- we introduce a generalization of the usual Mukai pairing on differential forms that applies to arbitrary manifolds; -- we give a proof of the fact that the natural Chern character map $K_0(X) \to HH_0(X)$ becomes, after the HKR isomorphism, the usual one $K_0(X) \to \bigoplus H^i(X, Ω_X^i)$; and -- we present a conjecture that relates the Hochschild and harmonic structures…

2004-02-11math.AGmath.KT

Analytic Hochschild-Kostant-Rosenberg Theorem

Let $R$ be a Banach ring. We prove that the category of chain complexes of complete bornological $R$-modules (and several related categories) is a derived algebraic context in the sense of Raksit. We then use the framework of derived algebra to prove a version of the Hochschild-Kostant-Rosenberg Theorem, which relates the circle action on the Hochschild algebra to the de Rham-differential-enriched-de Rham algebra of a simplicial, commutative, complete bornological algebra. This has a geometric interpretation in the language of derived analytic geometry, namely, the derived loop stack of a deri…

2021-11-05math.AGmath.CTmath.KT

对数Hochschild同调的Hochschild-Kostant-Rosenberg定理与留数序列

A Hochschild-Kostant-Rosenberg theorem and residue sequences for logarithmic Hochschild homology

本文将Hochschild同调纳入对数动机研究框架，定义导出前对数环的对数Hochschild同调，构造André-Quillen型谱序列，证明对数Hochschild-Kostant-Rosenberg定理及该同调在对数动机范畴可表示，还推导出涉及对数概形爆破的广义留数序列。

2023-10-06math.AGmath.ATmath.KT

关于实Hochschild同调的滤过Hochschild-Kostant-Rosenberg定理

A filtered Hochschild-Kostant-Rosenberg theorem for real Hochschild homology

本文在$ C_2 $-Mackey函子中引入导出对合代数，证明其实Hochschild同调存在滤过且相关分次等同对合de Rham复形，并特化为Raksit的HKR-滤过Hochschild同调。

2025-03-04math.AGmath.ATmath.KT

更多相关论文收起更多论文

Twisted Hochschild Homology of Quantum Flag Manifolds and Kähler Forms

We study the twisted Hochschild homology of quantum flag manifolds, the twist being the modular automorphism of the Haar state. We prove that every quantum flag manifold admits a non-trivial class in degree two, with an explicit representative defined in terms of a certain projection. The corresponding classical two-form, via the Hochschild-Kostant-Rosenberg theorem, is identified with a Kähler form on the flag manifold.

2020-10-03math.KTmath.QA

完美胚环的实拓扑Hochschild同调

Real Topological Hochschild Homology of Perfectoid Rings

本文将Bhatt-Morrow-Scholze关于THH的结果推广到THR，计算了完美胚环的THR，并给出HKR定理的实精细化，为在准辛同伦环上建立动机滤过提供工具。

2025-07-18math.AGmath.ATmath.KT

分解同调的HKR定理

An HKR theorem for factorization homology

本文证明了一个HKR定理，用于计算光滑交换环谱的分解同调，修正并推广了McCarthy-Minasian的THH计算，并应用于有理KU的高阶THH。

2023-11-16math.ATmath.KT

Periodic cyclic homology and derived de Rham cohomology

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.

2018-08-15math.AGmath.KT

Z/4×Z/4 群的 Gromov-Lawson-Rosenberg 猜想

The Gromov-Lawson-Rosenberg Conjecture for Z/4xZ/4

本研究通过 Adams 谱序列计算分类空间连通实 k-同调，结合两类α不变量核检测定理，证明了Z/4×Z/4群的Gromov-Lawson-Rosenberg猜想，同时确定了相关谱序列微分并研究了对应子Hopf代数的谱序列上积结构。

2024-08-15math.ATmath.DGmath.KT

Hochschild同调与导出de Rham复形重新审视

Hochschild homology and the derived de Rham complex revisited

本文通过普遍性质重新审视Hochschild同调与导出de Rham复形的关系，证明了HKR滤层的关联graded与导出de Rham复形相等，并给出了新的构造方法。

2026-01-19math.AGmath.KT

Finite generation and continuity of topological Hochschild and cyclic homology

The goal of this paper is to establish fundamental properties of the Hochschild, topological Hochschild, and topological cyclic homologies of commutative, Noetherian rings, which are assumed only to be F-finite in the majority of our results. This mild hypothesis is satisfied in all cases of interest in finite and mixed characteristic algebraic geometry. We prove firstly that the topological Hochschild homology groups, and the homotopy groups of the fixed point spectra $TR^r$, are finitely generated modules. We use this to establish the continuity of these homology theories for any given ideal…

2014-03-03math.AGmath.ATmath.KT

Differential forms on smooth operadic algebras

The classical Hochschild--Kostant--Rosenberg (HKR) theorem computes the Hochschild homology and cohomology of smooth commutative algebras. In this paper, we generalise this result to other kinds of algebraic structures. Our main insight is that producing HKR isomorphisms for other types of algebras is directly related to computing quasi-free resolutions in the category of left modules over an operad; we establish that an HKR-type result follows as soon as this resolution is diagonally pure. As examples we obtain a permutative and a pre-Lie HKR theorem for smooth commutative and smooth brace al…

2020-11-05math.KTmath.QAmath.RA

The Mukai pairing, I: the Hochschild structure

We study the Hochschild structure of a smooth space or orbifold, emphasizing the importance of a pairing defined on Hochschild homology which generalizes a similar pairing introduced by Mukai on the cohomology of a K3 surface. We discuss those properties of the structure which can be derived without appealing to the Hochschild-Kostant-Rosenberg isomorphism and Kontsevich formality, namely: -- functoriality of homology, commutation of push-forward with the Chern character, and adjointness with respect to the generalized pairing; -- formal Hirzebruch-Riemann-Roch and the Cardy condition from phy…

2003-10-10math.AGmath.KT

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

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…

2015-04-01math.KT

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 an…

2011-03-30math.FAmath.GNmath.KT

Twisted differential generalized cohomology theories and their Atiyah-Hirzebruch spectral sequence

We construct the Atiyah-Hirzebruch spectral sequence (AHSS) for twisted differential generalized cohomology theories. This generalizes to the twisted setting the authors' corresponding earlier construction for differential cohomology theories, as well as to the differential setting the AHSS for twisted generalized cohomology theories, including that of twisted K-theory by Rosenberg and Atiyah-Segal. In describing twisted differential spectra we build on the work of Bunke-Nikolaus, but we find it useful for our purposes to take an approach that highlights direct analogies with classical bundles…

2017-11-17math.ATmath.DGmath.KT