Virtual哈肯猜想和基本群

快捷方式: 差异，相似，杰卡德相似系数，参考。

Virtual哈肯猜想和基本群之间的区别

Virtual哈肯猜想 vs. 基本群

拓撲學中的virtual哈肯猜想（Virtually Haken conjecture），是指緊緻可定向不可約3維流形，若有無限基本群，就是virtual哈肯（virtually Haken）的，即有一個有限覆蓋（有限對一的覆蓋空間）是哈肯流形。 通常認為這個猜想是Friedhelm Waldhausen在一篇1968年的論文最先提到，雖然他未在文中正式寫出。卡比的問題集，將這個猜想正式寫出為問題3.2。 幾何化猜想由格里戈里·佩雷爾曼證明了之後，virtual哈肯猜想只剩下雙曲3-流形待證。 2012年3月12日，Ian Agol在亨利·龐加萊研究所的學術報告講課中提出了這個猜想的證明。隨後在該研究所的3-流形中的浸入曲面工作坊中，他在3月26和28日講了三堂課描述證明大綱。他已發出所宣稱的證明的預印本。他的證明是基於Kahn和Markovic的曲面子群猜想的證明，證明Malnormal Special Quotient定理時得到的結果，以及Bergeron和Wise的群的cubulation結果。. 在代數拓撲中，基本群（或稱龐加萊群）是一個重要的同倫不變量。帶點拓撲空間的基本群是所有從該點出發的環路的同倫等價類，群運算由環路的銜接給出。 基本群能用以研究兩個空間是否同胚，也能分類一個連通空間的覆疊空間（至多差一個同構）。 基本群的推廣之一是同倫群。.

覆疊空間

在拓撲學中，拓撲空間X的覆疊空間是一對資料(Y,p)，其中Y是拓撲空間，p: Y \to X是連續的滿射，並存在X的一組開覆盖 使得對每個U \in \mathcal，存在一個離散拓撲空間F及同胚：\phi_U: U \times F \simeq p^(U)，而且p \circ \phi_U: U \times F \to U是對第一個坐標的投影。 滿足上述性質的p: Y \to X稱為覆疊映射。當X連通時，F的基數是個常數，稱為覆疊的次數或重數。 空間X的覆疊構成一個範疇\mathbf_X，其對象形如p: Y \to X，從p: Y \to X到q: Z \to X態射是連續映射f: Y \to Z，且q \circ f.

Virtual哈肯猜想和覆疊空間 · 基本群和覆疊空間 · 查看更多 »