arxiv: 2605.05582 · v1 · submitted 2026-05-07 · 🧮 math.CV · math.AG· math.DG

Recognition: unknown

Revised Demailly's Affineness Criterion and Algebraization of Entire Grauert Tubes

Kyobeom Song

Pith reviewed 2026-05-08 03:19 UTC · model grok-4.3

classification 🧮 math.CV math.AGmath.DG

keywords Demailly criterionGrauert tubesaffinenessStein manifoldsBurns conjecturealgebraizationcomplex geometry

0 comments

The pith

The complement of a codimension-one subset of an entire Grauert tube is an affine manifold.

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

The paper establishes a generalized version of Demailly's criterion for affineness of Stein manifolds. It applies this revision to prove that removing any codimension-one subset from an entire Grauert tube leaves an affine manifold. This supplies a partial answer to Burns' 1982 conjecture that entire Grauert tubes themselves might be affine. A reader would care because affineness means the resulting space embeds as an algebraic variety in complex Euclidean space, bridging Stein geometry with algebraic geometry. The argument rests on the tube structure and Stein property that Grauert tubes inherit from their real base manifolds.

Core claim

By proving a revised Demailly affineness criterion that holds for Stein manifolds whose geometry satisfies the required tube conditions, the paper shows that the complement of a codimension-one subset of an entire Grauert tube is affine, thereby giving a partial positive answer to the conjecture that entire Grauert tubes are affine.

What carries the argument

Revised Demailly affineness criterion, a generalization of the original criterion that applies to Stein manifolds equipped with tube structures.

If this is right

The complement of any codimension-one subset in an entire Grauert tube is affine.
This supplies a concrete step toward algebraizing entire Grauert tubes.
The generalized criterion applies to other Stein manifolds that possess analogous tube geometry.
Entire Grauert tubes are affine outside a thin set.

Where Pith is reading between the lines

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

If the full conjecture holds, entire Grauert tubes would admit algebraization without removal, extending the partial result to the whole space.
The same revision might be tested on Grauert tubes over spheres or other compact real manifolds to produce explicit affine examples.
The approach could connect to broader questions of when Stein manifolds with real structure become algebraic after small removals.
One could seek a version of the criterion that removes sets of higher codimension while preserving affineness.

Load-bearing premise

The entire Grauert tubes satisfy the geometric hypotheses (Stein property and tube structure) under which the generalized Demailly criterion guarantees affineness after removing a codimension-one subset.

What would settle it

An explicit construction of an entire Grauert tube in which the complement of every codimension-one subset fails to embed as an affine algebraic variety in some complex Euclidean space.

read the original abstract

We provide a partial answer to Burns' 1982 conjecture on the affineness of entire Grauert tubes: the complement of a codimension-one subset of an entire Grauert tube is affine. This result is obtained by establishing a generalized version of Demailly's criterion for affineness of Stein manifolds, which may be of independent interest.

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.

Desk Editor's Note private letter to a colleague

Song generalizes Demailly's criterion to show that removing a codim-1 subset makes an entire Grauert tube affine, but the fit to the tube's radial exhaustion needs explicit checks.

read the letter

This paper's main point is a partial answer to Burns' 1982 conjecture: the complement of a codimension-one subset in an entire Grauert tube is affine. It reaches this by first proving a generalized version of Demailly's affineness criterion for Stein manifolds and then applying it to the tube setting. The generalization itself is the clearer advance. Demailly's original statement requires certain L2 holomorphic sections and strict positivity of the Levi form with growth controls; Song relaxes some of these conditions in a way that the abstract presents as new and potentially useful beyond the Grauert tube case. The paper lays out the tube geometry in standard terms, using the squared-norm exhaustion induced by the Riemannian metric, and states the claim without obvious circularity or invented objects. That setup is straightforward and connects directly to the conjecture. The softer spot is the application step. The revised criterion still demands that the exhaustion function produce a strictly positive Levi form with controlled growth at large radii and that sufficiently many L2 sections exist with the needed estimates. Entire Grauert tubes are Stein, but their radial homogeneity and the way the complex structure extends the real tangent bundle can produce different asymptotic behavior. If the paper only invokes the Stein property without verifying the bounds explicitly for this geometry, the conclusion rests on an assumption that may not hold automatically. A reader would want to see the estimates checked at infinity rather than taken as inherited. The work is aimed at complex geometers who follow Stein manifold questions, algebraization results, and the Burns conjecture in particular. Someone already working on affineness criteria or Grauert tubes would get direct value from the generalized statement even if they treat the tube application as provisional. It deserves peer review. The claim is concrete, the generalization is formally stated, and the topic is established enough that referees can test whether the hypotheses actually transfer to the radial structure.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes a generalized version of Demailly's affineness criterion for Stein manifolds and applies it to prove that the complement of a codimension-one subset of an entire Grauert tube is affine, thereby providing a partial answer to Burns' 1982 conjecture.

