Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2405.16936 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912312170905600 |
|---|---|
| author | Busé, Laurent Mazón, Pablo |
| author_facet | Busé, Laurent Mazón, Pablo |
| contents | We provide effective methods to construct and manipulate trilinear birational maps $ϕ:(\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 $ϕ^{-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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_16936 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Construction of birational trilinear volumes via tensor rank criteria Busé, Laurent Mazón, Pablo Algebraic Geometry Symbolic Computation 14E05, 14Q99, 65D17 G.0; I.1; I.6; J.6 We provide effective methods to construct and manipulate trilinear birational maps $ϕ:(\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 $ϕ^{-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. |
| title | Construction of birational trilinear volumes via tensor rank criteria |
| topic | Algebraic Geometry Symbolic Computation 14E05, 14Q99, 65D17 G.0; I.1; I.6; J.6 |
| url | https://arxiv.org/abs/2405.16936 |