[論文レビュー] The minimal entropy problem for 3-manifolds with zero simplicial volume

James W. Anderson, Gabriel P. Paternain|ArXiv.org|Nov 21, 2000

Mathematical Dynamics and Fractals参考文献 25被引用数 7

ひとこと要約

この論文は、単体体積がゼロである閉かつ向きつけ可能な3次元多様体に対する最小エントロピー問題を解き、そのような多様体が、S³、S²×R、E³、またはNilのいずれかの幾何構造を備える場合に限り、滑らかなゼロトポロジカルエントロピーを持つ計量をもつことを証明する。この同値性は群の成長性質と幾何化理論を用いて確立され、ゼロエントロピー計量が存在するのは、基本群が指数的成長を示さず、かつこれらの4つの空間のいずれかに幾何的にモデル化されている場合に限ることを示している。

ABSTRACT

We consider the minimal entropy problem, namely the question of whether there exists a smooth metric of minimal entropy, for certain classes of 3-manifolds. Among other resulsts, we show that if M is a closed, orientable, geometrizable 3-manifold with zero simplicial volume, then the minimal entropy can be solved for M if and only if M admits a metric modelled on 4 of the 8 standard 3-dimensional geometries, namely $S^3$, $S^2 imes R$, $E^3$, or Nil.

研究の動機と目的

• 単体体積がゼロである閉かつ向きつけ可能で、幾何化可能な3次元多様体のうち、最小エントロピー問題が解けるものについて分類すること。
• 滑らかなゼロトポロジカルエントロピー計量が存在するための必要十分条件を特定すること。
• 基本群の成長と単体体積を介して、最小エントロピー問題の可解性を多様体の幾何構造と結びつけること。
• 単体体積と幾何的分解の役割を組み込んだ、3次元多様体におけるエントロピー最小化に関する先行研究の拡張。

提案手法

• 単体体積をホモトピー不変量として用い、トポロジカルな複雑さとエントロピーとの関係を特徴づける。
• トーフォンの幾何化定理を応用して、問題を特定の幾何構造を持つ多様体に還元する。
• 基本群が指数的成長を示さない多様体は、ゼロトポロジカルエントロピーを持つ計量をもつという事実を活用する。
• Besson-Courtois-Gallotの剛性定理を用いて、双曲的およびその他の指数的成長を示す構造を除外する。
• 基本群の自由積分解の分析により、P³#P³またはS²×S¹を除く非自明な和成分を含む連結和を除外する。
• S³、S²×R、E³、Nilの各幾何構造が、明示的な幾何的構成により滑らかなゼロトポロジカルエントロピー計量をもつことを確認する。

実験結果

リサーチクエスチョン

• RQ1 単体体積がゼロである閉かつ向きつけ可能な3次元多様体のうち、最小エントロピー問題が解けるのはどれか？
• RQ2 基本群が指数的成長を示し、単体体積がゼロである場合、どのような幾何構造が3次元多様体上で実現可能か？
• RQ3 単体体積の消えることは、3次元多様体上の可能な幾何構造にどのような制約を課えるか？
• RQ4 どのような条件下で3次元多様体がゼロトポロジカルエントロピーを持つ滑らかな計量をもつのか？
• RQ5 すべての単体体積がゼロで幾何化可能な3次元多様体に対して最小エントロピー問題が解けるか。もし可能ならば、どの多様体か？

主な発見

• 単体体積がゼロで、基本群にZ⊕Zの部分群を含む閉かつ向きつけ可能で非分解的（irreducible）な3次元多様体は、そのトポロジカルエントロピーがゼロである計量をもつための必要十分条件が、E³またはNilに幾何的にモデル化されていることである。
• 一般の閉かつ向きつけ可能で幾何化可能な3次元多様体に対しては、最小エントロピー問題が解けるための必要十分条件は、多様体がS³、S²×R、E³、またはNilに幾何的にモデル化されていることである。
• 滑らかなゼロトポロジカルエントロピー計量が存在することは、多様体の単体体積がゼロであることを意味する。
• 逆に、3次元多様体の単体体積がゼロであり、最小エントロピー問題が解けるならば、その基本群は指数的成長を示さず、4つの幾何クラスに制限される。
• 最小エントロピーがゼロであるのは、S³、S²×R、E³、またはNilのいずれかに幾何的にモデル化されている場合に限る。これらはすべて平坦または非正の曲率を持つ幾何構造である。
• 証明により、双曲的またはSol幾何を持つ多様体は、指数的成長と正の単体体積のため、条件を満たせないことが示された。