Conjecture on lengths of extremal rational curves

About 5 years old · traced to

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 ⁣:Uj→iphiRj(Uj)iphi_{R_j}\colon U_j\to iphi_{R_j}(U_j) is proper. Define

dj=min⁡Edim⁡E,d_j=\min_E\dim E,

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

0<−ω⋅Cj≤dj+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.

References

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.