Significance. If the generalized criterion is correctly formulated and its hypotheses are verified for the radial structure of Grauert tubes, the result would be a meaningful advance in the algebraization of Stein manifolds arising from real-analytic data. The revised criterion itself could serve as a tool for other classes of Stein spaces with controlled exhaustion functions.

major comments (2)

[§3] §3 (Generalized Demailly criterion): The revised hypotheses on the Levi form and L²-section estimates are stated, but it is not shown that they are strictly weaker than Demailly's original conditions in a way that is independent of the specific exhaustion function chosen.
[§5] §5 (Application to entire Grauert tubes): The claim that the squared-norm exhaustion function induced by the Riemannian metric satisfies the revised positivity and growth conditions is asserted but not verified explicitly for large radii; the radial homogeneity of the tube may violate the controlled-growth requirement without additional estimates.

minor comments (2)

Notation for the codimension-one subset is introduced without a precise definition or reference to its construction in the Grauert-tube setting.
The abstract and introduction should include a brief comparison with prior partial results on Burns' conjecture to clarify the incremental contribution.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below and will incorporate revisions to strengthen the presentation.

read point-by-point responses

Referee: [§3] §3 (Generalized Demailly criterion): The revised hypotheses on the Levi form and L²-section estimates are stated, but it is not shown that they are strictly weaker than Demailly's original conditions in a way that is independent of the specific exhaustion function chosen.

Authors: We agree that an explicit demonstration of the generalized hypotheses being strictly weaker, independent of any particular exhaustion function, would clarify the contribution of the revised criterion. In the revised manuscript we will add a short comparison subsection in §3. This will include a direct logical argument showing that the relaxed Levi-form positivity combined with the modified L²-section growth allows exhaustion functions excluded by the original Demailly conditions, together with a simple abstract example of a Stein manifold satisfying the new hypotheses but not the classical ones. The comparison will be formulated without reference to the radial structure of Grauert tubes. revision: yes
Referee: [§5] §5 (Application to entire Grauert tubes): The claim that the squared-norm exhaustion function induced by the Riemannian metric satisfies the revised positivity and growth conditions is asserted but not verified explicitly for large radii; the radial homogeneity of the tube may violate the controlled-growth requirement without additional estimates.

Authors: The referee correctly notes that the verification for large radii was only outlined. In the revision we will insert explicit computations in §5. Using the real-analyticity of the defining data and the homogeneity of the Grauert tube, we derive uniform bounds on the Levi form of the squared-norm function ρ and on the associated L² estimates for |z| ≫ 1. These bounds confirm that the controlled-growth requirement holds; the radial homogeneity in fact simplifies rather than obstructs the estimates, because the metric coefficients admit power-series expansions that yield the necessary decay. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation builds on external criterion via explicit generalization

full rationale

The paper generalizes Demailly's affineness criterion for Stein manifolds and applies the result to show that the complement of a codimension-one subset in an entire Grauert tube is affine. This chain relies on the Stein property and tube structure satisfying the revised hypotheses, but does not reduce any prediction or central claim to a fitted input, self-definition, or load-bearing self-citation by construction. The abstract and structure indicate an independent generalization step that is not equivalent to the input data or prior results by renaming or tautology. No equations or steps in the provided description exhibit the required reduction for circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, new entities, or ad-hoc axioms; the work relies on standard domain assumptions of complex geometry (Stein manifolds, Grauert tubes, analytic sets).

axioms (1)

domain assumption Standard properties of Stein manifolds and Grauert tubes from complex geometry literature
The generalized criterion and its application presuppose the usual definitions and theorems about Stein spaces and tube structures.

pith-pipeline@v0.9.0 · 5348 in / 1146 out tokens · 88517 ms · 2026-05-08T03:19:16.440777+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

22 extracted references · 3 canonical work pages

[1]

On the algebraicization of certain stein manifolds.arXiv preprint math/0010287, 2000

R Aguilar and DM Burns Jr. On the algebraicization of certain stein manifolds.arXiv preprint math/0010287, 2000

work page arXiv 2000
[2]

Symplectic reduction and the homogeneous complex monge–amp` ere equation.Annals of Global Analysis and Geometry, 19(4):327–353, 2001

Ra´ ul M Aguilar. Symplectic reduction and the homogeneous complex monge–amp` ere equation.Annals of Global Analysis and Geometry, 19(4):327–353, 2001

2001
[3]

Bedford and A

E. Bedford and A. Kalka. Foliations and complex monge–ampere equations.Communica- tions On Pure And Applied Mathematics, 30:543–571, 1977

1977
[4]

On extensions of holomorphic functions satisfying a polynomial growth condition on algebraic varieties inC n

