https://zbmath.org/atom/cc/57N75 2024-04-15T15:10:58.286558Z Werkzeug公司 https://zbmath.org/1530.57016 2024-04-15T15:10:58.286558Z “林，魏” https://zbmath.org/authors/？q=ai:lin.wei.3|林伟.6|林伟.5|林伟.2|林伟.4|林伟.1 “雷，丰春” https://zbmath.org/authors/？q=ai:lei.fengchun 设（V）为属（g）大于或等于2的三维把手体。假设\（V\）垂直放置，考虑具有\（h（x，y，z）=z\）的高度函数\（h:\mathbb｛R｝^｛3｝\rightarrow\mathbb｛R｝\），并将\（h，\）定义为\（V\）的基本盘族，使得每个\（D_｛i｝\）是不同高度的正则值\（h）的预映像\（mathcal{D}）将（V）切成（2g-2）3个球。它们的闭包用\（P_{i}，\）\（i=1，\点，2g-2）表示，每一个都称为一个裤形球。如果（V）中的圆盘（D）是正则值（h）的前像的组成部分，则称为水平圆盘。如果对于每个横向相交的水平圆盘（D。证明了每个伪本质面都可以变形，从而使在每个扇形球中诱导的S的每个分量都是一个具有标准形式的圆盘。应用莫尔斯理论给出了这个标准形式的精确定义，并可在本文中详细阅读。值得注意的是，正确嵌入（V）中的每个不可压缩表面都可能变形，从而成为伪本质。本文的主要结果如下：设（V）是属（g\geq2，）的手形体，（mathcal{D}）是（V）的最大本质盘系统，设（S\subset V）是一个以标准形式放置的连通伪本质曲面然后有一个由有限多个步骤组成的算法来确定\（S\）是否是不可压缩的。注意，该算法非常实用，并通过几个示例进行了测试。审查人：Charalampos Charitos（Athína）