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

Let [X,ω][X,\omega] be a quasi-log scheme and let ipi ⁣:XSipi\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 Cipi1(P)C^\dag\subset ipi^{-1}(P) meeting the non-qlc locus. The conjecture. There exists a non-constant morphism

f ⁣:A1(XNqklt(X,ω))ipi1(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<ωC1.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.

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.