OpenAI reports a Shafarevich counterexample with large fundamental group

A smooth projective complex fourfold has large fundamental group but a non-Stein universal cover with no positive-dimensional compact complex-analytic subvarieties.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

A smooth projective complex fourfold has large fundamental group but a non-Stein universal cover with no positive-dimensional compact complex-analytic subvarieties.

Why it matters

If correct, disproves Shafarevich’s holomorphic-convexity conjecture even under its large-fundamental-group hypothesis.

What counts as progress

Must the universal cover of a smooth projective variety with large fundamental group be Stein?

Website timeline

Publication dates and editorial changes.