19
$\begingroup$

Background

Recall that a (oriented) knot is a smoothly embedded circle $S^1$ in $\mathbb R^3$, up to some natural equivalence relation (which is not quite trivial to write down). The collection of oriented knots has a binary operation called connected sum: if $K_1,K_2$ are knots, then $K_1 \# K_2$ is formed by spatially separating the knots, then connecting them by a very thin rectangle, which is glued on so that all the orientations are correct. Connect sum is commutative and associative, making the space of knots into a commutative monoid. In fact, by a theorem of Schubert, this is the free commutative monoid on countably many generators. A ($\mathbb C$-valued) knot invariant is a $\mathbb C$-valued function on this monoid; under "pointwise" multiplication, the space of knot invariants is a commutative algebra $I$, and $\#$ makes $I$ into a cocommutative bialgebra. I.e. $I$ is a commutative monoid object in $(\text{CAlg})^{\rm{op}}$, where $\text{CAlg}$ is the category of commutative algebras.

Warm-up question: Any knot $K$ defines an algebra morphism $I \to \mathbb C$, i.e. a global point of $I \in (\text{CAlg})^{\rm{op}}$. Are there any other global points?

Edit: In response to Ilya N's comment below, I've made this into its own question.

Finite type invariants

Recall that a singular knot is a smooth map $S^1 \to \mathbb R^3$ with finitely many transverse self-intersections (and otherwise it is an embedding), again up to a natural equivalence. Any knot invariant extends to an invariant of singular knots, as follows: in a singular knot $K_0$, there are two ways to blow up any singularity, and the orientation determines one as the "right-handed" blow-up $K_+$ and the other as the "left-handed" blow-up $K_0$. Evaluate your knot invariant $i$ on each blow-up, and then define $i(K_0) = i(K_+) - i(K_-)$. Note that although the connect-sum of singular knots is not well-defined as a singular knot, if $i\in I$ is a knot-invariant, then it cannot distinguish different connect-sums of singular knots. Note also that the product of knot invariants (i.e. the product in the algebra $I$) is not the point-wise product on singular knots.

A Vassiliev (or finite type) invariant of type $\leq n$ is any knot invariant that vanishes on singular knots with $> n$ self-intersections. The space of all Vassiliev invariants is a filtered bialgebra $V$ (filtered by type). The corresponding associated-graded bialgebra $W$ (of "weight systems") has been well-studied (some names: Kontsevich, Bar-Natan, Vaintrob, and I'm sure there are others I haven't read yet) and in fact is more-or-less completely understood (e.g. Hinich and Vaintrob, 2002, "Cyclic operads and algebra of chord diagrams", MR1913297, where its graded dual $A$ of "chord diagrams" is described as a sort of universal enveloping algebra). In fact, this algebra $W$ is Hopf. I learned from this question that this implies that the bialgebra $V$ of Vassiliev invariants is also Hopf. Thus it is a Hopf sub-bialgebra of the algebra $I$ of knot invariants.

I believe that it is an open question whether Vassiliev invariants separate knots (i.e. whether two knots all of whose Vassiliev invariants agree are necessarily the same). But perhaps this has been answered — I feel reasonably caught-up with the state of knowledge in the mid- to late-90s, but I don't know the literature from the 00s.

Geometrically, then, $V \in (\text{CAlg})^{\rm{op}}$ is a commutative group object, and is a quotient (or something) of the monoid-object $I \in (\text{CAlg})^{\rm{op}}$ of knot invariants. The global points of $V$ (i.e. the algebra maps $V \to \mathbb C$ in $\text{CAlg}$) are a group.

Main Questions

Supposing that Vassiliev invariants separate knots, there must be global points of $V$ that do not correspond to knots, as by Mazur's swindle there are no "negative knots" among the monoid $I$. Thus my question.

Main question. What do the global points of $V$ look like?

If Vassiliev invariants do separate knots, are there still more global points of $V$ than just the free abelian group on countably many generators (i.e. the group generated by the free monoid of knots)? Yes: the singular knots. (Edit: The rule for being a global point is that you can evaluate any knot invariant at it, and that the value of the invariant given by pointwise multiplication on knots is the multiplication of the values at the global point. Let $K_0$ be a singular knot with one crossing and with non-singular blow-ups $K_+$ and $K_-$, and let $f,g$ be two knot invariants. Then $$\begin{aligned} (f\cdot g)(K_0) & = (f\cdot g)(K_+) - (f\cdot g)(K_-) = f(K_+)\cdot g(K_+) - f(K_-)\cdot g(K_-) \neq \\\\ f(K_0) \cdot g(K_0) & = f(K_+)\cdot g(K_+) - f(K_+)\cdot g(K_-) - f(K_-)\cdot g(K_+) + f(K_-)\cdot g(K_-)\end{aligned}$$.) What else is there?

