[論文レビュー] The Oka principle for holomorphic fibre bundles of Holder-Zygmund classes on strongly pseudoconvex domains

Franc Forstnerič|arXiv (Cornell University)|Feb 13, 2026

Holomorphic and Operator Theory被引用数 0

ひとこと要約

要約: 本論文は、強い介面的凸領域上の Hölder–Zygmund 型のホロモ morphic ファイバー束に対して Oka 原理を証明し、連続断面からホロモorphic断面への同相およびパラメトリック版を示し、ベクトル・主束への応用を提供する。

ABSTRACT

Let $\overline Ω$ be a compact strongly pseudoconvex domain with smooth boundary in a Stein manifold, and let $h:Z o \overline Ω$ be a fibre bundle of Hölder-Zygmund class $Λ^r$, $r>0$, which is holomorphic over $Ω$. Assuming that the fibre is an Oka manifold, we prove that every continuous section $f_0:\overline Ω o Z$ is homotopic to a section $f_1:\overline Ω o Z$ of class $Λ^r(\overline Ω)$ which is holomorphic on $Ω$, and we establish a parametric version of the same result. As an application, we obtain the Oka principle for the classification of vector bundles and principal bundles of Hölder-Zygmund classes.

研究の動機と目的

• 強い前凸領域における Hölder–Zygmund 写像空間へ Oka 理論を拡張する動機づけ。
• 連続断面は内部でホロモ morphic な Hölder–Zygmund レギュリティの断面へ同相であることを示す。
• パラメトリック版と近似結果を確立し、ベクトル・主束の分類を支援する。
• Λ^r_O ホロモムフィック設定における Oka ファイバーを持つ束の基礎的結果を提供する。

提案手法

• Hölder–Zygmund 空間 Λ^r および Λ^r_O を用いて写像・束のクラスを定義する。
• Cartan 対と凸状バンプを用いて強い前凸領域上の Λ^r_O(Ω̄) 写像の近似結果を証明する。
• Λ^r 空間の標準的な ∂-問題解決演算子を適用して局所ホロモ morphic データを結ぶ。
• Λ^r_O-断面のスプレーの分割補題と貼り合わせ補題を用いて全局ホロモ morphic 断面を構築する。
• 1-パラメータの Oka 原理（定理 1.1）と完全なパラメトリック版（定理 6.1）を導く。
• 近似定理（定理 1.2）とバナッハ多様体構造の結果（定理 1.3）を確立する。

実験結果

リサーチクエスチョン

• RQ1 Λ^r_O(Ω̄) レギュリティを持つ holomorphic ファイバー束の連続断面を内部で holomorphic 断面へ変形できるか。
• RQ2 Hölder–Zygmund レギュリティを持つ断面族のパラメトリック版は成り立つか。
• RQ3 Ω 上での Λ^r_O(Ω̄)-maps を Ω 上のホロモ morphic maps で近似でき、 Ω̄ の制御を保てるか。
• RQ4 Λ^r_O(Ω̄) 設定でベクトル・主束の Oka 型分類は拡張できるか。
• RQ5 位相データを Λ^r_O(Ω̄) 同型に精緻化したとき、束の同型類にどのような影響があるか。

主な発見

• Every continuous section of a Λ^r_O(Ω̄)-bundle with Oka fibre is homotopic to a section of class Λ^r(Ω̄) holomorphic on Ω.
• The homotopy can be chosen to keep ends fixed for a given pair of Λ^r_O(Ω̄)-sections.
• There is a parametric version of the result, yielding families of sections deformable through Λ^r_O(Ω̄) maps.
• Λ^r_O(Ω̄) spaces form complex Banach manifolds with tangent spaces given by Λ^r_O(Ω̄)-sections of the pulled-back tangent bundle.
• An Oka principle for vector bundles of class Λ^r_O(Ω̄) holds: every topological vector bundle is isomorphic to one of this class, and isomorphisms are realizable inside Λ^r_O(Ω̄).
• An analogous Oka principle is established for principal bundles (Theorem 7.1).