[논문 리뷰] The Brauer-Picard groups of the fusion categories coming from the $ADE$ subfactors

Cain Edie-Michell|arXiv (Cornell University)|2017. 09. 14.

Algebraic structures and combinatorial models참고 문헌 27인용 수 5

한 줄 요약

이 논문은 ADE 하위군에서 유래한 융합 분야의 브라우어-피카르 군과 그 갈루아 수반을 분석함으로써, 그 드린펠트 중심의 브라운드 자가동형사상에 기반하여 계산한다. 평면 대수 표현과 조합 기법을 사용하여 이들 군의 전체 구조를 규명하며, 핵심 결과로는 D10 하위군의 짝수 부분에서 브라우어-피카르 군이 S3 × S3임을 규명한다.

ABSTRACT

We compute the group of Morita auto-equivalences of the even parts of the $ADE$ subfactors, and Galois conjugates. To achieve this we study the braided auto-equivalences of the Drinfeld centres of these categories. We give planar algebra presentations for each of these Drinfeld centres, which we leverage to obtain information about the braided auto-equivalences of the corresponding categories. We also perform the same calculations for the fusion categories constructed from the full $ADE$ subfactors. Of particular interest, the even part of the $D_{10}$ subfactor is shown to have Brauer-Picard group $S_3 imes S_3$. We develop combinatorial arguments to compute the underlying algebra objects of these invertible bimodules.

연구 동기 및 목표

• ADE 하위군의 짝수 부분과 그 갈루아 수반의 브라우어-피카르 군을 계산하는 것.
• 드린펠트 중심의 브라운드 자가동형사상에 기반한 모리타 자가동형사상 계산 방법을 수립하는 것.
• ADE 융합 분야의 드린펠트 중심에 대한 평면 대수 표현을 제공하는 것.
• 조합 기법을 사용하여 역전이 가능한 이중모듈러와 그 기초 대수 구조를 규명하는 것.
• 프로베누스-페르레인 차원이 2 미만인 객체로 생성된 융합 분야의 분류를 확장하며, 모리슨과 싱크의 추측을 바탕으로 한다.

제안 방법

• 브라우어-피카르 군 BrPic(C) ≅ Autbr(Z(C))의 동형을 활용하여, 드린펠트 중심의 브라운드 자가동형사상에 기반해 브라우어-피카르 군을 계산한다.
• 평면 대수 표현을 사용하여 ADE 융합 분야의 드린펠트 중심과 그 브라운드 구조를 모델링한다.
• 평면 대수의 자가동형사상 적용을 통해 펄서피컬 및 브라운드 자가동형사상 계산에 초점을 맞추며, 함자 간 자연동형사상에 주목한다.
• 유도 행렬과 융합 규칙을 사용하여, 수반 하위분야 위의 역전이 가능한 이중모듈러의 군 구조를 규명한다.
• 조합적 추론을 사용하여 텐서 분야의 대수 구조를 분류하며, 특히 D10과 A7에 중점을 둔다.
• 자연동형사상에 의해 평면 대수의 자가동형사상과 기반된 펄서피컬 자가동형사상 간의 대응관계를 수립한다.

실험 결과

연구 질문

• RQ1 D10 하위군의 짝수 부분에 대한 브라우어-피카르 군의 구조는 무엇인가?
• RQ2 드린펠트 중심의 브라운드 자가동형사상은 원래 융합 분야의 모리타 자가동형사상과 어떻게 관련이 있는가?
• RQ3 평면 대수의 자가동형사상은 ADE 융합 분야의 자가동형사상 계산에 어떤 역할을 하는가?
• RQ4 갈루아 수반과 모듈라 브레이드가 브라우어-피카르 군의 구조에 어떻게 영향을 미치는가?
• RQ5 어느 대수 구조가 수반 하위분야에서 역전이 가능한 이중모듈러를 유도하며, 이러한 구조는 총 몇 개인가?

주요 결과

• D10 하위군의 짝수 부분에 대한 브라우어-피카르 군은 S3 × S3와 동형이다.
• A7 융합 분야의 경우, 그 수반 하위분야의 브라우어-피카르 군은 Z/2Z와 동형이다.
• N=5일 때 D2N의 짝수 부분은 브라우어-피카르 군이 S3이며, N≠5일 땐 Z/2Z이다.
• D10의 짝수 부분의 드린펠트 중심은 1, 1⊕f(2), 1⊕P, 1⊕Q, 1⊕f(6)에서 유도되는 6개의 역전이 가능한 이중모듈러를 포함하며, 이는 두 가지의 서로 다른 대수 구조를 가진다.
• Autbr(Z(Ad(A7)))는 D2⋅4와 동형이며, Ad(A7)의 단순 객체 위에서의 유도 행렬을 통해 역전이 가능한 이중모듈러의 군 구조가 규명된다.
• 평면 대수의 자가동형사상 군은 자연동형사상에 대해 기반된 펄서피컬 자가동형사상 군과 동형이다.