[논문 리뷰] Applications of Foelner's condition to quantum groups

David Kyed, Andreas Thom|arXiv (Cornell University)|2009. 12. 01.

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

한 줄 요약

이 논문은 코암비언 양자군에 대해 Følner 조건을 적용하여, 복소 von Neumann 대수 설정에서 Murray-von Neumann 차원의 수렴 결과를 확립하고, 특히 Ore 링 구조에 관해 관련 호프 대수의 구조적 성질을 도출한다. 주요 기여는 임의의 연산자의 핵 차원을 불변형 표현을 통해 근사화하는 것으로, 이는 기약 코표현의 융합 대수에서 Følner 수열을 활용한다.

ABSTRACT

Using the Foelner condition for coamenable quantum groups we derive information about the ring theoretical structure of the Hopf algebras arising from such quantum groups, as well as an approximation result concerning the Murray von Neumann dimension associated with the corresponding the von Neumann algebra.

연구 동기 및 목표

• 코암비언 양자군에서 유래하는 호프 대수의 링 이론적 구조를 Følner 조건을 사용하여 조사하는 것.
• 콤���트 양자군과 관련된 von Neumann 대수에서 Murray-von Neumann 차원의 근사 결과를 확립하는 것.
• 기본적으로 기약 코표현의 융합 대수에서 Følner 조건이 $L^2({\mathbb{G}})$ 위의 특정 연산자의 핵 차원과 어떻게 연결되는지 밝혀내는 것.
• 연산자 $R_T^{(2)}$ 의 핵 차원이 $L^2({\mathbb{G}})$ 에서 유한차원 표현에 의해 Følner 수열을 통해 근사 가능함을 보이는 것.
• 적절한 조건 하에서 $i$ 가 증가함에 따라 $L^∞({\mathbb{G}})$ 에서의 $R_T^{(2)}$ 의 핵 차원이 $L^∞({\mathbb{G}}_i)$ 에서의 핵 차원으로 수렴함을 보이는 것.

제안 방법

• 논문은 코암비언 콤팩트 양자군 $\mathbb{G}$ 의 기약 코표현의 융합 대수에서 Følner 조건을 사용하며, 이는 크기에 비해 경계가 작은 유한 집합 $F$ 를 통해 정의된다.
• 직접 극한으로서의 양자군 $\mathbb{G}_i$ 에서의 준동형 사상 $\pi_i$ 를 통해 $L^2({\mathbb{G}})$ 위의 연산자 $R_T^{(2)}$ 의 유한차원 근사를 구성한다.
• 핵심 기술 도구는 단위 연산자 $\pi_i^{(2)}$ 를 포함하는 교환 다이어그램으로, 이는 연산자 $R_T^{(2)}$ 와 그 핵의 구조를 근사 양자군들 사이에서 유지한다.
• 증명은 경계 크기 $|\partial_S F|$ 와 $F_i$ 의 지지 집합에서의 하어 무게 $\hat{h}_{{\mathbb{G}}_i}$ 를 이용하여 Murray-von Neumann 차원의 차이를 추정하는 데 의존한다.
• 수렴을 보이기 위해 불등식 $|\dim_{L^\infty(\mathbb{G})}\ker(R_T^{(2)}) - \dim_{L^\infty(\mathbb{G}_i)}\ker(R_{T_i}^{(2)})| \leq 2n \frac{|\partial_S F|}{|F|}$ 를 적용한다.
• 적절한 $F$ 를 선택함으로써 $|\partial_S F|/|F| < \varepsilon/(2n)$ 이 되게 하여, 충분히 큰 $i$ 에 대해 차이가 $\varepsilon$ 이하가 되도록 보장함으로써 수렴을 확립한다.

실험 결과

연구 질문

• RQ1 기본적으로 기약 코표현의 융합 대수에서 Følner 조건은 $L^2({\mathbb{G}})$ 위의 연산자의 핵 차원과 어떻게 관련되는가?
• RQ2 $L^\infty({\mathbb{G}})$ 에서의 $R_T^{(2)}$ 의 Murray-von Neumann 차원은 양자군의 유한차원 표현을 통해 근사 가능할 수 있는가?
• RQ3 코암비언성과 Følner 조건으로부터 유래하는 호프 대수 $\operatorname{Pol}({\mathbb{G}})$ 의 어떤 구조적 성질이 도출되는가?
• RQ4 $i$ 가 증가함에 따라 $L^\infty({\mathbb{G}})$ 에서의 $R_T^{(2)}$ 의 핵 차원이 $L^\infty({\mathbb{G}}_i)$ 에서의 핵 차원으로 수렴하는 조건은 무엇인가?
• RQ5 집합 $F$ 와 $S$ 의 지지 집합 및 융합 곱에 대해 $\pi_i$ 가 단사임으로써 경계와 핵의 구조가 어떻게 유지되는가?

주요 결과

• 충분히 큰 $i$ 에 대해, $\pi_i$ 가 관련 집합에서 국소적으로 단사인 직접 극한으로서의 $\mathbb{G}_i$ 를 갖는 조건 하에서, $L^\infty({\mathbb{G}})$ 에서의 $R_T^{(2)}$ 의 핵 차원은 $L^\infty({\mathbb{G}}_i)$ 에서의 해당 차원에 의해 임의로 정밀하게 근사 가능하다.
• 핵 차원의 차이는 $|\dim_{L^\infty(\mathbb{G})}\ker(R_T^{(2)}) - \dim_{L^\infty(\mathbb{G}_i)}\ker(R_{T_i}^{(2)})| \leq 2n \frac{|\partial_S F|}{|F|}$ 라는 경계를 만족하며, 이는 Følner 조건을 통해 임의로 작게 만들 수 있다.
• 모든 $\varepsilon > 0$ 에 대해, $|\partial_S F|/|F| < \varepsilon/(2n)$ 를 만족하는 유한 집합 $F \subseteq \operatorname{Irred}(\mathbb{G})$ 가 존재하며, 이는 근사 차원의 수렴을 보장한다.
• 유한차원 근사 $F_i$ 에서의 핵 차원은 $\dim_F(\ker(R_T^F)) = \dim_{F_i}(\ker(R_{T_i}^{F_i}))$ 를 만족하여, $\pi_i$ 를 통해 구조가 유지된다.
• 경계 $\partial_{S_i}F_i$ 에서의 하어 무게 $\hat{h}_{{\mathbb{G}}_i}$ 는 $\partial_S F$ 에서의 $\hat{h}_{{\mathbb{G}}}$ 와 일치하여, 차원 추정의 일관성을 확보한다.
• 핵 차원의 수렴은 단위 연산자 $\pi_i^{(2)}$ 를 포함하는 교환 다이어그램을 통해 확립되며, 이는 근사 양자군들 사이에서 연산자 구조와 핵 차원을 유지한다.