Entire Grauert Tube: Complex Structure & Rigid Geometry

• Entire Grauert tubes are the global extension of an adapted complex structure on the tangent bundle of a real-analytic Riemannian manifold, turning it into a Stein complex manifold.
• They satisfy a homogeneous complex Monge–Ampère equation that yields strictly plurisubharmonic exhaustion functions, influencing curvature, rigidity, and geodesic dynamics.
• Their existence imposes strong metric conditions like nonnegative sectional curvature and rational ellipticity, leading to significant rigidity results and algebraization phenomena.

Searching arXiv for papers on entire Grauert tubes and closely related rigidity/topology results. {"^^^^^^^^2query2 \2^^^^^^^^"entire Grauert tube\"","max_results":^^^^2all: \2query2^^^^,"sort_by":"relevance"} {"^^^^^^^^2query2 OR id:(&&&^^^^2all: \2^^^^&&&) OR id:(Aslam et al., 2017) OR id:(Song, 5 Aug 2025) OR id:(Song, 7 May 2026) OR id:(Suárez-Serrato, 2024) OR id:(Chang et al., 2018)","max_results":^^^^2all: \2query2^^^^,"sort_by":"relevance"} An entire Grauert tube is the global form of the adapted complexification of a real-analytic Riemannian manifold. For a real-analytic Riemannian manifold PRESERVED_PLACEHOLDER_^^^^2query2^^^^, one first constructs, on a sufficiently small disk bundle in PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^, a unique complex structure adapted to the foliation by complexified geodesics; the tube is called entire when this adapted complex structure extends to all of $TM$. In that case the tangent bundle becomes a Stein complex manifold with a canonical strictly plurisubharmonic exhaustion satisfying a homogeneous complex Monge–Ampère equation, and the existence of this global complex structure has strong consequences for curvature, geodesic dynamics, topology, rigidity, and algebraization (&&&^^^^2query2^^^^&&&, Song, 7 May 2026).

^^^^2all: \2^^^^. Adapted complexification on the tangent bundle

Let $(M^n,g)$ be a real-analytic Riemannian manifold and let $\pi:TM\to M$ be the tangent-bundle projection. The tangent bundle $T(TM)$ has canonical vertical and horizontal subbundles. At $v\in TM$,

$V(v)=\ker(d\pi_v), \qquad H(v)=\ker K_v,$

where $K$ is the connection map defined by the Levi-Civita connection, and

$T_v(TM)=V(v)\oplus H(v).$

There are natural identifications

PRESERVED_PLACEHOLDER_^^^^2all: \2query2^^^^

The basic geometric input is the foliation of PRESERVED_PLACEHOLDER_^^^^2all: \2all: \2^^^^ by complexified geodesics. If PRESERVED_PLACEHOLDER_^^^^2all: \22^^^^ is a unit-speed geodesic with PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^3, then

PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^4

is a holomorphic immersion of a strip in PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^5 into PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^6. Requiring these leaves to be genuine complex submanifolds yields the adapted complex structure (&&&^^^^2query2^^^^&&&).

For PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^7,

PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^8

An adapted complex structure on PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^9 is a real-analytic almost-complex structure $TM$^^^^2query2^^^^ such that $TM$^^^^2all: \2^^^^ is integrable and each geodesic-leaf immersion is $TM$2-holomorphic. For compact real-analytic $TM$3, Lempert–Szőke and Guillemin–Stenzel prove existence and uniqueness of such a structure for some $TM$4 (&&&^^^^2query2^^^^&&&).

Uniqueness permits the definition of the maximal radius function

$TM$5

The manifold has an entire Grauert tube precisely when

$TM$6

equivalently, when the adapted complex structure extends to all of $TM$7 (&&&^^^^2query2^^^^&&&).

A complementary intrinsic formulation uses the fiberwise norm $TM$8. In a Grauert tube $TM$9, $(M^n,g)$^^^^2query2^^^^ is strictly plurisubharmonic and satisfies

$(M^n,g)$^^^^2all: \2^^^^

Writing points as $(M^n,g)$2, one sets $(M^n,g)$3, and

$(M^n,g)$4

