Heegaard bölme - Heegaard splitting - Wikipedia

İçinde matematiksel alanı geometrik topoloji, bir Heegaard bölme (Danca:[ˈHe̝ˀˌkɒˀ] (Bu ses hakkındadinlemek)) kompakt yönelimli bir ayrıştırmadır 3-manifold bu onu ikiye bölmekten kaynaklanır gidonlar.

Tanımlar

İzin Vermek V ve W olmak gidonlar cinsin gve ƒ yönünü tersine çevirelim homomorfizm -den sınır nın-nin V sınırına W. Yapıştırarak V -e W boyunca along kompakt odaklı 3-manifold

Her kapalı yönlendirilebilir üç manifold bu şekilde elde edilebilir; bu, üç-manifoldun üçgenleştirilebilirliğine ilişkin derin sonuçlardan kaynaklanmaktadır. Moise. Bu, pürüzsüz veya parçalı doğrusal yapıları kabul etmesi gerekmeyen daha yüksek boyutlu manifoldlarla güçlü bir tezat oluşturur. Pürüzsüzlük varsayarsak, bir Heegaard bölünmesinin varlığı aynı zamanda Smale Morse teorisinden sap ayrıştırmaları hakkında.

Ayrışması M iki tutamağa a denir Heegaard bölmeve ortak sınırları H denir Heegaard yüzeyi bölünmenin. Bölmeler kadar kabul edilir izotopi.

Yapıştırma haritası ƒ, yalnızca iki katına kadar coset içinde eşleme sınıfı grubu nın-nin H. Eşleme sınıfı grubuyla bu bağlantı ilk olarak W. B.R. Lickorish.

Heegaard bölmeleri ayrıca, gidonları değiştirerek sınıra sahip kompakt 3-manifoldlar için tanımlanabilir. sıkıştırma gövdeleri. Yapıştırma haritası, sıkıştırma gövdelerinin pozitif sınırları arasındadır.

Kapalı bir eğri denir önemli bir noktaya, delinmeye veya sınır bileşenine homotopik değilse.[1]

Bir Heegaard bölünmesi indirgenebilir temel bir basit kapalı eğri varsa açık H her ikisinde de bir diski bağlayan V ve W. Bir bölme indirgenemez indirgenemezse. Buradan takip eder Haken'in Lemması içinde indirgenebilir manifold her bölme azaltılabilir.

Bir Heegaard bölünmesi stabilize temel basit kapalı eğriler varsa ve açık H nerede bir diski sınırlar V, bir diski sınırlar W, ve ve tam olarak bir kez kesişir. Buradan takip eder Waldhausen'in Teoremi her indirgenebilir bölünmesinin indirgenemez manifold stabilize edildi.

Bir Heegaard bölünmesi zayıf indirgenebilir ayrık temel basit kapalı eğriler varsa ve açık H nerede bir diski sınırlar V ve bir diski sınırlar W. Bir bölme kesinlikle indirgenemez zayıf bir şekilde indirgenemezse.

Bir Heegaard bölünmesi en az veya minimal cins alt ortamdaki üç manifoldun başka bölünmesi yoksa cins. Minimum değer g yarılma yüzeyinin Heegaard cinsi nın-nin M.

Genelleştirilmiş Heegaard bölmeleri

Bir genelleştirilmiş Heegaard bölme nın-nin M ayrışmadır sıkıştırma gövdeleri ve yüzeyler öyle ki ve . Sıkıştırma gövdelerinin iç kısımları çift olarak ayrık olmalı ve birleşimlerinin tamamı olmalıdır. . Yüzey altmanifold için bir Heegaard yüzeyi oluşturur nın-nin . (Burada her birinin Vben ve Wben birden fazla bileşene sahip olmasına izin verilir.)

Genelleştirilmiş bir Heegaard bölünmesi denir kesinlikle indirgenemez eğer her biri kesinlikle indirgenemez.

Benzer bir kavram var ince pozisyon, Heegaard bölünmeleri için düğümler için tanımlanmıştır. Bağlantılı bir yüzeyin karmaşıklığı S, c (S), olarak tanımlanır ; bağlantısız bir yüzeyin karmaşıklığı, bileşenlerinin karmaşıklıklarının toplamıdır. Genelleştirilmiş bir Heegaard bölmesinin karmaşıklığı çoklu kümedir {c (S_i)}, endeksin genelleştirilmiş bölmede Heegaard yüzeyleri üzerinden geçtiği yer. Bu çoklu setler şu şekilde sıralanabilir: sözlüksel sıralama (monoton olarak azalan). Genelleştirilmiş bir Heegaard bölünmesi ince karmaşıklığı minimum ise.

Örnekler

Üç küre: Üç küre vektörlerin kümesidir uzunluk bir. Bu ile kesişiyor hiper düzlem bir iki küre. Bu standart cins sıfır bölünmesi . Tersine, tarafından İskender'in Hilesi, bir cins sıfır bölünmesini kabul eden tüm manifoldlar homomorfik -e .

Olağan kimliği altında ile görebiliriz yaşarken . Ardından, her koordinatın normuna sahip olduğu noktalar kümesi oluşturur Clifford torus, . Bu standart bir cinsin bölünmesidir. . (Ayrıca bkz. Hopf paketi.)

Stabilizasyon: Heegaard bölünmesi verildiğinde H içinde M stabilizasyon nın-nin H alınarak oluşturulur bağlantılı toplam çiftin çifti ile . Stabilizasyon prosedürünün stabilize bölünmeler sağladığını göstermek kolaydır. Endüktif olarak, bir bölme standart standart bir bölünmenin stabilizasyonu ise.

