← arxiv/
arXiv:9008.0014math.GT
tr · çeviri

İnvolütif Hopf Cebirleri ve 3-Manifold Değişmezleri

Greg Kuperberg

UC Berkeley
1990

Özet

Her sonlu boyutlu, involütif Hopf cebiri için bir 3-manifold değişmezi inşa ediyoruz. Eğer Hopf cebiri bir $G$ grubunun grup cebiri ise, değişmez, manifoldun temel grubundan $G$'ye giden homomorfizmaları sayar. Değişmez, Heegaard diyagramı veya manifoldun bir üçgenlemesi üzerinde bir durum modeli (state model) olarak görülebilir. Değişmezin hesaplanması, cebirin yapı tensörlerinin tensör çarpımlarını ve büzülmelerini (contractions) içerir. Bu tensörleri içeren her formal ifadenin, iyi anlaşılan bir eşdeğerlik altında benzersiz bir 3-manifolda karşılık geldiğini gösteriyoruz. Bu durum, verilen iki 3-manifoldun homeomorfik olup olmadığını belirleyebilen bir algoritma olasılığını ortaya koymaktadır.

1. Giriş

Bu makale, 3-manifoldların üçgenlemeleri ve Heegaard diyagramları için bazı yeni değişmezleri açıklamaktadır. Spesifik olarak, her sonlu boyutlu, involütif Hopf cebiri $H$ için, kapalı, yönlendirilmiş 3-manifoldlar $M$ için bir $\sharp(M,H)$ değişmezi tanımlıyoruz. Bu değişmezler, çeşitli şekillerde sınırları olan yönlendirilmiş manifoldların değişmezlerine genişletilebilir.

Bir Heegaard diyagramını, bir Hopf cebirinin yapı tensörleri cinsinden bir ifadeye dönüştüreceğiz. Bu ifadenin değeri daha sonra değişmezin değeri olacaktır. İndis gösterimini kullanarak, bir involütif Hopf cebirinin çarpım ve ko-çarpım (eşçarpım) tensörleri için $M_{ab}{}^c$ ve $\Delta_a{}^{bc}$, ve antipod dönüşümü için $S_a{}^b$ yazarız. Bu tensörler cinsinden tüm ifadelerin kümesini, bu tensörlerin sağladığı özdeşliklerden oluşan bir Hopf cebirinin aksiyomlarına göre modülo olarak ele alabiliriz. İki (asal, kapalı, yönlendirilmiş) 3-manifoldun eşdeğer formal ifadeler üretmesi durumunda, bunların homeomorfik olduğunu göstereceğiz. Aksine, bu tür iki ifadenin formal olarak eşdeğer olup olmadığını belirleme sorusunu ele alabiliriz. Örneğin, aşağıdaki denklem:

$$M_{ab}{}^c S_c{}^d\Delta_d{}^{ab} = M_{ab}{}^c S_c{}^d \Delta_d{}^{ba}$$

bir involütif Hopf cebirinin aksiyomlarından doğrudan çıkan bir özdeşlik midir? Cevap, ancak ve ancak belirli iki yönlendirilmiş 3-manifoldun homeomorfik olması durumunda evettir (bu durumda $L(3,1)$ ve $L(3,2)$).

Bu çalışma, [Kauffman 1987] ve [Jones 1989] çalışmalarında açıklandığı gibi, durum modeli topolojisi (state model topology) olarak adlandıracağımız yeni bir matematik alanının parçasıdır. Durum modeli topolojisinin başlangıç noktası olarak, bize kombinatoryal bir açıklaması olan (örneğin bir düğüm projeksiyonu) bir topolojik nesne (örneğin bir düğüm) verilir. Bu tür tüm kombinatoryal açıklamalara atayabileceğimiz bir durum modeli (veya durum modelleri koleksiyonu) bulmak isteriz. Daha sonra durum modelinin bölüşüm fonksiyonunun (partition function) topolojik bir değişmez olmasını, yani seçilen kombinatoryal açıklamadan bağımsız olmasını umarız. Tipik olarak, kombinatoryal açıklama üzerindeki uygun bir yerel hareketler kümesi (örneğin üç Reidemeister hareketi) altında değişmezliği gösteririz. (Tam olarak söylemek gerekirse, bölüşüm fonksiyonunun değeri bazı hareketler altında basit bir şekilde değişebileceğinden, kendisi topolojik bir "kovaryant" olabilir.)

Bir durum modeli $M$; bir (değişmeli) $R$ halkasından (genellikle karmaşık sayılar), köşeleri atomlar ve etkileşimler olarak etiketlenmiş iki parçalı (bipartite) bir $G$ grafından (bağlantı grafı); her bir $A$ atomu için durum kümesi olarak adlandırılan bir $S_A$ kümesinden; ve her bir $I$ etkileşimi için (burada $A_1,\ldots,A_n$ atomları $I$'nın komşularıdır) $I$'nın ağırlık fonksiyonu veya Boltzmann ağırlıkları olarak adlandırılan bir $w_I:A_1\times A_2 \times\ldots \times A_n \to R$ fonksiyonundan oluşur. $M$'nin bir durumu, $M$'nin atomları üzerinde $s(A) \in S_A$ olacak şekilde bir $s$ fonksiyonudur. Bir $s$ durumunun $w(s)$ ağırlığı, bu çarpım yakınsadığında ve özellikle $G$ sonlu olduğunda, $s$ durumunda değerlendirilen $w_I$'ların çarpımı olarak tanımlanır. Son olarak, bölüşüm fonksiyonu $Z(M)$, bu toplam yakınsadığında ve özellikle tüm durum kümeleri sonlu olduğunda, tüm $s$ durumları üzerinden $w(s)$'nin toplamı olarak tanımlanır.

Figure 1: Crossing

Topolojik bir durum modeli elde etmek için, bir topolojik nesnenin her kombinatoryal açıklamasına bir bağlantı grafı ve ağırlık fonksiyonları atamak üzere bir kural seçeriz. Örneğin, bize bir bağın (link) bir $P$ projeksiyonu verilirse, geçişler (crossings) arasındaki yayları atomlar ve geçişlerin kendilerini etkileşimler olarak ilan edebiliriz. Tüm atomlar için ortak durum kümesi olarak bazı $n$-elemanlı $S$ kümelerini seçeriz. Verilen bir geçişe gelen yayların durumları Şekil 1'deki gibi $a$, $b$, $c$ ve $d$ olarak etiketlenirse, bir geçişin $w$ ağırlık fonksiyonunu şu şekilde tanımlayabiliriz:

$$w(a,b,c,d) = t\delta(a,b)\delta(c,d)+t^{-1}\delta(a,c)\delta(b,d),$$

burada $t$, $n = -(t^2+t^{-2})$ olacak şekilde seçilir ve $a=b$ olduğunda $\delta(a,b)=1$, aksi takdirde 0 olur. Bu durum modeli, normalizasyona kadar esasen Jones polinomu olan Kauffman braketi adında bir "bağ kovaryantıdır".

Şaşırtıcı bir şekilde, pek çok aşikar olmayan topolojik durum modeli mevcuttur. Bir tür kombinatoryal açıklama için bu tür bir durum modelinin genel formuyla başlayabilir ve kombinatoryal hareketleri modelin ağırlıkları üzerindeki bir kısıtlamalar listesi olarak yorumlayabiliriz. Genellikle bilinmeyenlerden çok daha fazla denklem vardır ve yine de denklemlerin çözümleri mevcuttur. Örneğin, Jones ve HOMFLY polinomları [Freyd et al. 1985] ve bunların varyantları ile genelleştirmelerinin çoğu topolojik durum modelleri olarak tanımlanabilir.

Topolojik bir durum modelinin ağırlıkları üzerindeki kısıtlamaların derin bir cebirsel yapıya sahip olduğu sonucuna varabiliriz. Gerçekten de, üçüncü Reidemeister hareketi altında değişmezliğin getirdiği kısıtlamalar, istatistiksel mekaniğin tam çözülebilir modelleriyle ilgili alanda bağımsız olarak ele alınan Yang-Baxter denklemleri olarak da bilinir [Baxter 1982]. Daha yakın zamanlarda, Yang-Baxter denklemlerine pek çok çözüm, Drinfel'd tarafından ufuk açıcı bir makalede özetlendiği gibi, Hopf cebirleri veya kuantum grupları aracılığıyla keşfedilmiştir [Drinfel'd 1986]. Son zamanlarda, Turaev ve Reshetikhin bu analizi, Jones polinomunu genelleştiren bir 3-manifold değişmezi üretecek şekilde genişletmişlerdir [Reshetikhin and Turaev 1991].

Yeni değişmezler diğer topolojik değişmezlerle yakından ilişkilidir. Eğer $M$'nin bir bağ tümleyeni olduğu özel durumla sınırlandırırsak, $\sharp(M,H)$ değişmezini Drinfel'd, Turaev ve Reshetikhin mekanizmasının özel bir durumuna dönüştürebiliriz. Bu dönüşüm, Drinfel'd tarafından tanımlanan, $H$'nin kuantum çifti (quantum double) olan daha büyük bir $D(H)$ Hopf cebirini içerir.

Aşağıdaki örnek, topolojik bir durum modeli için öğretici bir örnektir. $T$, bağlantılı bir $M$ $n$-manifoldunun bir üçgenlemesi olsun. $T$'nin kenarlarını yönlendiririz. Durum kümesi olarak sonlu bir $G$ grubunu seçeriz ve $T$'nin kenarlarını atomlar olarak ilan ederiz. Eğer bir kenara bir yönelimle $g$ atarsak, bunu aynı kenara zıt yönelimle $g^{-1}$ atamaya eşdeğer ilan ederiz. $T$'nin yüzlerine (2-simpleksler) etkileşimler atarız. Modelin bir durumu verildiğinde, bir yüzün ağırlığı, kenarların durumlarının (kenarlar yüzün etrafında aynı yönde yönlendirildiğinde) çevrimsel olarak sıralanmış çarpımı birim eleman ise 1, aksi takdirde 0'dır. Bölüşüm fonksiyonunun sadece $|G|^{v-1} |\mathrm{Hom}(\pi_1(M),G)|$ olduğunu doğrulamayı bir alıştırma olarak bırakıyoruz; burada $v$, $T$'nin köşe sayısıdır. Böylece, bölüşüm fonksiyonu $|G|^{v-1}$ ile bölündükten sonra bir değişmez olur. Daha sonra bu değişmezin, $H$, $G$'nin grup cebiri olduğunda $\sharp(M,H)$'ye eşit olduğunu göreceğiz.

Teşekkür

