[论文解读] On Primes, Graphs and Cohomology

Oliver Knill|arXiv (Cornell University)|Aug 22, 2016

Topological and Geometric Data Analysis参考文献 9被引用 6

一句话总结

本文建立了一套离散莫尔斯理论框架，通过将自然数建模为具有计数函数作为莫尔斯函数的Barycentric细分图，将数论与图上同调联系起来。结果表明，梅尔滕斯函数（Mertens function）、莫比乌斯函数（Möbius function）以及素数计数函数，均自然地从莫尔斯上同调不变量（如贝蒂数和庞加莱-霍普夫指标）中涌现，揭示了有限图中算术函数与拓扑不变量之间的深刻联系。

ABSTRACT

The counting function on the natural numbers defines a discrete Morse-Smale complex with a cohomology for which topological quantities like Morse indices, Betti numbers or counting functions for critical points of Morse index are explicitly given in number theoretical terms. The Euler characteristic of the Morse filtration is related to the Mertens function, the Poincaré-Hopf indices at critical points correspond to the values of the Moebius function. The Morse inequalities link number theoretical quantities like the prime counting functions relevant for the distribution of primes with cohomological properties of the graphs. The just given picture is a special case of a discrete Morse cohomology equivalent to simplicial cohomology. The special example considered here is a case where the graph is the Barycentric refinement of a finite simple graph.

研究动机与目标

• 在ℤ的谱上完全图的Barycentric细分上建立离散莫尔斯-斯梅尔复形，以计数函数作为莫尔斯函数。
• 证明该复形的欧拉示性数与梅尔滕斯函数相关，从而建立数论与拓扑学的联系。
• 表明临界点处的庞加莱-霍普夫指标对应于莫比乌斯函数的取值。
• 证明在此设定下，强莫尔斯不等式表达了素数计数函数π(x)等数论量，以贝蒂数和临界点计数表示。
• 将该框架扩展至Kummer数情形，其中时间反演对称性诱导出贝蒂数的庞加莱对偶性，并证明莫尔斯上同调在此情形下等价于单纯上同调。

提出的方法

• 定义图G(n)，其顶点为从2到n的无平方因子整数，若其中一数整除另一数则连边。
• 将恒等函数f(k) = k视为在素数上完全图的Barycentric细分上的莫尔斯函数。
• 利用莫尔斯滤子G(x) = {f ≤ x}定义具有明确稳定与不稳定流形的离散莫尔斯-斯梅尔复形。
• 应用庞加莱-霍普夫定理∑x if(x) = χ(G(n))，其中if(x) = 1 − χ(S−f(x))为顶点x处的指标。
• 确立莫尔斯指标m(x) = dim(S(x)) + 1，且i_f(x) = (−1)^m(x)，从而将拓扑指标与算术函数值联系起来。
• 利用Künneth公式与Barycentric细分，证明莫尔斯上同调同构于原图的单纯上同调。

实验结果

研究问题

• RQ1 如何在离散莫尔斯复形的上同调结构中编码素数的分布？
• RQ2 在图论莫尔斯复形上，庞加莱-霍普夫指标的拓扑意义为何？特别是其与莫比乌斯函数的关系？
• RQ3 梅尔滕斯函数如何通过莫尔斯滤子的欧拉示性数作为拓扑不变量涌现？
• RQ4 在Barycentric细分上，离散莫尔斯-斯梅尔系统在何种条件下表现出庞加莱对偶性？这与Kummer数有何关联？
• RQ5 在有限图上，莫尔斯上同调在何种程度上等价于单纯上同调？图的何种结构条件可保证此等价性？

主要发现

• 图G(n)的欧拉示性数满足χ(G(n)) = 1 − M(n)，其中M(n)为梅尔滕斯函数，从而建立了数论与拓扑学的联系。
• 顶点x处的庞加莱-霍普夫指标为i_f(x) = −μ(x)，其中μ为莫比乌斯函数，表明算术函数可直接计算拓扑指标。
• 零阶贝蒂数满足b₀(G(x)) = 1 + π(x) − π(x/2) ≤ c₀(x)，其中c₀(x)为零指标临界点的计数，将连通性与素数分布联系起来。
• 对于k > 0，有bₖ(G(x)) = π(k,x) − π(k,x/2) ≤ cₖ(x) = π(k,x) + π(k,x/2)，且差值2π(k,x/2)随k指数衰减，从而证明了强莫尔斯不等式。
• 当n+1为Kummer数（前d+1个素数的乘积）时，图G(n+1)具有对合k ↦ (n+1)/k，诱导出连通分支上的庞加莱对偶性bₖ = b_{d−k}。
• 对任意有限简单图G，其Barycentric细分G₁以f(x) = dim(x)为莫尔斯函数，其莫尔斯上同调自然同构于G的单纯上同调。