Showing 1–28 of 28 results for author: Bigelow, S

Quantum groups from homologies of configuration spaces

Authors: Stephen Bigelow, Jules Martel

Abstract: We reconstruct a quantum group associated with any Lie algebra together with its representation theory from twisted homologies of generalized configuration spaces of disks. Along the way it brings new combinatorics to the theory, but our diagrams represent true submanifolds of configuration spaces and combinatorial relations between them translate actual twisted homological relations. We reconstruct a quantum group associated with any Lie algebra together with its representation theory from twisted homologies of generalized configuration spaces of disks. Along the way it brings new combinatorics to the theory, but our diagrams represent true submanifolds of configuration spaces and combinatorial relations between them translate actual twisted homological relations. △ Less

Submitted 11 May, 2024; originally announced May 2024.

Comments: 46p. many figures

Demonstration of Real-Time Precision Optical Time Synchronization in a True Three-Node Architecture

Authors: Kyle W. Martin, Nader Zaki, Matthew S. Bigelow, Benjamin K. Stuhl, Nolan Matthews, John D. Elgin, Kimberly Frey

Abstract: Multi-node optical clock networks will enable future studies of fundamental physics and enable applications in quantum and classical communications as well as navigation and geodesy. We implement the first ever multi-node optical clock network with real-time, relative synchronization over free-space communication channels and precision on the order of 10 fs, realized as a three-node system in a hu… ▽ More Multi-node optical clock networks will enable future studies of fundamental physics and enable applications in quantum and classical communications as well as navigation and geodesy. We implement the first ever multi-node optical clock network with real-time, relative synchronization over free-space communication channels and precision on the order of 10 fs, realized as a three-node system in a hub-and-spoke topology. In this paper we describe the system and its performance, including a new, independent, out-of-loop verification of two-way optical time synchronization. △ Less

Submitted 26 December, 2023; originally announced December 2023.

Clean, Robust Alkali Sources by Intercalation within Highly-Oriented Pyrolytic Graphite

Authors: Rudolph N. Kohn, Matthew S. Bigelow, Mary Spanjers, Benjamin K. Stuhl, Brian L. Kasch, Spencer E. Olson, Eric A. Imhof, David A. Hostutler, Matthew B. Squires

Abstract: We report the fabrication, characterization, and use of rubidium vapor dispensers based on highly-oriented pyrolytic graphite (HOPG) intercalated with metallic rubidium. Compared to commercial chromate salt dispensers, these intercalated HOPG (IHOPG) dispensers hold an order of magnitude more rubidium in a similar volume, require less than one-fourth the heating power, and emit less than one-half… ▽ More We report the fabrication, characterization, and use of rubidium vapor dispensers based on highly-oriented pyrolytic graphite (HOPG) intercalated with metallic rubidium. Compared to commercial chromate salt dispensers, these intercalated HOPG (IHOPG) dispensers hold an order of magnitude more rubidium in a similar volume, require less than one-fourth the heating power, and emit less than one-half as many impurities. Appropriate processing permits exposure of the IHOPG to atmosphere for over ninety minutes without any adverse effects. Intercalation of cesium and potassium into HOPG have also been demonstrated in the literature, which suggests that IHOPG dispensers may also be be made for those metals. △ Less

Submitted 3 March, 2020; v1 submitted 3 September, 2019; originally announced September 2019.

Comments: 20 pages, 6 figures. The following article has been accepted by Review of Scientific Instruments. After it is published, it will be found at http://dx.doi.org/10.1063/1.5128120

On the Burau Representation of $B_4$ modulo $p$

Authors: A. Beridze, S. Bigelow, P. Traczyk

Abstract: The problem of faithfulness of the (reduced) Burau representation for $n =4$ is known to be equivalent to the problem of whether certain two matrices $A$ and $B$ generate a free group of rank two. It is known that $A^3$ and $B^3$ generate a free group of rank two \cite{9}, \cite{10}, \cite{4}. We prove that they also generate a free group when considered as matrices over the… ▽ More The problem of faithfulness of the (reduced) Burau representation for $n =4$ is known to be equivalent to the problem of whether certain two matrices $A$ and $B$ generate a free group of rank two. It is known that $A^3$ and $B^3$ generate a free group of rank two \cite{9}, \cite{10}, \cite{4}. We prove that they also generate a free group when considered as matrices over the $\mathbb{Z}_p[t,t^{-1}]$ for any integer $p > 1$. △ Less

