[논문 리뷰] Lifting shadings on symmetrically self-dual subfactor planar algebras

Zhengwei Liu, Scott Morrison외 1명|arXiv (Cornell University)|2017. 09. 15.

Algebraic structures and combinatorial models참고 문헌 21인용 수 4

한 줄 요약

이 논문은 대칭적으로 자기쌍대인 부분군 평면 대수에서 그림자를 올리는 방법을 확립하여 ${\mathbb{Z}}/2{\mathbb{Z}}$-등급 단위 유니터리 융합 분류를 구성한다. 이러한 평면 대수가 $\Phi_{\mp} \circ \Phi_{\pm} = \mathbf{1}_{\pm}$를 만족하는 자기쌍대 동형사상 $\Phi$를 갖는다는 것을 증명함으로써, 융합 그래프 4442와 3333를 가진 이러한 분류의 분류에서 핵심적인 간극을 해결한다.

ABSTRACT

In this note, we discuss the notion of symmetric self-duality of shaded planar algebras, which allows us to lift shadings on subfactor planar algebras to obtain Z/2Z-graded unitary fusion categories. This finishes the proof that there are unitary fusion categories with fusion graphs 4442 and 3333.

연구 동기 및 목표

• subfactor 평면 대수에서 융합 그래프 4442와 3333를 가진 ${\mathbb{Z}}/2{\mathbb{Z}}$-등급 단위 유니터리 융합 분류의 구축을 완료하는 것.
• 그림자가 있는 평면 대수의 대칭 자기쌍대성 조건이 그림자를 그림자가 없는 인자 평면 대수로의 올림을 가능하게 한다는 것을 증명하는 것.
• 이전에 제안된 구축을 완성함으로써 융합 그래프 4442와 3333를 가진 단위 유니터리 융합 분류의 존재를 확립하는 것.
• 올림 구축이 올바른 짝수 부분 $\mathcal{P}_+$와 홀수 부분 $\mathcal{P}_-$를 가진 잘 정의된 ${\mathbb{Z}}/2{\mathbb{Z}}$-등급 텐서 분류를 제공한다는 것을 확인하는 것.

제안 방법

• 평면 대수의 이중성 $\overline{\mathcal{P}}_\bullet = (\mathcal{P}_-, \mathcal{P}_+)$에 대한 평면 대수 동형사상 $\Phi$를 통해 그림자가 있는 평면 대수 $\mathcal{P}_\bullet = (\mathcal{P}_+, \mathcal{P}_-)$의 대칭 자기쌍대성을 정의하고, $\Phi_{\mp} \circ \Phi_{\pm} = \mathbf{1}_{\pm}$를 만족시킨다.
• 이 동형사상 $\Phi$를 사용하여 부분군 평면 대수의 그림자를 그림자가 없는 인자 평면 대수로 올리고, 이로써 ${\mathbb{Z}}/2{\mathbb{Z}}$-등급 단위 유니터리 융합 분류를 구성한다.
• 트레이스 항등식을 사용하여 $\mathfrak{F}_S$와 $\Phi_{-}$를 포함한 표현을 통해 $\Phi^2 = 1$이 성립하는 것이 오직 해당 이중형 $\chi$가 대칭일 때에만 성립함을 보인다.
• 이중형 $\chi(g,h)$가 대칭임과 $(\Phi_{-}\mathfrak{F}_S)^2 = \mathfrak{F}_S^2$가 동시에 성립하는 것이 동치임을 증명함으로써, 대수적 조건과 이중형의 대칭성 사이의 연결 고리를 확립한다.
• 결과로 얻어진 그림자가 없는 평면 대수 $\mathcal{P}^A_\bullet$가 대칭적으로 자기쌍대임을 보여, 등급의 일관성을 확보한다.
• 결과로 얻어진 분류가 짝수 부분이 $\mathcal{P}_+$이고 홀수 부분이 $\mathcal{P}_-$인 단위 유니터리 융합 분류임을 확인함으로써, 원래의 부분군 자료를 유지하는 올림의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 대칭적으로 자기쌍대인 부분군 평면 대수의 그림자를 ${\mathbb{Z}}/2{\mathbb{Z}}$-등급 단위 유니터리 융합 분류를 얻기 위해 올릴 수 있는가?
• RQ2 동형사상 $\Phi$가 $\Phi^2 = 1$을 만족하는 조건은 무엇인가?
• RQ3 평면 대수와 관련된 이중형 $\chi(g,h)$가 대칭임과 $\Phi^2 = 1$이 동시에 성립하는지 여부는 어떻게 관련이 있는가?
• RQ4 올림 구축이 융합 그래프 4442 또는 3333를 가진 잘 정의된 단위 유니터리 융합 분류를 제공하는가?
• RQ5 기저 군이 아벨일 경우, 결과로 얻어진 ${\mathbb{Z}}/2{\mathbb{Z}}$-등급 융합 분류가 타마라-야마가미 분류와 동형인지 여부는 어떻게 되는가?

주요 결과

• 대칭적으로 자기쌍대인 부분군 평면 대수에서의 그림자 올림이 완전히 정당화되었으며, 이는 이전에 제안된 구축을 완성한다.
• 트레이스 항등식을 통해 $\mathfrak{F}_S$와 $\Phi_{-}$를 포함한 표현을 통해 $\Phi^2 = 1$이 성립하는 것은 오직 관련된 이중형 $\chi$가 대칭일 때에만 성립함을 입증하였다.
• 유한 아벨군 $A$와 비퇴화된 대칭 이중형 $\chi$에 대해, 결과로 얻어진 ${\mathbb{Z}}/2{\mathbb{Z}}$-등급 융합 분류는 타마라-야마가미 분류이다.
• 이 구축은 융합 그래프 4442와 3333를 가진 단위 유니터리 융합 분류의 존재를 확인함으로써, 이러한 분류의 분류에서 핵심적인 열린 문제를 해결한다.
• 그림자가 없는 평면 대수 $\mathcal{P}^A_\bullet$는 대칭적으로 자기쌍대임을 보여, ${\mathbb{Z}}/2{\mathbb{Z}}$-등급의 일관성을 확보한다.
• 결과로 얻어진 융합 분류의 짝수 부분과 홀수 부분은 각각 $\mathcal{P}_+$와 $\mathcal{P}_-$로 정확히 일치하며, 이는 올림이 원래의 부분군 자료를 유지하는 데 필요한 조건을 충족함을 의미한다.