158年信じられてきた幾何学のルール、ドーナツ2つで覆される――「部分を測っても全体は決まらない」 (4/4)

専門家向け補足

本文で触れたように球体においてボネの定理は当てはまります。

ボネの定理は、曲面の第一基本形式、すなわち計量と、第二基本形式がガウス＝コダッチ方程式を満たすなら、対応する曲面の空間内での実現はユークリッド運動を除いて一意に決まる、という主張であり、これは今も正しいものです。

共形表示でいえば、計量、Hopf微分、平均曲率というデータが適合条件を満たすとき、少なくとも普遍被覆上で対応する immersion が存在し、その実現は一意に定まります。

今回の論文が扱っているのは、その完全なデータではなく、「計量」と「平均曲率」という縮約されたデータだけで曲面が決まるのか、という問題です。論文自身も、古典的なボネの定理を出発点にしつつ、1867年にBonnetが問うた「計量と平均曲率関数で曲面を特徴づけられるか」という問題として整理しています。

計量は曲面の内在的な距離を決めます。そして計量が分かれば、ガウス曲率も決まります。したがって、法線の向きを対応させた上で計量と平均曲率が同じなら、対応する点での主曲率の和と積は同じになり、主曲率の無順序対も一致します。つまり、曲率の数値だけを見ると、2つの曲面はきわめてよく似ています。しかし、第二基本形式そのものは平均曲率だけでは完全には決まりません。共形表示でいえば、同じ計量と同じ平均曲率を持っていても、Hopf微分の取り方が異なりうるのです。今回の発見の核心は、この残りうる自由度が、局所的な例外にとどまらず、コンパクトな曲面でも実際に周期条件を満たして閉じることを示した点にあります。

この種の一対の曲面は、Bonnet pair と呼ばれます。正確には、2つの曲面が内在的には等長で、対応する点で平均曲率も同じであるにもかかわらず、3次元空間内の向きを保つ剛体運動では互いに重ね合わせられない場合を指します。論文は、3次元ユークリッド空間内の2つの非合同な滑らかなトーラスで、平均曲率を保つ等長写像によって対応しているものの存在を、具体的な構成法によって証明しています。さらに、得られる immersion は実解析的であり、一般には反射を含む空間の等長変換でも互いに移り合いません。これは Global Bonnet Problem だけでなく、実解析的な計量がコンパクト曲面の空間内での実現を一意に決めるかという Cohn-Vossen–Berger 型の問題にも反例を与えるものです。

トーラスが舞台になる理由も明快です。球面型、すなわち種数0の曲面では、2つの曲面の Hopf微分の差として現れる正則二次微分が恒等的に消えてしまうため、Bonnet pair は存在しません。一方、トーラスでは非零の正則二次微分が存在でき、この障害は消えます。さらに Lawson–Tribuzy は1981年に、滑らかな計量と非定数の平均曲率関数を固定したとき、コンパクトな滑らかな immersion は高々2つであることを示していました。しかし、その「2つ」が実際に現れるコンパクトな具体例は知られていませんでした。今回の論文は、その空白を埋めたものです。

構成の技術的な柱は、isothermic surface――臍点を除いて共形座標と曲率線座標を同時にもつ曲面――です。研究チームは、Bonnet pair を isothermic surface とその Christoffel dual から作る Kamberov–Pedit–Pinkall の対応を用いています。ただし、局所的に Bonnet pair を作ることと、それがコンパクトなトーラスとしてきちんと閉じることはまったく別問題です。閉じるためには、曲面を一周したときにずれが残らないという周期条件を満たす必要があり、この周期条件こそが長年の難所でした。

今回の突破口は、もとの isothermic torus に「一方の曲率線が平面曲線である」という強い幾何学的構造を入れたことにあります。この仮定により、Christoffel 双対や球面反転に関する対称性が現れ、周期条件の大部分が自動的に処理できるようになります。残る条件は2つに集約されます。第一に、基本片を回転させてトーラスとして閉じるための角度の合理性条件です。これは、基本片を回す角度が最終的に有限回で一周して閉じることを要求する条件で、論文では回転角がπの有理数倍になる形で現れます。第二に、回転軸方向に残る並進ずれを消すための1つの実数値積分条件です。論文中の図4は、この構成の流れを視覚的に示しています。

さらに研究チームは、まず、もう一方の曲率線が球面上にあるという追加条件を課します。これにより、回転軸が局所データから計算可能になり、2つの周期条件がいずれも楕円積分として明示的に書き下せます。ここで重要なのは、数値的に「それらしい形」を見つけただけではなく、パラメータ δ→0 の漸近解析と陰関数定理を組み合わせて、条件を同時に満たす解の存在を厳密に証明している点です。

その後、v方向の曲率線が球面上にあるという特殊な仮定を、reparametrization function の解析的摂動によって外しています。この摂動では、一方の曲率線が平面であるという構造は保たれますが、一般には反射で互いに移り合うだけではない Bonnet pair が得られます。しかも、その構成には実解析的な関数パラメータ分の自由度が残ります。

発見の入口に離散微分幾何があったことも特筆に値します。論文では、5×7の非常に粗い離散トーラス上で、離散版の isothermic surface と Bonnet pair を探索した数値実験が、滑らかな構成の本質的特徴を示していたと報告されています。特に、離散モデルで見つかった「一方の曲率線が平面に乗る」という性質が、連続理論で一方の曲率線が平面である isothermic torus を調べる構成方針の重要な手がかりになりました。構造を保つ離散化が新しい連続的対象の発見を駆動した例として、方法論的にも興味深いものです。

今回の成果にはいくつかの限界もあります。構成は、embedded ではなく immersed、すなわち自己交差を許す「はめ込み曲面」の枠組みで行われています。論文は、両方が embedded であるコンパクト Bonnet tori が存在するかを未解決問題として挙げています。また、より高い種数での Bonnet pair、一方の曲率線が平面または球面であるという仮定なしにトーラスのコンパクト Bonnet pair が存在するか、さらにトーラスの場合を分類できるか、定平均曲率の場合のコンパクト Bonnet pair が存在するかも、論文末で未解決問題として提示されています。

以上を踏まえると、今回の結論の正確な位置づけは次の通りです。計量と平均曲率という非常に強い情報を与えても、コンパクトな滑らか曲面、しかも実解析的なトーラスの範囲でなお、3次元空間内での実現は一意とは限りません。さらに今回の例は、同じ実解析的計量をもつコンパクトな実解析的 immersion が、反射を含む空間の等長変換を除いても一意に決まらないことも示しています。これらが、今回の構成によって初めて具体的に示されたことです。