Submitted 23 January, 2020; v1 submitted 26 April, 2019; originally announced April 2019.

MSC Class: 20F36 20F29

Journal ref: TMJ, Special issue, 2021, 57-62

Compact Optical Atomic Clock Based on a Two-Photon Transition in Rubidium

Authors: Kyle W. Martin, Gretchen Phelps, Nathan D. Lemke, Matthew S. Bigelow, Benjamin Stuhl, Michael Wojcik, Michael Holt, Ian Coddington, Michael W. Bishop, Johh H. Burke

Abstract: Extra-laboratory atomic clocks are necessary for a wide array of applications (e.g. satellite-based navigation and communication). Building upon existing vapor cell and laser technologies, we describe an optical atomic clock, designed around a simple and manufacturable architecture, that utilizes the 778~nm two-photon transition in rubidium and yields fractional frequency instabilities of… ▽ More Extra-laboratory atomic clocks are necessary for a wide array of applications (e.g. satellite-based navigation and communication). Building upon existing vapor cell and laser technologies, we describe an optical atomic clock, designed around a simple and manufacturable architecture, that utilizes the 778~nm two-photon transition in rubidium and yields fractional frequency instabilities of $3\times10^{-13}/\sqrt{τ(s)}$ for $τ$ from 1~s to 10000~s. We present a complete stability budget for this system and explore the required conditions under which a fractional frequency instability of $1\times 10^{-15}$ can be maintained on long timescales. We provide precise characterization of the leading sensitivities to external processes including magnetic fields and fluctuations of the vapor cell temperature and 778~nm laser power. The system is constructed primarily from commercially-available components, an attractive feature from the standpoint of commercialization and deployment of optical frequency standards. △ Less

Submitted 26 March, 2019; originally announced March 2019.

Comments: 9 pages, 6 figures

Journal ref: Phys. Rev. Applied 9, 014019, 2018

A new approach to the $SL_n$ spider

Authors: Stephen Bigelow

Abstract: The $SL_n$ spider gives a diagrammatic way to encode the representation category of the quantum group $U_q(sl_n)$. The aim of this paper is to define a new spider that contains the $SL_n$ spider. The new spider is defined by generators and relations, according to fairly simple rules that start with combinatorial data coming from the root system of $SL_n$. The $SL_n$ spider gives a diagrammatic way to encode the representation category of the quantum group $U_q(sl_n)$. The aim of this paper is to define a new spider that contains the $SL_n$ spider. The new spider is defined by generators and relations, according to fairly simple rules that start with combinatorial data coming from the root system of $SL_n$. △ Less

Submitted 30 August, 2018; originally announced August 2018.

Comments: 11 pages, 4 figures

MSC Class: 17B37 (Primary) 17B10 (Secondary)

Realizing an exact entangling gate using Fibonacci anyons

Authors: Stephen Bigelow, Claire Levaillant

Abstract: Fibonacci anyons are attractive for use in topological quantum computation because any unitary transformation of their state space can be approximated arbitrarily accurately by braiding. However there is no known braid that entangles two qubits without leaving the space spanned by the two qubits. In other words, there is no known "leakage-free" entangling gate made by braiding. In this paper, we p… ▽ More Fibonacci anyons are attractive for use in topological quantum computation because any unitary transformation of their state space can be approximated arbitrarily accurately by braiding. However there is no known braid that entangles two qubits without leaving the space spanned by the two qubits. In other words, there is no known "leakage-free" entangling gate made by braiding. In this paper, we provide a remedy to this problem by supplementing braiding with measurement operations in order to produce an exact controlled rotation gate on two qubits. △ Less

Submitted 3 February, 2018; originally announced February 2018.

