1 problem

Beauville–Catanese conjecture. For every integer $q\geq0$, the locus $S^q(X)$ is a finite union of torsion translates of subtori of $\operatorname{Pic}^0(X)$.