Sharp stability of Alexandrov's theorem for $C^1$ domains in the small-excess regime

大局的な視点：「石鹸の泡」の法則

想像してみてください。あなたは石鹸の泡を持っています。物理学は、もし石鹸の泡が完全に一定の表面張力（これは一定の「平均曲率」を生み出します）を持っていれば、それは必ず完全な球体になることを教えてくれます。これはアレクサンドロフの定理と呼ばれる有名な数学的ルールです。

しかし、もしその泡が完璧ではなかったらどうでしょう？もし表面張力がほんの少しだけ揺らいだとしたら？その泡は依然として球体に非常に近いのでしょうか、それとも、たまたま似たような張力を持っているだけの、奇妙でデコボコした形なのでしょうか？

この論文はその問いに答えるものです。もしある図形が（「小さな過剰量」と呼ばれる特定の数学的な意味において）「ほぼ」球体であり、かつその表面張力が「ほぼ」一定であるならば、その図形は必ず完全な球体に非常に、非常に近いものであることを証明しています。さらに、著者たちはその近さを正確に測定するための精密な数学的定規を提供し、どれほど近いのかを正確に算出しています。

主要な登場人物

1. 図形 ($E$): これは粘土の塊や石鹸の泡のようなものだと考えてください。それには境界（皮）があります。
2. 完全な球体 ($B$): これはゴールドスタンダードです。完璧なボールです。
3. 「過剰量」 ($Exc(E)$): 完全な球体を想像してください。次に、あなたの塊が少し押しつぶされたり、引き伸ばされたりしている様子を想像してください。「過剰量」とは、同じ体積を持つ完全な球体と比較して、あなたの塊がどれだけ余分な表面積を持っているかを測る数値です。過剰量がゼロであれば、それは完全な球体です。過剰量が小さければ、それは「ほぼ」球体です。
4. 「平均曲率」 ($H$): これは、あらゆる点において表面がどれほど「曲がっているか」を記述する数学的な方法です。完全な球体の場合、この数値はどこでも同じになります。
5. 「振動」: これは曲率がどれくらい揺れるかを測定します。もし曲率があらゆる場所で5であれば、振動は0です。もし4.9から5.1の間で揺れ動いているなら、振動は小さいと言えます。

問題：なぜこれが難しいのか？

過去において、数学者たちは、図形がすでに非常に厳格な方法（球体の上に描かれたグラフのような方法）ですでに球体に非常に近い場合にのみ、この「安定性」を証明することができました。しかし、現実世界の形状（あるいは高次元の形状）は奇妙なものになり得ます。例えば、長い「触手」が突き出ていたり、ヒトデのような形をしていたりするかもしれません。

著者たちは、このルールが、たとえ少し乱れた見た目であっても（$C^1$ ドメインと呼ばれる）、余分な表面積が多すぎない限り（小さな過剰量）、あらゆる図形に対して機能することを証明したいと考えました。

解決策：どのように行ったのか

著者たちは、乱れた図形を制御するために、巧妙な4ステップの戦略を用いました。

1. 「触手」のトリミング
あなたの塊から、中心から遠く離れた場所に細長い指や「触手」が突き出していると想像してください。これらは分析するのが厄介です。

• トリック: 著者たちは、もし「過剰量」が小さければ、これらの触手はそれほど長くも多くもなり得ないことを証明しました。彼らは本質的にこれらの触手を「切り落とし」、完全な球体の周りの薄い環（アニュラス）の中に整然と収まる核となる形状を残しました。彼らは、切り落とした表面積の量が、曲率の揺らぎによって制御されており、極めて微小であることを示しました。

2. 「星型」への作り替え
触手が取り除かれた後でも、残された形状はまだ少しデコボコしています。

• トリック: 彼らは「星型再配置（star-shaped rearrangement）」という数学的手法を用いました。塊を取り、あらゆる方向から中心までの距離を伸ばしたり縮めたりすることで、体積は変えずに、形状を「星型（穴や奇妙な凹みがない状態）」にする様子を想像してください。これにより、乱れた塊は、球体上のグラフのような形状へと変わり、数学的に研究するのがはるかに容易になります。

3. 「スペクトル・ギャップ」（跳ねるボール）
これで、球体に似た少しデコボコした形状が得られました。彼らは、もし曲率がほぼ一定であれば、デコボコは小さくなければならないことを証明する必要がありました。

• 比喩: 球体の表面をトランポリンと考えてください。あなたが（曲率を変えるために）押し下げると、トランポリンは平らに戻ろうと跳ね返ります。「スペクトル・ギャップ」とは、トランポリンが非常に硬い（スティフである）という数学的な言い方です。つまり、強く押さない限り、大きな、ぐにゃぐにゃとした波を許容しません。著者たちは、これらの特定の図形に対して、この「硬さ」が十分に高く、形状を球体に留めておくのに十分であることを示すために、フゲデ（Fuglede）による有名な議論を応用しました。

4. 「多面体」近似
数学的な厳密さを保つために、彼らは単に形状が滑らかであると仮定するのではなく、平らな面を持つ形状（ジオデシック・ドームやサッカーボールのようなもの）で近似しました。

• トリック: もしこのルールが、これらのブロック状の、平らな面を持つ形状に対して機能するならば、ブロックが十分に小さければ、滑らかな形状に対しても機能することを彼らは証明しました。これにより、通常は平らな表面に対してのみ機能する強力な幾何学的ツールを使用することが可能になりました。

結果：「シャープな」定規

論文は、精密な不等式（数学的公式）で締めくくられています。それは以下の通りです：

球体への「距離」 $\le$ 定数 $\times$ （曲率の揺らぎ）$^2$

• 距離: これには、余分な表面積（過剰量）と、完全な球体との差（対称差）の2つの要素が含まれます。
• 揺らぎ: これは平均曲率の $L^2$ 振動（曲率がどのように変化するか）です。
• 二乗: 最も重要な部分は 二乗 です。これは、もし曲率の揺らぎを半分にすれば、図形は完全な球体に4倍近づくことを意味します。これは、この関係性が「シャープ（鋭い）」であると言われる理由です。なぜなら、これが可能な最高のレートであり、これよりも優れた関係性を得ることはできないからです。

なぜ「$C^1$」が重要なのか

この論文は、特に $C^1$ ドメイン を扱っています。日常的な言葉で言えば、これは図形が、至る所で明確な接平面を持つほど十分に滑らかであることを意味します（立方体のような鋭い角はありませんが、磨き上げられた大理石のように完璧に滑らかである必要もありません）。著者たちは、この比較的控えめな滑らかさの要件であっても、「石鹸の泡」のルールがこの完璧でシャープな精度で成立することを示しています。

まとめ

もし、次のような条件を満たす図形があれば：

1. 球体とほぼ同じ大きさである。
2. 余分な表面積がほとんどない（あまりシワシワしていない）。
3. 表面張力がいたるところでほぼ一定である。

その場合、この図形は極めて完全な球体に近いはずです。著者たちは単に「近い」と言ったのではありません。表面張力がより均一になるにつれて、近さが二次関数的に改善されることを示す精密な公式を提示しました。彼らは、奇妙な「触手」を切り落とし、形状を星型へと滑らかにし、「硬いトランポリン」の議論を用いて、デコボコが大きくなり得ないことを証明することで、この成果を達成したのです。