Oka tubes in holomorphic line bundles
Abstract Let ( E , h ) be a semipositive hermitian holomorphic line bundle on a compact complex manifold X with $$\dim X>1$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mo>dim</mml:mo> <mml:mi>X</mml:mi> <mml:mo>></mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:math> . Assume that for each point $$x\in X$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>x</mml:mi> <mml:mo>∈</mml:mo> <mml:mi>X</mml:mi> </mml:mrow> </mml:math> there exists a divisor $$D\in |E|$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>D</mml:mi> <mml:mo>∈</mml:mo> <mml:mo>|</mml:mo> <mml:mi>E</mml:mi> <mml:mo>|</mml:mo> </mml:mrow> </mml:math> in the complete linear system determined by E whose complement $$X\setminus D$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>X</mml:mi> <mml:mo>\</mml:mo> <mml:mi>D</mml:mi> </mml:mrow> </mml:math> is a Stein neighbourhood of x with the density property. Then, the disc bundle $$\Delta _h(E)=\{e\in E:|e|_h<1\}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>Δ</mml:mi> <mml:mi>h</mml:mi> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>E</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>=</mml:mo> <mml:msub> <mml:mrow> <mml:mo>{</mml:mo> <mml:mi>e</mml:mi> <mml:mo>∈</mml:mo> <mml:mi>E</mml:mi> <mml:mo>:</mml:mo> <mml:mo>|</mml:mo> <mml:mi>e</mml:mi> <mml:mo>|</mml:mo> </mml:mrow> <mml:mi>h</mml:mi> </mml:msub> <mml:mrow> <mml:mo><</mml:mo> <mml:mn>1</mml:mn> <mml:mo>}</mml:mo> </mml:mrow> </mml:mrow> </mml:math> is an Oka manifold while $$D_h(E)=\{e\in E:|e|_h>1\}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>D</mml:mi> <mml:mi>h</mml:mi> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>E</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>=</mml:mo> <mml:msub> <mml:mrow> <mml:mo>{</mml:mo> <mml:mi>e</mml:mi> <mml:mo>∈</mml:mo> <mml:mi>E</mml:mi> <mml:mo>:</mml:mo> <mml:mo>|</mml:mo> <mml:mi>e</mml:mi> <mml:mo>|</mml:mo> </mml:mrow> <mml:mi>h</mml:mi> </mml:msub> <mml:mrow> <mml:mo>></mml:mo> <mml:mn>1</mml:mn> <mml:mo>}</mml:mo> </mml:mrow> </mml:mrow> </mml:math> is a Kobayashi hyperbolic domain. In particular, the zero section of E admits a basis of Oka neighbourhoods $$\{|e|_h<c\}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mo>{</mml:mo> <mml:mo>|</mml:mo> <mml:mi>e</mml:mi> <mml:msub> <mml:mo>|</mml:mo> <mml:mi>h</mml:mi> </mml:msub> <mml:mo><</mml:mo> <mml:mi>c</mml:mi> <mml:mo>}</mml:mo> </mml:mrow> </mml:math> with $$c>0$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>c</mml:mi> <mml:mo>></mml:mo> <mml:mn>0</mml:mn> </mml:mrow> </mml:math> . We show that this holds if X is a rational homogeneous manifold of dimension $$>1$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mo>></mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:math> . This class of manifolds includes complex projective spaces, Grassmannians, and flag manifolds. This phenomenon contributes to the heuristic principle that Oka properties are related to metric positivity of complex manifolds.
Authors
- Franc Forstnerič (ORCID: https://orcid.org/0000-0002-7975-0212)
- Yuta Kusakabe (ORCID: https://orcid.org/0000-0001-5829-0694)
Institutions
- Kyushu University (JP)
- University of Ljubljana (SI)
- Institute of Mathematics, Physics, and Mechanics (SI)
Publication Details
- Journal
- Mathematische Annalen
- Published
- 2024-11-28
- DOI
- https://doi.org/10.1007/s00208-024-03051-z
- Citations
- 1
- Primary Topic
- Geometry and complex manifolds
- Type
- article
- Field-Weighted Citation Impact
- 1.01
Funders
- European Commission
- Javna Agencija za Raziskovalno Dejavnost RS
- Univerza v Ljubljani
- Japan Society for the Promotion of Science