Showing 1–30 of 30 results for author: Rieck, Y

Strongly aperiodic SFTs on hyperbolic groups: where to find them and why we love them

Authors: Yo'av Rieck

Abstract: D. B. Cohen, C. Goodman-Strauss, and the author proved that a hyperbolic group admits an "SA SFT" if and only if it has at most one end. This paper has two distinct parts: the first is a conversation explaining what an SA SFT is and how they may be of use. In the second part I attempt to explain both old and new ideas that go into the proof. References to specific claims in the original paper are… ▽ More D. B. Cohen, C. Goodman-Strauss, and the author proved that a hyperbolic group admits an "SA SFT" if and only if it has at most one end. This paper has two distinct parts: the first is a conversation explaining what an SA SFT is and how they may be of use. In the second part I attempt to explain both old and new ideas that go into the proof. References to specific claims in the original paper are given, with the hope that any interested reader may be able to find the details there more accessible after reading this exposition. △ Less

Submitted 31 January, 2022; originally announced February 2022.

Comments: 19 pages

MSC Class: 37B50; 20F65; 05B45

A Structure Theorem for Bad 3-Orbifolds

Authors: R Lehman, Yo'av Rieck

Abstract: We explicitly construct a collection of bad 3-orbifolds, \(\mathcal{X}\), satisfying the following properties: \begin{enumerate} \item The underlying topological space of any \(X \in \mathcal{X}\) is homeomorphic to $S^2\times I$ or $(S^2\times S^1)\backslash B^3$. \item The boundary of any \(X \in \mathcal{X}\) consists of one or two spherical 2-orbifolds. \item Any bad 3-orbifold is obta… ▽ More We explicitly construct a collection of bad 3-orbifolds, \(\mathcal{X}\), satisfying the following properties: \begin{enumerate} \item The underlying topological space of any \(X \in \mathcal{X}\) is homeomorphic to $S^2\times I$ or $(S^2\times S^1)\backslash B^3$. \item The boundary of any \(X \in \mathcal{X}\) consists of one or two spherical 2-orbifolds. \item Any bad 3-orbifold is obtained from a good 3-orbifold by repeating, finitely many times, the following operation: remove one or two orbifold-balls, and glue in some \(X \in \mathcal{X}\). \end{enumerate} Conversely, any bad 3-orbifold \(\OO\) contains some \(X \in \mathcal{X}\) as a sub-orbifold; we call removing \(X\) and cap** the resulting boundary \em cut-and-cap.\em\ Then by cutting-and-cap** finitely many times we obtain a good orbifold. △ Less

Submitted 31 January, 2022; originally announced February 2022.

Comments: 20 pages

MSC Class: 57K30; 57R18

Thermodynamic metrics on outer space

Authors: Tarik Aougab, Matt Clay, Yo'av Rieck

Abstract: In this paper we consider two piecewise Riemannian metrics defined on the Culler-Vogtmann outer space which we call the entropy metric and the pressure metric. As a result of work of McMullen, these metrics can be seen as analogs of the Weil-Petersson metric on the Teichmüller space of a closed surface. We show that while the geometric analysis of these metrics is similar to that of the Weil-Peter… ▽ More In this paper we consider two piecewise Riemannian metrics defined on the Culler-Vogtmann outer space which we call the entropy metric and the pressure metric. As a result of work of McMullen, these metrics can be seen as analogs of the Weil-Petersson metric on the Teichmüller space of a closed surface. We show that while the geometric analysis of these metrics is similar to that of the Weil-Petersson metric, from the point of view of geometric group theory, these metrics behave very differently to the Weil-Petersson metric. Specifically, we show that when the rank $r$ is at least 4, the action of ${\rm Out}(\mathbb{F}_r)$ on the completion of the Culler-Vogtmann outer space using the entropy metric has a fixed point. A similar statement also holds for the pressure metric. △ Less

Submitted 28 September, 2020; originally announced September 2020.

Comments: 62 pages, 7 figures

MSC Class: 20E05; 20F65; 57-XX

The unbearable hardness of unknotting

Authors: Arnaud de Mesmay, Yo'av Rieck, Eric Sedgwick, Martin Tancer

