대체 타일링 공간의 동상학: 고차원 콜라링과 회전군 작용

본 논문은 대체(substitution) 타일링 공간의 Čech 동상학을 계산하는 기존 방법을 확장·개선한다. Anderson‑Putnam(2000)은 타일에 “콜라드”(collared) 정보를 붙여 경계 강제(force the border) 성질을 확보하고, 그 결과 얻은 CW 복합체 K와 대체 사상 σ를 이용해 역극한 lim←(K,σ) 로 타일링 공간 Ω를 재구성한다. 그러나 σ가 셀룰러 구조를 보존하지 않아 동상학 계산이 복잡해지는 문제가 있다. Barge‑Diamond(2008)는 1차원 경우에 점‑콜라딩(point‑collaring) 방식을 도입해, 각 점을 일정 거리 t 이내의 주변 패치에 따라 라벨링하고, 이를 통해 얻은 복합체 Kₜ가 셀룰러 사상과 잘 맞는다는 장점을 보였다. 본 논문은 이 아이디어를 고차원(특히 2차원)으로 일반화한다. 1. **점‑콜라딩 복합체 Kₜ 정의** - 임의의 타일링 T와 양의 실수 t에 대해, 두 점 x, y∈ℝᵈ가 Bₜ(x)와 Bₜ(y) 내의 타일 구성이 동일하면 x∼ₜy 로 정의한다. - 이 동치 관계의 몫 공간을 Kₜ라 하고, 자연스러운 투사 π:Ω→Kₜ를 둔다. - t가 충분히 크면 Kₜ는 Anderson‑Putnam의 n‑fold 콜라드 복합체와 동형이며, t가 작을 때는 점‑레벨의 미세 정보를 보존한다. 2. **역극한을 통한 Ω 재구성** - t₀≤t₁≤…→∞인 수열에 대해 “잊어버리기” 사상 f_{t_{i+1},t_i}:K_{t_{i+1}}→K_{t_i} (동치 관계가 강해짐에 따라 정의) 를 이용하면 lim←(K_{t_i},f) ≅ Ω가 된다. 이는 모든 타일링이 동일한 패치 집합을 공유한다는 전제 하에 성립한다. 3. **대체 사상 σ와 셀룰러 사상 \tildeσ** - 확장 선형 사상 L(>1)과 대체 σ가 주어지면, σ는 Kₜ를 K_{λt} 로 보낸다. - 직접적으로 σ는 셀룰러 구조를 보존하지 않으므로, σ와 동형이면서 셀룰러인 \tildeσ:Kₜ→Kₜ를 구성한다. 구체적으로는 σ 뒤에 “점을 가장 가까운 정점으로 흐르게 하는 흐름”을 붙여 셀룰러 사상으로 만든다. - 이렇게 하면 \check H⁎(Ω)=lim→(H⁎(Kₜ),\tildeσ⁎) 가 된다. 4. **층화(stratification)와 상대 동상학** - Kₜ는 점이 알고 있는 이웃의 깊이에 따라 S₀⊂S₁⊂…⊂Kₜ 로 층화된다. 예를 들어, S₀는 각 타일 내부의 점, S₁은 가장자리 근처 점, S₂는 꼭짓점 근처 점 등을 포함한다. - \tildeσ가 각 층을 보존하도록 선택하면, 상대 동상학 \check H⁎(S_{k+1},S_k) 를 개별적으로 계산하고, 이들을 직접극한에 삽입해 전체 동상학을 단계별로 해석할 수 있다. 5. **구체적 예제: 의자(Chair) 타일링** - 의자 타일링에 대해 Kₜ를 구성하고, 0‑,1‑,2‑차 셀을 명시한다. - \tildeσ⁎의 행렬을 직접 구해, H⁰≈ℤ, H¹≈ℤ³, H²≈ℤ² 를 얻는다. 이는 기존 Anderson‑Putnam 계산과 일치하지만, 점‑콜라딩 덕분에 셀 구조가 단순해져 손으로도 검증 가능함을 강조한다. 6. **회전군 작용과 Ω₁, Ω_rot, Ω₀** - 평행이동만 허용하는 경우 Ω₁, 전체 유클리드 군(E(2)) 작용을 허용하는 경우 Ω_rot, 순수 회전만 고려하는 경우 Ω₀ 를 정의한다. - 일반적인 관계 \check H⁎(Ω₁) → \check H⁎(Ω_rot) → \check H⁎(Ω₀) 를 증명하고, Penrose 타일링에 대해 Ω_rot의 최고 차원 동상학에 5‑torsion이 나타나는 것을 계산한다. 이는 n‑fold 회전 대칭을 가진 타일이 존재함을 의미한다. 7. **핀휠(Pinwheel) 타일링** - 핀휠 타일링은 무한히 많은 회전 각을 갖는 비주기적 타일링으로, 전통적인 콜라딩 방법으로는 다루기 어려웠다. - 본 논문의 Kₜ와 \tildeσ를 적용해, 회전군을 포함한 역극한을 구성하고, 직접극한을 계산한다. 결과적으로 \check H⁰≈ℤ, \check H¹≈ℤ