[논문 리뷰] Traces on crossed products

Sergey Neshveyev|arXiv (Cornell University)|2010. 10. 04.

Advanced Operator Algebra Research참고 문헌 3인용 수 4

한 줄 요약

이 논문은 가산군 $ G $ 가 컴acts 메트리자블 공간 $ X $ 에 작용할 때의 교차곱 C*-대수 $ C(X) \rtimes G $ 위의 추적의 완전한 특성화를 제공한다. 이는 추적들이 안정자 부분군 $ G_x $ 위의 가측 필드의 추적과 대응되며, $ u_g $ 위의 추적이 $ g \in G_x $ 인 경우에만 0이 아니라고 보여준다. 또한 이러한 추적들과 $ X $ 위의 $ G $-불변 측도 및 $ C^*(G_x) $ 위의 호환성 있는 추적들 사이의 전단사 관계를 수립한다. 주요 기여는 안정자 추적과 불변 측도를 통해 추적의 구조적 분해를 제공하는 데 있다.

ABSTRACT

We give a description of traces on C(X) times G in terms of measurable fields of traces on the C*-algebras of the stabilizers of the action of G on X.

연구 동기 및 목표

• 콤팩트 메트리자블 공간 위의 군 작용에 대해 교차곱 C*-대수 $ C(X) \rtimes G $ 위의 추적의 구조를 기술하는 것.
• 군 작용의 안정자 부분군 $ G_x $ 를 통해 추적이 어떻게 분해되는지 명확히 하는 것.
• 추적들이 $ C(X) \rtimes G $ 위에 존재할 때, $ C^*(G_x) $ 위의 가측 필드의 추적과의 정확한 대응관계를 제공하는 것.
• 특히 $ G = \mathbb{Z} $ 인 경우로 확장하여, 추적이 비주기 궤도와 주기 궤도 기여도로 분해됨을 보여주는 것.

제안 방법

• 상태의 중심자(centralizer)를 이용하여 $ j: C^*(G) \to C(X) \rtimes G $ 가 표준 호모모르피즘일 때, $ \Phi(f \otimes a) = \varphi(f j(a)) $ 를 통해 $ C(X) \otimes C^*(G) $ 위의 상태 $ \Phi $ 를 정의하는 것.
• $ C(X) $ 를 기준으로 $ \Phi $ 를 분해하여, $ X $ 위의 확률 측도 $ \nu $ 와 $ C^*(G) $ 위의 상태 $ \varphi_x $ 를 얻으며, 이에 따라 $ \Phi = \int^\oplus \varphi_x \, d\nu(x) $ 라고 표현하는 것.
• $ \nu $-거의 모든 $ x $ 와 모든 $ g \notin G_x $ 에 대해 $ \varphi_x(\lambda_g) = 0 $ 임을 증명하여 교차곱 위의 추적을 특성화하는 것.
• 중앙자에 $ C(X) $ 가 포함된 $ C(X) \rtimes G $ 위의 추적들과, 안정자 조건을 만족하는 이러한 분해된 상태 $ \Phi $ 사이의 전단사 관계를 증명하는 것.
• GNS 구성과 표현 이론을 사용하여 상태 $ \Phi $ 를 다시 $ C(X) \rtimes G $ 위의 상태로 올리는 것인데, 이때 중심자 조건이 유지되도록 하는 것.
• $ G = \mathbb{Z} $ 인 경우, 추적을 비주기 점에 대한 지지가 있는 추적(조건부 기대와 $ \mathbb{T} $ 위의 르베그 측도를 통해)과 주기 궤도에 대한 지지가 있는 추적(회전 불변 측도를 통해)의 합으로 분해하는 것.

실험 결과

연구 질문

• RQ1 군 작용의 안정자 부분군 $ G_x $ 를 통해 $ C(X) \rtimes G $ 위의 추적을 어떻게 기술할 수 있는가?
• RQ2 가측 필드의 추적들이 $ C^*(G_x) $ 위에 존재할 때, 교차곱 전체에 대해 추적으로 확장되기 위해 만족해야 할 조건은 무엇인가?
• RQ3 계수 무한한 주기 궤도를 가진 시스템에서 $ C(X) \rtimes \mathbb{Z} $ 위의 추적은 어떻게 분해되는가?
• RQ4 군 작용의 에르고딕성은 교차곱 위의 추적의 구조에 어떤 역할을 하는가?
• RQ5 극단적 추적들이 군 작용과 불변 측도를 통해 분류될 수 있는가?

주요 결과

• $ C(X) \rtimes G $ 위의 추적들은 $ C^*(G_x) $ 위의 상태들 $ \varphi_x $ 와 이중사상되며, $ g \notin G_x $ 이면 $ \varphi_x(\lambda_g) = 0 $ 이고, 이러한 가측 필드는 $ X $ 위의 $ G $-불변 측도 $ \nu $ 와 함께 가측적임을 보여준다.
• $ G = \mathbb{Z} $ 인 경우, $ C(X) \rtimes \mathbb{Z} $ 위의 임의의 추적 상태 $ \tau $ 는 유일하게 $ \tau = \nu_* \circ E + \sum_i \lambda_{i,*} \circ E_{x_i} $ 로 분해되며, 여기서 $ \nu $ 는 $ T $-불변 측도이고 $ \nu(O_i) = 0 $ 이며, $ \lambda_i $ 는 $ \mathbb{T} $ 위에서 $ |O_i| $-회전 불변이다.
• $ C(X) \rtimes \mathbb{Z} $ 위의 주기 궤도에 대응하는 추적은 $ E_{x}(fu^m) = \frac{1}{n} \left( \sum_{k=0}^{n-1} f(T^k x) \right) u^m $ 으로 주어지며, 이후 $ \mathbb{T} $ 위의 $ n $-회전 불변 측도에 대해 통합하는 방식이다.
• $ C(X) \rtimes G $ 위의 극단적 추적들은 측도 $ \nu $ 가 에르고딕이고 군 작용 $ G $ 가 본질적으로 자유일 때 발생하며, 이는 인자 표현을 유도한다.
• $ \nu $ 가 주기 궤도의 한 개의 궤도 위에 지지되어 있을 경우, 추적은 교차곱 $ C(\mathbb{Z}/n\mathbb{Z}) \rtimes \mathbb{Z} $ 를 통해 인코딩되며, 이는 쌍대성에 의해 $ C(\mathbb{T}) \rtimes \mathbb{Z}/n\mathbb{Z} $ 와 동형임을 보여준다.
• $ \varphi_x(\lambda_g) = 0 $ 이 $ g \notin G_x $ 일 때 성립하는 것은 상태 $ \Phi $ 가 $ C(X) \rtimes G $ 위의 추적을 정의하기 위해 필수적이고 충분한 조건임을 보여준다.