A characteristic free criterion of birationality
arXiv:1101.0197 · doi:10.1016/j.aim.2011.12.005
Abstract
One develops {\em ab initio} the theory of rational/birational maps over reduced, but not necessarily irreducible, projective varieties in arbitrary characteristic. A numerical invariant of a rational map is introduced, called the Jacobian dual rank. It is proved that a rational map in this general setup is birational if and only if the Jacobian dual rank attains its maximal possible value. Even in the "classical" case where the source variety is irreducible there is some gain for this invariant over the degree of the map as it is, on one hand, intrinsically related to natural constructions in commutative algebra and, on the other hand, is effectively straightforwardly computable. Applications are given to results so far only known in characteristic zero. In particular, the surprising result of Dolgachev concerning the degree of a plane polar Cremona map is given an alternative conceptual angle.
24 pages
References in corpus (1)
Cited by in corpus (22)
- A blowup algebra of hyperplane arrangements
- Degree and birationality of multi-graded rational maps
- Bounds on the degrees of birational maps with arithmetically Cohen-Macaulay graphs
- Blowup algebras of rational normal scrolls
- Homology of Homogeneous Divisors
- Degree of rational maps via specialization
- RationalMaps, a package for Macaulay2
- Homaloidal nets and ideals of fat points I
- Implicitization of de Jonquières parametrizations
- Complexity Degrees of Algebraic Structures
- The Sally Modules of Ideals: A Survey
- Computations with rational maps between multi-projective varieties
- Torsion of a finite base locus
- Equigenerated ideals of analytic deviation one
- Equations defining certain graphs
- Homaloidal nets and ideals of fat points II: subhomaloidal nets
- The isomorphism problem of projective schemes and related algorithmic problems
- Collineation varieties of tensors
- The ubiquity of Sylvester forms in almost complete intersections
- Plane polar Cremona maps of arbitrarily large degree in positive characteristic
- Extremal Rees Algebras
- Degree of Rational Maps versus Syzygies