Comments: 8 pages, 2 figures

MSC Class: 81P68; 57M27

The pop-switch planar algebra and the Jones-Wenzl idempotents

Authors: Ellie Grano, Stephen Bigelow

Abstract: The Jones-Wenzl idempotents are elements of the Temperley-Lieb planar algebra that are important, but complicated to write down. We will present a new planar algebra, the pop-switch planar algebra, which contains the Temperley-Lieb planar algebra. It is motivated by Jones' idea of the graph planar algebra of type $A_n$. In the tensor category of idempotents of the pop-switch planar algebra, the… ▽ More The Jones-Wenzl idempotents are elements of the Temperley-Lieb planar algebra that are important, but complicated to write down. We will present a new planar algebra, the pop-switch planar algebra, which contains the Temperley-Lieb planar algebra. It is motivated by Jones' idea of the graph planar algebra of type $A_n$. In the tensor category of idempotents of the pop-switch planar algebra, the $n$th Jones-Wenzl idempotent is isomorphic to a direct sum of $n+1$ diagrams consisting of only vertical strands. △ Less

Submitted 19 January, 2015; originally announced January 2015.

Bowling ball representations of braid groups

Authors: Stephen Bigelow

Abstract: In a remark in his seminal 1987 paper, Jones describes a way to define the Burau matrix of a positive braid using a metaphor of bowling a ball down a bowling alley with braided lanes. We extend this definition to allow multiple bowling balls to be bowled simultaneously. We obtain the Iwahori-Hecke algebra and a cabled version of the Temperley-Lieb representation. In a remark in his seminal 1987 paper, Jones describes a way to define the Burau matrix of a positive braid using a metaphor of bowling a ball down a bowling alley with braided lanes. We extend this definition to allow multiple bowling balls to be bowled simultaneously. We obtain the Iwahori-Hecke algebra and a cabled version of the Temperley-Lieb representation. △ Less

Submitted 14 September, 2014; originally announced September 2014.

Comments: 8 pages, 0 figures

MSC Class: 20F36 (Primary) 57M25 (Secondary); 14J26 (Secondary)

A diagrammatic definition of $U_q(sl_2)$

Authors: Stephen Bigelow

Abstract: We give a diagrammatic definition of $U_q(sl_2)$ when $q$ is not a root of unity, including its Hopf algebra structure and its relationship with the Temperley-Lieb category. We give a diagrammatic definition of $U_q(sl_2)$ when $q$ is not a root of unity, including its Hopf algebra structure and its relationship with the Temperley-Lieb category. △ Less

Submitted 7 August, 2014; v1 submitted 5 August, 2013; originally announced August 2013.

MSC Class: 17B37; 57M27

Principal graph stability and the jellyfish algorithm

Authors: Stephen Bigelow, David Penneys

Abstract: We show that if the principal graph of a subfactor planar algebra of modulus δ>2 is stable for two depths, then it must end in A_{finite} tails. This result is analogous to Popa's theorem on principal graph stability. We use these theorems to show that an (n-1) supertransitive subfactor planar algebra has jellyfish generators at depth n if and only if its principal graph is a spoke graph. We show that if the principal graph of a subfactor planar algebra of modulus δ>2 is stable for two depths, then it must end in A_{finite} tails. This result is analogous to Popa's theorem on principal graph stability. We use these theorems to show that an (n-1) supertransitive subfactor planar algebra has jellyfish generators at depth n if and only if its principal graph is a spoke graph. △ Less

Submitted 7 August, 2012; originally announced August 2012.

Comments: 25 pages, many figures

MSC Class: 46L37 (Primary); 18D05; 57M20 (Secondary)

A diagrammatic Alexander invariant of tangles

Authors: Stephen Bigelow

Abstract: We give a new construction of the one-variable Alexander polynomial of an oriented knot or link, and show that it generalizes to a vector valued invariant of oriented tangles. We give a new construction of the one-variable Alexander polynomial of an oriented knot or link, and show that it generalizes to a vector valued invariant of oriented tangles. △ Less

Submitted 24 March, 2012; originally announced March 2012.

