リーマン幾何学では、体積エントロピーのような無限遠での体積増大率が、局所的な曲率構造をどこまで制約できるのかという問題が重要なテーマになっています。特に Ricci 曲率の下限条件のもとで最大エントロピーを達成する場合、単なる体積比較の等号では説明できない強い剛性現象が現れます。
この記事では、閉リーマン多様体 (M,g) の普遍被覆において体積エントロピー h(g)=n-1 が成立した場合、なぜ普遍被覆が実双曲空間 H^n になるのか、その論理の流れを解説します。
体積エントロピーと Bishop–Gromov 比較の関係
n次元閉リーマン多様体 (M,g) が Ric_g≧-(n-1)g を満たすとき、Cartan–Hadamard 型の比較や Bishop–Gromov の体積比較定理によって、普遍被覆 (M~,g~) の球体積は双曲空間の球体積より速く増大することはできません。
双曲空間 H^n の体積増大率は指数的であり、半径 R の球体積はおおよそ e^{(n-1)R} のオーダーになります。そのため体積エントロピーは h(g)≦n-1 となります。
ここで h(g)=n-1 という等号が成立すると、無限遠で見た体積成長が双曲空間と完全に同じ速度になることを意味します。しかし、この段階では有限半径ごとの球体積が一致するとは限らず、通常の Bishop–Gromov 比較定理の等号条件を直接適用することはできません。
なぜ漸近的な等号が局所的剛性につながるのか
体積エントロピーの剛性は、単純な体積比較ではなく、Ricci曲率条件と閉多様体という大域的条件を組み合わせることで得られます。この代表的な結果が Besson–Courtois–Gallot によるエントロピー剛性定理です。
Besson–Courtois–Gallot の定理では、Ricci曲率が下から抑えられた閉多様体に対して、エントロピーと体積の積に関する不等式が成立し、その等号成立の場合には局所対称空間、特に負曲率の場合には双曲空間型になることが示されています。
つまり、h(g)=n-1 という条件は単に「球が大きくなる速さが同じ」という意味ではなく、測地線の広がり方、境界遠方での幾何構造、平均曲率などの情報がすべて比較モデルと一致していることを強制します。
Busemann関数とhorosphereが果たす役割
双曲空間では、無限遠方向を指定すると Busemann 関数が定義できます。この関数のレベル集合である horosphere は、双曲空間では常に一定の平均曲率を持っています。
一般の負曲率多様体でも Busemann 関数を調べることで、無限遠に向かう測地線束の発散速度を解析できます。Ricci曲率下限がある場合、Busemann関数のラプラシアンには比較不等式が成立します。
体積エントロピーが最大値を取る場合、このラプラシアン比較の平均的な不等号が等号化します。その結果、horosphere の平均曲率が双曲空間の場合と一致し、さらに Hessian の情報まで制約されることになります。
Riccati方程式から断面曲率 -1 へ至る流れ
測地線に沿ったJacobi場の挙動は Riccati 方程式によって記述されます。具体的には、形状作用素 A は次のような方程式を満たします。
$$A’+A^2+R=0$$
ここで R は曲率作用素を表します。双曲空間では A は恒等写像に対応し、断面曲率は常に -1 になります。
エントロピー最大の場合、horosphere の平均曲率が最大値に達するため、Riccati方程式に含まれる各項の不等式もすべて等号化します。その結果、形状作用素が双曲空間と同じになり、最終的に断面曲率 K≡-1 が導かれます。
したがって、大域的な体積増大率の等号が、測地線の局所的な広がり方を固定し、曲率テンソル全体を決定するという流れになります。
閉多様体という仮定が重要な理由
閉多様体であることは、この剛性結果において非常に重要です。コンパクト性によって測地線流や体積分布を平均化でき、エントロピーという大域量を幾何情報へ変換するための条件が整います。
特に Besson–Courtois–Gallot の議論では、閉多様体上の自然な測度や調和写像の理論を利用して、エントロピーの不等式を構築しています。
一方、完備非コンパクト多様体では同じ結論は一般には成立しません。無限遠部分に特殊な形状を持たせることで、体積増大率を保ちながら局所的には双曲空間でない例を作ることが可能です。
非コンパクトの場合に必要となる追加条件
非コンパクト多様体で剛性を期待する場合には、有限体積性や格子群による余コンパクト作用など、無限遠の幾何を制御する条件が必要になります。
例えば有限体積双曲多様体の普遍被覆は双曲空間ですが、単なる Ricci 曲率下限と最大エントロピーだけでは、無限遠の部分で幾何を変形できる余地があります。
またスペクトル条件、Cheeger定数、測地線流のエルゴード性などを追加することで、剛性に近い結果を得られる場合があります。
体積エントロピーという大域量が局所曲率を決める核心
体積エントロピーは一見すると、単なる遠方での体積増加速度という粗い情報に見えます。しかし Ricci曲率下限によって可能な幾何が制限されている状況では、最大値を取ることは「すべての比較不等式が限界まで飽和している」ことを意味します。
その飽和状態は、球体積だけではなく、測地線の発散、Busemann関数、horosphereの平均曲率、Riccati方程式など複数の幾何量の一致として現れます。
その結果、局所的には断面曲率が -1 に固定され、普遍被覆は実双曲空間 H^n と等長になります。つまり、エントロピー剛性とは「無限遠での最大成長」が「完全な局所対称性」を強制する現象と言えます。
まとめ
Ricci_g≧-(n-1)g を満たす閉リーマン多様体で体積エントロピー h(g)=n-1 が成立しても、Bishop–Gromov比較の等号をそのまま使うことはできません。
剛性の本質は、Besson–Courtois–Gallot 型のエントロピー剛性定理にあり、エントロピー最大という大域条件が測地線流やBusemann関数の性質を通じて局所幾何の等号条件へ変換される点にあります。
そして閉性による大域的制御のもとで、最終的に Hessian 比較や Riccati 方程式の等号から断面曲率 K≡-1 が導かれ、普遍被覆が双曲空間になるという強い剛性が得られます。
コメント