[논문 리뷰] Torsion in Tiling Homology and Cohomology

Franz Gähler, John Hunton외 1명|arXiv (Cornell University)|2005. 05. 19.

Quasicrystal Structures and Properties참고 문헌 16인용 수 11

한 줄 요약

이 논문은 비정규 타일링에서의 위상적 불변량을 재평가하며, 특히 3차원 이하의 코디멘션에서의 타일링 호몰로지 및 코호몰로지에서의 토르션을 분석함으로써, 정규 프로젝션 타일링에 대해 수행한다. 이는 물리적 차원 ≤3에서 코호몰로지와 K-이론이 일치함을 입증하며, 토르션이 K-이론에 존재함을 보여주며, 특히 Tübingen 삼각형 타일링에서 그러한 토르션이 존재함을 보여준다. 그러나 고차원에서의 코호몰로지와 K-이론 간의 일반적 동치성은 여전히 열려있는 문제로 남아 있다.

ABSTRACT

The first author's recent unexpected discovery of torsion in the integral cohomology of the Tübingen Triangle Tiling has led to a re-evaluation of current descriptions of and calculational methods for the topological invariants associated with aperiodic tilings. The existence of torsion calls into question the previously assumed equivalence of cohomological and K-theoretic invariants as well as the supposed lack of torsion in the latter. In this paper we examine in detail the topological invariants of canonical projection tilings; we extend results of Forrest, Hunton and Kellendonk to give a full treatment of the torsion in the cohomology of such tilings in codimension at most 3, and present the additions and amendments needed to previous results and calculations in the literature. It is straightforward to give a complete treatment of the torsion components for tilings of codimension 1 and 2, but the case of codimension 3 is a good deal more complicated, and we illustrate our methods with the calculations of all four icosahedral tilings previously considered. Turning to the K-theoretic invariants, we show that cohomology and K-theory agree for all canonical projection tilings in (physical) dimension at most 3, thus proving the existence of torsion in, for example, the K-theory of the Tübingen Triangle Tiling. The question of the equivalence of cohomology and K-theory for tilings of higher dimensional euclidean space remains open.

연구 동기 및 목표

• Tübingen 삼각형 타일링의 정수 코호몰로지에서 토르션이 발견된 이후, 비정규 타일링의 위상적 불변량을 재평가하기 위해.
• 특히 코디멘션 1, 2, 3에서의 정규 프로젝션 타일링의 코호몰로지에서 토르션의 존재 및 구조를 조사하기 위해.
• 특히 저차원 물리 공간에서 비정규 타일링의 코호몰로지 및 K-이론적 불변량 간의 동치성을 평가하기 위해.
• 이전 문헌에서 토르션과 타일링 이론의 불변량에 관해 잘못된 결과가 있었음을 수정하고 보완하기 위해.
• 3차원 코디멘션에서 이코사헤드럴 타일링의 토르션 구성 요소를 상세한 계산 방법을 통해 완전히 다루기 위해.

제안 방법

• Forrest, Hunton, Kellendonk의 작업을 확장하여, 코디멘션 ≤3에서의 정규 프로젝션 타일링에 대한 코호몰로지에서의 토르션을 체계적으로 분석한다.
• 스펙트럴 시퀀스와 정수 호몰로지 계산을 포함한 대수적 위상수학 기법을 적용하여 토르션 부분군을 규명한다.
• 정규 프로젝션 구조를 사용하여 물리 공간의 타일링을 컷-앤드-프로젝션 세트로 모델링함으로써 정밀한 위상적 분석이 가능하도록 한다.
• 4개의 알려진 이코사헤드럴 타일링에 대해 명시적인 계산을 수행하여, 코디멘션 3에서의 방법을 구체적으로 설명한다.
• Atiyah-Segal 완비화 정리와 K-이론적 스펙트럴 시퀀스를 사용하여 저차원 타일링에서 코호몰로지와 K-이론을 비교한다.
• 토르션 부분군에서의 동형사상 검증을 통해 물리적 차원 ≤3에서 코호몰로지와 K-이론 간의 일치를 검증한다.

실험 결과

연구 질문

• RQ1 Tübingen 삼각형 타일링의 K-이론에서 토르션이 존재하는가? 만약 존재한다면, 코호몰로지에서의 토르션과의 관계는 어떠한가?
• RQ2 정규 프로젝션 타일링에서 물리적 차원 ≤3에서 코호몰로지적 불변량과 K-이론적 불변량이 어느 정도 일치하는가?
• RQ3 코디멘션 3에서 정규 프로젝션 타일링의 코호몰로지에서 토르션의 완전한 구조는 무엇인가?
• RQ4 최근에 발견된 정수 코호몰로지에서의 토르션을 고려할 때, 이전 문헌의 계산 결과는 어느 정도 수정되어야 하는가?
• RQ5 고차원 비정규 타일링에서 코호몰로지와 K-이론 간의 동치성은 유지되는가?

주요 결과

• Tübingen 삼각형 타일링의 정수 코호몰로지에서 토르션이 존재함을 입증하며, 이는 이러한 불변량에서 토르션의 부재를 전제로 하던 이전의 가정을 도전한다.
• 코디멘션 1 및 2에서 정규 프로젝션 타일링의 토르션 구성 요소에 대한 완전한 처리가 이루어졌으며, 명시적인 구조적 기술이 제공되었다.
• 코디멘션 3에서는 분석이 훨씬 더 복잡하지만, 이 방법은 알려진 4개의 이코사헤드럴 타일링 모두에 성공적으로 적용되었다.
• 모든 정규 프로젝션 타일링에서 물리적 차원 ≤3에서 코호몰로지와 K-이론이 일치함을 확인하였으며, K-이론에서의 토르션 존재를 확인하였다.
• 고차원 유클리드 공간에서의 코호몰로지와 K-이론 간의 동치성은 여전히 해결되지 않은 채로 남아 있으며, 핵심적인 열린 질문으로 남아 있다.