[논문 리뷰] Unique ergodicity of free shifts and some other automorphisms of C*-algebras

Beatriz Abadie, Ken Dykema|ArXiv.org|2006. 08. 09.

Advanced Operator Algebra Research참고 문헌 12인용 수 27

한 줄 요약

이 논문은 감소된 합성 자유곱 C*-대수에서 자유 이동 자기준동형에 대해 고정점 부분대수에 대한 고유 에르고딕성을 도입하고 이를 증명하며, 에르고딕 평균의 노름 수렴을 확립한다. 이는 하아거룹 부등식을 이 설정으로 일반화하고, $ C^*_r(\mathbb{F}_\infty) $의 자유 이동과 성질 (RD)를 갖는 일부 군 C*-대수들이 고정점 부분대수에 대해 고유 에르고딕임을 보여준다.

ABSTRACT

A notion of unique ergodicity relative to the fixed-point subalgebra is defined for automorphisms of unital C*-algebras. It is proved that the free shift on any reduced amalgamated free product C*-algebra is uniquely ergodic relative to its fixed-point subalgebra, as are autormorphisms of reduced group C*-algebras arising from certain automorphisms of groups. A generalization of Haagerup's inequality, yielding bounds on the norms of certain elements in reduced amalgamated free product C*-algebras, is proved.

연구 동기 및 목표

• 단위 C*-대수의 자기준동형에 대해 고정점 부분대수에 대한 일반화된 고유 에르고딕성의 개념을 정의하고 연구하기.
• 감소된 합성 자유곱 C*-대수에서의 자유 이동 자기준동형이 고정점 부분대수에 대해 고유 에르고딕인지 조사하기.
• 고정 블록 길이를 갖는 원소에 대해 감소된 합성 자유곱 C*-대수 설정으로 하아거룹 부등식을 확장하기.
• 성질 (RD)를 갖는 C*-대수에서의 자기준동형에 대해 에르고딕 평균의 노름 수렴을 확립하여 에르고딕성과 연산자 노름 상한을 연결하기.
• 리카르드와 슈의 이전 결과로부터 유도되기는 하지만, 일반화된 하아거룹 유형 부등식에 대한 직접적인 증명을 제공하기.

제안 방법

• 고정점 부분대수 $ A^\alpha $에 대한 고유 에르고딕성의 새로운 개념을 도입하여, $ A^\alpha $ 위의 모든 상태가 $ A $ 위의 $ \alpha $-불변 상태로 유일하게 연장된다는 것을 보장한다.
• 정리 3.2에서 확립된 바로, 고정점 부분대수에 대한 고유 에르고딕성과 모든 $ a \in A $에 대해 에르고딕 평균 $ \frac{1}{n}\sum_{k=0}^{n-1} \alpha^k(a) $ 의 노름 수렴은 동치임을 이용한다.
• 일반화된 하아거룹 부등식(제안 5.1)을 적용하여 감소된 합성 자유곱 C*-대수에서 고정 블록 길이 $ n $를 갖는 단어의 선형 조합의 연산자 노름을 유계로 제한한다.
• 하이버트 공간 표현 $ \tilde{\sigma} $를 사용하여 코시-슈바르츠 부등식과 블록 길이에 의존하는 상한을 통해 에르고딕 평균의 노름을 추정한다.
• 감소된 합성 자유곱 $ A = (*_B)_{i \in \mathbb{Z}} (A_i, \phi_i) $ 위에서, 임beddings $ \lambda_a^i \mapsto \lambda_a^{i+1} $ 의 색인을 이동시키는 방식으로 자유 이동 자기준동형 $ \alpha $ 를 구성한다.
• 블록 길이가 고정된 단어 $ w = a_1 \cdots a_p $ 에 대해, $ a_i \in A_{k(i)}^\circ $ 이면, 일반화된 부등식을 사용하여 에르고딕 평균 $ \frac{1}{n}\sum_{k=0}^{n-1} \alpha^k(w) $ 가 $ n \to \infty $ 일 때 노름으로 0으로 수렴함을 보여준다.

실험 결과

연구 질문

• RQ1 $ C^*_r(\mathbb{F}_\infty) $ 의 자유 이동은 고정점 부분대수에 대해 고유 에르고딕인가?
• RQ2 감소된 합성 자유곱 C*-대수의 자기준동형에 대해 고정점 부분대수에 대한 고유 에르고딕성 개념을 일반화할 수 있는가?
• RQ3 감소된 합성 자유곱 C*-대수에서 고정 블록 길이를 갖는 원소에 대해 일반화된 하아거룹 부등식이 성립하는가? (노름을 유계로 제한하는가?)
• RQ4 성질 (RD)를 갖는 군에서 유도된 감소된 군 C*-대수의 자기준동형은 고정점 부분대수에 대해 고유 에르고딕인가?
• RQ5 에르고딕 평균의 노름 수렴은 고정점 부분대수 위로의 고유 $ \alpha $-불변 조건부 기댓값의 존재를 암시하는가? (미해결 문제)

주요 결과

• 감소된 합성 자유곱 C*-대수 $ A = (*_B)_{i \in \mathbb{Z}} (A_i, \phi_i) $ 위에서 자유 이동 자기준동형 $ \alpha $ 는 고정점 부분대수 $ B $ 에 대해 고유 에르고딕이며, 이는 모든 $ a \in A $ 에 대해 에르고딕 평균이 $ \phi(a) $ 로 노름 수렴함으로써 입증된다.
• 모든 단어 $ w = a_1 \cdots a_p $ 에 대해 $ a_i \in A_{k(i)}^\circ $ 이고 $ k(i) \neq k(i+1) $ 이면, 에르고딕 평균은 $ \left\| \frac{1}{n}\sum_{k=0}^{n-1} \alpha^k(w) \right\| \leq \frac{1}{n}(2p+1)n^{1/2} \prod_{i=1}^p \|a_i\| $ 를 만족하며, $ n \to \infty $ 일 때 이 값은 0으로 수렴한다.
• 일반화된 하아거룹 부등식(제안 5.1)은 고정 블록 길이 $ n $ 의 단어의 선형 조합 $ f $ 의 연산자 노름을 $ (2n+1) \gamma $ 로 유계로 제한한다. 여기서 $ \gamma = \left( \sum_{k \in \mathcal{K}} \prod_{i=1}^n \|a_{k,i}\|^2 \right)^{1/2} $ 이다.
• 일반화된 하아거룹 부등식의 증명은 하이버트 공간 위의 충실한 $ \ast $-표현 $ \tilde{\sigma} $ 를 사용하고, 코시-슈바르츠 부등식을 적용하여 에르고딕 평균의 노름을 제어한다.
• 결과는 자유 이동이 $ C^*_r(\mathbb{F}_\infty) $ 에서 고유 에르고딕임을 시사하며, 데이비드 컬러가 제기한 질문에 대한 긍정적 답변을 확인한다.
• 저자들은 리카르드와 슈의 작업에서 유도되기는 하지만, 그보다 더 단순한 방법으로 일반화된 하아거룹 부등식에 대한 직접적인 증명을 제공한다.