Abstract:We study rational hypersurfaces $\mathscr{S}$ defined as the closure of the image of a generically finite rational map $\phi:\mathscr{X}\rightarrow \mathbb{P}^{n+1}$, where $\mathscr{X}$ is an $n$-dimensional toric variety. We provide matrix representations for the implicitization of $\mathscr{S}$ that are constructed from the coefficients of linear syzygies and quadratic syzygies of the parametric equations. A central feature of our construction is the restriction of all coefficients in the Cox ring $R$ to a specific coefficient ideal $J$. In the two-dimensional case, this approach eliminates the need for $\phi$ to be locally a complete intersection at the base points, that is, the determinant of the implicitization matrix is equal to a power of the implicit equation for arbitrary base points. This result generalizes several previous results in surface implicitization.
From: Yunzhi Wang [view email]
[v1]
Sun, 31 May 2026 19:25:33 UTC (31 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。