Jean Erik Bj¨ ork. On extensions of holomorphic functions satisfying a polynomial growth condition on algebraic varieties inC n. InAnnales de l’institut Fourier, volume 24, pages 157–165, 1974

1974
[5]

Curvatures of monge-amp` ere foliations and parabolic manifolds.Annals of Mathematics, 115(2):349–373, 1982

Dan Burns. Curvatures of monge-amp` ere foliations and parabolic manifolds.Annals of Mathematics, 115(2):349–373, 1982

1982
[6]

The geometry of grauert tubes and complexification of symmetric spaces.Duke Mathematical Journal, 118(3):465–491, June 2003

Daniel Burns, Stefan Halverscheid, and Richard Hind. The geometry of grauert tubes and complexification of symmetric spaces.Duke Mathematical Journal, 118(3):465–491, June 2003

2003
[7]

Burns Jr and K

D. Burns Jr and K. Leung. The complex monge–ampere equation, zoll metrics and alge- braization.Mathematische Annalen, 371:1–40, 2018

2018
[8]

Riemannian manifolds with entire grauert tube are rationally elliptic

Xiaoyang Chen. Riemannian manifolds with entire grauert tube are rationally elliptic. Geometry & Topology, 28(3):1099–1112, 2024

2024
[9]

Mesures de monge-ampere et caract´ erisation g´ eom´ etrique des vari´ et´ es alg´ ebriques affines

Jean-Pierre Demailly. Mesures de monge-ampere et caract´ erisation g´ eom´ etrique des vari´ et´ es alg´ ebriques affines. 1985

1985
[10]

On matrix–valued herglotz functions.Mathema- tische Nachrichten, 218(1):61–138, 2000

Fritz Gesztesy and Eduard Tsekanovskii. On matrix–valued herglotz functions.Mathema- tische Nachrichten, 218(1):61–138, 2000. 31

2000
[11]

Guillemin and M

V. Guillemin and M. Stenzel. Grauert tubes and the homogeneous monge–ampere equa- tion.J. Differential Geom., 34(2):561–570, 1991

1991
[12]

On complexifications of differentiable manifolds.Inventiones mathematicae, 44(1):49–64, 1978

RS Kulkarni. On complexifications of differentiable manifolds.Inventiones mathematicae, 44(1):49–64, 1978

1978
[13]

Lempert and R

L. Lempert and R. Sz˝ oke. Global solutions of the homogeneous complex monge–ampere equation and complex structures on the tangent bundle of riemannian manifolds.Mathe- matische Annalen, 290:689–712, 1991

1991
[14]

Complex structures on the tangent bundle of riemannian manifolds

L´ aszl´ o Lempert. Complex structures on the tangent bundle of riemannian manifolds. In Complex analysis and geometry, pages 235–251. Springer, 1993

1993
[15]

Ngaiming Mok. An embedding theorem of complete k¨ ahler manifolds of positive bisectional curvature onto affine algebraic varieties.Bulletin de la Soci´ et´ e Math´ ematique de France, 112:197–258, 1984

1984
[16]

An effective estimate on betti numbers.The Journal of Geometric Analysis, 32(6):176, 2022

Lei Ni. An effective estimate on betti numbers.The Journal of Geometric Analysis, 32(6):176, 2022

2022
[17]

Zero entropy on entire grauert tubes.arXiv preprint arXiv:2410.05685, 2024

Pablo Su´ arez-Serrato. Zero entropy on entire grauert tubes.arXiv preprint arXiv:2410.05685, 2024

work page arXiv 2024
[18]

R. Sz˝ oke. Complex structures on tangent bundles of riemannian manifolds.Mathematische Annalen, 291:409–428, 1991

1991
[19]

Complexifications of nonnegatively curved manifolds.Journal of the European Mathematical Society, 5(1):69–94, 2003

Burt Totaro. Complexifications of nonnegatively curved manifolds.Journal of the European Mathematical Society, 5(1):69–94, 2003

2003
[20]

Pluri-potential theory on grauert tubes of real analytic riemannian mani- folds, i.arXiv preprint arXiv:1107.0463, 2011

Steve Zelditch. Pluri-potential theory on grauert tubes of real analytic riemannian mani- folds, i.arXiv preprint arXiv:1107.0463, 2011

work page arXiv 2011
[21]

American Mathematical Soc., 2017

Steve Zelditch.Eigenfunctions of the Laplacian on a Riemannian manifold, volume 125. American Mathematical Soc., 2017

2017
[22]

Levi problem: Complement of a closed subspace in a stein space and its applications.Comptes Rendus

Jing Zhang. Levi problem: Complement of a closed subspace in a stein space and its applications.Comptes Rendus. Math´ ematique, 359(8):1023–1046, 2021. Department of Mathematics, Rutgers University, Piscataway, NJ 08854-8019. Email:ks1951@rutgers.edu 32

2021