Showing 1–21 of 21 results for author: Fenn, R

Planar Doodles: Their Properties, Codes and Classification

Authors: Andrew Bartholomew, Roger Fenn

Abstract: We present those properties of planar doodles, especially when regarded as 4-valent graphs, that enable us to classify them into {\it prime} and {\it super prime} doodles by analogy to a knot sum. We describe a method for partially characterising a doodle diagram by a {\it doodle code} that describes the complementary regions of the diagram and use that code to enumerate all possible prime and sup… ▽ More We present those properties of planar doodles, especially when regarded as 4-valent graphs, that enable us to classify them into {\it prime} and {\it super prime} doodles by analogy to a knot sum. We describe a method for partially characterising a doodle diagram by a {\it doodle code} that describes the complementary regions of the diagram and use that code to enumerate all possible prime and super prime doodle diagrams via their dual graph. In addition we explore the relationship between planar doodles and twin groups, and note that a theorem of Tutte means that super prime doodles have a Hamiltonian circuit. We hope to expand upon this last point in a follow-up paper. △ Less

Submitted 17 August, 2023; originally announced August 2023.

Comments: 28 pages, many figures and tables

MSC Class: 05C10; 05A05; 05B30; 57M15; 57M25

Doodles and commutator identities

Authors: Andrew Bartholomew, Roger Fenn, Naoko Kamada, Seiichi Kamada

Abstract: A doodle is a collection of immersed circles without triple intersections in the $2$-sphere. It was shown by the second author and P.~Tayler that doodles induce commutator identities (identities amongst commutators) in a free group. In this paper we observe this idea more closely by concentrating on doodles with proper noose systems and elementary commutator identities. In particular we show that… ▽ More A doodle is a collection of immersed circles without triple intersections in the $2$-sphere. It was shown by the second author and P.~Tayler that doodles induce commutator identities (identities amongst commutators) in a free group. In this paper we observe this idea more closely by concentrating on doodles with proper noose systems and elementary commutator identities. In particular we show that there is a bijection between cobordism classes of colored doodles and weak equivalence classes of elementary commutator identities. △ Less

Submitted 24 February, 2021; v1 submitted 15 June, 2020; originally announced June 2020.

MSC Class: 57M07; 57M25

Alexander and Markov Theorems for Generalized Knots, I

Authors: Andrew Bartholomew, Roger Fenn

Abstract: In this paper we look at which Alexander and Markov theories can be defined for generalized knot theories In this paper we look at which Alexander and Markov theories can be defined for generalized knot theories △ Less

Submitted 12 February, 2019; originally announced February 2019.

MSC Class: 57M25

Colorings and doubled colorings of virtual doodles

Authors: Andrew Bartholomew, Roger Fenn, Naoko Kamada, Seiichi Kamada

Abstract: A virtual doodle is an equivalence class of virtual diagrams under an equivalence relation generated by flat version of classical Reidemesiter moves and virtual Reidemsiter moves such that Reidemeister moves of type 3 are forbidden. In this paper we discuss colorings of virtual diagrams using an algebra, called a doodle switch, and define an invariant of virtual doodles. Besides usual colorings of… ▽ More A virtual doodle is an equivalence class of virtual diagrams under an equivalence relation generated by flat version of classical Reidemesiter moves and virtual Reidemsiter moves such that Reidemeister moves of type 3 are forbidden. In this paper we discuss colorings of virtual diagrams using an algebra, called a doodle switch, and define an invariant of virtual doodles. Besides usual colorings of diagrams, we also introduce doubled colorings. △ Less

Submitted 11 September, 2018; originally announced September 2018.

MSC Class: 57M25; 57M27

On Gauss codes of virtual doodles

Authors: Andrew Bartholomew, Roger Fenn, Naoko Kamada, Seiichi Kamada

Abstract: We discuss Gauss codes of virtual diagrams and virtual doodles. The notion of a left canonical Gauss code is introduced and it is shown that oriented virtual doodles are uniquely presented by left canonical Gauss codes. We discuss Gauss codes of virtual diagrams and virtual doodles. The notion of a left canonical Gauss code is introduced and it is shown that oriented virtual doodles are uniquely presented by left canonical Gauss codes. △ Less

Submitted 15 June, 2018; originally announced June 2018.

MSC Class: 57M25; 57M27

Doodles on surfaces

Authors: Andrew Bartholomew, Roger Fenn, Naoko Kamada, Seiichi Kamada

