[논문 리뷰] Noncommutative geometry on trees and buildings

Gunther Cornelissen, Matilde Marcolli외 2명|ArXiv.org|2006. 04. 05.

Advanced Operator Algebra Research인용 수 9

한 줄 요약

이 논문은 안정화된 그래프 C*-대수와 고차수 Cuntz–Krieger 대수를 사용하여, 나무와 빌딩 위의 비가환 기하학에 대한 유한하게 합산 가능한 스펙트럴 트리플을 정교화함으로써, 유한하게 합산 가능한 스펙트럴 트리플을 구성한다. 주요 기여는 무姆포드 곡선과 고차수 빌딩에 대한 유한하게 합산 가능한 스펙트럴 트리플을 제공하여, 콘스-모스코비치 지표 공식을 통해 제타 함수 불변량을 도출할 수 있게 한다.

ABSTRACT

We describe the construction of theta summable and finitely summable spectral triples associated to Mumford curves and some classes of higher dimensional buildings. The finitely summable case is constructed by considering the stabilization of the algebra of the dual graph of the special fiber of the Mumford curve and a variant of the Antonescu-Christensen spectral geometries for AF algebras. The information on the Schottky uniformization is encoded in the spectral geometry through the Patterson-Sullivan measure on the limit set. Some higher rank cases are obtained by adapting the construction for trees.

연구 동기 및 목표

• 스태빌라이제이션된 그래프 C*-대수를 사용하여 무姆포드 곡선에 대한 썰림-합산 가능한 스펙트럴 트리플을 유한하게 합산 가능한 것으로 정교화한다.
• 트리와 클라인단 군에서의 비가환 기하학을 고차수 유클리드 및 하이퍼볼릭 빌딩으로 일반화한다.
• 제타 함수와 콘스-모스코비치 국소 지표 공식을 통해 기하학적 불변량을 추출하는 프레임워크를 수립한다.
• 브루하트–티츠 빌딩의 $\tilde{A}_2$ 유형과 관련된 고차수 Cuntz–Krieger 대수로 스펙트럴 트리플 구성 확장한다.
• 빌딩과 관련된 AF 대수의 스태빌라이제이션은 유한하게 합산 가능한 스펙트럴 트리플을 유도하며, 이는 단위 원소의 경우를 일반화한다.

제안 방법

• 비단위 원소의 Antonescu와 Christensen의 AF 대수에 대한 구축 방식을 스태빌라이제이션된 그래프 C*-대수 설정에서 유한 합산 가능성을 달성하기 위해 적응한다.
• 스코티 그룹이 극한 집합에 작용하는 데 사용되는 교차곱 대수 $\mathcal{A} = C(\Lambda_\Gamma) \rtimes \Gamma$를 사용하며, 이를 Cuntz–Krieger 대수 $O_A$로 식별한다.
• 힐베르트 공간 $\mathcal{H} = \mathcal{L} \oplus \mathcal{L}$ 과 디랙 연산자 $\mathcal{D} = FD$ 를 정의한다. 여기서 $F$ 는 복사들을 교환하는 플립 연산자이다.
• 단위 연산자 $T_{\gamma^{-1}}$ 를 사용하여 $\mathcal{A}$ 를 $\mathcal{H}$ 에 표현하며, 이는 $\gamma'_v(x)^{1/2}$ 를 통해 작용하고, 대수적 부분대수 $\mathcal{A}_0$ 를 유지한다.
• 공호모로지 계산과 스펙트럴 트리플 공리의 검증을 위해 $\mathcal{S}_T = (\mathcal{S} \times \mathbb{R}) / \mathbb{Z}$ 를 통한 호모토피 몫 구성법을 적용한다.
• 고차수 빌딩으로의 프레임워크 확장을 위해 $r$차원 단어와 전이 행렬 $A_j$ 를 사용하여 고차수 Cuntz–Krieger 대수 $O_{A_1,\ldots,A_r}$ 를 이끌어낸다.

실험 결과

연구 질문

• RQ1 무姆포드 곡선에 대한 썰림-합산 가능한 스펙트럴 트리플은 그래프 C*-대수의 스태빌라이제이션을 통해 유한하게 합산 가능한 것으로 업그레이드될 수 있는가?
• RQ2 트리 위의 비가환 기하학은 어떻게 고차수 유클리드 및 하이퍼볼릭 빌딩으로 일반화될 수 있는가?
• RQ3 고차수 Cuntz–Krieger 대수는 $\tilde{A}_2$ 유형의 빌딩에 대해 유한하게 합산 가능한 스펙트럴 트리플을 실현하는 데 어떤 역할을 하는가?
• RQ4 콘스-모스코비치 국소 지표 공식은 산술 표면과 빌딩으로부터 유도된 비가환 공간의 불변량에 적용될 수 있는가?
• RQ5 전이 행렬에 대한 호환성 조건 (H0)–(H3) 는 고차수 설정에서 잘 정의된 스펙트럴 트리플의 존재를 보장하는 데 어느 정도까지 기여하는가?

주요 결과

• 논문은 무姆포드 곡선의 특별 섹션의 이중 그래프에 대한 스태빌라이제이션된 그래프 C*-대수에 대해 유한하게 합산 가능한 스펙트럴 트리플을 구성한다.
• 스펙트럴 트리플은 그래프와 관련된 AF 대수의 스태빌라이제이션을 통해 유한 합산 가능성을 달성하며, 이는 콘스-모스코비치 지표 공식의 사용을 가능하게 한다.
• 스펙트럴 트리플은 $\mathcal{A} = \mathcal{B} \rtimes \Gamma$ 의 형태의 교차곱으로 실현되며, $\mathcal{B}$ 는 극한 집합 위의 국소적으로 상수 함수의 대수이다.
• 고차수 빌딩의 $\tilde{A}_2$ 유형에 대해, $C(\Lambda) \rtimes \Gamma$ 는 고차수 Cuntz–Krieger 대수 $O_{A_1,A_2}$ 와 동형이며, 호환성 조건을 만족한다.
• AF 대수 $\overline{\mathcal{F}}_{A_1,\ldots,A_r}$ 의 스태빌라이제이션은 비단위 원소의 AF 대수를 유도하며, 이는 유한하게 합산 가능한 스펙트럴 트리플을 지원한다.
• 밀도 있는 부분대수 $\mathcal{A}_0$ 에 속하는 모든 $a$ 에 대해 $[D, a]$ 는 유계이다. 이는 비단위 설정에서 스펙트럴 트리플 공리의 검증을 가능하게 한다.