[論文レビュー] Higher adeles and non-abelian Riemann-Roch

Ted Chinburg, G. Pappas+1 more|arXiv (Cornell University)|Apr 20, 2012

Algebraic Geometry and Number Theory参考文献 49被引用数 8

ひとこと要約

本稿は、Beilinson-Parshinの高次アーデールとアーデール的等変チコウ群を用いて、算術的曲面上の群環バンドルに対する非アーベルリーマン・ロッホ定理を確立する。古典的Fröhlich理論を、純粋な記号を用いたチャーン類理論によって一般化し、安定エラー特性とチャーン類および双対化層の間の関係を示す公式を証明する。これは、アーデール的リーマン・ロッホ定理を算術的曲面上の非アーベルガロア作用に拡張するものである。

ABSTRACT

We show a Riemann-Roch theorem for group ring bundles over an arithmetic surface; this is expressed using the higher adeles of Beilinson-Parshin and the tame symbol via a theory of adelic equivariant Chow groups and Chern classes. The theorem is obtained by combining a group ring coefficient version of the local Riemann-Roch formula as in Kapranov-Vasserot with results on K-groups of group rings and an explicit description of group ring bundles over P^1. Our set-up provides an extension of several aspects of the classical Fr"ohlich theory of the Galois module structure of rings of integers of number fields to arithmetic surfaces.

研究の動機と目的

• 数体におけるガロアモジュール構造の古典的Fröhlich理論を、有限群作用をもつ算術的曲面へ拡張すること。
• 高次アーデールと純粋な記号を用いて、算術的曲面上の等変K理論およびエラー特性のアーデール的枠組みを構築すること。
• 群環バンドルのためのリーマン・ロッホ公式を確立し、等変エラー特性をチャーン類および双対化層の用語で計算すること。
• アーデール的遷移行列と行列式函手を導入することで、アーデール的リーマン・ロッホ定理を非アーベル群作用に一般化すること。
• 安定エラー特性と高次アーデールを用いて、群環の類群を計算するための道具を提供すること。

提案手法

• 著者らは、正則な算術的曲面Y上でBeilinson-Parshinの高次アーデールを用いて、等変アーデール的チコウ群を定義する。
• 局所的に自由な層のG作用に対して、行列式函手および行列式類の理論を構成し、それらを純粋な記号と結びつける。
• プッシュダウン写像と再帰的法則を用いて、基底スキームのアーデール的チコウ群における第一および第二チャーン類を定義する。
• この手法は、P¹_Zにおける遷移行列および基本的構造の明示的計算に依存しており、一般の場合をこの設定に還元する。
• 主な技術的道具は、ランク1の場合におけるDeligne-Riemann-Roch定理の使用と、分解列および双対性による拡張である。
• 証明は、有限平坦準同型と基底変換を用いて、一般のリーマン・ロッホ公式をP¹_Zの場合に還元する。

実験結果

リサーチクエスチョン

• RQ1 非アーベルガロア作用をもつ算術的曲面上に、数体におけるFröhlichの類群理論をどのように拡張できるか？
• RQ2 算術的曲面上の群環バンドルに対するリーマン・ロッホ定理の正しいアーデール的表現は何か？
• RQ3 高次アーデールと純粋な記号は、K₀(Z[G])における等変エラー特性をどのように符号化するか？
• RQ4 第二チャーン類および行列式理論は、プッシュフォワードと双対性に整合するアーデール的枠組みで定義可能か？
• RQ5 非アーベル設定において、安定エラー特性とチャーン類の正確な関係は何か？

主な発見

• 本稿は非アーベルリーマン・ロッホ公式を証明する：Pic(R) ≅ CH¹_A(S)において、2(χ̄(E) − nχ̄(O_Y)) = f_*(det(E) ∩ det(E) − 2c₂(E) + det(E) ∩ ω⁻¹_Y/S)。
• この公式はランク1の場合に古典的Deligne-Riemann-Roch定理に還元され、既知の結果と整合性を確認する。
• 第二チャーン類c₂(E)はアーデール的遷移行列を用いて定義され、有限平坦準同型の下でプッシュフォワードと整合する。
• 安定エラー特性χ̄(E)が被覆や完全分解の選択に依存しないことが示され、定義が正当化される。
• P¹_Zへの還元は有限平坦準同型を用いて達成され、射影直線上の既知のアーデール的リーマン・ロッホ定理の適用が可能になる。
• 理論は、非アーベル状況における類群Cl(Z[G])の計算フレームワークを提供し、Fröhlich理論を算術的曲面へ拡張する。