Dize topolojisi - String topology - Wikipedia

Dize topolojisibir dalı matematik, cebirsel yapıların incelenmesidir. homoloji nın-nin serbest döngü alanları. Saha Moira Chas tarafından başlatıldı ve Dennis Sullivan (1999 ).

Motivasyon

İken tekil kohomoloji Bir mekânın her zaman bir ürün yapısı vardır, bu, tekil homoloji bir boşluk. Bununla birlikte, böyle bir yapıyı yönlendirilmiş bir manifold ${ displaystyle M}$ boyut ${ displaystyle d}$ . Bu sözde kesişme ürünü. Sezgisel olarak, şu şekilde tanımlanabilir: verilen sınıflar ${ displaystyle x in H_ {p} (M)}$ ve ${ displaystyle y in H_ {q} (M)}$ , ürünlerini al ${ displaystyle x times y in H_ {p + q} (M times M)}$ ve diyagonal olarak çapraz hale getirin ${ displaystyle M hookrightarrow M times M}$ . Kavşak daha sonra bir sınıftır ${ displaystyle H_ {p + q-d} (M)}$ , kesişme ürünü ${ displaystyle x}$ ve ${ displaystyle y}$ . Bu yapıyı titiz hale getirmenin bir yolu, tabakalar.

Bir mekanın homolojisinin bir ürüne sahip olduğu başka bir durum, (tabanlı) döngü alanı ${ displaystyle Omega X}$ bir alanın ${ displaystyle X}$ . Burada mekanın kendisinin bir ürünü var

{ displaystyle m iki nokta üst üste Omega X times Omega X ila Omega X}

önce ilk döngüye ve ardından ikinci döngüye geçerek. Serbest döngü alanı için benzer bir ürün yapısı yoktur ${ displaystyle LX}$ içindeki tüm haritaların ${ displaystyle S ^ {1}}$ -e ${ displaystyle X}$ iki döngünün ortak bir noktası olması gerekmediğinden. Harita için bir yedek ${ displaystyle m}$ harita

{ displaystyle gamma iki nokta üst üste { rm {Harita}} (S ^ {1} lor S ^ {1}, M) ile LM}

nerede ${ displaystyle { rm {Harita}} (S ^ {1} lor S ^ {1}, M)}$ alt uzayı ${ displaystyle LM times LM}$ , iki döngünün değerinin 0'da çakıştığı ve ${ displaystyle gamma}$ döngüleri oluşturarak yeniden tanımlanır.

Chas-Sullivan ürünü

Chas-Sullivan ürünü fikri, şimdi yukarıdaki ürün yapılarını birleştirmektir. İki sınıf düşünün ${ displaystyle x in H_ {p} (LM)}$ ve ${ displaystyle y H_ {q} (LM)}$ . Ürünleri ${ displaystyle x times y}$ yatıyor ${ displaystyle H_ {p + q} (LM times LM)}$ . Bir haritaya ihtiyacımız var

{ displaystyle i ^ {!} iki nokta üst üste H_ {p + q} (LM kere LM) - H_ {p + qd} ({ rm {Harita}} (S ^ {1} lor S ^ {1 }, M)).}

Bunu inşa etmenin bir yolu, enine kesişim yapmak için katmanları (veya homolojinin başka bir geometrik tanımını) kullanmaktır (yorumladıktan sonra ${ displaystyle { rm {Harita}} (S ^ {1} lor S ^ {1}, M) alt küme LM times LM}$ dahil olarak Hilbert manifoldları ). Başka bir yaklaşım, ${ displaystyle LM times LM}$ için Thom alanı normal demetinin ${ displaystyle { rm {Harita}} (S ^ {1} lor S ^ {1}, M)}$ . İndüklenmiş haritayı homolojide oluşturma Thom izomorfizmi, istediğimiz haritayı alıyoruz.

Şimdi besteleyebiliriz ${ displaystyle i ^ {!}}$ indüklenmiş haritası ile ${ displaystyle gamma}$ ders almak ${ displaystyle H_ {p + q-d} (LM)}$ , Chas-Sullivan ürünü ${ displaystyle x}$ ve ${ displaystyle y}$ (bkz. ör. Cohen ve Jones (2002) ).

