[論文レビュー] The Flat Plane and a Constructive Proof of Minding's Theorem

Vincent E. Coll, Lee Whitt|arXiv (Cornell University)|Jan 1, 2019

Advanced Numerical Analysis Techniques被引用数 1

ひとこと要約

この論文は、調和関数および複素解析関数を用いて、零曲率の曲面間の局所等長写像を明示的に示すことで、平らな場合のミンディングの定理の初めての構成的証明を提示する。主な貢献は、微分幾何学の基礎的結果であるこの定理に対して、存在的でない、アルゴリズム的なアプローチを提供することにある。

ABSTRACT

Minding's most celebrated result is his namesake theorem of 1839 which established that all surfaces having the same constant curvature must be locally isometric. Today, Minding's theorem is a staple in differential geometry textbooks. But, to the best of our knowledge, all published proofs of it, inclusive of Minding's original argument are existential in nature. In this note, we give a constructive proof of Minding's theorem in the flat case. The proof requires only some basic facts about harmonic functions and complex analytic functions.

研究の動機と目的

• 長年の構成的証明の欠如が指摘されている、平らな場合のミンディングの定理に対する解決策を提示すること。
• 定数ゼロ曲率の曲面間の局所等長写像を、存在的でない明示的な構成法により提供すること。
• 基本的な調和関数および複素解析の道具が、構成的証明に十分であることを示すこと。
• 微分幾何学の古典的結果に対する、新たなかつアクセスしやすいアプローチを提供すること。

提案手法

• 単連結領域における調和関数の性質を用いて、局所等長写像を構成する。
• 特に局所正則座標の存在を応用する複素解析的技法を適用し、平らな曲面をパラメトライズする。
• 調和共役を用いたコンフォーマルパラメトライゼーションを構築し、等長性を保証する。
• 構築されたパラメトライゼーションの下で第一基本形式がユークリッド計量に簡略化されることを示して、局所等長性を確立する。
• 平らな曲面が局所等角座標をもつことを利用し、計量構造を単純化する。
• 単連結リーマン面のユニフォーム化定理を用いて、このような座標の存在を正当化する。

実験結果

リサーチクエスチョン

• RQ1 平らな曲面におけるミンディングの定理を、存在的ではなく構成的に証明することは可能か？
• RQ2 どのような解析的道具が、平らな曲面間の明示的等長写像を構成するために十分か？
• RQ3 調和関数および複素解析関数をどのように用いて等長写像を実現できるか？
• RQ4 平らな場合のミンディングの定理の証明において、非構成的（存在的）な議論を回避することは可能か？

主な発見

• 調和関数および複素解析関数のみを用いて、平らな曲面におけるミンディングの定理の構成的証明が達成された。
• 証明は、調和共役を用いたコンフォーマルパラメトライゼーションにより、局所等長写像を明示的に構成する。
• 局所座標から直接等長写像を構築することで、存在的議論を回避した。
• 平らな場合が、等角パラメトライゼーションの標準的形をもつことが示され、これが等長写像を実現する。
• 構成法により、平らな曲面が明示的な関数に基づく写像によって局所的にユークリッド平面と等長であることが示された。