[논문 리뷰] The Oka principle for holomorphic fibre bundles of Holder-Zygmund classes on strongly pseudoconvex domains

Franc Forstnerič|arXiv (Cornell University)|2026. 02. 13.

Holomorphic and Operator Theory인용 수 0

한 줄 요약

이 논문은 compact strongly pseudoconvex 도메인에서 Hölder–Zygmund 클래스의 섬세한 섬유를 갖는 holomorphic fibration에 대한 Oka 원리를 증명하고, 연속 해로부터 holomorphic 해로의 동형사전(homotopy) 및 매개변수 버전을 제시하며 벡터 및 주연(bundle) 분류에 응용한다.

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.

연구 동기 및 목표

• Oka 이론을 strongly pseudoconvex 도메인上的 Hölder–Zygmund 매핑 공간으로 확장하려는 동기 부여.
• 각 연속 해가 interior에서 holomorphic인 Hölder–Zygmund 규칙성을 갖는 해로에 동형적으로 매핑될 수 있음을 보인다.
• 매개변수 버전 및 보조 벡터 및 주연 번들 분류를 돕는 근본적 결과를 확립한다.
• Λ^r_O holomorphic 설정에서 Oka 섬유를 가진 번들에 대한 기초적 결과를 제공한다.

제안 방법

• Hölder–Zygmund 공간 Λ^r 및 Λ^r_O를 개발하고 사용하여 매핑 클래스와 번들 클래스를 정의한다.
• Cartan 쌍과 convex bump를 통해 strongly pseudoconvex 도메인에서 Λ^r_O(Ω̄)-맵에 대한 근사 결과를 증명한다.
• Λ^r 공간에 대한 canonical ∂-문제 해 해결 연산자를 적용하여 국소 holomorphic 데이터를 이어 붙인다.
• Λ^r_O-섹션의 스프레이(sprays)을 분해하고 접합하는 보조 정리 및 접합 정리를 사용하여 전역 holomorphic 해를 구성한다.
• 1-매개변수 Oka 원리(정리 1.1) 및 완전한 매개변수 버전(정리 6.1)을 도출한다.
• 근사 정리(정리 1.2) 및 Banach 다양체 구조 결과(정리 1.3)를 확립한다.

실험 결과

연구 질문

• RQ1 Λ^r_O(Ω̄) 규칙성을 갖는 holomorphic fibration의 연속 해가 interior에서 holomorphic 해로 변형될 수 있는가?
• RQ2 Hölder–Zygmund 규칙성을 갖는 해의 가족에 대해 매개변수 버전이 성립하는가?
• RQ3 Ω에서 제어를 갖는 Λ^r_O(Ω̄)-맵을 holomorphic 맵으로 근사할 수 있는가?
• RQ4 Λ^r_O(Ω̄) 설정으로 벡터 번들 및 주연 번들의 Oka 유형 분류가 확장되는가?
• RQ5 Λ^r_O(Ω̄) 동형을 refine하면 번들의 동형 유형에 어떤 영향을 미치는가?

주요 결과

• 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).