Every nonempty connected bounded semialgebraic subset that is open in a complex affine algebraic variety is smooth and biholomorphic to a bounded symmetric domain if a discrete group of biholomorphisms acts properly with compact quotient.
Every nonempty connected bounded semialgebraic subset that is open in a complex affine algebraic variety is smooth and biholomorphic to a bounded symmetric domain if a discrete group of biholomorphisms acts properly with compact quotient.
Every nonempty connected bounded semialgebraic subset that is open in a complex affine algebraic variety is smooth and biholomorphic to a bounded symmetric domain if a discrete group of biholomorphisms acts properly with compact quotient.
If correct, answers the bounded-domain symmetry question of Kollár and Pardon.
Must a bounded semialgebraic affine domain with a compact quotient be a bounded symmetric domain?
Publication dates and editorial changes.
OpenAI reports symmetry of semialgebraic bounded domains with compact quotient
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
