[論文レビュー] Minimal metrics on nilmanifolds

Jorge Lauret|ArXiv.org|Nov 11, 2004

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

ひとこと要約

この論文は、固定されたスカラー曲率のもとでリッチテンソルノルムを最小化する左不変リーマン計量として定義される、ニルマンフォールド上の最小計量が等長変換およびスケーリングを除き一意に定まることを確立している。主な貢献は、このような計量が存在するのは、標準的アインシュタイン・ソルブマンフォールドのニルラジカルであるニルポテンツ・リー群に限られることの証明であり、シンプレクティック、複素構造、ハイパーカンプレックス構造を備えた既知の例の明示的構成と分類がなされている。

ABSTRACT

A left invariant metric on a nilpotent Lie group is called minimal, if it minimizes the norm of the Ricci tensor among all left invariant metrics with the same scalar curvature. Such metrics are unique up to isometry and scaling and the groups admitting a minimal metric are precisely the nilradicals of (standard) Einstein solvmanifolds. If $N$ is endowed with an invariant symplectic, complex or hypercomplex structure, then minimal compatible metrics are also unique up to isometry and scaling. The aim of this paper is to give more evidence of the existence of minimal metrics, by presenting several explicit examples. This also provides many continuous families of symplectic, complex and hypercomplex nilpotent Lie groups. A list of all known examples of Einstein solvmanifolds is also given.

研究の動機と目的

• 固定されたスカラー曲率のもとでリッチテンソルノルムを最小化する計量として定義される、ニルポテンツ・リー群上の最小計量の存在と一意性を確立すること。
• 最小計量をリッチソリトン計量、アインシュタイン・ソルブマンフォールドへの拡張、およびリー代数の微分作用素との同値性によって特徴付けること。
• シンプレクティック、複素構造、またはハイパーカンプレックス構造を備えたニルマンフォールドに対し、最小計量の概念を拡張し、それらと整合する最小計量の一意性（等長変換およびスケーリングを除き）を証明すること。
• 対称空間、クライフ・モジュール、および変形から生じる例を含め、最小計量を許容するニルポテンツ・リー群の既知の例の包括的リストを提供すること。
• 特にランク1の場合に、最小計量とアインシュタイン・ソルブマンフォールドの幾何学的性質との関係を明確にすること。

提案手法

• スカラー曲率が同じであるすべての左不変計量の中で、$||\operatorname{ric}_{\langle\cdot,\cdot\rangle}||$ を最小化する計量を、ニルポテンツ・リー群上の最小計量として定義する。
• 正規化リッチフロー下での最小計量とリッチソリトン計量の同値性を用い、等長的変形を保証する。
• 計量が最小であるための必要十分条件として、$\operatorname{Ric}_{\langle\cdot,\cdot\rangle} = cI + D$（$c \in \mathbb{R}$、$D \in \operatorname{Der}(\mathfrak{n})$）であることを用い、アインシュタイン・ソルブマンフォールド理論と結びつける。
• $\mathfrak{a}$ をアーベル、$\mathfrak{n}$ をニルラジカルとする計量可解拡張 $\mathfrak{s} = \mathfrak{a} \oplus \mathfrak{n}$ を構成し、$\mathfrak{s}$ がアインシュタインであることと $\mathfrak{n}$ が最小計量を許容することとが同値であることを示す。
• ニルポテンツ・リー代数の族 $\mathcal{N}$ 上でのモーメント写像と変分原理を用い、曲率汎関数の臨界点を同定する。
• 汎関数 $F([\mu]) = \operatorname{tr}(\operatorname{Ric}_\mu^2)/||\mu||^4$ を用い、アインシュタインに類似した振る舞いを検出するとともに、アインシュタイン・ソルブマンフォールドのニルラジカルを分類する。

実験結果

リサーチクエスチョン

• RQ1 どのニルポテンツ・リー群が、固定されたスカラー曲率のもとでリッチテンソルノルムを最小化する最小計量を許容するか？
• RQ2 ニルマンフォールド上の最小計量はアインシュタイン・ソルブマンフォールドとどのように関係するか？また、ニルポテンツ・リー代数が標準的アインシュタイン・ソルブマンフォールドのニルラジカルとして現れる条件は何か？
• RQ3 ニルマンフォールドに不変なシンプレクティック、複素構造、またはハイパーカンプレックス構造が与えられたとき、それらと整合する最小計量は存在するか？また、等長変換およびスケーリングを除き一意的か？
• RQ4 微分作用素やグレーディング（特にリー代数の $\mathbb{N}$-グレーディング）を用いて、最小計量の存在を代数的に特徴づけられるか？
• RQ5 最小計量を許容するニルポテンツ・リー群の既知の例の完全なリストは何か？それらはどのような構造的特徴を共有しているか？

主な発見

• 変分法およびリッチフローの議論により、ニルポテンツ・リー群上の最小計量は等長変換およびスケーリングを除き一意に定まることが示された。
• ニルポテンツ・リー群が最小計量を許容するのは、それが標準的アインシュタイン・ソルブマンフォールドのニルラジカルである場合に限られ、最小計量はアインシュタイン幾何学と結びついている。
• 不変なシンプレクティック、複素構造、またはハイパーカンプレックス構造を備えたニルマンフォールドに対しては、それらと整合する最小計量も存在し、等長変換およびスケーリングを除き一意である。
• 本論文は、既知の例の包括的リストを提供しており、イワサワ $N$-群、$H$-タイプ・リー群、放物型部分代数のニルラジカル、およびクライフ・モジュールや変形から得られる族を含む。
• 最小計量を許容する連続的族として、6段階のニルポテンツで7次元のリー代数が最小次元の例である。
• 中心が5次元である10次元の2段階のニルポテンツ・リー代数は、最小計量の連続的曲線を形成しており、このような構造の豊かさを示している。