pith. sign in

arxiv: 2502.20028 · v6 · pith:J763QG5Qnew · submitted 2025-02-27 · 🧮 math.CV

Every projective Oka manifold is elliptic

Franc Forstneric , Finnur Larusson This is my paper

Pith reviewed 2026-05-23 02:48 UTC · model grok-4.3

classification 🧮 math.CV
keywords Oka manifoldGromov ellipticityprojective manifoldcomplex geometryOka principleholomorphic spraydominating spray
0
0 comments X

The pith

Every projective Oka manifold is elliptic in Gromov's sense.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that any projective manifold satisfying the Oka property is elliptic according to Gromov's definition. This resolves a question that has remained open in complex geometry. A sympathetic reader would care because the result links two notions previously treated separately, showing that projectivity plus the Oka condition forces the existence of dominating holomorphic sprays. The proof therefore transfers approximation and section properties from elliptic manifolds to all projective Oka manifolds. It strengthens the toolkit for studying holomorphic maps into these spaces.

Core claim

We show that every projective Oka manifold is elliptic in the sense of Gromov. This gives an affirmative answer to a long-standing open question.

What carries the argument

The direct implication from the Oka property to Gromov ellipticity when the manifold is projective.

If this is right

  • Projective Oka manifolds admit dominating holomorphic sprays.
  • Approximation and homotopy properties known for elliptic manifolds now apply to all projective Oka manifolds.
  • The Oka principle holds for sections and maps into these manifolds via the elliptic theory.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Projectivity appears necessary for the implication, suggesting that non-projective Oka manifolds might fail to be elliptic.
  • The result opens the possibility of constructing new elliptic manifolds simply by verifying the Oka property on projective examples.
  • Similar implications might be testable in related categories such as quasi-projective or Kähler manifolds.

Load-bearing premise

The standard definitions of the Oka property and Gromov ellipticity remain compatible in the projective category so the implication follows from prior results.

What would settle it

An explicit projective manifold that satisfies the Oka property yet admits no dominating holomorphic spray would disprove the claim.

read the original abstract

We show that every projective Oka manifold is elliptic in the sense of Gromov. This gives an affirmative answer to a long-standing open question.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript asserts that every projective Oka manifold is elliptic in the sense of Gromov, thereby providing an affirmative answer to a long-standing open question in complex geometry.

Significance. If the result holds, it would resolve an important open problem by establishing the equivalence (or implication) between the Oka property and Gromov ellipticity specifically in the projective category, with potential implications for the study of holomorphic maps and Stein manifolds.

major comments (1)
  1. [Abstract] Abstract: The abstract asserts the result but supplies no proof details, lemmas, or verification steps. Without the full manuscript, the mathematical support for the claim cannot be assessed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their comments on our manuscript. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: The abstract asserts the result but supplies no proof details, lemmas, or verification steps. Without the full manuscript, the mathematical support for the claim cannot be assessed.

    Authors: The abstract is a concise summary of the main result, as is standard. The full manuscript (available on arXiv) contains the complete proof that every projective Oka manifold is elliptic, including all lemmas, constructions, and verification steps required to establish the claim. revision: no

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper establishes a direct mathematical implication that every projective Oka manifold is Gromov elliptic, resolving an open question via standard definitions and prior results on Oka manifolds. No equations, parameters, or predictions are involved that reduce to fitted inputs or self-definitions by construction. The abstract and context show no load-bearing self-citations, ansatzes smuggled via prior work, or renaming of known results; the proof is presented as self-contained within the projective category using compatible notions of the two properties. This is the expected outcome for a theorem paper without empirical fitting or circular reductions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no specific free parameters, axioms beyond standard mathematics, or invented entities are mentioned.