Abstract: We prove that deciding if a diagram of the unknot can be untangled using at most $k$ Riedemeister moves (where $k$ is part of the input) is NP-hard. We also prove that several natural questions regarding links in the $3$-sphere are NP-hard, including detecting whether a link contains a trivial sublink with $n$ components, computing the unlinking number of a link, and computing a variety of link in… ▽ More We prove that deciding if a diagram of the unknot can be untangled using at most $k$ Riedemeister moves (where $k$ is part of the input) is NP-hard. We also prove that several natural questions regarding links in the $3$-sphere are NP-hard, including detecting whether a link contains a trivial sublink with $n$ components, computing the unlinking number of a link, and computing a variety of link invariants related to four-dimensional topology (such as the $4$-ball Euler characteristic, the slicing number, and the $4$-dimensional clasp number). △ Less

Submitted 8 October, 2018; originally announced October 2018.

Comments: 36 pages, 21 figures

Embeddability in $\mathbb{R}^3$ is NP-hard

Authors: Arnaud de Mesmay, Yo'av Rieck, Eric Sedgwick, Martin Tancer

Abstract: We prove that the problem of deciding whether a 2- or 3-dimensional simplicial complex embeds into $\mathbb{R}^3$ is NP-hard. Our construction also shows that deciding whether a 3-manifold with boundary tori admits an $\mathbb{S}^{3}$ filling is NP-hard. The former stands in contrast with the lower dimensional cases which can be solved in linear time,and the latter with a variety of computational… ▽ More We prove that the problem of deciding whether a 2- or 3-dimensional simplicial complex embeds into $\mathbb{R}^3$ is NP-hard. Our construction also shows that deciding whether a 3-manifold with boundary tori admits an $\mathbb{S}^{3}$ filling is NP-hard. The former stands in contrast with the lower dimensional cases which can be solved in linear time,and the latter with a variety of computational problems in 3-manifold topology (for example, unknot or 3-sphere recognition, which are in NP and co-NP assuming the Generalized Riemann Hypothesis). Our reduction encodes a satisfiability instance into the embeddability problem of a 3-manifold with boundary tori, and relies extensively on techniques from low-dimensional topology, most importantly Dehn fillings on link complements. △ Less

Submitted 22 August, 2018; v1 submitted 25 August, 2017; originally announced August 2017.

Strongly aperiodic subshifts of finite type on hyperbolic groups

Authors: David Bruce Cohen, Chaim Goodman-Strauss, Yo'av Rieck

Abstract: We prove that a hyperbolic group admits a strongly aperiodic subshift of finite type if and only if it has at most one end. We prove that a hyperbolic group admits a strongly aperiodic subshift of finite type if and only if it has at most one end. △ Less

Submitted 6 June, 2017; v1 submitted 5 June, 2017; originally announced June 2017.

MSC Class: 37B50; 20F65; 05B45

The spectrum of the growth rate of the tunnel number is infinite

Authors: Kenneth L. Baker, Tsuyoshi Kobayashi, Yo'av Rieck

Abstract: In a previous paper Kobayashi and Rieck defined the growth rate of the tunnel number of a knot $K$, a knot invariant that measures the asymptotic behavior of the tunnel number under iterated connected sum of $K$. We denote the growth rate by $\mbox{gr}_t(K)$. In this paper we construct, for any $ε> 0$, a hyperbolic knots $K \subset S^{3}$ for which $1 - ε< \mbox{gr}_t(K) < 1$. This is the first… ▽ More In a previous paper Kobayashi and Rieck defined the growth rate of the tunnel number of a knot $K$, a knot invariant that measures the asymptotic behavior of the tunnel number under iterated connected sum of $K$. We denote the growth rate by $\mbox{gr}_t(K)$. In this paper we construct, for any $ε> 0$, a hyperbolic knots $K \subset S^{3}$ for which $1 - ε< \mbox{gr}_t(K) < 1$. This is the first proof that the spectrum of the growth rate of the tunnel number is infinite. △ Less

Submitted 12 July, 2015; originally announced July 2015.

MSC Class: 57M99; 57M25

The growth rate of the tunnel number of m-small knots

Authors: Tsuyoshi Kobayashi, Yo'av Rieck

Abstract: In a previous paper the authors defined the growth rate of the tunnel number of knots, an invariant that measures that asymptotic behavior of the tunnel number under connected sum. In this paper we calculate the growth rate of the tunnel number of m-small knots in terms of their bridge indices. In a previous paper the authors defined the growth rate of the tunnel number of knots, an invariant that measures that asymptotic behavior of the tunnel number under connected sum. In this paper we calculate the growth rate of the tunnel number of m-small knots in terms of their bridge indices. △ Less

Submitted 12 June, 2015; originally announced June 2015.

MSC Class: 57M99; 57M25

Journal ref: Pacific J. Math. 295 (2018) 57-101

Strong cylindricality and the monodromy of bundles

