[論文レビュー] Hodge structure on the cohomology of the moduli space of Higgs bundles

Mridul Mehta|ArXiv.org|Dec 12, 2001

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

ひとこと要約

この論文は、$ g \geq 2 $ の滑らかな射影的曲線上の安定Higgsバンドルのモジュライ空間の有理コホモロジーが、空間が非コンパクトであるにもかかわらず、次数 $ k $ において重み $ k $ の純粋ホッジ構造を備えていることを確立する。ゲージ理論的構成、普遍チャーン類、および増大するコンパクト化における極限論法を用いて、コホモロジー環がホッジ理論的に純粋なクラスによって生成されることを証明し、すべてのコホモロジー群がそれぞれの重みにおいて純粋であることを示している。

ABSTRACT

We study the moduli space of Higgs bundles on a compact Riemann surface. It was shown by Thaddeus and Hausel (in rank 2) and Markman (in general rank) that the rational cohomology ring of this space is generated by universal classes. In this paper, we use their results to compute the Hodge structure on the cohomology of this moduli space. We show that the natural Hodge structure on H^k is pure of weight k.

研究の動機と目的

• 滑らかな射影的曲線の genus $ g \geq 2 $ 上の安定Higgsバンドルのモジュライ空間のコホモロジーのホッジ理論的性質を特定すること。
• モジュライ空間が非コンパクトであるにもかかわらず、有理コホモロジー群 $ H^k(\mathcal{H}_n, \mathbb{Q}) $ が重み $ k $ の純粋ホッジ構造を備えていることを確立すること。
• ランク2から一般ランクのHiggsバンドルへと普遍チャーン類の結果を拡張し、それらを用いてコホモロジー環を生成すること。
• 増大するコンパクト化によって構成された極限空間 $ \mathcal{H}_\infty $ のコホモロジーが、$ \mathcal{H}_n $ から引き継ぐ純粋ホッジ構造を備え、この純粋性がすべての $ \mathcal{H}_n $ に引き継がれることを示すこと。

提案手法

• ゲージ理論的手法を用いて、$ K(n) = K \otimes \mathcal{O}(np) $ に値をとる安定Higgsバンドルのモジュライ空間 $ \mathcal{H}_n $ を構成する。これには、正則構造とゲージ群の商を含む。
• $ \mathcal{H}_n \times C $ 上に普遍ファミリー $ (\mathbb{E}_n, \Phi_n) $ が存在することを用い、普遍バンドル $ \mathbb{E}_n $ をコンパクト化 $ X_n $ 上の連続層 $ \mathcal{E}_n $ に拡張する。
• $ \mathcal{E}_n $ のチャーン類 $ \overline{c}^n_k $ を定義し、$ \mathbb{E}_n $ のチャーン類に制限されることを示し、これらが純粋ホッジ型 $ (k,k) $ かつ重み $ 2k $ であることを証明する。
• 引き戻し、$ \overline{c}^n_k $ とのカップ積、および $ C $ でのファイバー統合を経由して写像 $ \Gamma^n_{k,i} $ を構成し、これがホッジ構造の準同型であることを証明する。
• $ n \to \infty $ における極限を取ることで、$ H^i(C, \mathbb{Q}) $ から $ H^{i+2k-2}(\mathcal{H}_\infty, \mathbb{Q}) $ への写像 $ \Gamma_{k,i} $ を定義し、これもホッジ構造の準同型であることを示す。
• 制限写像 $ H^*(\mathcal{H}_\infty, \mathbb{Q}) \to H^*(\mathcal{H}_n, \mathbb{Q}) $ の全射性と、$ \mathcal{H}_\infty $ におけるMHSが $ \mathcal{H}_n $ におけるMHSを誘導することを用いて、$ H^k(\mathcal{H}_n, \mathbb{Q}) $ における重みの純粋性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 genus $ g \geq 2 $ の曲線上のHiggsバンドルのモジュライ空間の有理コホモロジーは、純粋ホッジ構造を備えているか？
• RQ2 空間が非コンパクトであるにもかかわらず、コホモロジー環がホッジ理論的に純粋なクラスによって生成可能か？
• RQ3 $ n \to \infty $ における $ \mathcal{H}_n $ のコホモロジーにおけるホッジ構造の振る舞いは何か？ そしてこれは有限の $ \mathcal{H}_n $ にどのような含意を持つか？
• RQ4 $ H^*(\mathcal{H}_\infty, \mathbb{Q}) $ から $ H^*(\mathcal{H}_n, \mathbb{Q}) $ への自然な写像はホッジ構造と整合的か？

主な発見

• $ \mathcal{H}_n $ が非コンパクトであるにもかかわらず、有理コホモロジー群 $ H^k(\mathcal{H}_n, \mathbb{Q}) $ は重み $ k $ の純粋ホッジ構造を備えている。
• $ \mathcal{H}_\infty $ のコホモロジー環は、ホッジ構造の準同型である写像 $ \Gamma_{k,i} $ の像によって生成される。
• 拡張された普遍層 $ \mathcal{E}_n $ のチャーン類 $ \overline{c}^n_k $ は、純粋ホッジ型 $ (k,k) $ かつ重み $ 2k $ であり、$ D_n $ に沿って極をもたない。
• 写像 $ \Gamma^n_{k,i} $ はホッジ構造の準同型である。各成分（引き戻し、カップ積、ファイバー統合）がホッジ型と重みを保存するため。
• $ H^i(C, \mathbb{Q}) $ から $ H^{i+2k-2}(\mathcal{H}_\infty, \mathbb{Q}) $ への極限写像 $ \Gamma_{k,i} $ はホッジ構造の準同型であり、その像は $ \mathcal{H}_\infty $ のコホモロジー環を生成する。
• 制限写像 $ H^*(\mathcal{H}_\infty, \mathbb{Q}) \to H^*(\mathcal{H}_n, \mathbb{Q}) $ が全射かつホッジ構造と整合的であるため、$ H^k(\mathcal{H}_n, \mathbb{Q}) $ のすべてのクラスは重み $ k $ の純粋である。