Oka manifolds are ubiquitous
Abstract
We prove that a holomorphic family of connected complex Lie groups has Oka total space if and only if its base is Oka. Extension presentations and generating sections give Oka results for stable and parabolic bundle moduli and for holomorphic mapping and embedding spaces. Every nonempty degree component of maps from a compact Oka curve to projective space is Oka; rational-function spaces are also holomorphically elliptic. For a vector bundle on a smooth projective curve, the Oka property of its nested Quot scheme is equivalent to that of the symmetric powers determined by the length increments. Complete Hamiltonian flows give holomorphic ellipticity of irreducible SL2- and GL2-character and representation loci, for closed surfaces of genus at least two and for surfaces with fixed regular semisimple boundary classes. The Riemann--Hilbert correspondence yields Oka moduli spaces of nonresonant parabolic connections for arbitrary parabolic weights, and holomorphic ellipticity when reducible monodromy is absent. A proper holomorphic fibration over a Riemann surface, with a section and connected complex tori as smooth general fibres, has Oka total space exactly when its base is Oka. For a Schoen fibre product X of rational elliptic surfaces with disjoint singular values, we construct an entire local biholomorphism ℂ3→ X whose image contains a dense Zariski-open subset. Further applications treat Hilbert schemes, compactified relative Jacobians, and logarithmic complements.
Related
BibTeX
@misc{an2026manifolds,
title = {{Oka manifolds are ubiquitous}},
author = {Sicheng An and Yun-Heng Du and Bin Guo and Peng-Chao Wang and Song-Yan Xie},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.10493},
eprint = {2610.10493},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.10493},
}
RIS
TY - UNPB
TI - Oka manifolds are ubiquitous
AU - Sicheng An
AU - Yun-Heng Du
AU - Bin Guo
AU - Peng-Chao Wang
AU - Song-Yan Xie
PY - 2026
DA - 2026/10/19
PB - arXiv
DO - 10.48550/arxiv.2610.10493
UR - https://arxiv.org/abs/2610.10493
AB - We prove that a holomorphic family of connected complex Lie groups has Oka total space if and only if its base is Oka. Extension presentations and generating sections give Oka results for stable and parabolic bundle moduli and for holomorphic mapping and embedding spaces. Every nonempty degree component of maps from a compact Oka curve to projective space is Oka; rational-function spaces are also holomorphically elliptic. For a vector bundle on a smooth projective curve, the Oka property of its nested Quot scheme is equivalent to that of the symmetric powers determined by the length increments. Complete Hamiltonian flows give holomorphic ellipticity of irreducible SL_2- and GL_2-character and representation loci, for closed surfaces of genus at least two and for surfaces with fixed regular semisimple boundary classes. The Riemann--Hilbert correspondence yields Oka moduli spaces of nonresonant parabolic connections for arbitrary parabolic weights, and holomorphic ellipticity when reducible monodromy is absent. A proper holomorphic fibration over a Riemann surface, with a section and connected complex tori as smooth general fibres, has Oka total space exactly when its base is Oka. For a Schoen fibre product X of rational elliptic surfaces with disjoint singular values, we construct an entire local biholomorphism ℂ^3→ X whose image contains a dense Zariski-open subset. Further applications treat Hilbert schemes, compactified relative Jacobians, and logarithmic complements.
ER -