Showing 1–23 of 23 results for author: Tshishiku, B

Surface map** class group actions on 3-manifolds

Authors: Alina Al Beaini, Lei Chen, Bena Tshishiku

Abstract: For each circle bundle $S^1\to X\toΣ_g$ over a surface with genus $g\ge2$, there is a natural surjection $π:Homeo^+(X)\to Mod(Σ_g)$. When $X$ is the unit tangent bundle $UΣ_g$, it is well-known that $π$ splits. On the other hand $π$ does not split when the Euler number $e(X)$ is not divisible by the Euler characteristic $χ(Σ_g)$ by work of the second two authors. In this paper we show that this ho… ▽ More For each circle bundle $S^1\to X\toΣ_g$ over a surface with genus $g\ge2$, there is a natural surjection $π:Homeo^+(X)\to Mod(Σ_g)$. When $X$ is the unit tangent bundle $UΣ_g$, it is well-known that $π$ splits. On the other hand $π$ does not split when the Euler number $e(X)$ is not divisible by the Euler characteristic $χ(Σ_g)$ by work of the second two authors. In this paper we show that this homomorphism does not split in many cases where $χ(Σ_g)$ divides $e(X)$. △ Less

Submitted 26 November, 2023; originally announced November 2023.

Comments: 15 pages

Map** class groups of exotic tori and actions by ${\rm SL}_d(\mathbb Z)$

Authors: Mauricio Bustamante, Manuel Krannich, Alexander Kupers, Bena Tshishiku

Abstract: We determine for which exotic tori $\mathcal{T}$ of dimension $d\neq4$ the homomorphism from the group of isotopy classes of orientation-preserving diffeomorphisms of $\mathcal{T}$ to ${\rm SL}_d(\mathbb Z)$ given by the action on the first homology group is split surjective. As part of the proof we compute the map** class group of all exotic tori $\mathcal{T}$ that are obtained from the standar… ▽ More We determine for which exotic tori $\mathcal{T}$ of dimension $d\neq4$ the homomorphism from the group of isotopy classes of orientation-preserving diffeomorphisms of $\mathcal{T}$ to ${\rm SL}_d(\mathbb Z)$ given by the action on the first homology group is split surjective. As part of the proof we compute the map** class group of all exotic tori $\mathcal{T}$ that are obtained from the standard torus by a connected sum with an exotic sphere. Moreover, we show that any nontrivial ${\rm SL}_d(\mathbb Z)$-action on $\mathcal{T}$ agrees on homology with the standard action, up to an automorphism of ${\rm SL}_d(\mathbb Z)$. When combined, these results in particular show that many exotic tori do not admit any nontrivial differentiable action by ${\rm SL}_d(\mathbb Z)$. △ Less

Submitted 14 May, 2023; originally announced May 2023.

Comments: 26 pages

MSC Class: 57R10; 57R52; 20C10; 11F06

Map** class groups of circle bundles over a surface

Authors: Lei Chen, Bena Tshishiku

Abstract: In this paper, we study the algebraic structure of map** class group $Mod(X)$ of 3-manifolds $X$ that fiber as a circle bundle over a surface $S^1\rightarrow X\rightarrow S_g$. There is an exact sequence $1\rightarrow H^1(S_g)\rightarrow Mod(X)\rightarrow Mod(S_g)\rightarrow1$. We relate this to the Birman exact sequence and determine when this sequence splits. In this paper, we study the algebraic structure of map** class group $Mod(X)$ of 3-manifolds $X$ that fiber as a circle bundle over a surface $S^1\rightarrow X\rightarrow S_g$. There is an exact sequence $1\rightarrow H^1(S_g)\rightarrow Mod(X)\rightarrow Mod(S_g)\rightarrow1$. We relate this to the Birman exact sequence and determine when this sequence splits. △ Less

Submitted 12 January, 2023; originally announced January 2023.

Comments: 12 pages

