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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references