Low Dimensional Topology

February 2, 2010

The Alexander Polynomial as a Quantum Invariant: Part 2

Filed under: Uncategorized — dmoskovich @ 9:02 am

In this second installment of the series, I’m going to give you one interpretation of what we mean when we call something a quantum invariant.

Note: Two better quantum topologists than myself suggested to me (implicitly or explicitly) that a quantum invariant is an invariant given by a skein relation. I maintain that this is wrong- it’s an invariant given by an R matrix. A counterexample in one direction is the Brandt-Lickorish-Millett-Ho Q polynomial, which is given by a skein relation but is not quantum (and may contain no quantum invariant besides polynomials in the Casson invariant). In the other direction, what of a quantum knot invariant not contained in the coloured HOMFLYPT polynomial of a knot, if such an invariant exists?

The first thing we are saying when we say that invariant I is a quantum invariant is that it is “determined locally”. Let’s say we are talking about quantum invariants of an n-manifold M, although the analogous statements will hold for knots, links, tangles, braids, whatever… for any finite decomposition M=M_1\sqcup_{N_1}M_2\sqcup_{N_2}\cdots\sqcup_{N_{n-1}}M_n for n-manifolds M_1,\ldots,M_n with boundary and closed n-1-manifolds N_1,\ldots,N_{n-1} the value I(M) is determined by I(M_1),\ldots,I(M_n),I(N_1),\ldots,I(N_{n-1}). In fact, even more than this is true- I(M) (with definition suitably extended) is determined by its value on a single point by the Baez-Dolan cobordism hypothesis. (more…)

January 26, 2010

3-manifold groups are known, right?

Filed under: 3-manifolds, Geometric Group Theory — Henry Wilton @ 8:55 pm

During the nice talk that Ian Biringer gave on the structure of hyperbolic 3-manifolds at Caltech on Friday, a 4-manifold theorist in the back was heard to ask ‘3-manifold groups are known, right?’

I know what he meant. Any finitely presented group can arise as the fundamental group of a 4-manifold (this is a nice exercise that you can do for yourself, involving surgery on a connect sum of copies of S3 x S1). With a little care, you can deduce that classifying topological 4-manifolds is at least as impossible as classifying finitely presented groups (which is impossible).

In contrast, there are constraints on the fundamental groups of closed 3-manifolds. One of the first is an easy consequence of the existence of Heegaard splittings: any closed 3-manifold group admits a balanced presentation, meaning that there are no more relations than generators.

What does it mean to ‘know’ a class of finitely presentable groups? Do we really ‘know’ the class of (orientable) 3-manifold groups? The point of view that I will adopt in addressing these questions is algorithmic, and comes from combinatorial group theory.

(more…)

January 13, 2010

Postdocs in the UK

Filed under: Misc. — Jesse Johnson @ 12:07 pm

Saul Schleimer has asked me to advertise the the Leverhulme Early Career Fellowships, which are essentially postdocs that can be taken to any University in the UK in any discipline.  I think Saul is hoping that some promising young topologists apply to take one of these to Warwick.  The deadline is March 11 (4PM GMT).  However, Daniel pointed out in the comments that to be eligible one must have a degree from a UK University, or currently be a postdoc in the UK.  That probably narrows down the applicant pool quite a bit.  If any readers would like to advertise other job oportunities that aren’t on the usual job listing sites, feel free to mention them in the comments.

Dani Wise’s Lectures at Park City

Filed under: Uncategorized — Nathan Dunfield @ 11:25 am

Dani Wise gave a series of lectures at the Wasatch Topology Conference back in December about his very exciting work on quasi-convex hierarchies and residual properties of groups (like subgroup separability). Thomas Koberda took detailed notes which he polished into a useful 9 page summary of Dani’s work. (I’d been thinking I should blog about Dani’s talks, which I also attended, and I’m very glad that Thomas saved me the trouble…)

The Alexander Polynomial as a Quantum Invariant: Part 1

Filed under: Knot theory, Quantum topology — dmoskovich @ 4:07 am

