Piatetski–Shapiro–Shafarevich CM varieties conjecture
Establish that every complex algebraic variety of CM type—equivalently, a variety whose Mumford–Tate group is commutative—admits a model over a number field.
References
Conjecture (Section 1, Conjecture) Varieties of CM type are defined over number fields.
— Arithmetic Period Map and Complex Multiplication for Cubic Fourfolds
(2512.11355 - Ito, 12 Dec 2025) in Introduction, Conjecture (cited from Piatetski–Shapiro–Shafarevich)