Optimal bound for singularities on Fano type fibrations of relative dimension one

TL;DR

This paper determines the optimal lower bound for the singularities of the base in Fano type fibrations of relative dimension one, extending previous results to arbitrary epsilon- lc pairs.

Contribution

It establishes the exact optimal value of the delta-lc threshold for the base in Fano fibrations of relative dimension one for any epsilon in (0,1].

Findings

Optimal delta value for d=1 and arbitrary epsilon obtained.

Extends previous results from epsilon=1 to all epsilon in (0,1].

Confirms conjecture by Shokurov and builds on recent proof by Birkar.

Abstract

Let $\pi:X\rightarrow Z$ be a Fano type fibration with $\dim X-\dim Z=d$ and let $(X,B)$ be an $\epsilon$-lc pair with $K_X+B\sim_{\RR} 0/Z$. The canonical bundle formula gives $(Z,B_Z+M_Z)$ where $B_Z$ is the discriminant divisor and $M_Z$ is the moduli divisor which is determined up to $\RR$-linear equivalence. Shokurov conjectured that one can choose $M_Z\geq 0$ such that $(Z,B_Z+M_Z)$ is $\delta$-lc where $\delta$ only depends on $d,\epsilon$. Very recently, this conjecture was proved by Birkar \cite{Bir23}. For $d=1$ and $\epsilon=1$, Han, Jiang and Luo \cite{HJL22} gave the optimal value of $\delta=1/2$. In this paper, we give the optimal value of $\delta$ for $d=1$ and arbitrary $0<\epsilon\leq 1$.