[논문 리뷰] On the Cubical Homology Groups of Free Partially Commutative Monoids

Ahmet A. Husainov|ArXiv.org|2006. 11. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 4

한 줄 요약

이 논문은 자유 부분적으로 교환 가능한 모노이드 $M(E,I)$ 의 리히 오버홀로지 군과 정 precubical 집합 $T(E,I)$ 의 큐브형 오버홀로지 군 사이의 이somorphism을 확립하여, 오버홀로지 계산을 위한 유한 길이의 체인 복합체를 가능하게 한다. 핵심 결과는 이러한 모노이드와 이방성 전이 시스템의 오버홀로지 차원이 상호 독립적인 생성자/이벤트의 최대 수와 일치함을 확인함으로써 오랫동안 남아있던 추측을 해결하며, 스미스 정규형을 통한 알고리즘적 계산이 가능하다.

ABSTRACT

We study a Leech homology of a locally bounded free partially commutative monoid $M(E,I)$. Given a contravariant natural system of abelian groups $F$ on $M(E,I)$ we build a precubical set $T(E,I)$ with a homological system of abelian groups $\bar{F}$ and prove that the Leech homology groups $H_n(M(E,I),F)$ are isomorphic to the cubical homology groups $H_n(T(E,I),\bar{F})$, $n\geq 0$. As a consequence we have confirmed a conjecture that if the free partially commutative monoid does not contain $>n$ mutually commuting generators, then its the homological dimension $\leq n$. We have built the complexes of finite length for a computation of the Leech homology of such monoids and the Hochschild homology of their monoid rings. The results are applied to the homology of asynchronous transition systems. We give the positive answer to a question that the homological dimension of the asynchronous system does not greater than the maximal number of its mutually independent events. We have built the complex for computing the integral homology groups of an asynchronous transition system by the Smith normal form of integer matrices.

연구 동기 및 목표

• 자유 부분적으로 교환 가능한 모노이드 $M(E,I)$ 의 오버홀로지 차원이 상호 교환 가능한 생성자의 최대 수로 유계임을 증명하는 것.
• 체인 복합체의 오버홀로지 계산을 가능하게 하는 $T(E,I)$ 라는 precubical 집합과 그 위에 정의된 $\overline{F}$ 라는 오버홀로지 체계를 구성하여, $M(E,I)$ 의 리히 오버홀로지 군을 계산하는 것.
• 이 이omorphism을 이방성 전이 시스템에 적용하여, 그 오버홀로지 차원이 상호 독립적인 이벤트의 최대 수로 유계임을 증명하는 것.
• 모노이드의 링에 대한 호크시لد 오버홀로지 계산을 위한 유한 길이의 체인 복합체를 개발하는 것. 스미스 정규형을 통한 알고리즘적 계산 가능.

제안 방법

• 모노이드 $M(E,I)$ 의 생성자와 교환 관계로부터 precubical 집합 $T(E,I)$ 를 구성하여, 교환 곱의 조합론을 코딩하는 것.
• 모노이드 $M(E,I)$ 위의 반대변화 자연계수 $F$ 에 의해 유도된 $T(E,I)$ 위의 오버홀로지 체계 $\overline{F}$ 를 정의하여 오버홀로지 구조를 유지하는 것.
• 범주론적 도구와 오버스트의 코로나이드에 대한 정리(콜리미트 서바이터)를 사용하여 리히 오버홀로지 $H_n(M(E,I), F)$ 가 큐브형 오버홀로지 $H_n(T(E,I), \overline{F})$ 와 이omorphism임을 증명하는 것.
• 이 이omorphism을 활용하여, 서로 다른 이벤트 수열 $e_1 < e_2 < \cdots < e_n$ 과 $(e_i,e_j) \in I$ 를 만족하는 이벤트 수열에 대한 교대 합으로 정의된 미분을 갖는 유한 길이의 체인 복합체를 구성하는 것.
• 이를 이방성 전이 시스템에 적용하기 위해, 전이 시스템을 $M(E,I)$-집합에 매립한 후 동일한 큐브형 복합체를 통해 오버홀로지 계산을 수행하는 것.
• 경계 행렬 $d_n$ 의 스미스 정규형을 이용하여 정수 오버홀로지 군을 계산함으로써, 유한 시스템에 대한 알고리즘적 계산을 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 자유 부분적으로 교환 가능한 모노이드 $M(E,I)$ 의 오버홀로지 차원은 상호 교환 가능한 생성자의 최대 수와 일치하는가?
• RQ2 리히 오버홀로지 $M(E,I)$ 는 $T(E,I)$ 라는 precubical 집합과 연관된 큐브형 복합체를 통해 계산될 수 있는가?
• RQ3 이방성 전이 시스템의 오버홀로지 차원은 상호 독립적인 이벤트의 최대 수로 유계인가?
• RQ4 모노이드 링의 호크시لد 오버홀로지 계산을 위한 유한 길이의 체인 복합체를 구성할 수 있는가?
• RQ5 스미스 정규형 같은 행렬 불변량을 사용하여 이방성 전이 시스템의 정수 오버홀로지 군을 알고리즘적으로 계산할 수 있는가?

주요 결과

• 모든 $n \geq 0$ 에 대해 리히 오버홀로지 군 $H_n(M(E,I), F)$ 는 큐브형 오버홀로지 군 $H_n(T(E,I), \overline{F})$ 와 이omorphism임이 입증되어 기초적인 이omorphism을 확립함.
• $M(E,I)$ 의 오버홀로지 차원은 상호 교환 가능한 생성자의 최대 수로 유계임이 확인되어, 일반적인(유한 또는 무한) 생성자 집합에 대한 추측을 해결함.
• 서로 독립적인 이벤트가 $n$개를 초과하지 않는 이방성 전이 시스템의 경우, 차수 $k > n$ 에서 오버홀로지 군이 0이 되며, 이는 [12, Open Problem 2]의 추측을 증명함.
• $M(E,I)$-집합과 그 모노이드 링의 호크시لد 오버홀로지 계산을 위한 유한 길이의 체인 복합체가 구성됨.
• 유한 이방성 전이 시스템의 정수 오버홀로지 군은 경계 행렬 $d_n$ 의 스미스 정규형을 통해 알고리즘적으로 계산 가능함.
• 이 구성은 이방성 전이 시스템과 precubical 집합 사이의 함자적 다리를 제공하며, 오버홀로지 군이 이 대응 아래에서 유지됨.