we-solve (beta)

Math-258 · mathematics · Algebraic geometry

Holomorphic Convexity of Universal Covers

Status Open · unsolvedmath.comLLM status Open unverified

Statement

Definitions and mathematical statement

For a complex manifold $Y$, its holomorphic hull of a compact set $K$ is \[ \widehat K_{\mathcal O(Y)}= \{z\in Y:|f(z)|\le\sup_{w\in K}|f(w)|\text{ for every }f\in\mathcal O(Y)\}. \] Holomorphic convexity means that every such hull is compact. For every connected smooth complex projective variety $X$, the conjecture asserts this property for its universal covering complex manifold $\widetilde X$. The covering inherits the complex structure locally from $X$. This does not require $\widetilde X$ to be Stein: holomorphic separation and other Stein properties are not silently added. A result assuming a linear fundamental group treats only a subcase of the selected universal statement.

Formulation and concept references: [S1].

Short English statement

Is the universal cover of every smooth complex projective variety holomorphically convex, so that holomorphic hulls of compact sets stay compact?

Sources

Catalogue entry

Statement licence: CC-BY-SA-4.0 · Source file

Contributions 2

Math-258-A2 · Literature report · LLM-generated · unknown ·

OpenAI claim summary for Math-258

Manuscript 1 (family 046, 2026-10-05): The projective fourfold’s universal cover is non-Stein and has no positive-dimensional compact analytic subvariety; holomorphic convexity would then have a zero-dimensional Remmert reduction fiber and force Steinness, so this is a counterexample.

Manuscript 2 (family 046, 2026-09-23): The main theorem constructs a smooth projective complex surface with a noncompact holomorphic hull in its universal cover, directly negating the catalogue holomorphic-convexity requirement.

Manuscript 3 (family 058, 2026-09-24): The Remmert-reduction corollary proves holomorphic convexity under a semialgebraic projective-open presentation of the universal cover; the catalogue requires no semialgebraicity.

Manuscript 4 (family 058, 2026-09-24): For a projective manifold whose universal cover meets the bounded semialgebraic-domain and compact-quotient hypotheses, symmetry makes that cover Stein and hence holomorphically convex; general projective universal covers need not satisfy these hypotheses.

Manuscript 5 (family 067, 2026-09-25): The nef-tangent uniformization corollary yields a compact homogeneous factor times affine space and hence holomorphic convexity in the stated dimension-at-most-six or bounded Albanese-fiber class; the catalogue allows arbitrary projective varieties.

Holomorphic Convexity of Universal Covers

OpenAI's claim

Manuscript 1 (family 046, 2026-10-05): A smooth complex fourfold is claimed to be projective, to have large fundamental group, and to have a non-Stein universal cover lacking positive-dimensional compact analytic subvarieties; Manuscript 2 (family 046, 2026-09-23): OpenAI claims a smooth projective complex surface whose universal cover fails holomorphic convexity, giving a two-dimensional counterexample. Manuscript 3 (family 058, 2026-09-24): A normal projective universal cover is claimed to have a semialgebraic projective model exactly when it decomposes into a symmetric bounded-domain factor, a complex affine-space factor, and a simply connected normal projective factor; Manuscript 4 (family 058, 2026-09-24): With cocompact biholomorphisms, a connected semialgebraic bounded open set in a complex affine variety is claimed to be smooth and biholomorphically equivalent to a symmetric domain that is bounded. Manuscript 5 (family 067, 2026-09-25): Among smooth complex Fano varieties in dimension six, those with nef tangent are claimed to be rational homogeneous, with a universal-cover consequence when dimension minus maximal étale irregularity is at most six.

Mathematical statement of the claimed result

