[論文レビュー] On Primes, Graphs and Cohomology

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

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

ひとこと要約

本稿は、自然数をバーチカル・リファインメント・グラフとしてモデル化し、数え上げ関数をモース関数として用いることで、数論とグラフコホモロジーを結ぶ離散モース理論的枠組みを確立する。モースコホモロジー不変量（ベッチ数やポincare-Hopfインデックスなど）から、メルテンス関数、モービアス関数、素数の個数関数が自然に導かれることを示し、有限グラフにおける算術関数と位相的不変量の深い関係を明らかにする。

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.

研究の動機と目的

• 整数環のスペクトル上の完全グラフのバーチカル・リファインメントに、数え上げ関数をモース関数として用いることで、離散モース＝スメール複体を構築すること。
• この複体のオイラー特性がメルテンス関数と関連することを示し、数論と位相幾何学を結ぶこと。
• 臨界点におけるポincare-Hopfインデックスがモービアス関数の値に対応することを示すこと。
• この設定における強いモース不等式が、ベッチ数と臨界点の個数を用いて、素数の個数関数 π(x) などの数論的量を表現することを証明すること。
• 時間反転対称性がベッチ数にポincare双対性を誘導するKummer数へこの枠組みを拡張し、この状況下でモースコホモロジーが単体的コホモロジーと等価であることを示すこと。

提案手法

• 2からnまでの平方自由整数を頂点とし、一方が他方を割り切るペア間に辺を張るグラフ G(n) を定義する。
• 素数の完全グラフのバーチカル・リファインメント上で、恒等関数 f(k) = k をモース関数として扱う。
• モースフィルトレーション G(x) = {f ≤ x} を用いて、安定多様体と不安定多様体が明確に定義された離散モース＝スメール複体を定義する。
• Poincaré-Hopf定理 ∑x if(x) = χ(G(n)) を適用し、頂点 x におけるインデックスが if(x) = 1 − χ(S−f(x)) で与えられることを用いる。
• モース指数が m(x) = dim(S(x)) + 1 であり、i_f(x) = (−1)^m(x) が成り立つことを示し、位相的インデックスと算術的関数値を結びつける。
• Künneth公式とバーチカル・リファインメントを用いて、モースコホモロジーが元のグラフの単体的コホモロジーと同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 素数の分布は、離散モース複体のコホモロジー構造にどのように符号化されるか？
• RQ2 グラフ論的モース複体上でのPoincaré-Hopfインデックスとしてのモービアス関数の位相的意味は何か？
• RQ3 モースフィルトレーションのオイラー特性を通じて、メルテンス関数がどのように位相的不変量として現れるか？
• RQ4 バーチカル・リファインメント上の離散モース＝スメール系がいつポincare双対性を示し、それはKummer数とどのように関係するか？
• RQ5 有限単純グラフ上のモースコホモロジーは、どの程度単体的コホモロジーと等価であり、その同型を保証するグラフの構造的条件は何か？

主な発見

• G(n) のオイラー特性は χ(G(n)) = 1 − M(n) を満たし、M(n) がメルテンス関数であるため、数論と位相幾何学が結びつく。
• 頂点 x におけるPoincaré-Hopfインデックスは i_f(x) = −μ(x) であり、μ がモービアス関数であるため、算術関数が直接的に位相的インデックスを計算することが示される。
• 0次ベッチ数は b₀(G(x)) = 1 + π(x) − π(x/2) ≤ c₀(x) を満たし、c₀(x) が0インデックス臨界点の個数を表すため、連結性と素数分布が結びつく。
• 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 が存在し、連結成分上でベッチ数にポincare双対性 bₖ = b_{d−k} が誘導される。
• 任意の有限単純グラフ G に対して、バーチカル・リファインメント G₁ において f(x) = dim(x) をモース関数とすると、モースコホモロジーは G の単体的コホモロジーと自然に同型である。