奇異四維空間（exotic R^4）

歐氏空間 R^n 是能想像的最平淡的流形，而除了一個維度之外，每個維度上給它配光滑（與微積分相容）結構的方式恰有一種：R^n 上任兩個光滑結構都微分同胚。例外是 n = 4，而且是個壯觀的例外。存在與普通 R^4 同胚的光滑流形——在拓樸上與它無從分辨——卻與它不微分同胚：無論你怎麼嘗試，都無法把它們與標準 R^4 光滑地等同。這些就是奇異 R^4，而且有不可數多個相異的。四維是 R^n 擁有不止一個光滑結構的唯一維度，且它有連續統那麼多。

這怎麼可能？這結果是由兩個方向相反的定理結合所迫出的。Freedman 關於拓樸四維流形的工作（1982）用代數資料（交截形式加上 Kirby-Siebenmann 不變量）分類它們，並經由手術產生拓樸 R^4。Donaldson 的規範理論（1983）限制了哪些光滑四維流形能存在（定交截形式的可對角化性）。拓樸所允許者與光滑所禁止者之間的衝突，幾乎作為副產品，產生了一個與 R^4 同胚但不微分同胚的光滑開四維流形。最初的例子來自 Donaldson 加 Freedman；Taubes 隨後證明有連續統（一個不可數族）兩兩不微分同胚的奇異 R^4，由規範理論不變量區分。一個「小」奇異 R^4 光滑地嵌入標準 R^4；一個「大」的則不行——每一種都有無窮多個。

為何它重要以及該誠實面對什麼。奇異 R^4 是光滑結構確實多於拓樸、且四維為例外的最乾淨可能展示——高維被 h-配邊定理與手術馴服，二維與三維太剛硬而不容歐氏空間上有奇異物，唯有四維坐落於低維與高維技術皆不適用的縫隙中。關鍵的提醒。其一，「流形」絕不蘊含一個典範的光滑結構：R^4 容許許多，故寫「R^4」對你指的是哪個光滑化是有歧義的，除非你說標準的。其二，這是非緊 R^4 特有的；對應的開放問題，例如閉四維流形上的奇異結構（以及光滑四維龐加萊猜想，即 S^4 是否有奇異結構）著名地仍未解——不要把「奇異 R^4 存在」與「每個四維流形都有奇異結構」或任何關於 S^4 的陳述混為一談。其三，從未有人用明確方程寫下一個奇異 R^4；它們的存在是由 Freedman 與 Donaldson 之間的矛盾證明的，這也是它們始終如此神秘的部分原因。