[논문 리뷰] The strong ring of simplicial complexes

Oliver Knill|arXiv (Cornell University)|2017. 08. 05.

Topological and Geometric Data Analysis참고 문헌 23인용 수 10

한 줄 요약

이 논문은 유한 추상 심플렉스 복합체의 강한 링(stong ring)을 도입한다. 이는 연결 그래프의 강한 곱을 곱으로 하는 가환 링이며, 코homological 및 스펙트럴 불변량—예를 들어 허지 라플라시안, 오일러 특성수, 우 특성수 등—이 이 곱에 대해 승법적으로 작용함을 증명한다. 이는 고전적인 정리들, 예를 들어 쿤첸 공식과 같은 것을 일반화하고, 가우스-본넷 및 파oincaré-홉프 정리들을 링의 구조로 확장한다.

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.

연구 동기 및 목표

• 심플렉스 복합체의 스펙트럴 및 위상수학적 불변량을 강한 곱을 통한 가환 링 구조로 확장하기.
• 가우스-본넷, 파oincaré-홉프, 쿤첸 공식과 같은 고전 정리를 링 이론적 맥락으로 일반화하기.
• 오일러 특성수와 베티 수가 각각 ℤ와 ℤ[t]로의 링 준동형사상임을 증명하기.
• 바리센트리 근사에서 ℤ^d의 경우에 연결 라플라시안의 비가역성과 유니모듈라리티가 유지되어 질량 갭이 존재함을 보여주기.
• 강한 링이 그래프의 사비두시 링의 부분환과 동형임을 증명하여 연결된 복합체의 유일한 소인수분해를 가능하게 하기.

제안 방법

• 유한 추상 심플렉스 복합체의 이산합과 강한 곱에 대해 생성되는 가환 링 R을 정의한다.
• 심플렉스 복합체 G의 연결 그래프 G′을 구성하며, 정점은 단순체이고, 교차하는 단순체 사이에 간선이 존재한다.
• G′의 인접행렬 A에 대해 연결 라플라시안 L(G) = 1 + A로 정의하고, 셀 첨부의 귀납적 방법을 통해 유니모듈라리티를 증명한다.
• 에너지 정리를 이용하여 ∑_{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))를 만족하며, 이는 코homology에 대한 쿤첸 공식을 일반화한다.
• 오일러 특성수 χ(G)는 L⁻¹의 성분의 합과 같으며, 즉 ∑_{x,y} g(x,y) = χ(G)임을 증명함으로써 에너지 정리를 입증한다.
• 베티 수 b_k(G)는 b_k(−G) = −b_k(G)로 정의되어 링 내에서 부호가 부여되며, 이는 코homology를 군의 구조로 확장한다.
• 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]를 포함한다.