Birational functoriality conjecture for destabilising test configurations

Let (X,L)(X,L) be a pair destabilised by a test configuration (X,L)(\mathcal X,\mathcal L), and let π ⁣:XX\pi\colon X'\rightarrow X be a projective birational morphism.

Birational functoriality conjecture. There is a K-unstable pair (X,L)(X”,L”) destabilized by a test configuration (X,L)(\mathcal X”,\mathcal L”), a birational map ϕ ⁣:XX\phi\colon X\dashrightarrow X”, a birational morphism ψ ⁣:XX\psi\colon X'\rightarrow X” satisfying ψ=ϕπ\psi=\phi\circ\pi and ψ(L)=L\psi(L')=L”, and a morphism f ⁣:XXf\colon \mathcal X'\rightarrow \mathcal X” such that L=f(L)\mathcal L”=f_*(\mathcal L) and fF=ψf|_F=\psi, where FF is the general fibre of X\mathcal X'.

This conjecture proposes that a destabilising test configuration can be transferred through a projective birational morphism while preserving a compatible birational relationship between the fibres and total spaces. The supplied source does not state that it is solved or refuted.

Sources & referencesView supporting material

Primary source

Jesus Martinez-Garcia, “Constant scalar curvature Kähler metrics on rational surfaces”, arXiv:1712.04857 (2020).

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.