[论文解读] On a conjecture of Kashiwara relating Chern and Euler classes of O-modules

Julien Grivaux|arXiv (Cornell University)|Oct 28, 2009

Algebraic Geometry and Number Theory参考文献 9被引用 6

一句话总结

本文证明了Kashiwara提出的猜想，即复流形上凝聚解析层的欧拉类等于其示性类与流形的Todd类的乘积。证明通过Hodge上同调中的Grothendieck-Riemann-Roch定理的函子性推导实现，利用Hochschild与共Hochschild类，结合HKR同构及对偶性质。

ABSTRACT

In this note we prove a conjecture of Kashiwara, which states that the Euler class of a coherent analytic sheaf F on a complex manifold X is the product of the Chern character of F with the Todd class of X. As a corollary, we obtain a functorial proof of the Grothendieck-Riemann-Roch theorem in Hodge cohomology for complex manifolds.

研究动机与目标

• 证明Kashiwara的猜想：复流形上凝聚解析层的欧拉类等于其示性类与周围复流形的Todd类的乘积。
• 在复流形的Hodge上同调中，建立Grothendieck-Riemann-Roch定理的函子性证明。
• 阐明Hochschild类与共Hochschild类及其在Hochschild-Kostant-Rosenberg同构下的像之间的关系。
• 证明类α(X) = eu(𝒪_X) · td(X)⁻¹满足α(X)² = α(X)，从而得出α(X) = 1。
• 证明结构层的欧拉类在Hodge上同调中可逆，从而推导出主定理。

提出的方法

• 在复流形上凝聚解析层的导出范畴中定义Hochschild类与共Hochschild类。
• 利用解析HKR同构将这些类映射到Hodge上同调中的示性类与欧拉类。
• 应用函子性性质：在适当态射下，Hochschild类的拉回与共Hochschild类的上推。
• 通过射影直线的形变构造法丛情形，利用上推与基变换性质。
• 利用收缩的存在性，证明对子流形Z ⊂ Y有α(Z) = i_Z^* α(Y)。
• 通过对角嵌入与外部乘积性质，证明α(X)² = α(X)，从而得出α(X) = 1。

实验结果

研究问题

• RQ1 复流形上凝聚解析层的欧拉类是否等于其示性类与流形的Todd类的乘积？
• RQ2 能否通过Hochschild理论类在Hodge上同调中函子性地推导出Grothendieck-Riemann-Roch定理？
• RQ3 结构层的欧拉类在复流形的Hodge上同调环中是否可逆？
• RQ4 类α(X) = eu(𝒪_X) · td(X)⁻¹是否满足α(X)² = α(X)，其含义是什么？
• RQ5 Hochschild类与共Hochschild类在导出范畴中关于拉回与适当上推的运算行为如何？

主要发现

• Kashiwara猜想得证：在任意复流形X上，对任意凝聚解析层ℱ，有eu(ℱ) = ch(ℱ) · td(X)在Hodge上同调中成立。
• 通过导出范畴与对偶性的函子性、上同调证明，建立了Hodge上同调中的Grothendieck-Riemann-Roch定理。
• 类α(X) = eu(𝒪_X) · td(X)⁻¹满足α(X)² = α(X)，且由于其可逆，必有α(X) = 1。
• 欧拉类eu(𝒪_X)在X的Hodge上同调环中可逆，这对主结果至关重要。
• HKR同构下的导出上积结构将欧拉类识别为连接示性类与Todd类的关键可逆元。
• 由于全局对偶性与函子性性质，该结果在所有复流形上一致成立，无局部或解析障碍。