[論文レビュー] Lefschetz and Hirzebruch-Riemann-Roch formulas via noncommutative motives

Denis-Charles Cisinski, Gonçalo Tabuada|arXiv (Cornell University)|Nov 1, 2011

Advanced Topics in Algebra参考文献 7被引用数 5

ひとこと要約

本稿は非可換モチーフの枠組みを用いて、リーマン・ローチの定理とヒルツェブルーフの定理の非可換類似を確立する。Luntsの公式とShklyarovの公式が、微分小圏上の対称モノイダル加法的不変量から形式的に導かれることを示し、カテゴリカルな設定においてモチーフ的トレースおよびペアリング構成によって統一する。

ABSTRACT

V. Lunts has recently established Lefschetz fixed point theorems for Fourier-Mukai functors and dg algebras. In the same vein, D. Shklyarov introduced the noncommutative analogue of the Hirzebruch-Riemann-Roch theorem. In this short article, we see how these constructions and computations formally stem from their motivic counterparts.

研究の動機と目的

• Luntsの非可換リーマン・ローチ公式とShklyarovの非可換ヒルツェブルーフ・リーマン・ローチ定理を、共通のモチーフ的枠組みの下で統一すること。
• これらの公式が、滑らかでかつ固有な微分小圏のカテゴリ上の対称モノイダル加法的不変量の形式的帰結として生じることを示すこと。
• 非可換モチーフと実現を用いて、グローテンディーク・リーマン・ローチ定理のカテゴリカルな解釈を確立すること。
• ホッホシュタイナー homology およびワイルコhomology理論におけるトレースおよびペアリング構造が、モチーフ的構成の特別な場合であることを示すこと。
• 非可換モチーフ的ホモトピー理論における実現の強いモノイダル性を活用することで、これらの公式が成立する背後にある概念的説明を提供すること。

提案手法

• 微分小圏の $K_0$-群に対応する射を有する非可換モチーフのカテゴリを用いる。
• 滑らかでかつ固有な微分小圏上で強くモノイダルであるような、対称モノイダル加法的不変量 $L: \text{dgcat}(k) \to \text{D}$ を適用する。
• 任意の微分小圏 $\mathcal{A}$ に対して、チェーン写像 $\mathit{ch}_L: K_0(\mathcal{A}) \to \mathrm{Hom}_{\mathsf{D}}(\mathbf{1}, L(\mathcal{A}))$ を構成する。
• $\mathcal{A}$ が固有であるとき、$L(\mathcal{A}) \otimes L(\mathcal{A}^{\mathsf{op}}) \to \mathbf{1}$ という標準的なペアリングを導入し、$\mathrm{Hom}_{\mathsf{D}}(\mathbf{1}, L(\mathcal{A}))$ 上のペアリングを誘導する。
• 実現とモチーフ的トレースを比較することで主要な等式を導出し、実現がクンネッフの公式を満たすという事実に依拠する。

実験結果

リサーチクエスチョン

• RQ1 Luntsの非可換リーマン・ローチ公式は、普遍的なモチーフ的構成からどのように導かれるか？
• RQ2 Shklyarovの非可換ヒルツェブルーフ・リーマン・ローチ定理のカテゴリカルな起源は何か？
• RQ3 ホッホシュタイナー homology およびワイルコhomology理論は、どの程度、同一のモチーフ的枠組みの実現として現れるか？
• RQ4 微分小圏上の対称モノイダル加法的不変量は、どのようにしてトレースおよびペアリング公式を符号化するか？
• RQ5 グローテンディーク・リーマン・ローチ定理は、非可換モチーフを用いてカテゴリカルに再定式化可能か？

主な発見

• 任意の滑らかでかつ固有な微分小圏 $\mathcal{A}$ および完全な $\mathcal{A}$-双加群 $M$ に対して、非可換リーマン・ローチ公式 (1.8) が成り立つ。このとき、フォーリエ・ミューカイ関手 $\Phi_M$ のトレースは、$\mathrm{HH}_i(\mathcal{A};M)$ のランクの交代和に等しい。
• 滑らかでかつ固有な $k$-スキーム $X$ および両立する核 $\mathcal{E}$ に対して、等式 (1.10) が成り立つ：ベッチコhomologyのトレースの交代和は、ホッホシュタイナー homology の次元の交代和に等しい。
• 非可換ヒルツェブルーフ・リーマン・ローチ公式 (1.12) は、カテゴリ $\mathsf{D}$ 内の標準的ペアリングによって確立される。ここで $\mathrm{ch}_L(\mathbf{R}\mathrm{Hom}_{\mathcal{A}}(M,N)) = \langle \mathrm{ch}_L(N), \mathrm{ch}_L(DM) \rangle$ が成り立つ。
• $L = \mathrm{HH}$ のとき、チェーン写像 $\mathrm{ch}_L$ はデニストレース写像と一致し、Shklyarovの結果 (1.6) が特別な場合として回復される。
• 証明は、非可換モチーフの実現が強く対称モノイダルであること、したがってクンネッフの公式を満たすことに基づく。これにより、トレースおよびペアリングの恒等式をカテゴリカルに計算可能となる。
• この枠組みは、モチーフ的ファンクター性およびモノイダル性の形式的帰結として、古典的および非可換インデックス定理を統一する。