[논문 리뷰] Characterizations of compact and discrete quantum groups through second duals

Volker Runde|ArXiv.org|2005. 06. 24.

Advanced Operator Algebra Research참고 문헌 20인용 수 35

한 줄 요약

이 논문은 국소적으로 컴팩트한 양자군이 그의 전조군이 그의 이중이중에서 이상임과 동시에 컴팩트임과 동치이며, 그의 C*-대수(연속적으로 무한에서 사라지는 것)가 그의 이중이중에서 이상임과 동시에 이산임과 동치임을 증명한다. 이러한 결과들은 전통적인 컴팩트 및 이산 국소적으로 컴팩트 군의 군 대수와 푸리에 대수를 통한 특성화를 통합하고 일반화하며, 양자군의 맥락으로 확장하여 쌍대성과 이중이중 이상의 개념을 사용한다.

ABSTRACT

A locally compact group $G$ is compact if and only if $L^1(G)$ is an ideal in $L^1(G)^{**}$, and the Fourier algebra $A(G)$ of $G$ is an ideal in $A(G)^{**}$ if and only if $G$ is discrete. On the other hand, $G$ is discrete if and only if $C_0(G)$ is an ideal in $C_0(G)^{**}$. We show that these assertions are special cases of results on locally compact quantum groups in the sense of J. Kustermans and S. Vaes. In particular, a von Neumann algebraic quantum group $(M,Γ)$ is compact if and only if $M_*$ is an ideal in $M^*$, and a (reduced) $C^*$-algebraic quantum group $(A,Γ)$ is discrete if and only if $A$ is an ideal in $A^{**}$.

연구 동기 및 목표

• 국소적으로 컴팩트한 양자군의 프레임워크로 고전적 컴팩트 및 이산 국소적으로 컴팩트 군의 특성화를 확장하는 것.
• 양자군의 컴팩트성은 그의 전조군이 그의 이중이중에서 이상임과 동치임을 확립하는 것.
• 양자군의 이산성은 그의 C*-대수가 그의 이중이중에서 이상임과 동치임을 보여주는 것.
• 와타나베(의 L¹(G) 이상에 관한 결과)와 로우(의 A(G) 이상에 관한 결과)의 결과들을 양자군의 쌍대성 프레임워크 내에서 통합하고 일반화하는 것.

제안 방법

• 국소적으로 컴팩트한 양자군을 코승법이 있는 호프–폰 노이만 대수로 간주하기 위해 쿠스터만스–베스 공리계를 사용하는 것.
• 이중이중에 대한 아렌스乘법을 적용하여 전조군과 C*-대수에서 대수적 구조를 정의하는 것.
• 쌍대성의 활용: 양자군의 컴팩트성은 그의 이중에서 이산성과 대응하며, 그 반대도 마찬가지임.
• 약한 컴팩트 곱과 덴포르트–페티스 성질을 사용하여 이중이중에서 이상의 구조를 특성화하는 것.
• 겔판트 변환과 컴팩트 연산자의 스펙트럼 이론을 사용하여 특성과 C*-노름의 유일성을 분석하는 것.
• 힐베르트 공간 표현과 컴팩트 연산자의 이상에 관한 알려진 결과로 환원하여 증명하는 것.

실험 결과

연구 질문

• RQ1 von Neumann 대수적 양자군의 전조군이 그의 이중이중에서 이상이 되는 조건은 무엇인가?
• RQ2 감소형 C*-대수적 양자군의 C*-대수가 그의 이중이중에서 이상이 되는 조건은 무엇인가?
• RQ3 고전적 특성화인 컴팩트 및 이산 군에 대한 L¹(G) 및 A(G) 이상의 결과는 어떻게 양자군으로 일반화되는가?
• RQ4 쌍대성은 두 번째 이중 프레임워크에서 컴팩트성과 이산성의 관계를 어떻게 반영하는가?
• RQ5 이중이중에서 이상 성질은 기저 대수에서 C*-노름의 유일성을 암시하는가?

주요 결과

• von Neumann 대수적 양자군 (M, Γ)은 그의 전조군 M*가 M**에서 이상이 되는 것과 동치일 때 컴팩트이다.
• 감소형 C*-대수적 양자군 (A, Γ)은 A가 A**에서 이상이 되는 것과 동치일 때 이산적이다.
• G가 컴팩트일 때만 L¹(G)가 L¹(G)**에서 이상이 되는 고전적 결과는 양자군으로 일반화된다.
• G가 이산적일 때만 A(G)가 A(G)**에서 이상이 되는 결과는 양자군 맥락으로 확장된다.
• 이중이중에서 이상 성질은 컴팩트 연산자의 스펙트럼 이론을 통해 기저 대수가 고유한 C*-노름을 가짐을 암시한다.
• 컴팩트 및 이산 양자군 간의 쌍대성은 이중이중 이상 성질에 반영된다: G가 컴팩트일 때와 Ĝ가 이산일 때가 동치이다.