The Primitive and Diamond surfaces locally minimize the variance of Gauss curvature

技術要約：「プリミティブ面およびダイヤモンド面はガウス曲率の分散を局所的に最小化する」

問題設定
本論文は、種数3の三周期極小曲面（TPMSg3s）のモジュライ空間内におけるガウス曲率の分散（$\sigma(K)$）の最小化について扱っている。シュワルツのプリミティブ（P）面、ダイヤモンド（D）面、およびシェーンのジャイロイド（G）面が、すべてのTPMSg3sの中で最小の分散を持つという予想は既知であるが、この性質はこれまで厳密には証明されていなかった。著者は、P面およびD面が、局所的な変形の下でこの分散の局所的最小値であることを証明することに焦点を当てている。

手法
著者は、幾何学的な問題を、球面（$S^2$）上の点配置に関する解析的な問題へと再定式化している。

1. ワイエルシュトラスのパラメータ表示： TPMSg3sは、球面の分岐二重被覆によって定義され、そこにはガウス曲率がゼロとなる平坦な点に対応する8つの分岐点が存在する。ガウス曲率の分散は、これら8つの点の位置に依存する関数として表される。
2. エネルギー汎関数： 分散は、球面上でのグリーン関数の指数を含む2つの積分の積に比例することが示される。具体的には、エネルギー汎関数 $J_8$ は次のように定義される：
   $$J_8 = \int_{S^2} e^u dA \times \int_{S^2} e^{-u} dA$$
   ここで、$u$ は8つの点の配置に関連するレロング・ポアンカレ方程式から導かれる。
3. ヘッセ行列の解析： 本論文では、このエネルギー汎関数の臨界点を解析している。立方体配置（8つの点が立方体の頂点を形成する場合）は、その対称性（$O_h$ 不変性）により、臨界点として特定される。局所的な最小性を決定するために、著者はこの立方体配置におけるエネルギー汎関数のヘッセ行列を計算している。
4. 表現論： 13次元の変形空間（全体回転を除いたもの）を、立方体の対称群（$O_h$）の既約表現へと分解している。ヘッセ行列は、各既約部分空間（$T_{1u}, E_g, E_u, T_{2g}, T_{2u}$）に対して解析される。

主要な貢献と結果

• P面およびD面の局所的最小性： 主定理は、シュワルツのプリミティブ面およびダイヤモンド面がガウス曲率の分散の局所的最小値であることを確立している。これは、ヘッセ行列が**対蹠的変形（antipodal deformations）**の部分空間に制限されたときに正定値であることを示すことで証明される。
• ミークス・ファミリーとの関連： 著者は、P面とD面が、対蹠的な分岐点によって特徴付けられる、5つのパラメータを持つ埋め込み型TPMSg3sの族である「ミークス・ファミリー」に属していることを指摘している。立方体配置におけるこのファミリーの接空間は、既約表現の直和 $E_g \oplus T_{2g}$ に対応する。
• ヘッセ行列の定符号性： 解析の結果、ヘッセ行列は $E_u$ を除くすべての既約表現において正定値であることが明らかになった。
  • ミークス・ファミリー（P面とD面を含む）は部分空間 $E_g \oplus T_{2g}$ に対応しており、ヘッセ行列はこの部分空間上で正定値であるため、立方体配置はこれらの面に対して厳密な局所的最小値となる。
• ジャイロイド（G）面： ジャイロイドのステータスは未解決のままである。ジャイロイドはミークス・ファミリーには属しておらず、その局所的な変形は完全には理解されていない。数値的な証拠は、既知の正方晶および菱面体晶の変形（$E_u \oplus E_g$ および $E_u \oplus T_{2g}$ に属する）に沿って、それが局所的最小値であることを示唆している。しかし、ヘッセ行列に負の固有空間（$E_u$）が存在するため、著者は、ジャイロイドが現在未知である他の変形方向において局所的最小値ではない可能性を理論的に排除できない。

意義と主張
本論文は、プリミティブ面およびダイヤモンド面がガウス曲率の分散の局所的最小値であることを示す最初の厳密な証明を提供したと主張している。このアプローチは、ガウス曲率の分散という概念を、球面上における$n$個の点の配置として定義される一般的なエネルギー関数へと拡張し、これを離散幾何学の問題として捉えている。

著者は、ジャイロイドに関する結果については、数値的な証拠は有望であるものの、負の固有空間の存在が決定的な結論を妨げていることから、証明されていないことを明示している。本研究は、P面およびD面の解析を対蹠的部分空間に限定するために、Koiso–Picione–Shodaの局所剛性定理に依拠している。本論文は、すべてのTPMSg3sに対する一般的な予想を解決することを目的としているのではなく、それぞれの変形クラス内におけるP面およびD面の特定のケースにおける局所的最小性を確立するものである。