# Tagged Questions

The tag has no usage guidance.

100 views

### Some questions on Kontsevich's moduli space

Motivation: Work of Eisenbud, Harris, and Mumford shows that $\mathcal M_g$ is of general type when $g≥24$. Moreover, by Logan's function $f(g)$ , $\overline {\mathcal M_{g,n}}$ is of general type for ...
172 views

### Some examples where the plurigenera are nonconstant, when the fibres have worse singularities than canonical

Let start with a definition Invariance of plurigenera: Choose $m$ large enough so that $mK_F$ has a non-zero global section for some fibre $F$. For any fibre $F$, we have $K_F = K_{X/D}~_{|F}$. So ...
138 views

### local description of $\mathbb{P}^2$-fibrations over $\mathbb{P}^1$

Let $X$ be a rational threefold (over the field of complex numbers) with terminal singularities. It is well-known that $X$ has only finitely many singular points $x_1,x_2, \ldots,x_n$. To be more ...
241 views

### Generic Smoothness Type of Results in Positive Characteristic

Let $f:X\to Y$ be a surjective morphism between two projective varieties over a field of characteristic $p>0$. Also assume that $f_*\mathcal{O}_X=\mathcal{O}_Y$, and $X$ is smooth. We know that ...
193 views

173 views

### Finite generation of certain $\mathcal{O}_X$-algebra

It is proved in this paper by Kawamata (Theorem 6.1) that for a 3-dimensional normal algebraic variety $X$ which has at most canonical singularities, and a Weil divisor $D$ on it, the $\mathcal{O}_X$-...
165 views

### Run MMP between varieties of isomorphic in codimension 1

Let $X, Y$ be two birational projective varieties which are isomorphic in codimension 1. Suppose $H$ is an ample divisor on $Y$, and $H'$ be its strict transform on $X$, suppose we can run MMP with ...
257 views

### A question about running MMP with scaling

Let $\pi:X \to U$ be a projective morphism, and $(X, \Delta = A + B)$ be a KLT pair, where $A$ is a general ample divisor and $B$ is effective. Suppose $K_X + \Delta$ is not nef (over $U$) and there ...
216 views

### Number of minimal models of a surface

I would like to know if the following statement is true or false: Given a non-singular complex projective surface $S$, it has at most a countable number of minimal models (up to isomorphism). ...
219 views

### Decompose a big divisor as nef big divisor and effective divisor

Let $W_n$ be a set of a log pair having the following property: For any $(X, D) \in W_n$ (1)$X$ has dimensional $n$ with tirvial canonical divisor (i.e.$K_X = 0$). Moreover, $X$ is a $\mathbb{Q}$-...
356 views

### Singularities arising from the Minimal Model Program (an algebraic point of view)

I will start the story by the end: Is there some characterization of (some of) the singularities arising from the Minimal Model Program (canonical, terminal, log-...) in terms of commutative algebra ?...
282 views

### Is the number of minimal models finite

Let $X$ be a variety of general type. Assume that $\dim X = 3$. In https://eudml.org/doc/164223 it is proven that $X$ has only finitely many minimal models (i.e., only $\mathbb Q$-factorial terminal ...
221 views

### A covering lemma of Kawamata

In the paper "A generalization of Kodaira-Ramanujam's vanishing theorem", Kawamata states a covering lemma (Lemma 5) which is Let $X$ be a non-singular projective variety, and $D$ be a divisor ...
221 views

319 views

### Is there an Enriques–Kodaira-like classification of Fano threefolds?

I am mainly interested in varieties over an algebraic closed field $k$ (or $\mathbb{C}$). The classification of complex surface is established in the last century and known as Enriques–Kodaira ...
347 views

### Minimal semistable model for K3-surfaces.

I wonder if a semistalbe K3 surface over a $p$-adic field has a minimal semistable model. I guess yes but I do not find any reference. Also, if we have a semistable K3 surface with a log structure, ...
2k views

### Training towards research on birational geometry/minimal model program

Being a not yet enrolled independently supervised graduate student in mathematics, with prospects of applying to American graduate schools hopefully in a 1-2 years' time, I have a background of having ...
857 views

### Trivial canonical bundle

Let $X$ be a complex compact Kähler minimal surface with zero algebraic dimension and $H^2(X,\mathcal{O}_X) \ne 0$. We know that according to Enriques–Kodaira classification, $X$ is either a torus or ...
251 views

### Controlling singularities on log mmp

Suppose all my varieties are complex threefolds $X\rightarrow Y$ over some smooth base curve germ $Y$. We can assume the fibres are Del Pezzo surfaces with generic smooth fibre. If I do (relative) ...
801 views

### Minimal Model Program for surfaces over algebraically closed fields of characteristic p

Let $k$ be an algebraically closed field of characteristic $p>0$. I have been trying to find out unsuccessfully if there is a mmp for algebraic surfaces over $k$. I know minimal surfaces are ...
499 views

### Are conical symplectic resolutions Mori dream spaces?

This is one of these questions where it's tempting to just leave it at the title, but let me try to define the objects in question. A conical symplectic resolution is a projective resolution of ...
438 views

I'm looking for references of explicit computation of the pseudoeffective cone $\overline{\text{Eff}}(X)$ of a projective variety $X$.
535 views

### Infinitely many minimal models

There are examples of elliptic fiber spaces over a two-dimensional base which have infinitely many relative minimal models (where two abstractly isomorphic models connected by flops are counted ...
394 views

### Why are the different definitions of minimal model equivalent?

I'm starting to learn the minimal model program. It seems there are two definitions for a variety $X$ with only terminal singularities to be minimal: $K_X$ is nef. Every birational morphism from $X$ ...
859 views

### The minimal model program and symplectic resolutions

I've been reading some papers of Namikawa lately, and have on several occasions come across a claim I would really like someone to expand on. On page 4 of Poisson deformations of affine symplectic ...
617 views

### Basepoints in the Canonical System of Algebraic Surfaces

Let X be an smooth projective variety defined over $\mathbb{C}$. In the context of the minimal model program it is often important to understand the geometry of the maps defined by the complete ...
1k views

### Singularities of pairs

In the next days I have to give a talk in which I need to explain some of the usual singularities of pairs that one meets when dealing with the minimal model program: KLT, DLT and LC pairs. In ...
680 views

### Possible singularities of the base of a Mori fiber space

Suppose X is a normal projective complex variety, (X, $\Delta$) is a klt pair and f : X $\to$ Z is a Mori fiber space given by a contraction of an extremal ray for this pair. Here I mean that the ...
848 views

### How much can small modifications change the nef cone?

First let me give a precise formulation of the question; I'll give some background/motivation at the end. If X is a projective variety which is Q-factorial (meaning X is normal, and some sufficiently ...
2k views

### Does negative Kodaira dimension imply uniruled?

There is a conjecture (often attributed to Mumford) I believe which states that if, on a smooth proper variety $X$ (over an algebraically closed field of characteristic zero), there are no ...
In order get a minimal model for a given a variety $X$, we can carry out a sequence of contractions $X\rightarrow X_1\ldots \rightarrow X_n$ in such a way that that every map contracts some curves on ...