[論文レビュー] Conjectures sur les dérivées logarithmiques des fonctions L d'Artin aux entiers négatifs

Vincent Maillot, Damien Roessler|ArXiv.org|Jan 24, 2002

Algebraic Geometry and Number Theory被引用数 21

ひとこと要約

この論文は、アーベル・モチーフのためのベイリンソンの予想を一般化し、ヘルミートベクトル束の算術次元と負の整数におけるアーティンL関数の対数微分を結びつける予想を提示する。コルツェフおよびグロス＝デリーニュの研究を一般化し、特にCMホッジ構造およびアーベル拡大に対して、Lefschetz固定点公式とクラス体論を用いて特殊ケースの検証を含む部分的な結果を発表する。

ABSTRACT

We formulate several variants of a conjecture relating the arithmetic degree of certain hermitian fibre bundles with the values of the logarithmic derivative of Artin's L-functions at negative integers. This generalizes conjectures by Colmez and Gross-Deligne and complements Beilinson's conjectures for the Artin motives. We announce several results in the direction of these statements.

研究の動機と目的

• CMアーベル多様体の周期に関するコルツェフおよびグロス＝デリーニュの予想を、アーティンモチーフを含むより広範な枠組みへ一般化すること。
• L関数の特殊値に関するベイリンソンの予想を、非正整数における対数微分を含む形に拡張すること。
• 対数的特異点をもつヘルミートベクトル束とアーティンL関数の特別値との間の明確な算術幾何的対応を確立すること。
• 算術チャウ理論の文脈において、算術次元とL関数の特別値を統一する予想的枠組みを提供すること。
• L関数の微分を用いた、複素乗法をもつモチーフの算術的性質をより深く理解する基盤を築くこと。

提案手法

• 正則交叉除集合に沿った対数的特異点をもつヘルミートベクトル束の算術次元と、負の整数におけるアーティンL関数の対数微分との関係を示す予想を提示する。
• ギレット＝スールおよびブルゴス＝クーニャの研究を高次元算術的多様体へ拡張した、対数的特異点をもつ算術チャウ理論を用いる。
• アラケロフ幾何におけるLefschetz固定点公式を用い、コホロロジー上のトレースと算術的交差数との関係を導く。
• クラス体論を用いて、グローバルな予想を特にアーベル拡大に対して、サイクロトミック体上の基本ケースに還元する。
• 算術チャウ群におけるデリーニュコホモロジーおよびチャーン類の理論を用い、解析的および代数的不変量との関係を確立する。
• 写像に関する算術チャーン類と押し出しの整合性を活用し、算術的スキーム間で結果を移行させる。

実験結果

リサーチクエスチョン

• RQ1 負の整数におけるアーティンL関数の対数微分は、どのようにヘルミートベクトル束の算術的不変量と関係づけられるか？
• RQ2 コルツェフおよびグロス＝デリーニュの周期予想は、算術次元を用いて、高次元のアーティンモチーフへどの程度一般化可能か？
• RQ3 L関数の算術的予想の構成において、対数的特異点が果たす正確な役割は何か？
• RQ4 アラケロフ幾何におけるLefschetz固定点公式は、提示された予想の特殊ケースの証明に用いられるか？
• RQ5 ヘルミート束の算術次元は、アーティンL関数の対数微分の特別値とどのように関係するか？

主な発見

• n=1の場合、Q(χ, μ_q)とテンソル積をとった後、算術的表面におけるLefschetz固定点公式の結果として、予想が成り立つ。
• n≥1 かつ S が空集合の場合、K が Q のアーベル拡大で、その導子 f_K が R において可逆であるとき、Q(χ, μ_f_K) とテンソル積をとった後、予想は検証される。
• 証明は、クラス体論を用いて K=Q(μ_f_K) の場合に還元し、固定点公式の変種を適用することに依存する。
• この予想は、CMホッジ構造に対するグロス＝デリーニュ周期予想の既知の事例と整合していることが示された。
• 対数的特異点をもつ算術チャウ群は、予想を提示する自然な枠組みを提供する。
• 算術チャーン類とデリーニュコホモロジー写像の整合性により、幾何的およびコホモロジー的不変量間の整合性が保証される。