Comments: 8 pages

MSC Class: 57M27; 57M25

Alexander representation of tangles

Authors: Stephen Bigelow, Alessia Cattabriga, Vincent Florens

Abstract: A tangle is an oriented 1-submanifold of the cylinder whose endpoints lie on the two disks in the boundary of the cylinder. Using an algebraic tool developed by Lescop, we extend the Burau representation of braids to a functor from the category of oriented tangles to the category of Z[t,t^{-1}]-modules. For (1,1)-tangles (i.e., tangles with one endpoint on each disk) this invariant coincides with… ▽ More A tangle is an oriented 1-submanifold of the cylinder whose endpoints lie on the two disks in the boundary of the cylinder. Using an algebraic tool developed by Lescop, we extend the Burau representation of braids to a functor from the category of oriented tangles to the category of Z[t,t^{-1}]-modules. For (1,1)-tangles (i.e., tangles with one endpoint on each disk) this invariant coincides with the Alexander polynomial of the link obtained by taking the closure of the tangle. We use the notion of plat position of a tangle to give a constructive proof of invariance in this case. △ Less

Submitted 25 July, 2014; v1 submitted 20 March, 2012; originally announced March 2012.

Comments: 13 pages, 5 figures

MSC Class: 57M27; 57M25

The Alexander and Jones Polynomials Through Representations of Rook Algebras

Authors: Stephen Bigelow, Eric Ramos, Ren Yi

Abstract: In the 1920's Artin defined the braid group in an attempt to understand knots in a more algebraic setting. A braid is a certain arrangement of strings in three-dimensional space. It is a celebrated theorem of Alexander that every knot is obtainable from a braid by identifying the endpoints of each string. Because of this correspondence, the Jones and Alexander polynomials, two of the most importan… ▽ More In the 1920's Artin defined the braid group in an attempt to understand knots in a more algebraic setting. A braid is a certain arrangement of strings in three-dimensional space. It is a celebrated theorem of Alexander that every knot is obtainable from a braid by identifying the endpoints of each string. Because of this correspondence, the Jones and Alexander polynomials, two of the most important knot invariants, can be described completely using the braid group. There has been a recent growth of interest in other diagrammatic algebras, whose elements have a similar topological flavor to the braid group. These have wide ranging applications in areas including representation theory and quantum computation. We consider representations of the braid group when passed through another diagrammatic algebra, the planar rook algebra. By studying traces of these matrices, we recover both the Jones and Alexander polynomials. △ Less

Submitted 3 October, 2011; originally announced October 2011.

Constructing the extended Haagerup planar algebra

Authors: Stephen Bigelow, Scott Morrison, Emily Peters, Noah Snyder

Abstract: We construct a new subfactor planar algebra, and as a corollary a new subfactor, with the `extended Haagerup' principal graph pair. This completes the classification of irreducible amenable subfactors with index in the range $(4,3+\sqrt{3})$, which was initiated by Haagerup in 1993. We prove that the subfactor planar algebra with these principal graphs is unique. We give a skein theoretic descript… ▽ More We construct a new subfactor planar algebra, and as a corollary a new subfactor, with the `extended Haagerup' principal graph pair. This completes the classification of irreducible amenable subfactors with index in the range $(4,3+\sqrt{3})$, which was initiated by Haagerup in 1993. We prove that the subfactor planar algebra with these principal graphs is unique. We give a skein theoretic description, and a description as a subalgebra generated by a certain element in the graph planar algebra of its principal graph. In the skein theoretic description there is an explicit algorithm for evaluating closed diagrams. This evaluation algorithm is unusual because intermediate steps may increase the number of generators in a diagram. △ Less

Submitted 22 February, 2011; v1 submitted 22 September, 2009; originally announced September 2009.

Comments: 45 pages (final version; improved introduction)

MSC Class: 46L37; 18D10

Journal ref: Acta Mathematica, vol. 209 (2012), pp. 29--82

Skein theory for the ADE planar algebras

Authors: Stephen Bigelow

