[논문 리뷰] Groups acting on products of trees, tiling systems and analytic K-theory

Jason Kimberley, Guyan Robertson|arXiv (Cornell University)|2013. 02. 23.

Advanced Operator Algebra Research참고 문헌 12인용 수 12

한 줄 요약

이 논문은 비정류성 없는 이산 부분군으로서, 짝수 차수 ≥4인 두 개의 동차 트리의 곱공간에서 자유롭고 전형적으로 작용하는 BM 군들을 다루며, 이를 고차원 Cuntz-Krieger 대수와 연관지운다. 이 대수의 K-이론에 대한 명시적 공식을 유도하여 K₀ = K₁임을 증명하고, 항등원의 동치류가 토르션임을 보인다. 4차수 트리의 경우, 이러한 군들을 완전히 분류하고 K-군을 계산하여 완전한 열거와 K-이론 불변량을 제공한다.

ABSTRACT

Let $T_1$ and $T_2$ be homogeneous trees of even degree $\ge 4$. A BM group $Γ$ is a torsion free discrete subgroup of $\aut (T_1) imes \aut (T_2)$ which acts freely and transitively on the vertex set of $T_1 imes T_2$. This article studies dynamical systems associated with BM groups. A higher rank Cuntz-Krieger algebra $\mathcal A(\G)$ is associated both with a 2-dimensional tiling system and with a boundary action of a BM group $Γ$. An explicit expression is given for the K-theory of $\mathcal A(\G)$. In particular $K_0=K_1$. A complete enumeration of possible BM groups $\G$ is given for a product homogeneous trees of degree 4, and the K-groups are computed.

연구 동기 및 목표

• BM 군이 동차 트리의 곱공간에서 작용하는 동역학계와 C*-대수를 연구한다.
• 관련된 고차원 Cuntz-Krieger 대수의 K-이론을 계산하며, 특히 K₀ = K₁임을 확립한다.
• 동차 트리의 4차수 곱공간에서 작용하는 모든 BM 군들을 완전히 분류한다.
• 4차수 경우의 모든 이러한 BM 군들의 아벨화와 K-군을 계산한다.
• C*-대수 불변량을 통해 타일링 체계, 경계 작용, 해석적 K-이론 사이의 연결 고리를 수립한다.

제안 방법

• BM 군 Γ가 T₁ × T₂에서 작용함으로써 유도되는 2차원 타일링 체계에서 고차원 Cuntz-Krieger 대수 A(Γ)를 구성한다.
• Γ의 경계 작용에서 유도된 교차곱 C*-대수로서 A(Γ)를 식별하며, [RS1]의 단순성 및 분류 결과를 활용한다.
• 고차원 K-이론 기법을 [RS2]에서 유도하여 랭크-2 경우의 K₀(𝒜(Γ))와 K₁(𝒜(Γ))에 대한 명시적 표현을 도출한다.
• T₁ × T₂의 정점에 대한 유형 맵을 사용하여 자기동형사상들을 특성화하고, 유형 전환 자기동형사상이 정확히 트리 자기동형사상의 곱임을 증명한다.
• 조합론적 및 군론적 기법을 활용하여 4차수 동차 트리의 모든 BM 군들을 열거한다.
• 군의 표현과 구조적 성질을 이용하여 아벨화와 K-군을 계산한다.

실험 결과

연구 질문

• RQ1 짝수 차수 ≥4인 동차 트리의 곱공간에서 작용하는 BM 군과 관련된 C*-대수의 K-이론은 무엇인가?
• RQ2 이 클래스의 C*-대수에서 K₀ 군은 K₁ 군과 어떻게 관련되어 있는가?
• RQ3 4차수 동차 트리의 곱공간에서 작용하는 모든 BM 군들을 완전히 분류할 수 있는가?
• RQ4 이러한 대수에서 K₀(𝒜(Γ))의 항등원 동치류는 토르션 원소인가?
• RQ5 4차수 경우의 각 BM 군의 아벨화와 K-이론의 구조는 어떠한가?

주요 결과

• 모든 4차수 동차 트리의 곱공간에서 작용하는 BM 군에 대해, 52개의 서로 다른 군이 명시적인 표현과 함께 완전히 나열된다.
• 관련된 C*-대수의 K-이론은 모든 이러한 군들에 대해 K₀(𝒜(Γ)) = K₁(𝒜(Γ))를 만족한다.
• 항등원의 동치류가 K₀(𝒜(Γ))에 속하는 것은 토르션 원소임이 증명되었으며, 이는 명제 5.4에 의해 입증된다.
• 4차수의 경우 52개의 BM 군에 대해 K-군이 명시적으로 계산되어 표로 정리되었으며, 각 군에 대해 K₀와 K₁ 값이 제시된다.
• C*-대수 𝒜(Γ)는 순수하게 무한대, 단순, 유니탈, 핵심적이며, 따라서 K-이론에 의해 완전히 분류된다.
• 군 작용으로부터 유도된 타일링 체계는 경계 작용에서의 교차곱과 동형인 Cuntz-Krieger 대수를 유도한다.