A study of nonlinear multiview varieties (Q2685358)

Let \(k\) be an arbitrary field, \(R = k[x_0, \dots, x_r]\) a standard graded polynomial ring and \(m = (x_0,\dots,x_r)\subset R\) the graded irrelevant ideal of \(R\). For each \(1\leq i\leq p\), let \({f_{i,0},f_{i,1},\dots,f_{i,m_i}}\subset R\) be a set of forms of the same degree \(\delta_i\geq 1\), \(I_i = (f_{i,0},f_{i,1},\dots,f_{i,m_i})\subset R\) the ideal generated by these forms and \(G_i : \mathbb{P}^r_k \dashrightarrow \mathbb{P}^{m_i}_k\) the \(k\)-rational map determined by \((x)\mapsto (f_{i,0}(x),f_{i,1}(x),\dots,f_{i,m_i}(x))\). Let \(G = (G_1,\dots,G_p) : \mathbb{P}^r_k \dashrightarrow \mathbb{P}^{m_1}_k \times_k \cdots \times_k \mathbb{P}^{m_p}_k\) be the rational map given by the product of \(G_1,\dots,G_p\). In the main theorems of the work, \(G\) is assumed to be generically finite. Let \(Y \subset \mathbb{P}^{m_1}_k \times_k \cdots \times_k \mathbb{P}^{m_p}_k\) be the closure of the image of \(G\). \(Y\) is called the nonlinear multiview variety associated to \(G\). If \(\delta_i = 1\) for all \(i\), then \(Y\) is the classical case of multiview varieties. \(Y\) has a \(\mathbb{Z}^p\)-grading, and instead of the classical degree, the paper studies its multidegree as a numerical invariant that provides insight into the structure and complexity of the image of the map. The main objective of the paper is to establish a relationship between geometric properties of \(Y\) and algebraic properties of some multigraded blow-up algebras, including the multigraded Rees algebra \(\mathcal{R}(I_1,\ldots,I_p) := R[I_{1}t_{1},\ldots,I_{p}t_{p}]\), multigraded special fiber \(\mathcal{F}(I_1,\ldots,I_p)\), and multigraded saturated special fiber \(\tilde{\mathcal{F}}(I_1,\ldots,I_p)\). Theorem 3.6 links the mixed multiplicities of the saturated special fiber ring with the multidegrees of \(Y\). Theorem 3.8 provides an upper bound for the multidegree of \(Y\) as \((\delta_1^{d_1} \cdots \delta_p^{d_p})/\deg(G)\). Theorem 5.5 establishes conditions under which this inequality is an equality. Finally, in section 6, the paper focuses on the case of monomial maps and determines the degree of \(Y\) in terms of a combinatorial invariant associated with the base locus of \(G\).