Low Dimensional Topology

June 10, 2012

Colin Day, in memoriam

Filed under: Knot theory,Quantum topology — dmoskovich @ 7:40 am

On 16 February 2012, Colin Day passed away after a year long bout with stomach cancer. In his memory, I would like to discuss his thesis

Day, Colin
A topological construction of Vassiliev style invariants of links.
Thesis (Ph.D.)–The University of North Carolina at Chapel Hill. 1993. 99 pp.
Available from Jim Stasheff’s homepage (new and improved scan; scroll down to Colin).

In his thesis, Colin Day extends Vassiliev’s construction of finite-type invariants from knots to links, and elucidates Vassiliev’s construction in the process. I don’t think that Vassiliev’s construction ever really got enough attention, and Colin’s thesis is surely the best entry-point to it, and deserves to be widely read.

Vassiliev’s construction

The concept of a finite type invariant occured initially to two different people in two different contexts. They didn’t know each other’s work, and the world didn’t know of their work, until much later, and then it was mostly by way of Birman and Lin’s skein relation reformulation.

Goussarov, in 1986, considered combinatorial modifications on knots, as a tool to study exotic smooth structures on 4-manifolds. His approach, anticipating Habiro’s beautiful theory of claspers, was not published until after his death in 1999.

Vassiliev, on the other hand, was interested in singularity theory, a field which at first sight would seem to have little relationship to knots and links. He published his results in 1990. Hundreds and perhaps thousands of papers have been written about finite type invariants, but virtually all of them use Birman-Lin as opposed to Vassiliev’s approach. One reason for this is that Vassiliev’s approach is technically very difficult, and the most important contribution of Colin Day’s thesis might be to make Vassiliev’s approach more accessible.

To present Vassiliev’s approach with a minimum of compication and technical baggage, I’ll follow Joan Birman’s beautiful 1997 MSRI talk on the topic and make use of the later technical simplification of considering `holonomic knots’. A holonomic knot is a 2-jet extension of a smooth function f\colon\, S^1\to \mathbb{R}, i.e. a map \tilde{f}\colon\, S^1\to \mathbb{R}^3 given by \tilde{f} \stackrel{\textup{\tiny def}}{=} (f(x),f^{\prime}(x),f^{\prime\prime}(x)). Vassiliev proved that any knot is ambient isotopic to a holonomic knot, and Birman-Wrinkle showed that any two ambient isotopic holonomic knots are ambient isotopic in the space of holonomic knots. Thus, there is no loss of generality in taking knots to be holonomic. The corresponding statement is not known for links.

Inside the space \mathcal{M}\stackrel{\textup{\tiny def}}{=} \left\{\text{holonomic maps }\tilde{f}\colon\, S^1\to \mathbb{R}^3\right\} sits the space \Sigma\subset\mathcal{M} consisting of the non-embeddings. The space \Sigma is called the discriminant. The space of knots is \mathcal{M}-\Sigma. Because we’re working with holonomic knots, a knot is determined by a Maclaurin series
f(x)=\sum_{k=0}^\infty \frac{f^{(k)}(0)}{k!}x^k
(assume this converges everywhere to f). You can truncate a Maclaurin series to approximate f:
f(x)\approx \sum_{k=0}^N \frac{f^{(k)}(0)}{k!}x^k.
The space of truncated series to series with N terms is denoted \mathcal{M}_N\subset\mathcal{M}. By viewing the coefficients as a vector, \mathcal{M}_N is isomorphic to \mathbb{R}^N. Its discriminant is \Sigma_N=\Sigma\cap \mathcal{M}_N.

A (rational) knot invariant is a locally constant map \mu\colon\, \left(\mathcal{M}-\Sigma\right)\to\mathbb{Q} (locally constant implies that it takes one value for each knot type, which is what `invariant’ means). Thus, a knot invariant is an element of the reduced cohomology group
\tilde{H}^0(\mathcal{M}-\Sigma;\mathbb{Q})\simeq \stackrel{\lim}{\leftarrow}\tilde{H}^0\left(\mathcal{M}_N-\Sigma_N; \mathbb{Q}\right).
But \mathcal{M}_N\simeq \mathbb{R}^N, so by Alexander duality
\tilde{H}^0\left(\mathcal{M}_N-\Sigma_N; \mathbb{Q}\right)\simeq \bar{H}_N\left(\Sigma_N; \mathbb{Q}\right), where \bar{H} denotes closed homology. Vassiliev didn’t have holonomic knots at his disposal, so the original argument at this step was more involved.

Vassiliev defined a finite type invariant as a stable homology class as N\to\infty. For singularity theory reasons, we may restrict ourselves to double-point singularities in \Sigma_N. This gives \Sigma_N a filtration, which is used to define the Vassiliev spectral sequence. A type n invariant is a stable class coming from the nthe stage of the filtration. To calculate, Vassiliev computes an actuality table, which is a table of calculated values which can be plugged into more general formulae. This reminds me of how Sumerians would multiply large numbers, 5000 years ago, by using pre-calculated tables of squares of numbers which they would then plug into the formula
ab=\frac{(a+b)^2-(a-b)^2}{4}.

