A characteristic-free criterion of birationality (Q411738)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A characteristic-free criterion of birationality |
scientific article |
Statements
A characteristic-free criterion of birationality (English)
0 references
30 April 2012
0 references
The authors develop a purely algebraic theory at the level of graded rings of rational maps between reduced, but not necessarily irreducible, projective varieties in arbitrary characteristic. Let \(R\) be a graded \(k\)-algebra, where \(k\) is any algebraically closed field. A rational \((m+1)\)-datum of degree d on \(R\) is defined to be an ordered set of \(m+1\) forms \(\mathbf{f}=\{f_0, \dots, f_m\}\) of degree \(d\) such that \(R\) is torsion free over its subring \(k[f_0,\dots,f_m]\) and the ideal \((f_0, \dots, f_m)\) is not contained in any minimal prime ideal of \(R\). This means that the induced map \(\mathrm{Proj} R \dasharrow \mathbb{P}^m\) is defined on a dense open set. Then a numerical invariant of a rational map is introduced, called the Jacobian dual rank, with data in the Rees algebra \(\mathcal{R}(I)\), where \(I\) is the ideal of \(R\) generated by \(f_0,\dots,f_m\). It is proved that a rational map is birational if and only if the Jacobian dual rank is well defined and attains its maximal possible value. As an application of this, certain results about birational maps between projective spaces in characteristic zero are extended to any characteristic.
0 references
rational map
0 references
base ideal
0 references
Jacobian dual rank
0 references
embedding dimension
0 references
birationality criterion
0 references
Cremona map
0 references