[논문 리뷰] Homological properties of quantum permutation algebras

Julien Bichon, Uwe Franz외 1명|arXiv (Cornell University)|2017. 04. 03.

Algebraic structures and combinatorial models참고 문헌 30인용 수 9

한 줄 요약

이 논문은 $n \geq 4$ 일 때 왕의 양자 치환 대수 $A_s(n)$ 가 차원 3인 Calabi-Yau임을 증명하며, 호모로지 코hom로지가 0과 3를 제외한 모든 차수에서 0임을 보인다. 또한, 유한 그래프와 관련된 양자 치환 대수의 광범위한 클래스에 대해 자명한 계수를 가진 두 번째 Hochschild 코호모로지 군이 0임을 증명하며, 이는 양자 확률론에서 AC 성질을 의미한다—즉, 모든 코사이클이 Schürmann 삼중성으로 확장 가능하다.

ABSTRACT

We show that $A_s(n)$, the coordinate algebra of Wang's quantum permutation group, is Calabi-Yau of dimension $3$ when $n\geq 4$, and compute its Hochschild cohomology with trivial coefficients. We also show that, for a larger class of quantum permutation algebras, including those representing quantum symmetry groups of finite graphs, the second Hochschild cohomology group with trivial coefficients vanishes, and hence these algebras have the AC property considered in quantum probability: all cocycles can be completed to a Schürmann triple.

연구 동기 및 목표

• 왕의 양자 치환 대수 $A_s(n)$ 의 호모로지적 성질, 특히 Hochschild 코호모로지와 Calabi-Yau 구조를 규명하는 것.
• $n \geq 4$ 일 때 $A_s(n)$ 이 차원 3인 Calabi-Yau임을 증명하여 기존의 코호모로지 차원 결과를 확장하는 것.
• 유한 그래프와 관련된 양자 치환 대수를 포함한 광범위한 양자 치환 대수의 클래스에 대해 두 번째 Hochschild 코호모로지 군의 소멸을 일반화하는 것.
• 이 대수들이 양자 확률론에서 AC 성질을 만족함을 증명하여, 모든 코사이클이 Schürmann 삼중성으로 확장 가능함을 보장하는 것.
• 차원 $\geq 4$ 인 유한 차원 단순 정규화 가능한 측도 대수의 양자 대칭 대수의 호모로지적 특성화를 제공하는 것.

제안 방법

• 왜곡된 Calabi-Yau 대수의 Hopf 부분대수에 대해 Calabi-Yau 성질을 유지하는 데 사용되는 새로운 기준(정리 3.1)을 활용한다.
• Bichon의 $A_s(n)$ 에 관한 최근 연구 및 comodule 범주와 코호모로지에 관한 결과를 적용한다.
• Mrozinski 및 Wang-Yu-Zhang의 양자 치환 대수의 구조와 그 표현에 관한 핵심 결과를 활용한다.
• 정규화된 Hochschild 2-코사이클 $c$ 를 사용하여 $\rho_c: A \to T_3(A)$ 라는 표현을 구성하며, 생성자를 상삼각행렬로 매핑한다. 이 행렬의 원소는 $c(u_{ij} \otimes -)$ 와 $\lambda_{ij} = -c(u_{ii} \otimes u_{ij})$ 를 포함한다.
• 코사이클 항등식과 정규화 조건을 이용하여 행렬 원소가 $A_s(n)$ 의 정의 관계를 만족함을 확인함으로써, $\rho_c$ 가 잘 정의된 대수 준동형사상임을 보장한다.
• 레마 5.4 를 적용하여, $C(a) = c(a \otimes -)$ 를 만족하는 이러한 표현이 존재할 경우, $c$ 가 코바운드임을 증명함으로써 $H^2(A, \mathbb{C}) = 0$ 을 증명한다.

실험 결과

연구 질문

• RQ1 $n \geq 4$ 일 때 $A_s(n)$ 이 차원 3인 Calabi-Yau인지 여부와, 자명한 계수를 가진 Hochschild 코호모로지의 구조는 무엇인가?
• RQ2 유한 그래프와 관련된 양자 치환 대수에 대해 두 번째 Hochschild 코호모로지 군 $H^2(A, \mathbb{C})$ 는 0이 되는가?
• RQ3 양자 치환 대수의 모든 Hochschild 2-코사이클은 Schürmann 삼중성으로 확장될 수 있는가—즉, 이는 AC 성질을 의미하는가?
• RQ4 왜곡된 Calabi-Yau 대수의 Hopf 부분대수가 Calabi-Yau 성질을 어떤 조건에서나 유지하는가?
• RQ5 차원 $\geq 4$ 인 유한 차원 단순 정규화 가능한 측도 대수의 양자 대칭 대수의 호모로지적 구조는 무엇인가?

주요 결과

• $n \geq 4$ 일 때 대수 $A_s(n)$ 는 차원 3인 Calabi-Yau이며, Hochschild 코호모로지 $H^p(A_s(n), \mathbb{C}) \simeq \mathbb{C}$ 이다. 이는 $p = 0,3$ 일 때이고, 그 외의 경우 0이다.
• 두 번째 Hochschild 코호모로지 군 $H^2(A_s(n), \mathbb{C})$ 는 0이며, 이는 $A_s(n)$ 이 양자 확률론에서 AC 성질을 만족함을 확인한다.
• $H^2(A, \mathbb{C})$ 의 소멸은 유한 그래프의 양자 대칭군을 나타내는 포함된 양자 치환 대수의 광범위한 클래스로 확장된다.
• 모든 이러한 대수 $A$ 에 대해, 정규화된 Hochschild 2-코사이클 $c$ 는 $\rho_c$ 를 $T_3(A)$ 에로 구성함으로써 코바운드임을 보여준다.
• 표현 $\rho_c$ 는 $u_{ij}$ 를 $3 \times 3$ 상삼각행렬로 매핑하며, 이 행렬의 원소는 $c(u_{ij} \otimes -)$ 와 $\lambda_{ij} = -c(u_{ii} \otimes u_{ij})$ 를 포함한다. 이 구성은 대수의 관계를 유지한다.
• 증명은 코사이클 항등식과 정규화 조건을 이용하여 행렬 원소가 치환 행렬 관계를 만족함을 확인함으로써 이루어지며, 결국 $c$ 가 코바운드임을 보여준다.