Abstract: Doodles were introduced in [R. Fenn and P. Taylor, Introducing doodles, Topology of low-dimensional manifolds, pp. 37--43, Lecture Notes in Math., 722, Springer, Berlin, 1979] but were restricted to embedded circles in the 2-sphere. Khovanov, [M. Khovanov, Doodle groups, Trans. Amer. Math. Soc. 349 (1997), 2297--2315], extended the idea to immersed circles in the 2-sphere. In this paper we further… ▽ More Doodles were introduced in [R. Fenn and P. Taylor, Introducing doodles, Topology of low-dimensional manifolds, pp. 37--43, Lecture Notes in Math., 722, Springer, Berlin, 1979] but were restricted to embedded circles in the 2-sphere. Khovanov, [M. Khovanov, Doodle groups, Trans. Amer. Math. Soc. 349 (1997), 2297--2315], extended the idea to immersed circles in the 2-sphere. In this paper we further extend the range of doodles to any closed orientable surface. Uniqueness of minimal representatives is proved, and various example of doodles are given with their minimal representatives. We also introduce the notion of virtual doodles, and show that there is a natural one-to-one correspondence between doodles on surfaces and virtual doodles on the plane. △ Less

Submitted 17 January, 2018; v1 submitted 26 December, 2016; originally announced December 2016.

MSC Class: 57M25 (Primary); 57M27 (Secondary)

Unsolved Problems in Virtual Knot Theory and Combinatorial Knot Theory

Authors: Roger Fenn, Denis P. Ilyutko, Louis H. Kauffman, Vassily O. Manturov

Abstract: This paper is a concise introduction to virtual knot theory, coupled with a list of research problems in this field. This paper is a concise introduction to virtual knot theory, coupled with a list of research problems in this field. △ Less

Submitted 9 September, 2014; originally announced September 2014.

Comments: 65 pages, 24 figures. arXiv admin note: text overlap with arXiv:math/0405428

Tackling the Trefoils

Authors: Roger Fenn

Abstract: The classical trefoil is famous for having a three-colouring which distinguishes it from the unknot. The three-colouring is also notorious for not distinguishing the right handed from the left handed trefoil. However with a bit of tweaking the three colours can also be used for this task. What lies behind the method is a new operation on biracks called doubling which converts the 3-colour quandle… ▽ More The classical trefoil is famous for having a three-colouring which distinguishes it from the unknot. The three-colouring is also notorious for not distinguishing the right handed from the left handed trefoil. However with a bit of tweaking the three colours can also be used for this task. What lies behind the method is a new operation on biracks called doubling which converts the 3-colour quandle into a biquandle. Colouring with this biquandle distinguishes the right handed from the left handed trefoil. Equivalently it defines an element of the homology of the quandle or biquandle classifying space. △ Less

Submitted 4 October, 2011; originally announced October 2011.

Update of "Biquandles of Small Size and some Invariants of Virtual and Welded Knots"

Authors: Andrew Bartholomew, Roger Fenn

Abstract: In this paper we give the results of a computer search for biracks of small size and we give various interpretations of these findings. The list includes biquandles, racks and quandles together with new invariants of welded knots and examples of welded knots which are shown to be non-trivial by the new invariants. These can be used to answer various questions concerning virtual and welded knots. A… ▽ More In this paper we give the results of a computer search for biracks of small size and we give various interpretations of these findings. The list includes biquandles, racks and quandles together with new invariants of welded knots and examples of welded knots which are shown to be non-trivial by the new invariants. These can be used to answer various questions concerning virtual and welded knots. As an application we reprove the result that the Burau map from braids to matrices is non injective and give an example of a non-trivial virtual (welded) knot which cannot be distinguished from the unknot by any linear biquandles. (This is a revised version of an earlier paper of the same name) △ Less

Submitted 8 April, 2010; originally announced April 2010.

Biquandles of Small Size and some Invariants of Virtual and Welded Knots

Authors: Andrew Bartholomew, Roger Fenn

Abstract: In this paper we give the results of a computer search for biracks of small size and we give various interpretations of these findings. The list includes biquandles, racks and quandles together with new invariants of welded knots and examples of welded knots which are shown to be non-trivial by the new invariants. These can be used to answer various questions concerning virtual and welded knots.… ▽ More In this paper we give the results of a computer search for biracks of small size and we give various interpretations of these findings. The list includes biquandles, racks and quandles together with new invariants of welded knots and examples of welded knots which are shown to be non-trivial by the new invariants. These can be used to answer various questions concerning virtual and welded knots. As an application we reprove the result that the Burau map from braids to matrices is non injective and give an example of a non-trivial virtual (welded) knot which cannot be distinguished from the unknot by any linear biquandles. △ Less