MSC Class: 57M07; 57K31

Counting flat cycles in the homology of locally symmetric spaces

Authors: Daniel Studenmund, Bena Tshishiku

Abstract: Locally symmetric spaces like $SL(n,\mathbb Z)\backslash SL_n(\mathbb R)/SO(n)$ contain immersed compact flat manifolds of dimension equal to the real rank. We give a lower bound for the contribution of these cycles to the homology of congruence covers. Similar results are proved for other families of locally symmetric spaces. Locally symmetric spaces like $SL(n,\mathbb Z)\backslash SL_n(\mathbb R)/SO(n)$ contain immersed compact flat manifolds of dimension equal to the real rank. We give a lower bound for the contribution of these cycles to the homology of congruence covers. Similar results are proved for other families of locally symmetric spaces. △ Less

Submitted 23 June, 2022; originally announced June 2022.

Comments: 34 pages

MSC Class: 11F75; 57R19

Nielsen Realization for sphere twists on 3-manifolds

Authors: Lei Chen, Bena Tshishiku

Abstract: For a 3-manifold M, the twist group Twist(M) is the subgroup of the map** class group Mod(M) generated by twists about embedded 2-spheres. We study the Nielsen realization problem for subgroups of Twist(M). We prove that a nontrivial subgroup G<Twist(M) is realized by diffeomorphisms if and only if G is cyclic and M is a connected sum of lens spaces. We also apply our methods to the Burnside pro… ▽ More For a 3-manifold M, the twist group Twist(M) is the subgroup of the map** class group Mod(M) generated by twists about embedded 2-spheres. We study the Nielsen realization problem for subgroups of Twist(M). We prove that a nontrivial subgroup G<Twist(M) is realized by diffeomorphisms if and only if G is cyclic and M is a connected sum of lens spaces. We also apply our methods to the Burnside problem for 3-manifolds and show that Diff(M) does not contain an infinite torsion group when M is reducible and not a connected sum of lens spaces. △ Less

Submitted 25 April, 2022; v1 submitted 10 April, 2022; originally announced April 2022.

Comments: 16 pages; v2: added a computation of the twist group for an arbitrary 3-manifold and added an application to the Burnside problem for Diff(M)

MSC Class: 57M60

Symmetries of exotic aspherical space forms

Authors: Mauricio Bustamante, Bena Tshishiku

Abstract: We study finite group actions on smooth manifolds of the form $M\#Σ$, where $Σ$ is an exotic $n$-sphere and $M$ is a closed aspherical space form. We give a classification result for free actions of finite groups on $M\#Σ$ when $M$ is 7-dimensional. We show that if $\mathbb Z/p\mathbb Z$ acts freely on $T^n\#Σ$, then $Σ$ is divisible by $p$ in the group of homotopy spheres. When $M$ is hyperbolic,… ▽ More We study finite group actions on smooth manifolds of the form $M\#Σ$, where $Σ$ is an exotic $n$-sphere and $M$ is a closed aspherical space form. We give a classification result for free actions of finite groups on $M\#Σ$ when $M$ is 7-dimensional. We show that if $\mathbb Z/p\mathbb Z$ acts freely on $T^n\#Σ$, then $Σ$ is divisible by $p$ in the group of homotopy spheres. When $M$ is hyperbolic, we give examples $M\#Σ$ that admit no nontrivial smooth action of a finite group, even though Isom($M$) is arbitrarily large. Our proofs combine geometric and topological rigidity results with smoothing theory and computations with the Atiyah--Hirzebruch spectral sequence. △ Less

Submitted 24 March, 2023; v1 submitted 19 September, 2021; originally announced September 2021.

Comments: 23 pages; major revision, incorporates comments from referee

MSC Class: 57R55; 57S17 (primary); 57R60; 22F30 (secondary)

Finite rigid sets and the separating curve complex

Authors: Junzhi Huang, Bena Tshishiku

