[논문 리뷰] Generalized fixed point algebras for coactions of locally compact quantum groups

Alcides Buss|arXiv (Cornell University)|2012. 11. 14.

Advanced Operator Algebra Research인용 수 4

한 줄 요약

이 논문은 쿠스터먼스와 바스의 정의에 따라 국소적으로 컴act한 양자군의 코행동(coactions)에 대해 리에플의 일반화된 고정점 대수 이론을 일반화한다. 힐버트 모듈러 이론을 사용하고, 연속적인 제곱-integrability의 비가환 대체 개념을 도입한다. 주요 결과는 일반화된 고정점 대수와 축합된 제품의 이상 사이의 모리타 동치를 확립하며, 고정점 대수의 경우 축합된 제품 위의 힐버트 모듈러러의 컴팩트 연산자로 표현된다.

ABSTRACT

We extend the construction of generalized fixed point algebras to the setting of locally compact quantum groups - in the sense of Kustermans and Vaes - following the treatment of Marc Rieffel, Ruy Exel and Ralf Meyer in the group case. We mainly follow Meyer's approach analyzing the constructions in the realm of equivariant Hilbert modules. We generalize the notion of continuous square-integrability, which is exactly what one needs in order to define generalized fixed point algebras. As in the group case, we prove that there is a correspondence between continuously square-integrable Hilbert modules over an equivariant C*-algebra B and Hilbert modules over the reduced crossed product of B by the underlying quantum group. The generalized fixed point algebra always appears as the algebra of compact operators of the associated Hilbert module over the reduced crossed product.

연구 동기 및 목표

• 군 작용에서부터 국소적으로 컴팩트한 양자군의 코행동으로 리에플의 일반화된 고정점 대수 이론을 확장하기.
• 비가환 동역학에서 고정점 대수의 구성이 가능하도록, 연속적인 제곱-적분 가능성의 개념을 양자군 설정으로 일반화하기.
• 양자군 코행동을 갖는 $C^*$-대수 위의 연속적으로 제곱-적분 가능한 힐버트 모듈러와 축합된 제품 위의 힐버트 모듈러 사이의 대응을 확립하기.
• 일반화된 고정점 대수가 축합된 제품 위의 관련 힐버트 모듈러러의 컴팩트 연산자 대수로서 자연스럽게 나타남을 보여주기.

제안 방법

• 국소적으로 컴팩트한 양자군의 코행동을 분석하기 위해 메이어의 등변 힐버트 모듈러 프레임워크를 채택한다.
• 코행동을 갖는 $C^*$-대수 위의 힐버트 모듈러에 대해 연속적인 제곱-적분 가능성의 비가환 일반화를 도입한다.
• 군의 경우 리에플의 접근 방식을 모델로 삼아, 코행동 沿해 평균화를 통한 일반화된 고정점 대수의 구성 방법을 사용한다.
• 불변점 대수와 축합된 제품 $A \rtimes_r \mathcal{G}$ 의 이상 사이의 연결을 위해 임프리미티비티 이중모듈러 구조를 적용한다.
• 양자군의 표준 코표현 $W$ 와 관련된 연산자를 사용하여 힐버트 모듈러의 구조를 정의하고 분석한다.
• 코헨의 인수분해 정리와 쌍대 코행동의 성질을 응용하여, 포화되고 s-완비인 부분공간이 전체 모리타 동치를 유도함을 증명한다.

실험 결과

연구 질문

• RQ1 일반화된 고정점 대수 이론을 군 작용에서 국소적으로 컴팩트한 양자군의 코행동으로 확장할 수 있는가?
• RQ2 양자군 코행동의 맥락에서 연속적인 제곱-적분 가능성의 적절한 비가환 대체 개념은 무엇인가?
• RQ3 양자군 설정에서 일반화된 고정점 대수와 축합된 제품 사이의 관계는 어떻게 되는가?
• RQ4 일반화된 고정점 대수가 축합된 제품 위의 힐버트 모듈러러의 컴팩트 연산자 대수로 자연스럽게 나타나는 조건은 무엇인가?
• RQ5 힐버트 모듈러와 코행동의 구조에 기반하여 자유성(saturation)을 특성화할 수 있는가?

주요 결과

• 국소적으로 컴팩트한 양자군의 코행동을 갖는 $C^*$-대수 위의 연속적으로 제곱-적분 가능한 힐버트 모듈러와 관련된 일반화된 고정점 대수는 축합된 제품 위의 힐버트 모듈러러의 컴팩트 연산자 대수와 동형이다.
• 일반화된 고정점 대수와 축합된 제품의 이상 사이에 모리타 동치가 존재하며, 이는 제곱-적분 가능한 원소들의 밀집 부분공간의 완비화에 의해 유도된다.
• 이 구성은 리에플의 원래 프레임워크를 군 작용에서 양자군 코행동으로 일반화하며, 고정점 대수와 축합된 제품 사이의 핵심 대칭성을 유지한다.
• 포화되고 s-완비이며 상대적으로 연속적인 힐버트 모듈러의 부분공간은 자유 코행동을 정확히 일반화하며, 비가환 동역학에서의 자유성 개념을 일반화한다.
• 양자군이 자기 자신 위에 그의 코승법에 의해 작용할 때, 그 코행동이 올바르고 자유로운 것은 그 양자군이 정규일 때이고, 오직 그 경우에만 성립하며, 이는 비정규 예시가 비올바른 것으로 정확히 특성화된다.
• 밀도 있고 s-완비이며 상대적으로 연속적인 부분공간 $\mathcal{R}_0 \subseteq \mathcal{G}_{\mathrm{si}}$ 와 관련된 힐버트 모듈러 $\mathcal{F}(\mathcal{G}, \mathcal{R})$ 는 $\mathcal{K}(L^2(\mathcal{G}))$ 위의 힐버트 모듈러로서 $L^2(\mathcal{G})^*$ 와 동형이며, 이는 정규화된 대칭을 확립한다.