Vaughan Jones beni durum modeli topolojisi ve Hopf cebirleriyle tanıştırdı. Ayrıca danışmanım Andrew Casson'a, Rob Kirby'ye ve Oleg Viro'ya teşvikleri ve 3-manifold topolojisi konusundaki bilgileri için minnettarım.

2. Tensör Gösterimi

$V$, bir $k$ cismi üzerinde sonlu boyutlu bir vektör uzayı olsun. Bu makalenin büyük bölümünde tensör, her bir $V_i$'nin $V$ veya $V^*$ olduğu bazı $V_1 \otimes V_2 \otimes \ldots \otimes V_n$ tensör çarpım uzayının bir elemanı anlamına gelecektir. Tensörler için [Wald 1984] çalışmasında tanımlanan indis gösterimini benimseyeceğiz. İndis gösteriminde, bir $T \in V_1 \otimes \ldots \otimes V_n$ tensörü, toplam $n$ indisle $T_a{}^b{}^{\ldots}_{c\ldots}$ olarak yazılır; burada $k$. indis, $V_k = V$ ise bir üst indis (veya kontravaryant indis) ve $V_k = V^*$ ise bir alt indis (veya kovaryant indis) olur. İndisler, $T$ tensörünün bir açıklaması olarak kullanılmalarından bağımsız hiçbir anlamı olmayan farklı harfler olmalıdır. Örneğin, bir vektör $v^a$, bir dual vektör $w_a$, bir doğrusal operatör $L_a{}^b$, bir bilineer form $g_{ab}$ vb. şeklinde yazılır. Eğer bir $T$ tensörünün $k$ tane üst indisi ve $n-k$ tane alt indisi varsa, $T$'nin (k, n-k) tipinde ve toplam $n$ tipinde olduğunu söyleriz.

Bir tensörün indisleri, tensörler üzerindeki üç farklı işlem için kullanılabilir:

  1. Permütasyon: $a \otimes b \mapsto b \otimes a$ faktör değiştirme dönüşümünü ve daha yüksek tensör çarpımları için benzerlerini, karşılık gelen indisleri permüte ederek gösteririz. Örneğin, $g_{ab} = g_{ba}$ ise, $g$ simetrik bir bilineer formdur.
  2. Tensör Çarpımı: İki tensörün tensör çarpımını, iki tensörü yan yana getirerek ve onlara farklı indisler vererek yazarız. Örneğin, $L$ derecesi 1 olan doğrusal bir operatör ise, $L_a{}^b = w_av^b$ yazılabilir.
  3. Büzülme (Contraction): $V^* \otimes V$'den $k$'ya giden ve iz dönüşümü, büzülme dönüşümü veya değerlendirme dönüşümü olarak adlandırılan kanonik dönüşüm, tekrarlanan bir indisle gösterilir. İndis, tam olarak bir kez üst indis ve bir kez alt indis olarak görünmelidir. Büzülmeler ve tensör çarpımları birlikte kullanıldığında, doğrusal cebirdeki olağan işlemlerin çoğunu kapsar. Örneğin, $w_av^a$, $w$'nin $v$'deki değeridir, $L_a{}^bv^a$, $v$'ye uygulanan $L$ operatörüdür, $L_a{}^a$, $L$'nin izidir vb.

İndis gösterimi sadece tensörlerle tabandan bağımsız hesaplamalara izin verse de, gösterim belirli bir tabandaki hesaplamalarla motive edilmiştir. $V$ vektör uzayının $n$ boyutlu olduğunu ve verilen bir tabana sahip olduğunu varsayalım. $v^a$ gösterimini, $a$, 1'den $n$'ye kadar bir tam sayı olmak üzere, $v$ vektörünün koordinatları olarak yorumlayabiliriz ve genel olarak $T_a{}^b{}^{\ldots}_{c\ldots}$ ifadesini $T$ tensörünün matris girdileri olarak yorumlayabiliriz. Bu durumda indis gösterimindeki bir tensör formülü, tensörlerin matris girdileri için bir formül olarak yorumlanabilir ve yinelenen herhangi bir indis üzerinden toplama yapılması (Einstein toplama kuralı) şartıyla iki formül eşdeğerdir.

