# 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.

560 questions
Filter by
Sorted by
Tagged with
33 views

### Rational points on fibrations

Let $S\rightarrow\mathbb{P}^1$ a smooth surface over a field $k$ with a fibration over $\mathbb{P}^1$ whose fibers are either isomorphic to $\mathbb{P}^1$ or to the union of two $\mathbb{P}^1$'s ...
74 views

Let $\pi:X\rightarrow W$ be a morphism of smooth projective varieties over a field $k$ whose generic fiber is a smooth quadric, and let $r$ be the dimension of the fibers of $\pi$. Does there always ...
77 views

Let $\pi:X\rightarrow W$ be a flat morphism of smooth projective varieties over a field $k$ whose generic fiber is a smooth quadric. Assume that $W$ is rational and denote by $n$ the dimension of $W$ ...
208 views

341 views

### How can I "see" that a map is birational?

This came up with the Euler brick. Let $T=(p,q,r)$ be a Randall triple, i.e. $$(p^2-1)(q^2-1)(r^2-1)=8pqr\ \qquad\text{[eq.1]}.$$ There are tons of maps that map a triple $T$ to another $T'=(p',q',r')$...
390 views

### Does a resolution of a rational singularity have rationally connected fibers?

A rational singularity is a singularity of a complex variety $X$ such that for any resolution $\pi:\; \tilde X\rightarrow X$ the higher direct images $R^i\pi_*(O_{\tilde X})$ vanish for all $i>0$. ...
178 views

150 views

### Moduli spaces of horizontal curves

Let $f:X\rightarrow Y$ be a morphism of projective varieties. We may assume that $X$ and $Y$ are smooth, and $f$ is flat of relative dimension one. Fix an ample divisor $A$ on $X$. I would like to ask ...
147 views

247 views

160 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 ...
118 views

### On the exceptional divisor of the resolution of indeterminacy locus of rational map

Let $f:X \dashrightarrow Y$ be a rational map between smooth, projective varieties over $\mathbb{C}$. We know that there is a resolution of the indeterminacy locus using which we obtain a smooth, ...
198 views

392 views

### Global sections of multiples of a divisor

Let $D$ be an integral divisor on a smooth projective variety $X$. Consider the multiples $mD$ of $D$ for $m\geq 0$. Clearly, $h^0(X,mD) = 1$ for $m = 0$. Is there any example where $h^0(X,mD) = 0$ ...
208 views

### A question on effective divisors

Let $X$ be a projective variety with two morphisms $f:X\rightarrow Y$ and $g:X\rightarrow Z$ with irreducible fibers of positive dimension. Assume that $Pic(X) = f^{*}Pic(Y)\oplus g^{*}Pic(Z)$. Then ...
165 views

### Nef and pseudo-effective divisors over non algebraically closed fields

Let $X$ be a projective variety over a field $K$. As a consequence of Kleiman's criterion, when $K$ is algebraically closed, we have that if $D$ is a nef divisor on $X$ then $D$ is pseudo-effective. ...