[논문 리뷰] Examples of masas in C*-algebras

Jean Renault|ArXiv.org|2009. 03. 23.

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

한 줄 요약

이 논문은 군oids와 휘감김 구조를 사용하여 C*-대수에서 카르탕 부분대수(masas)를 구성하고 분석하며, 휘어진 에탈 군oids와 카르탕 부분대수를 가진 C*-대수 사이의 범주적 동치를 수립한다. 주요 기여는 비-하우스도르프 설정으로까지 확장된 펄라르-무어와 쿰지안의 결과를 바탕으로, 위상적으로 주목할 만한 군oids를 통한 카르탕 부분대수의 특성화이다.

ABSTRACT

This paper illustrates the notion of a Cartan subalgebra in a C*-algebra through a number of examples and counterexamples. Some of these examples have a geometrical flavour and are related to orbifolds and non-Hausdorff manifolds.

연구 동기 및 목표

• C*-대수에서 최대 아벨 자기수반 부분대수(masas)의 구체적 예와 반례를 제공한다.
• 군oids와 휘음 구조를 사용하여, 바나흐-바나흐 대수에서의 펄라르-무어 정리의 결과를 C*-대수 설정으로 확장한다.
• 위상적으로 주목할 만한 성질과 비-하우스도르프 군oids가 카르탕 부분대수의 구조에 미치는 영향을 조사한다.
• 마사가 대각선(즉, 순수 상태의 유일한 연장 성질을 만족함)임을 판단하는 조건을 명확히 한다.

제안 방법

• 역반군의 부분작용에 의한 군oids의 기저를 사용하여 에탈 군oids를 구성한다.
• 원환군에 의한 휘음이 있는 에탈 군oids에 대해 감소 C*-대수 구조를 적용하여 군oids C*-대수 프레임워크를 일반화한다.
• 위상적으로 주목할 만한 성질 조건을 도입—즉, 자명한 이소트로피를 가진 점들이 조밀하게 분포되어 있음을 보장하여 충실한 조건 기대의 존재를 확보한다.
• 효율적인 군oids의 개념과 순수 상태의 유일한 연장 성질을 활용하여, 일반적인 카르탕 부분대수와 대각선을 구별한다.
• 콤���한 컴팩트 지지 함수를 이용하여 국소 하우스도르프 부분집합에 대해 분석함으로써 감소 노름 구조를 비-하우스도르프 군oids에 적응시킨다.
• 서로 가환하는 원환면 위의 위상동형사상의 예를 사용하여, 비-하우스도르프 설정에서 $ C_0(G^{(0)}) $ 가 최대 아벨일 수 없음을 보여주는 명시적 반례를 구성한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 C*-대수가 휘어진 에탈 군oids로부터 유래한 카르탕 부분대수를 가질 수 있는가?
• RQ2 비-하우스도르프 군oids는 C*-대수에서 아벨 부분대수의 최대성과 정규성에 어떤 영향을 미치는가?
• RQ3 군oids의 위상적 주목할 만한 성질과 마사에서 순수 상태의 유일한 연장 성질 사이의 관계는 무엇인가?
• RQ4 동치 관계가 서로 동형이어도, C*-대수에서의 카르탕 부분대수는 서로 동치가 아닐 수 있는가?
• RQ5 G가 기저 군oids인 비-하우스도르프 군oids일 경우, 어떤 경우에 $ C_0(G^{(0)}) $ 가 최대 아벨이 아니게 되는가?

주요 결과

• 분리 가능한 C*-대수에서 카르탕 부분대수는 휘어진, 에탈, 제2가산, 국소 콤���, 하우스도르프, 위상적으로 주목할 만한 군oids로부터 유래된다.
• 그러한 군oids에 대한 휘음이 있는 C*-대수는 원래 C*-대수와 동형이며, 카르탕 부분대수는 $ C_0(G^{(0)}) $ 와 대응된다.
• 카르탕 부분대수가 대각선(즉, 순수 상태의 유일한 연장 성질을 만족함)임은 그에 관련된 군oids가 주목할 만한 군oids일 때이고, 그 때에만 성립한다.
• 비-하우스도르프 군oids에서는 $ C_0(G^{(0)}) $ 가 최대 아벨일 수 없으며, 서로 가환하는 원환면 위의 위상동형사상의 반례로 이를 입증할 수 있다.
• 두 점에서의 이소트로피 군에 지지가 있는 $ C_r^*(G) $ 내의 명시적 함수가 $ C(f T) $ 와 교환되지만 $ C(f T) $ 에 속하지 않으며, 이는 $ C_0(G^{(0)}) $ 의 최대성에 대한 반례를 보여준다.
• CCR 대수의 스펙트럼은 국소 콤팩트 하우스도르프 공간의 가산 밀도 부분집합을 사용한 구성에 의해, 하우스도르프 점들의 집합에서 내부가 비어 있을 수 있다.