[논문 리뷰] Subalgebras of Graph C*-Algebras

Alan Hopenwasser, Jurtin R. Peters외 1명|ArXiv.org|2004. 09. 05.

Advanced Algebra and Logic인용 수 8

한 줄 요약

이 논문은 그래프 C*-대수에서 이중모듈러에 대한 스펙트럼 정리를 수립하며, 이중모듈러가 자신의 스펙트럼에 의해 결정되는 것은 그 이중모듈러가 포함하는 Cuntz-Krieger 부분등장등장사상들에 의해 생성되거나, 게이지 자동형사상에 관해 불변일 때에만 성립함을 보여준다. 주요 기여는 게이지 불변이고 생성적인 삼각형 부분대수를 그 스펙트럼을 통해 군oids의 동형사상으로 분류한 것이다.

ABSTRACT

We prove a spectral theorem for bimodules in the context of graph C*-algebras. A bimodule over a suitable abelian algebra is determined by its spectrum (i.e., its groupoid partial order) iff it is generated by the Cuntz-Krieger partial isometries which it contains iff it is invariant under the gauge automorphisms. We study 1-cocycles on the Cuntz-Krieger groupoid associated with a graph C*-algebra, obtaining results on when integer valued or bounded cocycles on the natural AF subgroupoid extend. To a finite graph with a total order, we associate a nest subalgebra of the graph C*-algebra and then determine its spectrum. This is used to investigate properties of the nest subalgebra. We give a characterization of the partial isometries in a graph C*-algebra which normalize a natural diagonal subalgebra and use this to show that guage invariant generating triangular subalgebras are classified by their spectra.

연구 동기 및 목표

• 비주기적 군오이드가 존재하는 그래프 C*-대수로 AF C*-대수에서의 스펙트럼 정리를 확장함. 이 경우 군오이드 기법이 필수적임.
• 그래프 C*-대수의 대각 부분대수 위의 이중모듈러가 스펙트럼에 의해 결정되는 조건을 규명함. 이는 AF 경우와의 핵심적 차이점을 다룸.
• Cuntz-Krieger 군오이드 위의 1-코호몰로지, 특히 정수 계수 및 유계 코호몰로지의 성질을 조사하고, 그 확장 성질을 연구함.
• 유한 그래프 위의 전순서를 이용해 그래프 C*-대수의 네스트 부분대수를 정의하고 연구하며, 그 스펙트럼을 결정함.
• 게이지 불변이고 생성적인 삼각형 부분대수를 그 스펙트럼을 통해 분류함으로써 AF 대수의 분류 결과를 일반화함.

제안 방법

• 경로 공간 군오이드가 항상 애매한 성질을 지닌다는 점을 활용해, r-이산적이고 애매한 군오이드를 사용해 그래프 C*-대수를 모델링함.
• 부분등장사상의 시작 및 끝 사영원소들에 의해 생성되는 대각 C*-부분대수 위의 이중모듈러를 정의하고, 군오이드의 국소 순서를 통해 스펙트럼과 연관시킴.
• Muhly와 Solel에 의한 AF 대수에서의 스펙트럼 이중모듈러 정리를 적용하여, 두 조건의 동치를 증명함: 이중모듈러가 Cuntz-Krieger 부분등장사상들에 의해 생성되거나, 게이지 자동형사상에 대해 불변임.
• Cuntz-Krieger 군오이드 위의 1-코호몰로지를 도입하고 분석함. 특히 유계 및 정수 계수 코호몰로지에 초점을 맞추며, AF 군오이드 이론에서 유도된 기법을 적응 적용함.
• 전순서가 부여된 유한 그래프로부터 네스트 부분대수를 구성하고, 스펙트럼 정리를 사용해 그 스펙트럼을 계산함.
• 정규화된 부분등장사상의 노름 특성화를 이용해, 두 삼각형 부분대수 사이의 등거리 동형사상으로부터 군오이드 동형사상을 유도함으로써, 대수적 동형사상과 군오이드 구조를 연결함.

실험 결과

연구 질문

• RQ1 그래프 C*-대수의 대각 부분대수 위의 이중모듈러가 스펙트럼에 의해 완전히 결정되는 조건은 무엇인가?
• RQ2 Cuntz-Krieger 군오이드 위의 1-코호몰로지 성질은 AF 군오이드의 경우와 어떻게 다를까? 특히 유계 및 정수 계수 코호몰로지의 경우에 대해.
• RQ3 그래프 C*-대수의 네스트 부분대수는 스펙트럼에 의해 완전히 특징지을 수 있는가? 그리고 이 스펙트럼은 그래프의 전순서로부터 어떻게 계산되는가?
• RQ4 게이지 불변이고 생성적인 삼각형 부분대수는 AF 대수의 대응 부분대수의 분류 성질을 어느 정도 상속하는가?
• RQ5 삼각형 부분대수 간의 등거리 동형사상과 그 스펙트럼의 군오이드 동형사상 사이의 정확한 관계는 무엇인가?

주요 결과

• 그래프 C*-대수의 대각 부분대수 위의 이중모듈러는 그 스펙트럼에 의해 결정되는 것과, 그 이중모듈러가 포함하는 Cuntz-Krieger 부분등장사상들에 의해 생성되는 것 사이에 동치이다.
• 이중모듈러는 그 스펙트럼에 의해 결정되는 것과, 그래프 C*-대수의 게이지 자동형사상에 관해 불변인 것 사이에 동치이다.
• 그래프 C*-대수에서의 이중모듈러 스펙트럼 정리는 주기적 군오이드(AF) 경우와 달리, 스펙트럼 외에 추가 조건이 필요하다.
• 전순서가 부여된 유한 그래프에 대해, 관련 네스트 부분대수의 스펙트럼은 명시적으로 계산 가능하며, 그래프의 유한 경로 집합과 일대일 대응된다.
• 게이지 불변이고 생성적인 삼각형 부분대수는 군오이드 동형사상에 의해 스펙트럼에 의해 등거리 동형사상에 의해 분류된다.
• 두 게이지 불변이고 생성적인 삼각형 부분대수 사이의 등거리 동형사상은 그 스펙트럼 간의 군오이드 동형사상을 유도하며, 반대로 그러한 군오이드 동형사상은 부분대수 간의 등거리 동형사상을 유도한다.