[논문 리뷰] Metrics on states from actions of compact groups

Marc A. Rieffel|ArXiv.org|1998. 07. 16.

Advanced Operator Algebra Research참고 문헌 20인용 수 157

한 줄 요약

이 논문은 컴act Lie 군의 에르고딕 작용을 통해 딜라크 연산자 또는 리 대칭의 관련 노름으로 유도된, 단위 C*-대수의 상태 공간 위의 계량에서, 약한-* 위상과 동일한 위상을 유도함을 확립한다. 주요 기여는 이러한 작용으로부터 유도된 딜라크 연산자에 의한 계량 위상이 상태 공간 위의 표준적 약한-* 위상과 일치함을 증명하는 것으로, 콘네의 비환원 기하학적 계량 프레임워크를 군 이론적 맥락으로 일반화한다.

ABSTRACT

Let a compact Lie group act ergodically on a unital $C^*$-algebra $A$. We consider several ways of using this structure to define metrics on the state space of $A$. These ways involve length functions, norms on the Lie algebra, and Dirac operators. The main thrust is to verify that the corresponding metric topologies on the state space agree with the weak-$*$ topology.

연구 동기 및 목표

• 에르고딕 작용에 의해 유도된 C*-대수 상태 공간 위의 계량이 약한-* 위상을 유도하는 조건을 확립하는 것.
• 콤팩트 리 군의 에르고딕 작용을 갖는 C*-대수로 콘네의 비환원 계량 프레임워크를 확장하는 것.
• 리 대수 위의 노름 또는 군 위의 길이 함수를 통해 정의된 계량이 약한-* 위상과 동치인 위상을 유도함을 보여주는 것.
• 이러한 작용과 관련된 딜라크 연산자로부터 유도된 계량 위상이 약한-* 위상과 일치함을 확인하는 것.

제안 방법

• 매끄러운 부분대수 A^∞에 속하는 a에 대해 연산자 노름 ||[D, a]||을 이용한 리플리츠 준노름 L(a)을 정의한다.
• S가 스피너 모듈이라면, A^∞ ⊗ S의 힐버트 공간 완비화 위에 리 대수 작용과 클리퍼드 대수 위의 표현을 사용하여 딜라크 연산자 D를 구성한다.
• 쌍대 리 대수의 정규직교 기저를 사용하여 D를 군 작용과 클리퍼드 곱셈을 포함하는 연산자들의 합으로 표현한다.
• 딜라크에 의해 유도된 준노름 L(a) = ||[D, λ_a]||과 리 대수 작용으로부터 유도된 노름 ||da|| 사이의 비교를 수립하고, 상한과 하한을 모두 증명한다.
• 비교 보조정리를 적용하고 위상적 추론을 통해, L에 의해 유도된 계량 위상과 약한-* 위상 간의 일致를 보인다.
• 유도된 계량이 상태 공간 위에서 유한하고 잘 정의되어 있음을 확인하고, 생성하는 위상이 표준적 약한-* 위상과 일致함을 보인다.

실험 결과

연구 질문

• RQ1 에르고딕 콤팩트 군 작용을 갖는 C*-대수 위에서 딜라크 연산자에 의해 유도된 계량 위상은 약한-* 위상과 일치하는가?
• RQ2 콤팩트 군의 리 대수 위의 노름으로부터 C*-대수 상태 공간 위에 계량을 구성할 수 있으며, 이는 약한-* 위상을 유도하는가?
• RQ3 콤팩트 군 위의 길이 함수는 에르고딕 군 작용 하에서 C*-대수 상태 공간 위의 계량과 어떻게 관련되는가?
• RQ4 딜라크 연산자에 의해 정의된 리플리츠 준노름은 군 작용의 내재 기하학과 어떻게 관련되는가?

주요 결과

• 에르고딕 콤팩트 리 군 작용을 갖는 단위 C*-대수 상태 공간 위에서 딜라크 연산자에 의해 유도된 계량 위상은 약한-* 위상과 일치한다.
• 리 대수에서 유도된 노름 ||da||에 대해 리플리츠 준노름 L(a) = ||[D, a]||에 하한이 존재함을 확립하여 위상적 동치를 보장한다.
• 비교 보조정리는 리 대수 노름으로부터의 위상 제어를 딜라크에 의해 유도된 계량으로 이전하는 데 기여한다.
• 이 결과는 리 대수의 쌍대 위에 정의된 임의의 내적에 대해 성립하므로, 이 구성의 강건성을 보여준다.
• 이 구성은 에르고딕 토러스 작용을 갖는 비환원 토러스에 적용되며, 끈 이론의 맥락과 연결된다.