[논문 리뷰] Outer actions of a countable discrete amenable group on approximately finite dimensional factors I, General Theory

Yoshikazu Katayama, Masamichi Takesaki|ArXiv.org|2003. 01. 31.

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

한 줄 요약

이 논문은 약간의 유한성(afinite-dimensional, AFD) 인피니티 팩터 위에서의 가산离산 아메니타블 그룹 작용의 외부 동형 분류를 완성한다. 특히 타입 III 팩터에 초점을 맞춘다. 수정된 Husemeyer-Jones-Ratcliffe 정확한 수열을 도입하고 특성 코chain 및 모듈러 장애를 분석함으로써, 외부 동형은 군 작용에 의한 인트린식 불변량—무게의 흐름, 모듈러스, 특성 제곱, 모듈러 장애—의 끌어올림으로 분류됨을 밝혀낸다.

ABSTRACT

We associate a cohomological invariant to each outer action of a group on a factor, and classify them by the invariant in the case that the group is a countable discrete amenable group and the factor is appoximately finite dimensional. The invariant defined for the group Out(M)=Aut(M)/Int(M) is called the intrinsic modular obstruction. The invariant for an outer action alpha is given as the pull back of the intrinsic modular obstruction, which is called the modular obstruction of alpha and denoted by Ob_m(alpha). This is the first part of the theory and presents general theory. In the case that the factor is not of type III_0, the invariant is substantially simplified. These cases and examples will be discussed in forthcoming paper.

연구 동기 및 목표

• 가산 이산 아메니타블 그룹의 외부 작용이 AFD 팩터 위에서 외부 동형 분류를 완성하는 것, 특히 타입 III 팩터에 초점을 맞추는 것.
• Ocneanu가 이전에 요구했던 기술적 가정을 타입 II∞의 경우에서 제거하는 것.
• 팩터의 인트린식 불변량을 사용하여 코chain 동형에서 외부 동형으로 분류 프레임워크를 확장하는 것.
• 특성 코chain과 그에 관련된 정확한 수열의 정의 및 역할 분석을 통한 외부 작용 분류.
• 외부 동형은 군 작용에 의한 팩터의 인트린식 불변량—무게의 흐름, 모듈러스, 특성 제곱, 모듈러 장애—의 끌어올림에 의해 결정됨을 확립하는 것.

제안 방법

• 팩터의 유니터리 군, 중심자, 코homology 군을 포함하는 등변 정확한 제곱을 구성한다.
• 특성 코chain $({\rm λ}, \mu) \in {\rm Z}_{\alpha}(\tilde{H}, L, A)$를 정의하고, 코chain의 동치류 $\chi$에 따라 의존하는 정규부분군 $K(\chi) \subset L$를 연결한다.
• 몫군 $\tilde{Q} = Q \times \mathbb{R}$ 위에서 표준 3-코chain의 몫을 표준 2-코 boundary로 나눈 군 ${\rm H}^{3}_{{\alpha}, \rm s}(\tilde{Q}, A)$를 도입한다.
• 피복 곱 구조를 설정: ${\rm H}^{{\rm out}}_{{\alpha}, \mathfrak{s}}(G \times \mathbb{R}, N, A) = {\rm H}^{3}_{{\alpha}, \rm s}(\tilde{Q}, A) \ast_{\mathfrak{s}} {\rm Hom}_G(N, {\rm H}^1_\theta)$로, 코homology와 등변 호모모르피즘을 연결한다.
• 수정된 Husemeyer-Jones-Ratcliffe 정확한 수열을 적용하여 ${{\rm Cnt}}_{\rm r}(\mathcal{M})$-작용으로의 작용의 변형을 위한 장애를 분석한다.
• 3-코chain $c(\tilde{p}, \tilde{q}, \tilde{r})$의 비자명성과 특정 모듈러 자동형사의 내부 자동형사가 아님을 이용하여 $\alpha_{\mathfrak{s}}$가 ${{\rm Cnt}}_{\rm r}(\mathcal{M})$-작용으로 변형될 수 없음을 증명함으로써 분류를 확립한다.

실험 결과

연구 질문

• RQ1 아메니타블 이산 그룹 작용이 AFD 팩터 위에서 외부 동형 분류가 완성될 수 있는가, 특히 타입 III 팩터에 대해?
• RQ2 외부 동형에 대해 보존되는 팩터의 인트린식 불변량은 무엇이며, 그들은 군 작용에 의해 어떻게 끌어올려지는가?
• RQ3 왜 타입 II∞의 경우에서 이전의 기술적 가정을 제거하여 분류를 완성할 수 있는가?
• RQ4 특성 코chain과 그에 관련된 정확한 수열은 외부 작용 분류에서 어떤 역할을 하는가?
• RQ5 어떤 조건에서 외부 작용이 추적의 중심자에 의해 작용으로 변형될 수 있는가?

주요 결과

• 타입 III AFD 팩터 위에서 아메니타블 이산 그룹 작용의 외부 동형류는 팩터의 인트린식 불변량—무게의 흐름, 모듈러스, 특성 제곱, 모듈러 장애—의 군 작용에 의한 끌어올림에 의해 완전히 분류된다.
• 작용과 관련된 3-코chain $c(\tilde{p}, \tilde{q}, \tilde{r})$는 ${\rm H}^{3}_{{\alpha}, \rm s}(\tilde{Q}, A)$에서 비자명하며, 이는 $\alpha_{\mathfrak{s}}$가 ${{\rm Cnt}}_{\rm r}(\mathcal{M})$-작용으로 변형될 수 없음을 의미한다.
• 3-코chain의 비자명성은 모듈러 자동형사 $\sigma_{T(ab' - a'b)}^\varphi$의 내부 자동형사가 아님으로써 발생하며, 이는 $T$의 선택과 모순되어 장애의 단순화를 방지한다.
• ${\rm H}^{3}_{{\alpha}, \rm s}(\tilde{Q}, A)$에서의 코homological 장애 $[c \cdot \alpha_p(\partial_Q(b))] \neq 1$는 작용이 ${{\rm Cnt}}_{\rm r}(\mathcal{M})$-작용과 외부 동형이 아니라는 것을 확인한다.
• 분류는 3차 코homology 군과 ${{\rm H}}^1_\theta$로의 등변 호모모르피즘을 연결하는 피복 곱 구조를 통해 달성된다.
• 이 결과는 이전의 분류를 일반화하며, 기술적 가정을 제거하고 코chain 동형에서 외부 동형으로의 분류 프레임워크를 확장한다.