[論文レビュー] A generalization of Hartog's extension of line bundles

Youssef Alaoui|arXiv (Cornell University)|Jan 14, 2026

Geometry and complex manifolds被引用数 0

ひとこと要約

複素多様体の次元 n ≥ 4 に対して、q-凸の角を持つ関数 f があるとき、{f > c} 上の任意の全純線束は X へ一意に拡張される。1 ≤ q ≤ n−3 の場合、角を持つ q-完備多様体に対する既存結果を一般化する。

ABSTRACT

In this article, we prove that if $X$ is a complex manifold of dimension $n\geq 4$ such that there exists a $q$-convex with corners function $f\in F_{q}(X)$, then every holomorphic line bundle over $\{f>c\}$ extends uniquely to $X$ if $1\leq q\leq n-3$. This generalizes a well-known result obtained in \cite{ref5} for $q$-complete with corners complex manifolds with a corresponding exhaustion function $f \in F_{q}(X)$, when $n \geq 3q$.

研究の動機と目的

• 非 q-完備設定における全純線束の拡張問題を動機づける。
• q-角付き完備から q-角付き設定への Hartogs 型拡張結果を一般化する。
• f の下限集合を跨ぐ拡張に関するコホモロジー同型性と単射性を確立する。
• 局所コホモロジーと Stein近傍を用いる拡張と一意性の枠組みを提供する。

提案手法

• q-凸の角付き関数を導入し F_q(X) を定義する。
• 補助定理 Lemmas 1–4 を用いて局所コホモロジーの消滅と全体拡張を結びつける。
• Stein近傍系と Mayer–Vietoris列を用いて Y = {f > f(ξ0)} 上のコホモロジーを支配する。
• Grothendieck のスペクトル列と Mittag–Leffler 推論を適用して局所コホモロジーの消滅結果を導く。
• Pic, CartierDivisors, Meromorphic sections らの正確列を用いて拡張と自明性条件を示す。
• p = 0,1,2 に対する H^p(X, O^*) → H^p(Y, O^*) の全単射性, および p = 3 に対する単射性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 複素多様体 X と q-凸の角付き関数 f に対して、制限射 H^p(X, O^*) → H^p({f > c}, O^*) が p = 0,1,2 で全単射となる条件は何か。
• RQ2 角・非全爆発的な f が存在する場合、{f > c} から X への全純線束の拡張はいつ失敗するか。
• RQ3 局所コホモロジーと Stein近傍技法は非 q-完備設定でどのように拡張結果を与えるか。
• RQ4 1 ≤ q ≤ n−3 が次元 n ≥ 4 の多様体に対して拡張結果を与えるのは q-完備性を要しない場合か。
• RQ5 この一般化設定で線束を拡張する際にコホモロジー的障害はあるのか。

主な発見

• もし次元が n ≥ 4 で、1 ≤ q ≤ n−3 の q-凸の角付き関数 f が存在するなら、制限射 H^p(X, O^*) → H^p({f > f(ξ0)}, O^*) は p = 0,1,2 で全単射、p = 3 で単射となる。
• 前述の条件の下で拡張は同型唯一性を持つ。
• 適切な Stein 近傍と交差部で特定のコホモロジー群が消えることを Lemmas が確立し、局所→全体への拡張議論を可能にする。
• Stein 近傍系、Mayer–Vietoris列、スペクトル列を組み合わせて O^* 系の局所・全体コホモロジーを制御する。
• 局所下の上位集合上の位相的に自明な線束が、 Cartier 因子と留名的断片を介して拡張されたとき自明であることを、与えられた仮定の下で示す。