[论文解读] Infinitesimal rigidity of convex surfaces through the second derivative of the Hilbert-Einstein functional I: Polyhedral case

Ivan Izmestiev|arXiv (Cornell University)|May 25, 2011

Geometric Analysis and Curvature Flows参考文献 19被引用 5

一句话总结

本文提出了一种关于凸多面体无穷小刚性的新颖证明，方法是利用在扭曲多面体上离散希尔伯特-爱因斯坦泛函的二阶导数——此类变形保持边界边长不变，但改变内部边长。关键结果表明，无穷小刚性等价于边曲率关于径向长度的雅可比矩阵的核维数为3，从而提供了一种与经典基于体积的证明相反的对偶方法，并为双曲空间及高维情形下的刚性结果开辟了新路径。

ABSTRACT

The paper is centered around a new proof of the infinitesimal rigidity of convex polyhedra. The proof is based on studying derivatives of the discrete Hilbert-Einstein functional on the space of "warped polyhedra" with a fixed metric on the boundary. This approach is in a sense dual to using derivatives of the volume in order to prove the Gauss infinitesimal rigidity of convex polyhedra, which deals with deformations that preserve face normals and face areas. In the spherical and in the hyperbolic-de Sitter space, there is a perfect duality between the Hilbert-Einstein functional and the volume, as well as between both kinds of rigidity. We also discuss directions for future research, including elementary proofs of the infinitesimal rigidity of hyperbolic (cone-)manifolds and development of a discrete Bochner technique.

研究动机与目标

• 通过离散希尔伯特-爱因斯坦泛函的二阶导数，建立凸多面体无穷小刚性的新证明。
• 通过改变内部度量而非顶点位置，引入一种与基于体积的证明相反的对偶框架。
• 将该方法推广至固定边界度量的扭曲多面体，通过径向长度参数分析曲率变化。
• 为将该方法推广至双曲流形、锥流形及高维离散爱因斯坦度量奠定基础。
• 为提供卡巴拉-魏尔刚性及具有凸多面体边界之双曲流形无穷小刚性的初等证明开辟路径。

提出的方法

• 通过改变内部点到顶点的径向距离，变形凸多面体的内部度量，同时保持边界边长不变。
• 定义‘扭曲多面体’，其中内部边周围的总二面角偏离 2π，引入曲率项 κ_i = 2π - ω_i。
• 通过研究边曲率关于径向长度的雅可比矩阵 ∂κ_ij / ∂r_kl 分析无穷小变形。
• 通过证明该雅可比矩阵的核维数恰好为3（对应于 R³ 中的平凡等距变换），证明无穷小刚性。
• 利用球面和双曲空间中希尔伯特-爱因斯坦泛函与体积之间的对偶性，建立度量刚性与高斯刚性的联系。
• 利用与施伦克合作所得结果：当所有点位于顶点或边上时，雅可比矩阵恰好有 m 个正特征值，从而在仅考虑边界的情况下推出负定谱。

实验结果

研究问题

• RQ1 能否通过固定边界度量的扭曲多面体上离散希尔伯特-爱因斯坦泛函的二阶导数，证明凸多面体的无穷小刚性？
• RQ2 在双曲与球面几何中，是否存在类似于欧氏情形的度量刚性与高斯刚性之间的对偶性？
• RQ3 该方法能否推广至证明紧致闭合双曲 3-流形的卡巴拉-魏尔刚性，通过验证 ∂κ_ij/∂r_kl 的核维数为 3n？
• RQ4 该方法能否被调整以证明具有凸多面体边界之紧致双曲流形的无穷小刚性？
• RQ5 能否基于此框架发展一种离散博赫纳技巧，以重新证明契哈勒的消失定理？

主要发现

• 凸多面体的无穷小刚性等价于雅可比矩阵 ∂κ_i/∂r_j 的核维数恰好为3，对应于 R³ 中的平凡等距变换。
• 对于具有 m 个内部顶点和 n 个面顶点的三角剖分凸多面体，雅可比矩阵 ∂κ_ij/∂r_kl 的核维数为 3m + n。
• 当所有点位于顶点或边上时，雅可比矩阵 ∂κ_ij/∂r_kl 恰好有 m 个正特征值，表明在仅考虑边界的情况下谱为负定。
• 该方法通过希尔伯特-爱因斯坦泛函与体积之间的对偶性，建立了度量刚性与高斯刚性之间的对偶关系，类似于球面与双曲空间中已知的对偶性。
• 该方法为验证紧致双曲 3-流形中 ker(∂κ_ij/∂r_kl) 的维数为 3n 提供了潜在的初等证明路径，从而可能证明卡巴拉-魏尔刚性。
• 该框架暗示了证明具有小于 2π 的锥角的双曲锥流形的无穷小刚性，以及在高维中定义离散爱因斯坦度量的可能路径。