--- abstract: 'This survey paper reports on work of Birkar, who confirmed a long-standing conjecture of Alexeev and Borisov-Borisov: Fano varieties with mild singularities form a bounded family once their dimension is fixed. Following Prokhorov-Shramov, we explain how this boundedness result implies that birational automorphism groups of projective spaces satisfy the Jordan property, answering a question of Serre in the positive.' address: - | Mathematisches Institut\ Albert-Ludwigs-Universität Freiburg\ Ernst-Zermelo-Straße 1\ 79104 Freiburg im Breisgau, Germany\ \ Freiburg Institute for Advanced Studies (FRIAS)\ Freiburg im Breisgau, Germany - 'Mathematisches Institut, Albert-Ludwigs-Universität Freiburg, Ernst-Zermelo-Straße 1, 79104 Freiburg im Breisgau, Germany & Freiburg Institute for Advanced Studies (FRIAS), Freiburg im Breisgau, Germany' author: - Stefan Kebekus date: - Janvier 2019 - Janvier 2019 - subtitle: - 'following Birkar and Prokhorov-Shramov' - - title: 'Boundedness results for singular Fano varieties, and applications to Cremona groups' --- Main results ============ Throughout this paper, we work over the field of complex numbers. Boundedness of singular Fano varieties -------------------------------------- A normal, projective variety $X$ is called *Fano* if a negative multiple of its canonical divisor class is Cartier and if the associated line bundle is ample. Fano varieties appear throughout geometry and have been studied intensely, in many contexts. For the purposes of this talk, we remark that Fanos with sufficiently mild singularities constitute one of the fundamental variety classes in birational geometry. In fact, given any projective manifold $X$, the Minimal Model Programme (MMP) predicts the existence of a sequence of rather special birational transformations, known as "divisorial contractions" and "flips", as follows, $$\xymatrix{ X = X^{(0)} \ar@{-->}[rr]^{α^{(1)}}_{\text{birational}} && X^{(1)} \ar@{-->}[rr]^{α^{(2)}}_{\text{birational}} && ⋯ \ar@{-->}[rr]^{α^{(n)}}_{\text{birational}} && X^{(n)}. }$$ The resulting variety $X^{(n)}$ is either canonically polarised (which is to say that a suitable power of its canonical sheaf is ample), or it has the structure of a fibre space whose general fibres are either Fano or have numerically trivial canonical class. The study of (families of) Fano varieties is thus one of the most fundamental problems in birational geometry. \[Singularities\] Even though the starting variety $X$ is a manifold by assumption, it is well understood that we cannot expect the varieties $X^{(•)}$ to be smooth. Instead, they exhibit mild singularities, known as "terminal" or "canonical" — we refer the reader to @KM98 [Sect. 2.3] or @MR3057950 [Sect. 2] for a discussion and for references. If $X^{(n)}$ admits the structure of a fibre space, its general fibres will also have terminal or canonical singularities. Even if one is primarily interested in the geometry of *manifolds*, it is therefore necessary to include families of *singular* Fanos in the discussion. In a series of two fundamental papers, @Bir16a [@Bir16b], Birkar confirmed a long-standing conjecture of Alexeev and Borisov-Borisov, @MR1298994 [@MR1166957], asserting that for every $d ∈ ℕ$, the family of $d$-dimensional Fano varieties with terminal singularities is bounded: there exists a proper morphism of quasi-projective schemes over the complex numbers, $u : 𝕏 → Y$, and for every $d$-dimensional Fano $X$ with terminal singularities a closed point $y ∈ Y$ such that $X$ is isomorphic to the fibre $𝕏_y$. In fact, a much more general statement holds true. \[\]\[thm:BAB\] Given $d ∈ ℕ$ and $ε ∈ ℝ^+$, let $\mathcal X_{d,ε}$ be the family of projective varieties $X$ with dimension $\dim_ℂ X = d$ that admit an $ℝ$-divisor $B ∈ ℝ\operatorname{Div}(X)$ such that the following holds true. 1. \[il:BAB1\] The tuple $(X,B)$ forms a pair. In other words: $X$ is normal, the coefficients of $B$ are contained in the interval $[0,1]$ and $K_X+B$ is $ℝ$-Cartier. 2. \[il:BAB2\] The pair $(X,B)$ is $ε$-lc. In other words, the total log discrepancy of $(X,B)$ is greater than or equal to $ε$. 3. \[il:BAB3\] The $ℝ$-Cartier divisor $-(K_X+B)$ is nef and big. Then, the family $\mathcal X_{d,ε}$ is bounded. \[Terminal singularities\] If $X$ has terminal singularities, then $(X,0)$ is $1$-lc. We refer to Section \[sec:singofpairs\], to Birkar's original papers, or to @MR3224718 [Sect. 3.1] for the relevant definitions concerning more general classes of singularities. For his proof of the boundedness of Fano varieties and for his contributions to the Minimal Model Programme, Caucher Birkar was awarded with the Fields Medal at the ICM 2018 in Rio de Janeiro. ### Where does boundedness come from? {#ssec:1-1-1v2} The brief answer is: "From boundedness of volumes!" In fact, if $(X_t, A_t)_{t ∈ T}$ is a family of tuples where the $X_t$ are normal, projective varieties of fixed dimension $d$ and $A_t ∈ \operatorname{Div}(X_t)$ are very ample, and if there exists a number $v ∈ ℕ$ such that $$\operatorname{vol}(A_t) := \limsup_{n→∞} \frac{d!·h⁰\bigl( X_t,\, 𝒪_{X_t}(n·A_t) \bigr)}{n^d} < v$$ for all $t ∈ T$, then elementary arguments using Hilbert schemes show that the family $(X_t, A_t)_{t ∈ T}$ is bounded. For the application that we have in mind, the varieties $X_t$ are the Fano varieties whose boundedness we would like to show and the divisors $A_t$ will be chosen as fixed multiples of their anticanonical classes. To obtain boundedness results in this setting, Birkar needs to show that there exists one number $m$ that makes all $A_t := -m·K_{X_t}$ very ample, or (more modestly) ensures that the linear systems $|-m·K_{X_t}|$ define birational maps. Volume bounds for these divisors need to be established, and the singularities of the linear systems need to be controlled. ### Earlier results, related results {#ssec:1-1-2v2} Boundedness results have a long history, which we cannot cover with any pretence of completeness. Boundedness of smooth Fano surfaces and threefolds follows from their classification. Boundedness of Fano *manifolds* of arbitrary dimension was shown in the early 1990s, in an influential paper of Kollár, Miyaoka and Mori, @KMM92, by studying their geometry as rationally connected manifolds. Around the same time, Borisov-Borisov were able to handle the toric case using combinatorial methods, @MR1166957. For (singular) surfaces, Theorem \[thm:BAB\] is due to Alexeev, @MR1298994. Among the newer results, we will only mention the work of Hacon-McKernan-Xu. Using methods that are similar to those discussed here, but without the results on "boundedness of complements" ($→$ Section \[sec:bcomp\]), they are able to bound the volumes of klt pairs $(X, Δ)$, where $X$ is projective of fixed dimension, $K_X + Δ$ is numerically trivial and the coefficients of $Δ$ come from a fixed DCC set, @MR3224718 [Thm. B]. Boundedness of Fanos with klt singularities and fixed Cartier index follows, @MR3224718 [Cor. 1.8]. In a subsequent paper @MR3507257 these results are extended to give the boundedness result that we quote in Theorem \[thm:boundednessCriterion\], and that Birkar builds on. We conclude with a reference to @Jiang17 [@Chen18] for current results involving $K$-stability and $α$-invariants. The surveys @MR2827803 [@MR3821154] give a more complete overview. ### Positive characteristic Apart from the above-mentioned results of Alexeev, @MR1298994, which hold over algebraically closed field of arbitrary characteristic, little is known in case where the characteristic of the base field is positive. Applications {#ssec:1-2} ------------ As we will see in Section \[sec:jordan\] below, boundedness of Fanos can be used to prove the existence of fixed points for actions of finite groups on Fanos, or more generally rationally connected varieties. Recall that a variety $X$ is *rationally connected* if every two points are connected by an irreducible, rational curve contained in $X$. This allows us to apply Theorem \[thm:BAB\] in the study of finite subgroups of birational automorphism groups. ### The Jordan property of Cremona groups Even before Theorem \[thm:BAB\] was known, it had been realised by Prokhorov and Shramov, @MR3483470, that boundedness of Fano varieties with terminal singularities would imply that the birational automorphism groups of projective spaces (= Cremona groups, $\operatorname{Bir}(ℙ^d)$) satisfy the *Jordan property*. Recall that a group $Γ$ is said to *have the Jordan property* if there exists a number $j ∈ ℕ$ such that every finite subgroup $G ⊂ Γ$ contains a normal, Abelian subgroup $A ⊂ G$ of index $|G:A| ≤ j$. In fact, a stronger result holds. \[\]\[thm:jordan\] Given any number $d ∈ ℕ$, there exists $j ∈ ℕ$ such that for every complex, projective, rationally connected variety $X$ of dimension $\dim_{ℂ} X = d$, every finite subgroup $G ⊂ \operatorname{Bir}(X)$ contains a normal, Abelian subgroup $A ⊆ G$ of index $|G:A| ≤ j$. Theorem \[thm:jordan\] answers a question of Serre @MR2567402 [6.1] in the positive. A more detailed analysis establishes the Jordan property more generally for all varieties of vanishing irregularity, @MR3292293 [Thm. 1.8]. Theorem \[thm:jordan\] ties in with the general philosophy that finite subgroups of $\operatorname{Bir}(ℙ^d)$ should in many ways be similar to finite linear groups, where the property has been established by Jordan more then a century ago. \[\]\[thm:jordan-lin\] Given any number $d ∈ ℕ$, there exists $j^{\operatorname{Jordan}}_d ∈ ℕ$ such that every finite subgroup $G ⊂ \operatorname{GL}_d(ℂ)$ contains a normal, Abelian subgroup $A ⊆ G$ of index $|G:A| ≤ j^{\operatorname{Jordan}}_d$. \[Related results\] For further information on Cremona groups and their subgroups, we refer the reader to the surveys @MR3229352 [@MR3821147] and to the recent research paper @Popov18. For the maximally connected components of automorphism groups of projective varieties (rather than the full group of birational automorphisms), the Jordan property has recently been established by Meng and Zhang without any assumption on the nature of the varieties, @MZ18 [Thm. 1.4]; their proof uses group-theoretic methods rather than birational geometry. For related results (also in positive characteristic), see @Hu18 [@MR3830471; @SV18] and references there. ### Boundedness of finite subgroups in birational transformation groups Following similar lines of thought, Prokhorov and Shramov also deduce boundedness of finite subgroups in birational transformation groups, for arbitrary varieties defined over a finite field extension of $ℚ$. \[\] Let $k$ be a finitely generated field over $ℚ$. Let $X$ be a variety over $k$, and let $\operatorname{Bir}(X)$ denote the group of birational automorphisms of $X$ over $\operatorname{Spec}k$. Then, there exists $b ∈ ℕ$ such that any finite subgroup $G ⊂ \operatorname{Bir}(X)$ has order $|G| ≤ b$. As an immediate corollary, they answer another question of Serre[^1], pertaining to finite subgroups in the automorphism group of a field. \[\] Let $k$ be a finitely generated field over $ℚ$. Then, there exists $b ∈ ℕ$ such that any finite subgroup $G ⊂ \operatorname{Aut}(k)$ has order $|G| ≤ b$. ### Boundedness of links, quotients of the Cremona group Birkar's result has further applications within birational geometry. Combined with work of Choi-Shokurov, it implies the boundedness of Sarkisov links in any given dimension, cf. @MR2784026 [Cor. 7.1]. In @BLZ, Blanc-Lamy-Zimmermann use Birkar's result to prove the existence of many quotients of the Cremona groups of dimension three or more. In particular, they show that these groups are not perfect and thus not simple. Outline of this paper --------------------- Paraphrasing @Bir16a [p. 6], the main tools used in Birkar's work include the Minimal Model Programme @KM98 [@BCHM10], the theory of complements @MR1892905 [@MR2448282; @MR1794169], the technique of creating families of non-klt centres using volumes @MR3224718 [@MR3034294] and @KollarSingsOfPairs [Sect. 6], and the theory of generalised polarised pairs @MR3502099. In fact, given the scope and difficulty of Birkar's work, and given the large number of technical concepts involved, it does not seem realistic to give more than a panoramic presentation of Birkar's proof here. Largely ignoring all technicalities, Sections \[sec:bcomp\]–\[sec:lcthres\] highlight four core results, each of independent interest. We explain the statements in brief, sketch some ideas of proof and indicate how the results might fit together to give the desired boundedness result. Finally, Section \[sec:jordan\] discusses the application to the Jordan property in some detail. Acknowledgements ---------------- The author would like to thank Florin Ambro, Serge Cantat, Enrica Floris, Christopher Hacon, Vladimir Lazić, Benjamin McDonnell, Vladimir Popov, Thomas Preu, Yuri Prokhorov, Vyacheslav Shokurov, Chenyang Xu and one anonymous reader, who answered my questions and/or suggested improvements. Yanning Xu was kind enough to visit Freiburg and patiently explain large parts of the material to me. He helped me out more than just once. His paper @YXu18, which summarises Birkar's results, has been helpful in preparing these notes. Even though our point of view is perhaps a little different, it goes without saying that this paper has substantial overlap with Birkar's own survey @Bir18. Notation, standard facts and known results ========================================== Varieties, divisors and pairs ----------------------------- We follow standard conventions concerning varieties, divisors and pairs. In particular, the following notation will be used. \[Round-up, round-down and fractional part\] If $X$ is a normal, quasi-projective variety and $B ∈ ℝ\operatorname{Div}(X)$ an $ℝ$-divisor on $X$, we write $⌊ B ⌋$, $⌈ B ⌉$ for the round-down and round-up of $B$, respectively. The divisor $\{B\} := B - ⌊ B ⌋$ is called *fractional part of $B$*. \[Pair\] A *pair* is a tuple $(X, B)$ consisting of a normal, quasi-projective variety $X$ and an effective $ℝ$-divisor $B$ such that $K_X + B$ is $ℝ$-Cartier. \[Couple\] A *couple* is a tuple $(X, B)$ consisting of a normal, projective variety $X$ and a divisor $B ∈ \operatorname{Div}(X)$ whose coefficients are all equal to one. The couple is called *log-smooth* if $X$ is smooth and if $B$ has simple normal crossings support. $ℝ$-divisors ------------ While divisors with real coefficients had sporadically appeared in birational geometry for a long time, the importance of allowing real (rather than rational) coefficients was highlighted in the seminal paper @BCHM10, where continuity- and compactness arguments for spaces of divisors were used in an essential manner. Almost all standard definitions for divisors have analogues for $ℝ$-divisors, but the generalised definitions are perhaps not always obvious. For the reader's convenience, we recall a few of the more important notions here. \[Big $ℝ$-divisors\] Let $X$ be a normal, projective variety. A divisor $B ∈ ℝ\operatorname{Div}(X)$, which need not be $ℝ$-Cartier, is called *big* if there exists an an ample $H ∈ ℝ\operatorname{Div}(X)$, and effective $D ∈ ℝ\operatorname{Div}(X)$ and an $ℝ$-linear equivalence $B \sim_ℝ H + D$. \[Volume of an $ℝ$-divisor\] Let $X$ be a normal, projective variety of dimension $d$. The *volume* of an $ℝ$-divisor $D ∈ ℝ\operatorname{Div}(X)$ is defined as $$\operatorname{vol}(D) := \limsup_{m→∞} \frac{d!·h⁰\bigl( X,\, 𝒪_X(⌊mD⌋) \bigr)}{m^d}.$$ \[Linear system\] Let $X$ be a normal, quasi-projective variety and let $M ∈ ℝ\operatorname{Div}(X)$. The *$ℝ$-linear system* $|M|$ is defined as $$|M|_ℝ := \{ D ∈ ℝ\operatorname{Div}(X) \,|\, D \text{ is effective and } D \sim_{ℝ} M \}.$$ Invariants of varieties and pairs {#sec:singofpairs} --------------------------------- We briefly recall a number of standard definitions concerning singularities. In brief, if $X$ is smooth, and if $π : {\widetilde}{X} → X$ is any birational morphism, where ${\widetilde}{X}$ it smooth, then any top-form $σ ∈ H⁰ \bigl( X,\, ω_X \bigr)$ pulls back to a holomorphic differential form $τ ∈ H⁰ \bigl( {\widetilde}{X},\, ω_{{\widetilde}{X}} \bigr)$, with zeros along the positive-dimensional fibres of $π$. However, if $X$ is singular, if $π : {\widetilde}{X} → X$ is a resolution of singularities and if $σ ∈ H⁰ \bigl( X,\, ω_X \bigr)$ is any section in the (pre-)dualising sheaf, then the pull-back of $σ$ will only be a rational differential form on ${\widetilde}{X}$ which might well have poles along the positive-dimensional fibres of $π$. The idea in the definition of "log discrepancy" is to use this pole order to measure the "badness" of the singularities on $X$. We refer the reader to one of the standard references @KM98 [Sect. 2.3] and @MR3057950 [Sect. 2] for an-depth discussion of these ideas and of the singularities of the Minimal Model Programme. Since the notation is not uniform across the literature[^2], we spend a few lines to fix notation and briefly recall the central definitions of the field. \[Log discrepancy\]\[not:logdiscrep\] Let $(X,B)$ a pair and let $π : {\widetilde}{X} → X$ be a log resolution of singularities, with exceptional divisors $(E_i)_{1 ≤ i ≤ n}$. Since $K_X+B$ is $ℝ$-Cartier by assumptions, there exists a well-defined notion of pull-back, and a unique divisor $B_{{\widetilde}{X}} ∈ ℝ\operatorname{Div}({\widetilde}{X})$ such that $K_{{\widetilde}{X}} + B_{{\widetilde}{X}} = π^* (K_X+B)$ in $ℝ\operatorname{Div}({\widetilde}{X})$. If $D$ is any prime divisor on ${\widetilde}{X}$, we consider the *log discrepancy* $$a_{\log}(D, X, B) := 1 - \operatorname{mult}_D B_{{\widetilde}{X}}.$$ The infimum over all such numbers, $$a_{\log}(X, B) := \inf \{ a_{\log}(D, X, B) \:|\: π:{\widetilde}{X} → X \text{ a log resolution and } D ∈ \operatorname{Div}({\widetilde}{X}) \text{ prime}\}$$ is called the *total log discrepancy of the pair $(X,B)$*. The total log discrepancy measures how bad the singularities are: the smaller $a_{\log}(X, B)$ is, the worse the singularities are. Table lists the classes of singularities will be relevant in the sequel. In addition, $(X, B)$ is called *plt* if $a_{\log}(D, X, B) > 0$ for every resolution $π : {\widetilde}{X} → X$ and every *exceptional* divisor $D$ on ${\widetilde}{X}$. The class of $ε$-lc singularities, which is perhaps the most relevant for our purposes, was introduced by Alexeev. If …, then $(X,B)$ is called "…" ---------------------- --- ------------------------------------ $a_{\log}(X, B) ≥ 0$ … *log canonical (or "lc")* $a_{\log}(X, B) > 0$ … *Kawamata log terminal (or "klt")* $a_{\log}(X, B) ≥ ε$ … *$ε$-log canonical (or "$ε$-lc")* $a_{\log}(X, B) ≥ 1$ … *canonical* $a_{\log}(X, B) > 1$ … *terminal* : Singularities of the Minimal Model Programme<span data-label="tab:x1"></span> ### Places and centres The divisors $D$ that appear in the definition log discrepancy deserve special attention, in particular if $a_{\log}(D, X, B) ≤ 0$. \[Non-klt places and centres\] Let $(X,B)$ a pair. A *non-klt place* of $(X, B)$ is a prime divisor $D$ on birational models of $X$ such that $a_{\log}(D, X, B) ≤ 0$. A *non-klt centre* is the image on $X$ of a non-klt place. When $(X, B)$ is lc, a non-klt centre is also called an *lc centre*. ### Thresholds Suppose that $(X,B)$ is a klt pair, and that $D$ is an effective divisor on $X$. The pair $(X, B+t·D)$ will then be log-canonical for sufficiently small numbers $t$, but cannot be klt when $t$ is large. The critical value of $t$ is called the *log-canonical threshold*. \[\]\[def:lct\] Let $(X,B)$ be a klt pair. If $D ∈ ℝ\operatorname{Div}(X)$ is effective, one defines the *lc threshold of $D$ with respect to $(X,B)$* as $$\begin{aligned} \operatorname{lct}\bigl(X,\, B,\, D \bigr) & := \sup \bigl\{ t ∈ ℝ \:\bigl|\: (X,B+t·D) \text{ is lc} \bigr\}. \\ \intertext{If $Δ ∈ ℝ\operatorname{Div}(X)$ is $ℝ$-Cartier with non-empty $ℝ$-linear system (but not necessarily effective itself), one defines \emph{lc threshold of $|Δ|_{ℝ}$ with respect to $(X,B)$} as} \operatorname{lct}\bigl(X,\, B,\, |Δ|_ℝ \bigr) & := \inf \bigl\{ \operatorname{lct}(X,B,D) \:\bigl|\: D ∈ |Δ|_ℝ \bigr\}. \end{aligned}$$ \[rem:sflct\] In the setting of Definition \[def:lct\], it is a standard fact that $$\operatorname{lct}\bigl(X,\, B,\, |Δ|_ℝ \bigr) = \sup \bigl\{ t ∈ ℝ \:\bigl|\: (X, B+t·D) \text{ is lc for every } D ∈ |Δ|_{ℝ} \bigr\}.$$ In particular, if $(X,B)$ is klt, then $(X, B+t'·D)$ is lc for every $D ∈ |Δ|_{ℝ}$ and every $0 < t' < t$. If $B = 0$, we omit it from the notation and write $\operatorname{lct}\bigl(X,\, |Δ|_ℝ \bigr)$ and $\operatorname{lct}\bigl(X,\, D \bigr)$ in short. Fano varieties and pairs ------------------------ Fano varieties come in many variants. For the purposes of this overview, the following classes of varieties will be the most relevant. \[\] - A projective pair $(X, B)$ is called *log Fano* if $(X, B)$ is lc and if $-(K_X+B)$ is ample. If $B = 0$, we just say that $X$ is Fano. - A projective pair $(X, B)$ is called is called *weak log Fano* if $(X, B)$ is lc and $-(K_X + B)$ is nef and big. If $B = 0$, we just say that $X$ is weak Fano. \[Relative notions\] There exist relative versions of the notions discussed above. If $(X, B)$ is any quasi-projective pair, if $Z$ is normal and if $X → Z$ is surjective, projective and with connected fibres, we say $(X, B)$ is log Fano over $Z$ if it is lc and if $-(K_X + B)$ is relatively ample over $Z$. Ditto with "weak log Fano". Varieties of Fano type ---------------------- Varieties $X$ that *admit* a boundary $B$ that makes $(X,B)$ a Fano pair are said to be of *Fano type*. This notion was introduced by Prokhorov and Shokurov in @MR2448282. We refer to that paper for basic properties of varieties of Fano type. \[\] A normal, projective variety $X$ is said to be *of Fano type* if there exists an effective, $ℚ$-divisor $B$ such that $(X,B)$ is klt and weak log Fano pair. Equivalently: there exists a big $ℚ$-divisor $B$ such that $K_X + B \sim_ℚ 0$ and such that $(X, B)$ is a klt pair. \[Varieties of Fano type are Mori dream spaces\]\[rem:MoriDream\] If $X$ is of Fano type, recall from @BCHM10 [Sect. 1.3] that $X$ is a "Mori dream space". Given any $ℝ$-Cartier divisor $D ∈ ℝ\operatorname{Div}(X)$, we can then run the $D$-Minimal Model Programme and obtain a sequence of extremal contractions and flips, $X \dasharrow Y$. If the push-forward of $D_Y$ of $Y$ is nef over, we call $Y$ a minimal model for $D$. Otherwise, there exists a $D_Y$-negative extremal contraction $Y → T$ with $\dim Y > \dim T$, and we call $Y$ a Mori fibre space for $D$. \[Relative notions\] As before, there exists an obvious relative version of the notion "Fano type". Remark \[rem:MoriDream\] generalises to this relative setting. Varieties of Fano type come in two flavours that often need to be treated differently. The following notion, which we recall for later use, has been introduced by Shokurov. \[Exceptional and non-exceptional pairs\]\[def:exceptional\] Let $(X, B)$ be a projective pair, and assume that there exists an effective $P ∈ ℝ\operatorname{Div}(X)$ such that $K_X + B + P \sim_{ℝ} 0$. We say $(X, B)$ is *non-exceptional* if we can choose $P$ so that $(X, B+P)$ is *not* klt. We say that $(X, B)$ is *exceptional* if $(X, B+P)$ is klt for every choice of $P$. b-Divisors and generalised pairs ================================ In addition to the classical notions for singularities of pairs that we recalled in Section \[sec:singofpairs\] above, much of Birkar's work uses the notion of *generalised polarised pairs*. The additional flexibility of this notion allows for inductive proofs, but adds substantial technical difficulties. Generalised pairs were introduced by Birkar and Zhang in @MR3502099. ### Disclaimer {#disclaimer .unnumbered} The notion of generalised polarised pairs features prominently in Birkar's work, and should be presented in an adequate manner. The technical complications arising from this notion are however substantial and cannot be explained within a few pages. As a compromise, this section briefly explains what generalised pairs are, and how they come about in relevant settings. Section \[ssec:BC\] pinpoints one place in Birkar's inductive scheme of proof where generalised pairs appear naturally, and explains why most (if not all) of the material presented in this survey should in fact be formulated and proven for generalised pairs. For the purpose of exposition, we will however ignore this difficulty and discuss the classical case only. Definition of generalised pairs ------------------------------- To begin, we only recall a minimal subset of the relevant definitions, and refer to @Bir16a [Sect. 2] and to @MR3502099 [Sect. 4] for more details. We start with the notion of b-divisors, as introduced by Shokurov in @MR1420223, in the simplest case. \[b-divisor\]\[def:1v2\] Let $X$ be a variety. We consider projective, birational morphisms $Y → X$ from normal varieties $Y$, and for each $Y$ a divisor $M_Y ∈ ℝ\operatorname{Div}(Y)$. The collection $M := (M_Y)_Y$ is called *$b$-divisor* if for any morphism $f : Y' → Y$ of birational models over $X$, we have $M_Y = f_* (M_{Y'})$. \[b-$ℝ$-Cartier and b-Cartier b-divisors\] Setting as in Definition \[def:1v2\]. A b-divisor $M$ is called *b-$ℝ$-Cartier* if there exists one $Y$ such that $M_Y$ is $ℝ$-Cartier and such that for any morphism $f : Y' → Y$ of birational models over $X$, we have $M_{Y'} = f^* (M_Y)$. Ditto for *b-Cartier* b-divisors. \[\]\[def:gpp\] Let $Z$ be a variety. A *generalised polarised pair over $Z$* is a tuple consisting of the following data: 1. a normal variety $X$ equipped with a projective morphism $X → Z$, 2. an effective $ℝ$-divisor $B ∈ ℝ\operatorname{Div}(X)$, and 3. a b-$ℝ$-Cartier b-divisor over $X$ represented as $(φ: X' → X, M')$, where $M' ∈ ℝ\operatorname{Div}(X')$ is nef over $Z$, and where $K_X + B + φ_* M'$ is $ℝ$-Cartier. \[Generalised polarised pair\] In the setup of Definition \[def:gpp\], we usually write $M := φ_* M'$ and say that $(X, B+M)$ is a generalised pair with data $X' \overset{φ}{→} X → Z$ and $M'$. In contexts where $Z$ is not relevant, we usually drop it from the notation: in this case one can just assume $X → Z$ is the identity. When $Z$ is a point we also drop it but say the pair is projective. Following @MR3502099 [p. 286] we remark that Definition \[def:gpp\] is flexible with respect to $X'$ and $M'$. To be more precise, if $g : X'' → X'$ is a projective birational morphism from a normal variety, then there is no harm in replacing $X'$ with $X''$ and replacing $M'$ with $g^* M'$. Singularities of generalised pairs ---------------------------------- All notions introduced in Section \[sec:singofpairs\] have analogues in the setting of generalised pairs. Again, we cover only the most basic definition here. \[Generalised log discrepancy, singularity classes\] Consider a generalised polarised pair $(X, B+M)$ with data $X' \overset{φ}{→} X → Z$ and $M'$, where $φ$ is a log resolution of $(X, B)$. Then, there exists a uniquely determined divisor $B'$ on $X'$ such that $$K_{X'} + B' + M' = φ^* (K_X + B + M)$$ If $D ∈ \operatorname{Div}(X')$ is any prime divisor, the *generalised log discrepancy* is defined to be $$a_{\log}(D, X, B+M) := 1 - \operatorname{mult}_D B'.$$ As before, we define the *generalised total log discrepancy* $a_{\log}(X, B+M)$ by taking the infimum over all $D$ and all resolutions. In analogy to the definitions of Table \[tab:x1\], we say that the generalised polarised pair is *generalised lc* if $a_{\log}(X, B+M) ≥ 0$. Ditto for all the other definitions. Example: Fibrations and the canonical bundle formula {#ssec:gpfib} ---------------------------------------------------- We discuss a setting where generalised pairs appear naturally. Let $Y$ be a normal pair variety, and let $f : Y → X$ be a fibration: the space $X$ is projective, normal and of positive dimension, the morphism $f$ is surjective with connected fibres. Also, assume that $K_Y$ is $ℚ$-linearly equivalent to zero over $X$, so that there exists $L_X ∈ ℚ\operatorname{Div}(X)$ with $K_Y \sim_ℚ f^* L_X$. Ideally, one might hope that it would be possible to choose $L_X = K_X$, but this is almost always wrong — compare Kodaira's formula for the canonical bundle of an elliptic fibration, @HBPV [Sect. V.12]. To fix this issue, we define a first correction term $B ∈ ℚ\operatorname{Div}(X)$ as $$B := \sum_{\mathclap{\substack{D ∈ \operatorname{Div}(X)\\\text{prime}}}} (1-t_D)·D \quad \text{where} \quad t_D := \operatorname{lct}° \bigl(Y,\, Δ_Y,\, f^*D \bigr)$$ The symbol $\operatorname{lct}°$ denotes a variant of the lc threshold introduced in Definition \[def:lct\], which measures the singularities of $\bigl(Y, f^*D \bigr)$ only over the generic point of $D$. Since $X$ is smooth in codimension one, this also solves the problem of defining $f^* D$. Finally, one chooses $M ∈ ℚ\operatorname{Div}(X)$ such that $K_X + B + M$ is $ℚ$-Cartier and such that the desired $ℚ$-linear equivalence holds, $$K_Y \sim_ℚ f^* ( K_X + B + M ).$$ The divisor $B$ is usually called the "discriminant part" of the correction term. It detects singularities of the fibration, such as multiple or otherwise singular fibres, over codimension one points of $X$. The divisor $M$ is called the "moduli part". It is harder to describe. While we have defined it only up to $ℚ$-linear equivalence, a more involved construction can be used to define it as an honest divisor. Conjecturally, the moduli part carries information on the birational variation of the fibres of $f$, @MR1646046. We refer to @MR2359346 and to the introduction of the recent research paper @FL18 for an overview, but see also @MR3329677. ### Behaviour under birational modifications We ask how the moduli part of the correction term behaves under birational modification. To this end, let $φ : X' → X$ be a birational morphism of normal, projective varieties. Choosing a resolution $Y'$ of $Y ⨯_X X'$, we find a diagram as follows, $$\xymatrix{ Y' \ar[rr]^{Φ \text{, birational}} \ar[d]_{f'} && Y \ar[d]^f \\ X' \ar[rr]_{φ \text{, birational}} && X. }$$ Set $Δ_{Y'} := Φ^* K_Y - K_{Y'}$. Generalising the definition of $\operatorname{lct}°$ a little to allow for negative coefficients in $Δ_{Y'}$, one can then define $B'$ similarly to the construction above, $$B' := \sum_{\mathclap{\substack{D ∈ \operatorname{Div}(X')\\\text{prime}}}} (1-t'_D)·D \quad \text{where} \quad t'_D := \operatorname{lct}° \bigl(Y',\, Δ_{Y'},\, (f')^*D \bigr).$$ Finally, one may then choose $M' ∈ ℚ\operatorname{Div}(X')$ such that $$\begin{aligned} K_{Y'} + Δ_{Y'} & \sim_ℚ (f')^* (K_{X'} + B' + M' ), \\ K_{X'} + B' + M' & = φ^*(K_X+B+M)\end{aligned}$$ and $B = φ_* B'$ as well as $M = φ_* M'$. ### Relation to generalised pairs Now assume that $Y$ is lc. The divisor $B$ will then be effective. However, much more is true: after passing to a certain birational model $X'$ of $X$, the divisor $M_{X'}$ is nef and for any higher birational model $X'' → X'$, the induced $M_{X''}$ on $X''$ is the pullback of $M_{X''}$, @MR1646046 [@MR2153078; @MR2359346] and summarised in @Bir16a [Thm. 3.6]. In other words, going to a sufficiently high birational model of $X'$ of $X$, the moduli parts $M'$ define an b-$ℝ$-Cartier b-divisor. Moreover, this b-divisor is b-nef. We obtain a generalised polarised pair $(X, B+M)$ with data $X' \overset{φ}{→} X → \operatorname{Spec}ℂ$ and $M'$. This generalised pair is generalised lc by definition. A famous conjecture of Prokhorov and Shokurov @MR2448282 [Conj. 7.13] asserts that the moduli divisor $M_{X''}$ is semiample, on any sufficiently high birational model $X''$ of $X$. More precisely, it is expected that a number $m$ exists that depends only on the general fibre of $f$ such that all divisors $m·M_{X''}$ are basepoint free. If this conjecture was solved, it is conceivable that Birkar's work could perhaps be rewritten in a manner that avoids the notion of generalised pairs. \[Outlook\] The construction outlined in this section is used in the proof of "Boundedness of complements", as sketched in Section \[ssec:BC\] below. It generalises fairly directly to pairs $(Y, Δ_Y)$, and even to tuples where $Δ_Y$ is not necessarily effective, @Bir16a [Sect. 3.4]. Boundedness of complements {#sec:bcomp} ========================== Statement of result ------------------- One of the central concepts in Birkar's papers @Bir16a [@Bir16b] is that of a *complement*. The notion of a "complement" is an ingenious concept of Shokurov that was introduced in his investigation of threefold flips, @zbMATH00146455 [Sect. 5]. We recall the definition in brief. \[\]\[defn:comple\] Let $(X, B)$ be a projective pair and $m ∈ ℕ$. An *$m$-complement of $K_X + B$* is a $ℚ$-divisor $B^+$ with the following properties. 1. \[il:c1\] The tuple $(X, B^+)$ is an lc pair. 2. \[il:c2\] The divisor $m·(K_X + B^+)$ is linearly equivalent to $0$. In particular, $m·B^+$ is integral. 3. \[il:c3\] We have $m·B^+ ≥ m·⌊B⌋ +⌊(m+1)·\{B\}⌋$. \[Complements give sections\]\[rem:3-2\] Setting as in Definition \[defn:comple\]. If $m$ can be chosen such that $m·⌊B⌋ +⌊(m+1)·\{B\}⌋ ≥ m·B$, then Item \[il:c2\] guarantees that $-m·(K_X+B)$ is linearly equivalent to the effective divisor $m·(B^+-B)$. In particular, the sheaf $𝒪_X\bigl(-m·(K_X+B)\bigr)$ admits a global section. In view of Item \[il:c2\], Shokurov considers complements as divisors that make the lc pair $(X, B^+)$ "Calabi-Yau", hence "flat". The following result, which asserts the existence of complements with bounded $m$, is one of the core results in Birkar's paper @Bir16a. A proof of Theorem \[thm:boundOfCompl\] is sketched in Section . \[\]\[thm:boundOfCompl\] Given $d ∈ ℕ$ and a finite set $\mathcal{R} ⊂ [0,1] ∩ ℚ$, there exists $m ∈ ℕ$ with the following property. If $(X,B)$ is any log canonical, projective pair, where 1. \[il:r1\] $X$ is of Fano type and $\dim X = d$, 2. the coefficients of $B$ are of the form $\frac{l-r}{l}$, for $r ∈ \mathcal{R}$ and $l ∈ ℕ$, 3. $-(K_X+B)$ is nef, then there exists an $m$-complement $B^+$ of $K_X+B$ that satisfies $B^+ ≥ B$. The divisor $B^+$ is also an $(m·l)$-complement, for every $l ∈ ℕ$. \[Complements give sections\]\[rem:3-4\] Given a pair $(X,B)$ as in Theorem \[thm:boundOfCompl\] and a number $l ∈ ℕ$ such that $(ml)·B$ is integral, then $ml·⌊B⌋ +⌊(ml+1)·\{B\}⌋ ≥ ml·B$, and Remark \[rem:3-2\] implies that $h⁰ \bigl( X,\, 𝒪_X(-ml·(K_X+B)) \bigr) > 0$. Idea of application ------------------- We aim to show Theorem \[thm:BAB\]: under suitable assumptions on the singularities the family of Fano varieties is bounded. The proof relies on the following boundedness criterion of Hacon and Xu that we quote without proof (but see Sections \[ssec:1-1-1v2\] and \[ssec:1-1-2v2\] for a brief discussion). Recall that a set of numbers is DCC if every strictly descending sequence of elements eventually terminates. \[\]\[thm:boundednessCriterion\] Given $d ∈ ℕ$ and a $\operatorname{DCC}$ set $I ⊂ [0,1] ∩ ℚ$, let $\mathcal{Y}_{d,I}$ be the family of pairs $(X,B)$ such that the following holds true. 1. The pair $(X, B)$ is projective, klt, and of dimension $\dim_ℂ X = d$. 2. The coefficients of $B$ are contained in $I$. The divisor $B$ is big and $K_X + B \sim_ℚ 0$. Then, the family $\mathcal{Y}_{d,I}$ is bounded. With the boundedness criterion in place, the following observation relates "boundedness of complements" to "boundedness of Fanos" and explains what pieces are missing in order to obtain a full proof. \[obs:1\] Given $d ∈ ℕ$ and $ε ∈ ℝ^+$, Theorem \[thm:boundOfCompl\] gives a number $m ∈ ℕ$ such that every $ε$-lc Fano variety $X$ with $-K_X$ nef admits an effective complement $B^+$ of $K_X = K_X+0$, with coefficients in the set $\{\frac{1}{m}, \frac{2}{m}, …, \frac{m}{m}\}$. If one could in addition always choose $B^+$ so that $(X,B^+)$ was klt rather than merely lc, then Theorem \[thm:boundednessCriterion\] would immediately apply to show that the family of $ε$-lc Fano varieties with $-K_X$ nef is bounded. As an important step towards boundedness of $ε$-lc Fanos, we will see in Section \[sec:EB\] how the theorem on "effective birationality" together with Theorem \[thm:boundednessCriterion\] and Observation \[obs:1\] can be used to find a boundedness criterion (=Proposition ) that applies to a relevant class of klt, weak Fano varieties. Variants and generalisations {#sec:vandg} ---------------------------- Theorem \[thm:boundOfCompl\] is in fact part of a much larger package, including boundedness of complements in the relative setting, @Bir16a [Thm. 1.8], and boundedness of complements for generalised polarised pairs, @Bir16a [Thm. 1.10]. To keep this survey reasonably short, we do not discuss these results here, even though they are of independent interest, and play a role in the proofs of Theorems \[thm:boundOfCompl\] and \[thm:BAB\]. Idea of proof for Theorem \[thm:boundOfCompl\] {#ssec:BC} ---------------------------------------------- We sketch a proof of "boundedness of complements", following @Bir16a [p. 6ff] in broad strokes, and filling in some details now and then. In essence, the proof works by induction over the dimension, so assume that $d$ is given and that everything was already shown for varieties of lower dimension. ### Simplification {#simplification .unnumbered} Theorem \[thm:boundOfCompl\] considers a finite set ${\mathcal R}⊂ [0,1] ∩ ℚ$, and log canonical pairs $(X,B)$, where the coefficients of $B$ are contained in the set $$Φ({\mathcal R}) := \bigl\{ \textstyle{\frac{l-r}{l}} \,|\, r ∈ \mathcal{R} \text{ and } l ∈ ℕ \bigr\}.$$ The set $Φ({\mathcal R})$ is infinite, and has $1 ∈ ℚ$ as its only accumulation point. Birkar shows that it suffices to treat the case where the coefficient set is finite. To this end, he constructs in @Bir16a [Prop. 2.49 and Constr. 6.13] a number $ε' ≪ 1$ and shows that it suffices to consider pairs with coefficients in the finite set $Φ({\mathcal R}) ∩ [0,1-ε'] ∪ \{1\}$. In fact, given any $(X,B)$, he considers the divisor $B'$ obtained by replacing those coefficients on $B$ that lie in the range $(1-ε',1)$ with $1$. Next, he constructs a birational model $(X'', B'')$ of $(X, B')$ that satisfies all assumptions Theorem \[thm:boundOfCompl\]. His construction guarantees that to find an $n$-complement for $(X,B)$ it is equivalent to find an $n$-complement for $(X'', B'')$. Among other things, the proof involves carefully constructed runs of the Minimal Model Programme, Hacon-McKernan-Xu's local and global ACC for log canonical thresholds @MR3224718 [Thms. 1.1 and 1.5], and the extension of these results to generalised pairs @MR3502099 [Thm. 1.5 and 1.6]. Recall from Remark \[rem:MoriDream\] that Assumption \[il:r1\] ("$X$ is of Fano type") allows us to run Minimal Model Programmes on arbitrary divisors. Along similar lines, Birkar is able to modify $(X'', B'')$ by further birational transformation, and eventually proves that it suffices to show boundedness of complements for pairs that satisfy the following additional assumptions. The coefficient set of $(X, B)$ is contained in ${\mathcal R}$ rather than in $Φ({\mathcal R})$, and one of the following holds true. 1. \[il:sc1\] The divisor $-(K_X+B)$ is nef and big, and $B$ has a component $S$ with coefficient $1$ that is of Fano type. 2. \[il:sc2\] There exists a fibration $f \colon X → T$ and $K_X+B\equiv 0$ along that fibration. 3. \[il:sc3\] The pair $(X,B)$ is exceptional. The main distinction is between Case \[il:sc3\] and Case \[il:sc1\]. In fact, if $(X,B)$ is not exceptional, recall from Definition \[def:exceptional\] that there exists an effective $P ∈ ℝ\operatorname{Div}(X)$ such that $K_X + B + P \sim_{ℝ} 0$ and such that $(X, B+P)$ is *not* klt. This allows us to find a birational model whose boundary contains a divisor with multiplicity one. Case \[il:sc2\] comes up if the runs of the Minimal Model Programmes used in the construction of birational models terminates with a Kodaira fibre space. The three cases \[il:sc1\]–\[il:sc3\] require very different inductive treatments. ### Case \[il:sc1\] {#caseilsc1 .unnumbered} We consider only the simple case where $S = ⌊ B ⌋$ is a normal prime divisor, where $(X,B)$ is plt near $S$ and where $-(K_X+B)$ is ample. Setting $B_S := (K_X+B)|_S - K_S$, the coefficients are contained in a finite set ${\mathcal R}'$ of rational numbers that depends only on ${\mathcal R}$ and on $d$. In summary, the pair $(S, B_S)$ reproduces the assumptions of Theorem \[thm:boundOfCompl\], and by induction we obtain a number $n ∈ ℕ$ that depends only on ${\mathcal R}$ and $d$, such that 1. \[il:i1\] the divisor $n·B_S$ is integral, and 2. \[il:i2\] there exists an $n$-complement $B^+_S$ of $K_S+B_S$. Following @Bir16a [Prop. 6.7], we aim to extend $B^+_S$ from $S$ to a complement $B^+$ of $K_X+B$ on $X$. As we saw in in Remark \[rem:3-4\], Item \[il:i1\] guarantees that $n·(B^+_S-B_S)$ is effective, so that the complement $B^+_S$ gives rise to a section in $$H⁰ \bigl( S,\, n·(B^+_S-B_S) \bigr) = H⁰ \bigl( S,\, -n·(K_S+B_S) \bigr)$$ But then, looking at the cohomology of the standard ideal sheaf sequence, $$H⁰ \bigl( X,\, -n·(K_X+B) \bigr) → \underbrace{H⁰ \bigl( S,\, -n·(K_X+B)|_S \bigr)}_{\not = 0 \text{ by Rem.~\ref{rem:3-4}}} → \underbrace{H¹ \bigl( X,\, -n·(K_X+B) - S \bigr) }_{= 0 \text{ by Kawamata-Viehweg vanishing}}$$ we find that the section extends to $X$ and defines an associated divisor $B^+ ∈ \lvert-(K_X+B)\rvert_ℚ$. Using the connectedness principle for non-klt centres[^3], one argues that $B^+$ is the desired complement. ### Case \[il:sc2\] {#ssect:sc2 .unnumbered} Given a fibration $f: X → T$, we apply the construction of Section \[ssec:gpfib\], in order to equip the base variety $T$ with the structure of a generalised polarised pair $(T, B+M)$, with data $T' \overset{φ}{→} T → \operatorname{Spec}ℂ$ and $M'$. Adding to the results explained in Section \[ssec:gpfib\], Birkar shows that the coefficients of $B$ and $M$ are not arbitrary. The coefficients of $B$ are in $Φ({\mathcal S})$ for some fixed finite set ${\mathcal S}$ of rational numbers that depends only on ${\mathcal R}$ and $d$. Along similar lines, there exists a bounded number $p ∈ ℕ$ such that $p·M$ is integral. The plan is now to use induction to find a bounded complement for $K_T + B + M$ and pull it back to $X$. This plan works out well, but requires us to formulate and prove all results pertaining to boundedness of complements in the setting of generalised polarised pairs. All the arguments sketched here continue to work, *mutatis mutandis*, but the level of technical difficulty increases substantially. ### Case \[il:sc3\] {#caseilsc3 .unnumbered} There is little that we can say in brief about this case. Still, assume for simplicity that $B=0$ and that $X$ is a Fano variety. If we could show that $X$ belongs to a bounded family, then we would be done. Actually we need something weaker: effective birationality. Assume we have already proved Theorem \[thm:effBir\]. Then there is a bounded number $m ∈ ℕ$ such that $|-mK_X|$ defines a birational map. Pick $M∈ |-mK_X|$ and let $B^+ := \frac{1}{m}·M$. Since $X$ is exceptional, $(X, B^+)$ is automatically klt, hence $K_X+B^+$ is an $m$-complement. Although this gives some idea of how one may get a bounded complement but in practice we cannot give a complete proof of Theorem \[thm:effBir\] before proving Theorem \[thm:boundOfCompl\]. Contrary to the exposition of this survey paper, where "boundedness of complements" and "effective birationality" are treated as if they were separate, the proofs of the two theorems are in fact much intertwined, and this is one of the main points where they come together. Many of the results discussed in this overview ("Bound on anti-canonical volumes", "Bound on lc thresholds") have separate proofs in the exceptional case. Effective birationality {#sec:EB} ======================= Statement of result ------------------- The second main ingredient in Birkar's proof of boundedness is the following result. A proof is sketched in Section . \[\]\[thm:effBir\] Given $d ∈ ℕ$ and $ε ∈ ℝ^+$, there exists $m ∈ ℕ$ with the following property. If $X$ is any $ε$-lc weak Fano variety of dimension $d$, then $\lvert -m·K_X \rvert$ defines a birational map. The divisors $m·K_X$ in Theorem \[thm:effBir\] need not be Cartier. The linear system $\lvert -m·K_X \rvert$ is the space of effective Weil divisors on $X$ that are linearly equivalent to $-m·K_X$. Idea of application {#ssec:EBA} ------------------- In the framework of @Bir16a, effective birationality is used to improve the boundedness criterion spelled out in Theorem \[thm:boundednessCriterion\] above. \[\]\[prop:4.3a\] Let $d, v ∈ ℕ$ and let $(t_ℓ)_{ℓ ∈ ℕ}$ be a sequence of positive real numbers. Let $\mathcal{X}$ be the family of projective varieties $X$ with the following properties. 1. The variety $X$ is a klt weak Fano variety of dimension $d$. 2. \[il:x3\] The volume of the canonical class is bounded, $\operatorname{vol}(-K_X) ≤ v$. 3. \[il:x4\] For every $ℓ ∈ ℕ$ and every $L ∈ \lvert -ℓ·K_X \rvert$, the pair $(X, t_ℓ·L)$ is klt. Then, $\mathcal{X}$ is a bounded family. The formulation of Proposition \[prop:4.3a\] is meant to illustrate the application of Theorem \[thm:effBir\] to the boundedness problem. It is a simplified version of Birkar's formulation and defies the logic of his work. While we present Proposition \[prop:4.3a\] as a corollary to Theorem \[thm:effBir\], and to all the results mentioned in Section \[sec:bcomp\], Birkar uses @Bir16a [Prop. 7.13] as one step in the inductive proof of "boundedness of complements" and "effective birationality". That requires him to explicitly list partial cases of "boundedness of complements" and "effective birationality" as assumptions to the proposition, and makes the formulation more involved. Proposition \[prop:4.3a\] reduces the boundedness problem to solving the following two problems. - Boundedness of volumes, as required in \[il:x3\]. This is covered in the subsequent Section \[sec:volumes\]. - Existence of numbers $t_ℓ$, as required in \[il:x4\]. This amounts to bounding "lc thresholds" and is covered in Section \[sec:lcthres\]. To prove Proposition \[prop:4.3a\], Birkar uses effective birationality in the following form, as a log birational boundedness result. \[\]\[thm:lbb\] Given $d,v ∈ ℕ$ and $ε ∈ ℝ^+$. Then, there exists $c ∈ ℝ^+$ and a bounded family ${\mathcal P}$ of couples with the following property. If $X$ is a normal projective variety of dimension $d$ and if $B ∈ ℝ\operatorname{Div}(X)$ and $M ∈ ℚ\operatorname{Div}(X)$ are divisors such that the following holds, 1. the divisor $B$ is effective, with coefficients in $\{0\} ∪ [ε,∞)$, 2. the divisor $M$ is effective, nef and $|M|$ defines a birational map, 3. the difference $M-(K_X+B)$ is pseudo-effective, 4. the volume of $M$ is bounded, $\operatorname{vol}(M) < v$, 5. if $D$ is any component of $M$, then $\operatorname{mult}_D (B+M) ≥ 1$, then there exists a log smooth couple $(X', Σ) ∈ {\mathcal P}$, a rational map $\overline{X} \dasharrow X$ and a resolution of singularities $r : {\widetilde}{X} → X$, with the following properties. 1. \[il:y1\] The divisor $Σ$ contains the birational transform on $M$, as well as the exceptional divisor of the birational map $β$. 2. \[il:y2\] The movable part $A_{{\widetilde}{X}}$ of $r^* M$ is basepoint free. 3. \[il:y3\] If ${\widetilde}{X}'$ is any resolution of $X$ that factors via $X'$ and ${\widetilde}{X}$, $$\xymatrix{ {\widetilde}{X}' \ar[d]_{s\text{, resolution}} \ar[rr]^{{\widetilde}{β}\text{, birational}} && {\widetilde}{X} \ar[d]^{r\text{, resolution}} \\ X' \ar@{-->}[rr]_{β\text{, birational}} && X }$$ then the coefficients of the $ℚ$-divisor $s_* (r ◦ {\widetilde}{β})^* M$ are at most $c$ and ${\widetilde}{β}^* A_{{\widetilde}{X}}$ is linearly equivalent to zero relative to $X'$. \[\] Since $|M|$ defines a birational map, there exists a resolution $r : {\widetilde}{X} → X$ such that $r^* M$ decomposes as the sum of a base point free movable part $A_{{\widetilde}{X}}$ and fixed part $R_{{\widetilde}{X}}$. The contraction $X → X''$ defined by $A_{{\widetilde}{X}}$ is birational. Since $\operatorname{vol}(M)$ is bounded, the varieties $X''$ obtained in this way are all members of one bounded family ${\mathcal P}'$. The family ${\mathcal P}'$ is however not yet the desired family ${\mathcal P}$, and the varieties in ${\mathcal P}'$ are not yet equipped with an appropriate boundary. To this end, one needs to invoke a criterion of Hacon-McKernan-Xu for "log birationally boundedness", @MR3034294 [Lem. 2.4.2(4)], and take an appropriate resolution of the elements in ${\mathcal P}'$. \[\] Applying Theorems \[thm:boundOfCompl\] ("Boundedness of complements") and \[thm:effBir\] ("Effective birationality"), we find a number $m ∈ ℕ$ such that every $X ∈ \mathcal{X}$ admits an $m$-complement for $K_X$ and that $\lvert -m·K_X \rvert$ defines a birational map. If $m$-complements $B^+$ of $K_X$ could always be chosen such that $(X,B^+)$ were klt, we have seen in Observation \[obs:1\] that $\mathcal{X}$ is bounded. However, Theorems \[thm:boundOfCompl\] guarantees only the existence of an $m$-complement $B^+$ of $K_X$ where $(X,B^+)$ is lc. Using the bounded family ${\mathcal P}$ obtained when applying Proposition \[thm:lbb\] with $M = -m·K_X$ and $B = 0$, we aim to find a universal constant $ℓ$ and a finite set $\mathcal{R}$, and then perturb any given $(X,B^+)$ in order to find a boundary $B^{++}$ with coefficients in $\mathcal{R}$ that is $ℚ$-linearly equivalent to $-K_X$ and makes $(X, B^{++})$ klt. Boundedness will then again follow from Theorem \[thm:boundednessCriterion\]. To spell out a few more details of the proof use boundedness of the family ${\mathcal P}$ to infer the existence of a universal constant $ℓ$ with the following property. > If $(X', Σ) ∈ {\mathcal P}$ and if $A_{X'} ∈ \operatorname{Div}(X')$ is contained in $Σ$ with coefficients bounded by $c$, and if $|A_{X'}|$ is basepoint free and defines a birational morphism, then there exists $G_{X'} ∈ |ℓ·A_{X'}|$ whose support contains $Σ$. Now assume that one $X ∈ \mathcal{X}$ is given. It suffices to consider the case where $X$ is $ℚ$-factorial and admits an $m$-complement of the form $B^+ = \frac{1}{m}·M$, for general $M ∈ \lvert -m·K_X \rvert$. To make use of $ℓ$, consider a diagram as discussed in Item \[il:y3\] of Proposition \[thm:lbb\] above and decompose $r^*M = A_{{\widetilde}{X}} + R_{{\widetilde}{X}}$ into its moving and its fixed part. Write $A := r_* A_{{\widetilde}{X}}$ and $R := r_* R_{{\widetilde}{X}}$. Item \[il:y1\] of Proposition \[thm:lbb\] implies that the divisor $A_{X'} := s_* {\widetilde}{β}^* A_{{\widetilde}{X}}$ is then contained in $Σ$, and Item \[il:y3\] asserts that it is basepoint free, defines a birational morphism. So, we find $G_{X'} ∈ |ℓ·A_{X'}|$ as above. Writing $G := r_* {\widetilde}{β}_*s^* G_{X'}$, we find that $G+ℓ·R ∈ |- mℓ·K_X|$, so that $(X, t_{mℓ} G)$ is klt by assumption. We may assume that $t_{mℓ}$ is rational and $t_{mℓ} < \frac{1}{mℓ}$. If $(X, \frac{1}{mℓ}(G+ℓ·R))$ is lc, then set $B' := \frac{1}{mℓ}(G+ℓ·R)$. Otherwise, one needs to use the lower-dimensional versions of the variants and generalisations of boundedness of complements that we discussed in Section \[sec:vandg\] above. To be more precise, using 1. boundedness of complements for generalised polarised pairs for varieties of dimension $≤ d-1$, and 2. boundedness of complements in the relative setting for varieties of dimension $d$, one can always find a universal number $n$ and $B' ≥ t_{mℓ}·(G+ℓ·R)$ where $(X,B')$ is lc and $n·(K_X+B') \sim 0$. Finally, set $$B^{++} := \frac{1}{2}·B^+ + \frac{t}{2m}·A - \frac{t}{2mℓ}·G + \frac{1}{2}·B'$$ and then show by direct computation that all required properties hold. Preparation for the proof of Theorem \[thm:effBir\] --------------------------------------------------- We prepare for the proof with the following proposition. In essence, it asserts that effective divisors with "degree" bounded from above cannot have too small lc thresholds, under appropriate assumptions. Since this proposition may look plausible, we do not go into details of the proof. Further below, Proposition \[prop:lctbd\] gives a substantially stronger result whose proof is sketched in some detail. \[\]\[p-non-term-places\] Given $ε' ∈ ℝ^+$ and given a bounded family ${\mathcal P}$ of couples, there exists a number $δ ∈ ℝ^{>0}$ such that the following holds. Given the the following data, 1. an $ε'$-lc, projective pair $({\widehat}{G}, {\widehat}{B})$, 2. a reduced divisor $T ∈ \operatorname{Div}({\widehat}{G})$ such that $\bigl( {\widehat}{G}, \operatorname{supp}({\widehat}{B}+T) \bigr) ∈ {\mathcal P}$, and 3. an $ℝ$-divisor ${\widehat}{N}$ whose support is contained in $T$, and whose coefficients have absolute values $≤ δ$, then $({\widehat}{G}, {\widehat}{B}+{\widehat}{L})$ is klt, for all ${\widehat}{L} ∈ |{\widehat}{N}|_ℝ$. Sketch of proof of Theorem \[thm:effBir\] ----------------------------------------- Assume that numbers $d$ and $ε$ are given. Given an $ε$-lc Fano variety $X$ of dimension $d$, we will be interested in the following two main invariants, $$\begin{aligned} m_X & := \min \{ \: m' ∈ ℕ \,|\, \text{the
{'source': 'arXiv_out/1812'}