geometry-topology / Complex algebraic geometry; universal covers and uniformization

The Kollar-Pardon conjecture on projective varieties with semialgebraic universal cover

Theorem 1.1: for a connected normal projective complex variety XX, X~\widetilde X is biholomorphic to a semialgebraic open subset of a projective variety if and only if X~≅D×Cm×F\widetilde X\cong D\times\mathbb C^m\times F with DD bounded symmetric and FF simply connected normal projective (either may be a point); no algebraicity of deck transformations is assumed and the compact factor may be singular. The cover is quasi-projective exactly when DD is a point; a smooth projective variety covered by Cn\mathbb C^n is finitely etale covered by an abelian variety. The companion proves that a connected bounded semialgebraic open subset of an affine variety with a proper cocompact holomorphic group action is smooth and a bounded symmetric domain. Not covered: non-normal or non-projective (e.g. compact Kahler) XX.

28Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 24, 2026Significance 28/100Registry: unreviewed

The Kollar-Pardon conjecture on projective varieties with semialgebraic universal cover

Prior state unknown→proved

Theorem 1.1: for a connected normal projective complex variety XX, X~\widetilde X is biholomorphic to a semialgebraic open subset of a projective variety if and only if X~≅D×Cm×F\widetilde X\cong D\times\mathbb C^m\times F with DD bounded symmetric and FF simply connected normal projective (either may be a point); no algebraicity of deck transformations is assumed and the compact factor may be singular. The cover is qua…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for a connected normal projective complex variety XX, X~\widetilde X is biholomorphic to a semialgebraic open subset of a projective variety if and only if X~≅D×Cm×F\widetilde X\cong D\times\mathbb C^m\times F with DD bounded symmetric and FF simply connected normal projective (either may be a point); no algebraicity of deck transformations is assumed and the compact factor may be singular. The cover is quasi-projective exactly when DD is a point; a smooth projective variety covered by Cn\mathbb C^n is finitely etale covered by an abelian variety. The companion proves that a connected bounded semialgebraic open subset of an affine variety with a proper cocompact holomorphic group action is smooth and a bounded symmetric domain. Not covered: non-normal or non-projective (e.g. compact Kahler) XX.

Theorem 1.1: for a connected normal projective complex variety XX, X~\widetilde X is biholomorphic to a semialgebraic open subset of a projective variety if and only if X~≅D×Cm×F\widetilde X\cong D\times\mathbb C^m\times F with DD bounded symmetric and FF simply connected normal projective (either may be a point); no algebraicity of deck transformations is assumed and the compact factor may be singular. The cover is quasi-projective exactly when DD is a point; a smooth projective variety covered by Cn\mathbb C^n is finitely etale covered by an abelian variety. The companion proves that a connected bounded semialgebraic open subset of an affine variety with a proper cocompact holomorphic group action is smooth and a bounded symmetric domain. Not covered: non-normal or non-projective (e.g. compact Kahler) XX.

Recorded attempts

Evidence graph

Connected research record

The Kollar-Pardon conjecture on projective varieties with semialgebraic universal cover — Mathematical Frontier Network