Authors: Kazuhiro Ichihara, Tsuyoshi Kobayashi, Yo'av Rieck

Abstract: A surface $F$ in a 3-manifold $M$ is called cylindrical if $M$ cut open along $F$ admits an essential annulus $A$. If, in addition, $(A, \partial A)$ is embedded in $(M, F)$, then we say that $F$ is strongly cylindrical. Let $M$ be a connected 3-manifold that admits a triangulation using $t$ tetrahedra and $F$ a two-sided connected essential closed surface of genus $g(F)$. We show that if $g(F)$ i… ▽ More A surface $F$ in a 3-manifold $M$ is called cylindrical if $M$ cut open along $F$ admits an essential annulus $A$. If, in addition, $(A, \partial A)$ is embedded in $(M, F)$, then we say that $F$ is strongly cylindrical. Let $M$ be a connected 3-manifold that admits a triangulation using $t$ tetrahedra and $F$ a two-sided connected essential closed surface of genus $g(F)$. We show that if $g(F)$ is at least $38 t$, then $F$ is strongly cylindrical. As a corollary, we give an alternative proof of the assertion that every closed hyperbolic 3-manifold admits only finitely many fibrations over the circle with connected fiber whose translation distance is not one, which was originally proved by Saul Schleimer. △ Less

Submitted 10 March, 2014; v1 submitted 12 September, 2013; originally announced September 2013.

Comments: 7 pages. v2: typos corrected. To appear in Proc. Amer. Math. Soc

MSC Class: 57M99 (Primary) 57R22 (Secondary)

The Link Volume of Hyperbolic 3-Manifolds

Authors: Yo'av Rieck, Yasushi Yamashita

Abstract: We prove that for any V>0, there exist a hyperbolic manifold M_V, so that Vol(M_V) < 2.03 and LinVol(M_V) > V. The proof requires study of cosmetic surgery on links (equivalently, fillings of manifolds with boundary tori). There is no bound on the number of components of the link (or boundary components). For statements, see the second part of the introduction. Here are two examples of the resul… ▽ More We prove that for any V>0, there exist a hyperbolic manifold M_V, so that Vol(M_V) < 2.03 and LinVol(M_V) > V. The proof requires study of cosmetic surgery on links (equivalently, fillings of manifolds with boundary tori). There is no bound on the number of components of the link (or boundary components). For statements, see the second part of the introduction. Here are two examples of the results we obtain: 1) Let K be a component of a link L in S^3. Then "most" slopes on K cannot be completed to a cosmetic surgery on L, unless K becomes a component of a Hopf link. 2) Let X be a manifold and ε>0. Then all but finitely many hyperbolic manifolds obtained by filling X admit a geodesic shorter than ε (note that this finite set may correspond to an infinitely many fillings). △ Less

Submitted 8 November, 2012; originally announced November 2012.

Comments: 77 pages

MSC Class: 57M12; 57M50

Journal ref: Algebr. Geom. Topol. 16 (2016) 3445-3521

The Link Volumes of some prism manifolds

Authors: Jair Remigio-Juárez, Yo'av Rieck

Abstract: In arxiv:1205.1274 Rieck and Yamashita defined the link volume of 3-manifolds and studied some of its basic properties. Many of these properties are similar to the corresponding properties of the hyperbolic volume. In this paper we calculate the link volume of an infinite family of prism manifolds. As a corollary, we show that (in contrast to the hyperbolic volume) the link volume is not finite-… ▽ More In arxiv:1205.1274 Rieck and Yamashita defined the link volume of 3-manifolds and studied some of its basic properties. Many of these properties are similar to the corresponding properties of the hyperbolic volume. In this paper we calculate the link volume of an infinite family of prism manifolds. As a corollary, we show that (in contrast to the hyperbolic volume) the link volume is not finite-to-one. △ Less

Submitted 12 May, 2012; originally announced May 2012.

Comments: 15 pages, final version. To appear in Algebraic and Geometric Topology (numbering and pagination may differ from published version)

MSC Class: 57M12; 57M50

A linear bound on the tetrahedral number of manifolds of bounded volume (after Jorgensen and Thurston)

Authors: Tsuyoshi Kobayashi, Yo'av Rieck