is a Kähler form extending the Liouville symplectic form (&&&^^^^2all: \2^^^^&&&).

2. Stein, Kähler, and Monge–Ampère structure

An entire Grauert tube is not merely a complexification in a local or formal sense. It makes $(M^n,g)$5 into a Stein complex manifold of complex dimension $(M^n,g)$6, with zero-section $(M^n,g)$7 a totally real maximal-dimensional submanifold and with strictly plurisubharmonic exhaustion $(M^n,g)$8 (Song, 7 May 2026). The defining PDE is the homogeneous complex Monge–Ampère equation

$(M^n,g)$9

or, in the radius-$\pi:TM\to M$^^^^2query2^^^^ notation,

$\pi:TM\to M$^^^^2all: \2^^^^

This Monge–Ampère foliation is the complex-geometric expression of the complexified geodesic flow (&&&^^^^2all: \2^^^^&&&, Song, 5 Aug 2025).

The “entire” condition can also be stated globally: there exists a global Kähler metric

$\pi:TM\to M$2

for some exhaustion $\pi:TM\to M$3 agreeing with $\pi:TM\to M$4 near the zero section, and $\pi:TM\to M$5 solves the HCMA outside $\pi:TM\to M$6 (&&&^^^^2all: \2^^^^&&&). In that setting $\pi:TM\to M$7 is Stein, $\pi:TM\to M$8-cohomology vanishes, and geodesic-flow leaves compactify holomorphically (&&&^^^^2all: \2^^^^&&&).

This complex-analytic package is unusually rigid. Song shows that for an entire Grauert tube the Riemannian metric extends meromorphically to a nondegenerate symmetric $\pi:TM\to M$9-tensor

$T(TM)$^^^^2query2^^^^

called the complexified metric, and its pole locus $T(TM)$^^^^2all: \2^^^^ becomes the natural obstruction in affineness questions (Song, 7 May 2026). This places entire Grauert tubes at the interface of Stein geometry, Kähler geometry, and algebraic geometry.

A common misconception is to identify “Grauert tube” with “entire Grauert tube.” In fact, many papers on Grauert tubes work at finite radius. For compact negatively curved real-analytic manifolds, one studies a maximal radius $T(TM)$2 on which the Grauert tube $T(TM)$3 is strictly pseudoconvex, and this finite-radius complexification is sufficient for the holomorphic continuation of Laplace eigenfunctions and the study of complex nodal sets (Chang et al., 2018). Entireness is therefore a much stronger global condition than the existence of a local or finite-radius tube.

3. Examples, non-examples, and metric dependence

Known examples of entire Grauert tubes arise from compact Lie groups with special metrics. Any compact Lie group $T(TM)$4 with a bi-invariant metric has entire tube, any product $T(TM)$5 does as well, and quotients of such spaces by free isometric actions inherit entire tubes (&&&^^^^2query2^^^^&&&). These examples already show that entireness is compatible with substantial symmetry and with homogeneous and cohomogeneity-one settings.

The standard round sphere provides the basic non-example. For the round metric on $T(TM)$6 of sectional curvature $T(TM)$7, the adapted complex structure exists only on

$T(TM)$8

because Jacobi-field matrices develop poles at finite imaginary time. Hence $T(TM)$9 is not entire (&&&^^^^2query2^^^^&&&). This is important conceptually: even positive sectional curvature does not imply entireness.

The strongest metric-level classification presently available in a nontrivial compact Lie-group case is for left-invariant metrics on $v\in TM$^^^^2query2^^^^. Writing the metric as

$v\in TM$^^^^2all: \2^^^^

the geodesic flow is the free rigid-body motion with Euler equations

$v\in TM$2

This system is completely integrable via the quadratic first integrals

$v\in TM$3

If $v\in TM$4 are all distinct, then the intersection of the corresponding quadrics in $v\in TM$5 is a smooth genus-one curve, and Picard’s theorem gives an obstruction to entireness. The resulting classification is that the tube is entire if and only if, up to relabelling,

$v\in TM$6

If $v\in TM$7, the maximal radius is finite; if all three eigenvalues are distinct, the tube is never entire (Aslam et al., 2017).