Abstract: For each closed surface of genus $g\ge3$, we find a finite subcomplex of the separating curve complex that is rigid with respect to incidence-preserving maps. For each closed surface of genus $g\ge3$, we find a finite subcomplex of the separating curve complex that is rigid with respect to incidence-preserving maps. △ Less

Submitted 14 September, 2021; originally announced September 2021.

Comments: 21 pages

MSC Class: 57K20

Convex-cocompact subgroups of the Goeritz group

Authors: Bena Tshishiku

Abstract: We show that finitely-generated, purely pseudo-Anosov subgroups of the genus-2 Goeritz group are convex cocompact in the genus-2 map** class group. We show that finitely-generated, purely pseudo-Anosov subgroups of the genus-2 Goeritz group are convex cocompact in the genus-2 map** class group. △ Less

Submitted 14 September, 2021; originally announced September 2021.

Comments: 61 pages

MSC Class: 57K20 (Primary); 20F65; 20F67 (Secondary)

Arithmeticity of groups $\mathbb Z^n\rtimes\mathbb Z$

Authors: Bena Tshishiku

Abstract: We study when the group $\mathbb Z^n\rtimes_A\mathbb Z$ is arithmetic where $A\in GL_n(\mathbb Z)$ is hyperbolic and semisimple. We begin by giving a characterization of arithmeticity phrased in the language of algebraic tori, building on work of Grunewald-Platonov. We use this to prove several more concrete results that relate the arithmeticity of $\mathbb Z^n\rtimes_A\mathbb Z$ to the reducibili… ▽ More We study when the group $\mathbb Z^n\rtimes_A\mathbb Z$ is arithmetic where $A\in GL_n(\mathbb Z)$ is hyperbolic and semisimple. We begin by giving a characterization of arithmeticity phrased in the language of algebraic tori, building on work of Grunewald-Platonov. We use this to prove several more concrete results that relate the arithmeticity of $\mathbb Z^n\rtimes_A\mathbb Z$ to the reducibility properties of the characteristic polynomial of $A$. Our tools include algebraic tori, representation theory of finite groups, Galois theory, and the inverse Galois problem. △ Less

Submitted 1 April, 2020; originally announced April 2020.

Comments: 22 pages. Comments welcome

MSC Class: 22E40; 20F16 (Primary) 20G30 (Secondary)

Characteristic classes of bundles of K3 manifolds and the Nielsen realization problem

Authors: Jeffrey Giansiracusa, Alexander Kupers, Bena Tshishiku

Abstract: Let $K$ be the K3 manifold. In this note, we discuss two methods to prove that certain generalized Miller--Morita--Mumford classes for smooth bundles with fiber $K$ are non-zero. As a consequence, we fill a gap in a paper of the first author, and prove that the homomorphism $Diff(K)\to π_0 Diff(K)$ does not split. One of the two methods of proof uses a result of Franke on the stable cohomology of… ▽ More Let $K$ be the K3 manifold. In this note, we discuss two methods to prove that certain generalized Miller--Morita--Mumford classes for smooth bundles with fiber $K$ are non-zero. As a consequence, we fill a gap in a paper of the first author, and prove that the homomorphism $Diff(K)\to π_0 Diff(K)$ does not split. One of the two methods of proof uses a result of Franke on the stable cohomology of arithmetic groups that strengthens work of Borel, and may be of independent interest. △ Less

Submitted 12 December, 2019; v1 submitted 17 July, 2019; originally announced July 2019.

Comments: 12 pages

MSC Class: 19J35; 57R20; 14J28; 11F75

Journal ref: Tunisian J. Math. 3 (2021) 75-92

Borel's stable range for the cohomology of arithmetic groups

Authors: Bena Tshishiku