Abstract: We provide a detailed proof of the following folklore theorem: Let mu > 0 be a Margulis constant for 3-dimensional hyperbolic space. Then for any d>0 there exists a constant K>0, depending on mu and d, so that for any complete finite volume hyperbolic 3-manifold M, the d-neighborhood of the mu-thick part of M can be triangulated using at most K Vol(M) tetrahedra; here Vol is the hyperbolic volum… ▽ More We provide a detailed proof of the following folklore theorem: Let mu > 0 be a Margulis constant for 3-dimensional hyperbolic space. Then for any d>0 there exists a constant K>0, depending on mu and d, so that for any complete finite volume hyperbolic 3-manifold M, the d-neighborhood of the mu-thick part of M can be triangulated using at most K Vol(M) tetrahedra; here Vol is the hyperbolic volume function. As a corollary, we obtain the following topological interpretation of the volume: the minimal number of tetrahedra required to triangulate a link exterior in M is linearly equivalent to Vol(M); for a precise statement see Corollary 1.3. △ Less

Submitted 11 May, 2012; originally announced May 2012.

Comments: 17 pages. Final version. Pagination and numbering may differ from published version

MSC Class: 57M50; 52B99

Journal ref: In: Topology and geometry in dimension three, 27-42, Contemp. Math., 560, Amer. Math. Soc., 2011

The Link Volume of 3-Manifolds

Authors: Yo'av Rieck, Yasushi Yamashita

Abstract: We view closed orientable 3-manifolds as covers of S^3 branched over hyperbolic links. For a p-fold cover M \to S^3, branched over a hyperbolic link L, we assign the complexity p Vol(S^3 minus L) (where Vol is the hyperbolic volume). We define an invariant of 3-manifolds, called the link volume and denoted LV, that assigns to a 3-manifold M the infimum of the complexities of all possible covers M… ▽ More We view closed orientable 3-manifolds as covers of S^3 branched over hyperbolic links. For a p-fold cover M \to S^3, branched over a hyperbolic link L, we assign the complexity p Vol(S^3 minus L) (where Vol is the hyperbolic volume). We define an invariant of 3-manifolds, called the link volume and denoted LV, that assigns to a 3-manifold M the infimum of the complexities of all possible covers M \to S^3, where the only constraint is that the branch set is a hyperbolic link. Thus the link volume measures how efficiently M can be represented as a cover of S^3. We study the basic properties of the link volume and related invariants, in particular observing that for any hyperbolic manifold M, Vol(M) < LV(M). We prove a structure theorem that is similar to (and relies on) the celebrated theorem of Jorgensen and Thurston. This leads us to conjecture that, generically, the link volume of a hyperbolic 3-manifold is much bigger than its volume. Finally we prove that the link volumes of the manifolds obtained by Dehn filling a manifold with boundary tori are linearly bounded above in terms of the length of the continued fraction expansion of the filling curves. △ Less

Submitted 6 May, 2012; originally announced May 2012.

Comments: 27 pages, several color figures (viewable in black and white)

MSC Class: 57M12; 57M50

Journal ref: Algebr. Geom. Topol. 13 (2013) 927-958

Thin position for knots and 3-manifolds: a unified approach

Authors: Hugh Howards, Yo'av Rieck, Jennifer Schultens

Abstract: We unify the notions of thin position for knots and for 3-manifolds and survey recent work concerning these notions. We unify the notions of thin position for knots and for 3-manifolds and survey recent work concerning these notions. △ Less

Submitted 31 March, 2009; originally announced March 2009.

Comments: This is the version published by Geometry & Topology Monographs on 3 December 2007

MSC Class: 57M25; 57M27; 57N10

Journal ref: Geom. Topol. Monogr. 12 (2007) 89-120

Manifolds admitting both strongly irreducible and weakly reducible minimal genus Heegaard splittings

Authors: Tsuyoshi Kobayashi, Yo'av Rieck

Abstract: We construct infinitely many manifolds admitting both strongly irreducible and weakly reducible minimal genus Heegaard splittings. Both closed manifolds and manifolds with boundary tori are constructed. We construct infinitely many manifolds admitting both strongly irreducible and weakly reducible minimal genus Heegaard splittings. Both closed manifolds and manifolds with boundary tori are constructed. △ Less

Submitted 23 December, 2008; originally announced December 2008.

Comments: 12 pages

MSC Class: 57M99; 57M25

Finite planar emulators for K_{4,5} - 4K_2 and K_{1,2,2,2} and Fellows' Conjecture

Authors: Yo'av Rieck, Yasushi Yamashita

