[論文レビュー] Minimal surfaces in pseudohermitian geometry

Jih-Hsin Cheng, Jenn-Fang Hwang+2 more|ArXiv.org|Jan 14, 2004

Geometric Analysis and Curvature Flows参考文献 16被引用数 41

ひとこと要約

本稿は、3次元の擬エリューディアン多様体におけるp平均曲率とp最小表面の概念を導入し、部分リーマン幾何への最小表面理論の一般化を試みる。ヘイゼンベルク群におけるp最小表面がリーマンの直線によって生成されるルールド表面であることを示し、全解についてのベルンシュタイン型定理を証明するとともに、標準的3次元球面や一般の球面的CR多様体において、閉じて、 genus が1より大きいp最小表面が存在しないことを示している。

ABSTRACT

We consider surfaces immersed in three-dimensional pseudohermitian manifolds. We define the notion of (p-)mean curvature and of the associated (p-)minimal surfaces, extending some concepts previously given for the (flat) Heisenberg group. We interpret the p-mean curvature not only as the tangential sublaplacian of a defining function, but also as the curvature of a characteristic curve, and as a quantity in terms of calibration geometry. As a differential equation, the p-minimal surface equation is degenerate (hyperbolic and elliptic). To analyze the singular set, we formulate some {\em extension} theorems, which describe how the characteristic curves meet the singular set. This allows us to classify the entire solutions to this equation and to solve a Bernstein-type problem (for graphs over the $xy$-plane) in the Heisenberg group $H_1$. In $H_{1}$, identified with the Euclidean space $R^{3}$, the p-minimal surfaces are classical ruled surfaces with the rulings generated by Legendrian lines. We also prove a uniqueness theorem for the Dirichlet problem under a condition on the size of the singular set in two dimensions, and generalize to higher dimensions without any size control condition. We also show that there are no closed, connected, $C^{2}$ smoothly immersed constant p-mean curvature or p-minimal surfaces of genus greater than one in the standard $S^{3}.$ This fact continues to hold when $S^{3}$ is replaced by a general spherical pseudohermitian 3-manifold.

研究の動機と目的

• 3次元の擬エリューディアン多様体におけるp平均曲率とp最小表面を定義し、ヘイゼンベルク群に由来する概念を拡張する。
• 部分ラプラシアン、特徴的曲線、キャリブレーション幾何を用いてp平均曲率を解釈することで、幾何的・解析的洞察をもたらす。
• p最小表面の特異点集合を解析し、特徴的曲線の拡張定理を確立する。
• ヘイゼンベルク群 H₁ における全p最小グラフについてのベルンシュタイン型定理を証明する。
• 標準的3次元球面 S³ や一般の球面的CR多様体において、閉じて、連結で、C² 級のp最小表面（genus >1）が存在しないことを確立する。

提案手法

• 固有の擬エリューディアン接続を用いて、リーマンの法線ベクトル場の負の部分発散としてp平均曲率Hを定義する。
• p最小表面方程式を退化する完全非線形楕円型方程式として表現する：$\mathrm{div}_b(\nabla_b\psi / |\nabla_b\psi|_G) = 0$。これは異なる領域でそれぞれ双曲型および楕円型である。
• Hの有界性または成長条件のもとで、特異点集合が孤立点および滑らかな曲線からなることを特徴づける。
• p最小表面方程式の特徴的曲線が直線であり、uがそれらに沿って線形であることを示す。
• 比較原理および最大原理の代替手法を用いて、ディリクレ問題における一意性を証明する。
• 2次変分公式を適用して、p最小表面の面積最小化性を確立する。

実験結果

リサーチクエスチョン

• RQ1 擬エリューディアン多様体における曲面の正しい平均曲率の概念は何か？ そして、リーマンの場合にどのように一般化されるか？
• RQ2 p最小表面方程式の特徴的曲線はどのように振る舞い、解の構造において何の役割を果たすか？
• RQ3 ヘイゼンベルク群 H₁ における全p最小グラフについて、ベルンシュタイン型定理を確立できるか？
• RQ4 p最小表面のディリクレ問題が一意解を持つための条件は何か？
• RQ5 標準的3次元球面 S³ や球面的CR多様体において、閉じて、連結で、C² 級のp最小表面（genus >1）が存在するか？

主な発見

• ヘイゼンベルク群 H₁ において、p最小表面は古典的なルールド表面であり、そのルーリングはリーマンの直線によって生成される。
• xy平面へのグラフとしてのp最小表面方程式は、退化する双曲型-楕円型PDEに簡略化される：$(u_y + x)^2 u_{xx} - 2(u_y + x)(u_x - y)u_{xy} + (u_x - y)^2 u_{yy} = 0$。
• 有界なp平均曲率を持つp最小表面の特異点集合は、孤立点および滑らかな曲線のみからなる。
• ベルンシュタイン型定理が成立する：H₁ における全p最小グラフはルールド表面であり、やや緩い成長条件のもとでは、特徴的方向に沿ってアフィン関数である。
• 標準的3次元球面 S³ には、閉じて、連結で、C² 級のp最小表面（genus >1）は存在しない。
• この非存在性の結果は、サイズや曲率制御の有無に関係なく、すべての球面的擬エリューディアン3次元多様体に拡張可能である。