• 検索結果がありません。

Uehara pointed out that Example 4.4.2 in [F] is in- correct

N/A
N/A
Protected

Academic year: 2021

シェア "Uehara pointed out that Example 4.4.2 in [F] is in- correct"

Copied!
3
0
0

読み込み中.... (全文を見る)

全文

(1)

A MEMO ON “SPECIAL TERMINATION AND REDUCTION TO PL FLIPS”BY O. FUJINO

OSAMU FUJINO

1. Y. Takano and H. Uehara pointed out that Example 4.4.2 in [F] is in- correct. The vectore1 is contained in the conehe2, e4, e5i. I overlooked this mistake for a long time. I thank Y. Takano and H. Uehara.

Let ϕ : X → Y be a 3-dimensional toric flipping contraction such that X has only terminal singularities and that Y is affine. Then we can prove that X is Q-factorial and the unique rational curve that is contracted byϕpasses through only one singular point ofX. Therefore, ϕ:X →Y is the flip described in [M, Example-Claim 14-2-5].

2. Here, we give one example of 3-dimensional non-Q-factorial toric flips. Please replace [F, Example 4.4.2] with the following example.

Note that there are no3-dimensional non-Q-factorialterminal flips!

Example 3 (3-dimensional non-Q-factorial flip). We fix a lattice N = Z3. Pick lattice pointsv1 = (1,0,1), v2 = (−1,1,1), v3 = (−1,0,1), v4 = (0,−1,1), and v5 = (1,2,0). We consider the following fans.

X = {hv1, v2, v3, v4i,hv1, v2, v5i,and their faces},

W = {hv1, v2, v3, v4, v5i,and its faces},and

X+ = {hv1, v4, v5i,hv2, v3, v5i,hv3, v4, v5i,and their faces}.

We put X := X(∆X), X+ := X(∆X+), and W := X(∆W). Then we have a commutative diagram of toric varieties:

X 99K X+

& . W such that

(i) ϕ: X →W and ϕ+: X+ →W are small projective toric mor- phisms,

(ii) ρ(X/W) = 1 and ρ(X+/W) = 2,

(iii) X has two isolated singular points and X+ has only one termi- nal quotient singularity,

Date: 2008/1/20.

1

(2)

2 OSAMU FUJINO

(iv) −KX isϕ-ample andKX+ is ϕ+-ample, and (v) X is not Q-factorial, but X+ is Q-factorial.

Thus, this diagram is a toric flip. Note that the ampleness of −KX (resp.KX+) follows from the convexity (resp. concavity) of the roofs of the maximal cones in ∆X (resp. ∆X+). The figure below should help to understand this example.

@@

@

@@@

@@@ PPPPPPP

AA AAAU

v3

v1

v2

v4

v5

X

W

X+

ϕ ϕ+

One can check the following properties:

(1) X has one isolated non-quotient canonical Gorenstein singular- ity and one terminal quotient singularity,

(2) the flipping locus isP1and it passes through the singular points of X,

(3) X+ has only one terminal quotient singularity, and

(4) the flipped locus is P1 ∪P1 and these two P1s intersect each other at the singular point ofX+.

This example implies that the relative Picard number may increase after a flip when X is not Q-factorial. So, we do not use the Picard number directly to prove the termination of the log MMP.

4. We can construct a 3-dimensional toric flipping diagram X 99K X+

& . W with the following properties,

(i) X has only canonical Gorenstein singularities, (ii) ρ(X/W) = 1 and ρ(X+/W) = n for any n≥2, and

(3)

A MEMO 3

(iii) X is smooth.

I will discuss this example elsewhere.

References

[F] O. Fujino, Special termination and reduction to pl flips, in Flips for 3-folds and 4-folds(Alessio Corti, ed.), 63–75, Oxford University Press, 2007.

[M] K. Matsuki, Introduction to the Mori program, Universitext. Springer-Verlag, New York, 2002.

Graduate School of Mathematics, Nagoya University, Chikusa-ku Nagoya 464-8602 Japan

E-mail address: [email protected]

参照

関連したドキュメント

In general, Liouville type theorems for stable solutions of nonlinear elliptic equations are usually guaranteed in low dimensional case.. The main purpose of this paper is to obtain

Then by applying specialization maps of admissible fundamental groups and Nakajima’s result concerning ordinariness of cyclic ´ etale coverings of generic curves, we may prove that

We will prove the left-hand side inequality of (5.1) and the proofs for other inequalities are similar, we only point out that one needs Lemma 2.4 in order to prove (5.2)... We

In Section 3, we show that the clique- width is unbounded in any superfactorial class of graphs, and in Section 4, we prove that the clique-width is bounded in any hereditary

After that, applying the well-known results for elliptic boundary-value problems (without parameter) in the considered domains, we receive the asymptotic formu- las of the solutions

p-Laplacian operator, Neumann condition, principal eigen- value, indefinite weight, topological degree, bifurcation point, variational method.... [4] studied the existence

One of the most classical characterizations of the real exponential function f(x)- e is the fact that the exponential function is the only (modulo a multiplicative constant)

We construct a sequence of a Newton-linearized problems and we show that the sequence of weak solutions converges towards the solution of the nonlinear one in a quadratic way.. In