Submitted 28 January, 2010; originally announced January 2010.

Comments: 14 pages, computer output of small biquandles, new classical, virtual and welded knot invariants

MSC Class: 57M25

New Invariants of Long Virtual Knots

Authors: Andrew Bartholomew, Roger Fenn, Naoko Kamada, Seiichi Kamada

Abstract: This paper extends the construction of invariants for virtual knots to virtual long knots and introduces two new invariant modules of virtual long knots. Several interesting features are described that distinguish virtual long knots from their classical counterparts with respect to their symmetries and the concatenation product. This paper extends the construction of invariants for virtual knots to virtual long knots and introduces two new invariant modules of virtual long knots. Several interesting features are described that distinguish virtual long knots from their classical counterparts with respect to their symmetries and the concatenation product. △ Less

Submitted 31 May, 2007; originally announced May 2007.

Comments: 14 pages 11 figures

MSC Class: 57M27

Quaternionic Invariants of Virtual Knots and Links

Authors: Andrew Bartholomew, Roger Fenn

Abstract: In this paper we define and give examples of a family of polynomial invariants of virtual knots and links. They arise by considering certain 2$\times$2 matrices with entries in a possibly non-commutative ring, for example the quaternions. These polynomials are sufficiently powerful to distinguish the Kishino knot from any classical knot, including the unknot. In this paper we define and give examples of a family of polynomial invariants of virtual knots and links. They arise by considering certain 2$\times$2 matrices with entries in a possibly non-commutative ring, for example the quaternions. These polynomials are sufficiently powerful to distinguish the Kishino knot from any classical knot, including the unknot. △ Less

Submitted 16 October, 2006; originally announced October 2006.

Comments: 21 pages, 13 figures, accepted by JKTR

MSC Class: 57M25

Quaternion Algebras and Invariants of Virtual Knots and Links II: The Hyperbolic Case

Authors: Steven Budden, Roger Fenn

Abstract: Let $A, B$ be invertible, non-commuting elements of a ring $R$. Suppose that $A-1$ is also invertible and that the equation $$[B,(A-1)(A,B)]=0$$ called the fundamental equation is satisfied. Then an invariant $R$-module is defined for any diagram of a (virtual) knot or link. Solutions in the classic quaternion case have been found by Bartholomew, Budden and Fenn. Solutions in the generalised qua… ▽ More Let $A, B$ be invertible, non-commuting elements of a ring $R$. Suppose that $A-1$ is also invertible and that the equation $$[B,(A-1)(A,B)]=0$$ called the fundamental equation is satisfied. Then an invariant $R$-module is defined for any diagram of a (virtual) knot or link. Solutions in the classic quaternion case have been found by Bartholomew, Budden and Fenn. Solutions in the generalised quaternion case have been found by Fenn in an earlier paper. These latter solutions are only partial in the case of $2\times2$ matrices and the aim of this paper is to provide solutions to the missing cases. △ Less

Submitted 16 October, 2006; originally announced October 2006.

Comments: 11 pages, accepted by JKTR

MSC Class: 57M25

Weyl Algebras and Knots

Authors: Roger Fenn, Vladimir Turaev

Abstract: In this paper we push forward results on the invariant ${\cal F}$-module of a virtual knot investigated by the first named author where ${\cal F}$ is the algebra with two invertible generators $A,B$ and one relation $A^{-1}B^{-1}AB-B^{-1}AB= BA^{-1}B^{-1}A-A$. For flat knots and links the two sides of the relation equation are put equal to unity and the algebra becomes the Weyl algebra. If this… ▽ More In this paper we push forward results on the invariant ${\cal F}$-module of a virtual knot investigated by the first named author where ${\cal F}$ is the algebra with two invertible generators $A,B$ and one relation $A^{-1}B^{-1}AB-B^{-1}AB= BA^{-1}B^{-1}A-A$. For flat knots and links the two sides of the relation equation are put equal to unity and the algebra becomes the Weyl algebra. If this is perturbed and the two sides of the relation equation are put equal to a general element, $q$, of the ground ring, then the resulting module lays claim to be the correct generalization of the Alexander module. Many finite dimensional representations are given together with calculations. △ Less

Submitted 16 October, 2006; originally announced October 2006.

Comments: 18 pages, 5 figures, accepted by Journal of Geometry and Physics

MSC Class: 57M25

Quaternion Algebras and Invariants of Virtual Knots and Links I: The Elliptic Case

