We prove several boundedness results for log Fano pairs with certain K-stability. In particular, we prove that K-semistable log Fano pairs of Maeda type form a log bounded family. We also compute K-semistable domains for some examples.
We investigate birational boundedness of Fano varieties and Fano fibrations. We establish an inductive step towards birational boundedness of Fano fibrations via conjectures related to boundedness of Fano varieties and Fano fibrations. As corollaries, we provide approaches towards birational boundedness and boundedness of anti-canonical volumes of varieties of $ε$-Fano type. Furthermore, we show birational boundedness of $3$-folds of $ε$-Fano type.
We prove a boundedness result for klt pairs $(X,B)$ such that $K_X+B\equiv 0$ and $B$ is big. As a consequence we obtain a positive answer to the Effective Iitaka Fibration Conjecture for klt pairs with big boundary.
We show boundedness of $3$-folds of $ε$-Fano type with Mori fibration structures. The proof is based on the birational boundedness result in our previous work arXiv:1509.08722 combining with arguments in Kawamata \cite{K} and Kollár--Miyaoka--Mori--Takagi \cite{KMMT}.
We prove Weak Borisov--Alexeev--Borisov Conjecture in dimension three which states that the anti-canonical volume of an $ε$-klt log Fano pair of dimension three is bounded from above.
Given $ε>0$, we show that over an algebraically closed field of characteristic $p>5$, the anticanonical volume of a Fano threefold $X$ (with arbitrary singularities) whose anticanonical divisor has Seshadri constant $ε(-K_X,x)>2+ε$ at some smooth point $x\in X$ is bounded from above.
We show that fixed dimensional klt weak Fano pairs with alpha-invariants and volumes bounded away from $0$ and the coefficients of the boundaries belong to the set of hyperstandard multiplicities $Φ(\mathscr{R})$ associated to a fixed finite set $\mathscr{R}$ form a bounded family. We also show $α(X,B)^{d-1}\mathrm{vol}(-(K_X+B))$ are bounded from above for all klt weak Fano pairs $(X,B)$ of a fixed dimension $d$.
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.
We show the existence of $(ε,n)$-complements for $(ε,\Rr)$-complementary projective generalized pairs of Fano type $(X,B+M)$ when either the coefficients of $B$ and $μ_j$ belong to a finite set or the coefficients of $B$ belong to a DCC set and $M'\equiv 0$, where $M'=\sumμ_jM_j'$ and $M_j'$ are b-Cartier nef divisors.
In this paper, we prove various results on boundedness and singularities of Fano fibrations and of Fano type fibrations. A Fano fibration is a projective morphism $X\to Z$ of algebraic varieties with connected fibres such that $X$ is Fano over $Z$, that is, $X$ has "good" singularities and $-K_X$ is ample over $Z$. A Fano type fibration is similarly defined where $X$ is assumed to be close to being Fano over $Z$. This class includes many central ingredients of birational geometry such as Fano varieties, Mori fibre spaces, flipping and divisorial contractions, crepant models, germs of singulari…
In this paper, we generalise the theory of complements to log canonical log fano varieties and prove boundedness of complements for them in dimension less than or equal to 3. We also prove some boundedness results for the canonical index of sdlt log Calabi-Yau varieties in dimension 2.
We study log canonical thresholds (also called global log canonical threshold or $α$-invariant) of $\mathbb{R}$-linear systems. We prove existence of positive lower bounds in different settings, in particular, proving a conjecture of Ambro. We then show that the Borisov-Alexeev-Borisov conjecture holds, that is, given a natural number $d$ and a positive real number $ε$, the set of Fano varieties of dimension $d$ with $ε$-log canonical singularities forms a bounded family. This implies that birational automorphism groups of rationally connected varieties are Jordan which in particular answers a…
In this article we prove the following version of the Weak-BAB conjecture for $3$-folds in char $p>5$: Fix a DCC set $I\subset [0, 1)$ and an algebraically closed field $k$ of characteristic $p>5$. Let $\mathfrak{D}$ be a collection of klt pairs $(X, Δ)$ satisfying the following properties: (1) $X$ is a projective $3$-fold, (2) $Δ$ is an $\mathbb{R}$-divisor with coefficients in $I$, (3) $K_X+Δ\equiv 0$, and (4) $-K_X$ is ample. Then the set $\{\mbox{vol}_X(-K_X) \ | \ (X, Δ)\in\mathfrak{D}\mbox{ for some }Δ\}$ is bounded from above.
We show that $\mathbb{Q}$-Fano varieties of fixed dimension with anti-canonical degrees and alpha-invariants bounded from below form a bounded family. As a corollary, K-semistable $\mathbb{Q}$-Fano varieties of fixed dimension with anti-canonical degrees bounded from below form a bounded family.
It is conjectured that the base varieties of the Iitaka fibrations are bounded when the Iitaka volumes are bounded above. We confirm this conjecture for Iitaka $ε$-lc Fano type fibrations.
We study the birational boundedness of special fibers of log Calabi-Yau fibrations and Fano fibrations. We show that for a locally stable family of Fano varieties or polarised log Calabi-Yau pairs over a curve, if the general fiber satisfies some natural boundedness conditions, then every irreducible component of the special fiber is birationally bounded.
Let $(X,Δ)$ be an $n$-dimensional $ε$-klt log $\QQ$-Fano pair. We give an upper bound for the volume ${\rm Vol}(-(K_X+Δ))=(-(K_X+Δ))^n$ when $n=2$ or $n=3$ and $X$ is {$\QQ$-factorial} of $ρ(X)=1$. This bound is essentially sharp for $n=2$. Existence of an upper bound for anticanonical volumes is related the Borisov-Alexeev-Borisov Conjecture which asserts boundedness of the set of $ε$-klt log $\QQ$-Fano varieties of a given dimension $n$.
In this paper, we study the linear systems $|-mK_X|$ on Fano varieties $X$ with klt singularities. In a given dimension $d$, we prove $|-mK_X|$ is non-empty and contains an element with "good singularities" for some natural number $m$ depending only on $d$; if in addition $X$ is $ε$-lc for some $ε>0$, then we show that we can choose $m$ depending only on $d$ and $ε$ so that $|-mK_X|$ defines a birational map. Further, we prove Shokurov's conjecture on boundedness of complements, and show that certain classes of Fano varieties form bounded families.
A projective log variety (X, D) is called "a log Fano manifold" if X is smooth and if D is a reduced simple normal crossing divisor on X with -(K_X+D) ample. The n-dimensional log Fano manifolds (X, D) with nonzero D are classified in this article when the log Fano index r of (X, D) satisfies either r\geq n/2 with ρ(X)\geq 2 or r\geq n-2. This result is a partial generalization of the classification of logarithmic Fano threefolds by Maeda.
We show that any union of slc strata of a Fano log pair with semi-log canonical singularities is simply connected. In particular, Fano log pairs with semi-log canonical singularities are simply connected, which confirms a conjecture of the first author.
We prove that maximal log Fano manifolds are generalized Bott towers. As an application, we prove that in each dimension, there is a unique maximal snc Fano variety satisfying Friedman's d-semistability condition.
Using the Abban-Zhuang theory and the classification of three-dimensional log smooth log Fano pairs due to Maeda, we prove that threefold log Fano pairs $(X, D)$ of Maeda type with reducible boundary $D$ are K-unstable, with four exceptions. We also correct several inaccuracies in Maeda's classification.
In this article we give the definitions of log Fano varieties and log Calabi-Yau varieties in the framework of theory of log schemes of Fontain-Illusie-Kato and give congruences of the cardinalities of rational points of them over the log points of finite fields.
We prove that the anti-canonical divisors of weak Fano 3-folds with log canonical singularities are semiample. Moreover, we consider semiampleness of the anti-log canonical divisor of any weak log Fano pair with log canonical singularities. We show semiampleness dose not hold in general by constructing several examples. Based on those examples, we propose sufficient conditions which seem to be the best possible and we prove semiampleness under such conditions. In particular we derive semiampleness of the anti-canonical divisors of log canonical weak Fano 4-folds whose lc centers are at most 1-…
In this paper we determine which blow-ups $X$ of $\mathbb{P}^n$ at general points are log Fano, that is, when there exists an effective $\mathbb{Q}$-divisor $Δ$ such that $-(K_X+Δ)$ is ample and the pair $(X,Δ)$ is klt. For these blow-ups, we produce explicit boundary divisors $Δ$ making $X$ log Fano.
It is proved that the global log canonical threshold of a Zariski general Fano complete intersection of index 1 and codimension $k$ in ${\mathbb P}^{M+k}$ is equal to one, if $M\geqslant 2k+3$ and the maximum of the degrees of defining equations is at least 8. This is an essential improvements of the previous results about log canonical thresholds of Fano complete intersections. As a corollary we obtain the existence of K\" ahler-Einstein metrics on generic Fano complete intersections described above.
The aim of this paper is twofold. Firstly, we determine which blow-ups of products of projective spaces at general points are varieties of Fano type, and give boundary divisors making these spaces log Fano pairs. Secondly, we describe generators of the Cox rings of some cases.
For a log Fano manifold (X, D) with D\neq 0 and with the log Fano pseudoindex \geq 2, we prove that the restriction homomorphism Pic(X)\to Pic(D_1) of Picard groups is injective for any irreducible component D_1\subset D.The strategy of our proof is to run a certain minimal model program and is similar to the argument of Casagrande's one. As a corollary, we prove that the Mukai conjecture (resp. the generalized Mukai conjecture) implies the log Mukai conjecture (resp. the log generalized Mukai conjecture).
We show the boundedness of B-pluricanonical representations of lc log Calabi-Yau pairs in dimension $2$. As applications, we prove the boundedness of indices of slc log Calabi-Yau pairs up to dimension $3$ and that of non-klt lc log Calabi-Yau pairs in dimension $4$.
T.Kishimoto raised the problem to classify all compactifications of contractible affine 3-folds into smooth Fano 3-folds with second Betti number two and classified such compactifications whose log canonical divisors are not nef. In this article, we show that there are 14 deformation equivalence classes of smooth Fano 3-folds which can admit structures of such compactifications whose log canonical divisors are trivial. We also construct an example of such compactifications with trivial log canonical divisors for each of all the 14 classes.
We consider the problem to determine which blow-ups along subvarieties in products of two projective spaces are log Fano. By describing the nef cones of such blow-ups with special centers, we give a partial classification result. For each example, explicit boundary divisors are also given.
We prove the bigness of the Chow-Mumford line bundle associated to a $\mathbb{Q}$-Gorenstein family of log Fano varieties of maximal variation with uniformly K-stable general geometric fibers. This result generalizes a recent theorem of Codogni and Patakfalvi to the logarithmic setting.
We show that the global log canonical threshold of generic Fano complete intersections of index 1 and codimension $k$ in ${\mathbb P}^{M+k}$ is equal to 1 if $M\geqslant 3k+4$ and the highest degree of defining equations is at least 8. This improves the earlier result where the inequality $M\geqslant 4k+1$ was required, so the class of Fano complete intersections covered by our theorem is considerably larger. The theorem implies, in particular, that the Fano complete intersections satisfying our assumptions admit a K\" ahler-Einstein metric. We also show the existence of K\" ahler-Einstein met…
