[論文レビュー] Riemann-Roch for Deligne-Mumford stacks

Dan Edidin|arXiv (Cornell University)|May 21, 2012

Algebraic Geometry and Number Theory参考文献 16被引用数 17

ひとこと要約

この論文は、技術的なコhomologicalな道具立てを避けて、等長的K理論と局所化定理を用いて、デリーニュ＝ムードフォードスタックに対するリーマン・ロッホ定理の簡潔な証明を提示する。主な貢献は、滑らかで完全なデリーニュ＝ムードフォードスタックに対して、等長的メソッドを用いてヒルツェブルー・リーマン・ロッホ公式を直接的かつアクセス可能な形で導出することであり、商スタックや重み付き射影空間への応用を含む。

ABSTRACT

We give a simple proof of the Riemann-Roch theorem for Deligne-Mumford stacks using the equivariant Riemann-Roch theorem and the localization theorem in equivariant K-theory together with some basic commutative algebra of Artin rings.

研究の動機と目的

• 既存の指数論的またはコhomologicalな手法と比較して、デリーニュ＝ムードフォードスタックに対するリーマン・ロッホ定理のよりアクセス可能で技術的負荷の低い証明を提供すること。
• 特に等長的リーマン・ロッホ定理と等長的K理論における局所化を用いることで、滑らかで完全なデリーニュ＝ムードフォードスタックに対してヒルツェブルー・リーマン・ロッホ公式を洗練された形で導出できることを示すこと。
• 等長的技法を用いて、滑らかで完全なデリーニュ＝ムードフォードスタックの代表的射影へのグロテンディーク・リーマン・ロッホ定理を拡張すること。
• 具体的な計算を通じて定理の有用性を提示すること。特に重み付き射影空間のTodd類の計算を含む。

提案手法

• スキームにおける等長的リーマン・ロッホ定理を基礎的道具として活用すること。
• Gが対角的であるような商スタック $[X/G]$ において、問題を固定点のデータに還元するために、等長的K理論における局所化定理を適用すること。
• 前回の共同研究で得られた非アーベル的局所化定理を用いて、アーベル群作用を超えて一般化すること。
• Euler特性をスタック上の積分として表現するために、等長的K理論およびチャウ理論におけるチャーン類とTodd類を用いること。
• 滑らかなG-多様体に対して $K_0(G,X)$ と $G_0(G,X)$ を同一視し、スタック理論的K理論と整合性を保つために解像性の性質を活用すること。
• Gが自由に作用する開部分集合 $U$ を持つ表現 $V$ を用いたBorel構成に基づき、等長的チャウ群を定義することで、整合性とファンクターイリティを保証すること。

実験結果

リサーチクエスチョン

• RQ1 デリーニュ＝ムードフォードスタックのリーマン・ロッホ定理は、複雑な指数論や高度なコhomologicalな道具立てに依存せずに証明可能か？
• RQ2 等長的リーマン・ロッホ定理と等長的K理論における局所化は、滑らかで完全なデリーニュ＝ムードフォードスタックに対してヒルツェブルー・リーマン・ロッホ公式をどの程度まで洗練された形で導出可能か？
• RQ3 等長的技法を用いて、滑らかで完全なデリーニュ＝ムードフォードスタックの代表的射影へのグロテンディーク・リーマン・ロッホ定理をどのように拡張できるか？
• RQ4 重み付き射影空間のTodd類の明示的な形は何か？ また、リーマン・ロッホ定理を用いてどのように計算できるか？

主な発見

• 滑らかで完全なデリーニュ＝ムードフォードスタックに対するリーマン・ロッホ定理は、等長的リーマン・ロッホ定理と等長的K理論における局所化を用いた直接的証明によって確立された。
• Gが対角的であるような商スタック $[X/G]$ に対して、等長的リーマン・ロッホ定理と古典的な等長的K理論における局所化定理を組み合わせることで、ヒルツェブルー・リーマン・ロッホ公式が導出された。
• 前回の研究から得られた非アーベル的局所化定理を用いることで、有限の安定化群をもつ任意の滑らかなデリーニュ＝ムードフォードスタックへの結果の一般化が可能となった。
• 重み付き射影空間のTodd類は、グロテンディーク・リーマン・ロッホ定理を用いて明示的に計算された。これにより、定理の計算的有用性が示された。
• 滑らかで完全なデリーニュ＝ムードフォードスタック上でのベクトルバンドルのEuler特性は、バンドルのチャーン類とスタックのTodd類の積の積分として与えられ、古典的公式に類似している。
• 証明により、滑らかなG-多様体に対してグロテンディーク群 $K_0(G,X)$ と $G_0(G,X)$ の自然な同一視が確立され、スタック設定において等長的K理論の道具が利用可能になった。