[論文レビュー] Moduli varieties of real and quaternionic vector bundles over a curve

Florent Schaffhauser|arXiv (Cornell University)|Mar 27, 2010

Algebraic Geometry and Number Theory参考文献 10被引用数 1

ひとこと要約

本稿では、複素射影曲線上の実構造を備えた半安定な実およびクaternion的ベクトル bundle のモジュライ空間をゲージ理論的手法を用いて構成し、それらが複素射影的多様体の実点として埋め込まれる連結な実部分多様体であることを示している。安定な正則バンドルのモジュライ空間におけるガロア作用の固定点集合の連結成分数に対して、Harnack型の上限 $2^g + 1$ が得られ、Gross と Harris のランク1の結果を任意のランク $r > 1$ に一般化している。

ABSTRACT

We examine a moduli problem for real and quaternionic vector bundles on a smooth complex projective curve with a fixed real structure, and we give a gauge-theoretic construction of moduli spaces for semi-stable such bundles with fixed topological type. These spaces embed onto connected subsets of real points inside a complex projective variety. We relate our point of view to previous work by Biswas, Huisman and Hurtubise (arXiv:0901.3071), and we use this to study the Galois action induced on moduli varieties of stable holomorphic bundles on a complex curve by a given real structure on the curve. We show in particular a Harnack-type theorem, bounding the number of connected components of the fixed-point set of that action by $2^g +1$, where $g$ is the genus of the curve. In fact, taking into account all the topological invariants of the real structure, we give an exact count of the number of connected components, thus generalising to rank $r > 1$ the results of Gross and Harris on the Picard scheme of a real algebraic curve.

研究の動機と目的

• 複素射影曲線に固定された実構造を備えた半安定な実およびクォaternion的ベクトルバンドルのモジュライ空間をゲージ理論的手法で構成すること。
• Biswas, Huisman, および Hurtubise が行った実バンドルのモジュライに関する先行研究とこの構成を関連させること。
• 曲線に誘導される実構造によって生じる、安定な正則バンドルのモジュライ多様体上のガロア作用の構造を分析すること。
• ランク1（ピック群）における固定点集合の連結成分数に対するHarnack型の上限を、任意のランク $r > 1$ に一般化すること。
• 実構造の位相的不変量を用いて、連結成分数の正確な数え上げを提供すること。

提案手法

• 固定された位相型を持つ半安定な実およびクォaternion的ベクトルバンドルのモジュライ空間を、ゲージ理論的手法を用いて構成する。
• 得られたモジュライ空間を、複素射影的多様体の内部に連結部分集合として埋め込み、その実点として実現する。
• 正則構造、実およびクォaternion的構造、および曲線の実構造によって誘導されるガロア群作用の間の相互作用に依存する。
• Biswas, Huisman, および Hurtubise の結果を応用し、モジュライ空間を実代数幾何学的およびガロア作用の観点から解釈する。
• 実構造の位相的不変量（例えば、実軌道の連結成分数、ホモロジーへの作用など）を用いて、モジュライ空間内の連結成分数の精密な数え上げを精緻化する。
• Narasimhan–Seshadri の定理およびその実／クォaternion的類似を用い、安定性とユニタリ表現、調和計量との関係を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 複素射影曲線に実構造を備えた状況下で、ゲージ理論的手法を用いて半安定な実およびクォaternion的ベクトルバンドルのモジュライ空間をどのように構成できるか？
• RQ2 実曲線構造によって誘導される、安定な正則バンドルのモジュライ多様体上のガロア作用の固定点集合の構造は何か？
• RQ3 この固定点集合の連結成分数は、実構造の位相型にどのように依存するか？
• RQ4 ランク1の状況における $2^g + 1$ のHarnack型の上限が、高ランクのベクトルバンドルへ一般化可能か？
• RQ5 実構造の位相的不変量を用いて、連結成分数を記述する正確な公式は何か？

主な発見

• 半安定な実およびクォaternion的ベクトルバンドルのモジュライ空間は、複素射影的多様体の内部に連結部分集合として埋め込まれ、その実点として実現される。
• 安定な正則バンドルのモジュライ多様体上のガロア作用の固定点集合の連結成分数は、曲線の genus $g$ を用いて $2^g + 1$ 未満に抑えられる。
• 実構造の位相的不変量に依存する正確な連結成分数の数え上げが得られ、Gross と Harris のランク1の結果を任意のランク $r > 1$ に一般化している。
• この構成により、実およびクォaternion的ベクトルバンドルと、ユニタリ表現の特定の実形式との間の対応関係が確立される。
• モジュライ空間が実代数多様体であることが示され、その位相的性質は実構造の固定点データによって支配される。
• 本稿では、Harnackの上限が達成可能であり、実構造の位相的複雑性が最大のとき、その上限が達成されることを確認している。