[논문 리뷰] The Noncommutative Geometry of Graph $C^*$-Algebras I: The Index Theorem

David Pask, Adam Rennie|ArXiv.org|2005. 08. 01.

Advanced Operator Algebra Research참고 문헌 14인용 수 10

한 줄 요약

이 논문은 충실한 게이지 불변 추적을 갖는 그래프 $C^*$-대수에 대해 $(1,\infty)$-summable 반유한 스펙트럴 트리플을 구축한다. 게이지 작용과 고정점 대수를 스칼라로 사용하며, 반유한 국소 인덱스 정리에 의해 수치적 인덱스 페어링을 확립한다. 이 페어링은 $K_1(C^*(E))$와 일치하며, 고정점 대수에서 추적에 의해 유도된 $K_0$-사상과 같으며, 대수의 동형류보다 더 세밀한 불변량을 제공한다.

ABSTRACT

We investigate conditions on a graph $C^*$-algebra for the existence of a faithful semifinite trace. Using such a trace and the natural gauge action of the circle on the graph algebra, we construct a smooth $(1,\infty)$-summable semfinite spectral triple. The local index theorem allows us to compute the pairing with $K$-theory. This produces invariants in the $K$-theory of the fixed point algebra, and these are invariants for a finer structure than the isomorphism class of $C^*(E)$.

연구 동기 및 목표

• 그래프 $C^*$-대수의 비가환 기하학적 프레임워크를 반유한 스펙트럴 트리플을 사용하여 개발하기.
• 충실한 게이지 불변 추적을 갖는 그래프 $C^*$-대수에 대해 표준 인덱스 정리를 반유한 설정으로 확장하기.
• 스펙트럴 트리플과 $K_1(C^*(E))$ 사이의 수치적 인덱스 페어링을 계산하고, 고정점 대수의 $K_0$-이론과 연결하기.
• 결과로 얻어진 인덱스 불변량이 $C^*(E)$의 동형류보다 더 세밀한 대수적 구조를 감지함을 보여주기.

제안 방법

• 지정된 게이지 불변 추적 $\tau$를 사용하여, $S^1$ 게이지 작용에 대한 고정점 대수 $F$에서의 $C^*(E)$-$F$-모듈 $X$와 연산자 $V$로 구성된 기하학적 모듈 $(X,V)$를 정의한다. 이는 국소적으로 유한한 그래프에서 소스 없이 성립한다.
• 주어진 게이지 불변 추적 $\tau$를 바탕으로, $C^*$-$F$-모듈 $X$의 엔도모르피즘 대수에서의 자연스러운 충실한 반유한 하향 연속 추적 $\tilde{\tau}$를 정의한다.
• 모듈 $X$와 연산자 $\mathcal{D}$를 사용하여, $C^*(E)$의 매끄러운 부분대수 ${\mathcal{A}}$에 대해 $(1,\infty)$-summable 반유한 스펙트럴 트리플 $({\mathcal{A}},{\mathcal{H}},{\mathcal{D}})$를 구성한다.
• 반유한 국소 인덱스 정리를 적용하여, 수치적 인덱스 페어링 $\langle K_1(C^*(E)), ({\mathcal{A}},{\mathcal{H}},{\mathcal{D}}) \rangle$를 계산한다.
• 인덱스 페어링이 $\tilde{\tau}_* \langle K_1(C^*(E)), (X,V) \rangle$와 일치함을 보이며, 여기서 $\tilde{\tau}_*$는 엔도모르피즘 대수에서의 반유한 추적에 의해 유도된 $K$-이론 사상이다.
• 고정점 대수 $F$에서의 인덱스 클래스를 사용하여, 동형이 아닌 그래프 $C^*$-대수를 식별할 수 있는 불변량을 정의한다.

실험 결과

연구 질문

• RQ1 표준 스펙트럴 트리플 공리가 실패할 수 있는 상황에서도, 충실한 게이지 불변 추적을 갖는 그래프 $C^*$-대수에 대해 반유한 스펙트럴 트리플을 구성할 수 있는가?
• RQ2 반유한 국소 인덱스 정리는 이러한 스펙트럴 트리플에 어떻게 적용되며, 그 결과로 $K_1(C^*(E))$와의 인덱스 페어링은 무엇인가?
• RQ3 반유한 추적을 통한 인덱스 페어링는 $KK$-동치에 대해 불변이며, $C^*(E)$의 동형류를 초월해 더 세밀한 구조를 감지하는가?
• RQ4 게이지 작용 하에서의 고정점 대수 $F$는 올바른 컴acts성과 스칼라 구조 개념을 정의하는 데 어떤 역할을 하는가?

주요 결과

• 반유한 스펙트럴 트리플과 $K_1(C^*(E))$ 사이의 수치적 인덱스 페어링은 $\tilde{\tau}_* \langle K_1(C^*(E)), (X,V) \rangle$와 같으며, 여기서 $\tilde{\tau}_*$는 엔도모르피즘 대수에서의 자연스러운 반유한 추적에 의해 유도된 $K$-이론 사상이다.
• 이 구성은 충실한 게이지 불변 추적을 갖는 임의의 그래프 $C^*$-대수에 대해 $(1,\infty)$-summable 반유한 스펙트럴 트리플을 제공하며, 표준 스펙트럴 트리플 프레임워크를 초월한 비가환 기하학의 적용 범위를 확장한다.
• 인덱스 클래스는 $S^1$ 게이지 작용에 대한 고정점 대수 $F$에 속하며, 이 클래스는 $C^*(E)$의 동형류보다 더 세밀한 구조의 불변량이다.
• 이 방법은 그래프 $C^*$-대수에 대해 새로운 $K$-이론적 불변량을 제공하며, 동형이지만 다른 인덱스 페어링을 갖는 비동형 대수의 예를 통해 이를 입증한다.
• 페어링은 이중선형이며 $KK$-동치를 유지하며, 더 큰 모듈에서 $PuP$의 핵과 상위핵을 통해 정의된 인덱스로 일반화된 스펙트럴 플로우를 일반화한다.
• 비단위 그래프 $C^*$-대수의 경우, 그의 준국소적 구조 덕분에 이 구성은 유효하며, 매끄러운 국소 대수 기법을 적용할 수 있다.