[论文解读] Constant Scalar Curvature Metrics on Boundary Complexes of Cyclic Polytopes

Daniel Champion, Andrew D. Marchese+2 more|arXiv (Cornell University)|Sep 15, 2010

Point processes and geometric inequalities参考文献 10被引用 4

一句话总结

本文在4维循环多面体的边界复形上引入循环长度度量，证明其在基于长度和基于体积的离散爱因斯坦-希尔伯特泛函中均产生常标量曲率。利用循环多面体的组合对称性，作者证明所有顶点的标量曲率均匀分布，从而确立这些度量为S³上光滑常标量曲率度量的离散类比。

ABSTRACT

In [7], a notion of constant scalar curvature metrics on piecewise flat manifolds is defined. Such metrics are candidates for canonical metrics on discrete manifolds. In this paper, we define a class of vertex transitive metrics on certain triangulations of $\mathbb{S}^3$; namely, the boundary complexes of cyclic polytopes. We use combinatorial properties of cyclic polytopes to show that, for any number of vertices, these metrics have constant scalar curvature.

研究动机与目标

• 在分段平坦4-流形上定义并分析离散常标量曲率度量，特别是循环多面体的边界复形。
• 通过识别离散爱因斯坦-希尔伯特泛函的临界点，将Yamabe问题的离散类比进一步拓展。
• 通过组合对称性与几何一致性，证明在∂C(n,4)上，循环长度度量可实现常标量曲率。
• 研究此类度量在分段平坦流形的共形类中的频率与存在性。

提出的方法

• 将分段平坦流形定义为带有边长度量的4维单纯复形，利用Cayley-Menger行列式确保其几何实现性。
• 通过在循环多面体中为同种组合类型的边分配相等边长，在∂C(n,4)上引入循环长度度量。
• 利用循环多面体的顶点传递性与邻接性，证明所有顶点的顶点标量曲率和相同。
• 通过展示每类对称四面体类型与边长分组下，每个顶点的总曲率贡献均匀，从而证明标量曲率为常数。
• 通过将每顶点的曲率与总边长或总体积贡献的统一倍数相等，验证基于长度和基于体积的常标量曲率（LCSC与VCSC）。
• 通过共形类分析，利用共形缩放下边长一致性矛盾，证明并非所有共形类都包含循环长度度量。

实验结果

研究问题

• RQ1 在循环多面体边界复形∂C(n,4)上，循环长度度量是否在离散雷格ge微积分框架中产生常标量曲率？
• RQ2 在∂C(n,4)上分段平坦度量的共形类空间中，循环长度度量出现的频率如何？
• RQ3 循环长度度量能否被表征为长度归一化与体积归一化离散爱因斯坦-希尔伯特泛函的临界点？
• RQ4 是否存在一种循环长度度量的推广，使其在所有共形类中均实现常标量曲率？
• RQ5 在循环长度度量处，离散爱因斯坦-希尔伯特泛函的局部Hessian结构为何？

主要发现

• 在∂C(n,4)上，循环长度度量同时满足LCSC与VCSC，即所有顶点的标量曲率恒定。
• 对于任意顶点数n，由于循环多面体的顶点传递性与对称边长分配，顶点标量曲率均匀分布。
• 所有顶点的总曲率贡献V_v恒定，其中V_v = (3/n) * ℒV，ℒV为总曲率和。
• 证明依赖于按类型分组四面体，并证明每个顶点对所有类型曲率和的贡献相等。
• 并非所有∂C(n,4)上的共形类都允许存在循环长度度量，这通过共形缩放下边长一致性的矛盾得以证明。
• 不存在循环长度度量的共形类的存在，意味着此类度量在共形空间中并非普遍存在。