Abstract: We give generators and relations for the planar algebras corresponding to $ADE$ subfactors. We also give a basis and an algorithm to express an arbitrary diagram as a linear combination of these basis diagrams. We give generators and relations for the planar algebras corresponding to $ADE$ subfactors. We also give a basis and an algorithm to express an arbitrary diagram as a linear combination of these basis diagrams. △ Less

Submitted 1 March, 2009; originally announced March 2009.

MSC Class: 46L37; 57M15; 46M99

Generalized Long-Moody representations of braid groups

Authors: Stephen Bigelow, Jianjun Paul Tian

Abstract: Long and Moody gave a method of constructing representations of the braid group B_n. We discuss some ways to generalize their construction. One of these gives representations of subgroups of B_n, including the Gassner representation of the pure braid group as a special case. Another gives representations of the Hecke algebra. Long and Moody gave a method of constructing representations of the braid group B_n. We discuss some ways to generalize their construction. One of these gives representations of subgroups of B_n, including the Gassner representation of the pure braid group as a special case. Another gives representations of the Hecke algebra. △ Less

Submitted 18 July, 2008; originally announced July 2008.

Comments: 8 pages, no figures

MSC Class: 20F36 (Primary) 20C15; 57M27 (Secondary)

A homological definition of the HOMFLY polynomial

Authors: Stephen Bigelow

Abstract: We give a new definition of the knot invariant associated to the Lie algebra su_{N+1}. The knot or link must be presented as the plat closure of a braid. The invariant is then a homological intersection pairing between two submanifolds of a configuration space of points in a disk. This generalizes previous work on the Jones polynomial, which is the case N=1. We give a new definition of the knot invariant associated to the Lie algebra su_{N+1}. The knot or link must be presented as the plat closure of a braid. The invariant is then a homological intersection pairing between two submanifolds of a configuration space of points in a disk. This generalizes previous work on the Jones polynomial, which is the case N=1. △ Less

Submitted 21 August, 2006; originally announced August 2006.

Comments: 22 pages, 7 figures

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

Journal ref: Algebr. Geom. Topol. 7 (2007) 1409-1440

Braid groups and Iwahori-Hecke algebras

Authors: Stephen Bigelow

Abstract: This article was submitted to a volume under preparation, with Benson Farb as the editor, on the topic of open problems in surface map** class groups. The braid group B_n is the map** class group of an n-times punctured disk. The Iwahori-Hecke algebra H_n is a quotient of the braid group algebra of B_n by a quadratic relation in the standard generators. We discuss how to use H_n to define… ▽ More This article was submitted to a volume under preparation, with Benson Farb as the editor, on the topic of open problems in surface map** class groups. The braid group B_n is the map** class group of an n-times punctured disk. The Iwahori-Hecke algebra H_n is a quotient of the braid group algebra of B_n by a quadratic relation in the standard generators. We discuss how to use H_n to define the Jones polynomial of a knot or link. We also summarize the classification of the irreducible representations of H_n. We conclude with some directions for future research that would apply map** class group techniques to questions related to H_n. △ Less

Submitted 3 May, 2005; originally announced May 2005.

Comments: 15 pages, 4 figures

MSC Class: 20F36 (Primary) 20C08; 57M27 (Secondary)

Homological representations of the Iwahori-Hecke algebra

Authors: Stephen Bigelow

Abstract: Representations of the Iwahori-Hecke algebra of type A_{n-1} are equivalent to representations of the braid group B_n for which the generators satisfy a certain quadratic relation. We show how to construct such representations from the natural action of B_n on the homology of configuration spaces of the punctured disk. We conjecture that all irreducible representations of Hecke_n can be obtained… ▽ More Representations of the Iwahori-Hecke algebra of type A_{n-1} are equivalent to representations of the braid group B_n for which the generators satisfy a certain quadratic relation. We show how to construct such representations from the natural action of B_n on the homology of configuration spaces of the punctured disk. We conjecture that all irreducible representations of Hecke_n can be obtained in this way, even for non-generic values of q. △ Less

Submitted 28 December, 2004; originally announced December 2004.