This classification makes clear that entireness depends delicately on the metric, not merely on the underlying manifold. On $v\in TM$8, some left-invariant metrics are entire and others are not (Aslam et al., 2017).

4. Curvature, geodesic counting, and rational ellipticity

A decisive structural fact is that entireness forces nonnegative sectional curvature: Lempert–Szőke observed that if $v\in TM$9 is entire, then $V(v)=\ker(d\pi_v), \qquad H(v)=\ker K_v,$^^^^2query2^^^^ must have nonnegative sectional curvature (&&&^^^^2query2^^^^&&&). Chen proves that under compactness and simple connectivity this strong complex-geometric hypothesis implies equally strong rational-homotopy consequences.

If $V(v)=\ker(d\pi_v), \qquad H(v)=\ker K_v,$^^^^2all: \2^^^^ is compact, simply connected, real-analytic, and has entire Grauert tube, then $V(v)=\ker(d\pi_v), \qquad H(v)=\ker K_v,$2 is rationally elliptic: all but finitely many of its homotopy groups are finite; equivalently, the Betti numbers of the based loop space $V(v)=\ker(d\pi_v), \qquad H(v)=\ker K_v,$3 have polynomial growth (&&&^^^^2query2^^^^&&&). As a corollary, any compact manifold with entire Grauert tube satisfies

$V(v)=\ker(d\pi_v), \qquad H(v)=\ker K_v,$4

after passing to the universal cover and using Cheeger–Gromoll when $V(v)=\ker(d\pi_v), \qquad H(v)=\ker K_v,$5 is infinite (&&&^^^^2query2^^^^&&&).

The proof follows the Morse-theoretic/Gromov–Bott strategy. For

$V(v)=\ker(d\pi_v), \qquad H(v)=\ker K_v,$6

one studies the number of geodesics of length $V(v)=\ker(d\pi_v), \qquad H(v)=\ker K_v,$7 from $V(v)=\ker(d\pi_v), \qquad H(v)=\ker K_v,$8 to $V(v)=\ker(d\pi_v), \qquad H(v)=\ker K_v,$9. Jacobi fields $K$^^^^2query2^^^^ along $K$^^^^2all: \2^^^^, with $K$2 and $K$3, satisfy the integral identity

$K$4

Under entireness, the real-analytic functions $K$5 analytically continue to meromorphic matrix-valued functions $K$6 on the upper half-plane. A Fatou-type theorem yields

$K$7

with $K$8 positive semidefinite and $K$9 a positive matrix-valued measure supported at the poles. From this one obtains polynomial growth of the Jacobi-field determinant, hence polynomial growth of $T_v(TM)=V(v)\oplus H(v).$^^^^2query2^^^^. Combining that with the Berger–Bott–Grove–Halperin inequality

$T_v(TM)=V(v)\oplus H(v).$^^^^2all: \2^^^^

implies polynomial growth of loop-space Betti numbers and therefore rational ellipticity (&&&^^^^2query2^^^^&&&).

The significance is twofold. First, the global complexification of geodesics controls the oscillation of Jacobi fields. Second, that analytic control translates into a topological restriction that matches the Bott–Grove–Halperin expectation in this stronger complex-geometric regime (&&&^^^^2query2^^^^&&&).

5. Zero entropy and manifold-level classification consequences

The geodesic-counting bounds have a dynamical counterpart. If $T_v(TM)=V(v)\oplus H(v).$2 is a closed real-analytic Riemannian manifold with entire Grauert tube, then the topological entropy of the geodesic flow vanishes: $T_v(TM)=V(v)\oplus H(v).$3 The proof combines Mañé’s formula

$T_v(TM)=V(v)\oplus H(v).$4

with the polynomial bound on the integrated counting function obtained from the analytic continuation of Jacobi fields (Suárez-Serrato, 2024). An equivalent approach uses the Jacobian-growth formula for the geodesic flow and the same polynomial bound on vertical Jacobi fields (Suárez-Serrato, 2024).