Abstract: In this note, we remark on the range in Borel's theorem on the stable cohomology of the arithmetic groups Sp(2n,Z) and SO(n,n;Z). This improves the range stated in Borel's original papers, an improvement that was known to Borel. Our main task is a technical computation involving the Weyl group action on roots and weights. This note originally appeared as the appendix to arXiv:1711.03139. In this note, we remark on the range in Borel's theorem on the stable cohomology of the arithmetic groups Sp(2n,Z) and SO(n,n;Z). This improves the range stated in Borel's original papers, an improvement that was known to Borel. Our main task is a technical computation involving the Weyl group action on roots and weights. This note originally appeared as the appendix to arXiv:1711.03139. △ Less

Submitted 9 April, 2019; originally announced April 2019.

Comments: Comments welcome

MSC Class: 11F75; 22E46

Symmetries of exotic negatively curved manifolds

Authors: Mauricio Bustamante, Bena Tshishiku

Abstract: Let $N$ be a smooth manifold that is homeomorphic but not diffeomorphic to a closed hyperbolic manifold $M$. In this paper, we study the extent to which $N$ admits as much symmetry as $M$. Our main results are examples of $N$ that exhibit two extremes of behavior. On the one hand, we find $N$ with maximal symmetry, i.e. Isom($M$) acts on $N$ by isometries with respect to some negatively curved met… ▽ More Let $N$ be a smooth manifold that is homeomorphic but not diffeomorphic to a closed hyperbolic manifold $M$. In this paper, we study the extent to which $N$ admits as much symmetry as $M$. Our main results are examples of $N$ that exhibit two extremes of behavior. On the one hand, we find $N$ with maximal symmetry, i.e. Isom($M$) acts on $N$ by isometries with respect to some negatively curved metric on $N$. For these examples, Isom($M$) can be made arbitrarily large. On the other hand, we find $N$ with little symmetry, i.e. no subgroup of Isom($M$) of "small" index acts by diffeomorphisms of $N$. The construction of these examples incorporates a variety of techniques including smoothing theory and the Belolipetsky-Lubotzky method for constructing hyperbolic manifolds with a prescribed isometry group. △ Less

Submitted 3 January, 2019; originally announced January 2019.

Comments: 14 pages

MSC Class: 57R55; 57R50; 58D19

Arithmeticity of the monodromy of some Kodaira fibrations

Authors: Nick Salter, Bena Tshishiku

Abstract: A question of Griffiths-Schmid asks when the monodromy group of an algebraic family of complex varieties is arithmetic. We resolve this in the affirmative for the class of algebraic surfaces known as Atiyah-Kodaira manifolds, which have base and fibers equal to complete algebraic curves. Our methods are topological in nature and involve an analysis of the "geometric" monodromy, valued in the mappi… ▽ More A question of Griffiths-Schmid asks when the monodromy group of an algebraic family of complex varieties is arithmetic. We resolve this in the affirmative for the class of algebraic surfaces known as Atiyah-Kodaira manifolds, which have base and fibers equal to complete algebraic curves. Our methods are topological in nature and involve an analysis of the "geometric" monodromy, valued in the map** class group of the fiber. △ Less

Submitted 17 May, 2018; originally announced May 2018.

Comments: 44 pages, 9 figures

Journal ref: Compositio Math. 156 (2020) 114-157

Realization problems for diffeomorphism groups

Authors: Kathryn Mann, Bena Tshishiku

Abstract: We discuss recent results and open questions on the broad theme of (Nielsen) realization problems. Beyond realizing subgroups of map** class groups, there are many other natural instances where one can ask if a surjection from a group of diffeomorphisms of a manifold to another group admits a section over particular subgroups. This survey includes many open problems, and some short proofs of new… ▽ More We discuss recent results and open questions on the broad theme of (Nielsen) realization problems. Beyond realizing subgroups of map** class groups, there are many other natural instances where one can ask if a surjection from a group of diffeomorphisms of a manifold to another group admits a section over particular subgroups. This survey includes many open problems, and some short proofs of new results that are illustrative of key techniques; drawing attention to parallels between problems arising in different areas. △ Less

