Segre invariants of principal bundles over a curve

論文要約：曲線上の主束におけるセグレ不変量

1. 問題の背景と目的 (Problem)

ベクトル束 $V$ において、ランク $n$ の部分束が達成しうる最大次数を符号化する「セグレ不変量 $s_n(V)$」は、安定性の度合いを測る指標として知られており、モジュライ空間の層状構造（stratification）を定義するために用いられます。

本論文の主な目的は、この概念をベクトル束から、より一般的な連結簡約代数群 $G$ 上の主束 $E$ へと拡張することです。具体的には、任意の放物型部分群 $P \subset G$ に対して、主束の安定性を測る新しい不変量 $s_P(E)$ を定義し、その幾何学的・代数的な性質（半連続性、不変性、モジュライ空間の層状構造）を明らかにすることを目指しています。

2. 手法 (Methodology)

著者らは、以下の数学的手法を用いて研究を進めています。

• 幾何学的定義: 主束 $E$ の構造群を $P$ に簡約する（reduction of structure group）切断 $\sigma: X \to E/P$ を考えます。セグレ不変量を、随伴束の法束（normal bundle）の次数の最小値として定義します：
  $$s_P(E) := \min \{ \deg \sigma^* T_\pi : \sigma: X \to E/P \text{ is a reduction to } P \}$$
  ここで $T_\pi$ は $E/P \to X$ のファイバー方向の接束です。
• 代数的アプローチ: リー環の理論を用い、等方性表現（isotropy representation）の行列式（determinant of the isotropy representation）を用いた文字（character）による定式化を行います。
• モジュライ理論: ヒルベルト・スキーム（Hilbert scheme）の理論、および既知のベクトル束のモジュライ空間の結果（Harder-Narasimhan層状構造など）を、主束の文脈へと拡張・適用しています。
• 構成的構成法: $GL_3$ のボレル部分群 $B$ に関する解析では、ライン束の反復的な延長（iterated extensions）を用いて、特定の次数を持つ主束を具体的に構成しています。

3. 主な貢献と結果 (Key Contributions & Results)

本論文の成果は、大きく分けて以下の3つの定理に集約されます。

A. 半連続性と層状構造 (Theorem A):

• 関数 $s_P$ は、主束の族において**下半連続（lower semicontinuous）**であることを証明しました。
• これにより、$s_P(E)$ の値に基づいて、主束のモジュライ空間 $\mathcal{M}_X(G, \delta)$ を局所閉集合の非交和へと分割する**セグレ層状構造（Segre stratification）**が定義できることを示しました。

B. 群の準同型による不変性 (Theorem B):

• 連結簡約代数群の間の全射準同型 $\phi: G \to H$ があるとき、核（Kernel）の連結成分が中心に含まれるという条件下で、$s_P(E) = s_{\phi(P)}(E(H))$ が成立することを示しました。
• これにより、$GL_r$ と $PGL_r$、あるいは $Spin_{2n}$ と $SO_{2n}$ といった、中心の差を除いて本質的に同じ情報を持つ群の間で、セグレ層状構造が保存されることを明らかにしました。

C. $GL_3$ のボレル部分群における解析 (Theorem C):

• 最大ではない放物型部分群（ボレル部分群 $B$）の場合、層状構造がより複雑（非既約、非等次元）になることを示しました。
• Hirschowitz型境界の証明: $GL_3$ 束において、セグレ不変量 $s_B(E)$ が特定のトポロジカル型において $3(g-1)$ という鋭い（sharp）上界を持つことを証明しました。これは、非最大放物型部分群に関する最初の例の一つです。

4. 学術的意義 (Significance)

本研究は、ベクトル束の安定性理論を、リー理論に基づいたより広範な代数群の理論へと統合する重要なステップです。

1. 理論の一般化: 従来のベクトル束のセグレ不変量を、古典的リー群（$Sp_{2n}, SO_r$ など）の主束における不変量として自然に包含しました。
2. モジュライ空間の理解: 主束のモジュライ空間の幾何学的構造（どの層がどの層の閉包に含まれるか、次元はいくらか）を、群の構造（中心や基本群）と関連付けて精密に記述しました。
3. 新しい境界値の提示: 非最大放物型部分群における鋭い上界の提示は、安定性理論における計算幾何学的な問題に対して新たな知見を与えています。