Comments: Published by Geometry and Topology Monographs at http://www.maths.warwick.ac.uk/gt/GTMon7/paper16.abs.html

MSC Class: 20C08; 20F36; 57M07

Journal ref: Geom. Topol. Monogr. 7 (2004) 493-507

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

Representations of braid groups

Authors: Stephen Bigelow

Abstract: In this paper we survey some work on representations of $B_n$ given by the induced action on a homology module of some space. One of these, called the Lawrence-Krammer representation, recently came to prominence when it was shown to be faithful for all $n$. We will outline the methods used, applying them to a closely related representation for which the proof is slightly easier. The main tool is… ▽ More In this paper we survey some work on representations of $B_n$ given by the induced action on a homology module of some space. One of these, called the Lawrence-Krammer representation, recently came to prominence when it was shown to be faithful for all $n$. We will outline the methods used, applying them to a closely related representation for which the proof is slightly easier. The main tool is the Blanchfield pairing, a sesquilinear pairing between elements of relative homology. We discuss two other applications of the Blanchfield pairing, namely a proof that the Burau representation is not faithful for large $n$, and a homological definition of the Jones polynomial. Finally, we discuss possible applications to the representation theory of the Hecke algebra, and ultimately of the symmetric group over fields of non-zero characteristic. △ Less

Submitted 15 April, 2003; originally announced April 2003.

MSC Class: 20F36; 20C08

Journal ref: Proceedings of the ICM, Bei**g 2002, vol. 2, 37--46

The Lawrence-Krammer representation

Authors: Stephen Bigelow

Abstract: The Lawrence-Krammer representation of the braid groups recently came to prominence when it was shown to be faithful by myself and Krammer. It is an action of the braid group on a certain homology module $H_2(\tilde{C})$ over the ring of Laurent polynomials in $q$ and $t$. In this paper we describe some surfaces in $\tilde{C}$ representing elements of homology. We use these to give a new proof t… ▽ More The Lawrence-Krammer representation of the braid groups recently came to prominence when it was shown to be faithful by myself and Krammer. It is an action of the braid group on a certain homology module $H_2(\tilde{C})$ over the ring of Laurent polynomials in $q$ and $t$. In this paper we describe some surfaces in $\tilde{C}$ representing elements of homology. We use these to give a new proof that $H_2(\tilde{C})$ is a free module. We also show that the $(n-2,2)$ representation of the Temperley-Lieb algebra is the image of a map to relative homology at $t=-q^{-1}$, clarifying work of Lawrence. △ Less

Submitted 4 April, 2002; originally announced April 2002.

Comments: 20 pages, 9 figures

MSC Class: 20F36; 20C08

A homological definition of the Jones polynomial

Authors: Stephen Bigelow

Abstract: We give a new definition of the Jones polynomial. Let L be an oriented knot or link obtained as the plat closure of a braid beta in B_{2n}. We define a covering space tilde{C} of the space of unordered n-tuples of distinct points in the 2n-punctured disk. We then describe two n-manifolds tilde{S} and tilde{T} in tilde{C}, and show that the Jones polynomial of L can be defined as an intersection… ▽ More We give a new definition of the Jones polynomial. Let L be an oriented knot or link obtained as the plat closure of a braid beta in B_{2n}. We define a covering space tilde{C} of the space of unordered n-tuples of distinct points in the 2n-punctured disk. We then describe two n-manifolds tilde{S} and tilde{T} in tilde{C}, and show that the Jones polynomial of L can be defined as an intersection pairing between tilde{S} and beta tilde{T}. Our construction is similar to one given by Lawrence, but more concrete. △ Less

Submitted 15 November, 2002; v1 submitted 23 January, 2002; originally announced January 2002.

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

MSC Class: 57M25; 57M27; 20F36

Journal ref: Geom. Topol. Monogr. 4 (2002) 29-41

Does the Jones polynomial detect the unknot?

Authors: Stephen J. Bigelow

