Moduli of parabolic bundles on an elliptic curve

技術的概要：楕円曲線上のパラボリック束のモジュライ

問題提起と動機
本論文は、楕円曲線（$g=1$）上の自明な行列式を持つランク 3 の半安定パラボリック束のモジュライ空間の幾何学を取り扱う。種数 $g \ge 2$ の曲線に対するパラボリック束のモジュライ空間はよく理解されている（例えば、[BY99]、[AG21] などの研究で、有理性、トーリ定理、自己同型群が確立されている）が、楕円曲線のケースは明確な課題を呈する。楕円曲線に関する先行研究、すなわちベクトル束については [Tu93]、パラボリック束については [BBDBR01, FV21, FJ22] は、主にランク 2 または特定の重みに制限されていた。本研究は、任意の重みを持つランク 3 への分析を拡張し、これらのモジュライ空間の幾何学、自己同型群、およびトーリ型性質を明示的に記述することを目的とする。これらは、モジュライ空間単独では曲線の同型類を復元できないことが多く見られる高種数の場合とは著しく異なる。

手法
著者は、古典的な分類手法と現代のモジュライ理論の組み合わせを採用する：

1. ベクトル束の分類： 本研究は、楕円曲線上の次数 0 の半安定ベクトル束のアティヤによる分類 [Ati57a] と、ランク 3 で自明な行列式を持つベクトル束のモジュライ空間を射影平面 $\mathbb{P}^2$ と同一視するツの同型 [Tu93] に基づいている。
2. パラボリック安定性の分析： 著者は、許容されるパラボリック重みの空間のウォール・チェンバー分解を分析する。単一の marked point の場合、重み空間はウォール（$\mu_2 = 0$）によって 2 つのチェンバー（$P^+$ および $P^-$）に分割されることを確立する。
3. ファイバーごとの幾何学： 忘却写像 $\Pi: \mathcal{M}^\mu \to \text{Bun}_{\mathcal{O}_X}(3, X) \cong \mathbb{P}^2$ を利用して、パラボリック束のモジュライ空間のファイバーを分析する。これらファイバーは $\mathbb{P}^1$ に同型であることを示し、モジュライ空間を $\mathbb{P}^2$ 上のルール曲面として確立する。
4. 普遍族とモノドロミー： 平坦ベクトル束とモノドロミー表現（リーマン・ヒルベルト対応）を通じた普遍族の構成を用いて、特異軌跡近傍の局所幾何学とモジュライ空間の挙動を記述する。
5. 自己同型解析： 「モジュラー」操作（線形束とのテンソル積、双対化、引き戻し、ヘッケ修正）を考慮し、それらを基礎となる幾何構造の完全な自己同型群と比較することで、自己同型群を調査する。

主要な貢献と結果

• モジュライ空間の幾何学（定理 A）：
  著者は、2 つの重みチェンバーに対応するモジュライ空間 $\mathcal{M}^-$ および $\mathcal{M}^+$ が、共通の開稠密部分集合 $U_{gen}$（一般的な安定束）の同型なコンパクト化であることを証明する。両空間とも射影化された接束 $\mathbb{P}(T\mathbb{P}^2)$ に同型である。忘却写像 $\Pi^\pm: \mathcal{M}^\pm \to \mathbb{P}^2$ は局所的に自明な $\mathbb{P}^1$-束である。コンパクト化軌跡 $\Sigma^\pm = \mathcal{M}^\pm \setminus U_{gen}$ は、あるチェンバーでのみ安定な束からなり、尖点を持つ 6 次曲線上で分岐する $\mathbb{P}^2$ の 3 次被覆を形成する。

• 高ランク・トーリ定理（定理 B）：
  楕円曲線上のベクトル束の場合（モジュライ空間は有理的であり、曲線に関する情報を失う）とは異なり、著者はパラボリック束に対してトーリ型結果を証明する。2 つの楕円曲線 $(X, p)$ と $(X', p')$ が同型であるための必要十分条件は、それらに対応するモジュライ空間の対 $(\mathcal{M}, \Sigma)$ と $(\mathcal{M}', \Sigma')$ が同型であることであることを示す。決定的な点は、曲線がモジュライ空間と特定のコンパクト化軌跡 $\Sigma$ からなる対から復元されることであり、$\Sigma$ は $X$ 上の特定の安定ルール曲面に同型であることが示される。

• 自己同型群（定理 C）：
  本論文は、対 $(\mathcal{M}^\pm, \Sigma^\pm)$ の自己同型群を特徴づける。楕円曲線が楕円対合以外に $p$ を固定する自己同型を持たないと仮定すると、自己同型群は有限であり、位数は 18 であり、完全に「モジュラー」である。これは、ヤコビアンにおける 3 ねじれ点の群（テンソル積を通じて作用する）と双対化対合によって生成される。これは、自己同型群が無限であったりより複雑であったりする高種数の場合とは対照的であり、$\mathbb{P}(T\mathbb{P}^2)$ の基礎となる完全な自己同型群は、特別な軌跡 $\Sigma$ が保存されない限り実現されないことを浮き彫りにする。

• 束の明示的な分類：
  著者は、アティヤのリストからどのベクトル束のタイプが安定なパラボリック構造を許容するかについて詳細な分類を提供する。タイプ (2.2)、(3.2)、および (3.3) の束は決して安定なパラボリック構造を許容しないが、タイプ (1)、(2.1)、および (3.1) が一般的な安定軌跡を形成することが特定される。また、コンパクト化軌跡と忘却写像のファイバーとの交点を明示的に記述する。

意義
本論文は、以前はランク 2 または特定の重みに対してのみ扱われていた楕円曲線上のランク 3 パラボリック束の幾何学を解決することで、その意義を主張する。楕円曲線上のベクトル束のモジュライ空間は有理的であり曲線を区別できないが、パラボリック構造（特にモジュライ空間とそのコンパクト化境界の対）の追加によって、曲線を復元する能力（トーリ性質）が回復することを示している。さらに、この特定の設定においては、モジュライ空間のすべての自己同型が束上の自然な幾何学的操作（モジュラリティ）から生じることを確立し、低種数・高ランクの文脈における対称性群の完全な記述を提供している。これらの結果は、より高種数で利用可能なより抽象的な記述とは対照的に、これらのモジュライ空間に対する具体的な幾何学的モデル（特定の分岐被覆を伴う $\mathbb{P}(T\mathbb{P}^2)$）を提供する。