Authors: Roger Fenn

Abstract: In this paper we show how generalized quaternions, including 2X2 matrices, can be used to find solutions of a non-commuting equation intimately connected with braid groups. These solutions can then be used to find polynomial invariants of virtual knots and links. In this paper we show how generalized quaternions, including 2X2 matrices, can be used to find solutions of a non-commuting equation intimately connected with braid groups. These solutions can then be used to find polynomial invariants of virtual knots and links. △ Less

Submitted 16 October, 2006; v1 submitted 20 June, 2005; originally announced June 2005.

Comments: 25 pages, 13 figures

MSC Class: 57M25;57M27

Problems on invariants of knots and 3-manifolds

Authors: J. E. Andersen, N. Askitas, D. Bar-Natan, S. Baseilhac, R. Benedetti, S. Bigelow, M. Boileau, R. Bott, J. S. Carter, F. Deloup, N. Dunfield, R. Fenn, E. Ferrand, S. Garoufalidis, M. Goussarov, E. Guadagnini, H. Habiro, S. K. Hansen, T. Harikae, A. Haviv, M. -J. Jeong, V. Jones, R. Kashaev, Y. Kawahigashi, T. Kerler , et al. (35 additional authors not shown)

Abstract: This is a list of open problems on invariants of knots and 3-manifolds with expositions of their history, background, significance, or importance. This list was made by editing open problems given in problem sessions in the workshop and seminars on `Invariants of Knots and 3-Manifolds' held at Kyoto in 2001. This is a list of open problems on invariants of knots and 3-manifolds with expositions of their history, background, significance, or importance. This list was made by editing open problems given in problem sessions in the workshop and seminars on `Invariants of Knots and 3-Manifolds' held at Kyoto in 2001. △ Less

Submitted 9 June, 2004; originally announced June 2004.

Comments: Edited by T. Ohtsuki. Published by Geometry and Topology Monographs at http://www.maths.warwick.ac.uk/gt/GTMon4/paper24.abs.html

MSC Class: 20F36; 57M25; 57M27; 57R56; 13B25; 17B10; 17B37; 18D10; 20C08; 20G42; 22E99; 41A60; 46L37; 57M05; 57M50; 57N10; 57Q10; 81T18; 81T45

Journal ref: Geom. Topol. Monogr. 4 (2002) 377-572

Virtual Knot Theory --Unsolved Problems

Authors: Roger Fenn, Louis H. Kauffman, Vassily O. Manturov

Abstract: This paper is an introduction to the theory of virtual knots and links and it gives a list of unsolved problems in this subject. This paper is an introduction to the theory of virtual knots and links and it gives a list of unsolved problems in this subject. △ Less

Submitted 17 June, 2005; v1 submitted 22 May, 2004; originally announced May 2004.

Comments: 33 pages, 7 figures, LaTeX document

MSC Class: 57M25

The rack space

Authors: Roger Fenn, Colin Rourke, Brian Sanderson

Abstract: The main result of this paper is a new classification theorem for links (smooth embeddings in codimension 2). The classifying space is the rack space (defined in [Trunks and classifying spaces, Applied Categorical Structures, 3 (1995) 321--356]) and the classifying bundle is the first James bundle (defined in "James bundles" math.AT/0301354). We investigate the algebraic topology of this class… ▽ More The main result of this paper is a new classification theorem for links (smooth embeddings in codimension 2). The classifying space is the rack space (defined in [Trunks and classifying spaces, Applied Categorical Structures, 3 (1995) 321--356]) and the classifying bundle is the first James bundle (defined in "James bundles" math.AT/0301354). We investigate the algebraic topology of this classifying space and report on calculations given elsewhere. Apart from defining many new knot and link invariants (including generalised James--Hopf invariants), the classification theorem has some unexpected applications. We give a combinatorial interpretation for π_2 of a complex which can be used for calculations and some new interpretations of the higher homotopy groups of the 3--sphere. We also give a cobordism classification of virtual links. △ Less

Submitted 15 June, 2003; v1 submitted 16 April, 2003; originally announced April 2003.

