[論文レビュー] Higgs bundles and indecomposable parabolic bundles over the projective line

Emmanuel Letellier|arXiv (Cornell University)|Sep 15, 2016

Algebraic Geometry and Number Theory参考文献 18被引用数 3

ひとこと要約

本稿は、有限体上の射影直線上の幾的に分解不能なパラボリックバンドルの個数と、極を持つメラモーフィックヒッグスバンドルのモジュライ空間のホッジ理論を結ぶコhomologicalな予想を確立する。ハル・リトルウッドの対称関数とデリーニュ＝ルスツィグ特徴のフーリエ変換を用いて、ランク2の場合および一様ベクトルバンドルの場合にその予想を証明し、このようなバンドルの個数がヒッグスモジュライ空間のコホロジー上のフロベニウス作用の重み付きトレースに一致することを示している。

ABSTRACT

In this paper we count the number of isomorphism classes of geometrically indecomposable quasi-parabolic structures of a given type on a given vector bundle on the projective line over a finite field. We give a conjectural cohomological interpretation for this counting using the moduli space of Higgs fields on the given vector bundle over the complex projective line with prescribed residues. We prove a certain number of results which bring evidences to the main conjecture. We detail the case of rank 2 vector bundles.

研究の動機と目的

• 有限体上の射影直線上のベクトルバンドル上の幾的に分解不能なパラボリック構造の同型類の個数を数えること。
• 複素射影直線上に固定された留数を持つヒッグスバンドルのモジュライ空間を用いて、この個数のコホロロジー的解釈を与えること。
• 有限群表現論からの特徴和と、分解不能パラボリックバンドルの個数との間の予想される対応を証明すること。
• 明示的計算と特徴式を用いて、ランク2の場合および一様バンドルの場合に予想を検証すること。
• デリーニュ＝ルスツィグ特徴のフーリエ変換を通じて、ヒッグスモジュライ空間の幾何と有限体上の算術的個数との間の関係を確立すること。

提案手法

• 分解不能パラボリックバンドルの個数を生成関数として表現するために、ハル・リトルウッドの対称関数を用いる。
• ハリシュ・チャンドラの誘導と特徴式を適用して、有限体上の個数を GL_n(F_q) の表現と関連付ける。
• デリーニュ＝ルスツィグ特徴のフーリエ変換を用いて、有限体上の個数とヒッグスモジュライ空間のコホロジーとを結ぶ。
• デリーニュ＝ルスツィグ特徴のリー代数版を導入し、フーリエ変換との交換関係を用いる。
• 生成関数 Ω_D_w(q) の対数における Y^m の係数の公式を適用し、特徴トレースを介してバンドルの個数を抽出する。
• フロベニウス作用のトレースがコホロジーに一致することを示すことにより、主予想を特殊な場合に証明する。

実験結果

リサーチクエスチョン

• RQ1 有限体上の射影直線上の幾的に分解不能なパラボリックバンドルの同型類の個数は、どのように計算できるか？
• RQ2 固定された留数を持つヒッグスバンドルのモジュライ空間の観点から、この個数のコホロジー的意味は何か？
• RQ3 特徴和と算術的個数との間の予想される関係は、特定のケースで証明可能か？
• RQ4 ハル・リトルウッドの対称関数とデリーニュ＝ルスツィグ特徴のフーリエ変換は、モジュライ空間の幾何をどのように表現するか？
• RQ5 ランク2のバンドルおよび一様バンドルの場合に、予想は正しいか？

主な発見

• 有限体 F_q 上の射影直線 P^1 上のベクトルバンドル E に対する型 s の幾的に分解不能パラボリックバンドルの個数は、ハル・リトルウッドの対称関数を含む式で与えられる。
• ランク2の場合、a = b および a > b の場合に明示的な公式が得られ、重みの分割型に依存することが示された。
• E = O(a)^n の場合に、予想されるコホロロジー的解釈が証明され、個数がヒッグスモジュライ空間のコホロジー上のフロベニウス作用のトレースに一致することが示された。
• 生成関数 Ω_D_w(q) の対数における Y^m の係数の公式は、ε_λ と集合 X_{S_λ, D_w}^E のサイズを含む特徴和と一致する。
• 一様バンドルおよび自明な w の場合に、特徴論とコホロロジー的トレース公式の組み合わせにより、主予想が検証された。
• 証明は、デリーニュ＝ルスツィグ特徴のリー代数版と、フーリエ変換と誘導の間の交換公式に依存しており、カジダンとスプリンガーの結果を拡張している。