# Low Dimensional Topology

## December 19, 2017

### Computation in geometric topology

Complete lecture videos for last week’s workshop Computation in Geometric Topology at Warwick are now posted on YouTube. The complete list of talks with abstracts and video links is here.

## October 2, 2016

### A gorgeous but incomplete proof of “The Smale Conjecture”

Filed under: 3-manifolds,Algebraic topology,Smooth Topology,Uncategorized — Ryan Budney @ 10:33 pm

In 1959 Stephen Smale gave a proof that the group of diffeomorphisms of the 2-sphere has the homotopy-type of the subgroup of linear diffeomorphisms, i.e. the Lie Group O_3.  His proof went in two steps: (more…)

## May 24, 2016

### SnapPy 2.4 released

Filed under: 3-manifolds,Computation and experiment,Hyperbolic geometry,Knot theory — Nathan Dunfield @ 6:11 pm

A new version of SnapPy, a program for studying the topology and geometry of 3-manifolds, is available.  Added features include a census of Platonic manifolds, rigorous computation of cusp translations, and substantial improvements to its link diagram component.

## November 30, 2015

### Simple loop conjecture for Sol manifolds

Filed under: 3-manifolds — dmoskovich @ 10:29 am

Drew Zemke, who is a grad student of Jason Manning, posted a proof of the Simple Loop Conjecture for 3-manifolds modeled on Sol last week.

The Simple Loop Conjecture fits into that family of statements such as Dehn’s Lemma and the Sphere Theorem which translate statements about fundamental groups into statements about 3-manifolds. Such theorems allow us to trade 3-manifolds for their fundamental groups (which are much simpler mathematical objects). (more…)

## March 30, 2015

### MOO is classical

Filed under: 3-manifolds,Dehn surgery,Quantum topology — dmoskovich @ 9:43 am

The simplest quantum 3-manifold invariant is the Murakami-Ohtsuki-Okada (MOO) invariant. It comes from $\mathrm{U}(1)$ Chern-Simons theory in the way that the $\mathrm{SU}(2)$ Reshetikhin-Turaev invariant comes from $\mathrm{SU}(2)$ Chern-Simons Theory. It has a closed formula in terms of the order of the first cohomology class of the $3$-manifold $M$ and an eighth root of unity. Witten’s Chern-Simons theory for gauge group $\mathrm{U}(1)$ shows that the MOO invariant can be reformulated in terms of classical Riemann theta functions with characteristic, but the relationship is by way of quantum field theory.

A recently published paper by Gelca and Uribe, which is also the topic of a book by Gelca and some nice slides, constructs the MOO invariant from theta functions completely classically essentially without using anything quantum at all (although the representation theory behind it was originally developed for quantum mechanical purposes). Thus, like the Alexander polynomial and the linking number, MOO is seen to be quantum but also classical.

There is also a more analytic, heat-equation-based way of seeing the same thing due to Andersen, but I haven’t read Andersen’s paper and therefore I can’t say anything about that. (more…)

## March 22, 2015

### SnapPy 2.3 released

Marc Culler and I are pleased to announce version 2.3 of SnapPy. New features include:

• Major improvements to the link and planar diagram component, including link simplification, random links, and better documentation.
• Basic support for spun normal surfaces.
• New extra features when used inside of Sage:
• Better compatibility with OS X Yosemite and Windows 8.1.
• Development changes:
• Major source code reorganization/cleanup.
• Source code repository moved to Bitbucket.
• Python modules now hosted on PyPI, simplifying installation.

All available at the usual place.

## March 9, 2015

### Complex hyperbolic geometry of knot complements

Filed under: 3-manifolds,Hyperbolic geometry,Misc. — dmoskovich @ 3:41 am

This morning there was a paper which caught my eye:

Deraux, M. & Falbel, E. 2015 Complex hyperbolic geometry of the figure-eight knot.
Geometry & Topology 19, 237–293.

In it, the authors study a very different geometric structure for the figure-eight knot complement, as the manifold at infinity of a complex hyperbolic orbifold. (more…)

## October 22, 2014

### Understanding the anomaly

Filed under: 3-manifolds,Mapping class groups,Quantum topology — dmoskovich @ 11:48 am

I’ve recently been looking at the following paper in which $3+1$-TQFT anomalies are treated carefully and various old constructions of Turaev and Walker are elucidated:

Gilmer, P.M. and Masbaum, G., Maslov Index, Mapping Class Groups, and TQFT, Forum Math. 25 (2013), 1067-1106.

It makes me think a lot about just what the anomaly `actually means’… (more…)

## June 12, 2014

### A celebration of diagrammatic algebra

Filed under: 3-manifolds,Combinatorics,Misc.,Quantum topology — dmoskovich @ 5:24 am

Relaxing from my forays into information and computation, I’ve recently been glancing through my mathematical sibling Kenta Okazaki’s thesis, published as:

K. Okazaki, The state sum invariant of 3–manifolds constructed from the $E_6$ linear skein.
Algebraic & Geometric Topology 13 (2013) 3469–3536.

It’s a wonderful piece of diagrammatic algebra, and I’d like to tell you a bit about it! (more…)

## March 2, 2014

### SnapPy 2.1: Now with extra precision!

Filed under: 3-manifolds,Computation and experiment,Hyperbolic geometry,Knot theory — Nathan Dunfield @ 11:39 pm

Marc Culler and I released SnapPy 2.1 today. The main new feature is the ManifoldHP variant of Manifold which does all floating-point calculations in quad-double precision, which has four times as many significant digits as the ordinary double precision numbers used by Manifold. More precisely, numbers used in ManifoldHP have 212 bits for the mantissa/significand (roughly 63 decimal digits) versus 53 bits with Manifold.

Next Page »

Blog at WordPress.com.