Submitted 1 February, 2018; originally announced February 2018.

Geometric cycles and characteristic classes of manifold bundles

Authors: Bena Tshishiku

Abstract: We produce new cohomology for non-uniform arithmetic lattices $Γ<SO(p,q)$ using a technique of Millson--Raghunathan. From this, we obtain new characteristic classes of manifold bundles with fiber a closed $4k$-dimensional manifold $M$ with indefinite intersection form of signature $(p,q)$. These classes are defined on a finite cover of $BDiff(M)$ and are shown to be nontrivial for… ▽ More We produce new cohomology for non-uniform arithmetic lattices $Γ<SO(p,q)$ using a technique of Millson--Raghunathan. From this, we obtain new characteristic classes of manifold bundles with fiber a closed $4k$-dimensional manifold $M$ with indefinite intersection form of signature $(p,q)$. These classes are defined on a finite cover of $BDiff(M)$ and are shown to be nontrivial for $M=\#_g(S^{2k}\times S^{2k})$. In this case, the classes produced live in degree $g$ and are independent from the algebra generated by the stable (i.e. MMM) classes. We also give an application to bundles with fiber a K3 surface. △ Less

Submitted 14 November, 2020; v1 submitted 8 November, 2017; originally announced November 2017.

Comments: 30 pages. Appendix by Manuel Krannich. Several improvements/corrections incorporating referee comments. To appear in Comment. Math. Helv

MSC Class: 55R40; 55R10; 11F75

On groups with $S^2$ Bowditch boundary

Authors: Bena Tshishiku, Genevieve Walsh

Abstract: We prove that a relatively hyperbolic pair $(G,P)$ has Bowditch boundary a 2-sphere if and only if it is a 3-dimensional Poincare duality pair. We prove this by studying the relationship between the Bowditch and Dahmani boundaries of relatively hyperbolic groups. We prove that a relatively hyperbolic pair $(G,P)$ has Bowditch boundary a 2-sphere if and only if it is a 3-dimensional Poincare duality pair. We prove this by studying the relationship between the Bowditch and Dahmani boundaries of relatively hyperbolic groups. △ Less

Submitted 8 October, 2021; v1 submitted 24 October, 2017; originally announced October 2017.

Comments: Final version that appears in Groups Geom. Dyn. Erratum to the published version attached

Journal ref: Groups Geom. Dyn. 14 (2020), no. 3, 791-811

Characteristic classes of fiberwise branched surface bundles via arithmetic

Authors: Bena Tshishiku

Abstract: This paper is about cohomology of map** class groups from the perspective of arithmetic groups. For a closed surface $S$ of genus $g$, the map** class group $Mod(S)$ admits a well-known arithmetic quotient $Mod(S)\rightarrow Sp(2g, Z)$, under which the stable cohomology of $Sp(2g,Z)$ pulls back to algebra generated by the odd MMM classes of $Mod(S)$. We extend this example to other arithmetic… ▽ More This paper is about cohomology of map** class groups from the perspective of arithmetic groups. For a closed surface $S$ of genus $g$, the map** class group $Mod(S)$ admits a well-known arithmetic quotient $Mod(S)\rightarrow Sp(2g, Z)$, under which the stable cohomology of $Sp(2g,Z)$ pulls back to algebra generated by the odd MMM classes of $Mod(S)$. We extend this example to other arithmetic groups associated to map** class groups and explore some of the consequences for surface bundles. For $G=Z/mZ$ and for a regular $G$-cover $S\rightarrow S'$ (possibly branched), a finite index subgroup $Γ< Mod( S')$ admits a homomorphism to an arithmetic group $Sp^G<Sp(2g,Z)$. The induced map on cohomology can be understood using index theory. To this end, we describe a families version of the $G$-index theorem for the signature operator and apply this to (i) compute $H^2(Sp^G;Q)\rightarrow H^2(Γ;Q)$, (ii) re-derive Hirzebruch's formula for signature of a branched cover (in the case of a surface bundle), (iii) compute Toledo invariants of surface group representations to $SU(p,q)$ arising from Atiyah--Kodaira constructions, and (iv) describe how classes in $H^*(Sp^G;Q)$ give equivariant cobordism invariants for surface bundles with a fiberwise $G$ action, following Church--Farb--Thibault. △ Less

