曲面のすみずみまで測れば、その形は一つに決まる——長いあいだ、多くの数学者がそう考えてきました。ところが、閉じたドーナツ型に限っては、それが成り立たない場合があるとわかりました。各点での測定データがまったく同じなのに、全体としては別物の形が二つ存在する。そんな例が、150年ぶりに初めて見つかったという話です。
見つけたのは、ミュンヘン工科大学（TUM）、ベルリン工科大学、ノースカロライナ州立大学の3人の数学者。成果は数学の専門誌 Publications mathématiques de l’IHÉS に掲載されました。
150年の経験則
話の主役は、微分幾何学という分野です。曲面が空間の中でどう曲がっているかを、数式で調べる数学のことです。
この分野には、19世紀のフランスの数学者ピエール・オシアン・ボネにさかのぼる、150年以上受け継がれてきた考えがあります。ざっくり言うと「閉じた曲面について、各点で二つの性質——計量と平均曲率——がわかれば、その曲面の形は一つに決まる」というものです。
計量（けいりょう）というのは、曲面の上での距離のはかり方のこと。曲面上の2点がどれだけ離れているかを表します。平均曲率は、その点で曲面が外側・内側へどれくらい曲がっているかを示す量です。この二つを曲面のあらゆる点で知っていれば、形が復元できるはず——手元の小さな測定をすべて集めれば、全体像がわかる、という発想です。
直感的にはもっともらしく聞こえます。実際、球のような形ではこれが成り立つことが、後になって証明されています。だからこの考えは、厳密に証明された定理というより、「たぶんいつでも成り立つだろう」という経験則として、長く受け入れられてきました。
局所の測定と全体の形
ここで大事なのが、「局所」と「大域」という見方の違いです。局所は各点まわりの小さな範囲、大域は曲面ぜんたいを指します。今回の経験則は、局所の測定（各点での計量と平均曲率）を全部そろえれば、大域の形（全体像）が決まる、と言っているわけです。
この経験則に例外があること自体は、以前から知られていました。ただし、それは「コンパクトでない曲面」に限られていました。平面のようにどこまでも無限に広がる曲面や、縁があってそこで途切れる曲面のことです。逆に、閉じていて縁がなく、無限にも広がらない「コンパクトな曲面」——球やドーナツ型がその代表です——では、例外は見つかっていませんでした。
反例となる二つのトーラス
今回、研究チームが目をつけたのがドーナツ型でした。数学ではトーラスと呼ばれる形です。
じつはトーラスについては、一組の計量と平均曲率に対して、対応するトーラス面が最大で二つありうる、ということは数十年前から知られていました。可能性としてはわかっていた。けれど、それを満たす具体的な例は、誰も見つけられずにいました。長年、多くの数学者が探しても、実例は出てこなかったのです。
3人はその欠けていた例を、ついに構成しました。距離のはかり方（計量）も、各点での曲がり具合（平均曲率）もぴったり同じ。それなのに、全体として見ると構造が違う。そんな二つの閉じたドーナツ型を、具体的に作ってみせたのです。
チームの一人、TUMのティム・ホフマン教授は、閉じたドーナツ型のような曲面でも、局所的な測定データが必ずしも一つの全体の形を決めるわけではない、と示す具体例を初めて見つけられた、と述べています。つまり、部分をすべて知っていても、全体が決まらないことがある。それが今回の答えでした。
結果がもつ意味
この結果は、幾何学の土台にあった思い込みを一つ外した、と言えます。局所の情報を完全にそろえても、それだけでは全体の形が一意に定まらない場合がある。トーラスという特定の形ではありますが、はっきりした反例が出たことで、そのことが確定しました。
「計量と平均曲率がわかれば形が決まる」という前提は、純粋な数学だけでなく、物理やコンピュータグラフィックスのように、測定データから形を復元する場面でも下敷きになってきました。今回の結果は、そうした場面で形を一つに絞り込みたいなら、これまでより強い条件が要ることがある、と教えてくれます。
解釈上の留意点
気をつけたいのは、これは「あらゆる曲面で形が決まらなくなった」という話ではない、という点です。球のようなコンパクト曲面では、計量と平均曲率が形を一つに決めることが示されています。今回くつがえったのは、トーラスという特定のケースについての経験則です。長年の未解決問題に決着がついた、という意味での大きな前進で、幾何学のすべてが書き換わるわけではありません。
なお、この成果は査読を経た論文として専門誌に掲載されており、すでに数学者コミュニティの検証を通ったものです。
出典
Bobenko, A.I., Hoffmann, T. & Sageman-Furnas, A.O. “Compact Bonnet pairs: isometric tori with the same curvatures.” Publications mathématiques de l’IHÉS 142, 241–293 (2025).
https://doi.org/10.1007/s10240-025-00159-z
プレスリリース（ミュンヘン工科大学）：
Decades-old problem in classical geometry solved（TUM）
コメント