[논문 리뷰] Rigid Surface Operators

Sergei Gukov, Edward Witten|ArXiv.org|2008. 04. 09.

Black Holes and Theoretical Physics참고 문헌 18인용 수 22

한 줄 요약

이 논문은 연속 매개변수에 의존하지 않는, 이전에 연구된 매개변수에 의존하는 표면 연산자들과 대조적으로, ${\cal N}=4$ 초대칭 양-밀스 이론에서 강성 있는 반보존 표면 연산자들을 도입한다. 저자들은 게이지 군의 궤도를 이용하여 명시적인 예를 구성하고, $S$-대칭성에 대한 그들의 행동을 분석하며, 기하적 양자화와 오р토고널 군 및 심플렉틱 군 간의 대칭성과의 깊은 연결성을 시사하는 부분적인 일치를 발견한다. 그러나 완전한 대칭성 그림은 아직 명확하지 않다.

ABSTRACT

Surface operators in gauge theory are analogous to Wilson and 't Hooft line operators except that they are supported on a two-dimensional surface rather than a one-dimensional curve. In a previous paper, we constructed a certain class of half-BPS surface operators in N=4 super Yang-Mills theory, and determined how they transform under S-duality. Those surface operators depend on a relatively large number of freely adjustable parameters. In the present paper, we consider the opposite case of half-BPS surface operators that are ``rigid'' in the sense that they do not depend on any parameters at all. We present some simple constructions of rigid half-BPS surface operators and attempt to determine how they transform under duality. This attempt is only partially successful, suggesting that our constructions are not the whole story. The partial match suggests interesting connections with quantization. We discuss some possible refinements and some string theory constructions which might lead to a more complete picture.

연구 동기 및 목표

• ${\cal N}=4$ 초대칭 양-밀스 이론에서 연속 매개변수에 의존하지 않는 '강성 있는' 반보존 표면 연산자를 식별하고 구성하는 것.
• 이러한 강성 있는 표면 연산자가 $SO(2N+1)$ 및 $Sp(2N)$와 같은 이중 게이지 군의 맥락에서 $S$-대칭성에 어떻게 변환되는지 이해하는 것.
• 관측된 부분적인 대칭 일치가 기하적 양자화 또는 양자 불변성과의 깊은 연결성을 시사하는지 탐구하는 것.
• 정의 표현에서의 행렬 실현을 통해 이중 리 대수 ${\frak{so}}(2N+1)$ 및 ${\frak{sp}}(2N)$의 불변 다항식과 루트 체계를 비교하는 것.
• 현존하는 구성의 완전성을 평가하기 위해, 그들의 등각 불변성과 스트링 이론을 통한 개선 가능성 탐색.

제안 방법

• 게이지 장의 특이성이 2차원 표면 $D \subset \mathbb{R}^4$ 에서 발생하도록 하여, 게이지 군 $G$ 의 특정 궤도와 연결된 강성 있는 표면 연산자를 구성한다.
• ${\frak{sp}}(2N)$ 와 ${\frak{so}}(2N+1)$ 의 리 대수에 대한 행렬 실현을 사용하여, 특정한 특이성으로 정의된 표면 연산자를 정의한다.
• 두 대수의 카르탕 부분대수를 대각 행렬을 통해 정의함으로써, 그들의 카르탕 부분대수 사이의 자연스러운 동형사상을 가능하게 한다.
• 공유된 고유값 구조를 이용해 ${\frak{sp}}(2N)$ 에서 ${\frak{so}}(2N+1)$ 로 $\mathrm{Tr}(\varphi^k)$ 와 같은 불변 다항식을 매핑한다.
• $S$-대칭성을 분석하기 위해, $G \leftrightarrow {}^L\!G$ 의 교환에 따라 표면 연산자 데이터(예: 단순화, 양자 수)를 비교한다. 특히 $SO(2N+1)$ 와 $Sp(2N)$ 에 대해 분석한다.
• 특히 등각 불변성에 대해 스트링 이론의 구성(예: D-브라인 구성)을 사용하여 장 이론적 결과를 지원하고 개선한다.

실험 결과

연구 질문

• RQ1 ${\cal N}=4$ SYM 에서 강성 있는 반보존 표면 연산자는 $S$-대칭성에 어떻게 변환되며, 이러한 연산자에 대한 정확한 대칭 매핑은 무엇인가?
• RQ2 SO(2N+1) 와 Sp(2N) 표면 연산자 간의 관측된 부분적인 대칭 데이터 일치를 완전한 대칭 추측으로 확장할 수 있는가?
• RQ3 기하적 양자화는 강성 있는 표면 연산자 구성에서 관측된 부분적인 대칭 일치를 설명하는 데 어떤 역할을 하는가?
• RQ4 자연스러운 카르탕 부분대수 동형사상 하에서, 이중 리 대수 ${\frak{so}}(2N+1)$ 와 ${\frak{sp}}(2N)$ 의 불변 다항식은 어떻게 관련되는가?
• RQ5 구성된 강성 있는 표면 연산자는 등각 불변성을 가지는가? 그리고 이는 양자역학적으로 또는 스트링 이론을 통해 확인될 수 있는가?

주요 결과

• 강성 있는 반보존 표면 연산자는 특정한 게이지 군 궤도와 연결된 최소한의, 매개변수 없는 연산자로 구성되며, ${\frak{sp}}(2N)$ 와 ${\frak{so}}(2N+1)$ 의 정의 표현에서 명시적인 행렬 실현을 통해 제공된다.
• ${\frak{sp}}(2N)$ 와 ${\frak{so}}(2N+1)$ 의 카르탕 부분대수는 대각 행렬을 통해 실현되며, 이는 불변 다항식 $\mathrm{Tr}(\varphi^k)$ 를 두 대수 간에 자연스럽게 매핑할 수 있게 한다.
• $SO(2N+1)$ 와 $Sp(2N)$ 의 표면 연산자 간의 $S$-대칭성 행동에서 부분적인 일치가 발견되었으며, 이는 대칭 관계를 시사하지만 완전한 추측은 아직 완성되지 않았다.
• 구성은 고전 수준에서 명백하게 등각 불변성을 가지며, 양자 수준의 등각 불변성은 기대되며, 일부 경우는 스트링 이론 구성으로 확인되었다.
• $B_N$ 과 $C_N$ 루트 체계의 대칭 패턴은 한쪽의 코루트가 다른 쪽의 루트에 비례함을 보여주며, 이는 관측된 대칭 일치를 뒷받침하는 깊은 대칭성을 시사한다.
• 저자들은 현재 구성의 한계를 규명하며, 완전한 대칭 그림을 완성하기 위해 스트링 이론을 통한 보완과 추가 탐구의 필요성을 제기한다.