[論文レビュー] On the motives of moduli of chains and Higgs bundles

Oscar Garcı́a-Prada, Jochen Heinloth+1 more|arXiv (Cornell University)|Apr 29, 2011

Homotopy and Cohomology in Algebraic Topology被引用数 2

ひとこと要約

この論文は、グロテンディーク環の次元的完成化を用いて、ヒッグス束およびチェーンのモジュライ空間のモチーフを計算し、ハーダー–ナラシマンの層化とモチーフ的再帰を活用する。ランクと次数が互いに素であるとき、n- torsion のヤコビアンが、 twisted SLn-ヒッグス束の中間次元コホロジーに自明に作用することを証明し、奇数次元のランク4ヒッグス束のモチーフに対して明示的な公式を提示。これは、 genus ≤21 に対してハウスエルとロドリゲス＝ヴィレガスの予想を確認する。

ABSTRACT

We take another approach to Hitchin's strategy of computing the cohomology of moduli spaces of Higgs bundles by localization with respect to the circle-action. Our computation is done in the dimensional completion of the Grothendieck ring of varieties and starts by describing the classes of moduli stacks of chains rather than their coarse moduli spaces. As an application we show that the n-torsion of the Jacobian acts trivially on the middle dimensional cohomology of the moduli space of twisted SL_n-Higgs-bundles of degree coprime to n and we give an explicit formula for the motive of the moduli space of Higgs bundles of rank 4 and odd degree. This provides new evidence for a conjecture of Hausel and Rodr\'iguez-Villegas. Along the way we find explicit recursion formulas for the motives of several types of moduli spaces of stable chains.

研究の動機と目的

• グロテンディーク環の次元的完成化 bK0(Var) を用いて、さまざまなコホロジー理論にわたる一様なモチーフの計算を実行すること。
• モチーフ的手法を用いて、異なるコホロジー理論におけるコホロジー不変量の計算を統一的フレームワークで行うこと。
• ランク (2,2) チェーンのモチーフを計算する際の収束問題を解決するため、ランク (2,2) チェーンに特化した切断手続きを導入すること。
• ハウスエルとロドリゲス＝ヴィレガスの予想（奇数次元のランク4ヒッグス束のPoincaré多項式）を、明示的なモチーフ計算により検証すること。
• α-半安定チェーンのモチーフに対する再帰公式を確立し、ヒッグス束モジュライの再帰的計算を可能にすること。

提案手法

• グロテンディーク環の次元的完成化 bK0(Var) を用い、さまざまなコホロジー理論にわたる一様なモチーフ計算を実行すること。
• 2段階戦略を採用：まずすべてのチェーンのスタックのモチーフを計算し、次にハーダー–ナラシマンの層化を用いて、より低いランクの半安定チェーンモジュライに上にあるファイバーの層に分解すること。
• ベクトルバンドルの拡張および修正に関するモチーフ的道具を用いて、層の成分を明示的に記述すること。
• ベイジッドとディリョーンの結果を用いて、チェーンスタックのモチーフをベクトルバンドルのモジュライスタックの言語で表現すること。
• bK0(Var) における非収束級数の問題を克服するため、ランク (2,2) チェーンのモチーフを計算する際の切断手続きを導入すること。
• Maple を用いて再帰公式を実装し、ランク4ヒッグス束の奇数次元に対するPoincaré多項式を genus ≤21 まで検証すること。

実験結果

リサーチクエスチョン

• RQ1 ランクと次数が互いに素であるとき、n- torsion のヤコビアンは、twisted SLn-ヒッグス束の中間次元コホロジーに自明に作用するか？
• RQ2 ランク4で奇数次元の半安定ヒッグス束のモジュライ空間に対して、明示的なモチーフ的公式を導出可能か？
• RQ3 α-半安定チェーンのモチーフ的再帰公式をどのように構築し、ヒッグス束モジュライに応用できるか？
• RQ4 ランク (2,2) チェーンに対して、切断法を用いることで、モチーフ的層化における収束問題を克服できるか？
• RQ5 ランク4の奇数次元ヒッグス束に対する計算済みモチーフは、ハウスエルとロドリゲス＝ヴィレガスの予想するPoincaré多項式を確認するか？

主な発見

• n と d が互いに素であるとき、twisted SLn-ヒッグス束のモジュライ空間の中間次元コホロジーに、n- torsion のヤコビアンが自明に作用する。
• ランク4で奇数次元の半安定ヒッグス束のモジュライ空間のモチーフに対して、より低いランクのチェーンモジュライおよび曲線類のモチーフ的クラスを用いた明示的公式が導出された。
• Maple 実装による検証を通じて、genus ≤21 に対してハウスエルとロドリゲス＝ヴィレガスの予想するPoincaré多項式が確認された。
• 切断手続きにより、bK0(Var) における収束問題が効果的に克服され、従来の手法では達成できなかったランク (2,2) チェーンのモチーフ計算が可能になった。
• さまざまなランクタイプ（(3,1)、(2,2)、(1,2,1)、(2,1,1)）の α-半安定チェーンのモチーフに対する再帰公式が確立された。
• モチーフ計算により、ホッジ多項式およびPoincaré多項式を直接抽出可能であり、ランク4ヒッグス束のホッジ構造の純粋性が確認された。