Uyarılar

Kesişme ürünü durumunda olduğu gibi, Chas-Sullivan ürünü ile ilgili farklı işaret kuralları vardır. Bazı sözleşmelerde değişmeli olarak derecelendirilir, bazılarında değildir.
Değiştirirsek aynı yapı çalışır ${ displaystyle H}$ başka bir çarpımsal ile homoloji teorisi ${ displaystyle h}$ Eğer ${ displaystyle M}$ ile ilgili ${ displaystyle h}$ .
Dahası, değiştirebiliriz ${ displaystyle LM}$ tarafından ${ displaystyle L ^ {n} M = { rm {Harita}} (S ^ {n}, M)}$ . Yukarıdaki yapının kolay bir varyasyonuyla, bunu anlıyoruz ${ displaystyle { mathcal {}} h _ {*} ({ rm {Harita}} (N, M))}$ bir modül bitmiş ${ displaystyle { mathcal {}} h _ {*} L ^ {n} M}$ Eğer ${ displaystyle N}$ bir çok boyuttur ${ displaystyle n}$ .
Serre spektral dizisi her ikisi için de yukarıdaki cebirsel yapılarla uyumludur lif demeti ${ displaystyle { rm {ev}} iki nokta üst üste LM ila M}$ lifli ${ displaystyle Omega M}$ ve lif demeti ${ displaystyle LE - LB}$ lif demeti için ${ displaystyle E - B}$ , hesaplamalar için önemlidir (bkz. Cohen, Jones ve Yan (2004) ve Meier (2010)).

Batalin – Vilkovisky yapısı

Bir eylem var ${ displaystyle S ^ {1} times LM - LM}$ bir haritayı tetikleyen rotasyonla

{ displaystyle H _ {*} (S ^ {1}) otimes H _ {*} (LM) ile H _ {*} (LM)}

.

Temel sınıfta takılıyor ${ displaystyle [S ^ {1}] H_ {1} (S ^ {1})} içinde$ , bir operatör verir

{ displaystyle Delta kolon H _ {*} (LM) - H _ {* + 1} (LM)}

1. dereceden bu operatörün Chas-Sullivan ürünü ile birlikte bir yapının yapısını oluşturmaları anlamında güzel bir şekilde etkileşime girdiği gösterilebilir. Batalin – Vilkovisky cebiri açık ${ displaystyle { mathcal {}} H _ {*} (LM)}$ . Bu operatörün genel olarak hesaplanması zor olma eğilimindedir. Bir Batalin-Vilkovisky cebirinin tanımlayıcı kimlikleri, "resimlerle" orijinal makalede kontrol edildi. Bunu yapmanın daha az doğrudan, ancak tartışmalı olarak daha kavramsal bir yolu, serbest döngü uzayında bir kaktüs operadının eylemini kullanmak olabilir. ${ displaystyle LM}$ .^[1] Kaktüs operası, çerçeveli ile zayıf bir şekilde eşdeğerdir. küçük diskler opera^[2] ve topolojik uzay üzerindeki etkisi, homoloji üzerinde bir Batalin-Vilkovisky yapısını ima eder.^[3]

Alan teorileri

Bir çift pantolon

String topolojisi aracılığıyla (topolojik) alan teorileri oluşturmak için çeşitli girişimler vardır. Temel fikir, yönlendirilmiş bir manifoldu düzeltmektir. ${ displaystyle M}$ ve her yüzeyle ilişkilendirin ${ displaystyle p}$ gelen ve ${ displaystyle q}$ giden sınır bileşenleri (ile ${ displaystyle n geq 1}$ ) bir operasyon

{ displaystyle H _ {*} (LM) ^ { otimes p} ile H _ {*} (LM) ^ { otimes q}}

bir için olağan aksiyomları yerine getiren topolojik alan teorisi. Chas-Sullivan ürünü, pantolon çiftiyle ilişkilidir. Yüzeyin cinsi 0'dan büyükse bu işlemlerin 0 olduğu gösterilebilir (bkz. Tamanoi (2010) )

