内森·邓菲尔德。;斯塔夫罗斯·加鲁法利迪斯;J.Hyam鲁宾斯坦 计算\（3\）-歧管中的基本表面。 （英语） 兹比尔1490.57017 发明。数学。 228，编号2，717-775（2022）. 作者感兴趣的是给出给定3流形中给定欧拉特征的基本曲面的完整同位素类列表的问题。对于一大类3流形，他们给出了具有给定欧拉特征的闭可定向（可能不连通）本质曲面的同位素类的数量公式。根据欧拉特征，他们给出了一个几乎是多项式类型的生成函数。在结K11（n）34的Conway外部的特殊情况下，它们得到了一个精确的生成函数。他们描述了基于三角剖分技术（以及双曲流形中的理想三角剖分）的实用算法，这些算法允许他们在大量情况下计算生成函数和基础曲面。还考虑了非定向表面。作者应用他们的结果提供了近60000个流形的数据。他们就连通本质曲面的计数问题提出了一些猜想。他们的方法包括法向和几乎法向曲面，一种测试理想三角剖分中法向曲面是否必要的新方法，以及Erhart用于计算有理顶点多面体中晶格点的旧技术，参见[E.埃哈特，C.R.学院。科学。，巴黎254，988–990（1962；Zbl 0100.27602号)].审核人：阿萨纳斯·帕帕佐普洛斯（斯特拉斯堡） 引用于2文件 MSC公司： 57公里30 3流形的一般拓扑 57K32型 双曲3-流形 2015年第57季度 三角歧管 关键词：计算基本曲面;法向曲面;基本面;3-歧管;不可压缩表面;双曲流形 引文：Zbl 0100.27602号 软件：里贾纳;快照Py;Normaliz公司;SageMath公司 PDF格式BibTeX公司 XML格式引用 \textit{N.M.Dunfield}等人，发明。数学。228，编号2，717--775（2022；Zbl 1490.57017） 全文： 内政部 arXiv公司 参考文献： [1] 亚当斯，CC；布罗克，JF；巴格比，J。；科马尔，TD；费金，KA；AM休斯顿；约瑟夫，AM；Pesikoff，D.，几乎是交替链接，Topol。申请。，46, 2, 151-165 (1992) ·Zbl 0766.57003号 [2] Adams，CC，《环形交替节点和链接》，《拓扑》，33，2，353-369（1994）·Zbl 0839.57004号 [3] Agol，I。；哈斯，J。；瑟斯顿，W.，结属和跨越面积的计算复杂性，Trans。数学。Soc.，358，9，3821-3850（2006）·Zbl 1098.57003号 [4] Apostol，T.：解析数论导论。施普林格，纽约（1976年）。数学本科生课文·Zbl 0335.10001号 [5] 亚当斯，CC；Reid，AW，双曲节补语中的准富克斯曲面，J.Austral。数学。Soc.序列号。A、 55、1、116-131（1993）·Zbl 0795.57008号 [6] 贝克，K.L.：一次针刺圆环纤维上的结。ProQuest LLC，Ann Arbor（2004）。论文（博士）-德克萨斯大学奥斯汀分校 [7] Barvinok，AI，维数固定时计算多面体积分点的多项式时间算法，数学。操作。决议，19，4，769-779（1994）·Zbl 0821.90085号 [8] Burton，B.A.，Budney，R.，Pettersson，W.等人：Regina:低维拓扑软件。http://regina-normal.github.io/ (1999-2020) [9] Burton，B.A.，Coward，A.，Tillmann，S.：计算纽结补码中的闭合基本曲面。摘自：《计算几何》（SoCG’13），第405-413页。ACM，纽约（2013）·Zbl 1305.68213号 [10] 贝尔，M.C.：米尔扎哈尼定理的实验统计（预印本）（2019年） [11] Bruns，W.，Ichim，B.，Römer，T.，Sieg，R.，Söger，C.：有理锥和仿射幺半群的Normaliz算法（版本3.7）。https://www.normalize.uni-osnabureck.de [12] Bonahon，F.，《表面自同构的协同论》，《科学年鉴》。埃科尔规范。Sup.（4），16，2，237-270（1983）·Zbl 0535.57016号 [13] Burton，B.A.，Tillmann，S.：在3个流形中计算闭合基本曲面36页（预印本）（2018）。arXiv：1812.11686年 [14] 伯顿，B.A.：尖点双曲线人口普查已经完成，32页（预印本）（2014年）。arXiv:1405.2695 [15] Burton，BA，法线曲面理论中四边形和标准解集之间的转换，代数。地理。拓扑。，9, 4, 2121-2174 (2009) ·Zbl 1198.57013号 [16] Burton，B.，几乎正常曲面的四边形-八边形坐标，实验数学。，19, 3, 285-315 (2010) ·Zbl 1275.57030号 [17] 伯顿，B.A.：枚举基本法向曲面：算法、实验和不变量。摘自：《算法工程与实验会议记录》，第112-124页，美国（2014）。工业与应用数学学会·Zbl 1431.57014号 [18] Buser，P.：紧黎曼曲面的几何和光谱。《数学进展》，第106卷。Birkhäuser，波士顿（1992年）·Zbl 0770.53001号 [19] Barvinok，A。；Woods，K.，《格点问题的短有理生成函数》，J.Am.Math。Soc.，16，4，957-979（2003）·Zbl 1017.05008号 [20] Culler，M.、Dunfield，N.M.、Goerner，M.和Weeks，J.R.：SnapPy，研究流形拓扑和几何的计算机程序，2.7.1版。http://snapy.computop.org [21] Dimoft，T。；Gaiotto，D。；Gukov，S.，《3-流形和三维指数》，Adv.Theor。数学。物理。，17, 5, 975-1076 (2013) ·Zbl 1297.81149号 [22] Dimoft，T。；Gaiotto，D。；Gukov，S.，用三流形标记的规范理论，Comm.Math。物理。，325, 2, 367-419 (2014) ·Zbl 1292.57012号 [23] Dunfield，N.、Garoufalidis，S.、Rubinstein，J.H.：本文附带的代码和数据，哈佛数据世界（2020）。doi:10.7910/DVN/FZIHMB [24] Ehrhart，E.，《保利耶德雷斯同形币的尺寸》，C.R.Acad。科学。巴黎，254，988-990（1962）·兹比尔0100.270602 [25] Eudave Muñoz，M.，不可压缩表面和\（（1,1）\）-结，J.Knot Theory Ramific。，15, 7, 935-948 (2006) ·Zbl 1111.57005号 [26] Floyd，W。；Oertel，U.，《通过分支曲面的不可压缩曲面》，《拓扑》，23，1，117-125（1984）·Zbl 0524.57008号 [27] Gadre，VS，非经典区间交换动力学，Ergod。理论动力学。系统。，32, 6, 1930-1971 (2012) ·Zbl 1275.37021号 [28] Garoufalidis，S.，（q）完整序列的度是一个二次拟多项式，电子。J.组合，18，2，4-23（2011）·Zbl 1298.05042号 [29] Garoufalidis，S.，The Jones slopes of a knot，量子白杨。，2, 1, 43-69 (2011) ·Zbl 1228.57004号 [30] Garoufalidis，S。；霍奇森，CD；NR霍夫曼；Hyam Rubinstein，J.，《三维诱导曲面和法向曲面》，伊利诺伊州数学杂志。，60, 1, 289-352 (2016) ·Zbl 1378.57030号 [31] Garoufalidis，S。；霍奇森，CD；Hyam Rubinstein，J。；Segerman，H.，1-有效三角剖分和尖点双曲3-流形的指数，Geom。拓扑。，19, 5, 2619-2689 (2015) ·Zbl 1330.57029号 [32] Garoufalidis，S。；Lé，TTQ，有色琼斯函数是（q\）-完整的，Geom。拓扑。，9, 1253-1293 (2005) ·Zbl 1078.57012号 [33] Hass，J.，流形中的梯形曲面，密歇根州数学。J.，42，2，357-365（1995）·Zbl 0862.57011号 [34] Hatcher，A.：《测量的3流形层压空间》，36页（预印本）（1999年）。https://pi.math.cornell.edu/打手/文件/ML.pdf [35] 霍奇森，C。；JH鲁宾斯坦；Segerman，H.，承认严格角结构的双曲3-流形三角化，J.Topol。，5, 4, 887-908 (2012) ·Zbl 1262.57018号 [36] Hatcher，A。；瑟斯顿，W.，《（2）-桥结补足中的不可压缩曲面》，发明。数学。，79, 2, 225-246 (1985) ·Zbl 0602.57002号 [37] 霍斯特，J。；Thistlethwaite，M。；Weeks，J.，第一节1701936节，数学。智力。，20, 4, 33-48 (1998) ·Zbl 0916.57008号 [38] Jaco，W。；Oertel，U.，判定（3）-流形是否为Haken流形的算法，拓扑，23，2，195-209（1984）·Zbl 0545.57003号 [39] Jaco，W.，Rubinstein，H.：3流形的年度效率三角剖分，21页（预印本）（2011年）。arXiv:1108.2936·Zbl 1229.57010号 [40] Jaco，W。；Hyam Rubinstein，J.，3-流形的（0）-有效三角剖分，J.Differ。地理。，65, 1, 61-168 (2003) ·Zbl 1068.57023号 [41] Jaco，W。；鲁宾斯坦，H。；Spreer，J。；Tillmann，S.，关于尖双曲3-流形的极小理想三角剖分，J.Topol。，13, 1, 308-342 (2020) ·Zbl 1444.57018号 [42] Jaco，W。；Tollefson，JL，闭流形完全分解的算法，Ill.J.Math。，39, 3, 358-406 (1995) ·Zbl 0858.57018号 [43] Kahn，J。；Marković，V.，闭双曲三流形中基本曲面的计数，Geom。拓扑。，16, 1, 601-624 (2012) ·兹比尔1283.57021 [44] Lackenby，M.，Word双曲面Dehn手术，发明。数学。，140, 2, 243-282 (2000) ·Zbl 0947.57016号 [45] Lackenby，M.，确定具有非空边界的简单3流形Heegaard亏格的算法，Algebr。地理。拓扑。，8, 2, 911-934 (2008) ·Zbl 1154.57018号 [46] Lee，C.：K13n586外部的基本表面，13页（预印本）（2021年）。arXiv:2110.10231 [47] Matveev，S.：《3流形的算法拓扑和分类》，《数学算法和计算》第9卷，第2版。柏林施普林格出版社（2007）·Zbl 1128.57001号 [48] Menasco，W.，交替节点和链接补码中的闭合不可压缩曲面，拓扑学，23，1，37-44（1984）·Zbl 0525.57003号 [49] Mirzakhani，M.，双曲曲面上简单闭测地线数量的增长，《数学年鉴》。(2), 168, 1, 97-125 (2008) ·Zbl 1177.37036号 [50] 摩根，JW；Shalen，PB，估值，树和双曲结构的退化。一、 安。数学。(2), 120, 3, 401-476 (1984) ·Zbl 0583.57005号 [51] 摩根，JW；Shalen，PB，双曲线结构的退化。二、。流形中测得的分层，Ann.Math。(2), 127, 2, 403-456 (1988) ·Zbl 0656.57003号 [52] Nguyen，D。；Pak，I.，无界多面体中整数点的枚举投影，SIAM J.离散数学。，32, 2, 986-1002 (2018) ·Zbl 1385.05017号 [53] Oertel，U.，《星际联系补足中的闭不可压缩曲面》，Pac。数学杂志。，111, 1, 209-230 (1984) ·Zbl 0549.57004号 [54] Oertel，U.，《不可压缩分支曲面》，发明。数学。，76, 3, 385-410 (1984) ·Zbl 0539.57006号 [55] Oertel，U.，（3）流形中测量的叠片，Trans。数学。Soc.，305，2531-573（1988年）·兹比尔0652.57006 [56] Rubinstein，J.H.：多面体极小曲面，Heegaard分裂和三维流形的判定问题。《几何拓扑》（Athens，GA，1993），高等数学AMS/IP研究第2卷，第1-20页。美国数学学会，普罗维登斯（1997）·Zbl 0889.57021号 [57] Stein，W.等人：SageMath，Sage数学软件系统（8.9版）（2019年） [58] Schleimer，S.：几乎正常的Heegaard分裂。ProQuest LLC，安娜堡（2001）。论文（博士）-加州大学伯克利分校 [59] 斯坦利，R.P.：枚举组合数学。《剑桥高等数学研究》第49卷第1卷。剑桥大学出版社，剑桥（1997）。吉安·卡洛·罗塔（Gian-Carlo Rota）的前言，修正了1986年原版的重印本·Zbl 0889.05001号 [60] Stocking，M.，流形中的几乎正常曲面，Trans。数学。《社会学杂志》，352，1，171-207（2000）·Zbl 0933.57016号 [61] Thompson，A.，《薄位置和（S^3）的识别问题》，数学。Res.Lett.公司。，1, 5, 613-630 (1994) ·Zbl 0849.57009号 [62] 瑟斯顿，W.P.：三维几何和拓扑。普林斯顿数学系列第一卷，第35卷。普林斯顿大学出版社，普林斯顿（1997）。Silvio Levy编辑·Zbl 0873.57001号 [63] Tillmann，S.，拓扑有限3-流形中的正规曲面，恩西。数学。(2), 54, 3-4, 329-380 (2008) ·Zbl 1214.57022号 [64] Tollefson，J.，不可约流形中不可压缩曲面的同位素类，大阪数学杂志。，32, 4, 1087-1111 (1995) ·Zbl 1004.57501号 [65] Tollefson，J.，法向曲面理论，太平洋。数学杂志。，183, 2, 359-374 (1998) ·Zbl 0930.57017号 [66] Waldhausen，F.，《关于足够大的不可约流形》，《数学年鉴》。，2, 87, 56-88 (1968) ·兹伯利0157.30603 [67] Walsh，GS，《不可压缩曲面和纺锤形》，Geom。Dedicata，151，221-231（2011）·Zbl 1236.57026号 [68] Woods，K.，Presburger算术、有理生成函数和拟多项式，J.Symb。日志。，80, 2, 433-449 (2015) ·Zbl 1353.03074号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。