Tri-linear birational maps in dimension three
نویسندگان
چکیده
A tri-linear rational map in dimension three is a ϕ : ( P mathvariant="double-struck">C 1 stretchy="false">) 3 stretchy="false">⇢ \phi : (\mathbb {P}_\mathbb {C}^1)^3 \dashrightarrow \mathbb {C}^3 defined by four polynomials without common factor. If alttext="phi"> encoding="application/x-tex">\phi admits an inverse negative 1"> −<!-- − ^{-1}</mml:annotation> , it birational map. In this paper, we address computational and geometric aspects about these transformations. We give characterization of birationality based on the first syzygies entries. More generally, describe all possible minimal graded free resolutions ideal generated With respect to geometry, show that set alttext="German B German i r comma right-parenthesis"> mathvariant="fraktur">B mathvariant="fraktur">i mathvariant="fraktur">r , encoding="application/x-tex">\mathfrak {Bir}_{(1,1,1)} maps, up composition with automorphism alttext="double-struck encoding="application/x-tex">\mathbb locally closed algebraic subset Grassmannian alttext="4"> 4 encoding="application/x-tex">4 -dimensional subspaces vector space polynomials, has eight irreducible components. Additionally, group action given automorphisms alttext="left-parenthesis cubed"> encoding="application/x-tex">(\mathbb {C}^1)^3 defines 19 orbits, each orbits determines isomorphism class base loci
منابع مشابه
Power Linear Keller Maps of Dimension Three
In this paper it is proved that a power linear Keller map of dimension three over a field of characteristic zero is linearly triangularizable. Let K be a field. A polynomial map F in dimension n over K is an n-tuple (F1, F2, · · · , Fn) of polynomials in K[X1, X2, · · · , Xn]. If G is another polynomial map of the same dimension, then the composition of F and G is defined by F ◦G = (F1(G1, G2, ...
متن کاملRegularity of Bounded Tri-Linear Maps and the Fourth Adjoint of a Tri-Derivation
In this Article, we give a simple criterion for the regularity of a tri-linear mapping. We provide if f : X × Y × Z −→ W is a bounded tri-linear mapping and h : W −→ S is a bounded linear mapping, then f is regular if and only if hof is regular. We also shall give some necessary and sufficient conditions such that the fourth adjoint D^∗∗∗∗ of a tri-derivation D is again tri-derivation.
متن کاملBirational Cobordisms and Factorization of Birational Maps
In this paper we develop a Morse-like theory in order to decompose birational maps and morphisms of smooth projective varieties defined over a field of characteristic zero into more elementary steps which are locallyétale isomorphic to equivariant flips, blow-ups and blow-downs of toric varieties (see Theorems 1, 2 and 3). The crucial role in the considerations is played by K *-actions where K ...
متن کاملThe Jacobian Conjecture: linear triangularization for homogeneous polynomial maps in dimension three
Let k be a field of characteristic zero and F : k → k a polynomial map of the form F = x + H, where H is homogeneous of degree d ≥ 2. We show that the Jacobian Conjecture is true for such mappings. More precisely, we show that if JH is nilpotent there exists an invertible linear map T such that T−1HT = (0, h2(x1), h3(x1, x2)), where the hi are homogeneous of degree d. As a consequence of this r...
متن کاملLinear syzygies and birational combinatorics
Let F be a finite set of monomials of the same degree d ≥ 2 in a polynomial ring R = k[x1, . . . , xn] over an arbitrary field k. We give some necessary and/or sufficient conditions for the birationality of the ring extension k[F ] ⊂ R, where R is the dth Veronese subring of R. One of our results extends to arbitrary characteristic, in the case of rational monomial maps, a previous syzygy-theor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics of Computation
سال: 2023
ISSN: ['1088-6842', '0025-5718']
DOI: https://doi.org/10.1090/mcom/3804