論文要約：曲線上の半安定およびパラボリック半安定ベクトル束のモジュライスタックの $\mathbb{A}^1$-連結性

論文タイトル: A1–CONNECTEDNESS OF MODULI STACK OF SEMI-STABLE AND PARABOLIC SEMI-STABLE VECTOR BUNDLES OVER A CURVE
著者: Sujoy Chakraborty, Saurav Holme Choudhury

1. 研究の背景と問題設定

代数幾何学において、曲線 $C$ 上のベクトル束のモジュライ空間（またはスタック）の構造は中心的な研究対象です。特に、固定されたランクと行列式を持つ半安定（semi-stable）ベクトル束のモジュライスタック $M^s_C(n, L)$ や、パラボリック構造（曲線上の有限点集合における重み付き旗構造）を付加したベクトル束のモジュライスタック $P^{e,m}_C(n, L)$ などが重要です。

近年、$\mathbb{A}^1$-ホモトピー理論（Morel, Voevodsky による）の枠組みにおいて、これらのスタックが「$\mathbb{A}^1$-連結（$\mathbb{A}^1$-connected）」であるかどうかが問われています。$\mathbb{A}^1$-連結性とは、任意の 2 点が $\mathbb{A}^1$（アフィン直線）上の経路で結べる、あるいはより形式的には、$\mathbb{A}^1$-ホモトピー圏において一点（自明な空間）にホモトピー同値であることを意味します。

既存の研究（HY）では、すべてのベクトル束のモジュライスタック $M_C(n, L)$ が $\mathbb{A}^1$-連結であることが示されました。しかし、半安定な部分スタック $M^{ss}_C(n, L)$ やパラボリックな場合の $\mathbb{A}^1$-連結性は、半安定性の条件が追加されることで生じる複雑さにより、直接の一般化が困難でした。 本論文は、この未解決の問題に挑み、以下の 3 つのモジュライスタックの $\mathbb{A}^1$-連結性を証明することを目的としています。

1. 固定されたランク $n$ と行列式 $L$ を持つ半安定ベクトル束のモジュライスタック $M^{ss}_C(n, L)$。
2. 固定された行列式とパラボリックデータ $(e, m)$ を持つ準パラボリックベクトル束のモジュライスタック $P^{e,m}_C(n, L)$。
3. 特定の重み $\alpha$ に対する $\alpha$-半安定パラボリックベクトル束のスタック $P^{\alpha-ss,e,m}_C(n, L)$（特に、$\alpha$ が小さく一般的で、$\gcd(n, \deg L)=1$ の場合）。

2. 手法と主要な戦略

著者らは、既存の手法（HY における拡張空間の利用）が半安定な部分スタックには適用できない点（中間経路が不安定な領域に陥る可能性）を克服するため、以下の新しい戦略を採用しました。

2.1. Langton の結果と直接 $\mathbb{A}^1$-コナダンスの構築

半安定ベクトル束のモジュライスタックの $\mathbb{A}^1$-連結性を証明する際の鍵は、Langton の定理（半安定ベクトル束の普遍閉性）を利用することです。

• 従来の課題: 2 つの半安定ベクトル束を結ぶために、中間のベクトル束を経由する「鎖（chain）」を構成すると、その中間のベクトル束が半安定性を失う（不安定になる）可能性があります。
• 本論文のアプローチ:
  1. まず、任意の 2 つのベクトル束（半安定でなくてもよい）が、同じランクと行列式を持つ限り、直接 $\mathbb{A}^1$-コナダンス（$\mathbb{A}^1$ 上の族で結ばれる）可能であることを示します（Proposition 2.13）。これは、拡張空間（$\text{Ext}^1$）がアフィン空間であることと、十分大きな $m$ に対して半安定な商束が存在すること（Proposition 2.11）を利用しています。
  2. 次に、始点と終点が半安定である場合、Langton の結果（半安定な特殊ファイバーを持つ拡張が存在する）を適用することで、その経路全体が半安定な領域内に留まるように「修正」した直接 $\mathbb{A}^1$-コナダンスを構成します（Proposition 2.15）。
     これにより、$M^{ss}_C(n, L)$ 内の任意の 2 点が半安定な経路で結ばれることが示されました。

2.2. フラグ・バンドル・スタックの反復利用