Abstract: We address the question: Does there exist a non-trivial knot with a trivial Jones polynomial? To find such a knot, it is almost certainly sufficient to find a non-trivial braid on four strands in the kernel of the Burau representation. I will describe a computer algorithm to search for such a braid. We address the question: Does there exist a non-trivial knot with a trivial Jones polynomial? To find such a knot, it is almost certainly sufficient to find a non-trivial braid on four strands in the kernel of the Burau representation. I will describe a computer algorithm to search for such a braid. △ Less

Submitted 12 December, 2000; originally announced December 2000.

Comments: 12 pages, 3 figures

MSC Class: 57M25 (Primary) 20F36 (Secondary)

The map** class group of a genus two surface is linear

Authors: Stephen J. Bigelow, Ryan D. Budney

Abstract: In this paper we construct a faithful representation of the map** class group of the genus two surface into a group of matrices over the complex numbers. Our starting point is the Lawrence-Krammer representation of the braid group B_n, which was shown to be faithful by Bigelow and Krammer. We obtain a faithful representation of the map** class group of the n-punctured sphere by using the clo… ▽ More In this paper we construct a faithful representation of the map** class group of the genus two surface into a group of matrices over the complex numbers. Our starting point is the Lawrence-Krammer representation of the braid group B_n, which was shown to be faithful by Bigelow and Krammer. We obtain a faithful representation of the map** class group of the n-punctured sphere by using the close relationship between this group and B_{n-1}. We then extend this to a faithful representation of the map** class group of the genus two surface, using Birman and Hilden's result that this group is a Z_2 central extension of the map** class group of the 6-punctured sphere. The resulting representation has dimension sixty-four and will be described explicitly. In closing we will remark on subgroups of map** class groups which can be shown to be linear using similar techniques. △ Less

Submitted 23 November, 2001; v1 submitted 30 October, 2000; originally announced October 2000.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol1/agt-1-34.abs.html

MSC Class: 20F36; 57M07; 20C15

Journal ref: Algebr. Geom. Topol. 1 (2001) 699-708

Braid Groups are Linear

Authors: Stephen J. Bigelow

Abstract: The braid groups B_n can be defined as the map** class group of the n-punctured disc. The Lawrence-Krammer representation of the braid group B_n is the induced action on a certain twisted second homology of the space of unordered pairs of points in the n-punctured disc. Recently, Daan Krammer showed that this is a faithful representation in the case n=4. In this paper, we show that it is faith… ▽ More The braid groups B_n can be defined as the map** class group of the n-punctured disc. The Lawrence-Krammer representation of the braid group B_n is the induced action on a certain twisted second homology of the space of unordered pairs of points in the n-punctured disc. Recently, Daan Krammer showed that this is a faithful representation in the case n=4. In this paper, we show that it is faithful for all n. △ Less

Submitted 3 May, 2000; originally announced May 2000.

Comments: 13 pages, 3 figures

MSC Class: 20F36 (Primary) 57M07; 20C15 (Secondary)

The Burau representation is not faithful for n = 5

Authors: Stephen Bigelow

Abstract: The Burau representation is a natural action of the braid group B_n on the free Z[t,t^{-1}]-module of rank n-1. It is a longstanding open problem to determine for which values of n this representation is faithful. It is known to be faithful for n=3. Moody has shown that it is not faithful for n>8 and Long and Paton improved on Moody's techniques to bring this down to n>5. Their construction uses… ▽ More The Burau representation is a natural action of the braid group B_n on the free Z[t,t^{-1}]-module of rank n-1. It is a longstanding open problem to determine for which values of n this representation is faithful. It is known to be faithful for n=3. Moody has shown that it is not faithful for n>8 and Long and Paton improved on Moody's techniques to bring this down to n>5. Their construction uses a simple closed curve on the 6-punctured disc with certain homological properties. In this paper we give such a curve on the 5-punctured disc, thus proving that the Burau representation is not faithful for n>4. △ Less

Submitted 29 November, 1999; v1 submitted 20 April, 1999; originally announced April 1999.

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

Report number: G&T migration 1999-16 MSC Class: 20F36; 57M07; 20C99

Journal ref: Geom. Topol. 3 (1999) 397-404