[논문 리뷰] The non-semisimple Verlinde formula and pseudo-trace functions

Azat M. Gainutdinov, Ingo Runkel|arXiv (Cornell University)|2016. 01. 01.

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

한 줄 요약

이 논문은 인수분해 가능한 유한 텐서 범주에서 비-반단순 일반화된 버린드 공식을 제안한다. 이는 허위-트레이스 함수와 카테고리적 추적을 사용하며, 셰미즈의 내부 특징 이론과 사미요시 및 아리케-나가토모의 허위-트레이스 함수를 조합하여, 허위-트레이스 함수의 모듈러 S-변환과 그로텐디크 링 내의 융합 룰 간의 관계를 제안하는 모듈러 버린드 공식을 유도한다. 이 추측은 심플렉틱 페르미온 N 쌍의 정점 연산자 대수에서 명시적으로 검증되며, 이 경우 허위-트레이스 함수의 S-변환이 알려진(추측적) 융합 룰을 재현한다.

ABSTRACT

Using results of Shimizu on internal characters we prove a useful non-semisimple variant of the categorical Verlinde formula for factorisable finite tensor categories. Conjecturally, examples of such categories are given by the representations RepV of a vertex operator algebra V subject to certain finiteness conditions. Combining this with results on pseudo-trace functions by Miyamoto and Arike–Nagatomo, one can make a precise conjecture for a non-semisimple modular Verlinde formula which relates modular properties of pseudo-trace functions for V and the product in the Grothendieck ring of RepV . We test this conjecture in the example of the vertex operator algebra of N pairs of symplectic fermions by explicitly computing the modular S -transformation of the pseudo-trace functions.

연구 동기 및 목표

• 반단순 범주를 초월하여 비-반단순 인수분해 가능한 유한 텐서 범주로 버린드 공식을 일반화하기.
• 정점 연산자 대수(VOA)의 표현의 그로텐디크 링 내 융합 룰과 허위-트레이스 함수의 모듈러 S-변환 간의 정밀한 추측적 모듈러 버린드 공식을 제안하기.
• 비-반단수 예시로, 심플렉틱 페르미온의 짝수 부분에서 추측을 명시적으로 검증하기.
• 로그란지안 양자장 이론에서 카테고리적 추적의 구조와 허위-트레이스 함수의 모듈러 성질 간의 다리를 놓기.

제안 방법

• 반단순 범주에서의 카테고리적 버린드 공식을 비-반단순 범주로 일반화하기 위해 셰미즈의 내부 특징 이론을 활용하며, 반단순 직합 대신 공종(end)을 사용한다.
• 사미요시와 아리케-나가토모의 허위-트레이스 함수 결과를 활용하여 비-반단수 설정에서 모듈러 불변량을 정의한다.
• 항등자 함자의 자기형사의 공간과 프로젝티브 생성자의 자기형사 대수 위의 중심 형식의 공간 사이의 선형 동형사상을 구성한다.
• 이 동형사상을 통해 항등자 함자의 자기형사의 대수적 구조를 중심 형식의 공간으로 옮기며, 새로운 곱 's'를 정의한다.
• 심플렉틱 페르미온 VOA에 대한 허위-트레이스 함수의 모듈러 S-변환을 계산하고, 그 결과를 알려진 융합 룰과 비교한다.
• 편미분 연산자와 낫윈트 및 트위스트된 모듈을 포함한 특징 공식을 사용하여 허위-트레이스 함수를 명시적으로 계산한다.

실험 결과

연구 질문

• RQ1 비-반단순 인수분해 가능한 유한 텐서 범주로 버린드 공식을 어떻게 일반화할 수 있는가?
• RQ2 비유계 VOA의 그로텐디크 링 내 융합 룰과 허위-트레이스 함수의 모듈러 S-변환 간의 정밀한 관계는 무엇인가?
• RQ3 추측적 비-반단수 모듈러 버린드 공식은 구체적인 예에서 명시적으로 검증될 수 있는가?
• RQ4 내부 특징과 허위-트레이스 함수는 로그란지안 CFT에서 카테고리적 및 모듈러적 구조를 어떻게 연결하는가?

주요 결과

• 추측적 비-반단수 모듈러 버린드 공식은 심플렉틱 페르미온 N 쌍의 짝수 부분에 대해 허위-트레이스 함수의 S-변환에 적용했을 때 융합 룰을 정확히 재현한다.
• 심플렉틱 페르미온 VOA의 허위-트레이스 함수의 S-변환이 기대되는 융합 룰과 일치하여, 이는 추측에 대한 강력한 증거를 제공한다.
• 계산 결과, 허위-트레이스 함수의 모듈러 S-변환이 중심 형식 위의 곱 's'를 포함하는 유도된 공식에 의해 포괄됨을 확인하였다.
• 그로텐디크 링 내의 계수 상수 N^C_AB 는 변환된 허위-트레이스 함수의 트위스트된 곱의 S^{-1} 변환 계수로 회복된다.
• 항등자 함자의 자기형사와 End_V(G) 위의 중심 형식 사이의 동형사가, 대수적 구조를 함수 공간으로 옮기는 데 필수적이다.
• 편미분 연산자와 특징 항등식을 사용하여 S-변환의 명시적 공식을 도출하였으며, 추측 공식과 알려진 융합 룰 간의 일치가 확인되었다.