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

161 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
2k views

### Relative canonical divisors

Suppose that $X$ is a Gorenstein variety and that $\pi : Y \to X$ is a birational map of varieties with normal $Y$. In this case the relative canonical divisor is defined to be $K_Y - \pi^*K_X$ (if ...
215 views

### birational geometry of moduli spaces: why work on the coarse space?

In studying the birational geometry of $\overline{\mathcal{M}}_g$, it seems standard to work with the coarse space $\overline{M}_g$ rather than the smooth stack $\overline{\mathcal{M}}_g$. Why is this?...
194 views

### Curves on rational surfaces and Lang's conjecture for M_g

There are a group of related conjectures associated to Lang's name - for this question I'll consider only the weakest one, namely that rational curves in a projective variety of general type are not ...
354 views

### Is the $\hat{A}$-genus invariant under crepant birational maps between smooth algebraic varieties?

The degree of the Todd class of the tangent bundle of a variety $Y$ gives the holomorphic genus of $Y$, which is a birational invariant. We also know that the $\hat{A}$-roof of a smooth variety $Y$ ...
462 views

### Letters of a bi-rationalist

V.V. Shokurov has written several papers over the course of about 10 years which are called "Letters of a bi-rationalist". Here are the ones that I could find: Letters of a bi-rationalist. I. A ...
168 views

### Motivic homotopy theory and Noether problem

Let $G$ be a finite group, and let $V$ be a faithful representation of $G$. The Noether problem asks whether $V/G$ is rational (stably rational, retract rational) or not. To construct ...
234 views

### Rationality of a certain real algebraic variety

Let $A_n$ denote the vector space of $n\times n$ antisymmetric matrices over ${\mathbb{Q}}$, where $n$ is even. Let $A_n^*\subset A_n$ denote the affine ${\mathbb{Q}}$-subvariety of invertible ...
164 views

### Which field extensions do not affect Chow groups?

Let $X$ be a (say, smooth projective) variety over a field $k$. For which $K$ it is known that the ("ordinary", that is, not higher) Chow groups of $X$ map onto that of $X_K$ bijectively? ...
117 views

112 views

### Log Calabi-Yau variety diffeomorphic to an algebraic torus

Let $U$ be a complex affine log Calabi-Yau variety, which I take to mean a smooth affine variety which admits a compactification in a smooth projective variety $X$ with an snc anti-canonical ...
229 views

I'm interested in stable rationality of conic bundles by means of Brauer group/unramified cohomology non-triviality, and I was wondering if there are some references for the basic properties of conic ...
218 views

### Projectivity of flops

Say I have a projective (smooth, compact) irreducible symplectic variety $X$ over $\mathbb{C}$ and I perform a Mukai flop. It is well known that if the resulting variety $\widetilde{X}$ is Kahler, it ...
116 views

### Lefschetz type theorems for linear sections

Let $X\subset\mathbb{P}^n$ be e normal variety, $L\subset\mathbb{P}^n$ a linear subspace, and $Y = X\cap L$ a linear section. Assume that $Y$ is also normal. In particular, we have that $Sing(X)$ has ...
157 views

### Conic bundles which are rational but with non-rational generic fibres

Let $n\ge 1$ be an integer and let us work over the field of complex numbers. Let $\mathcal{R}_n$ denote the set of rational conic bundles $\pi\colon X\to \mathbb{P}^n$ (morphisms such that the ...
119 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 ...
357 views

### Pseudo-effective divisor which is not nef in any birational model

Let $X$ be a smooth complex projective algebraic variety and let $D$ be a $\mathbb{Q}$-Cartier pseudo-effective divisor on $X$. Lets say that $D$ is birationally nef if there exists a birational ...
76 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 ...
105 views

538 views

### Semistable sheaves on rationally connected manifolds

Let $(X,H)$ be a polarized projective manifold of dimension $n$ defined over $\mathbb C$, and let $\mathcal E$ be a reflexive sheaf on $X$. If for every subsheaf $\mathcal F \subset \mathcal E$ the ...
112 views

### Dominant rational maps and compositions

According to many books (and also to Stack project, see https://stacks.math.columbia.edu/tag/01RI ), a morphism $f\colon X\to Y$ between schemes is said to be dominant if the image is dense in $Y$. ...
Let $X$ be a projective integral Cohen-Macaulay variety (over $\mathbb{C}$, if that makes things easier). The Cohen-Macaulay condition says that the dualizing complex (see this answer) is concentrated ...