[論文レビュー] The Prescribed Ricci Curvature Problem on Homogeneous Spaces with Intermediate Subgroups

M. D. Gould, Artem Pulemotov|arXiv (Cornell University)|Oct 9, 2017

Geometric Analysis and Curvature Flows被引用数 10

ひとこと要約

本稿は、コンパクトなリー群 G における最大部分群でない H < G の場合に、与えられた G-不変対称 (0,2)-テンソル T とある c > 0 に対して、同次空間 M = G/H 上に G-不変リーマン計量 g が存在するための十分条件を確立する。この条件は、T の固有値に関する明示的な不等式系として表現され、固定表現が2つの非同型な既約成分に分解される場合には必要十分条件となる。この結果は、従来の「指定されたリッチ曲率問題」の研究を最大部分群のケースを超えて拡張し、一般旗多様体上でのリッチ反復の新たな存在定理を可能にする。

ABSTRACT

Consider a compact Lie group $G$ and a closed subgroup $H0$ such that the Ricci curvature of $g$ equals $cT$ for a given $T\in\mathcal M$. This condition is also necessary if the isotropy representation of $M$ splits into two inequivalent irreducible summands. Immediate and potential applications include new existence results for Ricci iterations.

研究の動機と目的

• コンパクトリー群 G における最大部分群 H < G でない場合に、指定されたリッチ曲率問題を拡張すること。
• H が最大でない場合に、Lie代数的データを用いて Ric(g) = cT (c > 0) の可解性基準を確立すること。
• 従来の結果が限定的であった一般旗多様体に適用可能な枠組みを提供すること。
• 主存在定理を用いて、同次空間上でのリッチ反復の新たな存在結果を導出すること。
• 固定表現が2つの非同型な既約成分に分解される場合に、そのような計量の存在の必要十分条件を特定すること。

提案手法

• 著者らは、h と g の間の中間代数を用いて、M = G/H の接空間の G-不変部分空間への分解を導入する。
• G-不変計量の空間上で関数を定義し、変分法を用いて大域的最大値を求める。これにより、Ric(g) = cT の解の存在が保証される。
• 主な推定は、Lie代数のトレース関数および構造定数を用いて導出され、特に負定値双線形形式 B とカシミール作用素が関与する。
• この方法は、同次計量のリッチ曲率公式を分析し、固定表現の既約成分における T の固有値の言語で表現することに依存する。
• 十分条件は、T の固有値と固定表現の部分空間の次元を含む不等式系として定式化される。
• DeTurck と Pulemotov の先行研究を一般化し、中間代数の精密な解析を通じて、非最大固定部分群への拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 H が G の最大部分群でない場合に、与えられた G-不変対称 (0,2)-テンソル T とある c > 0 に対して、M = G/H 上に G-不変リーマン計量 g が存在する条件は何か？
• RQ2 一般旗多様体上では、固定部分群の最大性を仮定しない基準を用いて、指定されたリッチ曲率問題を解くことができるか？
• RQ3 中間部分群が存在する状況下で、そのような計量 g と定数 c > 0 の存在を保証する正確な代数的不等式は何か？
• RQ4 固定表現が2つの非同型な既約成分に分解される場合、提案された十分条件は必要でもあるか？
• RQ5 この新しい基準を用いて、同次空間上でのリッチ反復の存在を確立できるか？

主な発見

• Ric(g) = cT (c > 0) を満たす G-不変計量 g が存在するための十分条件は、T の固有値に関する明示的な不等式系として与えられる。
• 固定表現が2つの非同型な既約成分に分解される場合には、この条件は必要十分条件となる。
• 一般旗多様体 G₂/U(2) に対して、z₂/(z₁ + z₃) > 1/12 かつ z₃/(2z₁ + z₂) > 3/10 を満たす場合、そのような計量の存在が保証される。ここで z₁, z₂, z₃ は T の固有値である。
• この方法により、補題 2.36 を用いて、Ric(gᵢ) = gᵢ₋₁ を満たす列 (gᵢ) の帰納的構成を可能にする、リッチ反復に関する新たな存在結果が得られる。
• 証明の鍵となる推定は、トレース関数および Lie 代数の構造定数に依存し、特に負定値双線形形式 B とカシミール作用素が関与する。
• この枠組みは、すべての一般旗多様体を含む広範な同次空間のクラスに適用可能であり、最大固定部分群でない場合の指定されたリッチ曲率問題に対する体系的かつ包括的なアプローチを提供する。