[논문 리뷰] Locally compact quantum groups in the universal setting

Johan Kustermans|ArXiv.org|1999. 02. 02.

Advanced Operator Algebra Research참고 문헌 16인용 수 5

한 줄 요약

이 논문은 주어진 축약형 C*-대수적 양자군으로부터 보편 C*-대수적 양자군을 구성함으로써 보편 C*-대수적 양자군을 수립한다. 밀도가 있는 ∗-부분대수의 보편 포장 C*-대수를 구성함으로써 이루어지며, 키르히버그의 유니터리 코표현에 관한 정밀한 변형을 사용하여 보편 대상이 자신의 축약형 이중과 동형인 전체 양자군 구조를 상속함을 증명한다. 이로써 국소적으로 컴act한 양자군 이론에서 보편적 및 축약형 설정이 통합된다.

ABSTRACT

In this paper we associate to every reduced C*-algebraic quantum group A a universal C*-algebraic quantum group. We fine tune a proof of Kirchberg to show that every *-representation of a modified L1-space is generated by a unitary corepresentation. By taking the universal enveloping C*-algebra of a dense sub *-algebra of A we arrive at the uinversal C*-algebra. We show that this universal C*-algebra carries a quantum group structure which is as rich as its reduced companion.

연구 동기 및 목표

• 주어진 축약형 C*-대수적 양자군으로부터 보편 C*-대수적 양자군을 구성하는 것.
• 국소적으로 컴팩트한 양자군의 이중성 이론을 보편 설정으로 확장하는 것.
• 보편 대상이 그 축약형 동반자만큼 풍부한 양자군 구조를 지닌다는 것을 보여주는 것.
• C*-대수적 방법을 사용하여 국소적으로 컴팩트한 양자군을 연구하는 데 위한 보편적 프레임워크를 제공하는 것.

제안 방법

• 축약형 C*-대수적 양자군의 밀도가 있는 ∗-부분대수의 보편 포장 C*-대수를 구성하는 것.
• 수정된 L¹-공간의 모든 ∗-표현이 유니터리 코표현으로부터 유도됨을 보이기 위해 키르히버그의 증명을 정밀화한 버전을 적용하는 것.
• 유니터리 코표현의 구조를 이용해 보편 C*-대수로 코승법과 기타 양자군 연산을 옮기는 것.
• 보편 C*-대수가 국소적으로 컴팩트한 양자군의 공리계를 만족함을 검증하는 것.
• 보편 성질을 통해 보편 및 축약형 양자군 간의 강력한 이중성 관계를 수립하는 것.
• 보편 양자군이 축약형 버전의 모든 구조적 특성—예를 들어 하어르 무게와 불변성—을 그대로 상속함을 보여주는 것.

실험 결과

연구 질문

• RQ1 주어진 축약형 C*-대수적 양자군으로부터 보편 C*-대수적 양자군을 자연스럽게 구성할 수 있는가?
• RQ2 보편 대상이 그 축약형 동반자로부터 전체 양자군 구조—예를 들어 불변 무게와 불변성 특성—을 상속받는가?
• RQ3 키르히버그의 L¹-공간과 유니터리 코표현에 관한 방법을 수정하여 보편 대상의 존재를 확립하는 데 적응할 수 있는가?
• RQ4 보편 양자군이 국소적으로 컴팩트한 양자군 이론의 관점에서 축약형 양자군과 이중적으로 동치되는가?
• RQ5 밀도가 있는 ∗-부분대수는 보편 C*-대수의 구성과 양자군 공리계의 유지에 어떤 역할을 하는가?

주요 결과

• 보편 C*-대수적 양자군은 주어진 축약형 C*-대수적 양자군의 밀도가 있는 ∗-부분대수의 보편 포장 C*-대수로서 구성된다.
• 수정된 L¹-공간의 모든 ∗-표현은 유니터리 코표현으로부터 유도되며, 이는 구성에 핵심적인 기술적 결과이다.
• 보편 C*-대수는 잘 정의된 코승법을 상속하여 국소적으로 컴팩트한 양자군가 된다.
• 보편 대상의 양자군 구조는 축약형 버전과 동일하게 풍부하며, 좌변 및 우변 불변 무게의 존재를 포함한다.
• 보편 양자군은 축약형 양자군과 이중적으로 동치이며, 모든 본질적인 구조적 특성을 유지한다.
• 이 구성은 국소적으로 컴팩트한 양자군 이론에서 보편 및 축약형 설정 간의 자연스럽고 함의적인 대응 관계를 수립한다.