Preprint

Atiyah classes and ellipticity of Oka manifolds

Yuta Kusakabe Shin-ichi Matsumura

Oct 2026 · 1 citation · 22 references

Mathematics

Abstract

We prove that every weakly pseudoconvex Oka manifold admitting a positive line bundle is elliptic in the sense of Gromov, thereby proving Gromov's ellipticity conjecture. The proof establishes a cohomological construction of local sprays. Given a bundle morphism $\varphi\colon E\to T_X$, we introduce quadratic $\varphi$-vector fields on $E$ whose flows yield local sprays with fibre derivative $\varphi$. Their existence is characterized by the vanishing of the symmetrized $\varphi$-Atiyah class of $E$. This gives a local dominating spray on every weakly pseudoconvex manifold admitting a positive line bundle, without any Oka assumption. The positivity hypothesis is essential even for local existence: blow-ups at a single point of complex tori of algebraic dimension zero, and Kummer surfaces of algebraic dimension zero, admit no local dominating spray. The torus examples give compact K\"ahler Oka manifolds that are not elliptic and show that ellipticity is not preserved under blowing up, and that it is neither open nor closed in holomorphic families of compact Oka manifolds. Combined with the work of Xie and Zhao, the Kummer examples yield Oka K3 surfaces that are not elliptic. Under the additional Oka assumption, we globalize the local dominating sprays constructed above. The proof combines Oka approximation with a gluing argument based on weighted $L^2$ estimates for the $\bar\partial$-equation.

arXiv Semantic Scholar

View source

Similar papers

Preprint Oct 2026

Every Gromov elliptic domain is meromorphically pseudoconvex

We prove that every Gromov elliptic domain $\Omega$ in a complex manifold has the following property, which we call meromorphic pseudoconvexity: each boundary point has a neighborhood $V$ such that $\Omega\cap V$ becomes Stein after removing a set which is, locally in $\Omega\cap V$, the union of the polar sets of fini...

Yuta Kusakabe · 1 citation · ⚡1

Preprint Oct 2026

A Local Approximation Characterization of Oka Manifolds

We introduce the local approximation propert (LAP) and prove that it characterizes Oka manifolds. We prove that LAP yields convex approximation and, in an $n$-dimensional target, propagates across sets of zero $(2n-1)$-dimensional Hausdorff measure. Consequently, strong dominability characterizes Oka manifolds, convex...

Si-Cheng An, Yun Du, Bin Guo et al. · 4 citations · ⚡1

Preprint Sep 2026

Riemann-Roch Polynomials, MBM Classes and Poor IHS Manifolds

We study poor irreducible holomorphic symplectic manifolds, namely those containing no rational curves and no codimension-one subvarieties. We show that, for such manifolds, several natural cones in $H^{1,1}(X,\mathbb R)$ coincide, giving strong rigidity consequences. In particular, poor elliptic irreducible holomorp...

Pisya Vikash · 0 citations

Preprint Oct 2026

Oka manifolds are ubiquitous

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

Si-Cheng An, Yun Du, Bin Guo et al. · 3 citations

Preprint Oct 2026

The Kuranishi space of joint deformations of Calabi--Yau manifolds and holomorphic vector bundles

In this paper, we study joint deformations of pairs $(X,E)$, where $X$ is a compact complex manifold and $E\rightarrow X$ is a holomorphic vector bundle. We prove that $(X,E)$ has unobstructed deformations if $X$ is a Fujiki manifold with torsion canonical bundle and $H^2(X,\textrm{End}^0E)=0$, where $\textrm{End}^0 E$...

Run-Ze Zhang · 1 citation

Preprint Sep 2026

Kodaira fibres and wrapped Floer cohomology

Let $F$ be a singular fibre of a relatively minimal complex elliptic fibration with smooth total space, and let $\Omega$ be a nonvanishing holomorphic two-form near $F$. We show that a small neighbourhood of $F$ is a Weinstein domain for $\mathrm{Re}\,\Omega$ whose completion is a Legendrian surgery, with cocores obtai...

Yankı Lekili · 0 citations