Submitted 22 June, 2016; originally announced June 2016.

MSC Class: 55R40 (primary) 20J06; 57M99; 58J20 (secondary)

On the non-realizability of braid groups by diffeomorphisms

Authors: Nick Salter, Bena Tshishiku

Abstract: For every compact surface $S$ of finite type (possibly with boundary components but without punctures), we show that when $n$ is sufficiently large there is no lift $σ$ of the surface braid group $B_n(S)$ to $\operatorname{Diff}(S,n)$, the group of $C^1$ diffeomorphisms preserving $n$ marked points and restricting to the identity on the boundary. Our methods are applied to give a new proof of Mori… ▽ More For every compact surface $S$ of finite type (possibly with boundary components but without punctures), we show that when $n$ is sufficiently large there is no lift $σ$ of the surface braid group $B_n(S)$ to $\operatorname{Diff}(S,n)$, the group of $C^1$ diffeomorphisms preserving $n$ marked points and restricting to the identity on the boundary. Our methods are applied to give a new proof of Morita's non-lifting theorem in the best possible range. These techniques extend to the more general setting of spaces of codimension-$2$ embeddings, and we obtain corresponding results for spherical motion groups, including the string motion group. △ Less

Submitted 23 November, 2015; v1 submitted 2 June, 2015; originally announced June 2015.

Comments: This version incorporates a number of improvements as suggested by an anonymous referee. Of primary interest among this is the inclusion of a new proof of the Morita non-lifting theorem for $C^1$ diffeomorphisms for all $g\ge 2$

Hyperbolic groups with boundary an n-dimensional Sierpinski space

Authors: Jean-François Lafont, Bena Tshishiku

Abstract: For n>6, we show that if G is a torsion-free hyperbolic group whose visual boundary is an (n-2)-dimensional Sierpinski space, then G=π_1(W) for some aspherical n-manifold W with nonempty boundary. Concerning the converse, we construct, for each n>3, examples of aspherical manifolds with boundary, whose fundamental group G is hyperbolic, but with visual boundary not homeomorphic to an (n-2)-dimensi… ▽ More For n>6, we show that if G is a torsion-free hyperbolic group whose visual boundary is an (n-2)-dimensional Sierpinski space, then G=π_1(W) for some aspherical n-manifold W with nonempty boundary. Concerning the converse, we construct, for each n>3, examples of aspherical manifolds with boundary, whose fundamental group G is hyperbolic, but with visual boundary not homeomorphic to an (n-2)-dimensional Sierpinski space. △ Less

Submitted 14 May, 2015; originally announced May 2015.

Comments: 11 pages

Journal ref: J. Topol. Anal. 11 (2019), pgs. 233-247

Pontryagin classes of locally symmetric manifolds

Authors: Bena Tshishiku

Abstract: In this note we compute low degree rational Pontryagin classes for every closed locally symmetric manifold of noncompact type. In particular, we answer the question: Which locally symmetric M have at least one nonzero Pontryagin class? In this note we compute low degree rational Pontryagin classes for every closed locally symmetric manifold of noncompact type. In particular, we answer the question: Which locally symmetric M have at least one nonzero Pontryagin class? △ Less

Submitted 3 April, 2014; originally announced April 2014.

Comments: 37 pages

MSC Class: 57R20 (Primary) 06B15 (Secondary)

Journal ref: Algebr. Geom. Topol. 15 (2015) 2709-2756

