[논문 리뷰] Trees, ultrametrics, and noncommutative geometry

Bruce Hughes|arXiv (Cornell University)|2006. 05. 04.

Advanced Operator Algebra Research참고 문헌 22인용 수 5

한 줄 요약

이 논문은 비가환 기하학, 특히 레누아르의 군화된 C*-대수를 사용하여 초거리 공간과 무한원에서의 국소 기하학을 연구한다. 가산 군의 국소 강성 있는 작용을 컴팩트 초거리 공간에 도입하고, 관련 C*-대수로에 대한 충실한 유니터리 표현을 증명한다. 이는 비르게트와 네크라셰비치의 톰슨 군 V의 Cuntz 대수 $\mathcal{O}_2$ 위에 대한 표현을 특수한 경우로 복원한다.

ABSTRACT

Noncommutative geometry is used to study the local geometry of ultrametric spaces and the geometry of trees at infinity. Connes's example of the noncommutative space of Penrose tilings is interpreted as a non-Hausdorff orbit space of a compact, ultrametric space under the action of its local isometry group. This is generalized to compact, locally rigid, ultrametric spaces. The local isometry types and the local similarity types in those spaces can be analyzed using groupoid C^*-algebras. The concept of a locally rigid action of a countable group Γon a compact, ultrametric space by local similarities is introduced. It is proved that there is a faithful unitary representation of Γinto the germ groupoid C^*-algebra of the action. The prototypical example is the standard action of Thompson's group V on the ultrametric Cantor set. In this case, the C^*-algebra is the Cuntz algebra O_2 and representations originally due to Birget and Nekrashevych are recovered. End spaces of trees are sources of ultrametric spaces. Some connections are made between locally rigid, ultrametric spaces and a concept in the theory of tree lattices of Bass and Lubotzky.

연구 동기 및 목표

• 국소 등거리 유형의 몫공간을 비하우스도르프 궤도 공간으로 해석함으로써, 콘네스의 비가환 기하학 프레임워크를 컴팩트 초거리 공간으로 확장한다.
• 군화된 C*-대수를 사용하여 초거리 공간 내 국소 등거리 및 국소 유사 유형을 분석한다.
• 비르게트와 네크라셰비치의 톰슨 군 V의 $\mathcal{O}_2$로의 충실한 유니터리 표현을 더 넓은 군 작용의 범주로 일반화한다.
• 나무의 끝 공간을 통해 국소 강성 있는 초거리 공간과 나무 격자 이론 사이의 연결 고리를 설정한다.
• 초거리 기하학과 비가환 C*-대수의 시각에서 상호 기호 역학과 기하학적 군론을 통합한다.

제안 방법

• 가산 군 $\Gamma$ 가 컴팩트하고 국소 강성 있는 초거리 공간 $X$ 위에서 국소 유사를 통해 작용하는 것을 모델링하기 위해 레누아르의 군화된 C*-대수 이론을 사용한다.
• 작용과 관련된 기저 군화된 $\mathcal{G}_\Gamma(X)$ 를 구성하고, 그 C*-대수가 $X$ 의 국소 기하학을 포착함을 보인다.
• 초거리 공간과 작용에 대한 국소 강성을 정의하여, 국소 등거리가 한 점에서의 기저에 의해 유일하게 결정됨을 보장한다.
• 루트가 있는 지오데식적으로 완전하고 국소적으로 유한한 나무의 끝 공간에 이 те올리를 적용하여, 이러한 공간이 자연스럽게 초거리임을 보인다.
• 브라텔리 다이어그램을 사용하여 나무의 경로 군화를 모델링하고, $n$-진 나무의 경우 Cuntz 대수 $\mathcal{O}_n$ 와 관련시킨다.
• 거의 자동형군 $\mathrm{AAut}(T,v)$ 는 $LS_{l.o.p.}(X)$ 와 동형이며, 끝 공간 $X$ 에서 국소 강성 있게 작용한다.

실험 결과

연구 질문

• RQ1 비가환 기하학은 컴팩트 초거리 공간 내 국소 등거리 유형을 어떻게 연구할 수 있는가?
• RQ2 비가환 공간으로서의 국소 등거리 유형의 공간이 잘 정의되고 C*-대수적 분석에 적합한 초거리 공간의 범주는 무엇인가?
• RQ3 톰슨 군 $V$ 가 $\mathcal{O}_2$ 로의 충실한 유니터리 표현은 다른 군 작용에 적용 가능한 일반 원리로부터 유도될 수 있는가?
• RQ4 국소 강성 있는 작용이 초거리 공간에서의 나무 격자 이론과의 관계는 무엇인가?
• RQ5 기호 역학에서의 尾等가치와 초거리 공간 내 국소 등거리 사이의 관계는 무엇인가?

주요 결과

• 펜로즈 타일링의 공간은 국소 등거리에 대한 컴팩트 초거리 공간의 비하우스도르프 몫으로 해석되며, 그 비가환 기하학은 AF C*-대수로 기록된다.
• 가산 군 $\Gamma$ 가 컴팩트 초거리 공간 $X$ 에서 국소 유사를 통해 국소 강성 있게 작용할 경우, 관련 기저 군화의 C*-대수 내에 충실한 유니터리 표현이 존재한다.
• 표준적인 톰슨 군 $V$ 의 칸토어 집합 위에서의 작용(2-진 나무의 끝 공간)에 대해, 관련 C*-대수는 Cuntz 대수 $\mathcal{O}_2$ 이며, 기존의 알려진 표현을 복원한다.
• 히그먼-톰슨 군 $G_{n,1}$ 은 $n$-진 나무의 끝 공간에서 국소 강성 있게 작용하며, 군화된 C*-대수 구성법을 통해 $\mathcal{O}_n$ 으로의 충실한 유니터리 표현이 복원된다.
• 국소적으로 유한하고 루트가 있으며 지오데식적으로 완전한 나무의 끝 공간은 컴팩트 초거리 공간이며, 그 국소 유사 군 $LS_{l.o.p.}(X)$ 는 거의 자동형군 $\mathrm{AAut}(T,v)$ 와 동형이다.
• 기호 역학에서의 尾등가치는 관련 초거리 공간 내 국소 등거리를 암시하지만, 그 역은 일반적으로 성립하지 않으며, 이는 두 개념 사이에 엄밀한 계층관계가 있음을 보여준다.