Difference between revisions of "Mutation Invariance of Khovanov Homology"

From Drorbn
Jump to: navigation, search
 
(7 intermediate revisions by 4 users not shown)
Line 1: Line 1:
[http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1029?id=atch1097 clomid online] [http://www.hcs.harvard.edu/~twiki/pub/Main/CoyarCharline/pecybu.htm alprazolam online] [http://www.forumhosting.org/forum.php?mforum=notrocvi free samsung ringtones] [http://boeldron.jubiiblog.de/ nokia ringtones] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1029?id=atch1078 cheap adipex] [http://basor5or5.blogdiario.com/ free verizon ringtones] [http://www.forumhosting.org/forum.php?mforum=acrolbas kyocera ringtones] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832246) tracfone ringtones] [http://www.hcs.harvard.edu/~twiki/pub/Main/AngelKristofer/votebu.htm free qwest ringtone] [http://www.rso.cmich.edu/prevet/messageboard/000031ad.htm xanax online] [http://www.hcs.harvard.edu/~twiki/pub/Main/CoyarCharline/pyhux.htm cheap clonazepam] [http://www.csun.edu/learningnet/discussion/file.php?0,file=133 xenical online] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=319 free cingular ringtones] [http://www.csun.edu/learningnet/discussion/file.php?0,file=119 cheap cialis] [http://www.rso.cmich.edu/prevet/messageboard/000031c1.htm generic alprazolam] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832227) nexium online] [http://www.csun.edu/learningnet/discussion/file.php?0,file=116 cheap fioricet] [http://sitracget.blogdiario.com/ funny ringtones] [http://www.csun.edu/learningnet/discussion/file.php?0,file=144 mp3 ringtones] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=362 cheap ultracet] [http://trocgetou.jubiiblog.de/ ativan online] [http://www.csun.edu/learningnet/discussion/file.php?0,file=152 verizon ringtones] [http://www.rso.cmich.edu/prevet/messageboard/000031b0.htm cheap diazepam] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=325 free ericsson ringtones] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1030?id=atch1110 rivotril] [http://www.hcs.harvard.edu/~twiki/pub/Main/AngelKristofer/nini.htm free ringtone] [http://forum.kharkiv.edu/SForums/topic.asp?TOPIC_ID=309&FORUM_ID=3&CAT_ID=3 carisoprodol online] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832255) xanax online] [http://cochibas.blogdiario.com/ free free ringtones] [http://www8.vjc.edu/EnvironmentalClub/discuss/msgReader$125 free tracfone ringtones] [http://www.csun.edu/learningnet/discussion/file.php?0,file=125 vicodin online] [http://pasricac.blogdiario.com/ free wwe ringtones] [http://www.csun.edu/learningnet/discussion/file.php?0,file=113 buy phentermine] [http://www.csun.edu/learningnet/discussion/file.php?0,file=135 order cyclobenzaprine] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832250) free verizon ringtones] [http://bascnadar.blogdiario.com/ hydrocodone online] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=371 xenical online] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832218) levitra online] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=329 hydrocodone online] [http://forum.kharkiv.edu/SForums/topic.asp?TOPIC_ID=316&FORUM_ID=3&CAT_ID=3 cheap meridia] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=343 free nokia ringtones] [http://www.rso.cmich.edu/prevet/messageboard/000031af.htm cheap ultram] [http://www.csun.edu/learningnet/discussion/file.php?0,file=111 soma online] [http://www.csun.edu/learningnet/discussion/file.php?0,file=138 cheap propecia] [http://eleltrac.blogdiario.com/ ativan online] [http://www.forumhosting.org/forum.php?mforum=lebowles cheap adipex] [http://getsitolo.jubiiblog.de/ lorazepam online] [http://www8.vjc.edu/EnvironmentalClub/discuss/msgReader$114 free samsung ringtones] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1031?id=atch1133 mono ringtones] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1030?id=atch1125 free sprint ringtones] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=355 cheap soma] [http://cagetca.jubiiblog.de/ cheap celexa] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1029?id=atch1080 vicodin online] [http://discussions.csbsju.edu/general/messages/25/gyxex-235.html cialis online] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=358 free sonyericsson ringtones] [http://ryu-jounetsu.blogspot.com canadian casino online] [http://rochili.jubiiblog.de/ cyclobenzaprine online] [http://www.forumhosting.org/forum.php?mforum=laoubo qwest ringtones] [http://ricvicna.blogdiario.com/ polyphonic ringtones] [http://pasbasor.blogdiario.com/ ultram online] [http://eltc4tric.jubiiblog.de/ xanax online] [http://www.csun.edu/learningnet/discussion/file.php?0,file=142 tracfone ringtones] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1030?id=atch1121 qwest ringtones] [http://ellapas.jubiiblog.de/ cheap lipitor] [http://forum.kharkiv.edu/SForums/topic.asp?TOPIC_ID=312&FORUM_ID=3&CAT_ID=3 order ultram] [http://www.csun.edu/learningnet/discussion/file.php?0,file=136 buy nexium] [http://www8.vjc.edu/EnvironmentalClub/discuss/msgReader$118 free sony ericsson ringtones] [http://discussions.csbsju.edu/general/messages/25/xyli-236.html ativan online] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832257) xenical online] [http://www.rso.cmich.edu/prevet/messageboard/000031b1.htm cialis online] [http://www8.vjc.edu/EnvironmentalClub/discuss/msgReader$91 cheap carisoprodol] [http://www.forumhosting.org/forum.php?mforum=laerzel free sagem ringtones] [http://www.rso.cmich.edu/prevet/messageboard/000031b4.htm meridia online] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1030?id=atch1120 nextel ringtones] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832194) but tramadol] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=317 buy carisoprodol] [http://bondich.blogspot.com mixing valium and xanax] [http://eltaric.blogdiario.com/ cheap norco] [http://www.hcs.harvard.edu/~twiki/pub/Main/CoyarCharline/xikuzo.htm generic valium] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=322 cyclobenzaprine online] [http://pasbasbas.jubiiblog.de/ cheap clonazepam] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832216) kyocera ringtones] [http://forum.kharkiv.edu/SForums/topic.asp?TOPIC_ID=317&FORUM_ID=3&CAT_ID=3 adipex online] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1031?id=atch1131 free sonyericsson ringtones] [http://www.rso.cmich.edu/prevet/messageboard/000031ac.htm carisoprodol online] [http://www.csun.edu/learningnet/discussion/file.php?0,file=130 hydrocodone online] [http://www.hcs.harvard.edu/~twiki/pub/Main/AngelKristofer/ronut.htm free sony ericsson ringtone] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=334 cheap meridia] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1030?id=atch1108 zanaflex online] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1031?id=atch1129 cingular ringtones] [http://raccaelt.jubiiblog.de/ cheap viagra] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=369 wwe ringtones] [http://www.hcs.harvard.edu/~twiki/pub/Main/AngelKristofer/digesyv.htm free nokia ringtone] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832225) mtv ringtones] [http://eltvivi.blogdiario.com/ cheap vicodin] [http://www.hcs.harvard.edu/~twiki/pub/Main/CoyarCharline/bipivu.htm generic meridia] [http://www.forumhosting.org/forum.php?mforum=getcoro sony ericsson ringtones] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832238) free sagem ringtones] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832236) qwest ringtones] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832243) free sony ringtones] [http://www.forumhosting.org/forum.php?mforum=coephrai cheap tramadol] [http://www.rso.cmich.edu/prevet/messageboard/000031d2.htm free qwest ringtone] [http://letocoer.jubiiblog.de/ free polyphonic ringtones] [http://forum.kharkiv.edu/SForums/topic.asp?TOPIC_ID=310&FORUM_ID=3&CAT_ID=3 but xanax] [http://www.csun.edu/learningnet/discussion/file.php?0,file=155 sagem ringtones] [http://www.hcs.harvard.edu/~twiki/pub/Main/AngelKristofer/ciby.htm funny ringtones] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=356 free sony ericsson ringtones] [http://www.csun.edu/learningnet/discussion/file.php?0,file=121 cheap viagra] [http://www.csun.edu/learningnet/discussion/file.php?0,file=141 free free ringtones] [http://ricrotroc.blogdiario.com/ samsung ringtones] [http://eltlili.jubiiblog.de/ buy ambien] [http://ouglova.blogspot.com valium half life] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832248) buy ultram] [http://www.csun.edu/learningnet/discussion/file.php?0,file=157 free sony ericsson ringtones] [http://www.hcs.harvard.edu/~twiki/pub/Main/CoyarCharline/rujop.htm phentermine online] [http://woolygrrl.blogspot.com valium side effects] [http://www8.vjc.edu/EnvironmentalClub/discuss/msgReader$134 valium online] [http://www8.vjc.edu/EnvironmentalClub/discuss/msgReader$95 diazepam online] [http://www.hcs.harvard.edu/~twiki/pub/Main/AngelKristofer/tubonyh.htm free samsung ringtones] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1030?id=atch1113 hoodia online] [http://acdronou.jubiiblog.de/ cheap diazepam] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832224) mp3 ringtones] [http://alcodom.blogdiario.com/ cheap viagra] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=370 online xanax] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832241) soma online] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=312 cheap adipex] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=318 cialis online] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1030?id=atch1105 cheap pharmacy online] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1029?id=atch1066 cheap soma] [http://coracou.jubiiblog.de/ hydrocodone online] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1029?id=atch1094 buy didrex] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1029?id=atch1087 cheap lorazepam] [http://www.forumhosting.org/forum.php?mforum=covarrel funny ringtones] [http://lasitdron.jubiiblog.de/ sildenafil online] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1029?id=atch1084 levitra online] [http://www.hcs.harvard.edu/~twiki/pub/Main/AngelKristofer/nyzihyp.htm free tracfone ringtone] [http://manka-kapak.blogspot.com casino craps online] [http://www.rso.cmich.edu/prevet/messageboard/000031c8.htm free ringtone] [http://www.forumhosting.org/forum.php?mforum=oudronacel didrex online] [http://www.hcs.harvard.edu/~twiki/pub/Main/CoyarCharline/kukoti.htm generic cialis] [http://www.hcs.harvard.edu/~twiki/pub/Main/AngelKristofer/sinyfu.htm mp3 ringtones] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832228) free nextel ringtones] [http://ervarli.blogdiario.com/ jazz ringtones] [http://www.csun.edu/learningnet/discussion/file.php?0,file=148 motorola ringtones] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832235) punk ringtones] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832253) wellbutrin online] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832204) cool ringtones] [http://www8.vjc.edu/EnvironmentalClub/discuss/msgReader$88 free alltel ringtones] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1031?id=atch1134 alltel ringtones] [https://www-internal.slac.stanford.edu/glast/integrationtest/online/Forum/topic.asp?TOPIC_ID=361 buy tramadol] [http://www8.vjc.edu/EnvironmentalClub/discuss/msgReader$106 nokia ringtones] [http://discussions.csbsju.edu/general/messages/25/xyvi-237.html cheap viagra] [http://www.rso.cmich.edu/prevet/messageboard/000031b5.htm cheap adipex] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832230) cheap norco] [http://www.csun.edu/learningnet/discussion/file.php?0,file=134 wellbutrin online] [http://www.csun.edu/learningnet/discussion/file.php?0,file=132 cheap lorazepam] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832234) order propecia] [http://alcta.blogdiario.com/ free sprint ringtones] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1029?id=atch1092 ultracet] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1029?id=atch1100 order zoloft] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1031?id=atch1136 cool ringtones] [http://liboor.jubiiblog.de/ free tracfone ringtones] [http://letorolac.jubiiblog.de/ motorola ringtones] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832201) cialis online] [http://www.rso.cmich.edu/prevet/messageboard/000031c5.htm levitra online] [http://domvimon.jubiiblog.de/ buy norco] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1029?id=atch1068 phentermine online] [http://ertral.jubiiblog.de/ but carisoprodol] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1029?id=atch1074 cheap cialis] [http://enchanted1312.blogspot.com injecting valium] [http://www.forumhosting.org/forum.php?mforum=ricrolget music ringtones] [http://el5or5ro.blogdiario.com/ free motorola ringtones] [http://www.rso.cmich.edu/prevet/messageboard/000031c3.htm cheap clonazepam] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1031?id=atch1128 free polyphonic ringtones] [http://www.hcs.harvard.edu/~twiki/pub/Main/CoyarCharline/lusuli.htm cheap viagra] [http://www8.vjc.edu/EnvironmentalClub/discuss/msgReader$113 free sagem ringtones] [http://bocoleto.jubiiblog.de/ free alltel ringtones] [http://discussions.csbsju.edu/general/messages/25/lepef-234.html diazepam online] [http://discussions.csbsju.edu/general/messages/25/dyjys-243.html cheap adipex] [http://discussions.csbsju.edu/general/messages/25/zisi-231.html buy xanax] [http://olorolacel.blogdiario.com/ diazepam online] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832220) meridia online] [http://www.forumhosting.org/forum.php?mforum=vartrocvi verizon ringtones] [http://www.forumhosting.org/forum.php?mforum=safunder viagra online] [http://algettr.blogdiario.com/ cheap carisoprodol] [http://www.rso.cmich.edu/prevet/messageboard/000031b7.htm generic vicodin] [http://forum.kharkiv.edu/SForums/topic.asp?TOPIC_ID=315&FORUM_ID=3&CAT_ID=3 cheap viagra] [http://www8.vjc.edu/EnvironmentalClub/discuss/msgReader$96 cheap fioricet] [http://src.moffitt.usf.edu/sf/sfmain/do/downloadAttachment/projects.jaffy/tracker.bug_tracker/artf1030?id=atch1112 cheap flexeril] [http://www.hcs.harvard.edu/~twiki/pub/Main/CoyarCharline/jeziluc.htm generic adipex] [http://forum.kharkiv.edu/SForums/topic.asp?TOPIC_ID=302&FORUM_ID=3&CAT_ID=3 cheap soma] [http://pathology.jhu.edu/N/n.web?EP=N&URL=/MCGI/SEND1^WEBUTLTY(200,832222) free mono ringtones] [http://tavidel.blogdiario.com/ free sony ericsson ringtones] [http://www.forumhosting.org/forum.php?mforum=yohiatt meridia online] [http://www8.vjc.edu/EnvironmentalClub/discuss/msgReader$135 free verizon ringtones] [http://www.hcs.harvard.edu/~twiki/pub/Main/AngelKristofer/pixe.htm cingular ringtones] [http://livisit.blogdiario.com/ valium online] [http://www.hcs.harvard.edu/~twiki/pub/Main/AngelKristofer/pypybug.htm nextel ringtones] [http://www.hcs.harvard.edu/~twiki/pub/Main/AngelKristofer/cicyfi.htm polyphonic ringtones] [http://boricdom.blogdiario.com/ nextel ringtones] {{Paperlets Navigation}}
+
{{Paperlets Navigation}}
  
 
[[Image:TheInsideStory.png|250px|right]]
 
[[Image:TheInsideStory.png|250px|right]]
Line 120: Line 120:
  
 
Alas, as of July 2006 it seems that re-embedding universality does not hold for Khovanov homology. Indeed, Khovanov homology is not invariant under the "cabled mutation" of {{ref|Dunfield_Garoufalidis_Shumakovitch_Thistlethwaite}} (see especially pages 8-9). But it seems that re-embedding universality for Khovanov homology implies invariance under cabled mutation and hence the former cannot hold. Some further details and discussion may appear here in the future.
 
Alas, as of July 2006 it seems that re-embedding universality does not hold for Khovanov homology. Indeed, Khovanov homology is not invariant under the "cabled mutation" of {{ref|Dunfield_Garoufalidis_Shumakovitch_Thistlethwaite}} (see especially pages 8-9). But it seems that re-embedding universality for Khovanov homology implies invariance under cabled mutation and hence the former cannot hold. Some further details and discussion may appear here in the future.
 +
 +
==A Partial Success by Stephan Wehrli==
 +
 +
In mid 2007 Stephan Wehrli was able to complete argument of the "first attempt" above, though only over <math>{\mathbb Z}/2{\mathbb Z}</math>. See his upcoming paper on the subject, and meanwhile, see the slides of a talk he gave about the subject in [http://www.math.kyoto-u.ac.jp/~nakajima/07_Link%20homology%20and%20categorification/schedule.html Kyoto] (his is the last link on that page).
  
 
==References==
 
==References==

Latest revision as of 14:50, 26 June 2007

TheInsideStory.png
ReEmbeddingAndMutation.png

Abstract. The purpose of this note is to sketch my "almost proof" of mutation invariance for Khovanov homology of knots and to discuss "re-embedding universality" for Khovanov homology.

Contents

History And Summary

I have presented an almost-proof of invariance of Khovanov homology under knot mutation in a conference in Snowbird, Utah in June 2005 (see the handouts from that talk here). At the time it was clear to me that the very end of the proof was a bit fishy, and an example by Jake Rasmussen made it look even fishier.

Yet the proof seemed to have all the right ingredients in it (for example, it was restricted to the case of knots; indeed, mutation invariance of Khovanov homology for links is known to fail). So I was quite sure the missing bit will be completed quickly. A short time later I (thought I) was able to complete the proof, and for a few months I believed my proof was right, though I did not write it up so I was never confident.

Then in October 2005 I explained my proof over the phone to Stephan Wehrli in Zurich, and in December 2005 he contacted me again with a gap in the proof. I still don't know how to resolve the difficulty and I am no longer convinced that Khovanov homology is invariant under knot mutation.

Yet not all is lost:

  • The proof remains "almost true" and still seems to have (at least many of) the right ingredients. Thus somebody may well be able to complete it one day.
  • The parts of the proof that still hold suggest ways to narrow down the search for counterexamples for mutation invariance. Thus with the proper software there is some real hope that a counterexample will be found.
  • In an effort to save the proof I realized that mutation invariance is implied by a much broader and more conceptual suggested property of Khovanov homology, the property of "re-embedding universality". The difficulty in proving re-embedding universality is the same as the difficulty in proving mutation invariance, but the benefit, if proven, seems greater. I hope people will put some effort into understanding re-embedding universality.

What's Mutation?

Figure 1. Schematics for a mutation along a horizontal axis, with the inside and outside connectivities indicated.

A mutation is the process of marking a circle on a knot or a link diagram which intersects it at precisely four points, and flipping its inside (the inside tangle), yet not its outside (the outside tangle), around a horizontal axis as illustrated on the right. (Other types of mutation are topologically equivalent to this one). Mutation does not change the overall connectivity of the knot/link in question. Thus a knot stays a knot and a link stays a link.

It is well known that the Jones polynomial, as well as the Alexander, HOMFLYPT, and coloured Jones polynomials, are invariant under knot mutation. There are easy examples to show that Khovanov homology is not invariant under link mutation, but it is still unknown whether or not Khovanov homology is invariant under knot mutation.

The Almost Proof

Let us present an almost proof of invariance of Khovanov homology under knot mutation.

The Setup

Assume that the connectivity of the inside and outside tangles are as in Figure 1. With minor effort, all other possible connectivity possibilities for knot mutation can be treated in similar ways. (In fact, the almost proof below works just as well for link mutations in which "there is no exchange of genetic material" between the two link components involved). Let K_1 be the knot in question "before" the mutation, and let K_2 be the "after" knot. Likewise let T_1 and T_2 be the inside tangle before and after mutation (so T_2 is the horizontal flip of T_1) and let S be the (fixed) outside tangle.

Using the constructions of [Bar-Natan] we have that "the overall is the tensor product of the inside and the outside": \operatorname{Kh}(K_1)=\operatorname{Kh}(T_1)\otimes\operatorname{Kh}(S) and \operatorname{Kh}(K_2)=\operatorname{Kh}(T_2)\otimes\operatorname{Kh}(S). Thus let us start by comparing \operatorname{Kh}(T_1) with \operatorname{Kh}(T_2).

For simplicity we work in the category of "dotted cobordisms" \operatorname{Cob}^3_\bullet as in Section 11.2 of [Bar-Natan].

The Inside Story

The explicit isomorphism between a circle and two empty sets.

It is well known (though not well documented, and I have only myself to blame), that in \operatorname{Cob}^3_\bullet a circle is isomorphic to two empty sets (with some grading shifts; a proof is on the right).

After this isomorphism is used repeatedly on \operatorname{Kh}(T_1), the objects in the complex that remains have no loops, and there are only two possibilities for such objects - the "horizontal smoothing" and the "vertical smoothing". Furthermore, there are only 12 possible cobordisms whose tops and bottoms are horizontal or vertical smoothings. Thus \operatorname{Kh}(T_1) can be seen as taking values in a (very) finite category consisting of 2 objects and 12 morphisms ("arrows"), as summarized in the following picture:

The "inside" category has two objects and 12 morphisms

The construction of \operatorname{Kh}(T) and the process of "delooping" are clearly equivariant under horizontal (or vertical, for that matter) flips and so \operatorname{Kh}(T_2) is obtained from \operatorname{Kh}(T_1) simply by flipping all objects and morphisms in sight. But these all fall within the category in the picture above, and all two of the objects and 10 of the 12 morphisms are clearly invariant under flips. The remaining two morphisms are drawn in red in the above picture. The only difference between \operatorname{Kh}(T_1) and \operatorname{Kh}(T_2) is that every occurrence of a "red" morphism in \operatorname{Kh}(T_1) becomes the "other red" in \operatorname{Kh}(T_2).

The Outside Story

We claim that relative to the outside differential, the two "red" morphisms of the "inside" invariant are homotopic. The key point is in the picture below:

A "dot" can be moved across a crossing

This picture shows (by displaying an explicit homotopy) that the two endomorphisms p_0 and q_0 of the complex of a single crossing, obtained by a horizontal composition with a dotted curtain either on the upper left or on the lower right are homotopic. This can be iterated to "drag" dots across crossings and thus, as the connectivity of strands in S is as in Figure 1, the "dot" in any one "red" morphism in \operatorname{Kh}(T_1) can be pulled around the outside so as to turn it into the other "red" morphism.

(Notice: this is where the given connectivity for the outside is used, and it is at this point that our almost proof fails entirely for links).

(To be precise, the "outside" image shows that p_0\sim-q_0. But there is an even number of crossings on the outside strand that our dot needs to travel, so overall, signs work out right).

The Inside Meets the Outside

The double complex for mutation invariance.

In summary, \operatorname{Kh}(K_1) and \operatorname{Kh}(K_2) are the homologies (or just the homotopy classes) of two double complexes that share a vertical differential D but may have different horizontal differentials, p and q, and those two horizontal differentials are homotopic relative to the vertical differential using a homotopy h.

Note that p and q here are not quite the same as p_0 and q_0 of the previous section - p_0 and q_0 were just single "red" parts of the p's and q's here, and dots were just being "transported" across a single crossing. p and q may differ by having many red parts, and the dots on these red parts may need transportation across many crossings. So h is a (possibly) complex assembly of many versions of h_0 "installed" at (possibly) many locations on the outside tangle and within (possibly) many entries in the double complex.

One would hope that with such a close relationship between the complexes for \operatorname{Kh}(K_1) and \operatorname{Kh}(K_2) it should be easy to prove that the two homologies are equal.

Failure of the "Almost Proof"

Rasmussen's example

Unfortunately it is simply not true that homotopic horizontal differentials in a double complex lead to equal overall homology. A nice counterexample was given already in Utah by Jake Rasmussen, and is reproduced on the left here (dots stand for vectors and the maps are presented by colour-coded arrows).

It is not difficult to show that if in addition h commutes with p and q then \exp(h) is an isomorphism between the two double complexes. For a while I believed I could show that in our case indeed h commutes with p and q and the problem is resolved. But in December 2005 Stephan Wehrli asked for the details, and it turned out I didn't have them (no counterexample yet, either). At this time neither I nor he know how to revive the proof.

A Second Attempt - "Re-Embedding Universality"

We will say that a knot invariant has "re-embedding universality" if whenever a knot is drawn on a surface and the surface is embedded in space, one can recover the invariant of the "pushforward" knot in space from the invariant of that knot on the surface and from information about the embedding of the surface in space.

After saying the same thing again in a few more words, we'll state the obvious fact that the Jones polynomial has re-embedding universality and ask if Khovanov homology has that too. If it does, mutation invariance holds (for knots) for Khovanov homology. That would be a lovely corollary of re-embedding universality. Yet IMHO, re-embedding universality is such a lovely abstract property of the Jones polynomial that resolving whether or not it holds for Khovanov homology is much more significant than deciding the issue of mutation invariance.

Re-Embedding Universality in More words

Suppose a knot (or a link) K is drawn on a surface \Sigma (i.e., embedded in \Sigma\times I, via a map \gamma:S\to\Sigma\times I, where S is a circle or a union of circles), and suppose that in turn, \Sigma is embedded in {\mathbb R}^3 via \sigma:\Sigma\to{\mathbb R}^3. Extend \sigma to a homeomorphism of \Sigma\times I with a tubular neighbourhood of \sigma(\Sigma) and abuse the notation a bit by denoting the resulting extension again by \sigma. We can now regard K also as a knot in {\mathbb R}^3 which perhaps is better denoted \sigma\circ\gamma.

Suppose I is some knot/link invariant which is defined for knots drawn in the plane (i.e., knots in {\mathbb R}^3) as well as for knots/links drawn on other surfaces.

We will say that I has "re-embedding universality" if I(\gamma) and \sigma together determine I(\sigma\circ\gamma). This is a natural "good behaviour" property for I which somehow says that there is no loss of information in computing I for knots that are embedded "in steps".

The Jones Polynomial has Re-Embedding Universality

There's nothing to say here, really. Consider the Jones polynomial for surface knots using Kauffman bracket skein modules (so that it is valued in {\mathbb Z}[q,q^{-1}]-linear combinations of "smoothings" on \Sigma. Once \sigma is given, each smoothing on \Sigma becomes a knot in {\mathbb R}^3 which has its own Jones polynomial, and the appropriate linear combination of these Jones polynomials is the Jones polynomial of \sigma\circ\gamma; this is merely the fact that in resolving crossings to smoothings, one may first resolve the crossings "on \Sigma" and then the crossings induced from the projection of \Sigma to the plane.

In fairness, a minor complication does arise - the Jones polynomial is defined for oriented knots/links, while smoothings are unoriented. But orientation issues only amount to signs and overall powers of q. So you may either ignore those, or do the right thing, work a bit harder, and find a way to incorporate a bit of extra orientation information into the definition of J for surface knots. Most likely it will be enough to declare that the "enhanced Jones" of \gamma:S\to\Sigma\times I is the "old Jones" of \gamma along with \gamma_\star H_1(S)\subset H_1(\Sigma). I will ignore this issue below.

Khovanov Homology and Re-Embedding Universality

Does Khovanov homology enjoy re-embedding universality?

The complete locality of the constructions in [Bar-Natan] allows them to be easily generalized to knots on surfaces. In short, Khovanov homology for knots on \Sigma takes values in formal complexes in the category \operatorname{Cob}(\Sigma) whose objects are smoothings in \Sigma and whose morphisms are cobordisms in \Sigma\times I between such smoothings. For a given knot K, call the resulting complex \operatorname{Kh}(K).

Given an embedding \sigma of \Sigma in {\mathbb R}^3 there is a natural functor \operatorname{Kh}_\sigma taking \operatorname{Cob}(\Sigma) to the category \operatorname{Kob} of complexes of smoothings in the plane (with ordinary cobordisms for the differentials). Namely, map every smoothing s on \Sigma to the ordinary Khovanov homology complex of \sigma_\star s. Likewise, the image via \sigma of every morphism in \operatorname{Cob}(\Sigma) can be interpreted as a movie of smoothings and hence as a morphism between their Khovanov complexes.

Thus things seem to look good for re-embedding universality for Khovanov homology. Given K on \Sigma, compute its Khovanov homology \operatorname{Kh}(K) within \Sigma and get a complex in \operatorname{Cob}(\Sigma). To that complex you can apply the above mentioned functor \operatorname{Kh}_\sigma and get a double complex in \operatorname{Kob}, whose collapse into a single complex by summing the diagonals ought to be \operatorname{Kh}(\sigma_\star K).

Unfortunately, two problems arise:

  1. (Noted by Stephan Wehrli) The "movies to morphisms" map is only well defined up to signs. Thus it is reasonable to expect that \operatorname{Kh}_\sigma will only be unambiguous (and hence re-embedding universality will only hold) provided certain parity/genus/orientation conditions are met. I am not sure what these parity/genus/orientation conditions should be; but surely their determination can be taken as a further incentive for a better understanding of the signs that occur in the "movies to morphisms" map. Note that this problem may be a blessing in disguise - as Wehrli had noted (see below), if re-embedding universality was to hold without any parity/genus/orientation conditions, it would prove mutation invariance for certain links for which it is known to be false.
  2. \operatorname{Kh}(K) is only determined up to homotopy equivalence, and thus the application of \operatorname{Kh}_\sigma yields a double complex whose "columns" are only specified up to homotopy. The "collapse" of such a double complex is not well defined up to homotopy for reasons similar to the failure of our proof of mutation invariance, as mentioned above.

I don't know if anything can be saved and at the end, I have no opinion as for whether or not Khovanov homology enjoys re-embedding invariance. I'd expect that the parity/genus/orientation issues of the first problem above will be resolved without too much difficulty. The homotopy equivalence issues of the second problem may be harder and deeper.

Khovanov Homology, Re-Embedding Universality and Mutation Invariance

Exercise 1. Show that re-embedding universality for Khovanov homology implies mutation invariance of Khovanov homology for knots.

Hint. Consider the following figure:

Figure 2. On a surface, sliding red dots is a non-issue.
A "T" here is an insertion of a trefoil tangle.

Exercise 2. (S. Wehrli) Show that naive re-embedding universality cannot hold in the situation described by the figure on the right, or else mutation invariance will hold for a link for which it is known to fail.

Note though that the surface \Sigma in this figure is of genus 1, while in the previous figure \Sigma is of genus 0.

Alas

Alas, as of July 2006 it seems that re-embedding universality does not hold for Khovanov homology. Indeed, Khovanov homology is not invariant under the "cabled mutation" of [Dunfield_Garoufalidis_Shumakovitch_Thistlethwaite] (see especially pages 8-9). But it seems that re-embedding universality for Khovanov homology implies invariance under cabled mutation and hence the former cannot hold. Some further details and discussion may appear here in the future.

A Partial Success by Stephan Wehrli

In mid 2007 Stephan Wehrli was able to complete argument of the "first attempt" above, though only over {\mathbb Z}/2{\mathbb Z}. See his upcoming paper on the subject, and meanwhile, see the slides of a talk he gave about the subject in Kyoto (his is the last link on that page).

References

[Bar-Natan] ^  Dror Bar-Natan, Khovanov's Homology for Tangles and Cobordisms, Geometry and Topology 9-33 (2005) 1443-1499.

[Dunfield_Garoufalidis_Shumakovitch_Thistlethwaite] ^  Nathan Dunfield, Stavros Garoufalidis, Alexander Shumakovitch and Morwen Thistlethwaite, Behavior of Knot Invariants under Genus 2 Mutation, arXiv:math.GT/0607258.