pith-pipeline@v0.9.0 · 5527 in / 871 out tokens · 37636 ms · 2026-05-23T02:48:05.657187+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    Alarc ´on, F

    A. Alarc ´on, F. Forstneriˇc, and F. L´arusson. Isotopies of complete minimal surfaces of finite total curvature. Preprint, arXiv:2406.04767 [math.DG] (2024), 2024

    work page arXiv 2024

  2. [2]

    R. B. Andrist, N. Shcherbina, and E. F. Wold. The Hartogs extension theorem for holomorphic vector bundles and sprays. Ark. Mat., 54(2):299–319, 2016

    work page 2016

  3. [3]

    Arzhantsev, S

    I. Arzhantsev, S. Kaliman, and M. Zaidenberg. Varieties covered by affine spaces, uniformly rational varieties and their cones. Adv. Math., 437:18, 2024. Id/No 109449

    work page 2024

  4. [4]

    J. Banecki. Retract rational varieties are uniformly retract rational. Preprint, arXiv:2411.17892 [math.AG] (2024), 2024

    work page arXiv 2024

  5. [5]

    W. P. Barth, K. Hulek, C. A. M. Peters, and A. Van de Ven. Compact complex surfaces , volume 4 of Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge. Springer-Verlag, Berlin, second edition, 2004. 10

    work page 2004

  6. [6]

    Bochner and D

    S. Bochner and D. Montgomery. Groups on analytic manifolds. Ann. of Math. (2), 48:659–669, 1947

    work page 1947

  7. [7]

    Forstneri ˇc

    F. Forstneri ˇc. Recent developments on Oka manifolds. Indag. Math., New Ser., 34(2):367–417, 2023

    work page 2023

  8. [8]

    Forstneri ˇc

    F. Forstneri ˇc. The Oka principle for sections of subelliptic submersions. Math. Z., 241(3):527–551, 2002

    work page 2002

  9. [9]

    Forstneri ˇc

    F. Forstneri ˇc. Holomorphic flexibility properties of complex manifolds. Amer. J. Math., 128(1):239–270, 2006

    work page 2006

  10. [10]

    Forstneri ˇc

    F. Forstneri ˇc. Runge approximation on convex sets implies the Oka property.Ann. of Math. (2), 163(2):689– 707, 2006

    work page 2006

  11. [11]

    Forstneri ˇc

    F. Forstneri ˇc. Oka manifolds: from Oka to Stein and back. Ann. Fac. Sci. Toulouse Math. (6), 22(4):747– 809, 2013. With an appendix by Finnur L´arusson

    work page 2013

  12. [12]

    Forstneri ˇc

    F. Forstneri ˇc. Stein manifolds and holomorphic mappings (The homotopy principle in complex analysis) , volume 56 ofErgebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Springer, Cham, second edition, 2017

    work page 2017

  13. [13]

    Forstneri ˇc

    F. Forstneri ˇc. Mergelyan’s and Arakelian’s theorems for manifold-valued maps.Mosc. Math. J., 19(3):465– 484, 2019

    work page 2019

  14. [14]

    Forstneri ˇc and F

    F. Forstneri ˇc and F. L´arusson. Survey of Oka theory. New York J. Math., 17A:11–38, 2011

    work page 2011

  15. [15]

    Forstneri ˇc and J

    F. Forstneri ˇc and J. Prezelj. Oka’s principle for holomorphic fiber bundles with sprays. Math. Ann. , 317(1):117–154, 2000

    work page 2000

  16. [16]

    H. Grauert. ¨Uber Modifikationen und exzeptionelle analytische Mengen. Math. Ann., 146:331–368, 1962

    work page 1962

  17. [17]

    M. Gromov. Oka’s principle for holomorphic sections of elliptic bundles. J. Amer. Math. Soc., 2(4):851– 897, 1989

    work page 1989

  18. [18]

    Kaliman, F

    S. Kaliman, F. Kutzschebauch, and T. T. Truong. On subelliptic manifolds.Israel J. Math., 228(1):229–247, 2018

    work page 2018

  19. [19]

    Kaliman and M

    S. Kaliman and M. Zaidenberg. Algebraic Gromov ellipticity of cones over projective manifolds. Math. Res. Lett., 31(6):1785–1817, 2024

    work page 2024

  20. [20]

    Kaliman and M

    S. Kaliman and M. Zaidenberg. Gromov ellipticity and subellipticity. Forum Math., 36(2):373–376, 2024

    work page 2024

  21. [21]

    Kaliman and M

    S. Kaliman and M. Zaidenberg. Algebraic Gromov’s ellipticity of cubic hypersurfaces. Proc. Steklov Inst. Math., 329, 2025. https://arxiv.org/abs/2402.04462

    work page arXiv 2025

  22. [22]

    K. Kodaira. On K ¨ahler varieties of restricted type. (An intrinsic characterization of algebraic varieties.). Ann. Math. (2), 60:28–48, 1954

    work page 1954

  23. [23]

    Kusakabe

    Y . Kusakabe. Elliptic characterization and localization of Oka manifolds. Indiana Univ. Math. J. , 70(3):1039–1054, 2021

    work page 2021

  24. [24]

    Kusakabe

    Y . Kusakabe. Oka properties of complements of holomorphically convex sets.Ann. Math. (2), 199(2):899– 917, 2024

    work page 2024

  25. [25]

    L ´arusson and T

    F. L ´arusson and T. T. Truong. Algebraic subellipticity and dominability of blow-ups of affine spaces.Doc. Math., 22:151–163, 2017

    work page 2017

  26. [26]

    L ´arusson and T

    F. L ´arusson and T. T. Truong. Approximation and interpolation of regular maps from affine varieties to algebraic manifolds. Math. Scand., 125(2):199–209, 2019

    work page 2019

  27. [27]

    Lazarsfeld

    R. Lazarsfeld. Positivity in algebraic geometry. II , volume 49 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics. Springer-Verlag, Berlin, 2004

    work page 2004

  28. [28]

    J. Prezelj. A relative Oka-Grauert principle for holomorphic submersions over 1-convex spaces. Trans. Amer. Math. Soc., 362(8):4213–4228, 2010

    work page 2010

  29. [29]

    J. Prezelj. Positivity of metrics on conic neighborhoods of 1-convex submanifolds. Internat. J. Math. , 27(5):1650047, 24, 2016

    work page 2016

  30. [30]

    J.-P. Serre. G´eom´etrie alg´ebrique et g´eom´etrie analytique. Ann. Inst. Fourier, Grenoble, 6:1–42, 1955–1956

    work page 1955

  31. [31]

    K. Stopar. Approximation of holomorphic mappings on 1-convex domains. Internat. J. Math. , 24(14):1350108, 33, 2013

    work page 2013

  32. [32]

    Zaidenberg

    M. Zaidenberg. Algebraic Gromov ellipticity: a brief survey. 2024. https://arxiv.org/abs/ 2409.04776. FRANC FORSTNERI ˇC, F ACULTY OF MATHEMATICS AND PHYSICS , U NIVERSITY OF LJUBLJANA , JADRANSKA 19, 1000 L JUBLJANA , SLOVENIA 11 FRANC FORSTNERI ˇC, I NSTITUTE OF MATHEMATICS , P HYSICS , AND MECHANICS , J ADRANSKA 19, 1000 L JUBLJANA , S LOVENIA Email ad...

    work page arXiv 2024