[論文レビュー] The strong ring of simplicial complexes

Oliver Knill|arXiv (Cornell University)|Aug 5, 2017

Topological and Geometric Data Analysis参考文献 23被引用数 10

ひとこと要約

本稿は、有限抽象的単体複体の強い環（strong ring）を導入する。これは、接続グラフの強い積を積とする可換環であり、コホモロジー的およびスペクトル的不変量（例えば、ホッジラプラシアン、オイラー特性、ウー特性）がこの積に関して乗法的に振る舞うことを確立する。これは、クラシカルな定理（例えば、クーンシュタイナーの公式）を一般化し、ガウス・ボンネおよびポincareホフの定理を環構造へと拡張する。

ABSTRACT

We define a ring R of geometric objects G generated by finite abstract simplicial complexes. To every G belongs Hodge Laplacian H as the square of the Dirac operator determining its cohomology and a unimodular connection matrix L). The sum of the matrix entries of the inverse of L is the Euler characteristic. The spectra of H as well as inductive dimension add under multiplication while the spectra of L multiply. The nullity of the Hodge of H are the Betti numbers which can now be signed. The map assigning to G its Poincare polynomial is a ring homomorphism from R the polynomials. Especially the Euler characteristic is a ring homomorphism. Also Wu characteristic produces a ring homomorphism. The Kuenneth correspondence between cohomology groups is explicit as a basis for the product can be obtained from a basis of the factors. The product in R produces the strong product for the connection graphs and leads to tensor products of connection Laplacians. The strong ring R is also a subring of the full Stanley-Reisner ring S Every element G can be visualized by its Barycentric refinement graph G1 and its connection graph G'. Gauss-Bonnet, Poincare-Hopf or the Brouwer-Lefschetz extend to the strong ring. The isomorphism of R with a subring of the strong Sabidussi ring shows that the multiplicative primes in R are the simplicial complexes and that every connected element in the strong ring has a unique prime factorization. The Sabidussi ring is dual to the Zykov ring, in which the Zykov join is the addition. The connection Laplacian of the d-dimensional lattice remains invertible in the infinite volume limit: there is a mass gap in any dimension.

研究の動機と目的

• 単体複体のスペクトル的および位相的不変量を、強い積を用いた可換環構造へと拡張すること。
• ガウス・ボンネ、ポincareホフ、クーンシュタイナーの公式といった古典的定理を、環論的枠組みへと一般化すること。
• オイラー特性とベッチ数が、それぞれ ℤ および ℤ[t] への環準同型であることを確立すること。
• バーチカル・リファインメントにおける ℤ^d の極限において、接続ラプラシアンがユニモジュラーかつ可逆のままであることを示し、質量ギャップを示すこと。
• 強い環がサビドゥッシ環の部分環と同型であることを示し、連結複体の素因数分解の一意性を可能にすること。

提案手法

• 有限抽象的単体複体の離別和および強い積の下で生成される可換環 R（強い環）を定義する。
• 単体複体 G の接続グラフ G′ を構成する。頂点は単体であり、単体が交わるとき辺が張られる。
• 接続ラプラシアン L(G) = 1 + A を定義する。ここで A は G′ の隣接行列であり、細胞の帰納的付加によりユニモジュラー性を証明する。
• エネルギー定理を用いて、∑_{x,y} g(x,y) = χ(G) を示す。ここで g = L⁻¹ であり、グリーン関数の成分がオイラー特性と関連づけられる。
• スペクトルの乗法的性質を確立する：σ(H(A×B)) = σ(H(A)) + σ(H(B)) および σ(L(A×B)) = σ(L(A)) · σ(L(B)) をテンソル積構造を用いて証明する。
• Poincaré多項式およびオイラー多項式を、R から ℤ[t] への環準同型として定義し、χ(G) = p_G(−1) = e_G(−1) を満たす。

実験結果

リサーチクエスチョン

• RQ1 単体複体の強い積におけるホッジおよび接続ラプラシアンのスペクトル的不変量はどのように振る舞うか？
• RQ2 オイラー特性およびベッチ数は、複体の環への準同型として拡張可能か？
• RQ3 単体複体の強い積の代数的構造は何か？また、スターリング＝ライスナー環やサビドゥッシ環といった既知の環とどのように関係するか？
• RQ4 接続ラプラシアンのユニモジュラー性は、ℤ^d のバーチカル・リファインメントのような無限極限へと拡張可能か？
• RQ5 強い環はトポスであるか、あるいは引き戻しやカルテジアン閉包といった追加構造を持つ圏であるか？

主な発見

• 二つの単体複体 G と H の強い積は、それらの接続ラプラシアンにテンソル積構造を誘導する：L(G×H) = L(G) ⊗ L(H) であり、これによりスペクトルが乗法的になる。
• G×H のホッジラプラシアンスペクトルは σ(H(G×H)) = σ(H(G)) + σ(H(H)) を満たし、コホモロジーのクーンシュタイナーの公式を一般化する。
• オイラー特性 χ(G) は L⁻¹ の成分の和に等しく、すなわち ∑_{x,y} g(x,y) = χ(G) であり、エネルギー定理の証明となる。
• ベッチ数 b_k(G) は、b_k(−G) = −b_k(G) により符号付きで環内に拡張され、コホモロジーが群構造へと拡張される。
• Poincaré多項式 p_G(t) = ∑_k b_k(G)t^k およびオイラー多項式 e_G(t) = ∑_k v_k(G)t^k は、R から ℤ[t] への環準同型である。
• ℤ^d のバーチカル極限において、接続ラプラシアンの逆行列は有界であり、任意の d に対して質量ギャップ [−1/5^d, 1/5^d] を含む。