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.
664
questions
1
vote
0
answers
83
views
Coefficients of members in a base-point free linear system
Let $\mathbb{K}\in \{\mathbb{Z},\mathbb{Q},\mathbb{R}\}$ and let $D$ be a base-point free(or ample if it is necessary) $\mathbb{K}$-divisor on a normal projective variety.
I have two questions:
When $...
- 11
2
votes
0
answers
65
views
Example of a ruled, CM, $ \mathbb{Q} $-factorial, normal, Mori dream space whose Cox ring is integral but not CM,
This question is related to one I asked here in Example of a $ \mathbb{Q} $-factorial, CM normal, projective, Mori dream space $ Z $ such that $ \operatorname{Cox}(Z) $ is integral and not CM. In ...
- 741
1
vote
0
answers
125
views
A quick introduction to the birational classification of projective curves
To give you some personal background: I am a ring theorist, and most of my research focus on invariant theory of noncommutative rings. Recently I became interested in a certain problem that requires a ...
- 2,435
1
vote
0
answers
71
views
Example of a $ \mathbb{Q} $-factorial, CM normal, projective, Mori dream space $ Z $ such that $ \operatorname{Cox}(Z) $ is integral and not CM
Does anyone know an example of a $ \mathbb{Q} $-factorial, normal, Cohen Macaulay, projective, Mori dream space $ Z $ over a field $ k $ of arbitrary characteristic such that the Cox ring of $ Z $ is ...
- 741
1
vote
0
answers
88
views
Literature for noncommutative birational invariants
Let $k$ be an algebraically closed field of zero characteristic. All fields under discussion are fields over $k$, and all division rings are division algebras over $k$.
There is rich theory of ...
- 2,435
5
votes
0
answers
137
views
Equations for conic del Pezzo surfaces of degree one
Let $X$ be a del Pezzo surface of degree one over a field $k$ of characteristic not $2$ equipped with a conic bundle $\pi: X \rightarrow \mathbb{P}^1$. By Theorem 5.6 of this paper, $X$ admits a ...
- 241
4
votes
0
answers
79
views
Existence of a rational curve in the center of a birational contraction for symplectic singularities
Let $M$ be a holomorphically symplectic
complex manifold, and $f: M \to X$
a holomorphic, birational contraction to a Stein
variety $X$, contracting a subvariety $E$
to a point, and bijective outside ...
- 9,045
2
votes
1
answer
218
views
(Non-)Rationality of a certain quotient of the symmetric square of the Fermat sextic (quartic) curve
Consider the Fermat sextic curve $F: x^6 + y^6 + 1 = 0$ over an algebraically closed field of characteristic $0$. It has the two order $3$ automorphisms $\omega_x(x,y) := (\omega x, y)$ and $\omega_y(...
- 1,791
1
vote
0
answers
124
views
Proj of Weil divisors and fibrations
Let $X$ be a normal, $\mathbb{Q}$-factorial complex projective variety, and let $A$, $B$ be two Weil divisors on $X$. From my understanding, the associated sheaves $\mathcal{O}_X(A)$, $\mathcal{O}_X(B)...
0
votes
0
answers
113
views
Exceptional locus of proper birational morphism from smooth variety to normal variety
Let $f:Y\rightarrow X$ be a proper birational morphism. Suppose that $X$ is normal and $Y$ is smooth.
Let us write the largest open subset U of X such that $f^{-1}$ can be defined.
I want to show that ...
- 1
1
vote
0
answers
153
views
Proofs for if $\widetilde X\rightarrow X$ is a modification & $\widetilde X$ is a $\partial\bar{\partial}$-manifold, then so is $X$
A celebrated result due to Deligne--Griffiths--Morgan--Sullivan (see Theorem 5.22 in Real Homotopy Theory of Kaehler Manifolds) says that:
Consider a proper modification $f:\widetilde M\rightarrow M$ ...
- 313
4
votes
1
answer
125
views
Finitely generated section ring of Mori dream spaces
Set-up: We work over $\mathbb{C}$. Let $X$ be a Mori dream space. Define, following Hu-Keel, the Cox ring of $X$ as the multisection ring
$$\text{Cox}(X)=\bigoplus_{(m_1\ldots,m_k)\in \mathbb{N}^k} \...
2
votes
1
answer
153
views
Explicit functor from Kuznetsov component to derived category of K3 for rational cubic fourfolds
Let $X \subset \mathbb{P}^5$ be a Pfaffian cubic fourfold (or one of the other known rational cubic fourfolds). It is known by Kuznetsov's Homological Projective Duality that $\mathcal{K}u(X) \simeq D^...
- 305
2
votes
2
answers
320
views
Proper birational morphism from a Gorenstein normal scheme to a normal local domain, with trivial higher direct images, implies Cohen-Macaulay?
Let $k$ be a field of characteristic $0$. Let $R$ be a Noetherian local normal domain containing $k$. Also assume that $R$ is the homomorphic image of a Gorenstein ring of finite dimension, hence $R$ ...
- 338
1
vote
0
answers
42
views
Dyck's Theorem via a Birational Transformation
In our paper, at Journal of Geometry and Graphics, v. 20, n. 1 (2016), Danny Maienschein and I showed that some well-known transformations of the real projective plane (defined almost everywhere), ...
- 146
8
votes
1
answer
311
views
Alterations and smooth complete intersections
Let $k$ be an algebraically closed field, and $X$ a projective variety over $k$. Let $i : X\subset \mathbf{P}^d_k$ be a closed immersion into a projective space of high enough dimension.
Is there a ...
user501361
2
votes
1
answer
148
views
Cohen-Macaulay fiber products
Let $R$ be a regular local ring, $X$ and $Y$ smooth $R$-schemes, $T\to Y$ a regular closed immersion over $R$ with $T$ smooth over $R$, and $f: X\to Y$ an $R$-morphism.
Is the fiber product scheme $...
user501361
2
votes
1
answer
182
views
Inclusion of (pulling back of) dualizing sheaves under normalization
I am reading O. Fujino's book Iitaka Conjecture. In page 42, Lemma 3.1.19 he restated one result due to Viehweg to use the base change arguments.
There exists some details in the proof of Step 2 in ...
- 313
6
votes
1
answer
315
views
Derived categories of smooth proper varieties?
We know several amazing techniques about the derived category $Perf (X)$ of a smooth projective variety such as the whole theory of Fourier-Mukai transforms. On the other hand, from a dg-categorical ...
- 257
2
votes
0
answers
93
views
Kodaira dimension of spaces of rational curves in hypersurfaces
Let $X\subset\mathbb{P}^n$ be a general hypersurface of degree $d\leq n$, and $\overline{\mathcal{M}}_{0,0}(X,a)$ the Kontsevich space of degree $a$ rational curves in $X$.
Does there exist an ...
- 8,804
2
votes
0
answers
127
views
Extending étale covers from the regular locus to a resolution of singularities
Let $X$ be a normal proper variety with rational singularities (or terminal if that is necessary) and $X_{\text{reg}} \to X$ the regular locus. Let $\pi : \tilde{X} \to X$ be a resolution of ...
- 2,879
3
votes
0
answers
81
views
What are the possibilities of the general fibres in an Iitaka fibration?
This question is motivated by complex algebraic geometry.
If $X$ is a complex algebraic variety with Kodaira dimension in $[1,\dim X-1]$, then the Iitaka fibration (the rational map induced by the ...
- 9,272
2
votes
1
answer
117
views
A Fourier-Mukai kernel locally given by a graph of a birational map and compatibility with extension
Let $X$ and $Y$ be smooth projective complex varieties. Suppose we have a Fourier-Mukai equivalence
$$
\Phi_\mathcal P :Perf X \to Perf Y
$$
with kernel $\mathcal P$. Moreover, suppose $\mathcal P$ ...
- 257
1
vote
0
answers
110
views
Modifying the base of a rational map
Let $f : X \dashrightarrow S$ be a rational map of smooth projective varieties. Is it true that, after a birational modification of $S$, every fiber intersects the domain of definition? Explicitly, is ...
- 2,879
2
votes
0
answers
116
views
"Vanishing locus" of forms in the $h$-topology
Let $\Omega_{h}^p$ be the sheaf of $p$-forms in the $h$-topology defined as the sheafification for the $h$-topology of the presheaf,
$$ Y \mapsto \Omega^p_Y(Y) $$
Kebekus and Schnell show that when $X$...
- 2,879
4
votes
0
answers
168
views
Do rational maps to abelian varieties extend across rational singularities?
Let $X$ be a normal proper variety with only rational singularities and $A$ an abelian variety. Does a rational map $X \supset U \to A$ extend to a morphism $X \to A$? If not, what is a ...
- 2,879
2
votes
0
answers
137
views
Question about algebraic curve being birational to smooth projective curve
Let $X$ be a geometrically irreducible affine variety defined over $\mathbb{Q}$ and dimension $1$. Then it is known that $X$ is birational over $\mathbb{C}$ to a smooth projective curve $C$.
I was ...
- 3,517
2
votes
1
answer
196
views
Flat scheme-theoretic closure
Suppose $R$ is a discrete valuation ring with fraction field $K$. Let $X\subset \mathbf{P}^n_{C_K}$ be a closed subscheme, flat over $C_K$, a smooth projective curve over $K$.
Let $C_R$ be a flat ...
user501361
2
votes
2
answers
173
views
Mori cones and projective morphisms
Let $f:X\rightarrow Y$ be a morphism of smooth projective varieties, and $NE(X),NE(Y)$ the Mori cones of curves of $X$ and $Y$. Assume that $NE(X)$ is finitely generated. Then is $NE(Y)$ finitely ...
- 8,804
3
votes
0
answers
107
views
Torsion of Fermat hypersurfaces
An interesting invariant of a rationally chain-connected variety $X/k$ is the exponent of the group,
$$ \ker{(\mathrm{CH}_0(X_K) \xrightarrow{\deg} \mathbb{Z})} $$
where $K = k(X)$ is the function ...
- 2,879
2
votes
0
answers
52
views
Composition of correspondences pulled back to $\mathrm{CH}_0$
Let $X,Y,Z$ be varieties. Given two correspondences $\Gamma_1 \subset X \times Y$ and $\Gamma_2 \subset Y \times Z$ there is a composition,
$$ [\Gamma_1] \circ [\Gamma_2] = \pi_{13 *} (\pi_{12}^* [\...
- 2,879
2
votes
1
answer
313
views
$K3$ surfaces can't be uniruled
Let $S$ be a uniruled surface, ie admits a dominant map $ f:X \times \mathbb{P}^1$. Why then it's canonical divisor $\omega_X$ cannot be trivial? Motivation: I want to understand why $K3$ surfaces ...
- 5,650
1
vote
0
answers
49
views
Singularities of toric pairs
Suppose $(X,B)$ is a log canonical pair and $f: X \rightarrow Y$ an equidimensional toroidal contraction such that every component of $B$ is $f$ -horizontal. Let $\Gamma$ denote the reduced ...
- 335
5
votes
0
answers
157
views
Strong factorisation conjecture for toric varieties
In this survey is remarked (see page 6 after Example 1.12) that to prove the
Conjecture 1.10 (Strong factorisation). Let $\phi: X \dashrightarrow Y $ be a birational map
between two quasi-projective ...
- 5,650
2
votes
0
answers
121
views
Flips and Flops in minimal model program
Is there a concrete geometric intuition behind flips and flops in context of minimal model program one should keep in mind? Wikipedia says that these can be considered as algebraic analoga of ...
- 5,650
1
vote
0
answers
44
views
Is there some kind of construction of a "canonical unirational variety" like the one for toric varieties?
Toric varieties in some sense a "canonical rational variety" in that one can construct them from purely combinatorial data and this combinatorial data makes it possible to turn many ...
- 741
4
votes
1
answer
232
views
Cycles contained in ample enough hypersurfaces
Let $X$ be an irreducible smooth projective variety of pure dimension $d$ over the complex numbers and $Z\subset X\times X$ a codimension $d$ irreducible smooth closed subvariety.
Is there a smooth ...
user497064
2
votes
2
answers
144
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 $ \...
- 741
0
votes
0
answers
97
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 ...
- 201
2
votes
1
answer
150
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} \}.$...
- 20.6k
0
votes
0
answers
90
views
$K_X + \Delta$ pseudo-effective implies $X$ is not uniruled
In the famous [BDPP13], they proved that for a projective smooth variety $X$, $K_X$ pseudo-effective $\Longleftrightarrow$ $X$ not uniruled.
I wonder if there is a generalization to log pairs: say we ...
- 149
-1
votes
1
answer
130
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 ...
- 8,804
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{...
- 741
0
votes
0
answers
42
views
Is there a name for the number $ n $ of points in general position s.t. $ \operatorname{Cox}(\operatorname{Bl}_{p_{1},\dots,p_{n}}(Z)) $ is not f.g.?
Let $ Z $ be a projective, normal, $ \mathbb{Q} $-factorial variety (so the Cox ring of $ Z $ is well defined). Is there a name in the literature for the minimal natural number $ n $ such that the ...
- 741
2
votes
0
answers
64
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{...
- 741
1
vote
0
answers
92
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{...
- 741
3
votes
1
answer
245
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$ ...
- 8,804
1
vote
0
answers
90
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$, ...
- 283
2
votes
0
answers
86
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{...
- 741
1
vote
0
answers
129
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$, ...
user497488