# Questions tagged [minimal-model-program]

minimal model program is part of the birational classification of algebraic varieties.

107 questions
Filter by
Sorted by
Tagged with
95 views

### Description of movable cone

Let $X$ be a normal, $\mathbb{Q}$-factorial projective variety (over $\mathbb{C}$). If we assume that $X$ is a Mori dream space, then by definition its movable cone is rational polyhedral, and there ...
415 views

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

The minimal model program aims to find a minimal representative in the birational class of a given variety with reasonable singularities. Assuming this has been done, it seems natural to ask what ...
282 views

### Where does the word "log" in log pair come from?

The minimal model program works with pairs $(X,B)$ where $X$ is a variety and $B$ is a certain kind of divisor on it. I've seen these described as "logarithmic pairs". There are also "...
1 vote
116 views

### Positivity of the global log canonical threshold of a pair

Let $(X,L)$ be a polarized smooth projective variety. Let $D$ be a smooth irreducible divisor in $X$. Let $0<c<1$ be a real number. We denote $cD$ as $\Delta$. We can define the $\alpha$ ...
147 views

### Existence of terminal $3$-fold flips

Does there exist a terminal $3$-fold $X$ with a curve $C\subset X$ such that $K_X\cdot C < 0$ admitting a Mori flip $X\dashrightarrow Y$, flipping $C$ to a curve $C'\subset Y$, where the singular ...
113 views

### Parameter spaces for conic bundles

A conic bundle over $\mathbb{P}^n$ is a morphism $\pi:X\rightarrow\mathbb{P}^n$ with fibers isomorphic to plane conics. A conic bundle $\pi:X\rightarrow\mathbb{P}^n$ is minimal if it has relative ... 168 views

1 vote
59 views

258 views

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

Let $(X,B)$ be a projective log canonical pair (here I mean $B \geq 0$). Assume that the coefficients of $B$ are rational, and that $K_X+B \equiv 0$. Is it true that $K_X + B \sim_\mathbb{Q} 0$? I ...
1 vote
163 views

1 vote
123 views

1 vote
### Section ring $R(X,D)$ of $D$ is finitely generated if $\kappa (X,D) \leq 1$
In the remark on the bottom of page 5 of this paper, the author states that It is well-known fact that the algebra of a Divisor $D$ with $\kappa (X,D) \leq 1$ is finitely generated over $k$. In ...