The implicit equation of a multigraded hypersurface (Q411780): Difference between revisions

The author analyzes the implicitization problem of the image of a finite rational map \(\phi: \mathcal{X} \dashrightarrow \mathbb{P}^{n}\), where \(\mathcal{X}\) is a non-degenerate toric variety over a field \(K\) of dimension \(n-1\). Let \(R\) be the Cox ring of \(\mathcal{X}\) and \(\mathrm{Cl}(\mathcal{X})\) the divisor group of \(\mathcal{X}\). Assume that \(\phi\) is defined by \(n+1\) homogeneous elements \(f_{0},\dots,f_{n} \in R\) and write \(I=(f_{0},\dots,f_{n})\) for the homogeneous \(R\)-ideal generated by the \(f_{i}\). The author provides under suitable assumptions, resolutions \(\mathcal{Z}_{\bullet}\) for the symmetric algebra \(\mathrm{Sym}_{R}(I)\) graded by \(\mathrm{Cl}(\mathcal{X})\) such that the determinant of a graded strand, \(\det((\mathcal{Z}_{\bullet})_{\mu})\), gives a multiple of the implicit equation, for suitable \(\mu \in \mathrm{Cl}(\mathcal{X})\). Indeed, he computes a region in \(\mathrm{Cl}(\mathcal{X})\) which depends on the regularity of \(\mathrm{Sym}_{R}(I)\) where to choose \(\mu\). Furthermore, he gives a geometrical interpretation of the possible other factors appearing in \(\det((\mathcal{Z}_{\bullet})_{\mu})\). A detailed description is given when \(\mathcal{X}\) is a multiprojective space.