arXiv math/03080802003-08math.AGmath.KT

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

Andrei Caldararu

备注：: 19 pages, uses diagrams.sty, corrected proofs of Theorems 4.1 and 4.4 following a suggestion of Amnon Yekutieli

英文摘要：

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 of a smooth space.

机构、总结、中文摘要均由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

A case of the deformational Hodge conjecture via a pro Hochschild-Kostant-Rosenberg theorem

Following ideas of Bloch, Esnault, and Kerz, the deformational part of Grothendieck's variational Hodge conjecture is established for proper, smooth schemes over $K[[t]]$, where $K$ is an algebraic extension of the rational numbers. The main tool is a pro Hochschild-Kostant-Rosenberg theorem for Hochschild homology.

2014-03-06math.AG

相干矩阵分解的Hochschild-Kostant-Rosenberg型定理

A Hochschild-Kostant-Rosenberg type theorem for coherent matrix factorizations

Harish-Chandra Research Institute（Harish-Chandra研究所）；Homi Bhabha National Institute（Homi Bhabha国立研究所）

本文证明了相干矩阵分解范畴的Hochschild-Kostant-Rosenberg型定理，适用于特征0代数闭域上拟光滑导出Deligne-Mumford栈的Landau-Ginzburg模型。

2026-09-25math.AG

对数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

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-Kostant-Rosenberg谱序列的微分

On the differentials of the Hochschild-Kostant-Rosenberg spectral sequence

本文研究了在特征p>0的情况下，Hochschild-Kostant-Rosenberg谱序列的微分特性，并给出了在可提升到W₂(k)时的微分公式。

2026-03-11math.AG

The Hochschild-Kostant-Rosenberg isomorphism for quantized analytic cycles

In this article, we provide a detailed account of a construction sketched by Kashiwara in an unpublished manuscript concerning generalized HKR isomorphisms for smooth analytic cycles whose conormal exact sequence splits. It enables us, among other applications, to solve a problem raised recently by Arinkin and Căldăraru about uniqueness of such HKR isomorphisms in the case of the diagonal injection. Using this construction, we also associate with any smooth analytic cycle endowed with an infinitesimal retraction a cycle class which is an obstruction for the cycle to be the vanishing locus of a…

2012-03-29math.AG

关于实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

导出的德林费尔德-穆尔德堆栈的霍奇-康斯坦-罗斯伯格同构

Hochschild-Kostant-Rosenberg isomorphism for derived Deligne-Mumford stacks

本文研究了导出德林费尔德-穆尔德堆栈的霍奇-康斯坦-罗斯伯格同构，建立了其与微分形式上同调之间的自然同构，并扩展了相关同调理论的结果。

2026-01-20math.AGmath.AT

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

关于除子包含映射在矩阵分解范畴的Hochschild同调上诱导映射的研究

On the map induced on Hochschild homology of matrix factorization categories by the inclusion of a divisor

本文利用Hochschild-Kostant-Rosenberg同构，计算了光滑除子包含映射的前推函子在矩阵分解范畴的Hochschild同调上诱导的映射。

2024-02-15math.AG

Fano 三维簇的多向量场

Polyvector fields for Fano 3-folds

本文计算 Fano 三维簇 Hochschild 上同调的 HKR 分解，以揭示其 Gerstenhaber 代数结构，并推进高 Picard 秩 Fano 三维簇上 Poisson 结构的分类。

2021-05-11math.AG

The global decomposition theorem for Hochschild (co-)homology of singular spaces via the Atiyah-Chern character

We generalize the decomposition theorem of Hochschild, Kostant and Rosenberg for Hochschild (co-)homology to arbitrary morphisms between complex spaces or schemes over a field of characteristic zero. To be precise, we show that for each such morphism, the Hochschild complex, as introduced in math.AG/0606593, decomposes naturally in the derived category into the direct sum of the derived symmetric powers of the shifted cotangent complex, a result due to Quillen in the affine case. Even in the affine case, our proof is new and provides further information. It shows that the decomposition is give…

2006-06-28math.ACmath.AGmath.CV