Cohomological obstructions to Nielsen realization

Authors: Bena Tshishiku

Abstract: For a based manifold (M,*), the question of whether the surjection Diff(M,*) \rightarrow π_0 Diff(M,*) admits a section is an example of a Nielsen realization problem. This question is related to a question about flat connections on M-bundles and is meaningful for M of any dimension. In dimension 2, Bestvina-Church-Souto showed a section does not exist when M is closed and has genus g\ge 2. Their… ▽ More For a based manifold (M,*), the question of whether the surjection Diff(M,*) \rightarrow π_0 Diff(M,*) admits a section is an example of a Nielsen realization problem. This question is related to a question about flat connections on M-bundles and is meaningful for M of any dimension. In dimension 2, Bestvina-Church-Souto showed a section does not exist when M is closed and has genus g\ge 2. Their techniques are cohomological and certain aspects are specific to surfaces. We give new cohomological techniques to generalize their result to many locally symmetric manifolds. The main tools include Chern-Weil theory, Milnor-Wood inequalities, and Margulis superrigidity. △ Less

Submitted 5 December, 2014; v1 submitted 3 February, 2014; originally announced February 2014.

Comments: 27 pages, final version, accepted for publication by the Journal of Topology

Duality properties of indicatrices of knots

Authors: Colin Adams, Dan Collins, Katherine Hawkins, Charmaine Sia, Robert Silversmith, Bena Tshishiku

Abstract: The bridge index and superbridge index of a knot are important invariants in knot theory. We define the bridge map of a knot conformation, which is closely related to these two invariants, and interpret it in terms of the tangent indicatrix of the knot conformation. Using the concepts of dual and derivative curves of spherical curves as introduced by Arnold, we show that the graph of the bridge ma… ▽ More The bridge index and superbridge index of a knot are important invariants in knot theory. We define the bridge map of a knot conformation, which is closely related to these two invariants, and interpret it in terms of the tangent indicatrix of the knot conformation. Using the concepts of dual and derivative curves of spherical curves as introduced by Arnold, we show that the graph of the bridge map is the union of the binormal indicatrix, its antipodal curve, and some number of great circles. Similarly, we define the inflection map of a knot conformation, interpret it in terms of the binormal indicatrix, and express its graph in terms of the tangent indicatrix. This duality relationship is also studied for another dual pair of curves, the normal and Darboux indicatrices of a knot conformation. The analogous concepts are defined and results are derived for stick knots. △ Less

Submitted 23 May, 2012; originally announced May 2012.

Comments: 22 pages, 9 figures

MSC Class: 57M25

Planar and spherical stick indices of knots

Authors: Colin Adams, Dan Collins, Katherine Hawkins, Charmaine Sia, Rob Silversmith, Bena Tshishiku

Abstract: The stick index of a knot is the least number of line segments required to build the knot in space. We define two analogous 2-dimensional invariants, the planar stick index, which is the least number of line segments in the plane to build a projection, and the spherical stick index, which is the least number of great circle arcs to build a projection on the sphere. We find bounds on these quantiti… ▽ More The stick index of a knot is the least number of line segments required to build the knot in space. We define two analogous 2-dimensional invariants, the planar stick index, which is the least number of line segments in the plane to build a projection, and the spherical stick index, which is the least number of great circle arcs to build a projection on the sphere. We find bounds on these quantities in terms of other knot invariants, and give planar stick and spherical stick constructions for torus knots and for compositions of trefoils. In particular, unlike most knot invariants,we show that the spherical stick index distinguishes between the granny and square knots, and that composing a nontrivial knot with a second nontrivial knot need not increase its spherical stick index. △ Less

Submitted 29 August, 2011; originally announced August 2011.

MSC Class: 57M25

Journal ref: Journal of Knot Theory and its Ramifications, Vol. 20, Issue 5, 721-739 (2011)