[論文レビュー] Sphere geometry and invariants

Oliver Knill|arXiv (Cornell University)|Feb 13, 2017

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

ひとこと要約

本稿は、有限単体複体 $ G $ のバーチカル・リファインメント $ G_1 $ における単位球面の位相から得られる Poincaré-Hopf インデックス $ i(x) = 1 - \chi(S(x)) $ が、接続グラフ $ G' $ の隣接行列 $ A' $ に対し、逆行列の対角成分 $ g(x,x) = (1 + A')^{-1}_{xx} $ に等しいことを証明することで、球面幾何と単体複体の組合せ的不変量との間に深い関係を確立する。主な貢献は、単位球面の位相とグリーン関数の値の範囲が両方とも複体の組合せ的不変量であることであり、$ 1 + A' $ のユニモジュラリティにより逆行列の成分が整数となり、素数グラフにおける数論的解釈が可能になることにある。

ABSTRACT

A finite abstract simplicial complex G defines two finite simple graphs: the Barycentric refinement G1, connecting two simplices if one is a subset of the other and the connection graph G', connecting two simplices if they intersect. We prove that the Poincare-Hopf value i(x)=1-X(S(x)), where X is Euler characteristics and S(x) is the unit sphere of a vertex x in G1, agrees with the Green function value g(x,x),the diagonal element of the inverse of (1+A'), where A' is the adjacency matrix of G'. By unimodularity, det(1+A') is the product of parities (-1)^dim(x) of simplices in G, the Fredholm matrix 1+A' is in GL(n,Z), where n is the number of simplices in G. We show that the set of possible unit sphere topologies in G1 is a combinatorial invariant of the complex G. So, also the Green function range of G is a combinatorial invariant. To prove the invariance of the unit sphere topology we use that all unit spheres in G1 decompose as a join of a stable and unstable part. The join operation + renders the category X of simplicial complexes into a monoid, where the empty complex is the 0 element and the cone construction adds 1. The augmented Grothendieck group (X,+,0) contains the graph and sphere monoids (Graphs, +,0) and (Spheres,+,0). The Poincare-Hopf functionals i(G) as well as the volume are multiplicative functions on (X,+). For the sphere group, both i(G) as well as Fredholm characteristic are characters. The join + can be augmented with a product * so that we have a commutative ring (X,+,0,*,1)for which there are both additive and multiplicative primes and which contains as a subring of signed complete complexes isomorphic to the integers (Z,+,0,*,1). We also look at the spectrum of the Laplacian of the join of two graphs. Both for addition + and multiplication *, one can ask whether unique prime factorization holds.

研究の動機と目的

• 有限単体複体 $ G $ のバーチカル・リファインメント $ G_1 $ における単位球面の位相が、組合せ的不変量であることを特定し、証明すること。
• Poincaré-Hopf インデックス $ i(x) = 1 - \chi(S(x)) $ と、接続グラフ $ G' $ の隣接行列 $ A' $ のグリーン関数の対角成分 $ g(x,x) = (1 + A')^{-1}_{xx} $ との等価性を確立すること。
• Fredholm行列式 $ \psi(G) = \det(1 + A') $、グリーン関数の値の範囲、および球面インデックススペクトルがすべて $ G $ の組合せ的不変量であることを示すこと。
• 単体複体のなす圏のジョイント演算に関する代数的構造を調査し、モノイドおよび加法的・乗法的素数を備えた可換環を構成すること。
• 素数グラフ $ G(n) $ および接続グラフ $ H(n) $ におけるグリーン関数の数論的解釈を検討し、リーマン予想やモービウス関数と関連付けること。

提案手法

• 単体複体 $ G $ の単体を頂点とするグラフのホイットニー複体としてバーチカル・リファインメント $ G_1 $ を定義する。ここで、片方がもう片方に含まれる場合に辺を張る。
• 同じ頂点集合を有する接続グラフ $ G' $ を定義するが、両単体が交わる場合に辺を張る。
• ユニモジュラリティ定理を用いて $ \det(1 + A') = \prod_x (-1)^{\dim(x)} = \phi(G) \in \mathbb{Z} $ を示し、$ (1 + A')^{-1} $ が整数成分を持つことを示す。
• グリーン関数の対角成分が $ g(x,x) = i(x) = 1 - \chi(S(x)) $ を満たすことを証明し、位相的インデックスと行列の逆行列を結びつける。
• 球面 $ S(x) = S^-(x) + S^+(x) $ の分解（ここで $ S^- $ は球面で、$ + $ はジョイント演算を表す）を用いて、リファインメントにかかわらず球面位相が不変であることを示す。
• ジョイント演算を用いて単体複体にモノイド構造を定義し、加法的・乗法的単位元を備えた可換環に拡張し、その代数的性質（素因数分解、キャラクターなど）を研究する。

実験結果

リサーチクエスチョン

• RQ1 バーチカル・リファインメント $ G_1 $ における単位球面の位相は、$ G_2 $ のようなさらなるリファインメントに対しても不変であるか？
• RQ2 グリーン関数 $ (1 + A')^{-1} $ の非対角成分は、位相的または力学的解釈が可能か？
• RQ3 $ i(G) = 1 - \chi(G) $ および $ \psi(G) = \det(1 + A') $ 以外に、球面群に追加のキャラクターが存在するか？ また、それらは群表現のトレースとして実現可能か？
• RQ4 抽象的有限単体複体の加法的および乗法的モノイドにおいて、一意的な素因数分解が成り立つか？
• RQ5 数論的に定義された素数グラフ $ G(n) $ および $ H(n) $ におけるグリーン関数の値は、モービウス関数やリーマン・ゼータ関数といった算術関数と関連付けることができるか、または推定可能か？

主な発見

• 接続グラフ $ G' $ におけるグリーン関数の対角成分 $ g(x,x) $ は、Poincaré-Hopf インデックス $ i(x) = 1 - \chi(S(x)) $ に等しく、離散モース理論と行列の逆行列の間に直接的な関係を確立する。
• Fredholm行列式 $ \psi(G) = \det(1 + A') $ は組合せ的不変量であり、積 $ \prod_x (-1)^{\dim(x)} $ に等しく、ユニモジュラリティにより常に整数である。
• $ G_1 $ における可能な単位球面位相の集合は、バーチカル・リファインメントに対して不変であり、$ G_2 $ に新たな位相が現れないため、球面位相は組合せ的不変量である。
• グリーン関数の値の範囲（すなわち、$ g(x,x) $ の値の集合）は、複体 $ G $ の組合せ的不変量であり、リファインメントの選択に依存しない。
• 球面インデックススペクトル（すべての単体 $ x $ に対する $ i(x) $ の値の集合）はリファインメントに対して保存され、したがって組合せ的不変量である。
• 素数グラフ $ G(n) $ および接続グラフ $ H(n) $ の文脈において、$ H(n) $ におけるグリーン関数の値 $ g(x,x) $ は $ G(n) $ におけるインデックス値 $ i(x) $ に対応し、数論と離散幾何学を結びつける。