[논문 리뷰] Weak Hopf algebra symmetries of C^*-algebra inclusions

Kornél Szlachányi|ArXiv.org|2000. 12. 31.

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

한 줄 요약

이 논문은 2차원 conformal field theory와 1차원 양자 격자 시스템에서 초선택 영역의 융합 규칙에서 비정수 차원 문제를 해결하기 위해, 단순한 호프 대수의 일반화로 C*-약한 호프 대수를 제안한다. 이는 유한 차수, 깊이-2 포함 구조를 가진 C*-대수의 복원 정리를 증명하며, 고정점 대수를 통해 불변 부분대수로 나타나는 정규 작용을 통해 이루어진다.

ABSTRACT

After a summary on module algebra actions of C^*-weak Hopf algebras we outline the proof of a reconstruction theorem stating that every finite index depth 2 inclusion N < M of unital C^*-algebras with finite dimensional centers is isomorphic to the invariant subalgebra inclusion M^A < M with respect to a regular weak Hopf algebra action. The proof uses the language of C^*-2-categories.

연구 동기 및 목표

• 2차원 CFT와 1차원 양자 시스템의 초선택 영역에서 비정수 복합 계수를 가진 융합 규칙을 단순한 호프 대수로는 실현할 수 없음을 해결한다.
• 융합 계수 Npq^r가 음이 아닌 정수일 때, 차원 방정식 ∑Npq^r dr = dp dq가 차원 dr에 대해 정수 해를 갖지 않는 장애를 극복한다.
• 코승법이 코결합적이지만 단위를 유지하지는 않는 C*-약한 호프 대수를 제안하여, dim(D⊗D′) ≤ dim D · dim D′를 허용함으로써 이러한 융합 규칙에 대해 일관된 표현 이론을 가능하게 한다.
• 복원 정리 수립: 중심이 유한차원인 유한지수, 깊이-2 포함 구조 N ⊂ M의 C*-대수는 항상 C*-약한 호프 대수 A의 정규 작용으로부터 유도되며, N = M^A를 만족한다.
• C*-약한 호프 대수의 구조와 그 쌍대성에 대해 기술하며, 이들이 이전의 구성들을 일반화하고 호프 애벌레이드의 유한차원 형태임을 보여준다.

제안 방법

• 체 K 위에서 약한 이중대수와 약한 호프 대수를 정의하며, 코승법 Δ, 코단위 ε, 대수와 코대수의 구조 간의 호환성 조건을 포함한 공리 체계를 수립한다.
• C*-노름, 복소수 켤레 연산자 *, 하르 적분을 추가하여 C*-약한 호프 대수를 정의함으로써, 양의 정합성과 코승법, 반대칭원과의 호환성을 보장한다.
• 소스 및 타겟 사상 s: B^op → A와 t: B → A를 정의하며, 이로부터 유도되는 부분대수 A^L과 A^R를 정의한다. 이들은 초기 자료가 아니며 Δ로부터 유도된다.
• 깊이-2 조건을 사용: ι×ῑ×ι가 ι의 유한차수의 직접합의 부분으로 포함될 때, 쿼즈기저 {v_i}가 존재하여 ∑(v_i × ι)∘U_{23}∘(v_i^* × ι) = ι×ῑ×ι를 만족한다.
• 쌍대 대수 B와의 쌍대화를 통해 A 위에 코승법 Δ_A를 구성하며, tr_a(z^{-2}) = d_a 를 만족하는 헤르미트 역행렬 원소 z ∈ End(ι)를 사용한다.
• Δ_A의 승법성은 식 (3.27)의 포크 규칙과 동치이며, 식 ∑_i u_i^* z_1^{-2} U_{23} u_i = 1 이 End(ι×ῑ×ι)에서 성립함을 증명한다. 여기서 {u_i}는 tr_M∘Ψ_12에 대한 정규직교 기저이다.

실험 결과

연구 질문

• RQ1 단순한 호프 대수가 차원 불일치로 인해 실패할 경우, 비정수 차원을 가진 융합 규칙을 카테고리적 프레임워크에서 실현할 수 있는가?
• RQ2 어떤 대수적 구조가 dim(D⊗D′) < dim D · dim D′를 允許함으로써 이러한 융합 규칙에 대해 일관된 표현 이론을 가능하게 하는가?
• RQ3 중심이 유한차원인 유한지수, 깊이-2 포함 구조 N ⊂ M의 C*-대수는 항상 C*-약한 호프 대수 A의 정규 작용으로부터 유도되며, N = M^A를 만족하는가?
• RQ4 쌍대화 원소 z에 대한 어떤 조건이 Δ_A의 승법성을 보장하는가? 이는 쿼즈기저 조건과 어떻게 관련되는가?
• RQ5 S²|_{A^L}에서의 자유도(즉, A^L에서의 반대칭원의 제곱이 자명하지 않은 것)는 물리적 깊이-2 포함 구조에서는 나타나지 않는 이유는 무엇이며, 이는 수학적으로 어떤 의미를 갖는가?

주요 결과

• C*-약한 호프 대수는 dim(D⊗D′) ≤ dim D · dim D′를 允許함으로써 비정수 차원을 가진 융합 규칙을 실현하는 데서 발생하는 장애를 제거하며, 따라서 일관된 표현 이론을 가능하게 한다.
• 복원 정리는 중심이 유한차원인 유한지수, 깊이-2 포함 구조 N ⊂ M의 C*-대수와 정규 작용을 하는 C*-약한 호프 대수 A에 대해 N = M^A를 만족하는 사이의 일대일 대응을 수립한다.
• 코승법 Δ_A가 승법임은 식 ∑_i u_i^* z_1^{-2} U_{23} u_i = 1 이 End(ι×ῑ×ι)에서 성립함과 동치이며, 이는 대수적 구조와 카테고리적 깊이-2 성질을 연결한다.
• 원소 z ∈ End(ι)는 모든 ι의 영역 a에 대해 tr_a(z^{-2}) = d_a 를 만족해야 하며, z를 부호를 제외한 중심으로 선택하면 일관성이 유지된다. 비중앙 z는 끈기 데이터로 중심화할 수 없다.
• 유도된 WHA의 표준 군형 원소 g′_L는 z² = g′_L 를 만족하며, 이는 쌍대화 원소와 약한 호프 대수의 대수적 구조를 연결한다.
• S²|_{A^L}에서의 자유도(즉, A^L에서의 반대칭원의 제곱이 자명하지 않은 것)는 물리적 깊이-2 포함에서 실현되지 않으며, 이는 오직 S²|_{A^L} = id를 만족하는 C*-약한 호프 대수만 물리적으로 관련이 있다는 것을 시사한다.