Vassiliev’s paper is technically formidable, and many details are left to the reader.

Combinatorial reformulation

Vassiliev’s papers came to the hands of Birman and Lin, who realized that all of the complexity can be sidestepped by defining a finite type invariant to be an invariant which satisfies the Vassiliev skein relation.

Vassiliev skein relation

An invariant of type n is an invariant which vanishes on all singular knots with n+1 double-points, however there exists a knot with n double points for which it does not vanish. This definition is entirely combinatorial, and no algebraic topological baggage is required. A-priori it’s an unmotivated definition, but the motivation comes from the fact that finite-type invariants are seen to be invariants analogous to polynomials.

Michael Polyak explained the above assertion to me in a way which I liked a lot. His explanation if to be found here. In the years 1909-1929, Frechet worked on the notion of a differential (of the first and higher orders) in various spaces, using only an additive structure of the space. A byproduct of his research was the following theorem:

Theorem: (Frechet, 1909)
Given x_0,x_1^{\pm1},\ldots x_n^{\pm 1}\in \mathbb{R}, and an n-tuple \sigma\in \{-1,1\}^n, let x_\sigma \stackrel{\textup{\tiny def}}{=} x_0+x_1^{\sigma_1}+\cdots+x_n^{\sigma_n}. A continuous function f\colon\, \mathbb{R}\to \mathbb{R} is a polynomial of degree less than n if and only if \sum\limits_{\sigma\in \{-1,1\}^n} (-1)^{\left|{\sigma}\right|}f(x_\sigma)=0 for any choice of x_0,x_1^{\pm1},\ldots x_n^{\pm 1}\in \mathbb{R}.

The analogy is between x_1^{\pm 1} and positive or negative crossings, correspondingly.

So the left hand side of Vassiliev’s skein relation (introducing a transverse double point) should be thought of as the derivative, and a type n invariant is one whose n+1st derivative vanishes. Let’s quickly verify that its nth derivative is a constant. The nth derivative of a finite type invariant is a knot with n double points. A type n invariant sees only the combinatorics of where these double-points lie relative to one another, because if we perform a crossing-change anywhere else along the knot, by the Vassiliev skein relation we have changed our type n invariant \nu by its value on a knot with (n+1) double points, and by definition \nu vanishes on all such knots.

Type n sees only combinatorics on n-singular knot

Thus, Birman-Lin’s approach sidestepped the technical aspects of Vassiliev’s approach, and provided an alternative motivation for finite-type invariants, as analogues of polynomials. It also clearly and cleanly extends to links and to tangles. An excellent reference is Dror Bar-Natan’s On the Vassiliev knot invariants, which must still be considered the canonical introduction to finite-type invariants via the Birman-Lin approach. For textbooks, Chmutov-Duzhin-Mostovoy’s Introduction to Vassiliev knot invariants is very good indeed.

Colin Day’s thesis

The goal of Colin Day’s thesis was to extend Vassiliev’s construction to links, which he achieved. Note that we don’t know whether two ambient isotopic holonomic links are ambient isotopic in the space of holonomic links, so the full brunt of Vassiliev’s machine must be applied.

More than the generalization of Vassiliev’s results from knots to links, the thesis’s major contribution, to my mind, is its much more lucid exposition of Vassiliev’s results and methods, some calculations and examples, and proofs of various, often quite involved, arguments which Vassiliev had left to the reader. Unfortunately, Colin’s thesis was not widely read, because it was never published and wasn’t super-easy to access. But that has changed now, and I do hope that lots of you will read Colin Day’s thesis; Vassiliev’s original approach gives a different way of looking at finite-type invariants, and has really more-or-less been ignored up until now.

Tributes

I conclude with some tributes to Colin Day, from comments on MathOverflow:

I’m shocked and saddened to learn that Colin has passed away! I knew him from several interactions, including a summer at Park City, where I first really got to know him. He was a wonderful guy, and I remember having a conversation with him and Is Singer, and Is saying how very much he had enjoyed meeting Colin. I’m sure that he impressed many people the same way. – Robert Bryant

I recall him as a lad attending the Georgia topology conference. He was full of enthusiasm and joy of life. -Scott Carter

Photographs

The following photographs are from Colin Day’s widow, Helen Moore. The first shows Colin teaching a math class at the Cate School in 2010-2011. The second is from spring 1993, when Colin received his PhD and his mother and grandmother attended his graduation. The math building (Phillips Hall) is in the background. The third is from the 1990’s, but she does not know where it is set. It could be at Columbia/Barnard, where he was offered a Ritt instructorship in 1993. Or it could have been taken when he was living in New York after his PhD when he had returned to ballet.

Picture of Colin Day

Advertisements

Leave a Comment »

No comments yet.

RSS feed for comments on this post. TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Create a free website or blog at WordPress.com.

%d bloggers like this: