Extension of Ulrich bundles

技術要約：ウルリッヒ・バンドルの拡張

問題設定
本論文は、滑らかで非退化な部分多様体 $X \subset \mathbb{P}^n$ 上に定義されたウルリッヒ・バンドルが、周囲の射影空間 $\mathbb{P}^n$ 上のベクトル束へと拡張可能となる条件を調査するものである。滑らかな部分多様体におけるウルリッチ・バンドルの存在は主要な予想（完全交差の場合は証明済み）であるが、それらが周囲の空間へ拡張可能かという問いは、依然として未解決のままである。著者は、そのような拡張が可能となる条件を特定し、逆に、それを妨げる障害を特徴付けることを目的としている。

手法および枠組み
研究は複素数体 $\mathbb{C}$ 上で行われる。著者は、ウルリッヒ・バンドルのコホモロジー的特徴付けを利用する。すなわち、ベクトル束 $E$ が $X$ 上の $L$-ウルリッヒであるとは、すべての $i$ および $1 \le p \le \dim X$ に対して $H^i(X, E \otimes L^{-p}) = 0$ となることである。

主な手法的な道具は以下の通りである：

1. コホモロジー的消滅とACM特性： ウルリッヒ・バンドルは算術的コーエン・マコーレー（ACM）特性を持つという事実を利用する。次元に関する帰納法を用い、ハイパープレーン切断およびそれに関連する短完全系列を通じて、部分多様体から周囲の空間へとACM特性を伝播させる。
2. チェルン類不変量： 中心的な道具は、不変量 $\tau(E) = \mu(E(k))$ である（ここで $\mu(E) = c_1(外積) / \text{rank}(E)$ であり、$k$ は $E(k)$ が大域生成される最小の整数である）。本論文では、外積冪、対称冪、およびテンソル積の下での $\tau$ の挙動を分析し、拡張が存在する場合に $X$ の幾何学的性質を制約する不等式を確立する。
3. 帰納的議論： 任意の部分多様体に対する証明は、次元に関する最小性の議論に基づき、一般のハイパープレーン切断を用いて高次元の場合を曲線や曲面に帰着させる。
4. 明示的な構成： 曲線における存在結果については、多項式環の乗法写像および $\mathbb{P}^n$ 上のベクトル束の評価写像の性質を用いて、特定の拡張を構成する。

主要な結果

• 完全交差における非拡張性（定理 A）：
  本論文は、次元 $\ge 2$ の滑らかで非退化な完全交差 $X$ において、ウルリッヒ・バンドルは拡張が自明であり $X = \mathbb{P}^n$ である場合を除き、$\mathbb{P}^n$ 上のベクトル束へ拡張できないことを証明している。この証明は、もし拡張 $E$ が存在するならば、それは（Horrocksの判定法により）分解可能な束でなければならず、かつ、次元 $\ge 2$ の完全交差への分解可能な束の制限は、束が自明でありかつ多様体が空間全体である場合を除き、ウルリッヒ条件を満たさないことを示すことに依拠している。

• 拡張可能なバンドルの特徴付け（定理 B）：
  次数 $l$ の任意の滑らかな非退化部分多様体 $X$ について、$\mathbb{P}^n$ 上のランク $r$ のバンドル $E$ が $\mathcal{O}_X(a)$-ウルリッヒ・バンドルに制限される条件を、$\tau(E) < 1$ という仮定の下で特徴付ける。この仮定の下では、$E(1-a)$ は大域生成であり、対 $(X, E)$ は以下の5つの特定の幾何学的構成のいずれかに属さなければならない：

  1. $X = \mathbb{P}^2, a=2, r$ は偶数、かつ $E \cong T_{\mathbb{P}^2}^{\oplus r/2}$。
  2. $X \cong \mathbb{P}^1$ かつ $l$ が $r$ を割り切る。
  3. $X = \mathbb{P}^n, a=1$, かつ $E$ は自明。
  4. $X \cong \mathbb{P}^2, a=1, l=4$, かつ $n \in \{4, 5\}$。
  5. $X \cong \mathbb{P}(\mathcal{E})$ （$\mathbb{P}^1$ 上の振幅な束 $\mathcal{E}$ による）、特定のラインバンドル識別を伴う。
     これら全てのケースにおいて、例外的に(1)を除いて $\tau(E) = (l-1)/l$ である。

• 接束への応用（定理 C）：
  定理 Bを適用することで、著者は外積冪 ($\wedge^p T_{\mathbb{P}^n}$)、対称冪 ($S^p T_{\mathbb{P}^n}$)、およびテンソル冪 ($T_{\mathbb{P}^n}^{\otimes p}$) の捻り（twist）が、いつ部分多様体へのウルリッヒ・バンドルへと制限されるかを決定する。これらの結果は、そのような制限が有理正規曲線（特定の捻りを伴う）であるか、あるいは $X = \mathbb{P}^2$ である場合にのみ可能であることを示している。これは、接束および余接束に関するLópezとZamoraの既往の研究を一般化したものである。

• 曲線における拡張可能バンドルの存在（定理 D）：
  高次元の完全交差における非存在の結果とは対照的に、本論文は、曲線上の非自明なウルリッヒ・バンドルは $\mathbb{P}^n$ へと拡張可能であることを証明している。

  1. $X$ が完全交差曲線である場合、$\mathbb{P}^n$ へ拡張される非自明なウルリッヒ・バンドルが存在する。
  2. 次数 $l$ の滑らかな有理曲線において、任意の $\mathcal{O}_X(a)$-ウルリッヒ・バンドル（ランク $r$、ただし $l|r$）は、$\mathbb{P}^n$ 上の大域生成なベクトル束へと拡張される（具体的には、拡張 $E$ は $E(1-a)$ が大域生成となる）。著者は、この大域生成の性質は、$H^0(X, F(-a))$ の消滅を考慮すると最適であると述べている。

意義および主張
本論文は、次元 $\ge 2$ の完全交差の場合におけるウルリッヒ・バンドルの拡張に対する決定的な障害を提供し、そのような拡張は本質的に不可能であることを示している。逆に、不変量 $\tau(E)$ の境界の下で、任意の部分多様体において拡張が可能となる稀なケースの完全な分類を提供している。

本研究は、接束の制限がウルリッヒであるかどうかの既存の特性付けを一般化し、これらを定理 Bの枠組みの下で統一している。さらに、拡張するバンドルの存在を曲線において確立し、拡張された束に対して最適な陽性度（大域生成性）を達成する明示的な構成を提供している。著者は、定理 D(2)における大域生成の結果が、大域生成の仮定なしにはこれを保証しなかった先行文献（特に[20]）と比較して、新たな貢献であると明言している。