[論文レビュー] 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

ひとこと要約

この論文は、複素多様体上の連接解析層のオイラー類が、そのチャーン特性と多様体のトッド類の積に等しいという、神崎の予想を証明する。証明は、HKR同型と双対性の性質を用いて、ホッホシュライダーおよびコホッホシュライダー類を通じて、ホッジコhomologyにおけるグロテンディーク・リーマン・ロッホ定理の関手的導出を確立する。

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.

研究の動機と目的

• 複素多様体 X 上の連接解析層 ℱ に対して、そのオイラー類 eu(ℱ) が、そのチャーン特性 ch(ℱ) と多様体 X のトッド類 td(X) の積に等しいという神崎の予想を証明すること。
• 複素多様体におけるホッジコhomologyにおけるグロテンディーク・リーマン・ロッホ定理の関手的証明を確立すること。
• ホッホシュライダー類とコホッホシュライダー類の関係、およびそれらが Hochschild-Kostant-Rosenberg 同型の下でどのように写像されるかを明確にすること。
• クラス α(X) = eu(𝒪_X) · td(X)⁻¹ が α(X)² = α(X) を満たすことを示し、これにより α(X) = 1 が得られることを示すこと。
• 構造層のオイラー類がホッジコhomology環において可逆であることを示し、これにより主要定理の導出が可能になること。

提案手法

• 複素多様体上の連接解析層の導来圏におけるホッホシュライダー類およびコホッホシュライダー類を定義すること。
• 解析的 HKR 同型を用いて、これらの類をホッジコhomologyにおけるチャーン類およびオイラー類へ写像すること。
• 関手的性質を適用する：ホッホシュライダー類に対しては引き戻し、コホッホシュライダー類に対しては固有な準同型の下での押し出しを用いる。
• 射影直線を用いた変形により、正規包の設定に帰着させ、固有な押し出しと基本変換を活用すること。
• 再び写像の存在を用いて、Y の部分多様体 Z に対して α(Z) = i_Z^* α(Y) が成り立つことを証明すること。
• 対角埋め込みと外部積の性質を用いて、α(X)² = α(X) を示し、結論として α(X) = 1 を得ること。

実験結果

リサーチクエスチョン

• RQ1 複素多様体上の連接解析層のオイラー類は、そのチャーン特性と多様体のトッド類の積に等しいか？
• RQ2 ホッホシュライダー理論的類を用いて、ホッジコhomologyにおけるグロテンディーク・リーマン・ロッホ定理を関手的に導出できるか？
• RQ3 構造層のオイラー類は、複素多様体のホッジコhomology環において可逆か？
• RQ4 クラス α(X) = eu(𝒪_X) · td(X)⁻¹ は α(X)² = α(X) を満たすか？ そしてこれは何を意味するか？
• RQ5 ホッホシュライダー類およびコホッホシュライダー類は、導来圏における引き戻しと固有な押し出しの下でどのように振る舞うか？

主な発見

• 神崎の予想が証明された：任意の複素多様体 X 上の連接解析層 ℱ に対して、ホッジコhomologyにおいて eu(ℱ) = ch(ℱ) · td(X) が成り立つ。
• グロテンディーク・リーマン・ロッホ定理は、導来圏と双対性を用いた関手的かつコhomologicalな証明により、ホッジコhomologyにおいて確立された。
• クラス α(X) = eu(𝒪_X) · td(X)⁻¹ は α(X)² = α(X) を満たし、可逆性より α(X) = 1 であることが示された。
• オイラー類 eu(𝒪_X) は、X のホッジコhomology環において可逆であり、これが主結果の根幹をなす。
• HKR同型の下での導来カップ積構造により、オイラー類がチャーン類とトッド類を結ぶ主要な可逆元として特定される。
• グローバルな双対性と関手的性質のおかげで、局所的・解析的障害が存在せず、複素多様体全体にわたって一様に成立する。