16 problems

Kawamata–Morrison–Totaro cone conjecture. The group $\operatorname{Aut}(X/S,\Delta)$ acts on $\mathcal{A}^e(X/S)$ with finitely many orbits of Mori faces, while…

Let $(X/Z,\Delta)$ be a klt log Calabi–Yau pair over $Z$, where $X$ is $\mathbb{Q}$-factorial and $\Delta$ is an $\mathbb{R}$-boundary. Let $\mathcal{A}^e(X/Z)$ and…

Let $(X/Z,\Delta)$ be a klt log Calabi–Yau pair over $Z$, where $X$ is $\mathbb{Q}$-factorial. Write $\mathcal{A}^e(X/Z)$ for the effective nef cone and $\mathcal{M}^e(X/Z)$ for th…

Geometric cone conjecture. Suppose $(X,B)$ is klt and $X$ is $\mathbb{Q}$-factorial. Then the number of $\textnormal{Aut}(X/Y,B)$-equivalence classes of faces of…

Arithmetic cone conjecture. Suppose $(X,B)$ is klt. Then there is a rational polyhedral cone $\Pi\subseteq\textnormal{Nef}^e(X/Y)$ such that

Let $f:(X,\Delta)\to S$ be a klt $K$-trivial fiber space. Define … and … A subset is a weak fundamental domain for a group action if its translates cover the space and every transl…

Let $f:X\to S$ be a $K$-trivial fiber space, meaning a normal $\mathbb Q$-factorial klt pair $(X,\Delta)$ endowed with a proper surjective morphism with connected fibres such that…

Let $(X,\Delta)$ be a klt Calabi–Yau pair. Let $\mathcal{B}^e(X)$ denote the effective cone appearing in the source, and let $PsAut(X,\Delta)$ act on it by pullback. Effective cone…

Type (1) face orbit conjecture. The pseudoautomorphism group $\operatorname{PsAut}(Y)$ acts with finitely many orbits on the Type (1) faces of $\operatorname{Mov}^{e}(Y)$ for every…

Morrison's cone conjecture.

Totaro's cone conjecture. There exists a rational polyhedral cone $\Pi$ that is a fundamental domain for the action of $\operatorname{Aut}(X)$ on $\operatorname{Nef^e}(X)$, namely

Finiteness conjecture. The group $\Gamma_W$ is always finite. The preceding lemma proves finiteness under the stronger assumption that $X$ has terminal singularities; the conjectur…

Let $f:(X,\Delta)\to S$ be a klt Calabi–Yau fiber space. Let $\operatorname{Eff}(X/S)$, $\operatorname{Mov}(X/S)$, and $\operatorname{Amp}(X/S)$ denote the effective, movable, and…

Let $(X,\Delta) \to S$ be a klt Calabi–Yau fiber space. Let $\Gamma_B$ and $\Gamma_A$ be the images of the pseudo-automorphism group $\operatorname{PsAut}(X/S,\Delta)$ and the auto…

Kawamata–Morrison Cone Conjecture. There exists a rational polyhedral cone $\Pi$ contained in the cone spanned by Chern classes of nef effective Cartier divisors,…

Boundedness conjecture. Let $Y$ be an irreducible holomorphic symplectic manifold birational to $X$. The set