尼科拉斯·博特波尔;艾丽西娅·迪肯斯坦 通过线性合成隐式化有理超曲面：实用概述。 （英语） Zbl 1375.14199号 J.塞姆。计算。 74, 493-512 (2016). 总结：根据定义参数化的多项式中的单项式，我们具体地揭示了基于syzygy的有理曲面隐式化算法的一般机制，并遵循和扩展了我们与M.Dohm的联合文章。这些代数技术基于J.Herzog、A.Simis和W.Vasconcelos提出的近似复形理论，由J.-P.Jouanolou、L.Busé和M.Chardin为隐式化问题引入。他们的工作受到了T.Sederberg和F.Chen提出的移动曲线的实用方法的启发，该方法被D.Cox翻译成syzygies语言。我们的目的是将理论结果和结果算法表示为非常具体的术语，避免使用证明它们所需的高级同调交换代数工具。 引用于8文件 MSC公司： 2005年第14季度 代数曲线的计算方面 2013年02月 Syzygies，resolutions，复数和交换环 65D18天 计算机图形学、图像分析和计算几何的数值方面 关键词：隐含化;有理曲面;糖浆;矩阵表示法;稀疏多项式 软件：单一;麦考利2 PDF格式BibTeX公司 XML格式引用 \textit{N.Botbol}和\textit{A.Dickenstein}，J.Symb。计算。74493--512（2016年；Zbl 1375.14199） 全文： 内政部 arXiv公司 参考文献： [1] 威廉·A·阿德金斯。；杰罗姆·W·霍夫曼。；王浩浩，基于syzygies的参数曲面方程，J.Symb。计算。，39, 1, 73-101 (2005) ·Zbl 1120.14051号 [2] 达维迪·A·阿鲁利亚。；罗伯特·M·科尔利斯（Robert M.Corless）。；Laureano Gonzalez-Vega；Shakoori，Azar，拉格朗日基中Bezout矩阵的几何应用，（2007符号数值计算国际研讨会论文集（2007），美国计算机学会），55-64 [3] Botbol，Nicolás，《隐式化问题》（Ph:P^n\dashrightarrow（P^1）^{n+1}），《代数杂志》，322，11，3878-3895（2009）·Zbl 1185.14008号 [4] Botbol，Nicolás，计算二次有理曲面隐式方程的算法（2010） [5] Botbol，Nicolás，有理映射的压缩及其图像的隐式方程，J.Pure Appl。代数，215，5，1053-1068（2011）·Zbl 1239.14004号 [6] Botbol，Nicolás，多重格次超曲面的隐式方程，代数杂志，348，1381-401（2011）·Zbl 1242.14049号 [7] 尼科拉斯·博特波尔；Chardin，Marc，Castelnuovo-Mumford关于多级理想的正则性，J.代数（2015）·Zbl 1368.13019号 [8] 尼科拉斯·博特波尔；Dom，Marc，从曲面计算参数化隐式方程的软件包（2010） [9] 尼科拉斯·博特波尔；艾丽西娅·迪肯斯坦；Dom，Marc，复曲面参数化的矩阵表示，计算。辅助Geom。设计。，26, 7, 757-771 (2009) ·兹比尔1205.65070 [10] 尼科拉斯·博特波尔；巴塞，劳伦特；Marc Chardin，《曲面参数化的拟合理想和多点》，《J.代数》，420486-508（2014）·Zbl 1317.14084号 [12] Busé，Laurent，有理Bézier曲线和曲面的隐式矩阵表示，计算。辅助设计。，46，14-24（2014），2013{SIAM}几何和物理建模会议 [13] 巴塞，劳伦特；Chardin，Marc，使用近似复数隐式有理超曲面，J.Symb。计算。，40, 4-5, 1150-1168 (2005) ·Zbl 1120.14052号 [14] 巴塞，劳伦特；D'Andrea，Carlos，有理平面曲线的奇异因子，《代数杂志》，357322-346（2012）·Zbl 1261.14032号 [15] 巴塞，劳伦特；Dom，Marc，通过线性合成隐式化代数曲面的双齐次参数化，（ISSAC 2007（2007），ACM:ACM纽约），69-76·Zbl 1190.14063号 [16] 巴塞，劳伦特；Jouanolou，Jean-Pierre，《有理映射的闭像与隐式问题》，《代数杂志》，265，1，312-357（2003）·Zbl 1050.13010号 [17] 巴塞，劳伦特；大卫·A·考克斯（David A.Cox）。；D'Andrea，Carlos，存在基点时（P^3）中曲面的隐式化，J.代数应用。，2, 2, 189-214 (2003) ·Zbl 1068.14066号 [18] 巴塞，劳伦特；马克·查丁（Marc Chardin）；Jouanolou，Jean-Pierre，对称代数的扭转和隐式化，Proc。美国数学。Soc.，137，6，1855-1865（2009）·Zbl 1167.13008号 [19] 巴塞，劳伦特；马克·查丁（Marc Chardin）；Simis，Aron，Rees代数的消元和非线性方程，J.Algebra，324，6，1314-1333（2010），Joseph Oestelé的法语附录·Zbl 1210.13008号 [20] Chardin，Marc，使用近似复数的隐式化，（代数几何和几何建模。代数几何和几何学建模，数学视觉。（2006），施普林格：施普林格-柏林），23-35·Zbl 1116.14049号 [21] 陈法来；大卫·A·考克斯（David A.Cox）。；Liu，Yang，有理参数曲面的\（μ）-基和隐式化，J.Symb。计算。，39, 6, 689-706 (2005) ·Zbl 1120.14054号 [22] Chionh，Eng-Wee；Goldman，Ronald N.，使用u-结果的有理曲面的次数、多重性和反演公式，计算。辅助Geom。设计。，9、2、93-108（1992年6月）·Zbl 0756.65011号 [23] （科尔索、阿尔贝托；Polini，Claudia，交换代数及其与几何的联系。交换代数及其与几何的联系，泛美高等研究院，2009年8月3日至14日，巴西奥林达伯南布哥联邦大学。交换代数及其与几何的联系。交换代数及其与几何的联系，泛美高等研究院，2009年8月3日至14日，巴西奥林达伯南布哥联邦大学，康斯坦普。数学。，第555卷（2011），美国数学学会）·Zbl 1226.13001号 [24] Cox，David A.，通过syzygies的参数曲线和曲面方程，（符号计算：求解代数、几何和工程中的方程）。符号计算：解决代数、几何与工程中的方程式，马萨诸塞州南哈德利，2000年。符号计算：解决代数、几何和工程中的方程。数学。，第286卷（2001年），美国。数学。Soc.：美国。数学。佛罗里达州普罗维登斯Soc.Providence），1-20·Zbl 1009.68174号 [25] Cox，David A.，《曲线、曲面和syzygies》，（代数几何和几何建模主题。代数几何和几何学建模主题，环境数学，第334卷（2003年），Amer。数学。Soc.：美国。数学。佛罗里达州普罗维登斯市），131-150·Zbl 1058.14072号 [26] 大卫·A·考克斯，什么是复曲面品种？，（代数几何和几何建模专题。代数几何和几何学建模专题，《当代数学》，第334卷（2003年），美国。数学。Soc.：美国。数学。Soc.Providence，RI），203-223年·Zbl 1038.14021号 [27] 大卫·A·考克斯（David A.Cox）。；利特尔，约翰·B。；O'Shea，Donal，《使用代数几何》，《数学研究生教材》，第185卷（1998年），Springer-Verlag:Springer-Verlag纽约·Zbl 0920.13026号 [28] 大卫·A·考克斯（David A.Cox）。；塞德伯格（Thomas W.Sederberg）。；陈法来，平面有理曲线的动线理想基础，计算。辅助Geom。设计。，15, 8, 803-827 (1998) ·Zbl 0908.68174号 [29] 大卫·A·考克斯（David A.Cox）。；小约翰·B。；Schenck，Henry K.，Toric Varieries（2011），美国数学学会（AMS）：美国数学学会，普罗维登斯，RI·Zbl 1223.14001号 [30] 考克斯，大卫·A。；安德鲁·库斯廷（Andrew R.Kustin）。；Polini，Claudia；Ulrich，Bernd，《通过syzygies研究有理曲线上的奇点》，Mem。美国数学。Soc.，2221045（2013）·Zbl 1305.14014号 [31] D'Andrea，Carlos，Resultants and moving surfaces，J.Symb。计算。，31, 5, 585-602 (2001) ·Zbl 1008.65010号 [32] 沃尔夫拉姆·戴克（Wolfram Decker）；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；舍内曼、汉斯、，单一3-1-6-用于多项式计算的计算机代数系统（2012） [33] Diaz-Toca，Gema M。；马里奥·菲奥拉万蒂；Laureano Gonzalez-Vega；Shakoori，Azar，使用参数曲线和曲面的隐式方程而不进行计算：多项式代数值，计算。辅助Geom。设计。，30, 1, 116-139 (2013) ·Zbl 1255.65048号 [34] Dietz，Ulrich，创建公平的b样条曲面圆角，（创建公平和保形的曲线和曲面（1998），BG Teubner:BG Teubner Stuttgart），2（3），8·Zbl 0927.65025号 [35] Dixon，Albert L.，《两个自变量中三个量子化的消去》，Proc。伦敦。数学。社会学，S2-7，1，49（1908） [36] 埃哈特、尤金、《宗教问题研究》（Sur un problem de géométrie diophantiene linéaire ii）、J.雷恩·安格尔（J.Reine Angew）。数学。，227、25，第C49条pp.（1967）·Zbl 0155.37503号 [37] David Eisenbud，《即时消除、理想的力量和奥伯沃尔巴赫的例子》，奥伯沃尔巴赫众议员，1716-1718（2004） [38] 威廉·富尔顿（William Fulton），《托利函数多样性导论》，《数学研究年鉴》，第131卷（1993），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿，威廉·罗弗几何讲座·Zbl 0813.14039号 [39] Gel'fand，Israel M。；米哈伊尔·卡普兰诺夫（Mikhail M.Kapranov）。；Zelevinsky，Andrei V.，《判别、结果和多维决定因素》。数学：理论与应用（1994），Birkhäuser Boston Inc.：Birkháuser波士顿Inc.马萨诸塞州波士顿·Zbl 0827.14036号 [41] Didier Henrion；Michael Sebek，《多项式矩阵三角化的可靠数值方法》，IEEE Trans。自动。控制，44，3，497-508（1999）·Zbl 0956.65036号 [42] 赫尔佐格（Jürgen Herzog）；阿隆·西米斯；Vasconcelos，Wolmer V.，爆破环的近似复数，J.代数，74,2466-493（1982）·Zbl 0484.13006号 [43] 赫尔佐格（Jürgen Herzog）；阿隆·西米斯；Vasconcelos，Wolmer V.，爆破环的近似复合物。二、 《代数杂志》，82，1，53-83（1983）·Zbl 0515.13018号 [44] 赫尔佐格（Jürgen Herzog）；阿隆·西米斯；Vasconcelos，Wolmer V.，Koszul同调与爆破环，（交换代数，交换代数，Trento，1981）。交换代数。交换代数，特伦托，1981年，《纯粹与应用讲义》。数学。，第84卷（1983），德克尔：德克尔纽约），79-169·Zbl 0499.13002号 [45] 希尔伯特，大卫，尤伯，《代数理论》，《数学》。安，36，4，473-534（1890） [46] 威廉·霍夫曼。；王浩浩；贾晓红；Goldman，Ron，类型\（（1，1，d-2）\）有理空间曲线Rees代数的极小生成元，Eur.J.Pure Appl。数学。，3, 4, 602-632 (2010) ·Zbl 1209.14049号 [47] 霍夫曼，克里斯托夫，《几何实体建模：简介》（1989），摩根考夫曼出版社 [48] 贾晓红；Goldman，Ron，《有理平面曲线的基和奇点》，计算。辅助Geom。设计。，26, 9, 970-988 (2009) ·兹比尔1205.14033 [49] 贾晓红；王浩浩；Goldman，Ron，《有理空间曲线的理论生成器》，J.Symb。计算。，45, 4, 414-433 (2010) ·Zbl 1184.14052号 [50] 阿米特·科坦；D'Andrea，Carlos，使用复曲面变种的有理曲面的隐式化，《代数杂志》，303,2543-565（2006）·Zbl 1115.14028号 [51] 迪内什·马诺查；John Canny，《曲面相交的新方法》，（第一届ACM实体建模基础和CAD/CAM应用研讨会论文集。第一届ACM实体建模基础与CAD/CAM应用研讨会文献集，SMA’91（1991），ACM：美国纽约州纽约市ACM），209-219·兹比尔0757.68095 [52] Meyer，Franz，Zur Theorye der Reducibeln Ganzen Functionen von（n）Variabeln，数学。年鉴，30，1，30-74（1887） [53] George Salmon，《关于三维解析几何的论文》（1958年），切尔西出版公司：纽约切尔西出版公司，（1862年）。R.A.P.Rogers修订。第7版，第1卷。C.H.Rowe编辑 [54] 汤姆·塞德伯格（Tom Sederberg）；Chen，Falai，使用移动曲线和曲面的隐式化，30330-308（1995） [55] 雅各布·斯坦纳（Jakob Steiner），《阿布汉吉基特几何学家体系》（Systematische Entwicklung der Abhangigkeit geometrischer Gestalten von einander）（1832），芬克 [56] 斯图尔姆费尔斯（Sturmfels，Bernd）；Yu，Jie Tai，最小多项式和稀疏结果，（零维方案。零维方案，Ravello，1992（1994），de Gruyter:de Gruypter Berlin），317-324·Zbl 0828.12008号 [57] Thang，Luu Ba；巴塞，劳伦特；Mourrain，Bernard，通过矩阵表示的曲线/曲面相交问题，（2009年符号数字计算会议论文集（2009），ACM），71-78·Zbl 1356.65060号 [58] 王旭辉；Chen，Falai，使用运动曲面的Steiner曲面的隐式化、参数化和奇异性计算，J.Symb。计算。，47, 1, 733-750 (2012) ·兹比尔1245.65021 [59] 郑建民；塞德伯格（Thomas W.Sederberg）。；Chionh，Eng-Wee；Cox，David A.，《使用移动曲面方法隐式有理曲面与基点》，（《代数几何与几何建模专题》，《代数几何和几何建模专题，上下文数学》，第334卷（2003年），Amer。数学。Soc.：美国。数学。Soc.Providence，RI），151-168年·Zbl 1058.14074号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。