[논문 리뷰] Compact quantum subgroups and left invariant C*-subalgebras of locally compact quantum groups

Pekka Salmi|arXiv (Cornell University)|2010. 04. 23.

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

한 줄 요약

이 논문은 코-유비에이블(locally compact) 양자군 𝔾의 컴팩트 양자 부분군과 𝒞₀(𝔾)의 특정 왼쪽으로 불변하는 C*-서브대수 사이의 일대일 대응을 수립한다. 이는 라우와 로스터의 고전적 결과를 일반화한 것으로, 코-유비에이블 양자군의 모든 컴팩트 양자 부분군이 스스로 코-유비에이블임을 증명하고, 이 대응을 역으로 적용하여, 애매한(locally compact) 아벨 군의 열린 부분군과 그 군 C*-대수의 불변 C*-서브대수 사이의 유사한 연결고리를 보여준다.

ABSTRACT

We show that there is a one-to-one correspondence between compact quantum subgroups of a co-amenable locally compact quantum group $\mathbb{G}$ and certain left invariant C*-subalgebras of $C_0(\mathbb{G})$. We also prove that every compact quantum subgroup of a co-amenable quantum group is co-amenable. Moreover, there is a one-to-one correspondence between open subgroups of an amenable locally compact group $G$ and non-zero, invariant C*-subalgebras of the group C*-algebra $C^*(G)$.

연구 동기 및 목표

• 지역적으로 컴팩트한 군에서 컴팩트 부분군과 𝒞₀(G)의 왼쪽으로 불변하는 C*-서브대수 사이의 고전적 대응을 지역적으로 컴팩트한 양자군의 설정으로 일반화하는 것.
• 코-유비에이블 양자군 𝔾의 컴팩트 양자 부분군과 𝒞₀(𝔾)의 특정 왼쪽으로 불변하는 C*-서브대수 사이의 일대일 대응을 수립하는 것.
• 코-유비에이블 양자군의 모든 컴팩트 양자 부분군이 스스로 코-유비에이블임을 증명하여 고전적 군론적 사실을 확장하는 것.
• 코-완전성(co-commutative) 및 코-유비에이블인 경우에 대응을 역으로 적용하여, 아벨 지역적으로 컴팩트한 군 G의 열린 부분군과 𝒞*(G)의 영이 아닌 불변 C*-서브대수 사이의 일대일 연결고리를 보여주는 것.

제안 방법

• 쿠스터먼스와 바스가 정의한 지역적으로 컴팩트한 양자군의 축소 C*-대수 프레임워크를 사용하며, 코-곱셈 Γ와 왼쪽/오른쪽 하어 가중치를 포함한다.
• 오른쪽 이동이 원소를 보존하는 조건을 통해 왼쪽으로 불변하는 C*-서브대수를 정의하며, 이는 군 불변 함수와 유사하다.
• 이론적 다중화 대수와 엄밀한 위상수학을 활용하여 유계가 아닌 다중화자들을 다루고, 양자군과 그 이중 간의 이중성을 실현한다.
• 푸리에–슈틸리지 대수와 표현 이론적 도구, 특히 X-자명 표현을 활용하여 불변성과 이중성을 분석한다.
• 코-완전성(co-commutative)의 경우, 폰트리아진 이중성 프레임워크를 적용하여 𝔾 = Ĝ로 식별하고, G의 부분군과 𝒞*(G)의 서브대수 사이의 관계를 설정한다.
• 타케사키–타츠마 이중성 이론과 엔록의 von Neumann 대수적 양자군 연구 결과를 활용하여 이중성 추론을 뒷받침한다.

실험 결과

연구 질문

• RQ1 지역적으로 컴팩트한 군에서 컴팩트 부분군과 왼쪽으로 불변하는 C*-서브대수 사이의 고전적 라우–로스터 대응에 해당하는 양자적 해석이 존재하는가?
• RQ2 환경 양자군이 코-유비에이블일 경우, 그 안에 포함된 컴팩트 양자 부분군의 코-유비에이블성은 유추할 수 있는가?
• RQ3 코-완전성 및 코-유비에이블인 경우에, 양자군과 그 이중 간의 이중성이 C*-대수 설정에서 열린 부분군과 불변 서브대수 사이에 어떻게 나타나는가?
• RQ4 어떤 조건이 왼쪽으로 불변하는 C*-서브대수 𝒞₀(𝔾)가 컴팩트 양자 부분군으로부터 유래되는지를 보장하는가?
• RQ5 코-완전성 및 코-유비에이블인 경우, 군 G의 열린 부분군과 𝒞*(G)의 불변 C*-서브대수 사이에 일대일 대응이 존재하는가?

주요 결과

• 코-유비에이블 지역적으로 컴팩트한 양자군 𝔾의 컴팩트 양자 부분군과 𝒞₀(𝔾)의 특정 왼쪽으로 불변하는 C*-서브대수 사이에 일대일 대응이 존재한다.
• 코-유비에이블 양자군의 모든 컴팩트 양자 부분군은 스스로 코-유비에이블이며, 정규 열린 부분군에 의해 몫을 이루는 아벨 군의 코-유비에이블성이라는 고전적 사실을 일반화한다.
• 코-완전성 및 코-유비에이블인 경우, 이중 대응이 존재한다: 아벨 지역적으로 컴팩트한 군 G의 열린 부분군은 𝒞*(G)의 영이 아닌 불변 C*-서브대수와 일대일로 대응된다.
• G의 열린 정규 부분군 H에 대한 C*-대수 𝒞*(H)는 H가 정규일 때에만 대칭적이며, 이는 F⊥가 𝒞*(G)의 양측 이상이 되는 것과 동치이다.
• 𝒞*(H)에 의해 유도된 컴팩트 양자 부분군은 몫군 G/H의 이중과 동형이며, 즉 (𝔾, π) ≅ ((G/H)̂, ρ)로 표현되며, 이는 코-완전성의 경우 이중성의 정당성을 확인한다.
• 논문의 정리 18에서 (1) ⇒ (2)의 함의관계 증명이 심사위원의 제안에 따라 X-자명 표현 접근법을 활용해 크게 단순화되었으며, 이는 원래 증명의 미묘한 기술적 결함까지 해결한다.