Has anyone tabulated 2-knots? Would anyone like to try? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T19:44:40Z http://mathoverflow.net/feeds/question/239 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/239/has-anyone-tabulated-2-knots-would-anyone-like-to-try Has anyone tabulated 2-knots? Would anyone like to try? Scott Morrison 2009-10-09T20:37:52Z 2009-11-04T06:31:53Z <p>I'd love to have a list of 'small' 2-knots, for some sense of small. It's not clear what one should filter by, but there are two obvious candidates</p> <ul> <li>Write a movie presentation, and count the frames.</li> <li>Project the 2-knot to R^3, and count the triple points.</li> </ul> <p>Does anyone know if this has been attempted? Such a list could be quite useful.</p> http://mathoverflow.net/questions/239/has-anyone-tabulated-2-knots-would-anyone-like-to-try/535#535 Answer by Scott Carter for Has anyone tabulated 2-knots? Would anyone like to try? Scott Carter 2009-10-15T00:32:32Z 2009-10-15T00:32:32Z <p>There is a table in Yoshikowa's paper based upon the representation as graphs with certain markings of vertices. The markings indicate which directions are the A and B smoothings. The table is quite small. </p> <p>Kamada's book on Surface braids has a nice table of 2-knots that don't have triple points. There are tons of these. So your candidate for small is sort of strange. Braid index might be better.</p> <p>Quandle cocycles are the only known ways to get lower bounds for triple points, and there are not nearly enough 3-cocycles that have been calculated. </p> <p>Last spring Dennis Roseman told me a neat way to generate "random" 2-knots. I don't think he has written anything down about it though. </p> <p>So if you look at movies, you have to be careful about what you define as an event. In the CRS point of view each of Reid. I,II,III, birth, death, saddle, switchback, and psi (pitchfork) moves is an event, but exchanges of distant critical points are also events. Any such event leaves its trace on the chart.</p> <p>There are other notions of simplicity. For example, there is a notion of thickness. Project into 3-space and subsequently onto the plane (that gives the chart). Take a spear perpendicular to the plane and see how many times it generically passes through the surface. Find the maximum of these, and then minimize over all projections. </p> <p>Probably the real reason for making a census would be to discover new invariants. So it is a good problem in that sense.</p> http://mathoverflow.net/questions/239/has-anyone-tabulated-2-knots-would-anyone-like-to-try/4060#4060 Answer by Ryan Budney for Has anyone tabulated 2-knots? Would anyone like to try? Ryan Budney 2009-11-04T06:31:53Z 2009-11-04T06:31:53Z <p>Another complexity filter could be the number of 4-dimensional simplices in a triangulation of the complement.</p> <p>2-knots complements have simple ideal triangulations. The proof is very similar to the proof for 1-knots, viewed through the lens of Morse theory on manifolds with boundary. ie: the Wirtinger presentation is viewed as the fundamental group computation coming from the cell decomposition of a Morse height function (in the stratified sense) on the knot complement. </p> <p>It'd be nice if there was a SnapPea-like algorithm for triangulating 2-knot complements. As far as I know those kinds of details haven't been worked out by anyone. But it should be reasonably doable. </p>