[论文解读] Entropies of compact strictly convex projective manifolds

Mickaël Crampon|ArXiv.org|Apr 16, 2009

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

一句话总结

该论文证明了紧致严格凸射影流形（维度为 $n$）上的测地流的拓扑熵至多为 $n-1$，当且仅当希尔伯特度量为黎曼度量时取等——即结构为双曲的。该结果基于Anosov系统理论与Foulon对二阶微分方程的几何方法推导得出，通过熵界区分了非黎曼度量的严格凸射影结构。

ABSTRACT

Let M be a compact manifold of dimension n with a strictly convex projective structure. We consider the geodesic flow of the Hilbert metric on it, which is known to be Anosov. We prove that its topological entropy is less than n-1, with equality if and only if the structure is Riemannian, that is hyperbolic. As a corollary, we get that the volume entropy of a divisible strictly convex set is less than n-1, with equality if and only if it is an ellipsoid.

研究动机与目标

• 确定紧致严格凸射影流形上测地流的拓扑熵的精确上界。
• 刻画该熵在何时达到最大值 $n-1$ 的几何条件。
• 通过熵建立双曲（黎曼）与非双曲（非黎曼）严格凸射影结构之间的动力学区分。
• 将Manning的体积熵等式推广至希尔伯特度量设定，建立拓扑熵与体积熵之间的联系。

提出的方法

• 利用Anosov系统理论分析希尔伯特度量上的测地流，借助其已知的Anosov性质与拓扑混合性。
• 应用Foulon的二阶微分方程几何方法，控制Jacobi场的增长并推导熵界。
• 应用Ruelle熵公式，将不稳定叶状结构的度量熵与拓扑熵关联。
• 利用边界 $\partial\Omega$ 的 $\beta$-凸性（定义为 $d_{\mathbb{R}^n}(p', T_p\partial\Omega) \geq C|pp'|^\beta$）估计李雅普诺夫指数，并推导熵的下界。
• 建立希尔伯特度量下 $h_{\text{top}} = h_{\text{vol}}(d_\Omega)$ 的等式，将Manning的结果推广至正则性受限的芬斯勒度量。
• 应用Hölder正则性 $\alpha_\Omega$ 与 $\beta$-凸性之间的反关系 $\frac{1}{\alpha_\Omega} + \frac{1}{\beta_\Omega} = 1$，将几何正则性与动力熵联系起来。

实验结果

研究问题

• RQ1 紧致严格凸射影流形（维度为 $n$）上测地流的拓扑熵最大可能值是多少？
• RQ2 在何种几何条件下，拓扑熵达到 $n-1$ 的值？
• RQ3 凸域 $\Omega$ 的边界正则性如何影响测地流的熵？
• RQ4 在非黎曼度量的严格凸情形下，希尔伯特测地流的拓扑熵是否等于体积熵？
• RQ5 能否通过熵等动力不变量来刻画双曲与非双曲严格凸射影结构之间的区别？

主要发现

• 紧致严格凸射影流形（维度为 $n$）上测地流的拓扑熵有上界 $n-1$。
• 熵界等号成立 $h_{\text{top}} = n-1$ 当且仅当希尔伯特度量为黎曼度量，即结构为双曲的。
• 对于非椭球体的严格凸区域，边界具有 $\beta$-凸性且 $\beta > 2$，此时拓扑熵满足 $h_{\text{top}} > \frac{2}{\beta}(n-1)$。
• 在希尔伯特度量下，其万有覆盖的体积熵 $h_{\text{vol}}(d_\Omega)$ 等于拓扑熵 $h_{\text{top}}(\varphi)$，将Manning的结果推广至正则性受限的芬斯勒度量。
• 该熵界是精确的，并可表征双曲性：仅当区域为椭球体（即双曲结构）时，熵达到最大值 $n-1$。
• 该结果提供了一类新的动力不变量，可用于区分非黎曼度量的严格凸射影结构与双曲结构，其依据为熵的大小。