Questions tagged [birational-geometry]
Birational geometry is a field of algebraic geometry the goal of which is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying mappings that are given by rational functions rather than polynomials; the map may fail to be defined where the rational functions have poles.
675
questions
2
votes
2
answers
149
views
If $ Z $ is an $ n $-dimensional, projective variety, containing $ \mathbb{G}_{m}^{n} $, what is the obstruction to $ Z $ being toric?
Let $ Z $ be an $ n $-dimensional, projective, variety, over a field of arbitrary characteristic and let $ \iota: \mathbb G_{m}^{n} \to Z $ be a morphism such that for any $ z \in Z $, the fibre $ \...
0
votes
0
answers
101
views
Why $\overline{\operatorname{Mov}(X)}\subset \overline{\operatorname{Eff}(X)}$, where $X$ is any normal variety?
I am trying to understand why $\overline{\operatorname{Mov}(X)}\subset \overline{\operatorname{Eff}(X)}$, where $X$ is any normal variety.
Here $\operatorname{Mov}(X)$ is the convex cone generated by ...
2
votes
1
answer
163
views
A variant on the Fujita invariant
Let $X$ be a Fano variety over $\mathbb{C}$. Let $D$ be a divisor on $X$. Recall that the Fujita invariant of $D$ is defined to be
$$a(D) = \inf \{ t \in \mathbb{R} : K_X + tD \text{ is effective} \}.$...
-1
votes
1
answer
155
views
Definition of canonical pair
Let $(X,D)$ be a pair and $f:Y\rightarrow X$ a log resolution. Write
$$
K_Y + \widetilde{D} = f^{*}(K_X) + \sum_{i}a_iE_i
$$
where $\widetilde{D}$ is the strict transform of $D$. I found the following ...
1
vote
0
answers
51
views
Blow-ups of $ F $-regular varieties at points in general position and finite generation of the Cox ring
A variety $ X $ is $ F $-split if there exists an $ \mathcal{O}_{X} $-linear map $ \phi: F_{\ast}(\mathcal{O}_{X}) \to \mathcal{O}_{X} $ such that $ \phi \circ F^{\sharp} = \operatorname{id}_{\mathcal{...
2
votes
0
answers
66
views
Is the Cox ring of a $ \mathbb{Q} $-factorial, $ F $-regular, Mori dream space $ F $-regular?
A variety $ X $ is $ F $-split if there exists an $ \mathcal{O}_{X} $-linear map $ \phi: F_{\ast}(\mathcal{O}_{X}) \to \mathcal{O}_{X} $ such that $ \phi \circ F^{\sharp} = \operatorname{id}_{\mathcal{...
1
vote
0
answers
98
views
Example of projective, $ F $-regular variety $ X $ and smooth sub-variety $ Y $ such that $ \operatorname{Bl}_{Y}(X) $ is not $ F $-regular?
A variety $ X $ is $ F $-split if there exists an $ \mathcal{O}_{X} $-linear map $ \phi: F_{\ast}(\mathcal{O}_{X}) \to \mathcal{O}_{X} $ such that $ \phi \circ F^{\sharp} = \operatorname{id}_{\mathcal{...
3
votes
1
answer
278
views
Normal bundle of a linear subspace
Let $X\subset\mathbb{P}^N$ be a smooth scheme theoretical complete intersection, and $H\subset X$ a linear subspace. Denote by $N_{H,X}$ the normal bundle of $H$ in $X$.
If $\dim(H) = 1$, that is $H$ ...
1
vote
0
answers
96
views
Does nefness in analytic setting depend on Hermitian metric?
I'm reading Demailly's book 'Analytic Methods in Algebraic Geometry'.
Let $X$ be a compact complex manifold with a Hermitian metric. A line bundle $L$ is said to be nef if for every $\epsilon>0$, ...
2
votes
0
answers
87
views
When is a smooth point of a projective, simplicial, toric variety $ X_{\Sigma} $ compatibly $ F $-split?
A variety $ X $ is $ F $-split if there exists an $ \mathcal{O}_{X} $-linear map $ \phi: F_{\ast}(\mathcal{O}_{X}) \to \mathcal{O}_{X} $ such that $ \phi \circ F^{\sharp} = \operatorname{id}_{\mathcal{...
1
vote
0
answers
133
views
Do we have a simple proof for this criterion for basepoint freeness?
The following is a criterion by Fujita (On the structure of polarized varieties with $\Delta$-genera zero).
Consider a complex smooth projective variety $X$ of dimension $n$ and an ample divisor $H$, ...
1
vote
1
answer
418
views
Determine the coefficient of the exceptional divisor
Consider the following setting: suppose that $X$ is a smooth variety and let $f:X\rightarrow \Delta$ be a smooth morphism outside the origin $0$. Let the central fiber $X_0$ be a reduced (Cartier) ...
2
votes
1
answer
224
views
Classification of quartic surfaces
Let $k$ be a field of characteristic zero (non necessarily algebraically closed, we may assume for instance that $k = \mathbb{C}(t)$). Does there exist a classification of degree four surfaces $S\...
3
votes
1
answer
351
views
Current progress on rationality problem for complex hypersurfaces
How is the current progress on rationality problem for complex hypersurfaces $X\subset\mathbb{P}^{n+1}$ with $n\geq 3$?
There are many hypersurfaces are shown to be unrational, such as smooth cubic ...
1
vote
1
answer
148
views
Geometry of contracted divisors
Let $f:\mathbb{P}^3\dashrightarrow\mathbb{P}^2$ be a dominant rational map defined over a field $k$ (not necessarily algebraically closed) of characteristic zero.
Consider a resolution $\widetilde{f}:...
2
votes
0
answers
109
views
Does one only need to look at torus invariant curves to calculate the Seshadri constant for a point of a toric variety?
If $ X $ is an irreducible projective variety, $ L $ is a Nef divisor on $ X $, $ x $ is a point of $ X $, and $ \pi: \operatorname{Bl}_{x}(X) \to X $ is the natural projection morphism, then the ...
1
vote
0
answers
125
views
For what properties $ (\mathcal{P}) $ (if any) does $ (\mathcal{P}) $ + analytic isomorphism imply birationality?
In general if $ \mathfrak{p} \in \operatorname{Spec}(A) $ and $ \mathfrak{q} \in \operatorname{Spec}(B) $ are two (not necessarily closed) points such that $ (\mathfrak{p}, \operatorname{Spec}(A)) $ ...
2
votes
1
answer
95
views
What is the minimal $ n $ such that the Cox ring of the blow up of a simplicial, $ r $-dimensional, toric variety at $ n $ points in g.p. is not f.g.?
In Shigeru Mukai's paper "Counterexample to Hilbert's 14th Problem for the 3-dimensional Additive Group," Mukai proved that if $ \frac{1}{r+1}+\frac{1}{n-r-1} \le \frac{1}{2} $, then the ...
1
vote
0
answers
226
views
Does analytic isomorphism imply local isomorphism?
If $ \mathfrak{p} $ is a (not necessarily closed) point of a variety $ \operatorname{Spec}(A) $, and $ \mathfrak{q} $ is a (not necessarily closed) point of a variety $ \operatorname{Spec}(B) $ such ...
1
vote
0
answers
155
views
How to link the rank of Elliptic Surfaces and Elliptic Curves over function fields?
I have been investigating certain elliptic surfaces for my research, and when giving a presentation, I was asked why when given an elliptic surface $E$, say given in Weierstrass form
$$E\colon y^2+a_1(...
0
votes
0
answers
101
views
Every locally free sheaf is Cohen-Macaulay on complex variety with at canonical singualities?
Suppose $X$ is a normal complex space with at most singularities, can we say any locally free sheaf on it is Cohen-Macauly?
Recall that a coherent sheaf $\mathcal{F}$ over $X$ is called (maximal) ...
1
vote
0
answers
89
views
In complex analytic category, is the pluricanonical sheaf Cohen--Macaulay?
We adopt the following definition of canonical singularities in complex analytic category.
Let $X$ be a normal complex space of dimension $n$, and let $j:X_{\text{reg}}\rightarrow X$ be the open ...
1
vote
1
answer
185
views
Two morphisms possess the same Viehweg's variation
Recall the definition of Viehweg's variation intimated from Weak Positivity and the Additivity of the Kodaira Dimension for Certain Fibre Spaces,
E. Viehweg
Let $f: V\rightarrow W$ be a fiber space (...
2
votes
1
answer
216
views
Rational curves on the image of the pluricanonical maps
Let $X$ be a compact complex manifold with canonical bundle $K_X$. Assume the Kodaira dimension $\kappa(X)$ is positive (but not maximal, i.e., $X$ is not of general type). Let $\varphi_m : X \...
2
votes
0
answers
86
views
Analogous tensor product operation for reflexive sheaf
Suppose now $(X,\mathcal O_X)$ is a normal complex space, and $\mathcal F$ is a coherent analytic sheaf on it.
Product the reflexive sheaf $$\mathcal F^{[p]}:=(\mathcal F^{\otimes p})^{**},$$ where $\...
1
vote
1
answer
211
views
Intersection pairing and birational morphisms
Let $f:X\to Y$ be a birational morphism of smooth projective variety. We assume that $f(V)\simeq U$ isomorphism induced by $f$, where $V\subset X$ and $U\subset Y$ are two Zariski open sets. Let $x\in ...
1
vote
0
answers
110
views
Numerical reduction map for line bundles?
For a nef line bundle $L$ on a normal projective variety $X$, we have three invariants- the nef dimension $n(L)$, the numerical dimension $\nu(L)$ and the Iitaka dimension $\kappa(L)$. $n(L)$ is ...
3
votes
2
answers
576
views
Blowing up of a singular subvariety
I ask the same question on MathStackExchange but receive no answer.
I'm reading Kollár Mori Chapter 2.3. And they state the following lemma:
Lemma 2.29. Let $X$ be a smooth variety and $\Delta = \sum ...
1
vote
0
answers
151
views
Do blowups generate the birational equivalence relation?
Suppose $X$ and $Y$ are birational varieties (projective, irreducible, over $\mathbb C$) of the same dimention. Is there a sequence of blow-ups and blow-downs that makes $Y$ from $X$?
1
vote
0
answers
138
views
How to understand flip intuitively?
In MMP, when we get a small extremal contraction $f:X\rightarrow Y$, we will flip it to $f^+:X^+\rightarrow Y$ such that $K_{X^+}+D^+$ is $f^+$-ample. Technically, I understand that is because we want ...
1
vote
0
answers
105
views
Discrepancy of a divisor over a different model
I also asked this question on MathStackExchange but receive no answers.
I'm reading Koll'ar and Mori's book about singularity theory. They state the following lemma without proof:
Lemma 2.30. Let $f:...
4
votes
1
answer
130
views
Isomorphism outside of negative curves against the canonical
Let $X$ be a smooth projective complex variety and let us suppose that the closure of the union of curves $C$ on $X$ that are non-positive against the canonical divisor is a closed subset $F\subsetneq ...
0
votes
1
answer
112
views
Is normality really needed for the Cox ring of a $ \mathbb{Q} $-factorial variety to be well defined or is regular in codimension one enough?
I recently was looking at Chapter 1, Section 4.1 of the book on Cox Rings by Ivan Arzhantsev, Ulrich Derenthal, Jurgen Hausen, and Antonio Laface (see https://arxiv.org/pdf/1003.4229.pdf) I noticed ...
6
votes
1
answer
248
views
Iitaka dimension is invariant under surjective morphism between smooth projective varieties
I would like to prove the following result (working on $\mathbb{C}$) but get trouble with the other direction.
Let $f:Y'\rightarrow Y$ be a surjective morphism between smooth projective varieties, ...
5
votes
1
answer
421
views
Example illustrating necessity of considering birational equivalence and not biholomorphic equivalence in MMP
The minimal model program attempts to classify algebraic varieties up to birational equivalence. For compact Riemann surfaces, Riemann's uniformization theorem tells us that the geometry of the curve ...
4
votes
0
answers
143
views
Bondal-Orlov conjecture on Calabi-Yau varieties
Recently, I am trying to study the various progress made on the Bondal-Orlov conjecture: Birational Calabi-Yau varieties ⟹ Equivalent derived categories.
I have started reading the paper by Bridgeland ...
3
votes
1
answer
324
views
Noether–Enriques using Tsen's lemma
Consider the following weak version of the Noether–Enriques theorem (field is $\mathbb{C}$):
Let $\varphi:X\rightarrow Z$ be a morphism from a smooth projective surface onto a smooth curve with $F_z:=...
3
votes
3
answers
263
views
Varieties with few trisecant lines
Let $X\subset\mathbb{P}^N$ be an irreducible projective variety. Let's denote by $\mathcal{T}$ the following property: through a general point $x\in X$ there is no line intersecting $X$ in at least ...
1
vote
1
answer
273
views
Birational morphisms from DM stacks to their coarse moduli spaces
Let $X$ be an integral scheme over a field. Let $G$ be a finite group acting on $X$ faithfully. Assume the quotient stack $[X/G]$ is separated (e.g., when $G$ acts on $X$ properly). Then $[X/G]$ is a ...
3
votes
0
answers
97
views
Relation between closed cone of curves of a small $\mathbb{Q}$-factorial modification of Mori dream space
Let $X$ be a smooth projective variety which is a Mori dream space. Then we know there are finite small $\mathbb{Q}$-factorial modifications $f_i:X\dashrightarrow X_i$ for $i=1,\cdots,k$ such that $...
4
votes
0
answers
164
views
Models of conic bundles
Let $S$ be a smooth projective variety over $\mathbb{C}$. A conic bundle over $S$ is a smooth projective variety $X$ together with a flat morphism $\pi:X \to S$ all of whose fibres are isomorphic to ...
3
votes
0
answers
151
views
Blowing-up a non reduced fiber
Let $X\rightarrow \mathbb{P}^2$ be a smooth conic bundle with a non reduced fiber $F$, and $\widetilde{X}$ the blow-up of $X$ along $F$ with exceptional divisor $F\times\mathbb{P}^1$.
I expect $\...
7
votes
1
answer
488
views
Field extensions over which algebraic varieties cannot acquire points
The following fact (slightly reworded here) is proven in this answer:
If $K$ is a purely transcendental extension of an infinite¹ field $k$, then whenever a separated scheme $X$ of finite type over $...
2
votes
0
answers
93
views
$0$-dimensional intersection in weighted projective space
Consider homogeneous polynomials $P_0,P_1,P_2,P_3,P_4,P_5$ of degrees $3,3,2,3,2,1$ over $\mathbb{P}^3$, and the map $\phi:\mathbb{P}^3\rightarrow\mathbb{P} = \mathbb{P}(3,3,2,3,2,1)$ given by
$$
\phi(...
1
vote
1
answer
217
views
Surfaces with rational double points
Let $S\rightarrow \mathbb{P}^1$ a surface fibered in conics over a field. Assume that $S$ has a single non reduced fiber $F$ with two points of type $A_1$ on it.
Blowing-up the two points and ...
3
votes
1
answer
169
views
Singularities of surfaces fibered in rational curves
Let $S$ be a projective surface with a morphism $S\rightarrow\mathbb{P}^1$ whose fibers are either smooth $\mathbb{P}^1$'s or the union of two smooth $\mathbb{P}^1$'s intersecting in a point.
...
3
votes
0
answers
276
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 ...
2
votes
0
answers
180
views
Confusion with terminology: Crepant resolution of terminal singularities
In Theorem 1.1 of this article, Bridgeland proves derived equivalence between Crepant resolution of threefold terminal singularities. I am a little confused with this terminology. In particular, a $\...
7
votes
1
answer
526
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 ...
3
votes
0
answers
221
views
Birationally equivalent elliptic curves and singularities
I got the following cubic elliptic curve from some physical problem $$E_c(\mathbb{C}): w^2=4 z^3-zG_2-G_3,$$ where $G_2=3
\alpha ^2+\gamma$ and $G_3=\alpha ^3-\alpha \gamma
-\beta ^2$ for known ...