[論文レビュー] An Introduction to Harmonic Manifolds and the Lichnerowicz Conjecture

Peter Kreyssig|arXiv (Cornell University)|Jul 3, 2010

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

ひとこと要約

本稿は調和多様体の自己完備な紹介を提供し、コンパクトで単連結な多様体に対するLichnerowicz予想のZ. I. Szabóによる証明を確立している。その結果、このような多様体は平坦またはランク1の局所的に対称的であることが示された。この研究はリーマン幾何学、ラプラス方程式の性質、常微分方程式（ODE）の技法に依拠し、グローバルな調和性が強い構造的制約をもたらすことを示しており、このクラスの多様体における長年の予想を解決している。

ABSTRACT

The title is self-explanatory. We aim to give an easy to read and self-contained introduction to the field of harmonic manifolds. Only basic knowledge of Riemannian geometry is required. After we gave the definition of harmonicity and derived some properties, we concentrate on Z. I. Szabó's proof of Lichnerowicz's conjecture in the class of compact simply connected manifolds.

研究の動機と目的

• 基本的なリーマン幾何学のみを用いて、調和多様体について自己完備的かつアクセス可能な紹介を提供すること。
• 完備性および位相的条件の下で、無限小的、局所的、グローバル的、強い調和性の概念が同値であることを明確にすること。
• Z. I. Szabóによる、コンパクトで単連結な多様体のクラスにおけるLichnerowicz予想の証明を提示し、解説すること。
• この予想が調和的性質と局所的対称性、定曲率を結ぶ上で果たす重要性を強調すること。
• 近年の進展、特に次元≥7における非対称的グローバル調和多様体、および次元6における未解決の問題について議論すること。

提案手法

• 非定数の径方向に対称な調和関数の存在を用いて調和性を定義し、それらを小さな測地的球の平均曲率に結びつける。
• Willmoreによって確立されたように、調和性が平均値の定理の成立と同値であることを応用する。
• Kazdan-DeTurck定理を用いて、完備多様体において局所的・グローバル的・無限小的調和性が等価であることを示す。
• ODE技法を用いて、調和多様体の密度関数が定数係数の線形ODEを満たすことを示し、それにより平行移動の下での軌道空間が有限次元であることを導く。
• フーリエ解析と三角多項式の構造を用いて、周期的解が整数周波数を持つ有限個のコサイン和に限られることを導く。
• Gauss-Lucas定理を応用し、ODEの特性多項式の根を分析することで、それらが曲率制約と対称性にどのように関連するかを解明する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、調和多様体は必然的に局所的に対称的または平坦であるのか？
• RQ2 完備なリーマン多様体において、さまざまな調和性の概念（局所的、グローバル的、強い）はどのように関係しているか？
• RQ3 グローバルな調和性は、密度関数および曲率テンソルにどのような構造的制約を課えるか？
• RQ4 Lichnerowicz予想は、コンパクトで単連結な多様体を超えて、特に次元6においても拡張可能か？
• RQ5 すべての次元≥7において、非対称的グローバル調和多様体が存在するか？どのような条件下で対称性が強制されるか？

主な発見

• Z. I. Szabóは、すべてのコンパクトで単連結なグローバル調和多様体が平坦またはランク1の局所的に対称的であることを証明した。これにより、このクラスにおけるLichnerowicz予想が正当化された。
• 調和多様体の密度関数は定数係数の線形ODEを満たし、それによりその平行移動が有限次元空間を張ることを示唆する。
• 有限次元の平行移動空間を持つ滑らかで$2\pi$-周期的かつ偶関数の関数は、整数周波数を持つ有限個のコサイン和に限られる。
• 5次元の局所的に調和的な多様体の曲率テンソルは平行であり、Ledgerの公式により定曲率を示す。
• 次元≥7において、局所的に対称的でないグローバル調和多様体が存在する。これらはヘイセンバーグ型群の1次元拡張として構成されている。
• 同次的ケースにおいて、単連結なグローバル調和空間は、平坦、ランク1の対称空間、または非対称なDamek-Ricci空間に等長である。