[論文レビュー] The relative Riemann-Roch theorem from Hochschild homology

Ajay C. Ramadoss|ArXiv.org|Mar 6, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 42

ひとこと要約

この論文は、ホッフマン・ホモロジーを用いて相対リーマン・ロッホ定理の詳細な計算的証明を提供し、マークリアンの元のプレプリントを明確化する。Hochschildホモロジーとホッジ構造の間の重要な接続を確立し、カルダルルの予想の一部を解消する。具体的には、Todd特徴類の平方根でねじれたHKR写像が、ホッジホモロジー上のムカイペアリングを『ほとんど保存』することを示し、この写像が余乗法構造を尊重しないこととの関係を明らかにする。

ABSTRACT

This write up attempts to clarify a preprint by Markarian [2] which proves This paper attempts to clarify a preprint of Markarian [2]. The preprint by Markarian [2] proves the relative Riemann-Roch theorem using a result describing how the HKR map fails to respect comultiplication. This paper elaborates on the core computations in [2]. These computations show that the HKR map twisted by the square root of the Todd genus "almost preserves" the Mukai pairing. This settles a part of a conjecture of Caldararu[3]. The relative Riemann-Roch theorem follows from this and a result of Caldararu[4].

研究の動機と目的

• マークリアンの相対リーマン・ロッホ定理に関するプレプリントの計算的基盤を明確化・是正すること。
• ホッジホモロジー上のムカイペアリングとホッジ・コスタント・ローゼンバーグ（HKR）写像の明確な関係を確立すること。
• 滑らかでコンパクトな多様体上のホッジ構造とホッフマン構造の同値性に関するカルダルルの予想の一部を解消すること。
• Todd特徴類の平方根でねじれたHKR写像が、ムカイペアリングをほぼ保存することを示し、その失敗が写像が余乗法構造を尊重しないことと関係することを明らかにすること。
• Lie理論的類似を用いて、主要な結果を正当化する包括的かつ透明な計算的枠組みを提供すること。

提案手法

• 標準的なHKR同型写像にTodd特徴類の平方根を乗じることで、ねじれたHKR写像を導入する。
• Serre双対性とホッフマン・ホモロジー構造を結ぶ、RHom複体間の双対写像を定義する。
• 主な計算は、定理2’および補題2–4に依拠しており、これらは指数写像による引き戻しに関する古典的Lie理論的結果を模倣している。
• ホッフマンホモロジー的構成とLie群論の間の『辞書』を用い、特にexpおよびexp(−Z)による左不変形式の引き戻しに関連付ける。
• 完成化されたホッフマンチェーン複体上の2つの接続を構成・分析し、主要定理を導出する。
• 第3節の線形代数的道具（自己準同型作用、双対写像など）を用いて、重要な補題3および補題4を証明する。

実験結果

リサーチクエスチョン

• RQ1 HKR写像が余乗法構造を尊重しないことの失敗が、リーマン・ロッホ定理におけるTodd特徴類の出現とどのように関係するか？
• RQ2 Todd特徴類の平方根でねじったHKR写像が、ホッジホモロジー上のムカイペアリングをどの程度保存するか？
• RQ3 ねじれたHKR写像を介して、ホッフマンホモロジー上のムカイペアリングをホッジホモロジーのレベルで明示的に計算できるか？
• RQ4 双対写像、Serre双対性、およびねじれたHKR同型写像の間の明確な関係は何か？
• RQ5 Lie理論的類似（例えば、指数写像による不変形式の引き戻し）は、ホッフマンホモロジーの核心的計算をどの程度明確にするか？

主な発見

• Todd特徴類の平方根でねじったHKR写像は、ホッジホモロジー上のムカイペアリングを『ほとんど保存』し、そのずれはDufloに類似した誤差項で測定される。
• ねじれたHKR写像を介してホッジホモロジーに引き戻されたペアリングは、期待される随伴性を満たし、カルダルルのムカイペアリング（ムカイベクトル上で）と一致する。
• この論文は、マークリアン[2]に初出の定理2’の修正され詳細な証明を提供し、HKR写像が余乗法構造を尊重しないことの失敗を記述する。
• 主要結果である補題5は、ムカイペアリングをホッジホモロジーに降下させる計算を行い、それがカルダルルの元のペアリングと同一ではないことを示し、彼の予想の一部を解消する。
• 証明により、相対リーマン・ロッホ定理はペアリングの計算と、ホッフマンホモロジー上のムカイペアリングの随伴性（カルダルル[4]による証明）から導かれることが示された。
• この論文は、ホッフマンホモロジー的構成とLie理論的計算の間の包括的な辞書を構築し、特にexpおよびexp(−Z)による左不変形式の引き戻しに関連付けることで、主要定理の根拠を提供する。