[論文レビュー] Biharmonic homogeneous submanifolds in compact symmetric spaces and compact Lie groups

Shinji Ohno, Takashi Sakai+1 more|arXiv (Cornell University)|Dec 4, 2016

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

ひとこと要約

この論文は、コンパクトなリー群および対称空間における可換ヘルマン作用の軌道および対称部分群の積の双調和性について、重複度を伴う対称三つ組を用いて、必要十分条件を確立する。可約でないコンパクトな対称空間におけるすべての適切な双調和部分多様体（特異軌道、共型次元2）およびコンパクト単純リー群における双調和超曲面（正規軌道、共型次元1）を分類し、複数の古典的および例外的リー群におけるこれらの部分多様体の明示的リストを提示する。

ABSTRACT

We give a necessary and sufficient condition for orbits of commutative Hermann actions and actions of the direct product of two symmetric subgroups on compact Lie groups to be biharmonic in terms of symmetric triad with multiplicities. By this criterion, we determine all the proper biharmonic submanifolds in irreducible symmetric spaces of compact type which are singular orbits of commutative Hermann actions of cohomogeneity two. Also, in compact simple Lie groups, we determine all the biharmonic hypersurfaces which are regular orbits of actions of the direct product of two symmetric subgroups which are associated to commutative Hermann actions of cohomogeneity one.

研究の動機と目的

• 対称三つ組と重複度を用いて、コンパクトな対称空間およびリー群における双調和軌道を特徴づけること。
• 可約でないコンパクト型対称空間における共型次元2の可換ヘルマン作用の特異軌道としてのすべての適切な双調和部分多様体を特定すること。
• コンパクト単純リー群における共型次元1の可換ヘルマン作用に関連する2つの対称部分群の積による作用の正規軌道としてのすべての双調和超曲面を分類すること。
• 特に非正曲率およびコンパクトな対称空間を含む、ユークリッド空間を超えた双調和部分多様体の理解を拡張すること。
• 双調和部分多様体が最小でない場合のケースを解消し、正曲率の設定において一般化された Chen の予想の反例を提供すること。

提案手法

• 著者たちは、コンパクトな対称空間およびリー群における軌道の第二基本形式を記述するために、重複度を伴う対称三つ組の理論を用いる。
• 第二基本形式と曲率テンソルを用いて表現されるビテンション場の消滅に基づく双調和性の基準を導出する。
• この手法は、G が単純で dim 𝔞 = 1 である可換コンパクト対称三つ組 (G, K₁, K₂) の分類に依存し、根系のデータと重複度 m(α), m(2α), n(α), n(2α) を用いる。
• 双調和条件は、重複度に関する多項式方程式に簡略化される：(m₁ + 6m₂ + 6n)² − 64(m₁ + m₂)n = 0。
• 著者たちは、この方程式をすべての既知のランク1のコンパクト対称三つ組に対して解析し、解が存在するケースを同定する。
• 彼らはこの基準を用いて、コンパクト単純リー群におけるすべての双調和超曲面およびコンパクト型対称空間における特異軌道を分類する。

実験結果

リサーチクエスチョン

• RQ1 可約でないコンパクト型対称空間における共型次元2の可換ヘルマン作用の軌道の中で、どのものが適切な双調和部分多様体であるか？
• RQ2 どのコンパクト単純リー群および (K₂ × K₁) の作用（対称部分群による）に対して、正規軌道が双調和的だが最小でないか？
• RQ3 非負曲率のコンパクト対称空間において、一般化された B.Y. Chen の予想は成り立つか？もし成り立たないならば、反例は何か？
• RQ4 共型次元1のヘルマン作用に関連する (K₂ × K₁)-作用の正規軌道として得られる、コンパクト単純リー群におけるすべての適切な双調和超曲面の完全なリストは何か？
• RQ5 重複度 (m₁, m₂, n) に対して、双調和条件 (m₁ + 6m₂ + 6n)² − 64(m₁ + m₂)n = 0 が非自明な解をもつのはどのような条件下か？

主な発見

• 可約でないコンパクト型対称空間における特異軌道としてのすべての適切な双調和部分多様体が分類され、SO(1+b+c)、SU(4)、Sp(2)、SO(2+2q)、E₆ における例が含まれる。
• コンパクト単純リー群において、共型次元1のヘルマン作用に関連する (K₂ × K₁)-作用の正規軌道としてのすべての双調和超曲面が分類され、SO(1+b+c)、SU(1+b+c)、Sp(1+b+c)、F₄ におけるケースが含まれる。
• (G, K₁, K₂) = (SO(6), U(3), SO(3)×SO(3)) および (SU(1+q), SO(1+q), S(U(1)×U(q)))（52 ≥ q > 1）に対して、すべての双調和軌道が調和的であることが示され、予想が成立しないのは特定のパrameter範囲に限られることがわかる。
• 本論文では、適切な双調和超曲面が存在する14種類の異なるタイプの対称三つ組を同定し、(E₆, SO(10)·U(1), F₄) や (F₄, Sp(3)·Sp(1), Spin(9)) が含まれる。
• (Sp(1+q), U(1+q), Sp(1)×Sp(q)) に対しては、適切な双調和超曲面が q = 2 または q > 45 の場合にのみ存在し、鋭い閾値が存在することが示された。
• dim 𝔞 = 1 で G が単純なコンパクト対称三つ組に対して、方程式 (m₁ + 6m₂ + 6n)² − 64(m₁ + m₂)n = 0 は解をもたないことが判明し、特定の対称設定における双調和部分多様体の存在が排除された。