[논문 리뷰] Topological modular forms and the absence of all heterotic global anomalies

Yuji Tachikawa, Mayuko Yamashita|arXiv (Cornell University)|2021. 08. 30.

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

한 줄 요약

이 논문은 세갈-스톨즈-타이히너 추측과 TMF^21(pt) = 0의 존재를 활용하여, 위상적 모듈라 형식(TMF)에서 스트링 봉우리 이론의 이중성에 대한 앤더슨 쌍대 이론으로의 자연스러운 변환이 사라짐을 증명함으로써, 모든 헤테로티컬 스트링 이론의 전역 대칭 이상이 존재하지 않음을 확립한다. 이 결과는 고도화된 봉우리 이론과 코homology 이론을 통해 헤테로티컬 스트링 이론의 일관성을 확인한다.

ABSTRACT

We reformulate the question of the absence of global anomalies of heterotic string theory mathematically in terms of a certain natural transformation $\mathrm{TMF}^\bullet o (I_{\mathbb{Z}}Ω^ ext{string})^{\bullet-20}$, from topological modular forms to the Anderson dual of string bordism groups, using the Segal-Stolz-Teichner conjecture. We will show that this natural transformation vanishes, implying that heterotic global anomalies are always absent. The fact that $\mathrm{TMF}^{21}(\mathrm{pt})=0$ plays an important role in the process. Along the way, we also discuss how the twists of $\mathrm{TMF}$ can be described under the Segal-Stolz-Teichner conjecture, by using the result of Freed and Hopkins concerning anomalies of quantum field theories. The paper contains separate introductions for mathematicians and for string theorists, in the hope of making the content more accessible to a larger audience. The sections are also demarcated cleanly into mathematically rigorous parts and those which are not.

연구 동기 및 목표

• 위상적 모듈라 형식(TMF)과 세갈-스톨즈-타이히너 추측을 이용하여, 헤테로티컬 스트링 이론에서 전역 이상의 부재를 수학적으로 재구성하는 것.
• TMF^•에서 스트링 봉우리 이론의 앤더슨 쌍대 이론 (I_Z Ω^string)^•−20으로의 자연스러운 변환을 수립하여 이상 분류자로 삼는 것.
• 이 변환이 사라짐을 입증함으로써, 헤테로티컬 스트링 이론에서 모든 전역 이상이 존재하지 않음을 증명하는 것.
• TMF^21(pt) = 0이 이상 지도의 사라짐에 미치는 역할을 명확히 하여 핵심적인 위상적 장벽을 제공하는 것.
• 프리드와 히프스의 양자장 이론 이상에 대한 결과를 활용하여, 세갈-스톨즈-타이히너 추측 하에서 TMF의 변형을 기술하는 것.

제안 방법

• d차원 양자장 이론의 이상을 (d+1)차원의 가역 QFT로 형식화하며, 이는 (I_Z Ω^B)^d+2(pt)로 분류되며, 여기서 B는 접선 구조이다.
• 세갈-스톨즈-타이히너 추측을 적용하여, TMF^•가 스트링 구조를 가진 확장된 2차원 초대칭 QFT를 분류하는 코homology 이론임을 식별한다.
• 헤테로티컬 이론의 이상 지도로 삼기 위해, 자연스러운 변환 TMF^• → (I_Z Ω^string)^•−20을 구성한다.
• TMF^21(pt) = 0라는 사실을 이용하여 이상 지도의 사라짐을 증명함으로써, 전역 이상이 존재하지 않음을 의미한다.
• 가역 상황의 분류와 봉우리 군집 및 앤더슨 쌍대 이론과의 관계를 통해 TMF의 변형을 분석한다.
• 아티야-히르체브루흐 스펙트럴 시퀀스와 상대 스핀 봉우리 이론의 장대한 정확한 시퀀스를 활용하여 관련 봉우리 군집을 계산하고, 동형사상의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 위상적 모듈라 형식에서 스트링 봉우리 이론의 앤더슨 쌍대 이론으로의 자연스러운 변환이 사라지면, 헤테로티컬 스트링 이론에서 전역 이상이 존재하지 않음을 의미하는가?
• RQ2 세갈-스톨즈-타이히너 추측은 TMF가 스트링 구조를 가진 2차원 양자장 이론의 분류와 어떻게 관련되어 있는가?
• RQ3 TMF^21(pt) = 0은 이상 지도의 사라짐에 어떤 역할을 하는가?
• RQ4 세갈-스톨즈-타이히너 추측 하에서, TMF의 변형은 봉우리 이론과 이상 이론의 관점에서 어떻게 기술될 수 있는가?
• RQ5 6차원에서 SU(2) 게이지 이론의 전역 이상은 앤더슨 쌍대 이론의 봉우리 이론을 통해 양자역학적 이상으로 유도될 수 있는가?

주요 결과

• 자연스러운 변환 TMF^• → (I_Z Ω^string)^•−20는 정확히 0이 되며, 이는 모든 헤테로티컬 전역 이상이 존재하지 않음을 증명한다.
• TMF^21(pt) = 0의 사라짐은 이상 지도의 사라짐을 강제하는 핵심적인 위상적 입력이다.
• SU(2) 게이지 군을 가진 6차원 헤테로티컬 이론의 이상은 (I_Z Ω^spin)^6(BSU(2)) ≃ ℤ/2ℤ로 분류되며, 이는 위튼 이상에 해당한다.
• 추론 지도 (I_Z Ω^spin)^6(BSU(3)) → (I_Z Ω^spin)^6(BSU(2))는 생성자를 생성자로 보낸다. 이는 상대 봉우리 이론 군에서 이상의 비자명성을 확인한다.
• SU(2) → SU(3)에 대한 상대 스핀 봉우리 이론의 장대한 정확한 시퀀스는 6차수에서 0 → ℤ → ℤ → ℤ/2ℤ → 0의 형태를 띠며, 이는 봉우리 정확한 시퀀스와 동형이다.
• 결과적으로, 전역 이상이 봉우리 이론에 의해 차단되지 않음을 확인한다. 이상 클래스는 관련된 구조를 통해 추론되었을 때 0이 되는 군에 속해 있기 때문이다.