[논문 리뷰] Fermionic formulas for (1,p) logarithmic model characters in \Phi_{2,1} quasiparticle realisation

Boris Feigin, Evgeny Feigin외 1명|arXiv (Cornell University)|2007. 04. 19.

Algebraic structures and combinatorial models참고 문헌 17인용 수 10

한 줄 요약

이 논문은 (1,p) 로그 보존 양자장 이론의 페르미온 성분 공식을 Φ2,1 주요 장에 기반한 준입자 실현을 통해 유도한다. 이는 심플렉틱 페르미온을 일반화한 것이다. 저자들은 바이어스로의 비국소적 장점 연산 대수 A(p)를 구성하고, 일반화된 골든 매트릭스와 이동된 벡터로 정의된 (p+1)차원 이차형식을 통해 A(p)-모듈의 성분을 기술하는 골든 유형의 페르미온 공식을 도출한다. 이는 조합 계수를 가진 q-급수로 성분의 정확한 표현을 제공한다.

ABSTRACT

We give expressions for the characters of $(1,p)$ logarithmic conformal field models in the Gordon-type form. The formulas are obtained in terms of ``quasiparticles'' that are Virasoro $\Phi_{2,1}$ primary fields and generalize the symplectic fermions.

연구 동기 및 목표

• 로거리즘 보존 양자장 이론 (1,p)의 페르미온 성분 공식을 도출한다.
• 비국소적 장점 연산 대수 A(p)를 통해 p가 높아질 경우 심플렉틱 페르미온 구성법을 일반화한다.
• A(p)-모듈의 성분과 일반화된 골든 매트릭스 공식 간의 연결 고리를 설정한다.
• 준입자 모드와 조합 계수를 가진 q-급수로 불가약 표현의 성분을 페르미온 형태로 제공한다.
• 최소 모델을 넘어서 비단순 표현 카테고리가 있는 로그 모델로까지 페르미온 공식의 프레임워크를 확장한다.

제안 방법

• 편모수 (3p−2)/4를 가진 두 개의 Φ2,1 주요 장 a±(z)를 이용해 바이어스로의 비국소적 장점 연산 대수 A(p)를 구성한다. 이는 바이어스로 대수 V_acp의 확장이다.
• a±(z) 장들의 OPE 특이점으로부터 유도된 항목들을 포함하는 (p+1)×(p+1) 골든 매트릭스 A로 정의된 이차관계를 통해 대수 A(p)를 정의한다.
• 최고 무게 벡터 |αs⟩를 가진 히젠베르크 대수에서 유도된 표현인 A(p)-모듈 Xs,p를 실현한다.
• a±(z)와 vi(z)의 장점 연산 실현을 통해 파동수 분해를 통해 Fock 모듈 위에서의 작용을 정의하고 성분 공식을 도출한다.
• 표현의 동형성과 히젠베르크 대수 위의 이중형식의 비퇴화성에 기반해 A(p)-모듈 Xs,p의 성분이 열거된 대수 ¯A(p)의 성분과 같음을 증명한다.
• 성분을 비음수 정수 모드의 합으로 표현함으로써 페르미온 공식을 수립한다. 이 때 가중치는 이차형식 n^T A n 과 이동된 벡터 vs에 의해 결정된다.

실험 결과

연구 질문

• RQ1 최소 모델을 초월해 로그 보존 양자장 이론에 대해 페르미온 성분 공식을 어떻게 일반화할 수 있는가?
• RQ2 비국소적 장점 연산 대수는 (1,p) 모델의 페르미온 성분을 실현하는 데 어떤 역할을 하는가?
• RQ3 Φ2,1 준입자와 그들의 OPE 구조는 어떻게 일반화된 골든 매트릭스 공식을 이끌어내는가?
• RQ4 A(p) 대수의 표현 이론은 해가능한 성분 공식을 가진 열거된 대수로 줄일 수 있는가?
• RQ5 A(p) 대수와 양자군, 특히 q = e^{iπ/p}인 Uq(sℓ(2)) 간의 관계는 무엇인가?

주요 결과

• 불가약 A(p)-모듈 Xs,p의 성분은 다음과 같은 페르미온 공식으로 주어진다: χs,p(q) = q^{(s²−1)/(4p) + (1−s)/2 − c/24} × ∑_{n≥0} q^{1/2 n^T A n + v_s^T n} / ((q)_{n+}(q)_{n−}(q)_{n1}⋯(q)_{np−1})
• 골든 매트릭스 A는 (p+1)×(p+1) 대칭 행렬이며, 항목은 min(i,j)와 첫 두 행/열에 추가된 항목들로 정의되며, a±(z) 장들의 OPE 구조를 코딩한다.
• 이동 벡터 vs의 성분은 첫 두 성분에 대해 (p−s)/2, 다음 s−1 개의 위치에서는 0, 마지막 p−s 개의 위치에서는 1,2,…,p−s이다.
• 성분 공식은 A(p)-모듈 Xs,p가 열거된 대수 ¯A(p)와 동일한 성분을 가짐을 보여줌으로써 증명된다. 이 대수의 표현은 순환적이며 이차관계로 정의된다.
• 증명은 최고 무게 벡터 |αs⟩를 가진 Fock 모듈 위에서의 장점 연산 실현에 기반하며, 이중형식의 비퇴화성에 의해 특정 조합의 장점 연산자가 영 상태일 때에만 0이 된다는 것을 보여준다.
• 결과적으로 이는 로그 모델로의 페르미온 공식을 일반화하고, 불가약 표현의 텐서곱에서의 중복도에 대한 q-변형 버전의 베르린트 유형 공식을 제공한다.