Maximal log Fano manifolds are generalized Bott towers

Loginov, Konstantin; Moraga, Joaquín

doi:10.48550/arxiv.2012.00266

Cited by 1 publication

(1 citation statement)

References 23 publications

(30 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Here X is the blow up of a point on P 3 . One checks that in this case the nef value is equal to 2, and the nef value morphism is a contraction to a point, see Example 4.6 in [LM20]. Hence, the first step as the special MMP is not uniquely determined: it can be either the blow down of E, or a P 1 -bundle over P 2 .…”

Section: Classificationmentioning

confidence: 99%

K-polystability of 3-dimensional log Fano pairs of Maeda type

Loginov¹

2021

Preprint

Self Cite

View full text Add to dashboard Cite

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.K-POLYSTABILITY OF 3-DIMENSIONAL LOG FANO PAIRS OF MAEDA TYPE 3 PreliminariesWe work over algebraically closed field of characteristic 0. For the standard definitions of the minimal model program (MMP for short) we refer to [KM98]. We recall the notion of a pair.Definition 2.1. Let X be a normal projective variety, and let ∆ be an effective Weil Q-divisor whose coefficients are between 0 and 1. We say that (X, ∆) is asmooth, and Supp(∆) has simple normal crossings.Definition 2.2. Log Fano pair is a log canonical pair (X, ∆) such that −K X − ∆ is ample. In this situation, X is called a log Fano variety. If, moreover, the pair (X, ∆) is log smooth, then we say that X is a log Fano manifold.Throughout the paper, we will assume that the divisor ∆ is integral. Definition 2.3 ([Fu20a]). Log Fano pair of Maeda type is a klt log Fano pair (X, D) with D = 0 such that there exists a a log smooth log Fano pair (X, ∆) with integral ∆, and Supp(D) ⊆ Supp(∆).We discuss some generalities on log smooth log Fano pairs. Let (X, ∆) be such pair. By the main result in [Zha06] applied to the pair (X, (1 − ǫ)∆) for some 0 < ǫ ≪ 1, the variety X is rationally connected. Let ∆ = k i=1 D i where D i are prime divisors. By [Lo19, 3.3], ∆ has no more than dim X components. In [LM20] it is proven that if this bound is attained, then the pair (X, ∆) is toric. By section 2 in [M83], we have Pic(X) ≃ H 2 (X, Z) and h i (O X ) = 0 for i > 0. Also, Pic(X) is torsion free. Moreover, Pic(X)⊗ R = N 1 (X) since the linear equivalence of divisors coincides with the numerical equivalence. The Mori cone NE(X) is polyhedral and (K X + ∆) is negative on NE(X) \ {0}. In particular, by Mori theory for any extremal face of NE(X) there exists the corresponding contraction which contracts precisely the curves whose classes belong to that extremal face. For more details on the geometry of log smooth log Fano pairs, see [Fu14b].There exists a description of the Picard group of a log smooth log Fano pair. For the definition of the Picard group of a reducible variety, we refer to [Fu14b].

show abstract

Section: Classificationmentioning

confidence: 99%