Zero entropy yields several restrictions. If $T_v(TM)=V(v)\oplus H(v).$5 admits an entire Grauert tube, then $T_v(TM)=V(v)\oplus H(v).$6 has subexponential, in fact virtually polynomial, growth (Suárez-Serrato, 2024). For simply connected analytic manifolds with entire Grauert tube, $T_v(TM)=V(v)\oplus H(v).$7 grows only polynomially in $T_v(TM)=V(v)\oplus H(v).$8 (Suárez-Serrato, 2024), consistent with rational ellipticity.

In dimension $T_v(TM)=V(v)\oplus H(v).$9, a closed analytic PRESERVED_PLACEHOLDER_^^^^2all: \2query2query2^^^^-manifold admits an entire Grauert tube if and only if it is modelled on one of the Thurston geometries

PRESERVED_PLACEHOLDER_^^^^2all: \2query2all: \2^^^^

Equivalently, these are precisely the PRESERVED_PLACEHOLDER_^^^^2all: \2query22^^^^-manifolds admitting good complexifications (Suárez-Serrato, 2024). In dimension PRESERVED_PLACEHOLDER_^^^^2all: \2query2^^^^3, under the entire-tube hypothesis, several classification statements are obtained for simply connected manifolds, elliptic surfaces, and manifolds with infinite fundamental group of polynomial growth (Suárez-Serrato, 2024). In dimension PRESERVED_PLACEHOLDER_^^^^2all: \2query2^^^^4, a closed analytic simply connected PRESERVED_PLACEHOLDER_^^^^2all: \2query2^^^^5-manifold admits an entire Grauert tube if and only if it is diffeomorphic to one of

PRESERVED_PLACEHOLDER_^^^^2all: \2query2^^^^6

again matching the known nonnegatively curved examples (Suárez-Serrato, 2024).

These results also clarify a possible misunderstanding: rational ellipticity is necessary in the simply connected setting, but it is not sufficient. The Brieskorn PRESERVED_PLACEHOLDER_^^^^2all: \2query2^^^^7-manifold

PRESERVED_PLACEHOLDER_^^^^2all: \2query2^^^^8

is simply connected and rationally elliptic, yet its loop-space homology over PRESERVED_PLACEHOLDER_^^^^2all: \2query2^^^^9 grows exponentially, so it does not admit any metric with entire Grauert tube (Suárez-Serrato, 2024).

6. Zoll manifolds, compactification at infinity, and rigidity

For Zoll manifolds, the entire condition becomes rigid enough to determine the metric. A Zoll manifold is one for which all geodesics are closed, of common minimal period PRESERVED_PLACEHOLDER_^^^^2all: \2all: \2query2^^^^, and each is embedded on PRESERVED_PLACEHOLDER_^^^^2all: \2all: \2all: \2^^^^. By Bott–Samelson, its cohomology ring matches exactly one of the five CROSS models

PRESERVED_PLACEHOLDER_^^^^2all: \2all: \22^^^^

When the type is PRESERVED_PLACEHOLDER_^^^^2all: \2all: \2^^^^3, Li–Song prove that a compact real-analytic Zoll manifold of type PRESERVED_PLACEHOLDER_^^^^2all: \2all: \2^^^^4 with entire Grauert tube is isometric to PRESERVED_PLACEHOLDER_^^^^2all: \2all: \2^^^^5 for some PRESERVED_PLACEHOLDER_^^^^2all: \2all: \2^^^^6 (&&&^^^^2all: \2^^^^&&&).

The proof begins by compactifying each leaf of the Riemann foliation. Periodicity of geodesics shows that every leaf PRESERVED_PLACEHOLDER_^^^^2all: \2all: \2^^^^7 compactifies by adding two points to

PRESERVED_PLACEHOLDER_^^^^2all: \2all: \2^^^^8

and the added divisor PRESERVED_PLACEHOLDER_^^^^2all: \2all: \2^^^^9 yields a compact complex manifold

PRESERVED_PLACEHOLDER_^^^^2all: \22query2^^^^

In the PRESERVED_PLACEHOLDER_^^^^2all: \22all: \2^^^^ case, PRESERVED_PLACEHOLDER_^^^^2all: \222^^^^ is ample in PRESERVED_PLACEHOLDER_^^^^2all: \22^^^^3, and cohomological calculations together with the adjunction formula and an index count show

PRESERVED_PLACEHOLDER_^^^^2all: \22^^^^4

