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
13
votes
0answers
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 ...
12
votes
0answers
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?...
12
votes
0answers
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 ...
10
votes
0answers
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$ ...
10
votes
0answers
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 ...
9
votes
0answers
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 ...
9
votes
0answers
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 ...
8
votes
0answers
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? ...
8
votes
0answers
117 views

Maximally nodal degree 6 Fano threefolds

Let $X$ be a complete intersection of a quadric and a cubic in $\mathbb{P}^5$. In the smooth case it is a so-called Fano threefold of index one and degree six. I would like to consider the case when $...
8
votes
0answers
156 views

How do I make the components of a Cartier divisor again Cartier divisors?

Let $D$ be an effective Cartier divisor on a normal noetherian scheme $X$. Its irreducible components are codimension $1$ subschemes, i.e. Weil divisors, of $X$ but not necessarily Cartier divisors. I ...
8
votes
0answers
332 views

Status of the Sarkisov program a la Corti

To a birational map $f$ between Mori fiber spaces, one can associate the "Sarkisov degree", a triple $(\mu,\lambda,e)$ which I will not define here. To factor $f$ into a sequence of elementary ...
8
votes
0answers
197 views

On a paper of Formanek about $PGL_4$

In his paper "The center of the ring of 4 × 4 generic matrices" (Journal of Algebra, 1980) Formanek shows that, if $V$ is the representation of $PGL_4$ given by simultaneous conjugation of pairs of ...
8
votes
0answers
195 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, \...
7
votes
0answers
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 ...
7
votes
0answers
229 views

References about conic bundles

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 ...
7
votes
0answers
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 ...
6
votes
0answers
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 ...
6
votes
0answers
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 ...
6
votes
0answers
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 ...
6
votes
0answers
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 ...
5
votes
0answers
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 ...
5
votes
0answers
105 views

The structure of the Hilbert scheme of conics contained in hypersurfaces in $\mathbb P^3$

We work over a field of characteristic $0$. Let $X\hookrightarrow\mathbb P^3$ be a geometrically integral hypersurface of degree $\delta$. It is well known that the Hilbert scheme of conics in $\...
5
votes
0answers
132 views

Steps of the MMP “in family”

Let $\pi\colon X\to Y$ be a morphism between irreducible varieties with terminal singularities (let us say smooth if you want). I suppose that I have an open subset $U$ of $Y$ over which the fibres ...
5
votes
0answers
142 views

Jacobian fibration of an abelian fibration

Let $f \colon S \rightarrow C$ be a minimal elliptic surface and let $g \colon J \rightarrow C$ be its jacobian fibration. In this case, we know that the fibers of $g$ are better behaved that the ones ...
5
votes
0answers
115 views

Unirationality of universal Jacobian over special strata of moduli space of pointed genus 3 curves

Let $M_{3,1}$ be the (coarse, non-compactified) moduli space of genus $3$ curves with a marked point over a field $k$ of characteristic zero. Throwing away the hyperelliptic curves, take the open ...
5
votes
0answers
144 views

“Reflexive” differentials on Gorenstein affine toric variety

Let $P \subset \mathbb{R}^{n-1}$ be a lattice polytope of dimension $n-1$ and let $\sigma \subset \mathbb{R} \times \mathbb{R}^{n-1}$ be the cone over $1 \times P$. To the cone $\sigma$, we may ...
5
votes
0answers
295 views

When does a Cartier divisor a pull-back of a Cartier divisor?

Suppose $f: Y \to X$ is a projective birational morphism between two varieties with mild singularities. For example, we can assume $X$ is normal and kawamata log terminal, $Y$ is $\mathbb Q$-factorial....
5
votes
0answers
167 views

In search for examples concerning pushforward of nef divisors and lc-trivial fibrations

My question is motivated by ideas around the moduli b-divisor of an lc-trivial fibration (see for instance the following paper by Ambro https://arxiv.org/pdf/math/0308143.pdf). In such a setup, one ...
5
votes
0answers
202 views

Description of flop as graded algebra

I am looking for an example of a flop $Y \to X \leftarrow W$, possibly with exceptional locus at least a $\mathbb{P}^2$, where $X = \text{Spec } A$ is affine and $Y,W$ can be described as explicit ...
5
votes
0answers
596 views

Restriction of the Canonical Divisor $K_X$ to a general fiber

Let $\ f:X\to Z$ be a surjective morphism between two smooth projective varieties with connected fibers $(f_*\mathcal{O}_X=\mathcal{O}_X)$. Let $F$ be a general fiber of $f$ and $\mbox{dim } F<(\...
5
votes
0answers
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 ...
4
votes
0answers
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$. ...
4
votes
0answers
145 views

When is the dualizing sheaf globally generated?

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 ...
4
votes
0answers
108 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:...
4
votes
0answers
102 views

Are there any explicit (prime-to-l) alterations for interesting varieties (or schemes)?

I have read that it is easier to find regular alterations of varieties than their resolutions of singularities (moreover, I believed in this sentence when I read it). My question is: do there exist ...
4
votes
0answers
66 views

Behavior of geometric fibers under strict transforms

Consider a digram of the form $$ \begin{array}{ccc} Z' & \rightarrow & Z \\ \downarrow & & \downarrow \\ X' & \rightarrow & X \\ \downarrow & & \downarrow \\ S' &...
4
votes
0answers
229 views

Complete intersections in projective spaces

Let $X$ be an arbitrary smooth projective variety over a field $k$. Do there exist: a smooth complete intersection $X'$ in a projective space. a surjective morphism of $k$-varieties $X'\to X$ ?
4
votes
0answers
335 views

Pullback of the canonical bundle

Let $f : X\to Y$ be a morphism of smooth projective varieties over a field $k$. Assume $f^*\omega_{Y/k} \simeq \omega_{X/k}$. I'd like to collect a bestiary of the properties $f$ has, or even ...
4
votes
0answers
178 views

Singularities of Viehweg's fiber product

Let $f:X\to Y$ be a fibration between smooth projective manifolds. Assume that $\Delta$ is a simple normal crossing divisor in $Y$ such that $f^*(\Delta)$ is normal crossing in $X$, and $$ f_0:X_0=f^{...
4
votes
0answers
154 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 ...
4
votes
0answers
105 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 ...
4
votes
0answers
69 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 ...
4
votes
0answers
372 views

What is the fundamental group of Kontsevich's space of stable maps?

... at least in the case where the target is a rationally connected variety. This question is a follow-up to question Constructing embedded families of curves with general moduli and Jason Starr's ...
4
votes
0answers
331 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 ...
4
votes
0answers
138 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 ...
4
votes
0answers
69 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 ...
4
votes
0answers
185 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 ...
4
votes
0answers
139 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 ...
4
votes
0answers
617 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, ...
3
votes
0answers
97 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 ...