[论文解读] Integral geometric Hopf conjectures

Oliver Knill|arXiv (Cornell University)|Jan 6, 2020

Geometric Analysis and Curvature Flows参考文献 51被引用 4

一句话总结

本文通过积分几何方法在有限简单图中定义曲率，以探讨霍普夫符号猜想与乘积猜想，证明对于任意正曲率流形，均存在一种 μ-曲率，使其在体积接近整体的集合上取正值。该方法利用随机莫尔斯函数的指标期望构造曲率测度，为连续黎曼几何问题提供了离散类比。

ABSTRACT

The Hopf sign conjecture states that a compact Riemannian 2d-manifold M of positive curvature has Euler characteristic X(M)>0 and that in the case of negative curvature X(M) (-1)^d >0. The Hopf product conjecture asks whether a positive curvature metric can exist on product manifolds like S^2 x S^2. By formulating curvature integral geometrically, these questions can be explored for finite simple graphs, where it leads to linear programming problems. In this more expository document we aim to explore also a bit of the history of the Hopf conjecture and mention some strategies of attacks which have been tried. We illustrate the new integral theoretic mu-curvature concept by proving that for every positive curvature manifold M there exists a mu-curvature K satisfying Gauss-Bonnet-Chern X(M)=\int_M K dV such that K is positive on an open set U of volume arbitrary close to the volume of M.

研究动机与目标

• 通过离散的积分几何框架研究黎曼几何中的霍普夫符号猜想与乘积猜想。
• 利用图上随机莫尔斯函数的指标期望重新定义曲率，实现高斯-博内-陈定理的离散类比。
• 通过构造在大测度子集上为正的 μ-曲率，建立正曲率流形中欧拉示性数保持为正的条件。
• 通过证明若霍普夫猜想在具有正 μ-曲率的有限图上成立，则其在具有相同性质的黎曼流形上也成立，从而在离散与连续几何之间建立桥梁。
• 探索图或流形中四分之一-pinched 正 μ-曲率是否蕴含球面拓扑，将球面定理推广至离散情形。

提出的方法

• 通过线性函数上的旋转不变测度在有限简单图上定义 μ-曲率，推广截面曲率。
• 在莫尔斯函数的概率空间上使用指标期望构造曲率 $ K(x) = \mathbb{E}[i_f(x)] $，其中 $ i_f(x) $ 为庞加莱-霍普夫指标。
• 利用离散情形下的高斯-博内-陈定理：$ \chi(G) = \sum_{x \in V} K(x) $，其中 $ K(x) $ 由期望指标导出。
• 应用单位分解与局部拼接方法，将局部正曲率构造推广至全局度量，尽管在拼接区域的控制仍具挑战性。
• 使用柯西-克罗特龙公式通过函数沿路径的符号变化次数的期望值在图上定义伪度量，经柯尔莫哥洛夫商空间后形成度量空间。
• 通过将图嵌入欧氏空间并取精细三角剖分，将离散图曲率与连续黎曼曲率关联。

实验结果

研究问题

• RQ1 对于配备在体积接近整体的集合上为正的 μ-曲率的有限简单图，是否可证明霍普夫符号猜想？
• RQ2 若存在在全体积集合上为正的 μ-曲率，是否意味着流形的欧拉示性数为正？
• RQ3 能否通过证明在 $ S^2 \times S^2 $ 等乘积图上不存在此类正 μ-曲率度量，从而以离散图方法逼近霍普夫乘积猜想？
• RQ4 在何种条件下，图或流形中的正 μ-曲率（特别是四分之一-pinching 条件下）蕴含球面拓扑？
• RQ5 在精细三角剖分与测度论构造下，离散与连续曲率及欧拉示性数的表述在多大程度上可相互关联？

主要发现

• 对于每个正曲率流形 $ M $，均存在一种 μ-曲率 $ K $，使得 $ \chi(M) = \int_M K \, dV $，且 $ K > 0 $ 在体积任意接近 $ \text{Vol}(M) $ 的开集上成立。
• 由随机莫尔斯函数导出的指标期望 $ K(x) = \mathbb{E}[i_f(x)] $ 所生成的曲率测度在离散与连续情形下均满足高斯-博内-陈公式。
• 格罗赫的反例表明，即使在正曲率下，从球丛上线性泛函导出的标准高斯-博内-陈被积函数仍可能为负，从而证明需要更一般的测度。
• 通过单位分解构造全局曲率的方法在拼接区域无法控制曲率，表明在扩展局部正曲率块时存在关键局限性。
• 在离散情形下，若有限简单 $ 2d $-图具有正 μ-曲率并满足四分之一-pinching 条件，则其猜想为作为 $ d $-图的 $ d $-球面。
• 通过函数沿路径的符号变化次数的期望值定义的图上伪度量，在合理的概率测度下收敛为真度量，从而在图上赋予几何结构。