[論文レビュー] Geometric Meanings of Curvatures in Finsler Geometry

Zhongmin Shen|ArXiv.org|Nov 18, 2000

Advanced Differential Geometry Research参考文献 12被引用数 9

ひとこと要約

本稿は、長さ構造、測地線、比較定理の観点から、Finsler幾何における曲率の計量的・幾何的解釈を提供する。主な曲率不変量であるCartanねじれ、平均Cartanねじれ、S曲率、Ricci曲率の幾何的意味を分析し、曲率条件の下での体積成長と直径の上限に関する比較結果を確立する。これは古典的なRiemann幾何の結果をFinsler空間へ拡張し、正のRicci曲率と制御されたS曲率をもつコンパクトなFinsler多様体が、小さな体積条件下で、有限な基本群と消えるGromov不変量を持つことを証明する。

ABSTRACT

In Finsler geometry, we use calculus to study the geometry of regular inner metric spaces. In this note I will briefly discuss various curvatures and their geometric meanings from the metric geometry point of view, without going into the forest of tensors.

研究の動機と目的

• Finsler幾何における曲率不変量（Cartanねじれ、平均Cartanねじれ、S曲率、Ricci曲率）の計量的・幾何的意義を明らかにすること。
• Riemann曲率とRicci曲率の曲率境界を用いて、古典的な比較定理（例：Cartan-Hadamard、Bonnet-Meyers）をFinsler空間へ拡張すること。
• Ricci曲率とS曲率の境界のもとで、Busemann-Hausdorff測度とcoarea公式を用いて、測度球と球面の体積比較結果を確立すること。
• 可逆なFinsler多様体がコンパクトで、体積と曲率制約のもとでGromov不変量が消えることを証明し、Riemann幾何の結果を一般化すること。

提案手法

• 多様体M上のFinsler計量Fが誘導する長さ構造を、Lipschitz曲線の拡大率によって定義する。
• 主要な曲率不変量を定義する：F²の二階微分を用いたCartanねじれC_y、計量g_yに関するC_yのトレースを用いた平均CartanねじれI_y。
• S曲率Sを、歪みτ(y)の発散として定義し、体積形式の非Euclid的性質を測る。
• coarea公式を用いて、球S(x,r)の測度と球B(x,r)の体積を関係づけ、Busemann-Hausdorff測度μ_Fを用いる。
• Ricci曲率が(n−1)λF²以上で、S曲率が(n−1)δF以上であると仮定することで、体積比の推移的推定を導出する。
• Morse理論とGromovの議論を応用し、Gromov不変量‖M‖を体積と曲率パラメータの関数として評価し、曲率と体積の積が十分に小さい場合にそれが消えることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Cartanねじれと平均Cartanねじれは、Finsler計量の非Euclid的性質をどのように反映しているか？
• RQ2 Finsler空間における非正のRiemann曲率がもつ幾何的意味は何か？
• RQ3 Ricci曲率とS曲率は、Finsler多様体の体積成長と直径をどのように制御するか？
• RQ4 どのような曲率的・体積的条件下で、Finsler多様体のGromov不変量が消えるか？
• RQ5 Finsler幾何における比較定理は、Bonnet-MeyersやCartan-Hadamardといった古典的Riemann幾何の結果をどのように一般化するか？

主な発見

• 正の完全なFinsler空間でRiemann曲率が非正であれば、指数写像は全射被覆写像であり、MはK(π,1)空間である。
• Ricci曲率が∑κ_i(y) ≥ (n−1)λ > 0を満たすならば、Mおよびその普遍被覆の直径はπ/√λで有界であり、基本群は有限である。
• ピンチング条件1/4 < (1/k)∑_{i=1}^k κ_i(y)およびκ_{n−1}(y) ≤ 1が成り立つならば、i = 1,…,n−kについてホモトピー群π_i(M)は消える。
• Ricci曲率とS曲率が(49)と同様に境界づけられた可逆なFinsler計量では、体積比μ_F(B(x,r))/V_{λ,δ}(r)およびν_F(S(x,r))/V'_{λ,δ}(r)はrに関して非増加である。
• Gromov不変量は‖M‖ ≤ n!(n−1)^n(√|λ| + |δ|)^n μ_F(M)を満たし、(|λ|^{1/2} + |δ|)^n μ_F(M) ≤ ε(n)を満たすあるε(n) > 0が存在する場合、消える。
• この結果は、GromovのRiemann幾何における体積と曲率が小さい場合のGromov不変量の消滅定理をFinsler設定へ一般化する。