Ulrich wildness of some decomposable threefold scrolls over $\mathbb F_a$

技術要約：$\mathbb{F}_a$ 上の分解可能な三次元スクロールのウルリッヒ野生性について

問題設定
本論文は、基本面 $\mathbb{F}_a$ ($a \geq 0$) 上の三次元スクロール $X$ におけるウルリッヒ束の存在と構造的性質を調査している。ウルリッヒ束は曲線や特定の曲面についてはよく特徴付けられているが、次元 $n \geq 3$ の多様体におけるその存在とランクの分類は、依然として多くが未解決である。著者らは、$X$ の「ウルリッヒ野生性（Ulrich wildness）」、すなわち、互いに非同型な、任意に大きな族の既約ウルリッヒ束を支持する性質について取り組んでいる。

先行研究 [9] では、$0 \leq a \leq b \leq 1$ の場合において、これらのスクロール上のウルリッヒ束のモジュライ空間が、特定の線束の反復拡張から生じる、生成的に滑らかな成分を含むことが確立されている。しかし、この先行研究は、$a$ と $b$ がこの範囲外にある場合にモジュラー的な障害が生じるため、高ランクの束のための滑らかなモジュラー族の構成が制限されていた。本論文は、束が基底面から「継承」されるケースと、「障害」によって滑らかなモジュライが妨げられるものの野生性は依然として保持されるケースを区別することで、残りのケースを解決することを目的としている。

手法
著者らは、三次元スクロール $X = \mathbb{P}_{\mathbb{F}_a}(E^b_a)$ を、非常に豊富な因子 $h = \mathcal{O}_a(1, 1, c)$ （ここで $c \geq a + b + 1$）によって埋め込まれたものとして分析する。$E^b_a = \mathcal{O}_{\mathbb{F}_a} \oplus \mathcal{O}_{\mathbb{F}_a}(0, -b)$ である。手法は、特定の線束の再帰的な拡張を用いてランク $r$ のウルリッヒ束を構成し、その拡張空間の次元とモジュライ成分の次元を分析することに基づいている。

アプローチは、パラメータ $a$ と $b$ に基づいて主に2つの領域に分かれている：

1. 継承されたケース ($b \geq 0 = a$):

   • 著者らは、$\mathbb{F}_0$ からの引き戻しである一対の線束 $(L, L^U)$ の反復拡張の変形を検討する。
   • 彼らは、$L$ と $L^U$ を交互に用いる完全列 $0 \to G_{r-1} \to G_r \to L_{\epsilon_r} \to 0$ を通じて、ランク $r$ の束 $G_r$ を構成する。
   • $r \geq 3$ における安定性と単純性を確保するために、著者らは、再帰的構成における厳密に半安定な中間項を、以前に構成されたモジュラー成分からの傾斜安定な束 $U_{r-1}$ に置き換える。
   • 彼らは、チェルン類を再帰的に計算し、自己同型束のオイラー標数を用いてモジュライ空間の次元を決定する。
   • モジュライ成分のユニラショナル性は、$\mathbb{mathbb{F}}_0$ 上の束のモジュライ空間から基底面 $\mathbb{F}_0$ 上の束への射を用いることで確立される。これは既知のユニラショナル性を持つ。

2. 障害のあるケース ($b \geq a \geq 0$, 特定の小さなケースを除く):

   • この領域は、対 $(N, N^U)$ を含む。ここでは、コホモロジー的な障害（特に非消滅な $H^2$ 群）により、反復拡張による生成的に滑らかなモジュラー成分の存在が妨げられる。
   • これらの障害にもかかわらず、著者らは、既約な束の族が存在することを示すことで、ウルリッヒ野生性を証明する。
   • 彼らは、継承されたケースと同様の交互拡張戦略を利用するが、そこでは厳密に半安定なままである束を用いる。
   • 証明の鍵は、一般的な拡張類に対して、結果として得られる中間項の束が既約であることを示すことにある。これは、拡張空間 $\text{Ext}^1(G_{r-1}, N_{\epsilon_r})$ に対する自己同型群 $\text{Aut}(G_{r-1}) \times \text{Aut}(N_{\epsilon_r})$ の作用を分析することによって達成される。
   • $\text{Hom}$ 群および $\text{End}$ 群の次元を帰納的に計算することにより、拡張空間の次元が自己同型群の作用による軌道の次元を厳密に上回ることを示す。これにより、一般的な拡張が非同型かつ既約な束を与えることが保証される。

主な貢献と結果

• 主定理 (パート1): $b \geq 0 = a$ かつ $c \geq b + 1$ の場合、ランク $r \geq 2$ の任意の $r$ に対して、ランク $r$ のウルリッヒ束のモジュライ空間は、生成的に滑らかでユニラショナルな成分 $M(r)$ を含む。

  • $M(r)$ の次元は明示的に計算されている：$r$ が奇数の場合は $(r^2 - 1)(2c - b - 1)$、偶数の場合は $r^2(2c - b - 1) + 1$ である。
  • $M(r)$ の一般点は、傾斜安定なウルリッヒ束に対応する。
  • したがって、$X$ は幾何学的に $h$-ウルリッヒ野生であり、傾斜安定なウルリッヒ束のランクにギャップはない ($U_r(X) = \mathbb{N}^*$) ことが示される。

• 主定理 (パート 2): $0 \leq a \leq 1, b \geq 2$ または $b \geq a \geq 1$ （$(1,1)$ を除く）の場合、$X$ は幾何学的に $h$-ウルリッヒ野生である。

  • コホモロジー的な障害により生成的に滑らかなモジュラー成分が存在しない可能性があるものの、本論文は任意のランク $r \geq 2$ の既約なウルリッヒ束の族の存在を証明している。
  • これにより、既約なウルリッヒ束のランクにギャップがないこと（$U_r(X) = \mathbb{N}^*$）が確立される。

• チェルン類の公式: 本論文は、構成されたランク $r$ のウルリッヒ束のチェルン類 $c_1, c_2, c_3$ の明示的な再帰的公式を提供しており、奇数ランクと偶数ランクを区別している。

意義
本論文は、標準的な手法による滑らかなモジュライ空間の構成が通常困難となる、より高次元の多様体へのウルリッヒ束の理解を拡張するものである。「継承された」ケースと「障害のある」ケースを区別することで、著者らはウルリッヒ野生性の性質が頑健であることを示している。すなわち、滑らかなモジュライ空間を構築するための標準的なメカニズムが失敗する場合でも、その性質は維持される。これらの結果は、分解可能な三次元スクロールが、大きな既約なウルリッヒ束の族によって特徴付けられる豊かな内部幾何学を支持していることを裏付けており、$n \geq 3$ におけるウルリッヒ束の分類における空白を埋めるものである。本研究は、先行研究 [9] の基礎的な結果を拡張し、特にパラメータ $a$ および $b$ が以前の研究範囲 $0 \leq a \leq b \leq 1$ を超えるケースに対処している。