パラボリックベクトル束のモジュライスタック $P^{e,m}_C(n, L)$ については、忘却写像（parabolic structure を忘れる写像）
$$P^{e,m}_C(n, L) \longrightarrow M_C(n, L)$$
が、旗多様体（flag variety）をファイバーとする「反復フラグ・バンドル・スタック（iterated flag bundle stack）」であることを利用します。

• 旗多様体は有理的であり、$\mathbb{A}^1$-鎖連結であることが知られています。
• 基底空間（ここでは $M_C(n, L)$ や $M^{ss}_C(n, L)$）が $\mathbb{A}^1$-連結であれば、その上のフラグ・バンドル・スタックも $\mathbb{A}^1$-連結になるという命題（Proposition 3.6）を導き、帰納的に $\mathbb{A}^1$-連結性を証明します。

2.3. 重み $\alpha$ の条件と安定性の一致

パラボリック半安定なスタック $P^{\alpha-ss,e,m}_C(n, L)$ については、重み $\alpha$ が「小さく（small）」かつ「一般的（generic）」であり、かつ $\gcd(n, \deg L)=1$ であるという仮定の下で議論します。

• この条件下では、$\alpha$-半安定性は $\alpha$-安定性と一致し、また基底となるベクトル束も安定となります。
• この場合、忘却写像は安定ベクトル束のスタック $M^s_C(n, L)$ への反復フラグ・バンドル・スタックとなり、前述の手法を適用することで $\mathbb{A}^1$-連結性が得られます。

3. 主要な結果

1. 半安定ベクトル束のモジュライスタックの $\mathbb{A}^1$-連結性:
   曲線 $C$ 上の固定されたランク $n$ と行列式 $L$ を持つ半安定ベクトル束のモジュライスタック $M^{ss}_C(n, L)$ は $\mathbb{A}^1$-連結である（Theorem 2.16）。

   • 特に、$n$ と $\deg L$ が互いに素の場合、安定ベクトル束のスタック $M^s_C(n, L)$ も $\mathbb{A}^1$-連結です。

2. 準パラボリックベクトル束のモジュライスタックの $\mathbb{A}^1$-連結性:
   固定された行列式とパラボリックデータ $(e, m)$ を持つ準パラボリックベクトル束のモジュライスタック $P^{e,m}_C(n, L)$ は $\mathbb{A}^1$-連結である（Theorem 3.7）。

3. パラボリック半安定ベクトル束の $\mathbb{A}^1$-連結性:
   重み $\alpha$ が小さく一般的で、$\gcd(n, \deg L)=1$ であるとき、$\alpha$-半安定パラボリックベクトル束のスタック $P^{\alpha-ss,e,m}_C(n, L)$ は $\mathbb{A}^1$-連結である（Theorem 4.3）。

4. 意義と貢献

• 既存研究の拡張と補完: 以前の研究（HY）が扱った「すべてのベクトル束」の連結性から、「半安定な部分」の連結性へと議論を深化させました。特に、半安定性の条件が経路の構成に与える制約を、Langton の定理を巧みに利用することで克服しました。
• パラボリック構造への適用: パラボリックベクトル束のモジュライ空間は、代数幾何学や表現論において重要な対象ですが、その $\mathbb{A}^1$-ホモトピー的な性質についての知見は限られていました。本論文は、パラボリックデータを持つ場合にも $\mathbb{A}^1$-連結性が成り立つことを初めて示しました。
• 手法の革新性: 拡張空間のアフィン性を利用した直接コナダンスの構成と、Langton の結果による半安定領域内での経路の「修復（repair）」という組み合わせは、半安定なモジュライ空間のホモトピー論的性質を調べるための強力な新しい手法を提供しています。
• 今後の展望: 一般の重み $\alpha$ に対する $\alpha$-半安定なパラボリック束の $\mathbb{A}^1$-連結性は、本論文の手法では直接的に証明できませんでした（Remark 4.5）。これは、一般の重みにおいて半安定な経路を構成する難しさを示唆しており、今後の研究課題として残されています。

総じて、本論文は代数曲線上のベクトル束のモジュライ空間の $\mathbb{A}^1$-ホモトピー論における重要な進展をもたらし、半安定性とパラボリック構造という 2 つの重要な条件の下での空間の連結性を確立しました。