[논문 리뷰] Anomalies in String Theory with D-Branes

Daniel S. Freed, Edward Witten|arXiv (Cornell University)|1999. 07. 26.

Black Holes and Theoretical Physics참고 문헌 15인용 수 24

한 줄 요약

이 논문은 비스핀 다양체 위의 D-brane를 포함한 스트링 이론에서의 전역 이상 현상을 조사한다. 비스핀 다양체인 ℂP²를 감싸는 D-brane의 경우, 세계체 위의 U(1) 게이지 장은 표준 연결장이 될 수 없고, 대신 스피너⁰ 구조를 정의한다. 이상은 게이지 장을 스피너⁰ 구조의 일부로 해석함으로써 해결되며, 이는 아티야-사이먼스 지수 정리에 의해 D0-브레인 전하가 항상 정수임을 보장함으로써 일관성을 유지한다. 새로운 보존 법칙이 필요로 하지 않는다.

ABSTRACT

We analyze global anomalies for elementary Type II strings in the presence of D-branes. Global anomaly cancellation gives a restriction on the D-brane topology. This restriction makes possible the interpretation of D-brane charge as an element of K-theory.

연구 동기 및 목표

• 세계체 다양체가 스피너가 아닐 경우 스트링 이론에서 D-브레인 구성의 일관성을 이해하는 것.
• 특성 클래스를 통해 B-장과 그 호로노미가 전역 이상을 결정하는 데 기여하는 방식을 분석하는 것.
• U(1) 게이지 장을 스피너⁰ 구조의 연결장으로 재해석함으로써 D0-브레인 전하의 양자화 위반을 해결하는 것.
• 표준 딜라크 양자화가 실패할 경우에도 아티야-사이먼스 지수 정리가 항상 정수인 D0-브레인 전하를 보장함을 보여주는 것.

제안 방법

• 보크스타인 호모로피즘을 사용하여, 비스핀 다양체 위에서의 평탄한 B-장의 특성류 ζ = W₃(Q)를 표준 U(1) 연결장의 장애물로 식별한다.
• B-장의 닫힌 표면 위에서의 호로노미는 공식 W(Σ;B) = (−1)^(Σ,w₂(Q))를 통해 제2 스티펠-브리트 클라스와 연결된다.
• ℂP² 위의 D-브레인에 대해, U(1) 게이지 장 A는 반정수 flux를 가져야 하며, 이는 표준 연결장이 아니고 스피너⁰ 구조를 정의함을 의미한다.
• D0-브레인 전하는 Q₀ 위에서 선다발 L을 계수로 하는 딜라크 연산자의 지수를 통해 공식 N₀ = ∫_{Q₀} Â(Q₀) exp(c₁(L))로 계산된다.
• A를 스피너⁰ 구조의 일부로 해석할 경우 지수 정리에 의해 N₀는 항상 정수가 됨을 보여주며, 이상이 해결됨을 입증한다.
• 임베딩 기법을 사용하여 ℝ¹⁰ 내에서 비자명한 D-브레인 세계체, 예를 들어 ℂP²와 그 S¹ 위의 비스핀⁰ 번들의 실현을 가능하게 하여 명시적 월드시트 분석이 가능해진다.

실험 결과

연구 질문

• RQ1 D-브레인 세계체 다양체가 전역 이상을 피하기 위해 만족해야 할 조건은 무엇인가?
• RQ2 비자명한 B-장이 D-브레인 세계체 위의 U(1) 게이지 장의 일관성에 어떤 영향을 미치는가?
• RQ3 왜 ℂP²와 같은 비스핀 다양체 위의 D-브레인에 대해 표준 딜라크 양자화가 실패하는가?
• RQ4 게이지 장이 표준 U(1) 연결장이 아니면 D0-브레인 전하가 어떻게 여전히 정수일 수 있는가?
• RQ5 아티야-사이먼스 지수 정리는 D-브레인 붕괴 과정에서 이상이 상쇄되는 데 어떤 역할을 하는가?

주요 결과

• ℝ¹⁰ 내에서 ℂP²를 감싸는 D-브레인의 경우, U(1) 게이지 장 A는 반정수 flux를 가져야 하며, 이는 ∫_L F_A / 2π = x/2 형태이며, x는 홀수 정수이다. 이는 표준 딜라크 양자화를 위반한다.
• ℂP²는 스피너⁰이지만 스피너가 아니며, 제2 스티펠-브리트 클라스 w₂(ℂP²)는 0이 아니므로 전역 이상이 발생한다.
• 복소수 켤레를 통한 단일화를 갖는 다섯 차원 다양체 Q′ = ℂP² ˜× S¹는 스피너⁰이 아니며, 정수 코homology 클래스가 모듈로 2 감소에 의해 w₂를 올릴 수 없기 때문이다.
• L이 표준 선다발일 경우 D0-브레인 전하 N₀ = ∫_{Q₀} Â(Q₀) exp(c₁(L))는 정수가 아니지만, A가 스피너⁰ 구조의 일부로 해석될 경우 정수가 된다.
• 게이지 장이 스피너⁰ 구조를 정의할 경우 아티야-사이먼스 지수 정리에 의해 N₀는 항상 정수가 되며, 이상이 해결됨을 보여준다.
• 논문은 예를 들어 Σ×C(Σ는 디스크)와 같은 명시적 월드시트 가닥을 구성하여 전역 이상을 탐지하며, ℝ¹⁰ 내에서 비스핀⁰ D-브레인의 일관성 결여를 확인한다.