Simon A. King
We present a new and shorter proof of Stocking's result that any strongly irreducible Heegaard surface of a closed orientable triangulated 3-manifold is isotopic to an almost normal surface. We also re-prove a result of Jaco and Rubinstein on normal spheres. Both proofs are based on the "reduction" technique introduced by the author.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Continuing our previous work, we effectively compute connected Heegaard Floer homologies of two families of Brieskorn spheres realized as the boundaries of almost simple linear graphs. Using Floer theoretic invariants of Dai, Hom, Stoffregen, and Truong, we show that these Brieskorn spheres also generate infinite rank summands in the homology cobordism group. Our computations also have applications to the concordance of classical knots and $0$-concordance of $2$-knots.
This paper generalizes the definition of a Heegaard splitting to unify Scharlemann and Thomspon's concept of thin position for 3-manifolds, Gabai's thin position for knots, and Rubinstein's almost normal surface theory. This gives generalizations of theorems of Scharlemann, Thompson, Rubinstein, and Stocking. In the final section, we use this machinery to produce an algorithm to determine the bridge number of a knot, provided thin position for the knot coincides with bridge position. We also present several finiteness and algorithmic results about Dehn fillings with "small" Heegaard genus.
We define a Heegaard-Scharlemann-Thompson (HST) splitting of a 3-manifold M to be a sequence of pairwise-disjoint, embedded surfaces, {F_i}, such that for each odd value of i, F_i is a Heegaard splitting of the submanifold of M cobounded by F_{i-1} and F_{i+1}. Our main result is the following: Suppose M (\neq B^3 or S^3) is an irreducible submanifold of a triangulated 3-manifold, bounded by a normal or almost normal surface, and containing at most one maximal normal 2-sphere. If {F_i} is a strongly irreducible HST splitting of M then we may isotope it so that for each even value of i the surf…
Effective Computation of the Heegaard Genus of 3-Manifolds
本文提出通过修改三角剖分（仅增加四个四面体）将几乎正规曲面转化为正规曲面，从而高效计算Heegaard亏格，并在3000个闭双曲3-流形数据集上精确确定了至少2705个的亏格。
The $CFK^\infty$ Type of Almost L-space Knots
本文研究几乎L空间纽结，通过分类其$CFK^\infty$类型，证明其满足多种拓扑性质，并给出新的电缆链环检测结果。
We show that given a partially flat angled ideal triangulation for a 3-manifold $M$ with boundary (as defined by Lackenby), there is an algorithm to produce a list of Heegaard splittings for $M$ such that below a given genus $g$, each isotopy class appears exactly once. In particular, this algorithm determines precisely when two almost normal surfaces represent Heegaard splittings that are isotopic in the ambient 3-manifold. A closely related algorithm determines the smallest genus common stabilization of any two Heegaard splittings on the list. The methods, in fact, characterize isotopies bet…
A (1,1) knot K in a 3-manifold M is a knot that intersects each solid torus of a genus 1 Heegaard splitting of M in a single trivial arc. Choi and Ko developed a parameterization of this family of knots by a four-tuple of integers, which they call Schubert's normal form. This article presents an algorithm for constructing a doubly-pointed Heegaard diagram compatible with K, given a Schubert's normal form for K. The construction, coupled with results of Ozsváth and Szabó, provides a practical way to compute knot Floer homology groups for (1,1) knots. The construction uses train tracks, and its …
We show that any finitely generated non-elementary Kleinian group has a co-final family of finite index normal subgroups with respect to which it has Property $τ$. As a consequence, any closed hyperbolic 3-manifold has a co-final family of finite index normal subgroups for which the infimal Heegaard gradient is positive.
(1,1) almost L-space knots
本文给出了三维球面和透镜空间中允许大 Dehn 手术得到次极小秩 Heegaard Floer 同调流形的 (1,1) 纽结的图示刻画，受 Greene-Lewallen-Vafaee 的极小秩结果启发。
Compressed data structures for Heegaard splittings
本文提出了一种压缩数据结构，用于高效表示Heegaard图，并通过多项式时间算法实现了对流形拓扑不变量的计算。
Let a contact 3-manifold $(Y, ξ_0)$ be the link of a normal surface singularity equipped with its canonical contact structure $ξ_0$. We prove a special property of such contact 3-manifolds of "algebraic" origin: the Heegaard Floer invariant $c^+(ξ_0)\in HF^+(-Y)$ cannot lie in the image of the $U$-action on $HF^+(-Y)$. It follows that Karakurt's "height of $U$-tower" invariants are always 0 for canonical contact structures on singularity links, which contrasts the fact that the height of $U$-tower can be arbitrary for general fillable contact structures. Our proof uses the interplay between th…
A family of one-vertex triangulations of 3-manifolds, layered-triangulations, is defined. Layered-triangulations are first described for handlebodies and then extended to all 3-manifolds via Heegaard splittings. A complete and detailed analysis of layered-triangulations is given in the cases of the solid torus and lens spaces, including the classification of all normal and almost normal surfaces in these triangulations. Minimal layered-triangulations of lens spaces provide a common setting for new proofs of the classification of lens spaces admitting an embedded non orientable surface and the …
We define a 2-normal surface to be one which intersects every 3-simplex of a triangulated 3-manifold in normal triangles and quadrilaterals, with one or two exceptions. The possible exceptions are a pair of octagons, a pair of unknotted tubes, an octagon and a tube, or a 12-gon. In this paper we use the theory of critical surfaces developed in earlier work to prove the existence of topologically interesting 2-normal surfaces. Our main results are (1) if a ball with normal boundary in a triangulated 3-manifold contains two almost normal 2-spheres then it contains a 2-normal 2-sphere and (2) in …
For any negative definite plumbed 3-manifold M we construct from its plumbed graph a graded Z[U]-module. This, for rational homology spheres, conjecturally equals the Heegaard-Floer homology of Ozsvath and Szabo, but it has even more structure. If M is a complex singularity link then the normalized Euler-characteristic can be compared with the analytic invariants. The Seiberg--Witten Invariant Conjecture is discussed in the light of this new object.
We show that a strongly irreducible and boundary-strongly irreducible surface can be isotoped to be almost normal in a triangulated 3-manifold.
Suppose $K$ is a knot in a closed 3-manifold $M$ such that $\bar{M-N(K)}$ is irreducible. We show that for any positive integer $b$ there exists a triangulation of $\bar{M-N(K)}$ such that any weakly incompressible bridge surface for $K$ of $b$ bridges or fewer is isotopic to an almost normal bridge surface.
Normal and almost normal surfaces are essential tools for algorithmic 3-manifold topology, but to use them requires exponentially slow enumeration algorithms in a high-dimensional vector space. The quadrilateral coordinates of Tollefson alleviate this problem considerably for normal surfaces, by reducing the dimension of this vector space from 7n to 3n (where n is the complexity of the underlying triangulation). Here we develop an analogous theory for octagonal almost normal surfaces, using quadrilateral and octagon coordinates to reduce this dimension from 10n to 6n. As an application, we sho…
The main goal of the present article is the computation of the Heegaard Floer homology introduced by Ozsvath and Szabo for a family of plumbed rational homology 3-spheres. The main motivation is the study of the Seiberg-Witten type invariants of links of normal surface singularities.
We prove that the action of any non-trivial normal subgroup of the mapping class group of a surface of genus $g\geqslant 2$ is almost minimal on the character variety $X(π_1Σ_g,{\rm SU}_2)$: the orbit of almost every point is dense.
A major breakthrough in the theory of topological algorithms occurred in 1992 when Hyam Rubinstein introduced the idea of an almost normal surface. We explain how almost normal surfaces emerged naturally from the study of geodesics and minimal surfaces. Patterns of stable and unstable geodesics can be used to characterize the 2-sphere among surfaces, and similar patterns characterize the 3-sphere among 3-manifolds. Analogous patterns of normal and almost normal surfaces led Rubinstein to an algorithm for recognizing the 3-sphere.
Trisections obtained by trivially regluing surface-knots
本研究针对闭4-流形中由特定2-纽结与非纽结化$P^2$-纽结构成的连通和$P^2$-纽结，证明通过平凡粘接其补空间与管状邻域的相对三分法所得的三分法是原三分法的稳定化，且$S^4$情形下对应亏格0三分法的稳定化，关联4维Heegaard分解类比猜想。
Around twenty years ago Ghys conjectured that finite subgroups of the diffeomorphism group of a compact smooth manifold M have an abelian normal subgroup of index at most a(M), where a(M) depends only on M. First we construct a family of counterexamples to this conjecture including, for example, the product space $T^2\times S^2$. Following the first appearance of our counterexample on the arXiv Ghys put forward a revised conjecture, which predicts only the existence of a nilpotent normal subgroup of index at most n(M). Our main result is the proof of the revised Ghys conjecture. More generally…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。