# Tag Info

Accepted

### Is there a classification of minimal algebraic threefolds?

It depends what you mean by classification. The key results for surfaces IMO are: 1) Any surface $S$ of general type has a canonical model given by $S_{can}:={\rm Proj} R(K_S)$ and a unique minimal ...
• 2,382
Accepted

### Is being of general type stable under generization

The answer is yes to the original question and is a theorem of Noboru Nakayama in his book "Zariski decomposition and abundance" Theorem VI.4.3, which I state here for convenience: Theorem (...
• 2,956
Accepted

### $K_X+B \equiv 0$ implies $K_X + B \sim_\mathbb{Q} 0$?

For lc pair or slc pair, it is true. This is Gongyo’s result. See [J. ALGEBRAIC GEOMETRY 22 (2013) 549–564]. BTW, the relative version is also true, which is not a trivial generalization of the ...
• 1,084

### Application of MMP in other branches of algebraic geometry

Birational experts on this website will probably give you a more detailed answer, but I think that the "techniques" developped to solve the MMP, rather than the big results, are more likely ...
• 7,240
Accepted

### Relative logarithmic cotangent bundle

First of all, it's unclear what you mean by $\Omega^1_{X_0}(\log D)$ since $X_0$ is singular. Second, if you make up such a definition then most probably such a vector bundle will not exist. Note ...
• 15.3k

### References for the minimal model program

A very light introduction is contained in A first glimpse at the minimal model program. (Also available here.) I would also second Simone's suggestion: The first two chapters of Kollár-Mori are ...
• 42.6k

### References for the minimal model program

Of course it depends mostly on your background. But the first chapter, as well as the first half of the second chapter of Kollár-Mori's "Birational Geometry of Algebraic Varieties" is an incredibly ...
• 7,862
Accepted

### $m$-th root of holomorphic section of direct image of relative line bundle

If I understand the question correctly, then here is a likely answer. But before getting there, let me say that this is a very poorly formed question. If you are asking for help, then put at least as ...
• 42.6k
Accepted

### How to split a Multi-section into finitely many Sections via base-change?

First, you have a multisection $D_1 = D \times_Y Y'$ for the family $X' \to Y'$, which is still generically finite of the same degree over $Y'$. On the other hand, let $D' = D \times_{Y''} Y'$. Then ...
• 37.6k
Accepted

### Bertini's type theorems over imperfect fields

I needed to know the answer to this myself, so here is a good reference: Hubert Flenner, Liam O’Carroll, and Wolfgang Vogel, Joins and intersections, Springer Monographs in Mathematics, Springer-...
• 1,738

Artin's contractibility criterion [1] implies that a necessary and sufficient condition to contract an irreducible curve $E$ on a surface $X$ is that $E^2 <0$. In general, the contraction will ...
• 65.5k

### Is there a purely inseparable covering $\mathbb{A}^2 \to K$ of a Kummer surface $K$ over $\mathbb{F}_{p^2}$?

See Proposition 4.5 of my paper with D. Abramovich, "Lang’s Conjectures, Fibered Powers, and Uniformity", New York J. Math. 2 (1996) 20–34. A supersingular elliptic curve in characteristic $p>2$ ...
• 30.3k
Accepted

### Picard number of a general fiber of a fiber contraction

I do not think so, because of the following result. Proposition. A smooth del Pezzo surface $F$ can be realised as the general fibre of a Mori fibre space if and only if it is not isomorphic to the ...
• 65.5k
Accepted

• 7,912
Accepted

• 37.4k

### Flatness of Fano Contractions

I don’t believe this is true; the following example comes from Debarres’s “Higher-dimensional algebraic geometry”. Take $C$ a curve of genus $g$, $d\geq g$, and let $C_d\to J^d(C)$ be the Abel—Jacobi ...

### Intuition behind Kawamata's definition of a relative movable Cartier divisor

Let me try to say something that might be useful. At the risk of stating the obvious, the motivation is to extend the notion of movable divisor (class) to the relative setting. If you haven't already,...
• 100
Accepted

### Tie-Breaking Trick for Log Canonical Pairs and F-pure pairs in Positive Characteristic

We claim the following holds. Proposition (cf. [Tan17, Prop. 3 and Idea of Thm. 1; Wan, Proof of Thm. 3.5, Case 2]). Let $X$ be a complete normal variety $X$ of dimension $d$ over an infinite perfect ...
• 1,738
Accepted

### A Decomposition for Iitaka fibration

If $X$ is smooth (projective over the complex numbers), then $R(K_X)$ is finitely generated by BCHM. We may thus assume that $R(kK_X)$ is generated in degree 1 for some $k>0$. Passing to a log ...
• 2,382
Accepted

### Log resolution of a variety of log general type

If $K_{\tilde B}+\tilde \Delta=f^*(K_B+\Delta)+E$ where $E$ is effective and exceptional, then $h^0(m(K_{\tilde B}+\tilde \Delta))=h^0(m(K_B+\Delta))$ for any $m\geq 0$ and hence also the Kodaira ...
• 2,382
Accepted

### Two morphisms possess the same Viehweg's variation

Since the definition only depends on the general fiber, and $\beta$ is birational, one may assume that $\beta$ is actually and isomorphism. So, then $L$ is defined as a subfield with minimal ...
• 42.6k

### Mori cones and projective morphisms

The argument is correct, and in fact can be easily extended to the case where $f$ is generically finite. Indeed, we have $$f_*([X]) = (\deg f) [Y],$$ so the projection formula [Fulton, Prop. 8.3(c)] ...
Accepted

### Mori cones and projective morphisms

It suffices to assume that $f$ is surjective (equivalently, dominant). Then for $C \subset Y$ any irreducible curve there exists an irreducible curve $D \subset X$ such that $f(D) = C$. (A schemy ...
It could easily happen that $X_0$ has log terminal singularities and $X$ is not log terminal. The standard example is if $f:Y\to X$ is a flipping contraction of a 3-fold over a curve $T$ (where the ...