Bölüşüm kuralını kullanarak belirli durum modellerinin yeniden yorumlanmasına ulaşabiliriz. $M$'nin, her atomun tam olarak iki etkileşime komşu olduğu bir durum modeli olduğunu varsayalım ve kolaylık sağlamak için yalnızca bir $S$ durum kümesi olduğunu kabul edelim. $S$'yi, bir $V$ vektör uzayının bir tabanının indis kümesi (veya belki de $S$'nin kendisi tabandır) olarak ilan edebiliriz. Her $a$ atomunu bir indis harfi olarak ilan ederiz. Daha sonra her bir $w_I$ ağırlık fonksiyonunun değerlerini, toplam $n$ tipinde bir $T_I$ tensörünün matris girdileri olarak yeniden yorumlayabiliriz. Her bir atomun bir kez üst indis ve bir kez alt indis olarak kullanılması şartıyla, her bir $T_I$ tensörünün indislerinin her birini keyfi olarak kovaryant veya kontravaryant olarak ilan ederiz. Bu durumda $Z(M)$ bölüşüm fonksiyonu, tüm etkileşim tensörlerinin birlikte tensör çarpımının alınması ve ardından tüm (atom) indislerinin doğal bir şekilde büzülmesinin sonucudur.

Böylece, bir tensör durum modelini, bir vektör uzayı üzerindeki tensörlerin bir listesi ve tüm indisleri büzülmüş bu tensörlerin bazı çarpımları olan bir formül olarak tanımlıyoruz. Bölüşüm fonksiyonu bu formülün değeri olarak tanımlanır. Daha genel olarak, eğer $M$, indislerin bazı alt kümeleri büzülmüş tensörlerin çarpımı olan bir formül ise, $M$'nin sınırlı bir tensör durum modeli olduğunu söyleriz. Büzülmemiş indislere modelin sınırı, büzülmüş indislere ise iç kısmı adını veririz. $Z^{a\ldots}_{b\ldots}(M)$ bölüşüm tensörünü formülün değeri olarak tanımlarız. Bölüşüm tensörü $M$, $M$'nin bölüşüm fonksiyonu ile karıştırılmamalıdır.

Bu makalede tanımlanan durum modellerinin tümü tensör durum modelleri olacaktır.

Bu bölümü bitirirken, indis gösteriminin fiilen kullanacağımız daha görsel bir versiyonunu sunuyoruz. Büzülmüş indisler için birçok farklı harf kullanmaktan kaçınmak amacıyla, her bir tensörü her bir alt indis için içe doğru bir ok ve her bir üst indis için dışa doğru bir ok ile çizebiliriz. Örneğin, $T_{ab}{}^{cd}$ tensörünü şu şekilde yazarız:

$$\text{\includegraphics{eq1.eps}}$$

İki indisin büzülmesini karşılık gelen okları birleştirerek gösteririz. Örneğin, $M_{ab}{}^cv^aw^b$ ve $M_{ab}{}^b$ şu şekilde yazılır:

$$\text{\includegraphics{eq2.eps}}$$

Tutarlılık açısından, aşağıdaki garip görünen ifadeyi:

$$\text{\includegraphics{eq3.eps}}$$

$\dim V$ skaleri olarak yorumlamalıyız.

Oklar kesişebilir ve kesişecektir. Kesin konuşmak gerekirse, görsel gösterim belirsiz olabilir. Örneğin, aşağıdakinin $T_{abc}$ mi yoksa $T_{cab}$ mi, hatta belki de $T_{acb}$ mi gösterdiği açık değildir:

$$\text{\includegraphics{eq4.eps}}$$

İndislerin saat yönünün tersine sırada okunması gerektiğini ilan ediyoruz. Eğer bir tensöre gelen oklar dönme altında simetrik ise, bir diyagramın anlamı hala belirsizdir. Ancak, bu makaledeki tüm bu tür tensörler, indislerinin çevrimsel permütasyonu altında simetrik olacağından, bu belirsizlik bizim için önemsiz olacaktır.

3. Hopf Cebirleri

Sonlu boyutlu bir Hopf cebiri, bir $H$ sonlu boyutlu vektör uzayıdır (bazı $k$ cisimleri üzerinde) öyle ki $H$ ve $H^*$ birimli cebirlerdir ve iki cebir yapısı belirli uyumluluk aksiyomlarını sağlar. Aksiyomları önceki bölümün şık gösterimiyle açıklayacağız. İlk olarak, $H$ üzerindeki cebir yapısını, şu şekilde tanımlanan bir $M$ çarpım tensörü ile açıklayabiliriz:

$$\text{\includegraphics{eq5.eps}}$$

$v$ ve $w$'nin çarpımıdır. $M$ birleşmelilik (associativity) aksiyomunu sağlar:

$$\text{\includegraphics{eq6.eps}}$$

Benzer şekilde, $H^*$ üzerindeki cebir yapısı, ko-birleşmeli (coassociative) olan $\Delta$ ko-çarpım (eşçarpım) tensörü ile açıklanır:

$$\text{\includegraphics{eq7.eps}}$$

Ek olarak, $H$'nin birim, eşbirim (counit) ve antipod olarak adlandırılan $i$, $\epsilon$ ve $S$ adlı üç tensörü daha vardır. Beş tensör birlikte şu aksiyomları sağlar:

$$\text{\includegraphics{eq8.eps}}$$

Ayrıca sonlu boyutlu durumda diğer aksiyomlardan çıksa da, $S$'nin bir tersi olduğunu aksiyom olarak kabul ediyoruz [Sweedler 1969]. $M$ ve $\Delta$ verildiğinde, diğer tensörler var olduklarında biriciktir, bu nedenle $M$ ve $\Delta$'nın bir Hopf cebirinin "özü" olduğunu söyleyebiliriz. Bir Hopf cebirleri morfizmi, altta yatan vektör uzaylarının beş yapı tensörüyle değişmeli olan bir doğrusal dönüşümü olarak tanımlanır.

Sonsuz boyutlu Hopf cebirlerini tanımlamadığımız ve kullanmayacağımız için, aksi açıkça belirtilmedikçe bir Hopf cebirinin sonlu boyutlu olduğunu varsayacağız.

Birleşmelilik ve ko-birleşmelilik aksiyomlarının ışığında aşağıdaki kısaltmaları kabul ediyoruz:

$$\text{\includegraphics{eq9.eps}}$$

$T$ dual vektörüne iz (trace), $C$ vektörüne ise eş-iz (cotrace) denir. Son iki tensörü izsel çarpım (tracial product) ve izsel ko-çarpım (tracial coproduct) olarak adlandıracağız. Diyagramlar gibi, tensörlerin kendileri de çevrimsel olarak simetriktir.

Bir Hopf cebiri tanımının bir motivasyonu, her grup cebirinin doğal olarak bir Hopf cebiri olduğunun gözlemlenmesidir. $G$ sonlu bir grup olsun. $G$'nin elemanlarının bir $k[G]$ vektör uzayı için hem bir taban hem de bir dual taban olmasına izin verebiliriz ve çarpım ile ko-çarpımı şu şekilde tanımlayabiliriz:

$$\text{\includegraphics{eq10.eps}}$$

Antipod, grup tersi tarafından indüklenir. Bu inşanın, iki grubun Hopf cebirleri arasındaki morfizmlerin grupların kendileri arasındaki homomorfizmalara karşılık gelmesi gibi güzel bir özelliği vardır.

Genel olarak antipod, bir Hopf cebirinde grup tersi rolünü oynar. Ancak, antipodun $S^2 = I$ sağlaması gerekmez. Eğer bu denklem sağlanıyorsa bir Hopf cebirine involütif denir. Pek çok önemli Hopf cebiri involütif değildir ve özellikle Jones polinomunun analizinde kullanılanlar involütif değildir [Drinfel'd 1986]. Ancak, bu makalede yalnızca involütif Hopf cebirleri hakkında sonuçlar elde edeceğiz.

Sonlu boyutlu Hopf cebirleri sekiz katlı bir dualiteye sahiptir. Eğer $H$ bir Hopf cebiri ise, çarpımı tersine çevirerek aynı vektör uzayı üzerinde yeni bir $H^\mathrm{op}$ Hopf cebiri elde ederiz:

$$\text{\includegraphics{eq11.eps}}$$

Aşağıda $S^{-1}$'in $H^\mathrm{op}$'un antipodu olduğunu göstereceğiz. Benzer şekilde, ko-çarpımı tersine çevirerek $H^\mathrm{cop}$'u tanımlarız. Son olarak, $M$ ile $\Delta$'yı ve $\epsilon$ ile $i$'yi değiştirerek ve tüm okları tersine çevirerek $H^*$ vektör uzayı üzerinde bir Hopf cebiri yapısı olan $H$'nin dualini tanımlarız (Aslında, $H^*$ olarak adlandırdığımız şey genellikle $H^{*,\mathrm{op},\mathrm{cop}}$ olarak tanımlanır ve tersi de geçerlidir):

$$\text{\includegraphics{eq12.eps}}$$

Hopf cebirlerini içeren bazı temel özdeşlikler kuruyoruz. Her özdeşliğin kanıtı aşağıdaki gözlemi kullanacaktır:

Not

Lemma 3.1. Tensors: $$\text{\includegraphics{eq13.eps}}$$ $H \otimes H$ ve $H \otimes H^*$'ın vektör uzayı endomorfizmaları olarak kabul edildiğinde tersinirdir.

Kanıt. Hesaplıyoruz:

$$\text{\includegraphics{eq14.eps}}$$

$$\Box$$

Not

Lemma 3.2. Aşağıdaki özdeşlikler her Hopf cebirinde geçerlidir: $$\text{\includegraphics{eq15.eps}}$$

Kanıt. Hesaplıyoruz:

$$\text{\includegraphics{eq16.eps}}$$

$$\Box$$

Hopf cebirlerini içeren birkaç tanıma daha ihtiyacımız olacak. Eğer $H$ bir Hopf cebiri ise, bir Hopf cebirinin sol integrali, aşağıdakini sağlayan bir $\mu_L$ dual vektörüdür:

$$\text{\includegraphics{eq17.eps}}$$

Benzer şekilde bir sağ integral, bir sol ko-integral (cointegral) ve sağ ko-integral tanımlanabilir:

$$\text{\includegraphics{eq18.eps}}$$

Bir Hopf cebirinin her zaman sıfırdan farklı bir integrali ve ko-integrali vardır. Lemma 3.2 uyarınca, $\epsilon$ bir cebir homomorfizmasıdır. Genel olarak, eğer $A$, $k$ üzerinde sonlu boyutlu bir cebir ise ve $\epsilon:A \to k$ herhangi bir homomorfizma ise, o zaman her $a \in A$ için $ae = \epsilon(a)e$ olacak şekilde sıfırdan farklı bir $e$ elemanı vardır [Bergman personal communication].

Bir $H$ Hopf cebiri, bir cebir olarak yarı-basit (semisimple) ise yarı-basit, $H^*$ yarı-basit ise ko-yarı-basit (cosemisimple) olarak adlandırılır. Eşdeğer olarak, eğer aşağıdaki tensör:

$$\text{\includegraphics{eq19.eps}}$$

dejenere olmayan bir bilineer form ise $H$ yarı-basittir. Eğer $H$'nin taban cisminde $\dim H \ne 0$ ise, $H$'nin tersine çevrilebilir boyuta (invertible dimension) sahip olduğunu söyleriz.

Bir involütif Hopf cebirinde, $T$ izi aynı zamanda bir sol ve sağ integraldir [Larson and Radford 1988]. Bunu kanıtlamak için, sıfırdan farklı bir integralin var olduğunu kullanırız ve $T$'nin bunun bir katı olduğunu gösteririz:

Not

Lemma 3.3 (Radford ve Larson). Aşağıdaki tensör: $$\text{\includegraphics{eq20.eps}}$$ her zaman bir sağ integraldir (sıfır olabilir).

Kanıt. $\mu_R$ sıfırdan farklı bir sağ integral ve $e_L$ sıfırdan farklı bir sol ko-integral olsun. İlk olarak şunu gözlemliyoruz:

$$\text{\includegraphics{eq21.eps}}$$

Dolayısıyla:

$$\text{\includegraphics{eq22.eps}}$$

Lemma 3.1 uyarınca elde edilir. $\mu_R$ ve $e_L$ sıfırdan farklı olduğundan, son denklem $\mu_R(e_L)$'nin sıfırdan farklı olması gerektiğini gösterir. Son olarak şunu elde ederiz:

$$\text{\includegraphics{eq23.eps}}$$

istendiği gibi.

$$\Box$$

Aşağıdaki gerçeğin ışığında:

$$\text{\includegraphics{eq24.eps}}$$

şunu elde ederiz:

Not

Sonuç 3.4. Eğer $H$ involütif ise, o zaman: $$\text{\includegraphics{eq25.eps}}$$

Böylece, Lemma 3.3 sadece $T$'nin bir sağ integral olduğunu değil, aynı zamanda $H$'nin yarı-basit ve ko-yarı-basit olduğunu da gösterir. Dahası, eğer $H$ tersine çevrilebilir boyuta sahipse, bir Hopf cebirinin tüm yapı tensörlerini izsel çarpım ve ko-çarpım cinsinden ifade edebiliriz!

4. Heegaard Diyagramları ve Üçgenlemeler

Bu bölümde (ve makalenin geri kalanında) manifoldların düzgün (smooth) kategorisinde çalışacağız. $n$-manifold terimini, kapalı olabilen, sınırı olabilen ve bağlantılı olması gerekmeyen yönlendirilmiş (sadece yönlendirilebilir değil) ve kompakt bir $n$-manifold anlamında kullanacağız.

[Hempel 1976] çalışmasında açıklandığı gibi 3-manifold topolojisinin bazı temel unsurlarını hatırlıyoruz. Bir Heegaard ayrışımı (Heegaard splitting), kapalı bir 3-manifoldun aynı cinsten (genus) iki kulp cisminin (handlebody) sınırları boyunca yapıştırılmasıyla elde edilen bir ayrışımıdır; sınır yüzeyine Heegaard yüzeyi denir. Böyle bir ayrışım verildiğinde, iki kulp cismini keyfi olarak üst ve alt olarak etiketleyebiliriz. Eğer kulp cisimleri etiketlenmişse, Heegaard yüzeyinin bir yönelimi manifoldun bir yönelimini indükler: Bir $p$ noktasında, $S$'nin $p$'deki teğet uzayının pozitif yönelimli bir $(e_1,e_2)$ tabanını, üst kulp cisminden alt kulp cismine doğru işaret edecek şekilde $e_3$'ü seçerek $TM|_p$'nin bir (pozitif) $(e_1,e_2,e_3)$ tabanına tamamlarız.

Eğer $S$ bir yüzey ise, $S$ üzerinde bir $d$ kulp cismi diyagramını, $S$'ye bir kulp cismi yapıştırmak için bir kural olarak tanımlarız. Spesifik olarak bu, $S$'yi düzlemsel bölgelere ayıran ayrık dairelerin bir $\{c_i\}$ ailesidir. (Genellikle $\{c_i\}$'nin $S$'yi ayırmadığı varsayılır, ancak bu hipotezi istemiyoruz.) Aşağıdaki prosedürle $d$'den bir $H_d$ kulp cismi elde ederiz: $S \times I$ ile başlarız ve her bir $c_i \times \{0\}$ dairesinin tüpsü komşuluğu boyunca bir 2-kulp yapıştırırız. Sonucun sınırı $S \times \{1\}$ artı bir dizi küredir. $H_d$'yi elde etmek için küresel sınır bileşenlerini toplar yapıştırarak ortadan kaldırırız.

Eğer bir $S$ yüzeyi üzerindeki bir çift $d_l$ ve $d_u$ kulp cismi diyagramı, ayrışımın üst ve alt kulp cisimlerini tanımlıyorsa, $D$'nin bir $M_D$ kapalı 3-manifoldunun Heegaard diyagramı olduğunu söyleriz. $d_l$ ve $d_u$'nun enine (transverse) olduğunu varsayıyoruz.

Sınırlı manifoldları hesaba katmak ve bir kulp cismi diyagramının dairelerinin diyagramın yüzeyini düzlemsel bölgelere ayırması kısıtlamasını gevşetmek için Heegaard diyagramı tanımını genelleştirmemiz gerekecektir. Bu amaçla, bir $M$ 3-manifoldunun sınırını, sınır bileşenlerini keyfi olarak iki ayrık alt kümeye bölerek etiketleriz: Üst sınır ve alt sınır. Ayrıca, etiketli sınıra sahip bir $M$ 3-manifoldunun üzerindeki bir delme hareketini (puncture move), $M$'den bir top çıkarmak ve yeni sınırı üst veya alt olarak etiketlemek şeklinde tanımlarız. Bir bordizmi, delme hareketi altında etiketli sınıra sahip 3-manifoldların bir eşdeğerlik sınıfı olarak tanımlarız. Terimlerin kötüye kullanılmasıyla, bir bordizm ile bir bordizmin temsilcisi arasında ayrım yapmayacağız.

Bir sıkıştırma cismi (compression body), $S$ bir yüzey olmak üzere $S \times I$'ya bir taraftan 2-kulplar yapıştırılarak elde edilen bir manifolddur (genellikle bir sıkıştırma cisminin tüm küresel sınır bileşenlerinin toplarla kapatılması gerekir, ancak bordizmler bağlamında bunun önemi yoktur). O halde bir sıkıştırma diyagramı, bir kulp cismi diyagramının genelleştirilmesidir: Ayrık dairelerden oluşan bir koleksiyonun bir $S$ yüzeyine yapıştırılması için bir kuraldır. Ancak, dairelerin yüzeyi düzlemsel bölgelere ayırması gerekmez. Bir genelleştirilmiş Heegaard diyagramını, bir yüzey üzerinde bir çift sıkıştırma diyagramı (bir üst diyagram ve bir alt diyagram) olarak tanımlarız.

Bize bir $S$ yüzeyi üzerinde bir genelleştirilmiş Heegaard diyagramı $D$ verilirse, karşılık gelen sıkıştırma cisimlerini $S$ boyunca yapıştırarak bir $M$ bordizmi oluşturabiliriz. Alt sıkıştırma cisminin sınırı bordizmin alt sınırı olur ve üst sıkıştırma cismi için de aynısı geçerlidir.

Bir bordizmin herhangi bir Heegaard diyagramını aynı bordizmin başka bir diyagramına dönüştürmek için bir dizi harekete ihtiyacımız olacak. Ayrıca, her bordizmin bir Heegaard diyagramına sahip olduğu aşikar olmayabilir. Bu problemlerin her ikisini de [Cerf 1970] çalışmasında açıklandığı gibi Morse fonksiyonları teorisini kullanarak çözebiliriz. Teorinin ilgili kısımlarını özetliyoruz: Bize bir $M$ bordizmi verilirse, önce $M$ için bir Riemann metriği seçeriz. $M$ üzerinde, minimumuna $M$'nin alt sınırında ve maksimumuna $M$'nin üst sınırında ulaşan bir $f$ Morse fonksiyonu seçeriz. Riemann metriğini kullanarak, $f$'nin gradyanı tarafından verilen $M$ üzerindeki $\phi$ akışını ele alabiliriz. $\phi$'nin her bir sabit noktası $p$ için, $p$'ye akan tüm noktaların kümesi olan $p$'nin inen manifoldunu (descending manifold) ele alırız. İnen manifold zorunlu olarak bir boyuttaki bir disktir ve bu şekilde $M$'nin bir kulp ayrışımını elde ederiz. Eğer $f$ genel konumda ise, her bir $n$-kulp yalnızca $m < n$ (sadece $m \le n$ değil) olan $m$-kulplara ve muhtemelen alt sınıra yapıştırılır. Son olarak, böyle bir kulp ayrışımını genelleştirilmiş bir Heegaard diyagramına dönüştürmek kolaydır: Alt sıkıştırma cismini 0-kulpların, 1-kulpların ve alt sınırın tüpsü bir komşuluğunun birleşimi olarak alırız ve üst sıkıştırma cismini alt sıkıştırma cisminin tümleyeni olarak alırız. Her bir 2-kulbun çekirdeğini (inen manifold) Heegaard yüzeyi ile kesiştirerek bir üst daire elde ederiz ve benzer şekilde her bir 1-kulbun eş-çekirdeğini (ascending manifold) Heegaard yüzeyi ile kesiştirerek alt daireleri elde ederiz.

Her bordizmin bir Morse fonksiyonu olduğundan, her bordizmin bir Heegaard diyagramı vardır. Öte yandan, bir Heegaard diyagramı verildiğinde, onu yeniden üreten bir Morse fonksiyonu inşa etmek kolaydır. Bu nedenle, Morse fonksiyonları üzerindeki bir dizi hareketten Heegaard diyagramları üzerinde bir dizi hareket elde edebiliriz. Sonuç aşağıdaki teoremdir:

![Figure 2(a): Iso move](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/fisomove.eps)
<!-- slide -->
![Figure 2(b): Handle move](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/fhandlemove.eps)
<!-- slide -->
![Figure 2(c): Stable move](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/fstablemove.eps)
Not

Teorem 4.1. Bir $S$ yüzeyi üzerinde genelleştirilmiş bir Heegaard diyagramı $D$ olsun ve $D$ üzerindeki aşağıdaki hareketleri ele alalım:

  1. Diyagramın homeomorfizması: Bir $S$ yüzeyinden bir $T$ yüzeyine giden bir homeomorfizma kullanarak, $D$'yi $T$ üzerindeki bir diyagrama taşırız.
  2. İki nokta hareketi: D'nin alt dairelerini üst dairelerine göre izotop ederiz. Eğer bu izotop genel konumda ise, Şekil 2(a)'da gösterildiği gibi iki nokta hareketlerinin bir dizisine indirgenir.
  3. Bir daireyi diğerinin yanından kaydırmak: C_1 ve C_2'nin, her ikisi de alt veya her ikisi de üst olmak üzere D'nin iki dairesi olduğunu ve A'nın C_1'i C_2'ye bağlayan ancak başka hiçbir daireyi kesmeyen bir yay olduğunu varsayalım. C_1'e A'yı takip eden, C_2'nin etrafından dolaşan ve ardından A boyunca geri dönen bir sapma ekleriz, Şekil 2(b)'de gösterildiği gibi.
  4. Önemsiz bir daire oluşturmak: D'nin diğer tüm dairelerinden ayrık olan büzülebilir bir daire ekleriz.
  5. Stabilizasyon: S'den D'nin tüm dairelerinden ayrık olan bir disk çıkarırız ve yerine Şekil 2(c)'de gösterildiği gibi bir alt daire ve bir üst daire içeren delikli bir torus koyarız.

Kanıt. Bir $M$ bordizmi verildiğinde, eğer $f$ üç özelliğe sahipse, bir $f$ fonksiyonundan bir Heegaard diyagramı inşa edebiliriz: $f$ bir Morse fonksiyonudur, $f$'nin her bir kritik noktasının inen manifoldu aynı derecedeki diğer kritik noktalardan kaçınır ve indis 2 kritik noktalarının inen manifoldları indis 1 kritik noktalarının çıkan manifoldlarına eninedir. [Cerf 1970] çalışmasını takip ederek, $M$ üzerindeki tüm düzgün fonksiyonların $\mathcal{F}$ uzayı, $\mathcal{F}_0$'ın üç özelliğe de sahip $f$ fonksiyonlarının kümesi olduğu bir $\mathcal{F}_0, \mathcal{F}_1, \mathcal{F}_2, \ldots$ tabakalaşmasına sahiptir. $\mathcal{F}_1$, $\mathcal{F}$'nin üç parçaya ayrılmış 1 boyutlu bir alt uzayıdır: Her bir parçada, bir $f$ elemanı istenen üç özellikten birini sağlayamaz. $\mathcal{F}_0$'ın iki elemanı $f_0$ ve $f_1$ verildiğinde, genel konumda bir $f_t$ fonksiyon yolağı seçeriz. Yolak, 2 boyutlu $\mathcal{F}_2$ alt uzayından kaçınır ve $\mathcal{F}_1$'e eninedir. Her $\mathcal{F}_1$ kesişiminde, karşılık gelen Heegaard diyagramı üzerindeki etkisi yukarıdaki hareketlerden biridir. Örneğin, eğer $f_t$ bir Morse fonksiyonu olamazsa, o zaman bir çift kritik nokta oluşturulur veya yok edilir, $f_{t+\epsilon}$ ve $f_{t-\epsilon}$'a karşılık gelen Heegaard diyagramları stabilizasyon veya önemsiz bir daire oluşturulması ile farklılık gösterir. Eğer bir kritik noktanın inen manifoldu aynı derecedeki başka bir kritik noktanın üzerine düşerse, karşılık gelen hareket bir dairenin diğerinin yanından kaydırılmasıdır. Son olarak, eğer bir inen manifold ve bir çıkan manifold enine olamazsa, etki bir iki nokta hareketidir.

$$\Box$$

Durum modellerimizin bir 3-manifoldun üçgenlemesi üzerinde tanımlanabileceğini söylemek için, bir üçgenlemeyi bir Heegaard diyagramına dönüştürmenin kanonik bir yolunu inşa ederiz. Bir üçgenleme bir kulp ayrışımı türü olduğundan, her zamanki gibi alt kulp cisminin 1-iskeletin tüpsü bir komşuluğu olmasına izin verebiliriz. Her kenar için bir alt daire ve her yüz için bir üst daire ekleriz. Bir alt daire ile bir üst daire arasındaki kesişim, kenarı içeren bir yüz ve bir kenardan oluşan sıralı bir çifte karşılık gelir.

5. Değişmez ve Çalıştığının Kanıtı

$D$, bir $S$ yüzeyi üzerinde (genelleştirilmiş) bir Heegaard diyagramı olsun. $D$'nin yönlendirilmiş bir diyagram olduğunu, yani dairelerinin yönlendirilmiş olduğunu varsayıyoruz (bir dairenin yönünün tersine çevrilmesini yönlendirilmiş Heegaard diyagramları üzerindeki hareketlere dahil ediyoruz).

$H$, sonlu boyutlu, involütif ve tersine çevrilebilir boyuta sahip bir Hopf cebiri olsun. $\sharp(D,H)$ miktarını şu şekilde tanımlıyoruz: Her bir üst $l$ dairesine aşağıdaki tensörü atarız:

$$\text{\includegraphics{eq26.eps}}$$

burada $c_1,\ldots,c_n$ indisleri, $l$ boyunca pozitif yönlendirilmiş yönde ilerlersek karşılaşılan geçişlere (crossings) karşılık gelir. Her bir alt daireye de aynı şekilde aşağıdaki tensörü atarız:

$$\text{\includegraphics{eq27.eps}}$$

Eğer verilen bir $c$ geçişinde, alt dairenin ve üst dairenin teğet vektörleri, bu sırayla, $c$'de $TS$ için pozitif yönelimli bir taban oluşturuyorsa, daireye atanan tensörleri $c$'ye karşılık gelen indiste büzeriz. Eğer vektörler negatif yönelimli bir taban oluşturuyorsa, büzülmeden önce antipod dönüşümünü araya sokarız:

$$\text{\includegraphics{eq28.eps}}$$

Bu tensör çarpımları ve büzülmeler serisinin sonucunu $Z(H)$ olarak adlandıralım. (Eğer $H$ için bir taban seçersek, büzülmelere karşılık gelen toplamların, $Z(H)$ bölüşüm fonksiyonu olmak üzere, durumlar üzerinden bir toplam olarak da görülebileceğine dikkat ediniz.) Şunu tanımlayalım:

$$\sharp(D,H) = Z(H) (\dim H)^{g(S) - n_u - n_l},$$

burada $n_u$ üst dairelerin sayısı, $n_l$ alt dairelerin sayısı ve $g(S)$ $S$'nin cinsidir.

Not

Teorem 5.1. $\sharp(D,H)$ bordizmlerin bir değişmezidir. Özellikle, kapalı 3-manifoldların bir değişmezidir.

Kanıt. Farklı hareketler altında değişmezliği gösteriyoruz:

  1. Önemsiz bir daire eklemek: Bunun $Z(H)$'ye aşağıdaki faktörü ekleme etkisi vardır:

$$\text{\includegraphics{eq29.eps}}$$

Faktör, $\sharp(D,H)$'nin normalizasyonu ile iptal edilir.

  1. Stabilizasyon: Bu, $Z(H)$'ye aşağıdaki faktörü ekler:

$$\text{\includegraphics{eq30.eps}}$$

bu da normalizasyonla iptal edilir.

  1. Yönün tersine çevrilmesi: Bir üst daire, $Z(H)$'nin aşağıdaki formdaki bir faktörüne karşılık gelir:

$$\text{\includegraphics{eq31.eps}}$$

Lemma 3.2'den çıkan eşitlik, değişmezliği gösterir. Aynı argüman alt daireler için de çalışır.

  1. İki nokta hareketi: Eğer iki daire düzgün yönlendirilmişse, $Z(H)$ ifadesinin bir kısmı aşağıdaki formdadır:

$$\text{\includegraphics{eq32.eps}}$$

Eşitlik değişmezliği gösterir.

Figure 3: Sliding a circle

  1. Bir daireyi kaydırmak: Bir alt daireyi diğer bir alt dairenin yanından kaydırdığımızı varsayabiliriz (üst daireler için karşılık gelen hareket dualite gereği eşdeğerdir). Temsili bir durum olarak her iki dairenin de üç geçişe sahip olduğunu varsayıyoruz. Şekil 3, ilgili dairelerin yönünün olası bir değişiminden sonraki hareketi tasvir etmektedir. "Önceki" resim, $Z(H)$'nin aşağıdaki faktörüne karşılık gelir:

$$\text{\includegraphics{eq33.eps}}$$

ve "sonraki" resim bu faktör için aşağıdaki ikameye karşılık gelir:

$$\text{\includegraphics{eq34.eps}}$$

Aşağıdaki cebir, bu iki ifadenin eşitliğini göstermektedir:

$$\text{\includegraphics{eq35.eps}}$$

Bu durum değişmezlik kanıtını tamamlar.

$$\Box$$

Teorem, $M$ bir bordizm ve $D$ de $M$ için genelleştirilmiş bir Heegaard diyagramı olmak üzere, $\sharp(M,H) = \sharp(D,H)$ gösterimini garanti eder.

6. Değişmezin Özellikleri ve Özel Durumlar

İlk olarak kapalı bir $M$ manifoldu için, $\sharp(M,H) = \sharp(M,H^*)$ ve $\sharp(-M,H) = \sharp(M,H^\mathrm{op}) = \sharp(M,H^\mathrm{cop})$ olduğunu gözlemliyoruz; burada $-M$, $M$'nin zıt yönelimli halidir. Ayrıca, herhangi iki $M_1$ ve $M_2$ bordizmi için, $\sharp(M_1 \sharp M_2,H) = \sharp(M_1,H)\sharp(M_2,H)$ olur, çünkü $M_1 \sharp M_2$ (yani $M_1$ ve $M_2$'nin bağlantılı toplamı) için, $M_1$ ve $M_2$ diyagramlarının bağlantılı toplamı olan bir diyagram seçebiliriz.

$\sharp(M,H)$ değişmezini, $H$'nin bir grup cebiri olduğu özel durumda ve $M$'nin bir bağ tümleyeni olduğu özel durumda araştıracağız.

$G$ sonlu bir grup ve $k[G]$ onun grup cebiri olsun. Daha önce olduğu gibi, $G$'nin elemanlarını $k[G]$ için bir taban olarak ele alalım. Bu tabanda, matris girdisi $\Delta^{ab}_c$, $a = b = c$ olduğunda 1, aksi takdirde 0'dır; $M_{ab}^c$ ise $ab = c$ (grup elemanları olarak) olduğunda 1, aksi takdirde 0'dır. $T^a$ izi, $a = e$ (birim eleman) olduğunda $\dim H_G = |G|$'ye eşit, aksi takdirde 0'dır. $C_a$ eş-izi her $a$ için 1'dir. Böylece, $M_{a_1a_2\dots a_n}$ izsel çarpımı $\prod a_i = e$ olduğunda $|G|$'ye eşit, aksi takdirde 0'dır; $\Delta^{a_1a_2\dots a_n}$ izsel ko-çarpımı ise tüm indisler eşit olduğunda 1, aksi takdirde sıfırdır.

$M$, kapalı bir manifold veya bazı üst sınırları olan (ancak alt sınırı olmayan) bir manifold olsun. $\sharp(M,k[G])$ değişmezini bir Heegaard diyagramı üzerinde bir durum modeli olarak gördüğümüzde, her bir alt daire için daire üzerindeki tüm geçişlere atanan durumlar eşit olmadıkça bir durumun ağırlığının sıfır olduğunu gözlemliyoruz. Bu nedenle, durumların alt dairelerin kendilerine atandığını söyleyebiliriz. Eğer Heegaard diyagramı $M$'nin bir üçgenlemesinden geliyorsa, alt daireler kenarlara karşılık gelir, bu yüzden durumların kenarlara atandığını söyleyebiliriz. Bu sırada üst daireler üzerindeki etkileşim, bir yüzün etrafındaki grup elemanlarının çarpımı birim eleman olmadıkça bir durumun sıfır ağırlığa sahip olmasını dikte eder. Böylece, durum modeli giriş bölümünde açıklanana indirgenir.

Figure 4: Squares tiling

![Figure 5(a)](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/fsquare.a.eps)
<!-- slide -->
![Figure 5(b)](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/fsquare.b.eps)
<!-- slide -->
![Figure 5(c)](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/fsquare.c.eps)
<!-- slide -->
![Figure 5(d)](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/fsquare.d.eps)

$M_L$, sınırının üst sınır olduğunu ilan ettiğimiz bir $L$ bağının (open neighborhood of) tümleyeni olsun. $\sharp(M_L,H)$'yi $L$'nin bir $P$ projeksiyonu (P'nin düzlem yerine küre üzerine bir izdüşüm olduğunu varsayıyoruz) üzerindeki bir durum modeline indirgemek istiyoruz. $M_L$ için uygun bir kulp ayrışımı inşa etmek amacıyla, ilk olarak Şekil 4'te gösterildiği gibi bağ projeksiyonuna dual olan kareler tarafından kürenin döşenmesini ele alıyoruz. Bir adet 3-kulp $u$ ve bir adet 0-kulp $v$ olacaktır; $u$'yu $P$'nin üzerindeki bölge ve $v$'yi $P$'nin altındaki büyük, şişman bir köşe olarak hayal edin. Şekil 5(a), Şekil 4'teki verilen bir kareye karşılık gelen $M_L$'nin bir parçasını göstermektedir. Şekil 5(b)'deki gibi, kare döşemesindeki her bir kenar için, tek 0-kulp $l$'ye bağlı bir adet 1-kulp ekleriz. Sonra, her bir kare için, Şekil 5(c)'de sol ve sağ taraflardaki 1-kulplara yapıştırılmış bir 2-kulp ekleriz. Son olarak, Şekil 5(d)'deki gibi, komşu dört 1-kulba da yapıştırılmış ikinci bir 2-kulp ekleriz. Daha önce olduğu gibi, alt kulp cismini 1-iskeletin tüpsü bir komşuluğu olarak alarak kulp ayrışımını bir Heegaard diyagramına dönüştürürüz.

Amacımız, durumların $L$'nin $P$ projeksiyonunun geçişleri arasındaki yaylara atandığı ve etkileşimlerin geçişlerin kendilerine atandığı bir modeldir. Eşdeğer olarak, $L$ bağını yönlendirebilir ve her bir geçişe (2,2) tipinde bir tensör atayabiliriz ve iki geçişin bağlandığı her yerde karşılık gelen tensörleri büzebiliriz. Şekil 5'teki kulpların birleşimini izsel çarpım ve ko-çarpım tensörlerine dönüştürürüz ve sol yönlü bir geçiş için aşağıdaki ikame kuralını elde etmek üzere ko-çarpım tensörlerini (2,2) tipinde bir tensör elde edecek şekilde değiştiririz:

$$\text{\includegraphics{eq36.eps}}$$

Sonuç 3.4'ü kullanarak bu tensörü basitleştirebiliriz:

$$\text{\includegraphics{eq37.eps}}$$

[Kirillov and Reshetikhin 1989] çalışmasında, Kirillov ve Reshetikhin, yarı-üçgensellik adı verilen özel bir özelliğe sahip herhangi bir Hopf cebirinin herhangi bir temsili için bir bağ değişmezi açıklamaktadır. Özellikle, herhangi bir $H$ Hopf cebiri (involütif olsun veya olmasın) için, $H \otimes H^*$ vektör uzayı üzerinde tanımlanabilen ve her zaman yarı-üçgensel olan, $H$'nin kuantum çifti adı verilen daha büyük bir $D(H)$ Hopf cebiri vardır. $H$ ve $H^*$ cebirleri, $a \to a \otimes \epsilon$ ve $a \to a \otimes i$ içermeleriyle $D(H)$ içinde yer alır. $D(H)$'nin sol çarpım tarafından verilen kendi üzerindeki temsilini ele alalım ve $T$ izi $H^*$'ın bir elemanı olarak yorumlanmak üzere, $a \to a \otimes T$ içermesiyle bu temsilin $H$'ye kısıtlanışını $\rho$ olarak adlandıralım. Bu bağlamda, $D(H)$'nin $\rho$ temsili özel durumundaki Reshetikhin ve Turaev değişmezi ile bizim $\sharp(M,H)$ değişmezimizin aynı olduğunu göstermek kolaydır. Muhtemelen bizim değişmezimiz, tüm genelliğiyle, Reshetikhin ve Turaev'in bu değişmezi 3-manifoldlara genişletmesinin özel bir durumudur.

7. Tensör Gösterimine Yeniden Bakış

$\sharp(M,H)$ değişmezini iyi göstermek için, bir Hopf cebirinin yapı tensörlerini içeren ifadelerin veya daha genel olarak tensörlerin tensör çarpımlarını ve büzülmelerini içeren keyfi ifadelerin formal bir kalkülüsünü tanımlıyoruz. Bu tür hesaplamalar için doğal bir ortam olarak bir büzülme kategorisi tanımlayarak başlıyoruz.

Bir büzülme kategorisi (contraction category), tensörler olarak adlandırılabilen elemanlara sahip bir $T$ kümesidir ve ek yapı olarak $T$'den $\mathbb{Z}^+$'ya giden $i$ ve $o$ fonksiyonlarından oluşur; burada $i(t)$, $t$'nin giriş derecesi (in-degree) ve $o(t)$, $t$'nin çıkış derecesi (outdegree) olarak adlandırılır (ayrıca $a$'nın $(o(t),i(t))$ tipinde olduğunu da söyleyeceğiz) ve $T$'nin büzülme graflarının kümesi $\mathcal{G}(T)$ olmak üzere, $T$'nin değerlendirme fonksiyonu olan $C:\mathcal{G}(T) \to T$ fonksiyonudur.

$T$'nin bir büzülme grafı, kenarları ve köşeleri belirli bir şekilde etiketlenmiş yönlendirilmiş bir $G$ grafıdır. $G$ kelimenin en geniş anlamıyla bir graf olabilir: $G$'nin bağlantılı olması gerekmez (ve boş olabilir), bir kenar bir köşeden diğerine gidebilir, bir kenar bir köşeden kendisine gidebilir ve kafaları veya kuyrukları (veya her ikisi birden) hiçbir köşeye bağlı olmayan kenarlar olabilir. $G$'nin kafası veya kuyruğu olmayan yönlendirilmiş daireler olan dejenere "kenarları" da olabilir:

$$\text{\includegraphics{eq38.eps}}$$

$G$'nin köşeleri $T$'nin elemanları ile etiketlenmelidir. $t$ ile etiketlenmiş bir köşede, $i(t)$ tane içe doğru kenar ve $o(t)$ tane dışa doğru kenar olmalı, içe doğru kenarlar 1'den $i(t)$'ye kadar numaralandırılmalı ve dışa doğru kenarlar için de aynısı yapılmalıdır. Ayrıca $G$'nin kenarlarının serbest kafalarını bazı $o$ değerleri için 1'den $o$'ya kadar, serbest kuyruklarını ise bazı $i$ değerleri için 1'den $i$'ye kadar numaralandırırız. $i$'ye $G$'nin giriş derecesi, $o$'ya ise çıkış derecesi adını veririz. Kısacası, bir büzülme grafı ok gösterimindeki tensörlü bir ifadeye çok benzer; burada "tensörler" $T$'nin elemanlarıdır:

$$\text{\includegraphics{eq39.eps}}$$

Değerlendirme fonksiyonu $C$, bir $G$ büzülme grafını $G$ ile aynı giriş ve çıkış derecesine sahip bir $T$ elemanına eşlemelidir. Üstelik bir ikame aksiyomunu sağlamalıdır: Eğer $G$ ve $H$ büzülme grafları ise ve $v$, $H$ ile aynı giriş ve çıkış derecesine sahip bir köşe ise, $v$ köşesini $H$ grafı ile değiştirerek $G \circ_v H$ bileşkesini tanımlayabiliriz:

$$\text{\includegraphics{eq40.eps}}$$

İkame aksiyomu, eğer $C(H)$ $v$'nin etiketi ise, o zaman $C(G \circ_v H) = C(G)$ olduğunu söyler.

Herhangi bir büzülme kategorisinde var olan iki seçkin tensöre isim veriyoruz. Boş grafın değerine özdeşlik skaleri (identity scalar veya bir), dairesel bir kenarın değerine ise boyut skaleri (dimension scalar) adını veririz.

Eğer $T$ ve $U$ büzülme kategorileri ise, $T$'den $U$'ya bir morfizm, $T$'nin tensörlerinden $U$'nun tensörlerine giden, giriş ve çıkış derecelerine saygı duyan ve değerlendirme dönüşümüyle değişmeli olan bir fonksiyondur.

"Büzülme kategorisi" terimi uygunsuz görünebilir çünkü onu bir kategori türü olarak tanımlamadık. Ancak, onu nesneleri sola bakan okların ve sağa bakan okların sıralı listeleri (büzülme grafları anlamında oklar; kategori-teorik okları "morfizmler" olarak adlandırırız) olan ve morfizmaları sol tarafında sıralı bir ok listesi ve sağ tarafında başka bir sıralı ok listesi olan büzülme grafları olan bir kategori olarak görebiliriz:

$$\text{\includegraphics{eq41.eps}}$$

Büzülme kategorisi tanımını doğal yollarla değiştirebilirdik: "küme" kelimesinin geçtiği yerleri "sınıf" ile değiştirebilirdik ve okları yeni bir $A$ kümesinin (veya sınıfının) elemanlarıyla etiketleyebilirdik. Tüm genelliğiyle, bir büzülme kategorisi, kesin, simetrik, kompakt, monoidal bir kategori ile aynı görünmektedir [Joyal and Street 1993].

Bir büzülme kategorisi örneği olarak, sonlu boyutlu bir $V$ vektör uzayı üzerindeki tüm tensörlerin $T(V)$ kümesini $k$ taban cismiyle tanımlayabiliriz. Diğer bir deyişle, $T = k \cup V \cup V^* \cup V \otimes V \cup \ldots$ olur. Büzülme grafları için değerlendirme fonksiyonu, olağan büzülme ve tensör çarpımı işlemlerinden inşa edilebilir. Boyut skalerinin değerinin $V$'nin boyutu olduğunu görürüz. Eğer $T$ herhangi bir büzülme kategorisi ise, bir $V$ vektör uzayını bir $T \to T(V)$ morfizmi ile birlikte $T$'nin bir temsili olarak düşünebiliriz.

Bir Hopf büzülme kategorisi, bir Hopf cebirinin olağan özdeşliklerini sağlayan bağıntılar olarak yorumlanan aksiyomlarla bu beş harf tarafından üretilen büzülme kategorisidir. Yani, $U$'nun elemanları bu beş harf üzerindeki büzülme graflarının eşdeğerlik sınıflarıdır; burada iki $G$ ve $H$ büzülme grafı, Hopf cebirinin aksiyomları ikame kuralları olarak kullanılarak $G$, $H$'ye dönüştürülebiliyorsa eşdeğerdir.

Eşdeğer olarak, bir Hopf büzülme kategorisinin bir $T$ büzülme kategorisi ile evrensel Hopf kategorisinden $T$'ye giden bir morfizm olduğunu söyleyebiliriz. Vektör uzayı olan bir Hopf büzülme kategorisi bir Hopf cebiridir. Ayrıca, boyut skalerinin bir tersi olduğu, izinin bir sol ve sağ integral, eş-izinin ise bir ko-integral olduğu evrensel, involütif Hopf kategorisini ve tersine çevrilebilir boyuttaki evrensel, involütif Hopf kategorisini de tanımlayabiliriz. Bir sonraki bölümü öngörerek, ikinci kategoriyi Heegaard kategorisi olarak adlandırıyor ve $\mathcal{H}$ ile yazıyoruz. Heegaard kategorisinin, Bölüm 3'te sunulan sonlu boyutlu, involütif ve tersine çevrilebilir boyuttaki Hopf cebirlerinin tüm özdeşliklerini sağladığı kontrol edilebilir.

"Değişmez" $\sharp(M,\mathcal{H})$'yi daha önce olduğu gibi tanımlayabiliriz, ancak değeri bir sayı değil, orijinal manifold kadar analiz edilmesi zor olabilecek formal bir ifadedir. $\sharp(M,\mathcal{H})$'nin kapalı, indirgenemez 3-manifoldlar üzerinde eksiksiz bir değişmez olma gibi şaşırtıcı bir özelliğe sahip olduğunu göreceğiz.

8. Kompleks Bir Formal Değişmez Olarak $\sharp(M,\mathcal{H})$

$\sharp(M,\mathcal{H})$'nin değeri, normalizasyon için boyut skalerinin faktörlerini içerir. Kolaylık sağlamak için boyut skalerinin birime eşit olduğunu varsaydığımız artırılmış Heegaard modeli $\tilde{\mathcal{H}}$'ye geçiyoruz ve $\sharp(M,\tilde{\mathcal{H}})$'yi ele alıyoruz.

Bölüm 5, genelleştirilmiş bir Heegaard diyagramı $D$'yi, $\tilde{\mathcal{H}}$'nin üreteç tensörleri üzerinde bir büzülme grafına dönüştürmek için bir prosedür vermektedir. Bu prosedürün tersini inşa etmek istiyoruz.

Not

Önerme 8.1. Each element of $\tilde{\mathcal{H}}$ is realized as $\sharp(M,\tilde{\mathcal{H}})$ for some bordism $M$.

Kanıt. $C$, $\tilde{\mathcal{H}}$'nin üreteçlerinden oluşan bir graf olsun. $i^a$, $e_a$, $M_{ab}{}^{c}$ ve $\Delta^{ab}{}_c$ ifadelerini Sonuç 3.4'ü kullanarak yeniden yazabiliriz:

$$\text{\includegraphics{eq42.eps}}$$

Bu ifadeleri $C$'ye yerleştirerek, izsel çarpım ve ko-çarpım tensörleri ile antipoddan oluşan yeni bir $C'$ grafı elde ederiz.

![Figure 6(a): Core lower circle](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/fcore.a.eps)
<!-- slide -->
![Figure 6(b): Core identified](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/fcore.b.eps)

$C'$ grafını kullanarak bir Heegaard diyagramı inşa ederiz. $C'$ içindeki her bir izsel çarpım tensörü için, "alt daire" olarak adlandıracağımız yönlendirilmiş bir çekirdeğe sahip yönlendirilmiş bir anülüs (halka) ve Şekil 6(a)'da gösterildiği gibi tensörün her bir indisi için etiketlenmiş bir nokta inşa ederiz. Çekirdeği "üst daire" olarak etiketlediğimiz her bir izsel ko-çarpım için de aynısını yaparız. Eğer bir çarpım tensörü ve bir ko-çarpım tensörü birlikte büzülürse, Şekil 6(b)'deki gibi anülüsler özdeşleştirilmelidir. Anülüsler, yönelimleri uyumlu olacak ve geçiş noktasında alt daireye ve üst daireye teğet vektörler, bu sırayla, pozitif bir taban oluşturacak şekilde özdeşleştirilir. Eğer bir çarpım tensörü ve bir ko-çarpım tensörü aralarında antipod dönüşümü olacak şekilde birlikte büzülürse, geçişteki teğetlerin alt ve üst daireye negatif bir taban oluşturmasını ayarlamamız dışında aynı yapıştırma işlemini gerçekleştiririz.

Bu anülüslerin birbirine yapıştırılması sonucu, pek çok bileşene ve pek çok sınır bileşenine sahip olabilen kompakt, yönlendirilmiş bir $S$ yüzeyi elde edilir. $S$'yi kapalı bir yüzey üzerindeki bir $D$ Heegaard diyagramına dönüştürmek için, onu $S$ ile aynı sınıra sahip olan bir $T$ yüzeyine yapıştırırız. Sonuç bazı $M$ bordizmlerini tanımlar. İnşa gereği, $\sharp(M,\tilde{\mathcal{H}}) = C'$ olur.

$$\Box$$

Heegaard diyagramı $D$'nin inşasında bir belirsizlik vardır, çünkü verilen bir sınıra sahip pek çok farklı $T$ yüzeyi seçebiliriz. Bu belirsizliği bir eşdeğerlik ilişkisiyle ifade edebiliriz. $D$'nin bir Heegaard diyagramı olduğunu ve $C$'nin $D$'nin yüzeyi üzerinde $D$'nin tüm üst ve alt dairelerinden ayrık bir daire olduğunu varsayalım. O halde $D$'nin yüzeyini $C$ boyunca kesebilir ve ortaya çıkan iki sınır bileşeni boyunca diskler yapıştırabiliriz. Buna Heegaard diyagramları üzerinde bir daire hareketi (circle move) diyelim. Bunun yerine $D$'nin yüzeyinin üst veya alt daireleri olmayan bir 2-küre olan bir bileşene sahip olduğunu varsayalım. O halde bu bileşenin silinmesini $D$ üzerinde bir küre hareketi (sphere move) olarak adlandırabiliriz. Önerme 8.1, her bir $C$ büzülme grafına (küre ve daire hareketleri altında) benzersiz bir Heegaard diyagramları eşdeğerlik sınıfı atar.

Uzantı olarak, eğer $M_1$ ve $M_2$ için bir küre veya daire hareketiyle farklılık gösteren diyagramlar varsa, iki $M_1$ ve $M_2$ bordizminin temel bir hareketle farklılık gösterdiğini söyleyebiliriz. Daha sonra bordizmlerin eşdeğerlik sınıflarını ele alabiliriz. Eğer $M$ bir bordizm ise, Önerme 8.1 tarafından $\sharp(M,\tilde{\mathcal{H}})$'den üretilen bordizmin $M$'ye eşdeğer olduğunu kontrol etmek kolaydır. Ayrıca, iki $C_1$ ve $C_2$ büzülme grafının $\tilde{\mathcal{H}}$'nin tanımlayıcı ilişkilerinden biriyle farklılık göstermesi durumunda, karşılık gelen bordizmlerin eşdeğer olduğunu da kontrol edebiliriz (böylece Bölüm 5'teki değişmezlik kanıtının tersi kurulmuş olur). Dolayısıyla, ancak ve ancak $M_1$ ve $M_2$ küre ve daire hareketleri altında eşdeğer ise $\sharp(M_1,\tilde{\mathcal{H}}) = \sharp(M_2,\tilde{\mathcal{H}})$ olur.

Figure 7: Annulus move

Küre ve daire hareketinin bir $M$ bordizminin topolojisi üzerindeki etkisini inceliyoruz. Küre hareketi, $M$'nin 3-küre olan bir bileşeninin atılmasına karşılık gelir; manifoldlar üzerindeki bu harekete 3-küre hareketi diyebiliriz. Daire hareketi daha karmaşıktır. $D$, $M$ için bir diyagram ve $S$ de $D$'nin yüzeyi olsun. $M$'nin, $S \times [0,1]$'e diskler ve ardından toplar yapıştırılarak elde edildiğini hatırlayınız. $C$, bir daire hareketi için uygun olan $D$'nin yüzeyi üzerinde bir daire olsun. Daire hareketi, $M$'nin $C \times [0,1]$ anülüsü boyunca kesilmesine ve ardından ortaya çıkan iki anüler izin her birine birer 2-kulp yapıştırılmasına karşılık gelir (bkz. Şekil 7). İşlem, bir bordizm tanımı gereği önemsiz olan küresel sınır bileşenleri üretebilir. Bu işleme $M$ üzerinde bir anülüs hareketi (annulus move) adını veriyoruz.

$C \times \{0\}$ ve $C \times \{1\}$ dairelerinden birinin veya her ikisinin de kendi sınır bileşenlerinde önemsiz olması söz konusu olabilir. Bu durumda anülüs hareketi $M$'yi basitleştirir ve ona aşağıdaki gibi ikinci bir isim veririz:

$C \times \{1\}$ ve $C \times \{0\}$ dairelerinden yalnızca birinin aşikar olmadığını ve bunun $C \times \{1\}$ olduğunu varsayalım. Alt kulp cisminde $C \times \{0\}$'ı sınırlayan gömülü bir $S$ diski seçeriz. O halde daire hareketi, $M$'nin sınırının $S \cup C \times [0,1]$ diski boyunca sıkıştırılmasına karşılık gelir. Buna $M$ üzerinde bir disk hareketi (disk move) adını veriyoruz.

Eğer her iki daire de önemsiz ise, o zaman alt sınırda bir $S_0$ diski ve üst sınırda bir $S_1$ diski bulabiliriz öyle ki $S_0 \cup C \times [0,1] \cup S_1$ bir 2-küre olur ve $M$'nin diyagramı üzerindeki daire hareketi bu küre boyunca kesmeye, yani ters bağlantılı-toplam işlemine karşılık gelir. Buna $M$ üzerinde bir 2-küre hareketi (2-sphere move) adını veriyoruz.

Eğer $M$'deki bir 2-küre bir topu sınırlıyorsa, karşılık gelen 2-küre hareketinin tek etkisi $M$'ye bir 3-küre bileşeni eklemektir, bu da 3-küre hareketiyle tersine çevrilir. Bu tür bir 2-küre hareketine dejenere diyoruz. Ayrıca disk hareketlerini ve 2-küre hareketlerini dejenere anülüs hareketleri olarak, 2-küre hareketlerini ise dejenere disk hareketleri olarak adlandıracağız.

İki bordizmin ne zaman bir dizi anülüs hareketi, disk hareketi ve dejenere olmayan 2-küre hareketi ve bu hareketlerin tersi ile eşdeğer hale geldiğini belirlemek istiyoruz (ve mümkün olduğunda 3-küre hareketini uygularız). İlk olarak, bu üç hareketin bir bordizmi basitleştirmeleri anlamında yıkıcı (destructive), terslerinin ise yapıcı olduğunu; yalnızca dejenere olmayan 2-küre hareketlerinin ne yıkıcı ne de yapıcı olduğunu gözlemliyoruz. Spesifik olarak, bir $M$ bordizminin yüksekliğini $c\omega + s$ ordinalleri olarak tanımlıyoruz; burada $\partial M$'nin daire sayısı $c$, $M$'nin sınırındaki disjoint, önemsiz olmayan, paralel olmayan dairelerin maksimum sayısıdır ve $M$'nin Kneser sayısı $s$, $M$'deki disjoint, önemsiz olmayan, paralel olmayan 2-kürelerin maksimum sayısıdır. ($M$ aslında 3-manifoldların bir eşdeğerlik sınıfı olduğundan ve bu sınıfın bazı üyeleri 2-küre sınırına sahip olabileceğinden, $M$'nin bir temsilcisinin sınırına paralel olan bir 2-kürenin önemsiz olduğunu şart koşmalıyız.) $c = \dim H_1(\partial M) - \dim H_0(\partial M)$ alabiliriz; $s$'nin sonlu olduğunun kanıtı için [Hempel 1976] çalışmasına bakınız. Açıkça, yıkıcı hareketler bir bordizmin yüksekliğini azaltır. Dolayısıyla, herhangi bir yıkıcı hareketler dizisi veya yıkım yolu (path of destruction) sonludur. Bu bölümün ana sonucu bir teklik teoremidir:

Not

Teorem 8.2. Eğer $M$ bir bordizm ise, o zaman herhangi iki maksimal yıkım yolu aynı sonucu verir.

Böylece, eğer iki farklı $M_1$ and $M_2$ bordizmi üzerinde hiçbir yıkıcı hareket gerçekleştirilemiyorsa (örneğin $M_1$ ve $M_2$ kapalı ve asal ise), o zaman bunlar ya eşdeğerdir ya da $\sharp(M_1,\tilde{\mathcal{H}}) \ne \sharp(M_2,\tilde{\mathcal{H}})$ olur.

Bu sonuç, [Jaco and Shalen 1979] ve [Johannson 1979] çalışmalarında sunulduğu gibi, Jaco-Shalen-Johannson ayrışım teoreminin özel bir durumudur. Burada kendi kendine yeten bir kanıt sunuyoruz:

![Figure 8(a): Minimal counterexample path](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/fpaths.a.eps)
<!-- slide -->
![Figure 8(b): General position reduction](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/fpaths.b.eps)

Kanıt. Tümevarımla karmaşık bir kanıt planı çiziyoruz. $M$, minimum yükseklikte bir karşı örnek olsun ve $M$ üzerinde olası iki yıkıcı $x$ ve $y$ hareketini ele alalım ve ortaya çıkan manifoldları $M_x$ ve $M_y$ olarak adlandıralım. Eğer $M_{xw} = M_{yz}$ olacak şekilde iki hareket daha (dejenere olabilir veya olmayabilir) $w$ and $z$ bulabilirsek, o zaman tümevarım yoluyla $x$ ve $y$ ile başlayan herhangi iki maksimal yıkım yolu, Şekil 8(a)'da gösterildiği gibi aynı sonucu verir.

$x$ ve $y$ hareketleri $S_x$ ve $S_y$ yüzeyleri boyunca kesmeyi içerir. Eğer bu iki yüzey ayrık ise, doğrudan $M$'nin yüksekliği üzerinde tümevarım yapabiliriz, çünkü $y$'den sonra $x$'i ve tersini uygulayabiliriz, burada $M_{xy} = M_{yx}$ olur. Eğer $S_x$ ve $S_y$ kesişirse, bunları genel konuma getiririz ve kesişimlerinin bileşenlerinin sayısı (her biri bir yay veya bir dairedir) üzerinde tümevarım yaparız. $S_y \cap S_z$'nin $S_x \cap S_y$'den daha az bileşene sahip olmasını sağlayacak şekilde (muhtemelen $x$ ve $y$ yer değiştirdikten sonra) başka bir yıkıcı $z$ hareketi bulmak ve Şekil 8(b)'de gösterildiği gibi $M_{zv} = M_{xw}$ olacak şekilde $v$ ve $w$ hareketlerinin var olduğunu göstermek yeterlidir.

![Figure 9(a)](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/finnercircle.a.eps)
<!-- slide -->
![Figure 9(b)](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/finnercircle.b.eps)
<!-- slide -->
![Figure 9(c)](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/finnercircle.c.eps)

$S_x \cap S_y$'nin bileşenlerinden birinin $S_x$ ve $S_y$ yüzeylerinden birinde, diyelim ki $S_y$'de büzülebilir bir daire olduğunu varsayalım. Bunun içinde en içteki bir $C \subset S_x \cap S_y$ dairesi seçebiliriz. $C$, $S_y$ içinde iç kısmı $S_x$ ile kesişmeyen bir $D$ diskini sınırlar ve Şekil 9(a)'da gösterildiği gibi $S_x$'i iki $S_1$ ve $S_2$ yüzeyine böler. $x$ hareketi, $S_x$ boyunca kesmek ve 2-kulplar veya toplar yapıştırmaktan oluşur ve her iki durumda da, Şekil 9(b)'de gösterildiği gibi $S_x$'e eklenen bölgede $D$ ile bir küre oluşturan bir $D_x$ diski bulabiliriz. Şekil 9(c)'de gösterildiği gibi $S_1 \cup D$ ve $S_2 \cup D$ yüzeylerine paralel uzanan ancak onlarla veya birbirleriyle kesişmeyen iki $S'_1$ ve $S'_2$ yüzeyi seçeriz. $S'_1$ boyunca kesmek ve $S'_2$ boyunca kesmek geçerli hareketlerdir ve her ikisi boyunca kesmek, $x$'i gerçekleştirmeye ve ardından $D \cup D_x$ küresi boyunca kesmeye eşdeğerdir. Bu nedenle $S'_1$ ve $S'_2$ yüzeylerinden en az biri yıkıcı bir hareket olmalıdır ve bunun $S'_1$ olduğunu varsayabiliriz. Aynı zamanda, $S'_1$, $S_y$ ile $S_x$'ten daha az kesişime sahiptir. $z$'nin $S'_1$'e karşılık gelen hareket olmasına izin veririz.

Figure 10

Bu noktadan sonra, $S_x \cap S_y$'nin hem $S_x$ hem de $S_y$ içinde büzülebilir olan dairesel bir bileşeni olmadığını varsayıyoruz; özellikle ne $x$ ne de $y$ bir 2-küre hareketi olamaz. Bunun yerine, bazı bileşenlerin her iki uç noktası da üst veya alt sınırda, diyelim ki üst sınırda olan bir yay olduğunu varsayalım. Bu yay, $S_y$'nin sınırının bir kısmı ile birlikte, $S_y$ içinde bir diski sınırlar. Bu diskteki en içteki yay olan $A \subset S_x \cap S_y$ yayını ele alalım. $A$, $S_y$'nin sınırının bir kısmı ile birlikte, iç kısmı $S_x$ ile kesişmeyen bir $D \subset S_y$ diskini sınırlar ve $S_x$'i iki $S_1$ ve $S_2$ yüzeyine böler. Önceki durumdaki gibi argüman sunuyoruz, tek fark $D \cup D_x$'in artık bir 2-küre yerine Şekil 10'da gösterildiği gibi bir disk olmasıdır.

![Figure 11(a)](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/fannulus.a.eps)
<!-- slide -->
![Figure 11(b)](/Users/2n/.gemini/antigravity/brain/409508fb-0385-4586-a5a2-6d87758788a5/scratch/9201301/fannulus.b.eps)

Figure 12: Concentric circles

Böylece, hem $x$ hem de $y$'nin anülüs hareketleri olduğunu varsayabiliriz. İki olasılık vardır: Ya $S_x$ ve $S_y$, Şekil 11(a)'da gösterildiği gibi $S_x$ ve $S_y$'nin üst ve alt sınırları arasında uzanan eş merkezli dairelerde kesişir; ya da Şekil 11(b)'de gösterildiği gibi her biri $S_x$ ve $S_y$'nin üst ve alt sınırlarını bağlayan radyal yaylarda kesişirler. İlk durumda, $C$, $S_x \cap S_y$'nin $S_y$ içinde en üstte olan dairesi olsun. $C$, $S_y$ içinde iç kısımda $S_x$ ile kesişmeyen bir $A$ anülüsünü sınırlar. Şekil 12'de gösterildiği gibi $S_x$'i bir üst anülüs $A_u$ ve bir alt anülüs $A_l$ olarak ikiye böler. $A \cup A_l$ boyunca kesmek mutlaka yıkıcı bir harekettir, çünkü üst sınırı önemsiz olmayan bir dairedir. Bu harekete $z$ adını veriyoruz. $C$ dairesi, $z$ hareketinde $A \cup A_l$'ye yapıştırılan 2-kulpta bir $D_z$ diskini sınırlar ve $C$, $x$ hareketinde yapıştırılan 2-kulpta bir $D_x$ diskini sınırlar. $z$ hareketinin ardından $D_x \cup A$ diskinin sıkıştırılmasının, $x$ hareketinin ardından $D_z \cup A_l$ diskinin sıkıştırılmasıyla aynı sonucu verdiğini görüyoruz. Daha önce olduğu gibi, eğer $A \cup A_l$'yi $A$ anülüsünden uzaklaştırırsak, $S_y$ ile $S_x$'ten daha az kesişir.

Son olarak, $S_x$ ve $S_y$'nin radyal yaylarda kesiştiğini varsayalım. $\mathcal{A}$, $S_x \cup S_y$'nin tüpsü bir komşuluğunun sınırı olsun. $\mathcal{A}$, ne $S_x$ ne de $S_y$ ile kesişmeyen ayrık anülüslerin birleşimidir. Eğer karşılık gelen tüm anülüs hareketlerini gerçekleştirirsek, o zaman $S_x$ ve $S_y$, ortaya çıkan bordizmin bazı kapalı $S$ yüzeyleri için $S \times [0,1]$'e eşdeğer olan bir bileşeninde yer alır. Herhangi bir maksimal yıkım yolu bu bileşeni tamamen ortadan kaldırır. Böylece, $S_x$ ve $S_y$, $\mathcal{A}$ ile temsil edilen anülüs hareketleri altında eşdeğer hale getirilir.

$$\Box$$

9. Çözülmemiş Sorular

$\sharp(M,\mathcal{H})$, kapalı 3-manifoldlar için eksiksiz bir formal değişmez olsa da, hesaplama anlamında mutlaka eksiksiz bir değişmez değildir, çünkü $\mathcal{H}$'nin elemanlarını ayırt etmek, 3-manifoldları standart yollarla ayırt etmek kadar zor olabilir.

İpucu

Sav 9.1. Heegaard kategorisi $\mathcal{H}$ kalıntısal olarak temsil edilebilirdir (residually representable). Yani, eğer $a$ ve $b$, $\mathcal{H}$'nin farklı elemanları ise, bir $V$ vektör uzayı ve $m(a) \ne m(b)$ olacak şekilde bir $m:\mathcal{H} \to T(V)$ morfizmi vardır.

Eğer bu sav doğruysa, $\sharp(M,\mathcal{H})$ daha anlamlı bir şekilde eksiksiz bir değişmezdir. Bu savın birkaç özel durumu kolayca çözülebilir. $\sharp(L(3,1),H) \ne \sharp(L(3,2),H)$, yani $\Delta^{abc}M_{abc} \ne \Delta^{cba}M_{abc}$ olacak şekilde involütif bir $H$ Hopf cebiri var mıdır? $\sharp(M,H)$ yönelime duyarsız olsa bile, belki de $L(7,1)$'i $L(7,2)$'den veya $L(8,1)$'i $L(8,3)$'ten ayıran bir Hopf cebiri vardır (sırasıyla, $\Delta^{abcdefg}M_{abcdefg}$'yi $\Delta^{abcdefg}M_{acegbdf}$'den ve $\Delta^{abcdefgh}M_{abcdefgh}$'yi $\Delta^{abcdefgh}M_{adgbehcf}$'den ayıran).

Bu makalede verilen inşa neredeyse kesinlikle olabildiğince genel değildir. Örneğin Dijkgraaf [Dijkgraaf 1989] çalışmasında, Vaughan Jones tarafından bana açıklanan üçgenlemeler üzerindeki şu durum modelinden bahsetmektedir: Daha önce olduğu gibi, durum kümesi olarak sonlu bir $G$ grubunu seçeriz, bir üçgenlemenin yönlendirilmiş kenarlarına durumlar atarız ve her bir yüze, yüzün kenarlarının durumlarının çarpımı birim eleman olmadıkça 0 olan bir etkileşim atarız. Ancak, dörtyüzlünün yüzlerinin değerinin sıfırdan farklı olduğu her durumda sıfırdan farklı olduğunu varsaydığımız her bir dörtyüzlü (tetrahedron) için de bir etkileşimimiz vardır. Bu etkileşimi $a,b,c,d,e,f \in G$ olmak üzere karmaşık değerli bir $I(a,b,c,d,e,f)$ fonksiyonu olarak görebiliriz ve bu nedenle çarpımsal $\mathbb{C}^*$ grubundaki katsayılarla $K(G,1)$'in kanonik üçgenlemesi üzerinde bir eşzincir (cochain) olarak düşünebiliriz. Durum modelinin topolojik bir değişmez olması kısıtlaması, bu eşzincirin aslında bir eşçevrim (cocycle) olması koşuluna eşdeğerdir ve iki farklı eşçevrim, eğer eşsınırlı (cohomologous) iseler aynı değişmezi verir. Böylece, sonlu bir grup ve $H^3(G,\mathbb{C}^*)$'ın bir elemanından oluşan her bir çift için bir değişmez elde ederiz. Eğer aşikar kohomoloji sınıfını seçersek $\sharp(M,k[G])$ elde ederiz. Bu değişmezin ve $\sharp(M,H)$'nin ortak bir genelleştirmesi var mıdır?

Değişmez, involütif olmayan Hopf cebirlerine genişletilebilir mi? Bölüm 6'da belirtildiği gibi, $\sharp(M,H)$, $H$'nin kuantum çiftini içeren belirli bir bağ değişmezine karşılık gelir. Kuantum çifti dışındaki yarı-üçgensel Hopf cebirlerine genelleştirilebilir mi?

Referanslar