Shokurov's conjecture on conic bundles with canonical singularities

Abstract

A conic bundle is a contraction $X\to Z$ between normal varieties of relative dimension $1$ such that $-K_X$ is relatively ample. We prove a conjecture of Shokurov which predicts that, if $X\to Z$ is a conic bundle such that $X$ has canonical singularities and $Z$ is $\mathbb{Q}$-Gorenstein, then $Z$ is always $\frac{1}{2}$-lc, and the multiplicities of the fibers over codimension $1$ points are bounded from above by $2$. Both values $\frac{1}{2}$ and $2$ are sharp. This is achieved by solving a more general conjecture of Shokurov on singularities of bases of lc-trivial fibrations of relative dimension $1$ with canonical singularities.

arXiv comment29 pages, comments are very welcome!

References in corpus (12)

• Desingularization of quasi-excellent schemes in characteristic zero
• Which powers of holomorphic functions are integrable?
• The rationality problem for conic bundles
• ACC for minimal log discrepancies of exceptional singularities
• Log Calabi-Yau fibrations
• Divisors computing the minimal log discrepancy on a smooth surface
• The log-canonical threshold of a plane curve
• A gap theorem for minimal log discrepancies of non-canonical singularities in dimension three
• Log abundance of the moduli b-divisors of lc-trivial fibrations
• Boundedness of $(\epsilon ,n)$-Complements for Surfaces
• ACC for log canonical threshold polytopes
• Singularities on toric fibrations

Cited by in corpus (3)

• An effective upper bound for anti-canonical volumes of canonical $\mathbb{Q}$-Fano threefolds
• On the equivalence between the effective adjunction conjectures of Prokhorov-Shokurov and of Li
• Effective bound for singularities on toric fibrations