Lens boşlukları: Hepsinde standart cins bir bölünme vardır. Bu, Clifford simitinin görüntüsüdür. söz konusu mercek alanını tanımlamak için kullanılan bölüm haritasının altında. Yapısından izler eşleme sınıfı grubu of iki simit sadece mercek boşluklarının cins bir bölünmesi var.

Üç simit: Üç simitin ... Kartezyen ürün üç kopya (daireler ). İzin Vermek noktası olmak ve grafiği düşünün. Bunu göstermek kolay bir alıştırma V, bir normal mahalle nın-nin olduğu gibi bir tutamaç . Böylece sınırı V içinde bir Heegaard bölünmesidir ve bu standart bölünmedir . Charles Frohman tarafından kanıtlandı ve Joel Hass Üç simidin diğer herhangi bir cins 3 Heegaard bölünmesinin topolojik olarak buna eşdeğer olduğu. Michel Boileau ve Jean-Pierre Otal, genel olarak üç simidin herhangi bir Heegaard bölünmesinin bu örneği stabilize etmenin sonucuna eşdeğer olduğunu kanıtladı.

Teoremler

İskender'in Lemması: İzotopiye kadar, benzersiz bir (Parçalı doğrusal ) iki kürenin üç küre içine yerleştirilmesi. (Daha yüksek boyutlarda bu, Schoenflies teoremi. İkinci boyutta bu, Jordan eğri teoremi Bu, şu şekilde yeniden ifade edilebilir: cins sıfır bölünmesi benzersiz.

Waldhausen'in Teoremi: Her bölme sıfır cinsinin benzersiz bölünmesinin stabilize edilmesiyle elde edilir.

Şimdi varsayalım ki M kapalı yönlendirilebilir üç manifolddur.

Reidemeister-Singer Teoremi: Herhangi bir bölme çifti için ve içinde M üçüncü bir bölünme var içinde M bu her ikisinin de dengelenmesidir.

Haken'in Lemması: Farz et ki önemli bir iki alandır M ve H bir Heegaard bölünmesidir. O zaman temel bir iki küre var içinde M toplantı H tek bir eğride.

Sınıflandırmalar

Heegaard bölünmelerinin tamamen bilindiği birkaç üç-manifold sınıfı vardır. Örneğin, Waldhausen'in Teoremi, tüm bölünmelerin standarttır. Aynısı için de geçerlidir lens boşlukları (Francis Bonahon ve Otal tarafından kanıtlandığı gibi).

Bölmeler Seifert fiber uzayları daha incedir. Burada, tüm bölmeler izotoplu olabilir dikey veya yatay (Yoav Moriah tarafından kanıtlandığı gibi ve Jennifer Schultens ).

Cooper ve Scharlemann (1999) sınıflandırılmış bölmeler simit demetleri (tüm üç manifoldu içeren Sol geometrisi ). Çalışmalarından, tüm torus demetlerinin benzersiz bir minimal cins bölünmesine sahip olduğu sonucu çıkıyor. Torus demetinin diğer tüm bölünmeleri, minimal cins birin stabilizasyonlarıdır.

2008 itibariyle, tek hiperbolik Heegaard bölünmeleri sınıflandırılan üç manifold, Tsuyoshi Kobayashi'nin bir makalesinde iki köprü düğümlü tamamlayıcılardır.

Uygulamalar ve bağlantılar

Minimal yüzeyler

Heegaard bölünmeleri teorisinde ortaya çıktı minimal yüzeyler ilk işinde Blaine Lawson pozitif kesitsel eğriliğe sahip kompakt manifoldlarda gömülü minimal yüzeylerin Heegaard bölmeleri olduğunu kanıtladı. Bu sonuç, William Meeks tarafından düz manifoldlara genişletildi, ancak düz üç manifoldda gömülü bir minimal yüzeyin ya bir Heegaard yüzeyi ya da tamamen jeodezik.

Meeks ve Shing-Tung Yau sonlu cinsin minimal yüzeylerinin topolojik benzersizliği hakkındaki sonuçları kanıtlamak için Waldhausen sonuçlarını kullanmaya devam etti. . Gömülü minimal yüzeylerin son topolojik sınıflandırması Meeks ve Frohman tarafından verildi. Sonuç, büyük ölçüde Heegaard bölmelerinin topolojisini incelemek için geliştirilen tekniklere dayanıyordu.

Heegaard Floer homolojisi

Heegaard bölünmelerinin basit kombinatoryal açıklamaları olan Heegaard diyagramları, üç-manifoldun değişmezlerini oluşturmak için yaygın olarak kullanılmıştır. Bunun en son örneği Heegaard Floer homolojisi nın-nin Peter Ozsvath ve Zoltán Szabó. Teori kullanır Ortam alanı olarak bir Heegaard yüzeyinin simetrik ürünü ve iki gidon için meridyen disklerinin sınırlarından inşa edilen tori Lagrange altmanifoldları.

Tarih

Heegaard bölünmesi fikri, Poul Heegaard  (1898 ). Heegaard bölünmeleri aşağıdaki gibi matematikçiler tarafından kapsamlı bir şekilde incelenirken Wolfgang Haken ve Friedhelm Waldhausen 1960'larda, alan birkaç on yıl sonrasına kadar Andrew Casson ve Cameron Gordon  (1987 ), öncelikle güçlü indirgenemezlik.

Ayrıca bakınız

Referanslar

  1. ^ Farb, B .; Margalit, D. Haritalama Sınıf Grupları Üzerine Bir İlke. Princeton University Press. s. 22.