[논문 리뷰] Deformation of finite dimensional C*-quantum groupoids

Jean-Michel Vallin|arXiv (Cornell University)|2003. 10. 17.

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

한 줄 요약

이 논문은 유한차원 C*-양자군oids가 그 Cartan 부분대수 내의 유니터리 원소를 통해 변형될 수 있음을 보이며, 그 결과 기저 대수 위에서 쌍대항등원의 제곱이 항등원이 되도록 한다. 또한 Cartan 부분대수가 비아벨일 경우, 동일한 C*-대수적 구조를 가진 불가측한 많은 수의 비동형 C*-양자군oids가 존재함을 증명하여, 표준 원소의 스펙트럼 데이터에 연결된 호환 불변량에 기반한 풍부한 변형 공간을 보여준다.

ABSTRACT

In this work we prove, in full details, that any finite dimensional $C^*$-quantum groupoid can be deformed in order that the square of the antipode is the identity on the base. We also prove that for any $C^*$-quantum groupoid with non abelian base, there is uncountably many $C^*$-quantum groupoids with the same underlying algebra structure but which are not isomorphic to it. In fact, the $C^*$-quantum groupoids are closed in an analog of the procedure presented by D.Nikshych ([N] 3.7) in a more general situation.

연구 동기 및 목표

• 유한차원 C*-양자군oids에 대한 변형 절차를 제시하여 쌍대항등원이 Cartan 부분대수에서 항등원이 되도록 한다.
• 동일한 기저 C*-대수를 가졌지만 코곱과 쌍대항등원의 구조가 다른 C*-양자군oids의 동형류의 구조를 조사한다.
• Cartan 부분대수가 비아벨일 경우, 동일한 기저 C*-대수를 가진 불가측한 많은 수의 비동형 C*-양자군oids가 존재하는지 판단한다.
• 부분요소와 곱셈 부분등장사상의 맥락에서 알려진 변형 기법을 C*-양자군oids로 확장한다.
• 특정한 표준 원소의 스펙트럼을 포함한 스펙트럼 불변량이 변형된 C*-양자군oids의 동형류를 뒷받침한다.

제안 방법

• 변형은 Cartan 부분대수 $ A_t $ 내의 유니터리 원소 $ k $ 에 의한 코너지션을 통해 구현되며, 코곱은 $ Δ_k(x) = Δ(x)(1 \otimes k^{-1}) $ 로 수정된다.
• 쌍대항등원 $ \kappa_k $ 는 $ \kappa_k(x) = k \kappa(x) k^{-1} $ 로 정의되며, 코유닛 $ \epsilon_k $ 는 $ \epsilon_k(x) = \epsilon(xk) $ 로 조정되어 C*-양자군oids의 공리를 유지한다.
• 원래 구조와 관련된 표준 원소 $ q $ 는 변형된 체계에서 $ k^{-1}q $ 로 대체되며, 이는 동형에 대해 핵심 불변량이 된다.
• 증명는 $ N^o \otimes N $ 내의 분리 원소 $ e $ 를 구성하는 데 의존하며, 이는 $ e(a^o \otimes 1) = e(1 \otimes a) $ 를 만족하는 정규직교프로젝션이다. 이 성질을 이용해 변형을 정의한다.
• 변형은 Cartan 부분대수의 구조를 유지하여 기저 C*-대수의 변화 없이 코곱과 쌍대항등원만을 수정한다.
• 동형류는 $ k^{-1}q $ 의 스펙트럼에 의해 결정되며, 중심에 있지 않은 불가측한 많은 수의 $ k $ 를 선택할 수 있으므로 불가측한 많은 수의 비동형 구조가 유도된다.

실험 결과

연구 질문

• RQ1 모든 유한차원 C*-양자군oids는 쌍대항등원의 제곱이 Cartan 부분대수 위에서 항등원이 되도록 변형될 수 있는가?
• RQ2 Cartan 부분대수가 비아벨인 C*-양자군oids에 대해, 동일한 기저 C*-대수를 가진 불가측한 많은 수의 비동형 C*-양자군oids가 존재하는가?
• RQ3 표준 원소 $ k^{-1}q $ 의 스펙트럼은 변형된 C*-양자군oids의 동형류에 대한 불변량인가?
• RQ4 변형 절차는 C*-양자군oids의 공리를 유지하면서 기저 대수 위에서 쌍대항등원의 행동을 변화시키는가?
• RQ5 Cartan 부분대수 내의 유니터리 원소를 사용하여 신규 코곱과 쌍대항등원이 필요한 대수적 항등식을 만족하도록 변형을 구성할 수 있는가?

주요 결과

• 모든 유한차원 C*-양자군oids는 변형 절차에서 $ k = q $ 를 선택함으로써 Cartan 부분대수 위에서 쌍대항등원의 제곱이 항등원이 되도록 변형 가능하다.
• Cartan 부분대수가 비아벨일 경우, 동일한 기저 C*-대수적 구조를 가진 불가측한 많은 수의 비동형 C*-양자군oids가 존재하며, 이는 $ k^{-1}q $ 에 대한 서로 다른 스펙트럼을 유도하는 불가측한 많은 수의 $ k $ 선택에 기인한다.
• 표준 원소 $ k^{-1}q $ 의 스펙트럼은 변형된 C*-양자군oids의 동형류에 대한 불변량이며, 이는 비동형 구조를 구별하는 데 기여한다.
• 변형은 기저 C*-대수와 Cartan 부분대수를 유지하면서 유니터리 $ k $ 에 의한 코너지션을 통해 코곱과 쌍대항등원을 수정하므로, 새로운 구조가 여전히 C*-양자군oids임을 보장한다.
• 이 구성은 자가완비적이며 Nikshych의 절차를 더 전문화된 맥락에서 일반화하여, 이러한 변형에 대해 닫혀 있음을 확인한다.
• 표준 원소 $ e \in N^o \otimes N $, $ \sum_\gamma \sum_{i,j} \frac{1}{n_\gamma} e^\gamma_{i,j}^o \otimes e^\gamma_{j,i} $ 로 정의되며, 분리 구조를 정의하고 변형을 가능하게 하는 데 중심적인 역할을 한다.