Abstract: In 1988 Fellows conjectured that if a finite, connected graph admits a finite planar emulator, then it admits a finite planar cover. We construct a finite planar emulator for K_{4,5} - 4K_2. Archdeacon showed that K_{4,5} - 4K_2 does not admit a finite planar cover; thus K_{4,5} - 4K_2 provides a counterexample to Fellows' Conjecture. It is known that Negami's Planar Cover Conjecture is true i… ▽ More In 1988 Fellows conjectured that if a finite, connected graph admits a finite planar emulator, then it admits a finite planar cover. We construct a finite planar emulator for K_{4,5} - 4K_2. Archdeacon showed that K_{4,5} - 4K_2 does not admit a finite planar cover; thus K_{4,5} - 4K_2 provides a counterexample to Fellows' Conjecture. It is known that Negami's Planar Cover Conjecture is true if and only if K_{1,2,2,2} admits no finite planar cover. We construct a finite planar emulator for K_{1,2,2,2}. The existence of a finite planar cover for K_{1,2,2,2} is still open. △ Less

Submitted 26 June, 2009; v1 submitted 19 December, 2008; originally announced December 2008.

Comments: Final version. To appear in European Journal of Combinatorics

MSC Class: 05C10

Journal ref: European Journal of Combinatorics 31 (2010) 903

Hyperbolic volume and Heegaard distance

Authors: Tsuyoshi Kobayashi, Yo'av Rieck

Abstract: We prove (Theorem~1.5) that there exists a constant $Λ> 0$ so that if $M$ is a $(μ,d)$-generic complete hyperbolic 3-manifold of volume $\vol[M] < \infty$ and $Σ\subset M$ is a Heegaard surface of genus $g(Σ) > Λ\vol[M]$, then $d(Σ) \leq 2$, where $d(Σ)$ denotes the distance of $Σ$ as defined by Hempel. The key for the proof of the main result is Theorem~1.8 which is on independent interest. The… ▽ More We prove (Theorem~1.5) that there exists a constant $Λ> 0$ so that if $M$ is a $(μ,d)$-generic complete hyperbolic 3-manifold of volume $\vol[M] < \infty$ and $Σ\subset M$ is a Heegaard surface of genus $g(Σ) > Λ\vol[M]$, then $d(Σ) \leq 2$, where $d(Σ)$ denotes the distance of $Σ$ as defined by Hempel. The key for the proof of the main result is Theorem~1.8 which is on independent interest. There we prove that if $M$ is a compact 3-manifold that can be triangulated using at most $t$ tetrahedra (possibly with missing or truncated vertices), and $Σ$ is a Heegaard surface for $M$ with $g(Σ) \geq 76t+26$, then $d(Σ) \leq 2$. △ Less

Submitted 26 August, 2013; v1 submitted 19 March, 2008; originally announced March 2008.

Comments: 12pages, 3 figures

MSC Class: 57M99; 57M25

