Conjecture on lengths of extremal rational curves

Let (X,Δ)(X,\Delta) be the dlt pair and setup of Theorem 1.6(iii), with a contraction morphism iphiRjiphi_{R_j} associated to a (KX+Δ)(K_X+\Delta)-negative extremal ray RjR_j, and suppose iphiRj ⁣:UjiphiRj(Uj)iphi_{R_j}\colon U_j\to iphi_{R_j}(U_j) is proper. Define

dj=minEdimE,d_j=\min_E\dim E,

where EE ranges over positive-dimensional irreducible components of (iphiRjUj)1(P)(iphi_{R_j}|_{U_j})^{-1}(P) for all PiphiRj(Uj)P\in iphi_{R_j}(U_j). Conjecture on lengths of extremal rational curves. There exists a possibly singular rational curve CjUjC_j\subset U_j spanning RjR_j in N1(X/S)N_1(X/S) and satisfying

0<ωCjdj+1.0<-\omega\cdot C_j\leq d_j+1.

This is presented as a conjectural length bound for extremal rational curves, related to the cited question in Matsuki; no resolution is specified in the source.

Sources & referencesView supporting material

Primary source

Osamu Fujino, “Cone theorem and Mori hyperbolicity”, arXiv:2102.11986 (2022).

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.