[논문 리뷰] Connes-amenability and normal, virtual diagonals for measure algebras, II

Volker Runde|arXiv (Cornell University)|2001. 11. 20.

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

한 줄 요약

이 논문은 국소 콪그룹 $G$ 의 측도 대수 $M(G)$ 에 대해 세 성질의 동치성을 확립한다: $G$ 의 아메니타리티, $M(G)$ 의 콘네스-아메니타리티, 그리고 $M(G)$ 에서의 정규 가상 대각선 존재성. 아메니타리티 조건을 만족하는 $L^1(G)$ 의 양함수 넷을 사용하여, 무한한 연속 함수 공간의 쌍대공간에 속하는 극한 점을 구성한다. 이 극한 점은 정규 가상 대각선으로서 기능하며, 초한극한과 약한*-연속성에 기반한 추론을 통해 동치성의 증명을 완성한다.

ABSTRACT

We prove that the following are equivalent for a locally compact group $G$: (i) $G$ is amenable; (ii) $M(G)$ is Connes-amenable; (iii) $M(G)$ has a normal, virtual diagonal.

연구 동기 및 목표

• 일반적인 쌍대 바나흐 대수에 대해 콘네스-아메니타리티와 정규 가상 대각선 존재성 간의 동치성 여부를 해결하는 것. 특히 측도 대수 $M(G)$ 에 초점을 맞춘다.
• 이전의 부분적인 결과를 확장하여, $M(G)$ 에서 콘네스-아메니타리티와 정규 가상 대각선 존재성이 $G$ 가 아메니타리티일 때 정확히 동치임을 증명하는 것.
• $G$ 가 아메니타리티일 경우, 아메니타리티 조건을 만족하는 $L^1$-함수 넷을 사용하여 정규 가상 대각선을 구성하는 것.
• 약한*-위상과 쌍대성 기법을 활용하여, 군의 아메니타리티에 따라 $M(G)$ 의 구조적 성질을 완전히 특성화하는 것.

제안 방법

• 양함수 넷 $(f_\alpha)$ 가 아메니타리티 조건 $\|\delta_x * f_\alpha - f_\alpha\| \to 0$ 을 컴팩트 세트 위에서 균일하게 만족하도록, $M(G \times G)$ 에서의 넷 $(m_\alpha)$ 를 구성한다.
• 넷 $(m_\alpha)$ 에 대해 초한극한을 취하여 $\operatorname{\cal SC}_0(G \times G)$ 의 쌍대공간에 속하는 극한 원소 $\rm M$ 을 정의하고, 약한*-연속성을 확보한다.
• 승법 연산에 대한 $\rm M$ 의 평가가 항등원에서의 딜라르 측도를 얻음으로써 $\Delta \rm M = \delta_e$ 를 검증한다.
• 푸비니 정리와 노름 추정을 사용하여, 모든 $\mu \in M(G)$ 에 대해 $\|\mu \cdot \rm M - \rm M \cdot \mu\| \to 0$ 이 되도록 하여 $\rm M$ 이 이중모듈러 불변임을 증명한다.
• $|\mu|$ 의 내부 정규성과 조건 $\| (\delta_y \otimes \delta_e) * m_\alpha - m_\alpha * (\delta_e \otimes \delta_y) \| \to 0$ 의 균일 수렴성을 활용하여 이중모듈러 불변성을 도출한다.
• $\mathcal{L}^{2}_{w^*}(M(G), \mathbb{C})^*$ 와 $\operatorname{\cal SC}_0(G \times G)$ 의 식별을 활용하여, 구성 과정을 적절한 쌍대공간에 통합한다.

실험 결과

연구 질문

• RQ1 모든 국소 콩그룹 $G$ 에 대해 $M(G)$ 의 콘네스-아메니타리티와 정규 가상 대각선 존재성은 동치인가?
• RQ2 $G$ 가 아메니타리티일 경우, $M(G)$ 에 대해 정규 가상 대각선을 명시적으로 구성할 수 있는가?
• RQ3 컴팩트 세트 위에서 균일 수렴 조건 $\|\delta_x * f_\alpha - f_\alpha\| \to 0$ 을 만족하는 $L^1$-함수 넷의 존재가 정규 가상 대각선 존재성을 암시하는가?
• RQ4 역으로, $M(G)$ 에 정규 가상 대각선이 존재하면 $G$ 는 아메니타리티인가?
• RQ5 약한*-연속성과 쌍대성은 측도 대수의 도함수와 이중모듈러 구조를 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 측도 대수 $M(G)$ 에서 정규 가상 대각선의 존재성은 $G$ 의 아메니타리티와 동치이다.
• $M(G)$ 의 콘네스-아메니타리티는 $G$ 의 아메니타리티와 동치이며, 이는 이전의 이산군 및 컴팩트군에 대한 결과를 일반화한다.
• 아메니타리티 조건을 만족하는 $L^1$-넷에서 유도된 측도 $m_\alpha$ 의 초한극한으로서 $M(G)$ 의 정규 가상 대각선이 구성된다.
• 구성 과정에서 $\Delta \rm M = \delta_e$ 가 성립함을 검증하여 가상 대각선의 필수 조건을 만족함을 입증한다.
• 컴팩트 세트 위의 균일 수렴성에 기반하여, 극한에서의 이중모듈러 불변성 $\mu \cdot \rm M = \rm M \cdot \mu $ 이 성립함을 보이며, 이는 노름 차이가 0으로 수렴하기 때문이다.
• 이 증명은 $M(G)$ 가 콘네스-아메니타리티일 필요충분조건이 $G$ 가 아메니타리티일 때임을 완전히 밝혀내어 측도 대수의 동치 체인을 완성한다.