[논문 리뷰] Universal C*-algebraic quantum groups arising from algebraic quantum groups

Johan Kustermans|ArXiv.org|1997. 04. 22.

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

한 줄 요약

이 논문은 양성 왼쪽 불변 함수를 가진 Multiplier Hopf*-대수를 통해 대수적 양자군에서 보편 C*-량자군을 구성한다. 이 보편 대상이 그 감소형과 동일한 풍부한 구조적 성질을 공유하며, 마스다-나카가미-워노비츠 프레임워크의 모든 공리들을 충족시키지만, 왼쪽 하어 가중치의 비faithfulness 가능성 외에는 모두 만족시킨다.

ABSTRACT

In this paper, we construct a universal C*-algebraic quantum group out of an algebraic one. We show that this universal C*-algebraic quantum group has the same rich structure as its reduced companion. This universal C*-algebraic quantum group also satifies an upcoming definition of Masuda, Nakagami & Woronowicz except for the possible non-faithfulness of the left Haar weight.

연구 동기 및 목표

• 양성 왼쪽 불변 함수를 가진 Multiplier Hopf*-대수를 통해 주어진 대수적 양자군에서 보편 C*-대수적 양자군을 구성하는 것.
• 유도된 보편 C*-양자군이 그 감소형 동반자와 동일한 구조적 풍부성을 습득한다는 것을 보여주는 것.
• 보편 대상이 마스다-나카가미-워노비츠 공리 프레임워크를 거의 충족시키며, 왼쪽 하어 가중치의 비faithfulness 가능성 외에는 모두 충족한다는 것을 검증하는 것.
• 보편 및 감소형 C*-양자군의 유니터리 코레프레젠테이션 사이에 자연스러운 전단사 관계를 확립하는 것.
• 이중 대수적 양자군에서 유도된 보편 C*-양자군을 구성함으로써 이중성 이론을 보편 설정으로 확장하는 것.

제안 방법

• 양성 왼쪽 불변 함수(하어 함수수)를 가진 Multiplier Hopf*-대수의 프레임워크를 대수적 기초로 사용한다.
• C*-범주 내의 보편 성질을 통해 보편 C*-대수 $A_u$와 보편 코승법 $\Delta_u$를 구성한다.
• 엄격 위상, 슬라이스 사상, 소속된 연산자 등의 연산자 대수 기법을 적용하여 코승법과 가중치 함수수를 확장한다.
• GNS 구성과 관련된 사상 $\iota \otimes \Lambda_\varphi$를 사용하여 힐베르트 모듈러스 위의 조밀하게 정의된 연산자를 정의한다.
• $\tilde{\cal N}_{\iota \otimes \varphi}$ 및 $\hat{\cal N}_{\iota \otimes \varphi}$ 집합을 도입하여 슬라이스 사상 $\iota \otimes \varphi$를 소속된 연산자로 확장한다.
• 보편 코레프레젠테이션을 사용하여 $A_u$의 유니터리 코레프레젠테이션과 이중 보편 C*-대수 $\hat{A}_u$ 위의 비퇴화적 *-준동형사상 사이의 전단사 대응을 확립한다.

실험 결과

연구 질문

• RQ1 양성 왼쪽 불변 함수를 가진 Multiplier Hopf*-대수를 통해 대수적 양자군에서 보편 C*-대수적 양자군을 체계적으로 구성할 수 있는가?
• RQ2 보편 C*-양자군은 마스다, 나카가미, 워노비츠가 제안한 공리적 프레임워크를 어느 정도 충족시키는가?
• RQ3 보편 및 감소형 C*-양자군의 유니터리 코레프레젠테이션은 어떻게 관련되어 있는가?
• RQ4 대수적 양자군에 대한 이중성 이론은 보편 C*-대수적 설정으로 이행될 수 있는가?
• RQ5 왼쪽 하어 가중치는 보편 구성에서 어떤 역할을 하는가, 특히 그 faithfulness 여부에 대해 어떻게 평가되는가?

주요 결과

• 양성 왼쪽 불변 함수를 가진 Multiplier Hopf*-대수에서 보편 C*-대수적 양자군 $ (A_u, \Delta_u) $ 가 구성된다.
• 보편 대상은 왼쪽 하어 가중치의 비faithfulness 가능성 외에는 마스다-나카가미-워노비츠 프레임워크의 모든 공리를 충족시킨다.
• 보편 C*-양자군 $A_u$와 감소형 C*-양자군 $A_r$의 유니터리 코레프레젠테이션 사이에 자연스러운 전단사 관계가 존재한다.
• 동일한 전단사 관계는 보편 및 감소형 양자군 간의 이중 *$^*$-동형사상에도 적용된다.
• 보편 코레프레젠테이션은 $A_u$의 유니터리 코레프레젠테이션과 이중 보편 C*-대수 $\hat{A}_u$ 위의 비퇴화적 *-준동형사상 사이의 전단사 대응을 유도한다.
• 구성 과정은 감소형 C*-양자군의 풍부한 구조적 성질을 유지하며, 잘 정의된 이중성과 이중성 이론의 존재를 포함한다.