[논문 리뷰] The symplectic fermion ribbon quasi-Hopf algebra and the SL(2,Z)-action on its centre

Vanda Farsad, Azat M. Gainutdinov외 1명|arXiv (Cornell University)|2017. 06. 25.

Algebraic structures and combinatorial models참고 문헌 18인용 수 12

한 줄 요약

이 논문은 $Q(N)$로 표기되는 인수분해 가능한 리브본 준호프 대수의 가족을 구성하며, 이는 $\mathbb{C}\mathbb{Z}_2$와 $2N$개의 생성자를 가진 그라스만 대수 및 클리퍼드 대수의 반직접곱으로 표현된다. 또한 이들의 표현 범주가 리브본 동치 관계를 통해 심플렉틱 펄서론 범주 $SF(N)$와 연결됨을 증명한다. 리뷰브한의 형식론을 통해 $Q(N)$의 중심 위에서의 $SL(2,\mathbb{Z})$-행동을 프로젝티브 방식으로 계산하고, 이는 심플렉틱 펄서론의 버텍스 연산자 슈퍼대수의 짝수 부분인 $V_{\mathrm{ev}}$의 가짜 추적 함수와의 호환성을 확인함으로써, 비단순 모듈라 버린데 공식을 시험한다.

ABSTRACT

We introduce a family of factorisable ribbon quasi-Hopf algebras $Q(N)$ for $N$ a positive integer: as an algebra, $Q(N)$ is the semidirect product of $\mathbb{C}\mathbb{Z}_2$ with the direct sum of a Grassmann and a Clifford algebra in $2N$ generators. We show that $Rep Q(N)$ is ribbon equivalent to the symplectic fermion category $SF(N)$ that was computed by the third author from conformal blocks of the corresponding logarithmic conformal field theory. The latter category in turn is conjecturally ribbon equivalent to representations of $V_{ev}$, the even part of the symplectic fermion vertex operator super algebra. Using the formalism developed in our previous paper we compute the projective $SL(2,\mathbb{Z})$-action on the centre of $Q(N)$ as obtained from Lyubashenko's general theory of mapping class group actions for factorisable finite ribbon categories. This allows us to test a conjectural non-semisimple version of the modular Verlinde formula: we verify that the $SL(2,\mathbb{Z})$-action computed from $Q(N)$ agrees projectively with that on pseudo trace functions of $V_{ev}$.

연구 동기 및 목표

• 양의 정수 $N$에 대해, 군, 그라스만, 클리퍼드 대수의 구조를 통합하는 인수분해 가능한 리브본 준호프 대수 $Q(N)$의 가족을 구성하는 것.
• 로그형 등각장 이론의 등각 블록에서 유도된 심플렉틱 펄서론 범주 $SF(N)$와 표현 범주 $\mathrm{Rep}\,Q(N)$ 사이의 리브본 동치 관계를 확립하는 것.
• 인수분해 가능한 유한 리브본 범주에 대한 리뷰브한의 일반 이론을 활용하여, $Q(N)$의 중심 위에서의 프로젝티브 $SL(2,\mathbb{Z})$-행동을 계산하는 것.
• 심플렉틱 펄서론 버텍스 연산자 슈퍼대수의 짝수 부분인 $V_{\mathrm{ev}}$의 가짜 추적 함수와 $Q(N)$의 $SL(2,\mathbb{Z})$-행동를 비교함으로써, 비단순 모듈라 버린데 공식을 시험하는 것.
• 로그형 등각장 이론과 관련된 비단순 설정에서 모듈라 군의 작용을 표현 이론적으로 실현하는 것.

제안 방법

