
arXiv: 2203.00656
A tri-linear rational map in dimension three is a rational map ϕ : ( P C 1 ) 3 ⇢ P C 3 \phi : (\mathbb {P}_\mathbb {C}^1)^3 \dashrightarrow \mathbb {P}_\mathbb {C}^3 defined by four tri-linear polynomials without a common factor. If ϕ \phi admits an inverse rational map ϕ − 1 \phi ^{-1} , it is a tri-linear birational map. In this paper, we address computational and geometric aspects about these transformations. We give a characterization of birationality based on the first syzygies of the entries. More generally, we describe all the possible minimal graded free resolutions of the ideal generated by these entries. With respect to geometry, we show that the set B i r ( 1 , 1 , 1 ) \mathfrak {Bir}_{(1,1,1)} of tri-linear birational maps, up to composition with an automorphism of P C 3 \mathbb {P}_\mathbb {C}^3 , is a locally closed algebraic subset of the Grassmannian of 4 4 -dimensional subspaces in the vector space of tri-linear polynomials, and has eight irreducible components. Additionally, the group action on B i r ( 1 , 1 , 1 ) \mathfrak {Bir}_{(1,1,1)} given by composition with automorphisms of ( P C 1 ) 3 (\mathbb {P}_\mathbb {C}^1)^3 defines 19 orbits, and each of these orbits determines an isomorphism class of the base loci of these transformations.
Computational aspects and applications of commutative rings, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], projective space, [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], Rees ideal, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), Syzygies, resolutions, complexes and commutative rings, multiprojective space, [MATH.MATH-AC] Mathematics [math]/Commutative Algebra [math.AC], birational map, Mathematics - Algebraic Geometry, Projective techniques in algebraic geometry, tri-linear birational map, syzygy, FOS: Mathematics, Rational and birational maps, Algebraic Geometry (math.AG)
Computational aspects and applications of commutative rings, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], projective space, [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], Rees ideal, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), Syzygies, resolutions, complexes and commutative rings, multiprojective space, [MATH.MATH-AC] Mathematics [math]/Commutative Algebra [math.AC], birational map, Mathematics - Algebraic Geometry, Projective techniques in algebraic geometry, tri-linear birational map, syzygy, FOS: Mathematics, Rational and birational maps, Algebraic Geometry (math.AG)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
