[논문 리뷰] A Hermitian TQFT from a non-semisimple category of quantum sl(2)-modules

Nathan Geer, Aaron D. Lauda외 2명|arXiv (Cornell University)|2021. 08. 20.

Algebraic structures and combinatorial models참고 문헌 25인용 수 1

한 줄 요약

이 논문은 제곱근 단위에서의 비반단성 유니폴드 양자 sl(2)-모듈의 비반단성 카테고리에 헤르미트 구조를 수립하고, 그로 인해 유도된 (2+1)-TQFT가 헤르미트임을 증명한다. 수정된 추적과 디거 구조를 이용해 상태 공간에 비퇴화된 헤르미트 쌍선을 구성함으로써, 이 이론은 매핑 클래스 군의 불변 단위 유니터리 행렬의 군에 대한 프로젝티브 표현을 제공하며, 비반단성 TQFT를 물리적 의미가 있는 허미트-형 양자역학과 연결한다.

ABSTRACT

We endow a non-semisimple category of modules of unrolled quantum sl(2) with a Hermitian structure. We also prove that the TQFT constructed in arXiv:1202.3553 using this category is Hermitian. This gives rise to projective representations of the mapping class group in the group of indefinite unitary matrices.

연구 동기 및 목표

• 비반단성 카테고리인 비반단성 양자 sl(2)-모듈에 대해 헤르미트 구조를 도입하기.
• 이 카테고리에서 유도된 TQFT가 arXiv:1202.3553에 기술된 바와 같이 헤르미트임을 증명하기.
• 매핑 클래스 군 작용이 불변 단위 유니터리 행렬의 군에 속하는 프로젝티브 표현을 유도함을 확립하기.
• 불변 내적과 단위 유니터리 진화를 갖는 의사-헤르미트 양자역학과의 연결을 통해 비반단성 TQFT를 물리적 해석으로 확장하기.

제안 방법

• 제곱근 단위에서의 비반단성 유니폴드 양자 sl(2)의 생성자 E, F, K, H와 관계를 포함한 U^H_q(sl(2))를 정의하며, H는 카르탕 생성자로 간주한다.
• U^H_q(sl(2)) 위의 유한차원 가중치 모듈의 카테고리 D†를 구성하며, 프로젝티브 대상에서 0이 아닌 수정된 추적을 갖도록 한다.
• 코보르디즘의 방향 전환과 객체들에 대한 호환 가능한 헤르미트 구조를 통해 D†에 디거 구조를 부여함으로써, 쌍대성과 브레이딩과의 호환성을 확보한다.
• 디거 공리, 펄서널 구조와의 호환성, 그리고 비틀림의 유니타리성을 검증함으로써 D†가 헤르미트 레이저 카테고리임을 증명한다.
• 레셰티힌-투레프 함수를 사용하여 D†에서 (2+1)-TQFT (V, Z)를 구성하며, 상태 공간 쌍선이 비퇴화되고 헤르미트임을 보인다.
• 함수적 성질과 반사 수술에 대한 불변성에 기반해, TQFT가 조건 ⟨x, V(f)(y)⟩ = ⟨V(f^†)(x), y⟩ 를 만족함을 보인다.

실험 결과

연구 질문

• RQ1 비반단성 카테고리인 양자 sl(2)-모듈에 대해, 비양성인 양자 차원이 존재함에도 불구하고 헤르미트 구조를 도입할 수 있는가?
• RQ2 수정된 추적을 통해 이 카테고리에서 유도된 TQFT가 투레프의 의미에서 헤르미트 TQFT의 공리를 만족하는가?
• RQ3 이 비반단성 헤르미트 TQFT에서 매핑 클래스 군 작용의 성격은 어떠한가?
• RQ4 이러한 TQFT는 불변 내적을 갖는 의사-헤르미트 양자역학의 물리적 해석을 지지할 수 있는가?

주요 결과

• 비반단성 양자 sl(2)-모듈의 카테고리 D†는 투레프가 정의한 바와 같이, 호환 가능한 디거 구조와 비퇴화된 헤르미트 형식을 갖는 헤르미트 레이저 카테고리이다.
• arXiv:1202.3553에서 유도된 TQFT (V, Z)는 헤르미트임이 증명되었으며, 모든 코보르디즘 f에 대해 ⟨x, V(f)(y)⟩ = ⟨V(f^†)(x), y⟩ 조건을 만족한다.
• TQFT의 상태 공간 V(eΣ)는 비퇴화된 헤르미트 쌍선을 지니며, 이는 이중선 형식의 핵을 통해 코보르디즘 쌍선으로부터 유도된다.
• 매핑 클래스 군은 매핑 실린더를 통해 V(eΣ) 위에 프로젝티브로 작용하며, 이 작용은 불변 단위 유니터리 행렬의 군에 속한다.
• 3-다양체 불변량 Z(fM)는 Z(fM^†) = Z(fM)를 만족하여, 디거 구조와의 호환성과 헤르미시티를 보장한다.
• 이 이론은 불변 내적을 갖는 의사-헤르미트 양자역학과 호환되는 위상적 위상과 함께 실수 스펙트럼과 단위 유니터리 시간 진화를 포함하는 프레임워크를 제공한다.