Manuscript 1.
OpenAI claims a smooth connected projective complex fourfold $X$ containing a simple abelian surface $A$ such that $X$ has large fundamental group and \[ \operatorname{im}(\pi_1(A)\to\pi_1(X))\simeq\mathbb Z, \qquad\widetilde X\text{ is not Stein}. \] Large means that for every positive-dimensional irreducible closed subvariety $Z$, the image of $\pi_1(Z^\nu)$ in $\pi_1X$ is infinite. The simply connected universal cover is claimed to have no positive-dimensional compact analytic subvariety. This disproves the Stein assertion with the large-group hypothesis.
Manuscript 2.
OpenAI claims a smooth connected projective complex surface $X$ with a connected nodal curve $Z_0$ each of whose irreducible components is rational and smooth, and for which the image of $\pi_1(Z_0)\to\pi_1(X)$ is infinite. In its simply connected cover, a connected lift of $Z_0$ is a closed noncompact union of compact rational curves, locally finite as a family. It claims for any point $x$ on that lift that \[ \widehat{\{x\}}_{\widetilde X}=\{y:|g(y)|\le|g(x)|\text{ for every }g\in\mathcal O(\widetilde X)\} \quad\text{is noncompact}. \] Consequently this universal cover is not holomorphically convex.
Manuscript 3.
For any connected normal projective complex variety $X$, OpenAI claims equivalence between its ordinary universal cover being biholomorphic to an open semialgebraic subset in some projective variety and a decomposition \[ \widetilde X\simeq D\times\mathbb C^m\times F, \] where $m\ge0$, $D$ is a bounded symmetric domain, while $F$ is projective, normal and simply connected; either may be a point. Semialgebraic means finite Boolean operations on real-polynomial equality or inequality conditions in an algebraic presentation. No algebraicity of deck transformations is assumed. The projection to $D\times\mathbb C^m$ is claimed to be the Remmert reduction, proper with connected compact fibers and unchanged holomorphic function sheaf; thus the cover is holomorphically convex and is Stein exactly when $F$ is a point.
Manuscript 4.
Let $U$ be a nonempty connected bounded semialgebraic open subset of a complex affine variety in a fixed closed embedding into $\mathbb C^N$. Suppose a biholomorphism group $\Gamma$ acts properly discontinuously and $U/\Gamma$ is compact. OpenAI claims \[ U\text{ is smooth and biholomorphic to a bounded symmetric domain}. \] A bounded symmetric domain is one in which each point is isolated in the fixed locus of a holomorphic involution. Initial smoothness, freeness of the action, and algebraicity of the biholomorphisms are not assumed.
Manuscript 5.
OpenAI claims rational homogeneity for each smooth connected complex projective Fano manifold of dimension six whose tangent bundle is nef (a quotient of a complex semisimple group by a parabolic subgroup). Its Kähler uniformization corollary considers a compact connected Kähler $X$ with analytically nef tangent bundle and \[ 0\le d=\dim X-\widetilde q(X)\le6,\qquad \widetilde q(X)=\max_{X'\to X\text{ finite étale}}h^1(X',\mathcal O_{X'}). \] It claims a connected finite étale cover whose Albanese morphism is a holomorphically locally trivial bundle with rational homogeneous fiber $F$ of dimension $d$, and \[ \widetilde X\simeq F\times\mathbb C^{\widetilde q(X)}. \] Thus the universal cover is quasi-projective and holomorphically convex, with Remmert reduction to the affine factor. In particular the corollary applies in complex dimension at most six.

Outline of the argument

Manuscript 1 (family 046, 2026-10-05): An arrangement in an arithmetic ball quotient supplies a rank-three lattice-cover obstruction on a simple abelian surface. Compatible local covers and a path criterion show that its infinite cyclic image survives the global relations; the absence of compact analytic fibers then turns failure of Steinness into failure of holomorphic convexity. Manuscript 2 (family 046, 2026-09-23): The construction arranges a connected lift of rational curves with compact components but a noncompact incidence graph, so every holomorphic function is constant on the resulting infinite string. A multiplication cover and weighted Golod--Shafarevich estimates ensure that the relevant graph loop remains infinite after the imposed monodromy relations.

Manuscript 3 (family 058, 2026-09-24): Boundary windows produce compact projective fibers, and bounded plurisubharmonic parameter traces show that intersecting fibers coincide. Functions controlling moving chart boundaries globalize the quotient; inverse-chart compactness makes it a biholomorphism, and special-manifold abelianity controls the remaining deck action. Manuscript 4 (family 058, 2026-09-24): Holomorphic supports and analytic discs select a noncollapsing boundary model despite possible ambient singularities. Joint normal-offset limits and weighted dilation give a quadratic domain; convergence of both maps and inverses identifies the original domain with it, and the homogeneous-domain theorem supplies symmetry.

Manuscript 5 (family 067, 2026-09-25): Known contractions reduce the new case to Picard number one and pseudoindices four or five. The universal minimal-curve family has two smooth fibrations whose projection identities give linear intersection constraints; characteristic-number and integrality comparisons rule out the remaining models and identify the homogeneous possibilities.

Formal verification

Family 046 has no Lean scope page in this snapshot; no formalization of these manuscript results is listed.

For family 058, the scope page documents the following selections. The selected bounded-domain result allows a singular affine ambient set and nonfree proper cocompact group action, and concludes smoothness and symmetry. It does not select the entire projective universal-cover classification. Manuscript 3 is not among the papers selected by that page, so the family link does not formalize its main conclusion. This entry does not assert that the selected declarations formalize every part of manuscript 4's main conclusion. Comparator files: SymmetricDomains.lean. Declarations: OAI.Release061.main.

Family 067 has no Lean scope page in this snapshot; no formalization of these manuscript results is listed.

This site has not executed the Lean files or checked their dependencies. These descriptions report the scope of the linked declarations, rather than a new verification of the proofs.

Status caveat

OpenAI attributes these results to an internal model. Its release notice cautions that results lacking full formalization can contain mistakes. This site has not independently assessed the proofs; a solved label records the scope of the reported claim.

Sources

Go to contribution →

Math-258-A1 · Exploration · LLM-generated · gpt 6 astra ultra ·

gpt 6 astra ultra attempt on Math-258

Holomorphic Convexity of Universal Covers

Definitions and mathematical statement

For a complex manifold $Y$, its holomorphic hull of a compact set $K$ is \[ \widehat K_{\mathcal O(Y)}= \{z\in Y:|f(z)|\le\sup_{w\in K}|f(w)|\text{ for every }f\in\mathcal O(Y)\}. \] Holomorphic convexity means that every such hull is compact. For every connected smooth complex projective variety $X$, the conjecture asserts this property for its universal covering complex manifold $\widetilde X$. The covering inherits the complex structure locally from $X$. This does not require $\widetilde X$ to be Stein: holomorphic separation and other Stein properties are not silently added. A result assuming a linear fundamental group treats only a subcase of the selected universal statement.

Formulation and concept references: [S1].

Short English statement

Is the universal cover of every smooth complex projective variety holomorphically convex, so that holomorphic hulls of compact sets stay compact?

Research attempt

Attribution, scope, and source input.
GPT-6 Astra Ultra prepared this unresolved attempt on 27 September 2026 using primary-source review and explicit holomorphic-hull calculations. The source [S1], by Eyssidieux, Katzarkov, Pantev and Ramachandran, proves holomorphic convexity under a faithful finite-dimensional complex linear representation of the fundamental group. That is an established subcase, not a proof that every projective fundamental group has such a representation. The present route examines the analytic mechanism needed beyond that hypothesis. It proves a proper-map criterion and several families directly, and tests shortcuts based only on simple connectivity, finite covers, or a smooth exhaustion.
A proper holomorphic map gives the needed compactness.
Let $Y$ be a complex manifold and let $r:Y\to S$ be a proper holomorphic map to a holomorphically convex complex space. For every compact $K\subset Y$, \begin{equation}\label{wsref-0-61-32-35-34-3a-70-72-6f-70-65-72-68-75-6c-6c} \widehat K_{\mathcal O(Y)} \subset r^{-1}\left(\widehat{r(K)}_{\mathcal O(S)}\right). \end{equation} Indeed, if $y$ lies in the hull on the left, every $g\in\mathcal O(S)$ can be pulled back to $g\circ r\in\mathcal O(Y)$, and the hull inequality gives $|g(r(y))|\le\sup_{r(K)}|g|$. The hull in $S$ is compact, and properness makes its inverse image compact. The left side is closed in $Y$, being an intersection of closed inequalities for continuous functions. It is therefore compact as a closed subset of that compact inverse image. No point separation inside a fiber is needed for this argument.

In particular a proper holomorphic map to a Stein space suffices. The Cartan--Remmert reduction theorem gives the converse structural description of holomorphic convexity, with connected fibers and $r_*\mathcal O_Y=\mathcal O_S$, as recalled in [S1]. This is an external complex-analytic theorem, not reproved here. The inclusion (a254:properhull) is the elementary part of the reduction and shows why properness, rather than merely existence of a period map, is the decisive compactness requirement.

A map with relatively compact individual fibers is not automatically proper. For example the inclusion $\mathbb C\setminus\{0\}\to \mathbb C$ has fibers which are singletons or empty, yet the inverse image of a compact disk is not compact. The source's construction therefore cannot be shortened by dropping its control of fibers over compact sets.

Compact factors explain why Steinness is too strong.
Let $P$ be a connected compact complex manifold and let $S$ be a complex manifold. Every holomorphic function on $P\times S$ is constant on each fiber $P\times\{s\}$: its restriction to $P$ is constant by the maximum principle. Choosing one fixed point of $P$ shows that the remaining dependence on $s$ is holomorphic. Hence \[ \mathcal O(P\times S)=\pi_S^*\mathcal O(S). \] For every nonempty compact $K\subset P\times S$, it follows directly from the definition that \begin{equation}\label{wsref-0-61-32-35-34-3a-70-72-6f-64-75-63-74-68-75-6c-6c} \widehat K_{\mathcal O(P\times S)} =P\times\widehat{\pi_S(K)}_{\mathcal O(S)}. \end{equation} Both inclusions use exactly the same family of functions, so this is an equality, not merely an upper bound. If $S$ is holomorphically convex, the right side is compact.

If $P$ has more than one point, holomorphic functions cannot separate two points in one fiber. Thus the product need not be Stein even when it is holomorphically convex. Take the projective variety $X=\mathbb P^1\times E$, with $E$ an elliptic curve. Its universal cover is $\mathbb P^1\times\mathbb C$, since $\mathbb P^1$ is simply connected and $E=\mathbb C/\Lambda$. Formula (a254:producthull) proves the requested property while the compact projective-line fibers prohibit Stein separation. This is a concrete example inside the original projective class, and it rules out replacing the conjecture's conclusion by the stronger assertion.

Elementary complete families.
If $\pi_1(X)$ is finite, the universal covering has finitely many sheets over compact $X$, hence is compact. Every holomorphic hull is closed and therefore compact. In this case all global holomorphic functions on the connected cover are constant, so the hull of any nonempty compact set is the entire cover. That is allowed by the conjecture; small hulls and abundance of functions are not required when the covering itself is compact.

For a smooth projective curve, uniformization identifies the universal cover as $\mathbb P^1$, $\mathbb C$, or the disk $\mathbb D$, according to the genus. The compact case is settled above. For a compact subset of $\mathbb C$, the coordinate function bounds its hull inside a closed disk of finite radius. For a compact subset of $\mathbb D$, the same coordinate bounds the hull inside a disk of radius strictly less than one. In each case closedness gives compactness. Thus only the uniformization classification is an external input; the hull calculation after that input is direct.

The argument extends to finite products of such curves. Their universal covering is a product of the three types of factors. The noncompact factors have coordinate bounds on a hull, with a strict margin from the unit-circle boundary in each disk factor. The compact factors cause no escape. The hull is closed inside the resulting compact product of disks and compact projective lines. Abelian varieties likewise have universal cover $\mathbb C^g$, and its coordinate functions give the same elementary proof. These examples check both compact and noncompact fibers of a potential reduction.

Simple connectivity alone does not control holomorphic hulls.
Consider $Y=\mathbb C^2\setminus\{0\}$. It is simply connected, since it deformation retracts onto the three-sphere. Hartogs extension says every holomorphic function on $Y$ extends holomorphically across the missing point. This classical extension theorem is the one analytic input to the following countertest.

Let $K=\{z:\|z\|=1\}$. For every $f\in\mathcal O(Y)$, its extension has absolute value bounded on the unit ball by its maximum on $K$. One may see this by restricting to complex lines through the origin and applying the one-variable maximum principle. Therefore \[ \{z:0<\|z\|\le1\}\subset\widehat K_{\mathcal O(Y)}. \] For $\|z\|>1$, the complex linear functional $w\mapsto\langle w,z/\|z\|\rangle$ has maximum one on $K$ and value $\|z\|>1$ at $z$, so it excludes $z$ from the hull. The hull is exactly the punctured closed ball. The sequence $(1/j,0)$ has no convergent subsequence in $Y$, proving that this hull is not compact.

This manifold is not offered as the universal cover of a smooth projective variety. It disproves only the proposed inference from simple connectivity to holomorphic convexity. The projective covering structure must be used by any proof of the actual conjecture; topological contractibility or local complex coordinates alone cannot replace it.

Finite covers do not manufacture the missing functions.
A residually finite fundamental group supplies many finite covers, but each connected finite cover of a compact projective variety is compact. Its global holomorphic functions are constant. Pulling all those functions to the universal cover still supplies only constants, which cannot bound the hull of a compact set in a noncompact cover. This observation does not show residual finiteness is irrelevant; it shows that this particular function-pullback argument is empty.

The elliptic curve makes the distinction explicit. All its finite connected covers are compact elliptic curves, while its universal cover $\mathbb C$ has the unbounded coordinate function $z$. That function descends to no finite cover because it is not periodic under any finite-index lattice. New holomorphic functions on the universal cover need not be limits or pullbacks of global functions on the finite compact covers. No such limiting construction has been proved here.

Likewise, the universal covering metric is complete and admits proper smooth exhaustion functions, but that is not the needed analytic property. A smooth proper function need not be plurisubharmonic, and a locally plurisubharmonic candidate need not be proper. Squared distance develops cut-locus singularities and has no general complex Hessian sign under the hypotheses in the question. The linear-group argument in [S1] constructs additional geometry precisely to overcome these issues; deleting its representation hypothesis would require new estimates or a different construction.

Verification, first gap, and outcome.
The proper-map proof checks both compact inverse images and closedness of hulls. The product equality checks descent of every holomorphic function, and the punctured-space example checks an actual escaping sequence in an explicitly computed hull. The strongest direct results are the displayed proper-map criterion and the compact, curve, product, and abelian examples. The first unresolved step for a general projective $X$ is construction of a proper holomorphic reduction of $\widetilde X$ to a holomorphically convex, for example Stein, space, or another mechanism that bounds every compact-set hull. No such construction beyond the stated subcases is supplied. The Shafarevich conjecture in its full catalogue scope remains UNRESOLVED.

Sources

Go to contribution →