Hence PRESERVED_PLACEHOLDER_^^^^2all: \22^^^^5 is Fano of dimension PRESERVED_PLACEHOLDER_^^^^2all: \22^^^^6, Picard number PRESERVED_PLACEHOLDER_^^^^2all: \22^^^^7, and index PRESERVED_PLACEHOLDER_^^^^2all: \22^^^^8. Wiśniewski’s classification then identifies PRESERVED_PLACEHOLDER_^^^^2all: \22^^^^9 with PRESERVED_PLACEHOLDER_^^^^2all: \2max_results2query2^^^^, with PRESERVED_PLACEHOLDER_^^^^2all: \2max_results2all: \2^^^^ a divisor of bi-degree PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^32. Comparing the given exhaustion with the model log-cosh potential along compactified leaves forces agreement of the Kähler metrics and therefore the zero-section metric is exactly Fubini–Study up to scaling (&&&^^^^2all: \2^^^^&&&).

A parallel argument now exists for the quaternionic projective plane. If a Zoll manifold of type PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^33 admits an entire Grauert tube, then it is isometric, up to rescaling, to the canonical PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^34 (Song, 5 Aug 2025). In that case the projective algebraization PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^35 is an PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^36-dimensional Fano manifold with

PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^37

By Mukai’s classification of coindex-PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^38 Fano manifolds and comparison of Betti numbers, PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^39 must be PRESERVED_PLACEHOLDER_^^^^2all: \2sort_by2query2^^^^, and comparison of the canonical exhaustion on PRESERVED_PLACEHOLDER_^^^^2all: \2sort_by2all: \2^^^^ with the given exhaustion again identifies the zero-section metric (Song, 5 Aug 2025).

These rigidity theorems show that entireness, combined with Zoll periodicity and CROSS-type cohomology, is strong enough to recover the canonical metric rather than merely the underlying manifold.

7. Algebraization and Burns’ conjecture

Burns asked in ^^^^2all: \2^^^^982 whether an entire Grauert tube is an affine algebraic variety. Song gives a partial answer: after removing a suitable codimension-one analytic subset, an entire Grauert tube becomes affine (Song, 7 May 2026).

The central object is the pole locus PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^42 of the meromorphic complexified metric

PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^43

called the tube singularity. For every point PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^44, there exists a holomorphic function

PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^45

such that

PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^46

is biholomorphic to a smooth affine variety on which PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^47 is a regular function (Song, 7 May 2026). Thus PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^48 is covered by affine Zariski opens, and the codimension-one pole set is the only identified obstruction to global affineness.

The proof uses a revised version of Demailly’s affineness criterion for Stein manifolds. If PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^49 is Stein with strictly plurisubharmonic exhaustion PRESERVED_PLACEHOLDER_^^^^2all: \2relevance2query2^^^^, finite Monge–Ampère volume

PRESERVED_PLACEHOLDER_^^^^2all: \2relevance2all: \2^^^^

and an auxiliary function PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^52 satisfying

PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^53

then the singularity set

PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^54

controls affineness. If PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^55, then PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^56 itself is biholomorphic to an affine variety (Song, 7 May 2026).

For entire Grauert tubes, Song takes

PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^57

and defines

PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^58

This produces the required curvature inequality and growth bound, so the revised criterion applies directly (Song, 7 May 2026).

This has immediate consequences for known rigid cases. When the tube singularity vanishes, the entire Grauert tube is globally affine. Song notes that in Zoll-metric cases, where Burns–Leung prove PRESERVED_PLACEHOLDER_^^^^2all: \2^^^^59, Burns’ conjecture follows (Song, 7 May 2026). More generally, the result shows that entire Grauert tubes are already very close to affine algebraic varieties, even when the global conjecture remains open.

A broader implication is that entire Grauert tubes occupy a rare position among geometric complexifications: they begin from real-analytic Riemannian data, are governed by the homogeneous complex Monge–Ampère equation, constrain curvature and entropy, often force rational ellipticity or rigid model geometry, and in favorable cases admit projective or affine algebraization (&&&^^^^2query2^^^^&&&, &&&^^^^2all: \2^^^^&&&, Song, 7 May 2026).