[논문 리뷰] Composite Invariants and Unoriented Topological String Amplitudes

Chandrima Paul, Pravina Borhade외 1명|arXiv (Cornell University)|2010. 03. 27.

Black Holes and Theoretical Physics참고 문헌 28인용 수 8

한 줄 요약

이 논문은 U(N) 초전도체 이론에서 복합 표현을 활용하여 프레임드 끈과 링크에 대한 복합 불변량을 사용해 무방향(topological) 스트링 앰리튜드를 계산하는 프레임워크를 제안한다. 이는 c=0,1,2인 크로스캡 앰리튜드를 추출하는 데에 사용되며, 일반화된 루돌프의 정리와 마리노의 정수성 추측을 검증하고, 오리엔티폭드된 해결된 콘피노드에 대한 명시적 BPS 불변량을 제공한다.

ABSTRACT

Sinha and Vafa had conjectured that the $SO$ Chern-Simons gauge theory on $S^3$ must be dual to the closed $A$-model topological string on the orientifold of a resolved conifold. Though the Chern-Simons free energy could be rewritten in terms of the topological string amplitudes providing evidence for the conjecture, we needed a novel idea in the context of Wilson loop observables to extract cross-cap $c=0,1,2$ topological amplitudes. Recent paper of Marino based on the work of Morton and Ryder has clearly shown that the composite representation placed on the knots and links plays a crucial role to rewrite the topological string cross-cap $c=0$ amplitude. This enables extracting the unoriented cross-cap $c=2$ topological amplitude. In this paper, we have explicitly worked out the composite invariants for some framed knots and links carrying composite representations in U(N) Chern-Simons theory. We have verified generalised Rudolph's theorem, which relates composite invariants to the invariants in SO(N) Chern-Simons theory, and also verified Marino's conjectures on the integrality properties of the topological string amplitudes. For some framed knots and links, we have tabulated the BPS integer invariants for cross-cap $c=0$, $c=1$ and $c=2$ giving the open-string topological amplitude on the orientifold of the resolved conifold.

연구 동기 및 목표

• 해결된 콘피노드의 오리엔티폭드에 대한 무방향(topological) 스트링 이론으로의 오픈-클로즈드 이중성의 확장을 위해.
• U(N) 초전도체 이론에서 복합 표현을 사용해 윌슨 루프 관측량으로부터 크로스캡 앰리튜드(c=0,1,2)를 추출하기 위해.
• U(N) 복합 불변량과 SO(N) 불변량 사이의 일반화된 루돌프의 정리를 확인하기 위해.
• 무방향 이론의 맥락에서 마리노의 스트링 앰리튜드 정수성 추측을 검증하기 위해.
• 오리엔티폭드된 해결된 콘피노드 배경에서 프레임드 끈과 링크에 대한 명시적 BPS 정수 불변량을 제공하기 위해.

제안 방법

• 기본 표현을 초월한 끈과 링크 불변량을 계산하기 위해 U(N) 초전도체 이론에서 복합 표현을 활용한다.
• 라바스티다-마리노의 군론적 접근을 적용하여 불변량을 샤우 다항식과 q-급수로 재구성한다.
• 마리노[2]와 모턴-라이더[3]의 프레임워크를 활용해 크로스캡 앰리튜드를 포함하는 복합 불변량을 식별한다.
• 행렬 모델과 초전도체 기법을 사용해 프레임드 언코트와 호프 링크에 대한 위상 스트링 앰리튜드(g_{R})의 명시적 표현을 유도한다.
• SO(N) 초전도체 자유 에너지를 비틀림이 없는 섹터와 비틀림이 있는 섹터로 분해하여 무방향 기여를 분리한다.
• q-급수와 λ-다항식의 구조를 분석함으로써 자유 에너지 전개의 계수들이 정수임을 검증한다.

실험 결과

연구 질문

• RQ1 U(N) 초전도체 이론에서 복합 불변량은 오리엔티폭드된 해결된 콘피노드에서 무방향(topological) 스트링 앰리튜드(c=2)를 어떻게 추출할 수 있는가?
• RQ2 복합 표현은 SO(N) 이중성 맥락에서 일반화된 루돌프의 정리를 어느 정도 만족하는가?
• RQ3 복합 불변량을 통해 계산된 위상 스트링 앰리튜드는 마리노의 정수성 추측을 만족하는가?
• RQ4 무방향(topological) 스트링 설정에서 프레임드 끈과 링크에 대한 명시적 BPS 정수 불변량은 무엇인가?
• RQ5 크로스캡 앰리튜드(c=0,1,2)는 체계적으로 계산되어 SO(N) 초전도체 이론의 자유 에너지 전개와 일치하는가?

주요 결과

• 논문은 U(N) 초전도체 이론에서 프레임드 언코트와 호프 링크에 대한 복합 불변량을 명시적으로 계산하여, q와 λ에 대한 g_{R}의 닫힌 형태 표현을 도출한다.
• 프레임이 p인 프레임드 언코트의 앰리튜드 g_{\begin{picture}(0.55,0.5)\put(0.0,0.0){\line(1,0){0.4}} \put(0.0,0.4){\line(1,0){0.4}} \put(0.0,-0.4){\line(1,0){0.4}} \put(0.0,0.0){\line(0,0){0.4}}\put(0.4,0.0){\line(0,0){0.4}} \put(0.0,0.0){\line(0,-1){0.4}}\put(0.4,0.0){\line(0,-1){0.4}} \end{picture}}는 프레임링 p에 대한 명시적 의존성을 포함한 q와 λ의 유리 함수로 유도된다.
• 프레임링이 p₁과 p₂인 호프 링크에 대해, g_{\begin{picture}(0.55,0.5)\put(0.0,0.0){\line(1,0){0.4}} \put(0.0,0.4){\line(1,0){0.4}} \put(0.0,0.0){\line(0,1){0.4}}\put(0.4,0.0){\line(0,1){0.4}} \end{picture},\begin{picture}(0.55,0.5)\put(0.0,0.0){\line(1,0){0.4}} \put(0.0,0.4){\line(1,0){0.4}} \put(0.0,0.0){\line(0,1){0.4}}\put(0.4,0.0){\line(0,1){0.4}} \end{picture}}와 g_{\begin{picture}(1.1,0.5)\put(0.0,0.0){\line(1,0){0.8}} \put(0.0,0.4){\line(1,0){0.8}} \put(0.0,0.0){\line(0,1){0.4}}\put(0.4,0.0){\line(0,1){0.4}}\put(0.8,0.0){\line(0,1){0.4}} \end{picture},\begin{picture}(0.55,0.5)\put(0.0,0.0){\line(1,0){0.4}} \put(0.0,0.4){\line(1,0){0.4}} \put(0.0,0.0){\line(0,1){0.4}}\put(0.4,0.0){\line(0,1){0.4}} \end{picture}}의 앰리튜드는 p₁, p₂, q, λ에 대한 명시적 의존성을 포함한다.
• 모든 계산된 재구성된 다항식(g_R)은 마리노의 정수성 추측을 만족하며, BPS 상태 수세기 요구사항에 따라 계수 N_{R,Q,s}가 정수임을 확인한다.