Seifert yüzeyi - Seifert surface

Bir dizi ile sınırlanmış bir Seifert yüzeyi Borromean yüzükler.

İçinde matematik, bir Seifert yüzeyi (adını Almanca matematikçi Herbert Seifert[1][2]) bir yüzey kimin sınır verilen düğüm veya bağlantı.

Bu tür yüzeyler, ilişkili düğüm veya bağlantının özelliklerini incelemek için kullanılabilir. Örneğin, birçok düğüm değişmezleri en kolay şekilde bir Seifert yüzeyi kullanılarak hesaplanır. Seifert yüzeyleri de kendi başlarına ilginç ve önemli araştırma konusu.

Özellikle, izin ver L olmak ehlileştirmek yönelimli düğüm veya bağlantı Öklid 3-uzay (veya 3-küre ). Bir Seifert yüzeyi, kompakt, bağlı, yönelimli yüzey S sınırı olan 3 boşlukta gömülü L öyle ki yönelim L sadece uyarılmış yönelim Sve tüm bağlantılı bileşenleri S boş olmayan sınırı vardır.

İçinde boş olmayan sınıra sahip herhangi bir kompakt, bağlantılı, yönlendirilmiş yüzeyin Öklid 3-uzay sınır bağlantısıyla ilişkili Seifert yüzeyidir. Tek bir düğüm veya bağlantı birçok farklı eşitsiz Seifert yüzeyine sahip olabilir. Bir Seifert yüzeyi, yönelimli. Yönlendirilmemiş veya yönlendirilebilir olmayan yüzeyleri düğümlerle ilişkilendirmek de mümkündür.

Örnekler

İçin bir Seifert yüzeyi Hopf bağlantısı. Bu bir halka, bir Möbius şeridi değil. İki yarım bükümü vardır ve bu nedenle yönlendirilebilir.

Standart Mobius şeridi var dağınık bir sınır için ama bakir için bir Seifert yüzeyi değildir, çünkü yönlendirilebilir değildir.

Normal minimal geçiş izdüşümünün "dama tahtası" rengi yonca düğüm üç yarım bükümlü bir Mobius şeridi verir. Önceki örnekte olduğu gibi, yönlendirilebilir olmadığı için bu bir Seifert yüzeyi değildir. Seifert'in algoritmasını bu diyagrama uygulamak, beklendiği gibi, bir Seifert yüzeyi oluşturur; bu durumda, delinmiş bir cins torusudur g = 1 ve Seifert matrisi

Varlık ve Seifert matrisi

Bu bir teorem herhangi bir bağlantı her zaman ilişkili bir Seifert yüzeyine sahiptir. Bu teorem ilk olarak Frankl tarafından yayınlandı ve Pontryagin 1930'da.[3] 1934'te farklı bir kanıt yayınlandı. Herbert Seifert ve şimdi Seifert algoritması olarak adlandırılan şeye güveniyor. algoritma Seifert yüzeyi üretir , söz konusu düğüm veya bağlantının bir izdüşümü verildiğinde.

Varsayalım ki bağlantı m bileşenler (m= 1 düğüm için), diyagramda d geçiş noktaları ve kesişmeleri çözmek (düğümün yönünü koruyarak) verir f daireler. Sonra yüzey inşa edilmiştir f ekleyerek diskleri ayırın d bantlar. Homoloji grubu 2'de ücretsiz abelyang jeneratörler, nerede

... cins nın-nin . kavşak formu Q açık dır-dir çarpık simetrik ve 2'nin temeli varg döngüleri

ile

doğrudan toplamı g Kopyaları

.
Bir homoloji oluşturucunun "itme" gösterimi a Sekizinci düğümün Seifert yüzeyi için pozitif ve negatif yönlerde.

2g × 2g tamsayı Seifert matrisi

vardır bağlantı numarası içinde Öklid 3-uzay (veya 3-küre ) nın-nin aben ve "itme" aj olumlu yönde . Daha doğrusu, Seifert yüzeylerinin çift kıvrımlı olduğunu hatırlatarak, gömülmesine temsili bir döngü verildiğinde içindeki homoloji üreteci olan olumlu itme ve olumsuz itme .[4]

Bununla, biz var

nerede V* = (v(j,ben)) devrik matrisi. Her tam sayı 2g × 2g matris ile cinsi olan bir düğümün Seifert matrisi olarak ortaya çıkar g Seifert yüzeyi.

Alexander polinomu Seifert matrisinden hesaplanır. en fazla 2 derece olan bir polinomg belirsiz olarak Alexander polinomu, Seifert yüzey seçiminden bağımsızdır ve düğüm veya bağlantının değişmezidir.

bir düğümün imzası ... imza simetrik Seifert matrisinin Yine düğüm veya bağlantının değişmezidir.

Bir düğümün cinsi

Seifert yüzeyler hiç de benzersiz değildir: Seifert yüzeyi S cinsin g ve Seifert matrisi V tarafından değiştirilebilir topolojik cerrahi Seifert yüzeyi ile sonuçlanır S′ Cins g + 1 ve Seifert matrisi

cins bir düğüm K ... düğüm değişmez asgari olarak tanımlanmış cins g Seifert yüzeyinin K.

Örneğin:

Cinsin temel bir özelliği, cinsine göre katkı maddesi olmasıdır. düğüm toplamı:

Genel olarak, bir düğümün cinsini hesaplamak zordur ve Seifert algoritması genellikle en küçük cins bir Seifert yüzeyini üretmez. Bu nedenle diğer ilgili değişmezler bazen yararlıdır. kanonik cins Bir düğüm, Seifert algoritması ile inşa edilebilen tüm Seifert yüzeylerinin en küçük cinsidir ve özgür cins tüm Seifert yüzeylerinin en küçük cinsidir. bir tutamak. (Seifert algoritması tarafından oluşturulan bir Seifert yüzeyinin tamamlayıcısı her zaman bir tutamaçtır.) Herhangi bir düğüm için eşitsizlik açıkça geçerlidir, bu nedenle özellikle bu değişmezler cinse üst sınırlar koyarlar.[5]

Ayrıca bakınız

Referanslar

  1. ^ Seifert, H. (1934). "Über das Geschlecht von Knoten". Matematik. Annalen (Almanca'da). 110 (1): 571–592. doi:10.1007 / BF01448044.
  2. ^ van Wijk, Jarke J.; Cohen, Arjeh M. (2006). "Seifert Yüzeylerinin Görselleştirilmesi". Görselleştirme ve Bilgisayar Grafiklerinde IEEE İşlemleri. 12 (4): 485–496. doi:10.1109 / TVCG.2006.83. PMID  16805258.
  3. ^ Frankl, F .; Pontrjagin, L. (1930). "Ein Knotensatz mit Anwendung auf die Dimensionstheorie". Matematik. Annalen (Almanca'da). 102 (1): 785–789. doi:10.1007 / BF01782377.
  4. ^ Dale Rolfsen. Düğümler ve Bağlantılar. (1976), 146-147.
  5. ^ Brittenham, Mark (24 Eylül 1998). "Sınırlayıcı kanonik cins, hacmi sınırlar". arXiv:math / 9809142.

Dış bağlantılar