Conjecture on quasi-log schemes and short affine-line curves

About 5 years old · traced to

Let [X,ω][X,\omega] be a quasi-log scheme and let ipi ⁣:X→Sipi\colon X\to S be a projective morphism between schemes such that −ω-\omega is ipiipi-ample and the induced morphism from the non-qlc locus is finite. Let PP be a closed point of SS for which there is a curve C†⊂ipi−1(P)C^\dag\subset ipi^{-1}(P) meeting the non-qlc locus. The conjecture. There exists a non-constant morphism

f ⁣:A1⟶(X∖Nqklt⁡(X,ω))∩ipi−1(P)f\colon \mathbb A^1\longrightarrow \left(X\setminus \operatorname{Nqklt}(X,\omega)\right)\cap ipi^{-1}(P)

whose image closure CC meets the non-qlc locus and satisfies

0<−ω⋅C≤1.0<-\omega\cdot C\leq 1.

This would provide a short rational curve in the fibre avoiding the non-qlc locus except at its boundary; its resolution status is not 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.