Linear Precision of Toric Bezier Patches and Volumes
Status Partially solved · unsolvedmath.comLLM status Open unverified
Top Open Problems Not reported cataloguedPartially solvedOpenStatement
Definitions and mathematical statement
The supplied record poses three classification questions, but does not specify all the data needed for a unique mathematical formulation.For the elementary meaning of linear precision, let $d\geq 1$, let $A\subset{\mathbb{R}}^d$ be a finite set, and let $D\subset{\mathbb{R}}^d$ be a parameter domain. Suppose that functions $\lambda_a:D\to{\mathbb{R}}$, indexed by $a\in A$, satisfy \[ \sum_{a\in A}\lambda_a(x)=1\qquad(x\in D). \] Such functions have linear precision if \[ \sum_{a\in A}a\,\lambda_a(x)=x\qquad(x\in D). \] Equivalently, they reproduce every affine function: \[ \forall c\in{\mathbb{R}}\;\forall v\in{\mathbb{R}}^d\;\forall x\in D, \qquad \sum_{a\in A}(c+v\cdot a)\lambda_a(x)=c+v\cdot x. \] This explains the affine reproduction property; it does not supply the missing definition of the toric blending functions or the admissible domains in the source question. In particular, the source does not specify whether a precision identity must hold on the entire patch domain, including its boundary, or only where the defining expressions are defined.
For a field $k$, a birational self-map of projective three-space is a rational map \[ f:{\mathbb{P}}^3_k\dashrightarrow{\mathbb{P}}^3_k \] for which there is a rational map $g:{\mathbb{P}}^3_k\dashrightarrow{\mathbb{P}}^3_k$ satisfying \[ g\circ f=\operatorname{id}_{{\mathbb{P}}^3_k},\qquad f\circ g=\operatorname{id}_{{\mathbb{P}}^3_k} \] as rational maps, hence on appropriate dense open subsets. Here $k$ is a placeholder: the source does not choose a field or its characteristic.
Requested classifications. The supplied statement asks:
- Which toric Bezier patches have linear precision?
- Which toric Bezier volumes have rational linear precision?
- How can birational maps of projective $3$-space be classified?
Short English statement
The problem asks for classifications of toric Bezier patches with linear precision, toric Bezier volumes with rational linear precision, and birational maps of projective three-space. Linear precision means reproducing affine coordinates through the blending functions. The admissible toric data, the meaning of rational linear precision, and the field and classification criterion for projective maps require clarification.Sources
- Supplied local UnsolvedMath registry record, permanent ID $30002863$, source code
catalogue entry, in the Oberwolfach Reports Open Problems collection. The local registry isdata/unsolvedmath/problems.json, with additional existing records maintained incatalog/problems.json. This draft uses the supplied record; it does not claim independent inspection of those files. - Supplied source citation: Multivariate Splines and Algebraic Geometry (2016), Oberwolfach Reports, DOI 10.4171/owr/2015/21, pp. 1139--1200. https://doi.org/10.4171/owr/2015/21. The literature-source list labels this reference "Oberwolfach Report 21." The record gives proposed year 2015 and names no individual proposer. The relationship between that year and the citation's parenthetical 2016 requires verification.
- Supplied literature reference: Linear Precision for Toric Surface Patches. https://doi.org/10.1007/s10208-009-9052-6.
- Supplied literature reference: Families of Polytopes with Rational Linear Precision. https://doi.org/10.1007/s10208-022-09583-7.
- Literature assessment dated
2026-08-21: the supplied curation labels the problem partially solved and reports classifications of linear-precision toric surface patches in important cases, known higher-dimensional families with rational linear precision, and an incomplete requested general classification in dimension three. This is supplied dated curation derived from the OWR record, not an independently verified mathematical or current literature assessment. The record also labels its statement exact and retained byte-for-byte; that is a supplied transcription assessment and does not resolve the formulation issues above.
Statement licence: CC-BY-SA-4.0 · Source file
Contributions 0
No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.