[논문 리뷰] Kitaev's Lattice Model and Turaev-Viro TQFTs

Benjamin Balsam, Alexander Kirillov|arXiv (Cornell University)|2012. 06. 11.

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

한 줄 요약

이 논문은 유한차원 단순 호프 대수에 대한 키타에브의 격자 모델과 투라예프-비로 위상적 양자장 이론(TQFT) 사이의 정확한 수학적 동치를 확립한다. 이는 닫힌 표면 위에서 키타에브 모델의 기본 상태 공간이 투라예프-비로 불변 공간과 동형임을 증명하며, 더 나아가 모델의 들뜬 상태가 경계가 있는 표면에서의 투라예프-비로 이론에 대응함을 보이며, anyonic 들뜬 상태가 호프 대수의 드린펠트 듀얼의 기약 표현으로 실현됨을 보여준다.

ABSTRACT

In this paper, we examine Kitaev's lattice model for an arbitrary complex, semisimple Hopf algebra. We prove that this model gives the same topological invariants as Turaev-Viro theory. Using the description of Turaev-Viro theory as an extended TQFT, we prove that the excited states of the Kitaev model correspond to Turaev-Viro theory on a surface with boundary.

연구 동기 및 목표

• 유한차원 단순 호프 대수 R를 사용하여 키타에브의 격자 모델을 수학적으로 엄밀하고 접근하기 쉬운 형태로 제시하는 것.
• 닫힌 표면 위에서 키타에브 모델의 기본 상태 공간이 투라예프-비로 불변 공간과 동형임을 확립하는 것.
• 키타에브 모델의 들뜬 상태가 경계가 있는 표면에서의 투라예프-비로 이론에 대응함을 보이는 것.
• 키타에브 모델에서 anyon의 물리적 및 위상적 해석이 호프 대수의 드린펠트 듀얼의 기약 표현으로서 어떻게 이루어지는지 명확히 하는 것.

제안 방법

• 유한차원 단순 호프 대수 R의 코곱과 쌍대 구조를 사용하여 키타에브의 격자 모델의 힐베르트 공간과 해밀토니안을 구성한다.
• 스위드러 표기법과 R에 속하는 하어 적분 h ∈ R을 사용하여 R-모듈의 텐서곱에서 불변 부분공간으로의 사영을 정의한다.
• 드린펠트 듀얼 D(R)를 적용하여 국소 anyonic 들뜬 상태를 D(R)의 기약 표현으로 분류한다.
• 표면의 삼각분할을 통해 힐베르트 공간 간의 동형을 통해 키타에브 모델과 스트링넷 모델을 연결한다.
• 키타에브 모델의 Bp 연산자를 스트링넷 모델의 Bps 연산자와 동일시함을 증명하여 해밀토니안의 동치성을 보인다.
• 경계가 있는 표면로의 일반화를 위해, 구멍이 있거나 경계가 있는 경우의 투라예프-비로 불변과 함께 들뜬 상태를 식별한다.

실험 결과

연구 질문

• RQ1 키타에브의 격자 모델이 단순 호프 대수에 대해 투라예프-비로 TQFT와 어떻게 관련되어 있는가?
• RQ2 키타에브 모델의 기본 상태와 투라예프-비로 불변 공간 사이의 정확한 대응은 무엇인가?
• RQ3 키타에브 모델의 들뜬 상태가 투라예프-비로 이론의 맥락에서 anyonic 통계를 어떻게 실현하는가?
• RQ4 키타에브 모델은 경계가 있는 표면에서 확장된 TQFT로 해석될 수 있으며, 만약 그렇다면 어떻게 되는가?
• RQ5 드린펠트 듀얼 D(R)는 키타에브 모델에서 anyonic 들뜬 상태를 분류하는 데 어떤 역할을 하는가?

주요 결과

• 닫힌 표면 위에서 키타에브의 격자 모델의 기본 상태 공간은 동일한 단순 호프 대수에서 구성된 투라예프-비로 불변 공간과 동형이다.
• 키타에브 모델의 들뜬 상태는 국소 유니터리 변환에 대해 불변인 위상적 섹터와 D(R)의 기약 표현에 대응하는 국소 들뜬 상태 섹터로 분해된다.
• 힐베르트 공간 간의 동형 아래에서 키타에브 모델의 해밀토니안 연산자 Bp는 스트링넷 모델의 Bps 연산자와 동치임을 보였다.
• 경계가 있는 표면로의 일반화가 가능하며, 키타에브 모델의 들뜬 상태는 구멍이 있거나 경계가 있는 표면에서의 투라예프-비로 이론과 동형이다.
• 하어 적분 h ∈ R은 임의의 R-모듈의 텐서곱에서 불변 부분공간으로의 사영으로 작용하며, 그 반복 코곱 Δ(n−1)(h)는 순환 불변성을 유지한다.
• 모델은 D(R)의 기약 표현으로 표시되는 anyonic 들뜬 상태를 실현함으로써, 이 모델에서의 준입자들이 실제로 anyonic 성질을 지닌다는 것을 확인한다.