[논문 리뷰] Quotient Cohomology for Tiling Spaces

Marcy Barge, Lorenzo Sadun|arXiv (Cornell University)|2011. 01. 18.

Quasicrystal Structures and Properties참고 문헌 10인용 수 4

한 줄 요약

이 논문은 타일링 공간에 대한 상대 코homology 이론으로서 몫 코homology를 도입하여, 한 타일링 동역학계가 다른 한 타일링 동역학계의 인수인 경우에 그들을 비교할 수 있도록 한다. 맵핑 실린더와 콘의 구성 방식을 타일링 이론으로 일반화함으로써, 저자들은 특히 정리 4를 통해 복잡한 타일링 공간의 코homology를 저차원의 구조를 순차적으로 몫으로 나누어 계산할 수 있는 도구를 개발하고, 이는 유한형 타일링 공간과 체어 대체 및 이진 소렌로이드와 같은 가족에 적용된다.

ABSTRACT

We define a relative version of tiling cohomology for the purpose of comparing the topology of tiling spaces when one is a factor of the other. We illustrate this with examples, and outline a method for computing the cohomology of tiling spaces of finite type.

연구 동기 및 목표

• 타일링 코hom로지에 있어 함자적이고 계산 가능한 도구의 부족을 해결하기 위해 상대 코hom로지 이론을 개발한다.
• 특히 표준 상대 코hom로지가 비단사 맵으로 인해 실패하는 경우에도, 한 타일링 공간이 다른 타일링 공간의 인수인 경우에 그들을 비교할 수 있도록 한다.
• 기존 기법으로는 다루기 어려웠던 유한형 타일링 공간의 코homology를 체계적으로 계산할 수 있는 방법을 제공한다.
• 코homology의 적용 범위를 타일링 역학에 확장하기 위해 몰입 코homology를 위상적 비교와 계산 도구로 도입한다.
• 구체적인 예제, 특히 2차원 이진 소렌로이드와 체어 대체 타일링에 대해 이 방법을 적용하고, 유한형 타일링 공간으로의 확장 경로를 제시한다.

제안 방법

• 몫 코hom로지 $ H_Q^k(X,Y) $ 는 $ f: X \to Y $ 가 1차 코chains에 대해 임베딩을 갖는 몰입 맵일 때, 몰입 복합체 $ C^k(X)/f^*(C^k(Y)) $ 의 코homology로 정의한다.
• 장점 긴 정렬 시퀀스를 통해 $ H^k(Y) $, $ H^k(X) $, $ H_Q^k(X,Y) $ 를 연결함으로써, 스네이크 보조정리에 기반한 재귀적 계산을 가능하게 한다.
• 정리 4 를 도입하여, $ X $ 와 $ Y $ 가 저차원 타일링 공간의 스펜션으로 다를 경우의 몰입 코hom로지를 계산한다.
• 몰입 코호모로지 체계를 아홉 개인 타일링 공간의 가족에 적용하여, 매번 정리 4 를 반복 적용함으로써 각 타일링 공간을 2차원 이진 소렌로이드와 연결한다.
• 유한형 타일링 공간 $ \nabla_{FT} $ 에서 대체 타일링 공간 $ \nabla_\sigma $ 로 가는 경로를 따라가며, 한 단계씩의 몰입 코호모로지를 결합하기 위해 스펙트럴 시퀀스 또는 반복된 장점 긴 정렬 시퀀스를 사용한다.
• 정점에서 무한 차수의 수퍼타일이 다수 만날 수 있는 복잡성을 해결하기 위해, $ k=0 $ 으로 정리 4 를 적용함으로써 유한한 궤도 집합을 제거하면서도 코호모로지적 구조를 유지할 수 있다.

실험 결과

연구 질문

• RQ1 한 타일링 동역학계가 다른 타일링 동역학계의 인수인 경우, 특히 인수 맵이 단사가 아닐 경우에 코호모로지를 어떻게 사용하여 두 동역학계를 비교할 수 있는가?
• RQ2 유한형 타일링 공간의 코호모로지적 구조는 무엇이며, 상대 코호모로지 도구를 통해 계산 가능할 수 있는가?
• RQ3 몰입 코호모로지가 대체 타일링 공간의 코호모로지를 단순한 몰입 단계로 분해하여 체계적으로 계산할 수 있는가?
• RQ4 저차원 타일링 공간의 스펜션은 고차원 타일링 공간의 코호모로지적 구조에서 어떤 역할을 하는가?
• RQ5 대체 타일링에서 정점에서 무한 순서의 수퍼타일이 만날 때 발생하는 위상적 복잡성을 코호모로지 도구를 통해 어떻게 다룰 수 있는가?

주요 결과

• 몰입 코호모로지가 비단사 맵이 존재하더라도 인수 맵을 통한 타일링 공간 비교를 위한 함자적 프레임워크를 제공한다.
• 정리 4 는 두 타일링 공간이 저차원 타일링 공간의 스펜션으로 다를 경우의 몰입 코호모로지를 계산할 수 있도록 하여 핵심 계산 도구가 된다.
• 2차원 이진 소렌로이드의 코호모로지는 $ H^1 = \nabla_3 \times \nabla[1/2]^4 \times \nabla $ 과 $ H^2 = \nabla_3 \times \nabla[1/2]^3 \times \nabla^2 $ 로 계산되며, 명시적인 장점 긴 정렬 시퀀스를 통해 그 구조가 설명된다.
• 이 방법은 체어 대체 타일링을 포함한 아홉 개의 타일링 공간의 코호모로지를 이진 소렌로이드의 코호모로지와 연결하는 데 성공적으로 적용되었다.
• 유한형 타일링 공간의 경우, 중간 공간이 표준 타일링 공간이 아니더라도 유한한 방향으로 정보를 몰입함으로써 코호모로지 계산의 경로를 제시한다.
• 이 접근법은 스펙트럴 시퀀스와 쌍의 장점 긴 정렬 시퀀스를 사용하여 한 단계씩의 몰입 코호모로지를 결합할 수 있게 하여, 복잡한 코호모로지 불변량의 계산을 가능하게 한다.