# Tagged Questions

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

216 views

### Reference request on birational invariance of Chow group of zero cycles of degree zero

Let $CH_0(X)^0$ denote the group of zero cycles of degree zero modulo rational equivalence. I am looking for a reference for the following fact: If $X$ and $Y$ are smooth and projective varieties ...
83 views

### Smooth curves in Tangent Developables

Let $C\subset\mathbb{P}^n$ be a smooth curve, and let $Y\subseteq\mathbb{P}^n$ be its tangent developable. Given two general points $y_1,y_2\in Y$ does there exist a smooth curve $\Gamma\subset Y$ ...
213 views

### General fiber of a rational map

Let $f:X\dashrightarrow Y$ be a rational map, where $X,Y$ are reduced and irreducible varieties over a field of characteristic zero. Is the general fiber of $f$ always reduced? Is this true if we ...
72 views

### GKZ decomposition for spherical varieties

If $X$ is a complete toric variety the GKZ decomposition of the effective cone $Eff(X)$ of $X$ corresponds to its Mori Chamber Decomposition, and therefore it encodes the birational geometry of $X$. ...
260 views

### How to Construct a ''Nice'' Birational Model in Characteristic $p>0$?

Let $X={\rm Spec} A$ be a normal affine variety of dimension $n$ over an algebraically closed field $k$ of characteristic $p>0$. Also, assume that $S\subset X$ is a prime Weil-divisor on $X$. Now,...
213 views

### On factorization theorem of toric birational morphisms

Let $X_{Σ′}\to X_{Σ}$ be a toric birational morphism between smooth and complete toric varieties induced by a regular subdivision $Σ′\leq Σ$, i.e. every cone in $Σ′$ is contained in a cone in $Σ$ and ...
59 views

### Psi-classes on moduli spaces of weighted curves

Let $\overline{\mathcal{M}}_{g,A[n]}$ be the stack of weighted genus $g$ curves with weights $A[n]=(a_1,...,a_n)$, and let $\pi:\mathcal{C}\rightarrow \overline{\mathcal{M}}_{g,A[n]}$ be the universal ...
147 views

### Methods of showing a variety is stably rational

As anyone who follows the algebraic geometry tag on arXiv will probably know, there has been a lot of papers recently showing various varieties are non-stably rational. What I am interested in however ...
187 views

99 views

270 views

### A question on young persons guide to canonical singularities

In the Corollary at pag 407 of Young persons guide to canonical singularities there is a formula to compute the contributions $c_q(D)$ to Riemann-Roch of a divisor $D$ passing through a point $q\in X$,...
636 views

### Resolution of the indeterminacy locus of a rational map away from an irreducible component

Suppose I have a rational map between two smooth, complex, projective varieties (or a meromorphic map between two compact, complex, manifolds) $X$ and $Y$. Ordinarily one eliminates the indeterminacy ...
72 views

### Endomorphism of Chow goup induced by a birational map

Let $\phi:X\dashrightarrow Y$ be a birational map between smooth projective $k$-varieties ($k=\bar k$) and $\Gamma$ be the closure of the graph of $\phi$. In Fulton's intersection theory example 16.1....
61 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 ...
154 views

### Standard techniques on rationally connected varieties

Is there some standard technique or approach to determine when a (irreducible) subvariety of a rationally connected variety is again rationally connected? Any reference/text dealing with this kind of ...
185 views

225 views

### Fibrations on blow-ups of $\mathbb{P}^2$

Let $X_n = Bl_{p_1,...,p_n}\mathbb{P}^2$ be the blow-up of $\mathbb{P}^2$ in $n$ general points $p_1,...,p_n\in\mathbb{P}^2$. Let $f_i:\mathbb{P}^{2}\dashrightarrow\mathbb{P}^1$ be the linear ...
298 views

### pull back of an ample line bundle under a blow up

Suppose $\mu:X\rightarrow Y$ is a blow up of a smooth irreducible subvariety $Z$ of $Y$. Let $L$ be an ample line bundle on $Y$. Let $E$ be the exceptional divisor of $f$. Is it true that there ...
227 views

### On the number of irreducible components of an exceptional divisor

Let $X$ be a complex, affine variety and $Z\subseteq X$ a closed subset of $X$ (i.e. a closed, reduced subscheme). Let $E$ be the exceptional divisor of the blow-up $\pi:\tilde X\to X$ of $X$ with ...
374 views

### What is $h^0(\mathcal O_F)$ where $F$ is a fiber of a normal surface over a smooth curve?

Lately I am studying the bend-and-break, and I follow the proof in the following note written by Olivier Debarre: http://www.math.ens.fr/~debarre/M2.pdf There is a detail that I just cannot go ...
386 views

### Why are the different definitions of minimal model equivalent?

I'm starting to learn the minimal model program. It seems there are two definitions for a variety $X$ with only terminal singularities to be minimal: $K_X$ is nef. Every birational morphism from $X$ ...
147 views

### Graded ring of a genus 2 curve

Let $X$ be a smooth projective complex curve of genus 2 with canonical divisor $K$. $X$ of course is hyperelliptic and has an involution that I denote by $j$. There exists 3 possibilities for ...