兩個環面可以共享相同的局部幾何而仍然是不同的形狀

拒絕被識別的形狀

想像測量一個曲面，卻不允許走到它外面去。你可以沿著它測量距離：如果沿曲面本身旅行，一點到另一點有多遠。這就是曲面的度量。現在從外部再添加一項測量：在每個點上記錄曲面的平均彎曲程度，即其平均曲率。

這聽起來像是大量的資訊。對於許多曲面來說，這確實足夠了。如果你知道了內在距離和平均曲率函數，你可能會期望三維空間中的形狀已經被確定下來。

Alexander Bobenko、Tim Hoffmann 和 Andrew Sageman-Furnas 現在構造了打破這一期望的緊緻曲面。他們的論文給出了兩個環面——甜甜圈形狀的曲面，儘管不是普通的圓甜甜圈——它們是等距的，並且在對應點上具有相同的平均曲率，但它們並不合同。你無法通過旋轉、平移或反射將一個變成另一個。它們在空間中是真正不同的浸入。

用該領域的語言來說，它們是緊緻 Bonnet 對。論文稱它們為第一批這樣的例子。

問題是什麼

經典曲面理論區分為兩種資訊。

度量告訴你沿曲面測量的距離。一張平板捲成圓柱體保持相同的內在度量：一隻在平板上行走的小螞蟻僅憑距離測量不會注意到捲曲。完整的第二基本形式則告訴你更多關於曲面如何在空間中彎曲的資訊。經典的 Bonnet 定理 說，只要度量與完整的彎曲資料滿足正確的相容方程，浸入就在剛體運動的意義下被確定。

但在 1867 年，Pierre Ossian Bonnet 提出了一個更鋒利的問題。如果彎曲資料被簡化了呢？既然度量已經內在地決定了高斯曲率，一個曲面能否由度量加上平均曲率函數來刻畫？

通常的答案是肯定的。這個詞很重要。幾何學經常有特例：特殊的曲面，其通常的唯一性陳述失效。開放的問題是是否存在緊緻光滑的例子，其中度量和平均曲率一致，但曲面在空間中並不相同。

這就是 Global Bonnet 問題。這篇新論文用環面給出了答案。

作者構造了什麼

作者構造了 R3 中一對光滑環面，它們由一個保平均曲率的等距相關聯。這意味著對應點具有相同的周圍內在距離和相同的平均曲率值，但兩個曲面不是合同的。

這一構造不僅僅是產生單一的數值奇觀。這些環面是實解析的——與冪級數幾何一樣正則，不是粗糙拼接的對象——並且作者證明，他們的例子在通用情況下不與任何空間等距相關聯。他們還聲明，他們的構造給出了不可數多個這樣的對，因為它包含一個函數參數。

路徑是技術性的。它使用了 Bonnet 對與等溫曲面之間的關係，一類具有特殊曲率線坐標的曲面。這些例子通過從具有一族平面曲率線的等溫環面出發，並應用產生 Bonnet 對的構造而獲得。作者說，該方法的出現源於對環面 5×7 四邊形分解的計算實驗，使用離散微分幾何作為通向光滑結果的引導。

視覺結果比證明更容易理解。論文中的兩個環面具有匹配的幾何資料，但具有明顯不同的全局位置：在作者的圖 1 中，對應的大的「氣泡」在一個環面上比另一個更靠近。那種可見的差異不是繪畫技巧。定理說這些曲面在空間中不是相同的形狀，即使所選的局部資料一致。

為什麼這不矛盾

這一結果並不是說幾何學是任意的，或者測量是無用的。

它說的是，一個特定的簡化資料集——度量加平均曲率——並不總是足以唯一地識別一個緊緻曲面。完整的經典唯一性定理使用更豐富的彎曲資訊。平均曲率只是兩個主曲率的平均值。它告訴你曲面在一點的平均彎曲程度，但它並不能保留所有方向性彎曲資訊。

這一區別就是全部要點。兩個曲面可以在沿曲面的距離和在每個對應點的平均彎曲上一致，但在那種彎曲在空間中被安排的方式上不同。

論文也沒有說這種歧義是典型的。引言審慎地指出：通常而言，度量加平均曲率確定一個曲面。Bonnet 對是特例。它們的價值恰恰在於表明這種例外存在於緊緻、光滑、解析的環境中——這一問題此前一直未解決。

它關閉了哪些古老的問題

第一個關閉的問題是 Global Bonnet 問題：是否存在兩個不合同的緊緻光滑浸入於三維歐幾里得空間中，由一個等距相關聯且在對應點具有相同的平均曲率？作者的回答是肯定的。

第二個是 Cohn-Vossen-Berger 問題：是否存在兩個等距的緊緻解析曲面於歐幾里得三維空間中，且不與任何空間等距相關聯？答案同樣是肯定的，使用了通過同一構造獲得的解析環面。

解析性很重要。之前的緊緻曲面非唯一性例子可能依賴於較低的正則性或局部改動。這些環面不僅僅是光滑對象在某個補丁上換了個凸起。論文強調相應的鄰域在任何地方都不局部合同：差異散佈在整個構造中，而非隱藏在修補接縫中。

為什麼重要

這是純數學，但其直覺是廣泛的。一個形狀在一種意義上可以被過度確定，而在另一種意義上仍然被欠識別。重要的不是你擁有多少資料，而是資料是否包含正確類型的資訊。

度量加平均曲率感覺很強，因為它將內部距離與外在彎曲度量結合在一起。緊緻 Bonnet 對展示了差距：平均彎曲不是完全彎曲。局部一致性不是全局識別。解析正則性不是神奇的唯一性保證。

這是一個超越該定理的有用教訓。在幾何學中，逆問題常常問一組測量是否確定產生它們的對象。這篇論文對一個經典曲面問題給出了一個鋒利的新答案：不總是如此，即使當對象是緊緻、光滑和解析的時候。

清潔摘要

Bobenko、Hoffmann 和 Sageman-Furnas 構造了第一批緊緻 Bonnet 對：兩個不合同的 R3 中的光滑環面，由一個等距相關聯且在對應點具有相同的平均曲率。他們的例子是實解析的，且不通過任何空間等距相關聯，從而解決了論文所述的 Global Bonnet 問題和 Cohn-Vossen-Berger 解析唯一性問題。這一結果並未顛覆經典曲面理論；它表明度量加平均曲率的簡化資料並不總是足以唯一識別一個緊緻曲面。