What can be said without knowing whether Vassiliev invariants separate knots?

$\endgroup$
5
  • $\begingroup$ I like that I can tag this "qa.quantum-algebra" even though every Hopf algebra in sight is commutative and cocommutative. $\endgroup$ Commented Jan 6, 2010 at 20:01
  • $\begingroup$ @Ilya: Perhaps, although it's almost entirely expository. I don't really think that I'll get an answer, but there's some chance that there's a paper out there that I haven't come across which get's much closer to a description of each of these objects. But, ok, I'll make the warm-up question a different question. $\endgroup$ Commented Jan 6, 2010 at 20:07
  • $\begingroup$ Ilya's totally right. Perhaps I'll also break up the main question, but that will have to wait a few hours. $\endgroup$ Commented Jan 6, 2010 at 20:19
  • $\begingroup$ And, per Ilya N's suggestion, a title that's more in line with the question at the end (I originally titled it before writing the whole question, and forgot to go back and change the title, sorry). $\endgroup$ Commented Jan 6, 2010 at 22:54
  • $\begingroup$ I will promote the tag "quantum topology" as being superior in this context to "quantum algebra", for reasons which you mentioned. Vassiliev invariants are not quantum algebra (although for knots, quantum invariants and Vassiliev invariants basically coincide), but they are quantum topology! $\endgroup$ Commented Jan 7, 2010 at 1:01

4 Answers 4

12
$\begingroup$

Just some small comments here. Yes, the question of whether or not Vassiliev invariants separate knots is still open.

One broader context for the question is to consider how Vassiliev invariants were first observed -- via the Vassiliev spectral sequence for the space of "long knots". These are knots of the form $\mathbb R \to \mathbb R^3$ which restrict to a standard (linear) inclusion outside of an interval, say $[-1,1]$.

There's a few standard ways in which the space of long knots can be turned into a topological monoid -- a "Moore loop space" construction which is pretty standard, or a "fat knots" construction from my "little cubes and long knots" paper (Topology 46 (2007) 1--27.). So this monoid operation is just the connect-sum operation, suitably jazzed-up to be strictly associative.

An observation for which I'm not sure if anyone has written up a complete proof yet is that the Goodwillie embedding calculus (an alternative approach to the Vassiliev spectral sequence, among other things) factors through the group-completion of the space of long knots. By this I mean, if K is the space of long knots, call the "group completion" the map $K \to \Omega BK$. $\Omega BK$ is where the "formal inverse" to a knot lives. The homotopy-type of $\Omega BK$ is computed in "little cubes and long knots". In particular, you can think of the Vassiliev spectral sequence as being an invariant of $\Omega BK$, not $K$. From the point of view of Vassiliev invariants this isn't such a major insight as $\pi_0 \Omega BK$ is the group-completion of the monoid $\pi_0 K$, so it's just a free abelian group on countably-many generators.

In particular, there are classes in $H^1 K$ for which there are no obvious finite-type approximations. $H_1 K$ has some torsion classes for which it's pretty unclear how to detect using the Vassiliev spectral sequence. Here is a mass of torsion computations for the homology of the long knot space: Ryan Budney, Frederick Cohen On the homology of the space of knots, Geometry & Topology 13 (2009) 99--139, arXiv:math/0504206.

edit: although "little cubes and long knots" describes the homotopy-type of the group completion of the space of long knots, it would be nice to have a more "concrete" embedding-space type description of the group completion. Mostovoy has an attempt in Short Ropes and Long Knots. I believe an idea like this should work and likely Mostovoy's idea works as well, but (again) this is something that needs to be written up for which there hasn't been enough time to start the project.

$\endgroup$
2
  • 1
    $\begingroup$ This is nice! Can you edit-in what the upshot is? That the torsion classes in $H_1 K$ represent global points in l which are not in C, among other things... $\endgroup$ Commented Jan 7, 2010 at 0:59
  • $\begingroup$ And provide a link to your paper? $\endgroup$ Commented Jan 7, 2010 at 2:57
8
$\begingroup$

The points of Spec $V$ live n a somewhat complicated completion of the space of knots (not formal linear combinations), but I think it's illuminating to think about the case of braids and their "Vassiliev" invariants. In that context the global points of Vassiliev invariants are elements of the completion of the braid group with respect to the lower central series. The braid group embeds in this completion, and so Vassiliev invariants do separate braids. (This is not hard.)

