Birational functoriality conjecture for destabilising test configurations

At least 8 years old · documented by

Let (X,L)(X,L) be a pair destabilised by a test configuration (X,L)(\mathcal X,\mathcal L), and let π ⁣:X′→X\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 ϕ ⁣:X⇢X”\phi\colon X\dashrightarrow X”, a birational morphism ψ ⁣:X′→X”\psi\colon X'\rightarrow X” satisfying ψ=ϕ∘π\psi=\phi\circ\pi and ψ(L′)=L”\psi(L')=L”, and a morphism f ⁣:X′→X”f\colon \mathcal X'\rightarrow \mathcal X” such that L”=f∗(L)\mathcal L”=f_*(\mathcal L) and f∣F=ψ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.

References

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.