[논문 리뷰] The Cohomology for Wu Characteristics

Oliver Knill|arXiv (Cornell University)|2018. 03. 19.

Homotopy and Cohomology in Algebraic Topology참고 문헌 22인용 수 6

한 줄 요약

이 논문은 유한한 추상 심플렉스 복합체에 대해 상호작용 코homology라고 하는 새로운 코homology 이론을 제안하며, Wu 특성수를 통해 고차원 상호작용을 포착하는 심플렉스 코homology의 일반화이다. 이 이론은 $ k $-번째 Wu 특성수 $ \omega_k $ 와 호환되는 코homology $ H^p_k(G_1,\dots,G_k) $ 를 정의하여, 바르티식 분할에 대해 불변임을 증명하고, 쿠엔트 공식을 만족하며, $ k > 1 $ 에서 레프셰츠 고정점 정리와 호지 이론을 일반화함으로써, 모비우스의 띠와 실린더와 같이 위상적으로 유사한 공간들을 대수적으로 구별할 수 있게 한다.

ABSTRACT

While Euler characteristic X(G)=sum_x w(x) super counts simplices, Wu characteristics w_k(G) = sum_(x_1,x_2,...,x_k) w(x_1)...w(x_k) super counts simultaneously pairwise interacting k-tuples of simplices in a finite abstract simplicial complex G. More general is the k-intersection number w_k(G_1,...G_k), where x_i in G_i. We define interaction cohomology H^p(G_1,...,G_k) compatible with w_k and invariant under Barycentric subdivison. It allows to distinguish spaces which simplicial cohomology can not: it can identify algebraically the Moebius strip and the cylinder for example. The cohomology satisfies the Kuenneth formula: the Poincare polynomials p_k(t) are ring homomorphisms from the strong ring to the ring of polynomials in t. The Dirac operator D=d+d^* defines the block diagonal Hodge Laplacian L=D^2 which leads to the generalized Hodge correspondence b_p(G)=dim(H^p_k(G)) = dim(ker(L_p)) and Euler-Poincare w_k(G)=sum_p (-1)^p dim(H^p_k(G)) for Wu characteristic. Also, like for traditional simplicial cohomology, isospectral Lax deformation D' = [B(D),D], with B(t)=d(t)-d^*(t)-ib(t), D(t)=d(t)+d(t)^* + b(t) can deform the exterior derivative d. The Brouwer-Lefschetz fixed point theorem generalizes to all Wu characteristics: given an endomorphism T of G, the super trace of its induced map on k'th cohomology defines a Lefschetz number L_k(T). The Brouwer index i_T,k(x_1,...,x_k) = product_j=1^k w(x_j) sign(T|x_j) attached to simplex tuple which is invariant under T leads to the formula L_k(T) = sum_T(x)=x i_T,k(x). For T=Id, the Lefschetz number L_k(Id) is equal to the k'th Wu characteristic w_k(G) of the graph G and the Lefschetz formula reduces to the Euler-Poincare formula for Wu characteristic.

연구 동기 및 목표

• Wu 특성수 $ \omega_k $ 와 호환되는 코homology 이론을 개발하여, $ k=1 $ 을 초월한 심플렉스 코homology로의 확장을 이루는 것.
• 동일한 심플렉스 코hom로를 가지지만 서로 다른 위상적 성질을 지닌 공간들, 예를 들어 모비우스의 띠와 실린더를 대수적으로 구별할 수 있는 대수적 불변량을 제공하는 것.
• 오일러-포앵카레 및 레프셰츠 고정점 공식과 같은 고전적 정리를 고차원 Wu 특성수로 일반화하는 것.
• 연속체의 대응이 없는 $ k>1 $ 에서도 탄성 복합체와 디랙 연산자를 정의할 수 있는 이산 미적분 프레임워크를 구축하는 것.

제안 방법

• pairwise로 교차하는 단체들의 $ k $-튜플에 대해 그들의 $ \omega(x_i) $ 를 가중치로 하여 $ k $-교차 수 $ \omega_k(G_1,\dots,G_k) $ 를 정의한다.
• 심플렉스 코hom로의 인cidenc 행렬을 일반화한, $ k $-겹 곱 복합체 위에서 작용하는 외부 미분 $ d_k $ 를 구성한다.
• 디랙 연산자 $ D_k = d_k + d_k^* $ 와 그 제곱 $ L_k = D_k^2 $ 를 정의하여 블록 대각형 라플라시안을 이끌어낸다.
• 일반화된 호지 정리 증명: $ \dim(H^p_k(G)) = \dim(\ker(L_k^{(p)})) $ 를 통해 코homology 와 조화 형식을 연결한다.
• 쿠엔트 공식 수립: $ p_k(t) = \sum_p \dim(H^p_k(G)) t^p $ 는 강한 링에서 $ \mathbb{Z}[t] $ 로의 링 준동형사상이다.
• 코homology의 구조를 유지하는 이sovolumetric Lax 변형 $ \dot{D} = [B(D), D] $ 을 도입한다.

실험 결과

연구 질문

• RQ1 Wu 특성수로 포착된 고차원 상호작용을 고려하여, 심플렉스 코homology를 일반화하는 코homology 이론을 구성할 수 있는가?
• RQ2 이 코homology는 동일한 심플렉스 코hom로를 가지지만 서로 다른 위상적 성질을 지닌 공간들, 예를 들어 모비우스의 띠와 실린더를 구별할 수 있는가?
• RQ3 레프셰츠 고정점 공식은 $ k > 1 $ 에서 Wu 특성수로 확장될 수 있으며, 만약 그렇다면 지수는 어떻게 정의되는가?
• RQ4 상호작용 코homology는 바르티식 분할에 대해 불변이며, 쿠엔트 유형의 공식을 만족하는가?
• RQ5 고차원 $ k > 1 $ 에서 일반화된 호지 이론과 스펙트럼 성질(예: 스펙트럼의 슈퍼대칭성)을 확립할 수 있는가?

주요 결과

• 상호작용 코homology $ H^p_k(G_1,\dots,G_k) $ 는 바르티식 분할에 대해 불변이며, 그 조합론적 성격을 확인한다.
• $ k=2 $ 에서 코homology는 모비우스의 띠와 실린더를 대수적으로 구별할 수 있으며, 이 둘의 심플렉스 코hom로와 $ f $-벡터는 동일하다.
• 코homology는 오일러-포앵카레 공식을 만족한다: $ \omega_k(G_1,\dots,G_k) = \sum_p (-1)^p \dim(H^p_k(G_1,\dots,G_k)) $.
• 자기 사상 $ T $ 에 대한 레프셰츠 수 $ L_k(T) $ 는 $ \sum_{T(x)=x} \prod_{j=1}^k \omega(x_j) \cdot \mathrm{sign}(T|x_j) $ 로 주어지며, 고전 공식을 일반화한다.
• 상호작용 라플라시안 $ L_k $ 의 스펙트럼은 슈퍼대칭성을 보인다: 짝수 형식과 홀수 형식의 스펙트럼의 합집합이 서로 같다.
• 코homology는 유한 행렬을 통해 계산 가능하다. 예를 들어, 모비우스의 띠에서의 상호작용 라플라시안은 가역적이지만, 실린더에서는 그렇지 않다.