[논문 리뷰] A braided monoidal category for free super-bosons

Ingo Runkel|arXiv (Cornell University)|2012. 09. 25.

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

한 줄 요약

이 논문은 자유 초보존의 차이알gebra에 대해 정점 연산자 대수와 등각 블록 계산을 사용하여 브레디드 모나이드 범주를 구축한다. 비틀림이 없는 표현과, 심플렉틱 페르미온의 경우($\mathfrak{h} = 0|2$) 비틀림이 있는 표현에 대해 텐서곱, 브레딩, 결합자 구조를 명시적으로 계산하여, 로그형 등각장이론에서 이러한 구조에 대한 최초의 명시적 계산을 제공한다.

ABSTRACT

The chiral conformal field theory of free super-bosons is generated by weight one currents whose mode algebra is the affinisation of an abelian Lie super-algebra h with non-degenerate super-symmetric pairing. The mode algebras of a single free boson and of a single pair of symplectic fermions arise for even|odd dimension 1|0 and 0|2 of h, respectively. In this paper, the representations of the untwisted mode algebra of free super-bosons are equipped with a tensor product, a braiding, and an associator. In the symplectic fermion case, i.e. if h is purely odd, the braided monoidal structure is extended to representations of the Z/2Z-twisted mode algebra. The tensor product is obtained by computing spaces of vertex operators. The braiding and associator are determined by explicit calculations from three- and four-point conformal blocks.

연구 동기 및 목표

• 자유 초보존의 비틀림이 없는 모드 대수의 표현 범주에 대해 브레디드 모나이드 범주를 구축하는 것.
• 특히 심플렉틱 페르미온의 경우($\mathfrak{h} = 0|2$) $\mathbb{Z}/2\mathbb{Z}$-비틀림 표현을 포함하도록 이 구조를 확장하는 것.
• 정점 연산자 구성과 등각 블록의 점점 수렴 행동을 사용하여 텐서곱, 브레딩, 결합자에 대한 명시적이고 계산 가능한 공식을 제공하는 것.
• 펜타곤 및 헕개각 항등식을 확인하여 브레디드 모나이드 범주 구조를 확인하는 것.
• 심플렉틱 페르미온 정점 연산자 슈퍼대수의 짝수 부분을 카이랄 대수로 가지는 등각장이론의 분류에 대한 범주론적 기초를 마련하는 것.

제안 방법

• 텐서곱은 정점 연산자 간의 공간을 통해 정의되며, 정상 순서 지수함수와 모드 교환 관계를 사용한다.
• 브레딩은 초점 수의 등각 블록을 사용하여 점점 수렴 행동과 초함수의 단일계속성 성질을 통해 유도된다.
• 결합자는 4점 등각 블록을 통해 윤곽 적분과 미분방정식을 통해 계산되며, 모듈라 매개변수 $x$에 대한 명시적 의존성을 가진다.
• $\mathfrak{h} = 0|2$의 경우, 반정수 모드를 가진 정점 연산자와 기저 상태 조건을 사용하여 비틀림 표현 범주를 구성한다.
• 핵심 항등식인 펜타곤 및 헕개각 공리(axiom)는 타원 적분 $K(x)$와 $E(x)$의 점점 수렴 전개를 사용하여 검증된다.
• 등각 블록에 대한 미분방정식의 명시적 해법, 특히 심플렉틱 페르미온의 경우의 수준 2의 영벡터 조건을 기반으로 한 계산에 의존한다.

실험 결과

연구 질문

• RQ1 자유 초보존의 표현 범주에 대해 브레디드 모나이드 구조를 어떻게 명시적으로 구축할 수 있는가?
• RQ2 텐서곱이 $\mathbb{Z}/2\mathbb{Z}$-비틀림 표현을 포함하도록 확장할 수 있는 조건은 무엇인가?
• RQ3 심플렉틱 페르미온의 경우 브레딩과 결합자 동형사상은 등각 블록의 점점 수렴 행동으로부터 어떻게 유도되는가?
• RQ4 타원 적분과 모듈라 매개변수는 결합자 계산에서 어떤 역할을 하는가?
• RQ5 이 로그형 설정에서 펜타곤 및 헕개각 항등식은 어떻게 검증할 수 있는가?

주요 결과

• 비틀림이 없는 자유 초보존 모드 대수의 표현 범주 $\mathcal{C}_0$는 정점 연산자를 통한 텐서곱과 3점 블록에서 유도된 브레딩을 가진 브레디드 모나이드 범주이다.
• $\mathfrak{h} = 0|2$의 경우, 비틀림 및 비틀림이 없는 표현의 범주 $\mathcal{C}$로 브레디드 모나이드 구조가 확장되며, 이는 펜타곤 및 헕개각 항등식을 만족한다.
• 3중 텐서곱 $\mathcal{C}_1 \times \mathcal{C}_1 \times \mathcal{C}_1 \to \mathcal{C}_1$의 결합자는 윤곽 적분과 $K(x)$, $E(x)$의 점점 수렴 행동을 사용하여 명시적으로 계산되며, $K(x)$와 $\frac{1-x}{2}K(x) - E(x)$를 포함하는 비자명한 표현을 도출한다.
• 자유 보존의 경우($\mathfrak{h} = 1|0$), 4점 블록은 알려진 결과와 일치한다: $F(x) \propto (x(1-x))^{-1/8} K(x)^{-1/2} q(x)^{p^2/2}$, [Za, Eqn. (1.1)]과 일치한다.
• 심플렉틱 페르미온의 경우($\mathfrak{h} = 0|2$), 4점 블록은 $K(x)$와 $K(1-x)$의 선형 조합으로 줄어들며, 이는 수준 2의 영벡터 조건의 두 독립적 해와 일치한다.
• 계산은 결합자가 펜타곤 항등식을 만족함을 확인하며, 윤곽 적분 $\oint z u(z)^{-1} dz \propto K(x) - E(x)$가 유도 과정에서 중심적인 역할을 한다.