Daha yapısal bir yaklaşım (sergilenen Godin (2008) ) verir ${ displaystyle { mathcal {}} (H _ {*} (LM), H _ {*} (LM))}$ bir derecenin yapısı ${ displaystyle d}$ pozitif sınır ile açık-kapalı homolojik konformal alan teorisi (HCFT). Açık-kapalı kısım göz ardı edilirse, bu aşağıdaki yapıya ulaşır: ${ displaystyle S}$ sınır dairelerinin gelen veya giden olarak etiketlendiği, sınırları olan bir yüzey olabilir. Eğer varsa ${ displaystyle p}$ gelen ve ${ displaystyle q}$ giden ve ${ displaystyle n geq 1}$ operasyonlar alıyoruz

{ displaystyle H _ {*} (LM) ^ { otimes p} ile H _ {*} (LM) ^ { otimes q}}

belirli bir bükülmüş homoloji ile parametrik hale getirilmiştir. eşleme sınıfı grubu nın-nin ${ displaystyle S}$ .

Referanslar

^ Voronov, Alexander (2005). "Evrensel cebir üzerine notlar". Matematik ve Teorik Fizikte Grafikler ve Örüntüler (M. Lyubich ve L. Takhtajan, ed.). Providence, RI: Amer. Matematik. Soc. sayfa 81–103.
^ Cohen, Ralph L .; Hess, Kathryn; Voronov, Alexander A. (2006). "Kaktüsler operası". String topolojisi ve döngüsel homoloji. Basel: Birkhäuser. ISBN 978-3-7643-7388-7.
^ Getzler, Ezra (1994). "Batalin-Vilkovisky cebirleri ve iki boyutlu topolojik alan teorileri". Comm. Matematik. Phys. 159 (2): 265–285. arXiv:hep-th / 9212043.

Chas, Moira; Sullivan, Dennis (1999). "String Topology". arXiv:math / 9911159v1.
Cohen, Ralph L.; Jones, John D. S. (2002). "String topolojisinin homotopi teorik olarak gerçekleştirilmesi". Mathematische Annalen. 324: 773–798. arXiv:matematik / 0107187. doi:10.1007 / s00208-002-0362-0. BAY 1942249.
Ralph Louis Cohen, John D. S. Jones ve Jun Yan, Kürelerin ve projektif uzayların döngü homolojisi cebiri içinde Cebirsel topolojide kategorik ayrıştırma teknikleri: Cebirsel Topolojide Uluslararası Konferans, Skye Adası, İskoçya, Haziran 2001, Birkhäuser, s. 77–92 (2004).
Meier, Lennart (2011). "Sicim Topolojisinde Spektral Diziler". Cebirsel ve Geometrik Topoloji. 11 (5): 2829–2860. arXiv:1001.4906. doi:10.2140 / agt.2011.11.2829. BAY 2846913.
Godin, Véronique (2008). "Daha yüksek dizgi topolojisi işlemleri". arXiv:0711.4859v2.
Tamanoi, Hirotaka (2010). "Dizi topolojisinde döngü ortak ürünleri ve daha yüksek cins TQFT işlemlerinin önemsizliği". Journal of Pure and Applied Cebir. 214 (5): 605–615. arXiv:0706.1276. doi:10.1016 / j.jpaa.2009.07.011. BAY 2577666.

[1] Voronov, Alexander (2005). "Evrensel cebir üzerine notlar". Matematik ve Teorik Fizikte Grafikler ve Örüntüler (M. Lyubich ve L. Takhtajan, ed.). Providence, RI: Amer. Matematik. Soc. sayfa 81–103.

[2] Cohen, Ralph L .; Hess, Kathryn; Voronov, Alexander A. (2006). "Kaktüsler operası". String topolojisi ve döngüsel homoloji. Basel: Birkhäuser. ISBN 978-3-7643-7388-7.

[3] Getzler, Ezra (1994). "Batalin-Vilkovisky cebirleri ve iki boyutlu topolojik alan teorileri". Comm. Matematik. Phys. 159 (2): 265–285. arXiv:hep-th / 9212043.

[1]

[2]

[3]