Topological 8d $\mathcal{N}=1$ Gauge Theory: Novel Floer Homologies, and $A_\infty$-categories of Six, Five, and Four-Manifolds

기술 요약: 위상적 8차원 $N=1$ 게이지 이론: 새로운 플로어 호몰로지(Floer homologies), 그리고 6, 5, 4차원 다양체의 $A_\infty$-범주

문제 정의
본 연구는 수학적으로 추측된 다양한 플로어 호몰로지 및 $A_\infty$-범주(4, 5, 6, 7차원 다양체와 관련된)의 물리적 유도와 범주화를 다룬다. 구체적으로, 본 연구는 다음의 사항들에 대한 물리적 증명을 목표로 한다:

1. 게이지 이론적 플로어 호몰로지: 6차원 다양체의 도널드슨-토마스(Donaldson-Thomas, DT) 플로어 호몰로지, 5차원 다양체의 헤이드스-위튼(Haydys-Witten, HW) 플로어 호몰로지, 그리고 7차원 다양체의 $\text{Spin}(7)$ 인스턴톤 플로어 호몰로지.
2. 하이퍼켈러(Hyperkähler) 및 심플렉틱 플로어 호몰로지: 하이퍼콘택트(hypercontact) 3차원 다양체에 의해 정의되는 호몰로지와 인스턴톤 모듈라이 공간의 심플렉틱 교차 플로어 호몰로지 사이의 관계.
3. 범주화: 칼라비-야우(Calabi-Yau, CY) 다양체 및 그 곱들에 대한 구성을 범주화하는 후카야-세이델(Fukaya-Seidel, FS) 유형의 $A_\infty$-범주 구축.
4. 쌍대성(Dualities): 게이지 이론적 플로어 호몰로지와 심플렉틱 교차 플로어 호뮬로지 사이의 아티-플로어(Atiyah-Floer) 유형 쌍대성 확립.

이러한 구조들은 도널드슨-토마스, 도널드슨-세갈, 호를로흐-노이첼-살라몬, 살라몬, 헤이드스, 체르키스, 그리고 부소(Bousseau) 등에 의해 제기되었으나, 통일된 물리적 유도가 결여되어 있었다.

방법론
저자들은 $\text{Spin}(7)$-다양체(8차원이며 $\text{Spin}(7)$ 홀로노미를 가진 8차원 다양체) 상에 정의된 위상적으로 뒤틀린(topologically-twisted) 8차원 $N=1$ 게이지 이론을 사용한다. 핵심 방법론은 다음과 같다:

• 차원 및 위상적 축소: 8차원 이론을 원($S^1$)을 따른 킬자-클라인(Kaluza-Klein, KK) 축소와 칼라비-야우 곡면($CY_2$)을 따른 위상적 축소를 통해 7, 6, 5, 4차원의 유효 이론으로 축소한다.
• 초대칭 양자 역학(SQM) 해석: 축소된 이론들을 무한 차원 게이지 연결(gauge connections) 또는 사상(maps)의 공간 상에서의 1차원 SQM 모델로 재구성한다. 이러한 SQM들의 분배 함수(partition functions)는 임계점들의 합으로 해석되며, 이는 플로어 호몰로지 군을 물리적으로 구현한다.
• 란다우-긴즈부르크(Landau-Ginzburg, LG) 모델: $\mathbb{R}^2$ 인자를 포함하는 다양체(예: $CY_3 \times \mathbb{R}^2$)를 고려함으로써, 저자들은 이 이론을 2차원 게이지드 란다우-긴즈부르크 모델로 재구성한다. 이를 통해 분배 함수를 솔리톤 스트링(soliton strings)의 트리 레벨 산란 진폭(tree-level scattering amplitudes)의 합으로 해석하여 $A_\infty$-범주를 실현한다.
• 튜린 퇴화(Tyurin Degeneration): 쌍대성을 확립하기 위해, 저자들은 칼라비-야우 3중체($CY_3$)를 $CY_2$ 곡면을 따라 튜린 퇴화시켜, $\text{Spin}(7)$-다양체를 분할함으로써 게이지 이론적 구성과 심플렉틱 교차 데이터를 연결한다.

주요 기여 및 결과

1. 새로운 플로어 호몰로지:

   • 7차원 다양체: $G_2$-다양체에 대한 $\text{Spin}(7)$ 인스턴톤 플로어 호몰로지를 정의하였다. 체인(chains)은 시간 불변(time-invariant) $G_2$ 인스턴톤 구성들에 의해 생성되며, 미분(differentials)은 체른-사이몬스 유형 범함수의 경사 흐름(gradient flow)이다. 이는 도널드슨-토마스 추측에 대한 물리적 증명을 제공한다.
   • 6차원 다양체: 칼라비-야우 3중체($CY_3$)에 대한 홀로모픽 $G_2$ 모노폴 플로어 호몰로지를 정의하였다. 이는 비제로(non-zero) 실수 스칼라 필드를 포함함으로써 도널드슨-세갈 추측을 일반화한다(칼라비-야우 모노폴). 스칼라가 0이 될 때, 이는 홀로모픽 벡터 번들의 경우를 회복한다.
   • 5차원 다양체: $CY_2 \times S^1$에 대한 홀로모픽 도널드슨-토마스 플로어 호몰로지를 정의하였다. 체인은 하나의 성분이 자기 쌍대 2-형식(self-dual two-form)이 0이 되는 헤이드스-위튼 구성들에 의해 생성된다.
   • 하이퍼켈러/심플렉틱 호몰로지: $CY_2$의 인스턴톤 모듈라이 공간으로 매핑되는 하이퍼콘택트 3차원 다양체($HC_3$)에 의해 지정되는 하이퍼켈러 플로리어 호몰로지를 정의하였다. 특수한 경우($HC_3 = T^3, I \times T^2, I \times S^1 \times \mathbb{R}$)는 각각 트리플 루프 공간, 더블 루프 공간, 그리고 인스턴톤의 경로 공간에서의 심플렉틱 플로어 호몰로지와 동등함을 보였다.