Comments: This paper is largely extracted from our January 1996 preprint `James bundles and applications' available at http://www.maths.warwick.ac.uk/~cpr/ftp/james.ps Version 2: minor corrections

MSC Class: 55Q40; 57M25; 57Q45; 57R15; 57R20; 57R40

James bundles

Authors: Roger Fenn, Colin Rourke, Brian Sanderson

Abstract: We study cubical sets without degeneracies, which we call square sets. These sets arise naturally in a number of settings and they have a beautiful intrinsic geometry; in particular a square set C has an infinite family of associated square sets J^i(C), i=1,2,..., which we call James complexes. There are mock bundle projections p_i:|J^i(C)|-->|C| (which we call James bundles) defining classes in… ▽ More We study cubical sets without degeneracies, which we call square sets. These sets arise naturally in a number of settings and they have a beautiful intrinsic geometry; in particular a square set C has an infinite family of associated square sets J^i(C), i=1,2,..., which we call James complexes. There are mock bundle projections p_i:|J^i(C)|-->|C| (which we call James bundles) defining classes in unstable cohomotopy which generalise the classical James--Hopf invariants of Omega(S^2). The algebra of these classes mimics the algebra of the cohomotopy of Omega(S^2) and the reduction to cohomology defines a sequence of natural characteristic classes for a square set. An associated map to BO leads to a generalised cohomology theory with geometric interpretation similar to that for Mahowald orientation [M Mahowald, Ring Spectra which are Thom complexes, Duke Math. J. 46 (1979) 549--559] and [B Sanderson, The geometry of Mahowald orientations, SLN 763 (1978) 152--174]. △ Less

Submitted 30 January, 2003; originally announced January 2003.

Comments: This paper is extracted from our January 1996 preprint `James bundles and applications' available at: http://www.maths.warwick.ac.uk/~cpr/ftp/james.ps

MSC Class: 55N22; 55P44; 57R15; 57R20; 57R90

Characterisation of a class of equations with solutions over torsion-free groups

Authors: Roger Fenn, Colin Rourke

Abstract: We study equations over torsion-free groups in terms of their `t-shape' (the occurences of the variable t in the equation). A t-shape is good if any equation with that shape has a solution. It is an outstanding conjecture that all t-shapes are good. In [Klyachko's methods and the solution of equations over torsion-free groups, l'Enseign. Maths. 42 (1996) 49--74] we proved the conjecture for a la… ▽ More We study equations over torsion-free groups in terms of their `t-shape' (the occurences of the variable t in the equation). A t-shape is good if any equation with that shape has a solution. It is an outstanding conjecture that all t-shapes are good. In [Klyachko's methods and the solution of equations over torsion-free groups, l'Enseign. Maths. 42 (1996) 49--74] we proved the conjecture for a large class of t-shapes called amenable. In [Tesselations of S^2 and equations over torsion-free groups, Proc. Edinburgh Maths. Soc. 38 (1995) 485--493] Clifford and Goldstein characterised a class of good t-shapes using a transformation on t-shapes called the Magnus derivative. In this note we introduce an inverse transformation called blowing up. Amenability can be defined using blowing up; moreover the connection with differentiation gives a useful characterisation and implies that the class of amenable t-shapes is strictly larger than the class considered by Clifford and Goldstein. △ Less

Submitted 21 October, 1998; originally announced October 1998.

Comments: 8 pages. Published copy, also available at http://www.maths.warwick.ac.uk/gt/GTMon1/paper8.abs.html

Report number: G&T migration mon1-8 MSC Class: 20E34; 20E22; 20E06; 20F05

Journal ref: Geom. Topol. Monogr. 1 (1998), 159-166

Ordering the braid groups

Authors: Roger Fenn, Michael T Greene, Dale Rolfsen, Colin Rourke, Bert Wiest

Abstract: We give an explicit geometric argument that Artin's braid group $B_n$ is right-orderable. The construction is elementary, natural, and leads to a new, effectively computable, canonical form for braids which we call left-consistent canonical form. The left-consistent form of a braid which is positive (respectively negative) in our order has consistently positive (respectively negative) exponent i… ▽ More We give an explicit geometric argument that Artin's braid group $B_n$ is right-orderable. The construction is elementary, natural, and leads to a new, effectively computable, canonical form for braids which we call left-consistent canonical form. The left-consistent form of a braid which is positive (respectively negative) in our order has consistently positive (respectively negative) exponent in the smallest braid generator which occurs. It follows that our ordering is identical to that of Dehornoy, constructed by very different means, and we recover Dehornoy's main theorem that any braid can be put into such a form using either positive or negative exponent in the smallest generator but not both. Our definition of order is strongly connected with Mosher's normal form and this leads to an algorithm to decide whether a given braid is positive, trivial, or negative which is quadratic in the length of the braid word. △ Less

Submitted 3 September, 1998; originally announced September 1998.

Comments: 24 pages, 10 figures

MSC Class: 20F60; 06F15; 20F36; 57M07; 57M25