[논문 리뷰] C*-algebras of tilings with infinite rotational symmetry

Michael F. Whittaker|arXiv (Cornell University)|2010. 10. 11.

Advanced Operator Algebra Research참고 문헌 24인용 수 8

한 줄 요약

이 논문은 C*-대수의 구성법을 무한 회전 대칭을 갖는 타일링, 예를 들어 Conway-Radin Pinwheel 타일링에까지 확장한다. 이는 타일링의 이동 동역학 시스템에 기반한 에탈 등가관계를 통해 군oids C*-대수를 정의함으로써 이루어지며, 분리 가능한 밀도 부분집합을 식별하고, 치환 타일링에 대해 AT-부분대수를 구성한다. Pinwheel 타일링의 AT-대수의 단순성을 증명하고, 가역적이지 않은 연결 행렬을 가진 인덕티브 극한 시스템을 통해 K-이론을 계산한다.

ABSTRACT

A tiling with infinite rotational symmetry, such as the Conway-Radin Pinwheel Tiling, gives rise to a topological dynamical system to which an étale equivalence relation is associated. A groupoid C*-algebra for a tiling is produced and a separating dense set is exhibited in the C*-algebra which encodes the structure of the topological dynamical system. In the case of a substitution tiling, natural subsets of this separating dense set are used to define an AT-subalgebra of the C*-algebra. Finally our results are applied to the Pinwheel Tiling.

연구 동기 및 목표

• 타일링의 C*-대수 구성법을 Pinwheel 타일링과 같은 무한 회전 대칭을 갖는 타일링으로 일반화한다.
• 타일링의 이동 동역학 시스템을 기반으로 르누아당의 이론을 이용해 군oids C*-대수를 정의한다.
• 타일링의 위상수학적 역학을 코딩하는 C*-대수 내의 분리 가능한 밀도 부분집합을 제시한다.
• 무한 회전 대칭을 갖는 치환 타일링, 특히 Pinwheel 타일링에 대해 AT-부분대수를 구성한다.
• Pinwheel 타일링의 AT-대수의 K-이론을 계산하고 그 구조를 조사한다.

제안 방법

• R²의 작용을 통해 타일링의 이동 집합에서 위상수학적 동역학 시스템을 구성한다.
• 타일링의 공간 위에 에탈 등가관계를 군oids로 정의함으로써 르누아당의 군oids C*-대수 구성법을 적용할 수 있도록 한다.
• 치환 관계를 통해 타일링의 역학적 구조를 반영하는 C*-대수 내의 분리 가능한 밀도 부분집합을 식별한다.
• 치환 타일링의 경우, 원 위에서의 행렬 대수의 인덕티브 극한 시스템을 정의하여 AT-부분대수를 구성한다.
• 치환 규칙을 사용해 인덕티브 시스템의 연속된 수준 간의 연결 사상(연결 매핑)을 정의한다. 특히 Pinwheel 타일링에 대해 적용한다.
• 다다르라트 등이 제시한 AT-대수의 단순성 기준을 적용하기 위해, 조밀한 회전을 거쳐도 영이 아닌 원소가 여전히 영이 아니라는 것을 확인한다.

실험 결과

연구 질문

• RQ1 군oids 방법을 사용하여 무한 회전 대칭을 갖는 타일링, 예를 들어 Pinwheel 타일링에 대해 C*-대수를 어떻게 구성할 수 있는가?
• RQ2 이러한 타일링의 C*-대수 내 분리 가능한 밀도 부분집합의 구조는 어떠한가? 그 원소들은 어떻게 교환 관계를 만족하는가?
• RQ3 무한 회전 대칭을 갖는 치환 타일링의 C*-대수 내에 자연스럽게 AT-부분대수를 정의할 수 있는가?
• RQ4 Pinwheel 타일링의 AT-부분대수는 단순한가? 이러한 성질을 보장하는 조건은 무엇인가?
• RQ5 Pinwheel 타일링의 AT-대수의 K-이론은 무엇이며, 이는 코homological 불변량과 어떻게 관련이 있는가?

주요 결과

• Pinwheel 타일링의 AT-부분대수는 반복된 치환 사상에서 함수의 값이 0이 되지 않음을 보여주는 기준을 통해 단순성을 증명한다.
• AT-대수의 K₀ 및 K₁ 군은 서로 동형이며, 다음 비분할 정확수열을 이룬다: 0 → ℤ → K₀ → ℤ[1/5] → 0.
• K-이론은 연결 매핑이 행렬 [[2,3],[3,2]]로 주어진 ℤ⊕ℤ의 인덕티브 극한으로 계산되며, 이는 정수 위에서 가역적이지 않다.
• K-이론의 인덕티브 극한 시스템은 분해되지 않으며, K-군 내 비자명한 확장 구조를 나타낸다.
• AT-부분대수의 구성은 치환 규칙이 수준 M에서 두 성분에 대해 5^M개의 서로 다른 행렬 성분을 생성함에 따라, 원회전 하에 비영 지원이 유지된다는 데 기반한다.
• 무리수 회전으로 인해 반복된 치환 사상 하에서 함수의 비영 지원이 원 위에서 조밀하다는 것이 입증되었으며, 이는 단순성 기준을 충족시킴을 보여준다.