托拜厄斯·贝克 曲面的形式化设计：重温Jung方法。 （英语） Zbl 1156.14012号 J.塞姆。计算。 44，第2期，131-160（2009）. 在现代代数几何中，变量的构造性去角化（特征零点）是一个非常重要的工具，但不幸的是，对于一般情况（即任意维）的实现受到构造本身的高计算复杂性的影响。在曲线和曲面的情况下，当Hironaka在20世纪60年代证明了他关于特征零点中奇点的分辨率存在的著名结果时，其他方法已经为人所知，但在证明了一般情况后，这些方法不再是人们关注的中心。这里的重要例外是曲线情况，其中Newton-Puseux展开在局部提供了所需的数据，并成功应用于许多实际目的。在本文中，作者基于这些考虑，利用Jung（局部）方法解决曲面奇异性问题，研究了特征零域上（{mathbbP}^3）超曲面的去角化。为此，他首先讨论了他工作的正式环境，并发展了Jung的结构，使其能够为其各种子任务提供明确的（先验理论）算法。为了将这些考虑转化为一种实现，他接着讨论了多元代数幂级数的实际方面，并给出了一个新的证明，即有理Puiseux参数化的概念可以推广到多元拟常多项式。在文章的最后，作者还提到了他在MAGMA中实现所述算法的性能及其可用性，以及获得沿这些线的分辨率的对偶图仍然存在的问题。审核人：Anne Frühbis-Krüger（汉诺威） 引用于1文件 理学硕士： 14E15号机组 奇点的整体理论和解析（代数几何方面） 关键词：奇异点的分解;表面去角化;代数幂级数;Jung算法;Hirzebruch-Jung设计;去角化;表面 软件：brnoeth.lib号;岩浆;单一;设计 PDF格式BibTeX公司 XML格式引用 \textit{T.Beck}，J.Symb。计算。44，第2号，131--160（2009；Zbl 1156.14012） 全文： 内政部 arXiv公司 参考文献： [1] 阿隆索，M.E。；莫拉·T。；Raimondo，M.，代数幂级数的计算模型，J.Pure Appl。代数，77，1，1-38（1992）·Zbl 0749.13017号 [2] 阿提亚，M.F。；麦克唐纳，I.G.，《交换代数导论》（1969），Addison-Wesley出版社：Addison-Whesley出版社，马萨诸塞州雷丁，伦敦，唐·米尔斯，安大略·Zbl 0175.03601号 [3] Beck，T.，Schicho，J.，2005年3月。分次环中的近似根。Johann Radon计算和应用数学研究所技术代表2005-03，在线访问：http://www.ricam.oeaw.ac.at/publications/reports网站; Beck，T.，Schicho，J.，2005年3月。分次环中的近似根。Johann Radon计算和应用数学研究所技术代表2005-03，在线访问：http://www.ricam.eaw.ac.at/publications/reports [4] 贝林格，F。；Richard-Jung，F.，《多元多项式和Newton-Puiseux展开式》，（符号和数值科学计算（Hagenberg，2001）。符号和数值科学计算（Hagenberg，2001），《计算讲义》。科学。，第2630卷（2003），《施普林格：柏林施普林格》，240-254·Zbl 1027.65064号 [5] 比尔斯通，E。；Milman，P.D.，奇点正则分解的简单构造性证明，（代数几何中的有效方法（Castiglioncello，1990）。代数几何中的有效方法（Castiglionselo，1990），Progr。数学。，第94卷（1991年），Birkhä用户波士顿：Birkhá用户波士顿，马萨诸塞州），11-30·Zbl 0743.14012号 [6] 博德纳，G。；Schicho，J.，奇点解析的计算机程序，（奇点解析（Obergorgl，1997）。奇点的解决（Obergurgl，1997），Progr。数学。，第181卷（2000年），Birkhäuser:Birkháuser Basel），231-238·Zbl 0982.14032号 [7] 博德纳，G。；Schicho，J.，奇异点解析的两种计算技术，J.符号计算。，32, 1, 39-54 (2001) ·Zbl 1049.14005号 [8] 博斯马，W。；坎农，J。；Playout，C.，《岩浆代数系统》。I.用户语言，计算代数和数论（伦敦，1993）。计算代数与数论（伦敦，1993），符号计算杂志。，24, 3-4, 235-265 (1997) ·Zbl 0898.68039号 [9] 坎皮略，A。；Farrán，J.I.，《象征性汉堡——平面曲线的其他表达式及其在AG代码中的应用》，《数学》。公司。，71、240、1759-1780（2002），电子版·兹伯利1015.14032 [10] Cossart，V。；Giraud，J。；Orbanz，U.，（《表面奇点的解析》，《表面奇性的解析》（Resolution of Surface Singularities），数学讲义，第1101卷（1984），《Springer-Verlag:Springer-Verlag Berlin》），附H.Hironaka的附录·Zbl 0553.14003号 [11] Cox，D.A.，《复曲面变体和复曲面分辨率》，（奇点的分辨率（Obergorgl，1997）。奇点的解决（Obergurgl，1997），Progr。数学。，第181卷（2000年），Birkhäuser:Birkháuser Basel），259-284·Zbl 0969.14035号 [12] de Jong，T.，计算积分闭包的算法，J.符号计算。，26, 273-277 (1998) ·Zbl 0932.13021号 [13] Duval，D.，Rational Puiseux展开，复合数学。，70, 2, 119-154 (1989) ·Zbl 0699.14034号 [14] Eisenbud，D.（交换代数，具有代数几何的观点。交换代数，有代数几何的视图，数学研究生教材，第150卷（1995），Springer-Verlag:Springer-Verlag New York）·Zbl 0819.13001号 [15] Frühbis-Krüger，A.，Pfister，G.，2004年10月。奇异点算法解决的实际方面。凯泽斯劳滕大学计算机代数中心技术代表33，在线访问http://www.mathematik.uni-kl.de/zca；Frühbis-Krüger，A.，Pfister，G.，2004年10月。奇异点算法解决的实际方面。凯泽斯劳滕大学计算机代数中心技术代表33，在线访问http://www.mathematik.uni-kl.de/zca公司 [16] Fulton，W.，《复曲面变体导论》（The Introduction to toric variates），（威廉·H·罗夫几何讲座。威廉·H·罗夫几何演讲，《数学研究年鉴》，第131卷（1993），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿）·Zbl 1083.14065号 [17] 格雷厄尔，G.-M。；普菲斯特，G.，A单一交换代数导论，由Olaf Bachmann、Christoph Lossen和Hans Schönemann贡献，附1张CD-ROM（Windows、Macintosh和UNIX）（2002年），Springer-Verlag:Springer-Verlag Berlin·兹比尔1023.13001 [18] 哈切，G。；Le Brigand，D.，代数几何码的有效构造，代数几何代码。代数几何代码，IEEE Trans。通知。理论，41，6，第1部分，1615-1628（1995），（特刊）·兹比尔0853.94024 [19] Hartshorne，R.，（代数几何，代数几何，数学研究生教材，第52卷（1977年），Springer-Verlag:Springer-Verlag New York）·Zbl 0367.14001号 [20] Hauser，H.，关于奇点分解的Hironaka定理（或：我们一直想理解的证明），Bull。阿默尔。数学。Soc.（N.S.），40，3，323-403（2003），电子版·Zbl 1030.14007号 [21] Hironaka，H.，特征零点域上代数变体奇点的分辨率。一、 数学安。(2), 79, 109-203 (1964) ·Zbl 0122.38603号 [22] Hironaka，H.，特征零域上代数簇奇点的解析。一、 数学安。(2), 79, 205-326 (1964) ·Zbl 0122.38603号 [23] Hirzebruch，F.，Über vierdidimensionale Riemannsche Flächen mehrdeutiger分析人员Funktionen von zwei komplexen Veränderlichen，数学。《年鉴》，126，1-22（1953）·Zbl 0093.27605号 [24] Jung，H.W.E.，Darstellung der Funktitonen eines algebraischen Körpers zweier unabhängiger Veränderlichen（x，y）in der Umgebung（x=a，y=b），J.für Math。，133, 289-314 (1908) [25] Kiyek，K.-H。；Vicente，J.L.，《关于Jung-Abhyankar定理》，Arch。数学。（巴塞尔），83，2，123-134（2004）·Zbl 1085.13009号 [26] Kiyek，K.-H。；Vicente，J.L.，（特征零点中曲线和曲面奇异性的解析。特征零点中的曲线和曲面奇性的解析，代数与应用，第4卷（2004），Kluwer学术出版社：Kluwer-学术出版社Dordrecht）·Zbl 1069.14001号 [27] Kollár，J.，（奇点分解讲座。奇点分解演讲，数学研究年鉴，第166卷（2007），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿）·Zbl 1113.14013号 [28] Laufer，H.B.，（正态二维奇点。正态二维奇异点，数学研究年鉴，第71卷（1971），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿）·Zbl 0245.32005号 [29] Lipman，J.，《有理奇点在代数曲面和唯一因式分解中的应用》，高等科学研究院。出版物。数学。，36, 195-279 (1969) ·Zbl 0181.48903号 [30] Matsumura，H.，（交换环理论。交换环理论，剑桥高等数学研究，第8卷（1989），剑桥大学出版社：剑桥大学出版社剑桥），（M.Reid，日语翻译）·Zbl 0666.13002号 [31] McAdam，S.，一元多项式的唯一因式分解，《通信代数》，29，10，4341-4343（2001）·Zbl 1066.13500号 [32] McDonald，J.，《纤维多胞体和分数幂级数》，J.Pure Appl。代数，104，2，213-233（1995）·Zbl 0842.52009号 [33] Némethi，A.，一些表面奇点的分辨率图。I.循环覆盖，（代数和解析几何中的奇点（德克萨斯州圣安东尼奥，1999）。《代数和解析几何中的奇点》（德克萨斯州圣安东尼奥，1999），Contemp。数学。，第266卷（2000），美国。数学。Soc.：美国。数学。Soc.Providence，RI），89-128·Zbl 1017.14012号 [34] Némethi，A。；阿齐拉德。，一些曲面奇点的分辨率图。二、。广义Iomdin级数，（代数和解析几何中的奇点）（德克萨斯州圣安东尼奥，1999）。代数和解析几何中的奇点（德克萨斯州圣安东尼奥，1999年），Contemp。数学。，第266卷（2000），美国。数学。Soc.：美国。数学。Soc.Providence，RI），129-164年·兹伯利1017.14013 [35] Schicho，J.，曲面的有理参数化，J.符号计算。，26, 1, 1-29 (1998) ·Zbl 0924.14027号 [36] Spivakovsky，M.，《曲面函数场的估值》，Amer。数学杂志。，112, 1, 107-156 (1990) ·Zbl 0716.13003号 [37] van der Hoeven，J.，《放松，但不要太懒》，符号计算杂志。，34, 479-542 (2002) ·兹比尔1011.68189 [38] van der Hoeven，J.，（Transseries and Real Differential Algebra.Transseries和Real Diferrential代数，数学课堂讲稿，第1888卷（2006），Springer-Verlag:Springer-Verlag Berlin）·兹比尔1128.12008 [39] van Hoeij，M.，代数函数域中计算积分基的算法，J.符号计算。，18, 4, 353-363 (1994) ·Zbl 0834.68059号 [40] O.Villamayor，《Hironaka决议的建设性》，《科学年鉴》。埃科尔规范。补充（4），22，1，1-32（1989）·Zbl 0675.14003号 [41] Walker，R.J.，代数曲面奇点的简化，数学年鉴。(2), 36, 2, 336-365 (1935) ·Zbl 0011.36801号 [42] Walker，R.J.，代数曲线（1978），Springer-Verlag:Springer-Verlag纽约，1950版再版·Zbl 0399.14016号 [43] 扎里斯基，O。；Samuel，P.（交换代数，第二卷。交换代数，第一卷，数学研究生教材，第29卷（1975年），Springer-Verlag:Springer-Verlag纽约），1960年版再版·Zbl 0112.02902号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。