By the way, the knot invariants $I$ also form a bi-algebra, where the coproduct is dual to connect sum of knots, although that coproduct plays no role for this question.

$\endgroup$
4
$\begingroup$
  1. Regarding whether or not Vassiliev invariants separate knots, the sticking point is whether they separate a knot from its reverse, where the reverse of a knot is the same knot with the opposite orientation. If this were false, Vassiliev invariants would not separate knots by a result of Kuperberg: Detecting knot invertibility, J. Knot Theory Ramifications 5 (1996), 173-181 arXiv:q-alg/9712048. This boils down to the question of whether the space of Jacobi diagrams with an odd number of legs vanishes. As a piece of shameless self-promotion I will refer to my own paper (joint with Tomotoda Ohtsuki), Vanishing of 3-Loop Jacobi Diagrams of Odd Degree (J. Combin. Theory Ser. A. 114 (2007) 919-931 https://doi.org/10.1016/j.jcta.2006.10.005) where we prove this for 3-loop Jacobi diagrams. You could ask the same question about homotopy string links, where we know that Vassiliev invariants do separate homotopy string links (see the paper Vassiliev homotopy string link invariants by Bar-Natan (Journal of Knot Theory and its Ramifications 4-1 (1995) 13–32. https://doi.org/10.1142/S021821659500003X).
  2. I might be way off-base here, but can't you just take the formal product of an element of $\mathbb{C}$ with the knot? So a negative knot looks like -1 times K. So no, singular knots are not global points of V. Resolutions (via the Vassiliev skein relation) of singular knots as formal sums of knots over $\mathbb{C}$ are global points of V.
  3. You sort-of say this, but the Fundamental Theorem of Vassiliev Invariants (proved over $\mathbb{C}$ by Kontsevich and others) tells us that weight systems integrate, which is the statement that any weight system (with some natural conditions) gives rise to a Vassiliev invariant (which is nothing short of miraculous when you think about it). A reference is the survey paper The Fundamental Theorem of Vassiliev Invariants by Bar-Natan and Stoimenow.
$\endgroup$
3
  • $\begingroup$ Ah, great. I already had downloaded the two Bar-Natan articles, although I haven't read them yet. I'll also check out yours. $\endgroup$ Commented Jan 6, 2010 at 22:27
  • $\begingroup$ 2. Well, so, that's what I thought, and then I doubted myself. And, actually I think that it's not true. In fact, I don't think that most formal sums of knots are global points: the question is how the value of the invariant behaves under pointwise multiplication. $\endgroup$ Commented Jan 6, 2010 at 23:02
  • $\begingroup$ I hope I got the right paper by Kuperberg. The arXiv front urls from the 90s are weird and don't map cleanly to current identifiers. $\endgroup$
    – David Roberts
    Commented Oct 5, 2021 at 2:40
3
$\begingroup$

I don't have much knowledge in either knots or Hopf bialgebras, but I think one can answer part of your question (the one formerly asked as a title: "What do negative knots look like?") anyway.

About finite type invariants: Wikipedia says it is still not known whether finite type invariants separate knots (and I think a discovery of an answer to this question would make pretty big news anyway).

It matters whether they do or not if you want to learn about all points of $V$. However, either way you can be certain that the points of $V$ (which I'll denote by $\mathop{\text{Spec}} V$) can be formally added or subtracted. In other words, there are points in $\mathop{\text{Spec}} V$ corresponding to $[\text{unknot}]+2\cdot[\text{trefoil}]$ or $-[\text{trefoil}]$. This is implied when you say that those form Hopf bialgebra.

So, for any given knot $K$ there exists an element of $\mathop{\text{Spec}} V$ that has finite invariants negative of finite invariants of knot $K$, but this observation is rather trivial.

Thus I think one shouldn't ask what is asked in the title, but rather more general question (emphasized); update: Theo Johnson-Freyd did so, rendering the answer rather irrelevant.

$\endgroup$
3
  • $\begingroup$ Well, so I think that the coproduct on $V$ agrees with the connect sum of knots, so [unknot] + 2[trefoil] is just [granny knot], although I agree that -[trefoil] is a new point. Or am I wrong? $\endgroup$ Commented Jan 6, 2010 at 22:58
  • $\begingroup$ You have decompose all knots into primes before saying anything interesting, otherwise too many things to correct for :) $\endgroup$ Commented Jan 6, 2010 at 23:00
  • $\begingroup$ (also, apparently, backslash-bracket makes things display-style, rather than escaping the bracket. There really really needs to be a preview for comments.) $\endgroup$ Commented Jan 6, 2010 at 23:10

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .