597 problems
Classification conjecture. The only numerically elementary -curves satisfying are the lines through two points.
Iitaka–Severi conjecture. The number of birational equivalence classes of such manifolds is finite. This conjecture generalizes the de Franchis–Severi finiteness theorem for ma…
Mori structures conjecture. The Mori structures of are precisely itself and
Kawamata–Morrison–Totaro cone conjecture. The group acts on with finitely many orbits of Mori faces, while…
Let be an isolated singular point of an algebraic curve over a number field , with local ring and multiplicity . Let be the nonsingular…
Variant of Shokurov's b-semi-ampleness conjecture. For all and any , the divisor
Shokurov's toric-model conjecture. Every maximal log Calabi–Yau pair whose underlying variety is a rational -fold has a toric model.
Optimal index conjecture. The index of is the largest possible index among all terminal Calabi-Yau varieties of dimension , and also among all canonical Calabi-Yau varie…
Boundedness conjecture for log Fano varieties. Then belongs to a finite number of algebraic families. This conjecture is known to be true when…
Let denote the set of positive integers occurring as complement indices in the setting of the assumptions referred to in the source. Boundedness conjectu…
Let be a contraction from a threefold with only terminal singularities such that is -nef and -big. An -complement of is a complement wit…
Let be the one-parameter family of smooth, multiply connected Calabi–Yau threefolds over … where is a primitive fifth root of unity, and write for th…
Let be a nonsingular toric weak Fano -fold. Two such varieties are weakly-F-equivalent if they are connected by a sequence of equivariant blow-ups, blow-downs, and flops thr…
Let and be nonsingular toric Fano -folds, and let be an equivariant morphism. An equivariant blow-up is the blow-up along a -invariant…
Pseudo-symmetry or F-equivalence conjecture. Any nonsingular toric Fano -fold is either pseudo-symmetric or F-equivalent to the -dimensional projective space .
Boundedness of -canonical representations. There exist positive integers and such that
Shokurov's codimension bound conjecture. The following inequality holds:
Strong factorization conjecture. There exists a diagram
Weak factorization conjecture. Every such birational map admits this factorization, with the stated preservation of the open set and normal-crossings boundary.
Let be a log variety, let be a closed point, and let be ample and normalized at . Effective-build…
The Base Change Conjecture. Then is -Cartier and, if is induced by a birational base change , then
Let be a log variety, and let denote the minimal log discrepancy at a closed point . Lower semicontinuity conjecture. For every closed point…
Global threshold conjecture. For some such divisor , one has
Flip conjecture. There exists a unique birational map to a -factorial projective variety with only terminal singularities, together wi…
Katsylo's conjecture. The following properties are equivalent: ; and there exists a -equivariant birational map