Finiteness of the relative kernel group for Calabi–Yau fibrations

Let f:(X,Δ)Sf:(X,\Delta)\to S be a klt Calabi–Yau fibration such that R1fOXR^1f_*\operatorname{O}_X is a torsion sheaf. Let ΓB\Gamma_B be the image of PsAut(X/S,Δ)\operatorname{PsAut}(X/S,\Delta) in GL(N1(X/S)R)\operatorname{GL}(N^1(X/S)_\mathbb{R}), and let WW be the maximal vector space contained in the relative movable cone Mov(X/S)\overline{\operatorname{Mov}}(X/S). Define

ΓW={γΓBγ acts trivially on N1(X/S)R/W}.\Gamma_W=\{\gamma\in\Gamma_B\mid \gamma\text{ acts trivially on }N^1(X/S)_\mathbb{R}/W\}.

Finiteness conjecture. The group ΓW\Gamma_W is always finite. The preceding lemma proves finiteness under the stronger assumption that XX has terminal singularities; the conjecture asks for the stated klt generality.

Sources & referencesView supporting material

Primary source

Zhan Li and Hang Zhao, “On the relative Morrison-Kawamata cone conjecture”, arXiv:2206.13701 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.