Boundedness of \((\epsilon,n)\)-complements for projective generalized pairs of Fano type (Q2078403)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Boundedness of \((\epsilon,n)\)-complements for projective generalized pairs of Fano type
scientific article

    Statements

    Boundedness of \((\epsilon,n)\)-complements for projective generalized pairs of Fano type (English)
    0 references
    0 references
    0 references
    28 February 2022
    0 references
    The paper under review studies the existence of \((\varepsilon,n)\)-complements for generalised pairs. More precisely, the paper is devoted to study the following conjecture, which can viewed as a variant of the existence of completements proved by \textit{C. Birkar} [Ann. Math. (2) 190, No. 2, 345--463 (2019; Zbl 1470.14078)]. \textbf{Conjecture.} Let \(d\) and \(p\) be two positive integers, \(\varepsilon\) a non-negative real number, and \(\Gamma\subset[0,1]\) a DCC set. Then there exists a postiive integer \(n\) divisible by \(p\) depending on \(d\), \(p\), \(\varepsilon\) and \(\Gamma\) satisfying the following: assume that \((X/Z,B+M)\) is a generalised pair of dimension \(d\), \(X\rightarrow Z\) a contraction and \(z\in Z\) a point such that \begin{itemize} \item[1.] \(X\) is of Fano type over \(Z\), \item[2.] \(M'=\sum \mu_j M'_j\), where \(M'_j\) are nef over \(Z\) Cartier divisors and \(\mu_j\in \Gamma\), \item[3.] \(B\in \Gamma\), and \item[4.] \((X/Z\ni z, B+M)\) is \((\varepsilon,\mathbb{R})\)-complementary. \end{itemize} Then there is an \((\varepsilon,n)\)-complement \((X/Z\ni z, B^+ + M^+)\) of \((X/Z\ni z, B+M)\). Moreover, if \(\text{Span}_{\mathbb{Q\geq 0}}(\bar{\Gamma}\cup\{\varepsilon\}\setminus \mathbb{Q})\cap (\mathbb{Q}\setminus\{0\})=\emptyset\), then we may pick \(B^+\geq B\) and \(\mu_j^+ \geq \mu_j\), where \(M^{+'}=\sum \mu_j^+ M'_j\). The main theorem of this paper under review says that the Conjecture above holds in the following three cases: (1) \(\varepsilon=0\); (2) \(\varepsilon>0\), \(\dim(Z)=0\) and \(\Gamma\) is a finite set; (3) \(\varepsilon>0\), \(\dim(Z)=0\) and \(M'\equiv 0\). As a byproduct, the authors obtain the existence of \((\varepsilon,n,\Gamma_0)\)-decomposable \((\varepsilon,\mathbb{R})\)-complements in the setting of the Conjecture above under the additional assumption that either \(\Gamma\) is a finite set or \(M'\equiv 0\) and the author generalise the previous result on the uniform linearity of minimal log discrepancies to generalised pairs, see also [\textit{G. Chen} and \textit{J. Han}, Adv. Math. 383, Article ID 107703, 40 p. (2021; Zbl 1473.14029); \textit{J. Han} et al., ``ACC for minimal log discrepancies of exceptional singularities'', Preprint, \url{arXiv:1903.04338}]. and [\textit{G. Chen}, ``Boundedness of \( n \)-complements for generalized pairs'', Preprint, \url{arXiv:2003.04237}].
    0 references
    0 references
    complements
    0 references
    generalized pairs
    0 references
    Fano varieties
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references