In this series of posts, I would like to lay open my confusion regarding how the Alexander polynomial is a quantum invariant (I’ll explain what that means in the next installment). The Alexander polynomial is the archetypal knot invariant in many ways. It’s also the archetypal quantum invariant. Let’s define it to be the order of the Alexander module (the first homology of the infinite cyclic cover of a knot complement as a module over deck transformations). This is what one would call a “big construction”- it works in great generality, for any homology circle and with any coefficients, and it gives a clear conceptual picture of what the Alexander polynomial is measuring.
(more…)

January 11, 2010

Spring and Summer Conferences

Filed under: Misc. — Jesse Johnson @ 1:18 pm

I haven’t been updating the conference list on the blog lately, and in fact the link to it disappeared for a few months when we switched to the new look.  But I wanted to point out that the list is back now, I just updated it, and there are some good conferences coming up in the next few months.  If you know of any topology conferences that I missed (whether or not you’re an organizer), please let me know in the comments on that page and Ill add them as soon as I can.

January 5, 2010

Google wave and LaTeX

Filed under: Misc. — Jesse Johnson @ 3:30 pm

I’m not sure if any of the other math blogs have pointed this out yet (I haven’t been very good about writing OR reading blogs the last few months) but Google Wave is now up and running.  Terry Tao discussed the potential use of wave for math collaborations back when it was first announced.   While wave is only available by invitation at the moment, there are a number of mathematicians who are now using it and if you ask around you can probably find someone with an extra invite to send you.

(more…)

December 7, 2009

Mystery lecture notes

Filed under: Uncategorized — Nathan Dunfield @ 10:23 pm

Number theorist E. Kowalski found an old set of typewritten lecture notes on 3-manifold topology in a bin at Penn. There’s no author indicated, but hopefully someone here will recognize them. The first page is shown below.

(more…)

December 2, 2009

Garoufalidis’s Jones Slope conjecture

Filed under: Uncategorized — dmoskovich @ 1:09 am

Last week, Stavros Garoufalidis posted [1] on ArXiv, which got me daydreaming:
The coloured Jones function J_{K,n}(q) is an invariant of a knot K\in S^3 consisting of a sequence of elements in \mathbb{Z}[q^{\pm1}] indexed by n\in \mathbb{N}. The boundary slope of an incompressible surface S\in S^3-K is \frac{m_S}{l_s} where m_S and l_s are the number of times the surface winds around the meridian and longitude of K correspondingly. The conjecture is that the limit points of \left\{\frac{2}{n^2}\mathrm{deg}\left(J_{K,n}(q)\right)\mid n\in \mathbb{N}\right\} are boundary slopes of incompressible surfaces in S^3-K. One doesn’t need to know much quantum topology to find this intriguing… why should boundary slopes of incompressible surfaces be visible in such a straightforward way to the coloured Jones function?
(more…)

November 12, 2009

Alexander polynomials and noncommutative localization

Filed under: Knot theory, noncommutative localization — dmoskovich @ 11:20 am

This post comes along with a more detailed PDF version.

Kent Orr at Indiana University taught me a gorgeous, intrinsic (but not well-known) homological proof due to Pierre Vogel that the Alexander module of a knot is annihilated by an Alexander polynomial. The only fact it uses about a knot is that its complement is a homology circle. The starting point is:

Low-dimensional topologist’s definition of Cohn localization:
Let R,S be rings with unity, let R\overset{\epsilon}{\longrightarrow} S be a
ring homomorphism, and let C_\ast be the chain complex

\cdots \overset{\partial_2}{\longrightarrow} C_{2}\overset{\partial_1}{\longrightarrow} C_1 \overset{\partial_0}{\longrightarrow} C_0

such that C_n is a finitely-generated free R module for all n. The Cohn localization \Lambda of R\overset{\epsilon}{\longrightarrow} S is the initial ring with the property

C_\ast\otimes S\text{\ is acyclic}\Longleftrightarrow C_\ast\otimes \Lambda\text{\ is acyclic.}

(more…)

Next Page »

Blog at WordPress.com.