Gömülü şeritler ve normal izotopi
Düzenli izotopi olarak bilinen, yalnızca Reidemeister Tip II ve III hareketleriyle izotopik olan düğümler hakkında Kauffman'ın 1990 tarihli "Düzenli İzotopinin Değişmezi" adlı makalesini okuyorum. Makalesi, normal izotopi ile gömülü bantlar arasında bir ilişki olduğunu iddia ediyor ($S^1 \times [0,1]$) içinde $S^3$. Burde'nin Knots ders kitabına atıfta bulunuyor, ancak normal izotopiden söz bulamıyorum, çünkü Kauffman, Burde'nin metni yazıldıktan sonra bu ifadeyi kağıda yazdı.
Normal bir düğüm izotopisinin gömülü bir banda karşılık geldiğini düşünüyorum. Ancak, gözden kaçırdığım bir patoloji olabileceğinden endişeleniyorum. İlişkinin kesin bir açıklaması olan var mı?
Yanıtlar
Herhangi bir düğüm diyagramından, "karatahta çerçevelemesi" alınarak çerçeveli bir düğüm elde edilebilir. Düğüm diyagramlarının normal izotopisinin amacı, bu karatahta çerçevesini korumasıdır. Çerçeveli düğümler ve gömülü bantlar aynı şey olduğundan, normal izotopi, düğüm diyagramının kara tahta çerçevesine karşılık gelen gömülü bandı da koruyacaktır.
Bunun Burde'de belki çerçeveli düğümler açısından daha ayrıntılı olarak tartışıldığını varsayıyorum. Ayrıca, Jones polinomunun / Chern-Simons TQFT'nin keşfinden sonra insanların onlarla daha fazla ilgilenmeye başladığını düşündüğümden, Burde'nin çerçeveli düğümleri hiç tartışmaması da mümkündür. Ve katılıyorum: Sanırım Kauffman "düzenli izotopi" terimini icat etti, bu yüzden muhtemelen Burde'da kullanılmıyor.
Bu bir cevaptan çok bir yorumdur, ancak umarım yardımcı olur. Düzenli homotopi hakkında çok daha eski ve daha iyi çalışılmış bir kavram var . İzin Vermek$X$ ve $Y$ pürüzsüz manifoldlar olsun ve $f,g\colon X \rightarrow Y$daldırın. Sonra$f$ ve $g$ daldırma yoluyla homotopik ise düzenli olarak homotopiktir.
Düzenli homotopi daldırma sınıflarına odaklanalım $S^1 \rightarrow \mathbb{R}^2$. Böyle bir daldırma, üst / alt geçişleri unutarak düğüm diyagramından elde ettiğiniz şeydir. Bunu görmek zor değil$f,g\colon S^1 \rightarrow \mathbb{R}^2$ düzenli olarak enine öz-kesişimleri olan homotopik daldırmalardır, o zaman $f$ dönüştürülebilir $g$Reidemeister II / III hareketlerinin bariz analoglarının bir dizisi ile. Bununla birlikte, hareket ettiğim bir Reidemeister'in bir analogunu gerçekleştiremezsiniz çünkü döngüyü sıkıca çektiğiniz anda türevin kaybolması gerekir, bu yüzden bu normal bir homotopi değildir.
Tahminimce Kauffman'ın düşündüğü buydu. Bu arada, düzenli homotopi daldırma sınıfları$S^1 \rightarrow \mathbb{R}^2$tamamen sınıflandırılabilir. Böyle bir daldırmanın türevini alarak ve türevin birim uzunluğa sahip olmasını sağlamak için yeniden ölçeklendirmeyi alarak, ilişkili bir harita elde edersiniz.$S^1 \rightarrow S^1$. Bu haritanın derecesine daldırma derecesi denir ve Whitney-Graustein teoremi , bu derecenin tam bir değişmez olduğunu söyler. Bu teorem, özel daldırma durumları için Hirsch-Smale daldırma teoreminin erken bir öncüsüdür.$S^2 \rightarrow \mathbb{R}^3$ Smale'nin küreyi içten dışa çeviren ünlü "küre eversiyonlarını" içerir.