• $Q(N)$는 $\mathbb{C}\mathbb{Z}_2$와 $2N$개의 생성자를 가진 그라스만 대수와 클리퍼드 대수의 직합의 반직접곱으로 정의되며, 준호프 대수의 구조를 지닌다.
• 리브본 구조는 드린펠트 변환과 $R$-행렬의 선택을 통해 구성되며, 이는 인수분해 가능성과 리브본 원소와의 호환성을 보장한다.
• $Q(N)$의 중심 위에서의 $SL(2,\mathbb{Z})$-행동은 인수분해 가능한 유한 리브본 범주에 대한 리뷰브한의 일반 이론을 이용하여 계산된다.
• 행동는 $\mathrm{Rep}\,Q(N)$의 그로텐디에크 군 위에 작용하는 모듈라 $S$ 및 $T$ 행렬로 표현되며, 비단순 설정에서 유래된 프로젝티브 표현이 나타난다.
• $V_{\mathrm{ev}}$의 가짜 추적 함수를 계산하고, $\mathrm{Z}(\mathrm{Rep}\,Q(N))$ 위에서의 $SL(2,\mathbb{Z})$-행동와 비교하며, 비단순 모듈라 범주의 형식론을 활용한다.
• 비교 과정은 문자 표와 모듈라 자료를 통해 수행되며, 두 행동 간의 프로젝티브 일치를 검증한다.

실험 결과

연구 질문

• RQ1 로그형 등각장 이론에서 심플렉틱 펄서론 범주 $SF(N)$를 모델링할 수 있는 인수분해 가능한 리브본 준호프 대수 $Q(N)$는 어떻게 구성할 수 있는가?
• RQ2 $Q(N)$의 중심 위에서의 명시적 $SL(2,\mathbb{Z})$-행동는 무엇이며, 이는 $\mathrm{Rep}\,Q(N)$의 범주적 구조에서 어떻게 유도되는가?
• RQ3 $\mathrm{Z}(\mathrm{Rep}\,Q(N))$ 위에서의 $SL(2,\mathbb{Z})$-행동는 $V_{\mathrm{ev}}$의 가짜 추적 함수와 프로젝티브 동치인가?
• RQ4 표현 이론을 통해 $Q(N)$의 비단순 모듈라 버린데 공식을 시험하고 검증할 수 있는가?
• RQ5 $\mathrm{Rep}\,Q(N)$에서의 $SL(2,\mathbb{Z})$ 표현의 분해 패턴은 심플렉틱 펄서론 범주의 구조와 어떻게 관련되는가?

주요 결과

• $Q(N)$는 $\mathbb{C}\mathbb{Z}_2$와 $2N$개의 생성자를 가진 그라스만 대수 및 클리퍼드 대수의 직합의 반직접곱으로 구성되며, 이는 인수분해 가능한 리브본 준호프 대수를 이룬다.
• $\mathrm{Rep}\,Q(N)$의 표현 범주는 심플렉틱 펄서론 범주 $SF(N)$와 리브본 동치임을 보였으며, 이는 로그형 CFT 모델의 범주적 실현을 확인한다.
• 리뷰브한의 형식론을 통해 $Q(N)$의 중심 위에서의 프로젝티브 $SL(2,\mathbb{Z})$-행동가 명시적으로 계산되었으며, 그로텐디에크 군 위에 작용하는 모듈라 $S$ 및 $T$ 행렬로 표현되었다.
• $\mathrm{Z}(\mathrm{Rep}\,Q(N))$ 위에서의 $SL(2,\mathbb{Z})$-행동가 $V_{\mathrm{ev}}$의 가짜 추적 함수와 프로젝티브로 일치함을 발견하였으며, 이는 비단순 모듈라 버린데 공식에 대한 강력한 증거를 제공한다.
• $\mathrm{Rep}\,Q(N)$에서의 $SL(2,\mathbb{Z})$ 표현의 분해가 분석되었으며, 비단순 모듈라 범주의 구조에 대한 새로운 통찰을 제공한다.
• 결과는 $SF(N)$와 $\mathrm{Rep}\,V_{\mathrm{ev}}$ 사이의 추측적 리브본 동치와 일치하며, 이러한 동치 관계를 시험하기 위한 구체적인 계산 프레임워크를 제공한다.