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.
247
questions with no upvoted or accepted answers
4
votes
0
answers
224
views
Compactifications of reductive groups via representation theory
Let $G$ be a reductive group, $\Lambda$ a weight lattice, $\Lambda^{+}$ the monoid of dominating weights, $\omega_1,\dots,\omega_r\in \Lambda^{+}$ the fundamental weights and $\{\alpha_1,\dots, \...
- 8,852
4
votes
0
answers
130
views
Extremal rays in Picard rank two
Let $X$ be a projective variety of Picard rank two. We may assume that $X$ is $\mathbb{Q}$-factorial. Then the Mori cone $NE(X)$ has two extremal rays $R_1,R_2$.
Assume that $R_i$ is generated by ...
user77919
4
votes
0
answers
187
views
Can Kummer surfaces coming from the same abelian surface be Cremona equivalent / isomorphic?
Assume we are given a simple abelian surface $A$ which has 2 non-equivalent principal polarizations $D_1$ and $D_2$ in $NS(A)$ (up to isomorphism), thus giving rise to two non-isomorphic smooth ...
- 1,015
4
votes
0
answers
210
views
A question about the dimension of a relatively ample divisor
Suppose $f: Y \to Z$ is a projective morphism of smooth varieties with connected fibers. If an effective divisor $H$ on $Y$ is relatively ample over $Z$, and $\dim Y >\dim Z$, is $h^0(Y, mH)>1$ ...
- 3,362
4
votes
0
answers
533
views
A theorem about log Calabi-Yau pairs
Let $X$ be a normal variety with $\mathbb Q$-Cartier divisor $D$, such that $K_X+D$ is $\mathbb Q$-Cartier. Let $(X,D)$ is log Calabi-Yau pair, i.e, $K_X+D\sim_\mathbb Q0$. (For example take $ X$ be a ...
user21574
4
votes
0
answers
164
views
A question about potentially birational divisor
I am reading the paper "On the birational automorphisms of varieties of general type", and I have a question about the property of potentially birational divisor.
Definition (potentially birational ...
- 3,362
4
votes
0
answers
73
views
Rational connectedness of certain subvarieties of the linear series
Let $X$ be a smooth projective hypersurface in $\mathbb{P}^3$, $|\mathcal{O}_X(a)|$ be the complete linear system for some integer $a>0$. Ofcourse, a general element of the linear system is a ...
- 2,126
4
votes
0
answers
217
views
Blow-up of $\mathbb{P}^4$ along a smooth surface
Let $\pi \colon X\to \mathbb{P}^4$ be the blow-up of a smooth surface $S\subset \mathbb{P}^4$. Is there a formula to compute $(K_X)^4$ ? (which should be dependent on invariants of $S$).
In dimension ...
- 7,652
4
votes
0
answers
159
views
Is this $S$-birational map an open immersion on its domain of definition?
My question is about a claim on the bottom of p. 121 of the book "Neron models" by Bosch, Lutkebohmert, and Raynaud, so I will freely use the general terminology recalled in this book, but will ...
- 1,103
4
votes
0
answers
778
views
Adjunction Formula for Weil Divisors on a Normal Variety X
Let $X$ be a normal variety over an algebraically closed field $k$ of characteristic $p>0$ and $S$ be a prime Weil divisor on $X$ which is normal too. Now if $K_X+S$ is NOT $\mathbb{Q}$-Cartier, ...
- 165
3
votes
0
answers
94
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,421
3
votes
0
answers
108
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 ...
- 3,301
3
votes
0
answers
98
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 $...
- 585
3
votes
0
answers
152
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 $\...
- 8,852
3
votes
0
answers
292
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 ...
- 43
3
votes
0
answers
227
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 ...
- 211
3
votes
0
answers
199
views
Dynamical degree and spectral radius
Let $X$ be a smooth, projective surface over an algebraically closed field $k$ of characteristic zero, and let $f \in \mathrm{Bir}(X)$ a birational map.
Let's denote $f_{\ast} : \mathrm{NS}(X) \...
- 1,315
3
votes
0
answers
307
views
Does every Fano variety contain every abstract curve?
It is a famous result of Mori that all Fano varieties (in characteristic $0$) contain rational curves. What if we replace rational curve with a specific curve of positive genus?
Question. Is it true ...
- 81
3
votes
0
answers
135
views
How to distinguish the singularities on moduli space?
Let me start with concrete examples. Let $X$ be a smooth special Gushel-Mukai threefold and $\mathcal{C}(X)$ be its honest Fano surface of conics, it has two irreducible components $\mathcal{C}(X)=\...
- 1,952
3
votes
0
answers
161
views
Log canonical surface with an elliptic singularity
I would like to know if there is an example as follows:
$X$ is a log canonical surface and $x \in X$ is an elliptic singularity such that
The minimal resolution of $x$ is a circle of rational curves (...
- 363
3
votes
0
answers
239
views
Cohomology of finite birational morphism
Let $f:Y \to X$ be a finite birational morphism between projective varieties (over $\mathbb{C}$) with $Y$ non-singular. I want to understand the cokernel of the pull-back morphism from $H^q(X,\mathbb{...
- 2,205
3
votes
0
answers
103
views
Does self-product of universal hypersurfaces have dlt singularites?
Let $n\geq2,d\geq 2n+1$ be integers, let $\mathcal{X}_{n,d}\to|\mathcal{O}_{\mathbb{P}^n}(d)|$ be the universal family of hypersurfaces. The total space $\mathcal{X}_{n,d}$ is smooth as it is a ...
user39380
3
votes
0
answers
241
views
Is the surface in $\mathbb{A}^3$ rational?
Consider the surface
$$
(u_1^6 + 1)w^3 = (u_2^6 + 1) \subset \mathbb{A}^3
$$
over an algebraically closed field of characteristic $p \neq 2,3$. Is it rational, i.e., is there its proper ...
- 1,801
3
votes
0
answers
168
views
Divisorial contractions and singularities
I have a smooth $6$-fold $X\subset\mathbb{P}^n$ and a divisor $D\subset X$ cut out by a quadratic polynomial. I know that $D$ in singular along a smooth $3$-fold $Y\subset X$, and that if $Z$ is the ...
user125056
3
votes
0
answers
207
views
Whether a particular fiber product of varieties is integral
Let $X,Y,Z$ be irreducible projective varieties over $\mathbb{C}$ (you can assume all of them are normal), and let $f:X\rightarrow Z, g: Y\rightarrow Z$ be two birational projective morphisms, such ...
- 737
3
votes
0
answers
272
views
What is the exceptional divisor of a divisorial contraction?
Let $\pi \colon X\to Y$ be a divisorial contraction between $\mathbb{Q}$-factorial terminal varieties. Let $E\subset X$ be the exceptional divisor and let $\pi(E)=D$ be its image. It is true that $\...
- 7,652
3
votes
0
answers
129
views
Isomorphisms of weighted complete intersections
Let $X\subset\mathbb{P}(a_0,\dots,a_n)$ and $Y\subset\mathbb{P}(b_0,\dots,b_n)$ be two weighted complete intersections with mild (say terminal) singularities.
Assume that there is an isomorphism $f:...
user61586
3
votes
0
answers
232
views
Explicit equations for rational elliptic surfaces (Halphen surfaces)
I am looking for explicit equations for rational elliptic surfaces in characteristic $2$. For me, a rational elliptic surface $X$ is a smooth projective surface $X$ which is rational and equipped with ...
- 7,652
3
votes
0
answers
173
views
The Weil restriction of an elliptic curve with respect to $\mathbb{F}_{p^2}/\mathbb{F}_{p}$
For a prime $p > 3$ consider the quadratic finite field extension $\mathbb{F}_{p^2}/\mathbb{F}_{p}$. Also, consider the elliptic curves
$$
E\!: y_0^2 = x_0^3 + ax_0 + b,\qquad
E^{(1)}\!: y_1^2 = ...
- 1,801
3
votes
0
answers
412
views
Singularities of rational quartic surfaces
Let $X\subset \mathbb{P}^3$ be an irreducible quartic surface, defined over an algebraically closed field $k$. Suppose that $X$ is rational (i.e. birational to $\mathbb{P}^2$). Is is true that $X$ has ...
- 7,652
3
votes
0
answers
134
views
Is the generalized Kummer threefold rational in characteristics 3?
Let $E_i\!: y_i^2 = x_i^3 - x_i$, $i = 1, 2, 3$ be three copies of the supersingular elliptic curve in characteristics $3$. Consider on $E_i$ the following automorphism of order $3$:
$$
\sigma(x_i,...
- 1,801
3
votes
0
answers
162
views
curve blow ups of toric Fano $3$-folds
Suppose $X$ is a smooth toric Fano $3$-fold, and $D$ is a torus invariant divisor corresponding to a face of the polytope associated to $X$. I would like to search for (smooth) curves $C \subset D$, ...
- 6,933
3
votes
0
answers
167
views
Unirationality over the base field
Let us say that a variety $X$ over a field $k$ is unirational if there exists a dominant map $\mathbb{P}^n_k\to X$ and geometrically unirational if $X_{\bar{k}}$ is unirational.
Assume that $k$ is ...
- 31
3
votes
0
answers
479
views
Picard group finitely generated
Let $X$ be a smooth projective variety over a finite field $k$. Is the Picard group finitely generated? Equivalently, is $\text{Pic}^0(X)$ finitely generated?
(I am not assuming $k$ is separably ...
user119470
3
votes
0
answers
176
views
Termination of flops vs termination of D-flops
It is known that any sequence of $D$-flops eventually terminates (in dimension at most four and with canonical singularities) where $D$ is an effective $\mathbb{Q}$-Cartier divisor which is negative ...
- 1,585
3
votes
0
answers
386
views
What is the most useful rationality criterion of surfaces?
The motivation for this question is that I would like to extract some information from derived category of surfaces to conclude the rationality of surface. There is a well known rationality criterion ...
- 1,952
3
votes
0
answers
77
views
Finiteness of models around a non-pseudo-effective ray
Let $(X,\Delta) $ a klt pair and $\rho $ a numerical class of divisor that is not contained in the pseudo-effective cone. Let $(X,\Delta_i)$ be a sequence of klt pairs such that $K_X+\Delta_i$ is not ...
- 1,585
3
votes
0
answers
127
views
Plane Cremona groups over finite fields
Many research has been done on Cremona groups - the Cremona group $\mathrm{Cr}(\mathbb{P}^d(k))$ in dimension $d$ over a field $k$ is the group of birational transformations of $\mathbb{P}^d(k)$. (...
- 4,353
3
votes
0
answers
117
views
A question on the Kodaira dimension of 3-folds
Let $X$ a smooth projective $3$-fold. Assume that $X$ admits a finite rational map $f:X\dashrightarrow Y$ where $Y$ is a smooth Calabi-Yau 3-fold, and a fibration $g:X\rightarrow \mathbb{P}^2$ with a ...
- 79
3
votes
0
answers
277
views
How much information is encoded in the Jacobian-Kummer K3 surface of a curve of genus two?
Assume we work over $\mathbb{C}$.
Let $S\subset \mathbb{P}^3$ be a quartic surfaces with 16 nodes (ordinary double points). Then there is a simple principally polarized abelian surface $(A,\theta)$ ...
- 1,015
3
votes
0
answers
263
views
surjectivity of double dual map for weil divisors on normal varieties
If $X$ is a normal complex variety, and $D$ is an effective $\mathbb{Q}$-Cartier Weil divisor, then there is a natural map $\mathcal{O}(D) \otimes \mathcal{O}(-D) \rightarrow \mathcal{O}_X$. My ...
- 83
3
votes
0
answers
80
views
Singularities of fibrations 2
This question is related to my previous question:
Singularities of fibrations
Assume that $X$ is a complete intersection irreducible $3$-fold in a product of projective spaces. So that $X$ is ...
- 8,852
3
votes
0
answers
141
views
Which blow ups in the base of a conic bundle preserve the "standard" condition?
Assume we are given a nontrivial standard conic bundle $\pi: X\rightarrow S$, that is $X$ and $S$ are smooth projective varieties (say over $\mathbb{C}$), $\pi$ is flat and furthermore we have $Pic(X)=...
- 1,015
3
votes
0
answers
262
views
Can one control the ramification of a Brauer class under birational morphisms?
Assume we are given a Brauer class $\xi\in Br(k(\mathbb{P}^n))$ ramified at some divisor $D\subset \mathbb{P}^n$, here $k=\mathbb{C}$.
If $f: \mathbb{P}^n\mathrel{-\,}\rightarrow \mathbb{P}^n$ is a ...
- 1,015
3
votes
0
answers
243
views
When can a blow-down be pushed out?
I am interested in constructing a morphism out of a blown down variety.
Let $V$ be a scheme, $U\hookrightarrow V$ an open immersion. Let $\widetilde V$ be a blow-up of $V$, $\widetilde U$ its ...
3
votes
0
answers
194
views
motivic integration and jacobian ideal
When we consider the change of variables in motivic integration, we have a birational map $f:Y\rightarrow X$ with Y smooth and we have to consider two invariants the order of the Jacobian ideal of $X$ ...
- 3,432
3
votes
0
answers
124
views
birational classification of rationally connected 3-folds
What is the birational classification of (smooth projective) rationally connected 3-folds (over algebraically closed fields of characteristic $0$ or even $\mathbf{C}$, if $\mathrm{char}(k) = p > 0$,...
user19475
2
votes
0
answers
143
views
On the definition of the relative canonical divisor
Fix a field $k$. Let $X,Y$ be normal integral $k$-schemes of finite type and $h: Y \to X$ a proper birational $k$-morphism. Moreover, assume that $X$ is Gorenstein, i.e. it admits a canonical divisor $...
- 191
2
votes
1
answer
105
views
Normality and integrality of schemes and splitting of map from structure sheaf to (derived)pushforward of structure sheaf along proper birational map
Let $R, S$ be commutative Noetherian rings such that $R$ is a subring of $S$. If $S$ is a normal domain, and there exists an $R$-linear map $\phi: S\to R$ whose restriction on $R$ is the identity map, ...
- 384
2
votes
0
answers
91
views
Unirationality connected with $S$-unit equation
This update of question asked before.
Let $n$ be a natural number. Consider a subvariety in $\mathbb A^{3n+2}$ (say over $\mathbb C$) given by the equation
$$x_1(t-y_1)\dots (t-y_n)+x_2(t-z_1)\dots(t-...
- 241