Abstract:We provide effective methods to construct and manipulate trilinear birational maps $\phi:(\mathbb{P}^1)^3\dashrightarrow \mathbb{P}^3$ by establishing a novel connection between birationality and tensor rank. These yield four families of nonlinear birational transformations between 3D spaces that can be operated with enough flexibility for applications in computer-aided geometric design. More precisely, we describe the geometric constraints on the defining control points of the map that are necessary for birationality, and present constructions for such configurations. For adequately constrained control points, we prove that birationality is achieved if and only if a certain $2\times 2\times 2$ tensor has rank one. As a corollary, we prove that the locus of weights that ensure birationality is $\mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1$. Additionally, we provide formulas for the inverse $\phi^{-1}$ as well as the explicit defining equations of the irreducible components of the base loci. Finally, we introduce a notion of "distance to birationality" for trilinear rational maps, and explain how to continuously deform birational maps.

Birational 2D Free-Form Deformation of Degree 1 × N

Matrix Weighted Rational Curves and Surfaces

Free-form Deformation with Weighted T-spline

Conversion of Matrix Weighted Rational Bézier Curves to Rational Bézier Curves

Dynamical degrees of birational maps from indices of polynomials with respect to blow-ups II. 3D examples

A New Free-Form Deformation Through the Control of Parametric Surfaces

Some interesting birational morphisms of smooth affine quadric 3-folds *

Degree Complexity of a Family of Birational Maps

B-Spline Free-Form Deformation of Polygonal Objects Through Fast Functional Composition

Birational maps with transcendental dynamical degree

Some interesting birational morphisms of smooth affine quadric $3$-folds

A Geometric Approach to Problems in Birational Geometry.

On Explicit Birational Geometry for Minimal N-Folds of Canonical Dimension N-1

Bijective Mapping Analysis to Extend the Theory of Functional Connections to Non-rectangular 2-dimensional Domains

Birational invariants of volume preserving maps

Construction of birational trilinear volumes via tensor rank criteria

Proper affine deformations of positive representations

Explicit Birational Geometry of 3-Folds and 4-Folds of General Type, III

Equivariant birational types and derived categories

On Explicit Birational Geometry for Minimal N$n$‐folds of Canonical Dimension N−1$n-1$

Birational Transformations on Irreducible Compact Hermitian Symmetric Spaces