Knots with g(E(K)) = 2 and g(E(K#K#K)) = 6 and Morimoto's Conjecture

Authors: Tsuyoshi Kobayashi, Yo'av Rieck

Abstract: We show that there exist knots K in S^3 with g(E(K))=2 and g(E(K#K#K))=6. Together with Theorem~1.5 of [1], this proves existence of counterexamples to Morimoto's Conjecture (Conjecture 1.5 of [2]). This is a special case of arxiv.longhoe.net/abs/math.GT/0701765 [1] Tsuyoshi Kobayashi and Yo'av Rieck. On the growth rate of the tunnel number of knots. J. Reine Angew. Math., 592:63--78, 2006. [2] Kanj… ▽ More We show that there exist knots K in S^3 with g(E(K))=2 and g(E(K#K#K))=6. Together with Theorem~1.5 of [1], this proves existence of counterexamples to Morimoto's Conjecture (Conjecture 1.5 of [2]). This is a special case of arxiv.longhoe.net/abs/math.GT/0701765 [1] Tsuyoshi Kobayashi and Yo'av Rieck. On the growth rate of the tunnel number of knots. J. Reine Angew. Math., 592:63--78, 2006. [2] Kanji Morimoto. On the super additivity of tunnel number of knots.Math. Ann., 317(3):489--508, 2000. △ Less

Submitted 13 March, 2007; v1 submitted 26 January, 2007; originally announced January 2007.

Comments: 6 pages. Final version

MSC Class: 57M99

Knot exteriors with additive Heegaard genus and Morimoto's Conjecture

Authors: Tsuyoshi Kobayashi, Yo'av Rieck

Abstract: Given integers g_i > 1 (i=1,...,n) we prove that there exist infinitely may knots K_i in S^3 so that g(E(K_i)) = g_i and the Heegaard genus of the exterior of the connected sum of K_1,...,K_n is the sum the Heegaard genera of K_1,...,K_n, that is: g(E(K_1#...#K_n)) = g(E(K_1)) +...+ g(E(K_n)). (Here, E() denotes the exterior and g() the Heegaard genus.) Together with Theorem 1.5 of [1], this pro… ▽ More Given integers g_i > 1 (i=1,...,n) we prove that there exist infinitely may knots K_i in S^3 so that g(E(K_i)) = g_i and the Heegaard genus of the exterior of the connected sum of K_1,...,K_n is the sum the Heegaard genera of K_1,...,K_n, that is: g(E(K_1#...#K_n)) = g(E(K_1)) +...+ g(E(K_n)). (Here, E() denotes the exterior and g() the Heegaard genus.) Together with Theorem 1.5 of [1], this proves the existence of counterexamples to Morimoto's Conjecture (Conjecture 1.5 of [2]). [1] Tsuyoshi Kobayashi and Yo'av Rieck. On the growth rate of the tunnel number of knots. J. Reine Angew. Math., 592:63--78, 2006. [2] Kanji Morimoto. On the super additivity of tunnel number of knots.Math. Ann., 317(3):489--508, 2000. △ Less

Submitted 28 January, 2007; v1 submitted 26 January, 2007; originally announced January 2007.

Comments: 14 pages

MSC Class: 57M99

On Negami's planar cover conjecture

Authors: Yo'av Rieck, Yasushi Yamashita

Abstract: Given a finite cover f:tilde{G} \to G and an embedding of tilde{G} in the plane, Negami conjectures that G embeds in P^2. Negami proved this conjecture for regular covers. In this paper we define two properties (Propserties V and E), depending on the cover tilde{G} and its embedding into S^2, and generalize Negami's result by showing: (1) If Properties V and E are fulfilled then G embeds in P^2.… ▽ More Given a finite cover f:tilde{G} \to G and an embedding of tilde{G} in the plane, Negami conjectures that G embeds in P^2. Negami proved this conjecture for regular covers. In this paper we define two properties (Propserties V and E), depending on the cover tilde{G} and its embedding into S^2, and generalize Negami's result by showing: (1) If Properties V and E are fulfilled then G embeds in P^2. (2) Regular covers always fulfill Properties V and E. We give an example of an irregular cover fulfilling Properties V and E. Covers not fulfilling Properties V and E are discussed as well. △ Less

Submitted 13 December, 2006; originally announced December 2006.

Comments: 20 pages, 13 figures

MSC Class: 05C10

The Heegaard genus of bundles over S^1

Authors: Mark Brittenham, Yo'av Rieck

Abstract: This paper explores connections between Heegaard genus, minimal surfaces, and pseudo-Anosov monodromies. Fixing a pseudo-Anosov map phi and an integer n, let M_n be the 3-manifold fibered over S^1 with monodromy phi^n. JH Rubinstein showed that for a large enough n every minimal surface of genus at most h in M_n is homotopic into a fiber; as a consequence Rubinstein concludes that every Heegaa… ▽ More This paper explores connections between Heegaard genus, minimal surfaces, and pseudo-Anosov monodromies. Fixing a pseudo-Anosov map phi and an integer n, let M_n be the 3-manifold fibered over S^1 with monodromy phi^n. JH Rubinstein showed that for a large enough n every minimal surface of genus at most h in M_n is homotopic into a fiber; as a consequence Rubinstein concludes that every Heegaard surface of genus at most h for M_n is standard, that is, obtained by tubing together two fibers. We prove this result and also discuss related results of Lackenby and Souto. △ Less

Submitted 30 March, 2009; v1 submitted 21 August, 2006; originally announced August 2006.

Comments: This is the version published by Geometry & Topology Monographs on 3 December 2007

MSC Class: 57M50; 57M10

Journal ref: Geom. Topol. Monogr. 12 (2007) 17-33

A proof of Waldhausen's uniqueness of splittings of S^3 (after Rubinstein and Scharlemann)

Authors: Yo'av Rieck

Abstract: In [Topology 35 (1996) 1005--1023] J H Rubinstein and M Scharlemann, using Cerf Theory, developed tools for comparing Heegaard splittings of irreducible, non-Haken manifolds. As a corollary of their work they obtained a new proof of Waldhausen's uniqueness of Heegaard splittings of S^3. In this note we use Cerf Theory and develop the tools needed for comparing Heegaard splittings of S^3. This al… ▽ More In [Topology 35 (1996) 1005--1023] J H Rubinstein and M Scharlemann, using Cerf Theory, developed tools for comparing Heegaard splittings of irreducible, non-Haken manifolds. As a corollary of their work they obtained a new proof of Waldhausen's uniqueness of Heegaard splittings of S^3. In this note we use Cerf Theory and develop the tools needed for comparing Heegaard splittings of S^3. This allows us to use Rubinstein and Scharlemann's philosophy and obtain a simpler proof of Waldhausen's Theorem. The combinatorics we use are very similar to the game Hex and requires that Hex has a winner. The paper includes a proof of that fact (Proposition 3.6). △ Less

Submitted 31 March, 2009; v1 submitted 13 July, 2006; originally announced July 2006.

Comments: This is the version published by Geometry & Topology Monographs on 3 December 2007

MSC Class: 57M25; 57M99

Journal ref: Geom. Topol. Monogr. 12 (2007) 277-284

Invariant Heegaard Surfaces in Manifolds with Involutions and the Heegaard Genus of Double Covers

Authors: Yo'av Rieck, J Hyam Rubinstein

Abstract: Let M be a 3-manifold admitting a strongly irreducible Heegaard surface S and f:M \to M an involution. We construct an invariant Heegaard surface for M of genus at most 8 g(S) - 7. As a consequence, given a (possibly branched) double cover π:M \to N we obtain the following bound on the Heegaard genus of N: g(N) \leq 4g(S) - 3. We also get a bound on the complexity of the branch set in terms of g… ▽ More Let M be a 3-manifold admitting a strongly irreducible Heegaard surface S and f:M \to M an involution. We construct an invariant Heegaard surface for M of genus at most 8 g(S) - 7. As a consequence, given a (possibly branched) double cover π:M \to N we obtain the following bound on the Heegaard genus of N: g(N) \leq 4g(S) - 3. We also get a bound on the complexity of the branch set in terms of g(S). If we assume that M is non-Haken, by Casson and Gordon we may replace g(S) by g(M) in all the statements above. △ Less

Submitted 4 January, 2010; v1 submitted 6 July, 2006; originally announced July 2006.

Comments: Minor changes only. Final version, to appear in Communications in Analysis and Geometry

MSC Class: 57M12

A short proof of Bing's characterization of$S^3$

Authors: Yo'av Rieck

Abstract: We give a short proof of Bing's characterization of $S^3$: a compact, connected 3-manifold $M$ is $S^3$ if and only if every knot in $M$ is isotopic into a ball. We give a short proof of Bing's characterization of $S^3$: a compact, connected 3-manifold $M$ is $S^3$ if and only if every knot in $M$ is isotopic into a ball. △ Less

Submitted 21 December, 2005; originally announced December 2005.

Comments: To appear in Proceedings of the AMS, 2 pages

MSC Class: 57M40; 57N12

Simple geodesics on a punctured surface

Authors: Chaim Goodman--Strauss, Yo'av Rieck

Abstract: We give a new proof of McShane's classification of simple cuspidal geodesics, using simple equivariant methods in the hyperbolic plane. We give a new proof of McShane's classification of simple cuspidal geodesics, using simple equivariant methods in the hyperbolic plane. △ Less

Submitted 29 June, 2005; originally announced June 2005.

Comments: A pdf version and a higher quality ps version are avalable at http://comp.uark.edu/~strauss/papers 12 pages, 10 color figures (viewable in gray scale)

MSC Class: 57M60; 51M10

Heegaard genus of the connected sum of m-small knots

Authors: Tsuyoshi Kobayashi, Yo'av Rieck

Abstract: We prove that if $K_1 \subset M_1,...,K_n \subset M_n$ are m-small knots in closed orientable 3-manifolds then the Heegaard genus of $E(#_{i=1}^n K_i)$ is strictly less than the sum of the Heegaard genera of the $E(K_i)$ ($i=1,...,n$) if and only if there exists a proper subset $I$ of $\{1,...,n\}$ so that $#_{i \in I} K_i$ admits a primitive meridian. This generalizes the main result of Morimot… ▽ More We prove that if $K_1 \subset M_1,...,K_n \subset M_n$ are m-small knots in closed orientable 3-manifolds then the Heegaard genus of $E(#_{i=1}^n K_i)$ is strictly less than the sum of the Heegaard genera of the $E(K_i)$ ($i=1,...,n$) if and only if there exists a proper subset $I$ of $\{1,...,n\}$ so that $#_{i \in I} K_i$ admits a primitive meridian. This generalizes the main result of Morimoto in \cite{morimoto1}. △ Less

Submitted 2 July, 2006; v1 submitted 11 March, 2005; originally announced March 2005.

Comments: 34 pages. Final version, to appear in Communications in Analysis and Geometry

MSC Class: 57M99; 57M25

On the growth rate of tunnel number of knots

Authors: Tsuyoshi Kobayashi, Yo'av Rieck

Abstract: Given a knot $K$ in a closed orientable manifold $M$ we define the growth rate of the tunnel number of $K$ to be $gr_t(K) = \limsup_{n \to \infty} \frac{t(nK) - n t(K)}{n-1}$. As our main result we prove that the Heegaard genus of $M$ is strictly less than the Heegaard genus of the knot exterior if and only if the growth rate is less than 1. In particular this shows that a non-trivial knot in… ▽ More Given a knot $K$ in a closed orientable manifold $M$ we define the growth rate of the tunnel number of $K$ to be $gr_t(K) = \limsup_{n \to \infty} \frac{t(nK) - n t(K)}{n-1}$. As our main result we prove that the Heegaard genus of $M$ is strictly less than the Heegaard genus of the knot exterior if and only if the growth rate is less than 1. In particular this shows that a non-trivial knot in $S^3$ is never asymptotically super additive. The main result gives conditions that imply falsehood of Morimoto's Conjecture. △ Less

Submitted 2 February, 2004; originally announced February 2004.

Comments: 19 pages, 8 figures

MSC Class: 57M99

Morimoto's Conjecture for m-small knots

Authors: Tsuyoshi Kobayashi, Yo'av Rieck

Abstract: Let $X$ be the exterior of connected sum of knots and $X_i$ the exteriors of the individual knots. In \cite{morimoto1} Morimoto conjectured (originally for $n=2$) that $g(X) < σ_{i=1}^n g(X_i)$ if and only if there exists a so-called \em primitive meridian \em in the exterior of the connected sum of a proper subset of the knots. For m-small knots we prove this conjecture and bound the possible d… ▽ More Let $X$ be the exterior of connected sum of knots and $X_i$ the exteriors of the individual knots. In \cite{morimoto1} Morimoto conjectured (originally for $n=2$) that $g(X) < σ_{i=1}^n g(X_i)$ if and only if there exists a so-called \em primitive meridian \em in the exterior of the connected sum of a proper subset of the knots. For m-small knots we prove this conjecture and bound the possible degeneration of the Heegaard genus (this bound was previously achieved by Morimoto under a weak assumption \cite{morimoto2}): $$σ_{i=1}^n g(X_i) - (n-1) \leq g(X) \leq σ_{i=1}^n g(X_i).$$ △ Less

Submitted 27 December, 2002; originally announced December 2002.

Comments: 17 pages; to appear in the proceedings of the conference "Musubime no topology (Topology of knots) V" held at Waseda University, 16-19 December, 2002

MSC Class: 57M99

Local detection of strongly irreducible Heegaard splittings via knot exteriors

Authors: Tsuyoshi Kobayashi, Yo'av Rieck

Abstract: We study the way a strongly irreducible Heegaard surface $Σ$ intersects a knot exterior $X$ embedded in a 3-manifold, and show that if $Σ\cap \partial X$ consists of simple closed curves which are essential in both $Σ$ and $\partial X$, then the intersection $X \cap Σ$ consists of meridional annuli only. As an application we show that when considering two Heegaard surfaces that intersect essenti… ▽ More We study the way a strongly irreducible Heegaard surface $Σ$ intersects a knot exterior $X$ embedded in a 3-manifold, and show that if $Σ\cap \partial X$ consists of simple closed curves which are essential in both $Σ$ and $\partial X$, then the intersection $X \cap Σ$ consists of meridional annuli only. As an application we show that when considering two Heegaard surfaces that intersect essentially and spinally (cf. Rubinstein and Shcarlemann) any embedded torus in the union of the two bounds a solid torus. △ Less

Submitted 9 June, 2002; originally announced June 2002.

Comments: 12 pages

MSC Class: 57M99

Thin position for a connected sum of small knots

Authors: Yo'av Rieck, Eric Sedgwick

Abstract: We show that every thin position for a connected sum of small knots is obtained in an obvious way: place each summand in thin position so that no two summands intersect the same level surface, then connect the lowest minimum of each summand to the highest maximum of the adjacent summand below. We show that every thin position for a connected sum of small knots is obtained in an obvious way: place each summand in thin position so that no two summands intersect the same level surface, then connect the lowest minimum of each summand to the highest maximum of the adjacent summand below. △ Less

Submitted 12 May, 2002; originally announced May 2002.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol2/agt-2-14.abs.html

MSC Class: 57M25; 57M27

Journal ref: Algebr. Geom. Topol. 2 (2002) 297-309