2. 아티-플로어 유형 쌍대성:

   • $CY_3 \times S^1$에 대한 $\text{Spin}(7)$ 아티-플로어 쌍대성을 확립하여, 게이지 이론적 $\text{Spin}(7)$ 인스턴톤 플로어 호몰로지를 $CY_2$ 상의 인스턴톤 더블 루프 공간의 심플렉틱 교차 플로어 호몰로지와 등치시켰다.
   • $CY_3$에 대한 7d-$\text{Spin}(7)$ 아티-플로어 쌍대성을 유도하여, 홀로모픽 $G_2$ 모노폴 플로어 호몰로지를 인스턴톤의 루프 공간의 심플렉틱 교차 플로어 호몰로지와 연결하였다.

3. 후카야-세이델 유형 $A_\infty$-범주:

   • $\theta$-변형된 DT 구성(홀로모픽 벡터 번들)을 대상(objects)으로 하는 $CY_3$(6차원 다양체)를 위한 FS 유형 $A_\infty$-범주를 구축하였다. 사상(morphisms)은 교차하는 늴라블(thimbles, 솔리톤)의 플로어 호몰로지 클래스로 식별된다.
   • HW 구성을 범주화하는 $CY_2 \times S^1$(5차원 다양체)를 위한 FS 유형 $A_\infty$-범주를 구축하였다.
   • VW(Vafa-Witten) 구성을 범주화하는 $CY_2$(4차원 다양체)를 위한 FS 유형 $A_\infty$-범주를 구축하였다.
   • 각 게이지 이론의 $\mathbb{R}^2$ 상에서의 정규화된 분배 함수가 솔리톤 스트링의 트리 레벨 산란 진폭의 합에 대응하며, 이것이 $A_\infty$ 합성 사상(composition maps)을 정의함을 입증하였다.

4. 범주화 체계:

   • $D$-다양체 $M_D$ 상의 구성들이 게이지 이론 $M_D \times \mathbb{R}$에 의해 실현되는 0-범주(플로어 호몰로지)와 연관된다는 체계적인 방안을 제안하였다.
   • 이는 게이지 이론 $M_D \times \mathbb{R}^2$에 의해 실현되는 1-범주(FS 유형 $A_\infty$-범주)로 범주화된다.
   • 저자들은 이것이 게이지 이론 $M_D \times \mathbb{R}^3$를 통한 2-범주(Fueter 유형)로 확장될 수 있음을 시사하며, 범주적 구조의 계층을 제공한다.

5. 추측에 대한 물리적 증명:

   • 도널드슨-토마스($\text{Spin}(7)$ 인스턴톤 플로어 호몰로지), 도널드슨-세갈(DT 플로어 호몰로지), 체르키스(옥토니언 모노폴을 통한 실 플로어 호몰로지), 호를로흐-노이첼-살라몬(하이퍼켈러 플로어 호몰로지), 살라몬(아티-플로어 유사성), 헤이드스(홀로모픽 벡터 번들의 FS $A_\infty$-범주), 부소(라그랑지안의 Hom-범주와 $G_2$ 인스턴톤 플로어 호몰로지 사이의 대응)의 추측들에 대한 물리적 증명을 제공하였다.

의의
본 논문은 이러한 수학적 추측 구조들의 존재를 증명할 뿐만 아니라, 이들을 일반화하는(예: $\theta$-변형 및 비제로 스칼라 필드) 통합된 물리적 프레임워크를 제공한다고 주장한다. 게이지 이론을 SQM 및 LG 모델로 해석함으로써, 저자들은 게이지 이론적 불변량, 심플렉틱 불변량, 그리고 고차 범주적 구조들을 연결하는 "관계의 망(web of relations)"을 구축한다. 이 연구는 $\text{Spin}(7)$ 이론에서의 위상적 불변성이 자연스럽게 이러한 쌍대성과 범주화를 이끌어낸다는 것을 보여주며, 저차원 위상수학 및 대수 기하학의 깊은 수학적 구조에 대한 물리적 실현을 제공한다. 본 결과는 이전 연구 [1]의 일반화로 제시되며, 고차원 게이지 이론과 플로어 호몰로지의 범주화 사이의 가교 역할을 한다.