[논문 리뷰] Equivariant localization in factorization homology and applications in mathematical physics II: Gauge theory applications

Dylan Butson|arXiv (Cornell University)|2020. 11. 30.

Advanced Topics in Algebra인용 수 5

한 줄 요약

이 논문은 4차원 초대칭 게이지 이론에서 인접한 요소의 분해 호몰로지의 등변성에 기반하여 인접한 요소의 대칭적 기하 모델을 구성한다. 이는 쿨롱 브랜치 대수의 작용이 몫 스택 위의 카이랄 미분 연산자에 대해 성립하고, 등변적 구조가 테이트 기하학과 일치함을 증명한다. 또한 4D $σ$-모델의 혼합 헬로모르픽-톱로지컬 스위치에 대한 수학적 프레임워크를 수립하고, 등변적 국소화를 통해 리스 대수와 연결한다.

ABSTRACT

We give an account of the theory of factorization spaces, categories, functors, and algebras, following the approach of [Ras1]. We apply these results to give geometric constructions of factorization $\\mathbb{E}_n$ algebras describing mixed holomorphic-topological twists of supersymmetric gauge theories in low dimensions. We formulate and prove several recent predictions from the physics literature in this language: We recall the Coulomb branch construction of [BFN1] from this perspective. We prove a conjecture from [CosG] that the Coulomb branch factorization $\\mathbb{E}_1$ algebra $\\mathcal{A}(G,N)$ acts on the factorization algebra of chiral differential operators $\\mathcal{D}^{ch}(Y)$ on the quotient stack $Y=N/G$. We identify the latter with the semi-infinite cohomology of $\\mathcal{D}^{ch}(N)$ with respect to $\\hat{\\mathfrak{g}}$, following the results of [Ras3]. Both these results require the hypothesis that $Y$ admits a Tate structure, or equivalently that $\\mathcal{D}^{ch}(N)$ admits an action of $\\hat{\\mathfrak{g}}$ at level $\\kappa=-\ ext{Tate}$. We construct an analogous factorization $\\mathbb{E}_2$ algebra $\\mathcal{F}(Y)$ describing the local observables of the mixed holomorphic-B twist of four dimensional $\\mathcal{N}=2$ gauge theory. We apply the theory of equivariant factorization algebras of the prequel [Bu1] in this example: we identify $S^1$ equivariant structures on $\\mathcal{F}(Y)$ with Tate structures on $Y=N/G$, and prove that the corresponding filtered quantization of $\\iota^!\\mathcal{F}(Y)$ is given by the two-periodic Rees algebra of chiral differential operators on $Y$. This gives a mathematical account of the results of [Beem4]. Finally, we apply the equivariant cigar reduction principle of [Bu1] to explain the relationship between these results and our account of the results of [CosG] described above.

연구 동기 및 목표

• 4D $σ$-모델의 혼합 헬로모르픽-톱로지컬 스위치를 묘사하는 인접한 요소의 $É_n$ 대수의 기하적 구성 제공.
• Y = N/G에 대해 $τ^{ch}(Y)$인 카이랄 미분 연산자에 대한 $τ(G,N)$인 쿨롱 브랜치 인접한 요소의 $É_1$ 대수의 작용을 증명하며, 테이트 구조 가정 하에 수행.
• 4D $σ$-이론의 혼합 헬로모르픽-B 스위치에 대해 인접한 요소의 $É_2$ 대수 $τ(Y)$를 구성하고, $Y = N/G$의 등변적 구조와 연관.
• $S^1$-등변적 구조 $τ(Y)$와 $Y$의 테이트 구조 간의 대응을 수립하며, $Ω^!τ(Y)$의 필터링된 양자화를 $τ^{ch}(Y)$의 이중주기 리스 대수로 식별.

제안 방법

• 문헌 [Ras1]의 인접한 요소 공간 및 범주 프레임워크를 등변적 설정으로 확장.
• 전서 [Bu1]의 등변적 국소화 기법을 적용하여 인접한 요소 대수의 $S^1$-등변적 구조를 몫 스택의 테이트 구조와 연결.
• 반무한 호몰로지 구성법을 활용하여 $τ^{ch}(Y)$를 $\hat{\mathfrak{g}}$에 대해 수준 $\kappa = -\text{Tate}$에서 $τ^{ch}(N)$의 반무한 호몰로지로 식별.
• 4D $σ$-모델의 혼합 헬로모르픽-B 스위치에서 국소 관측량의 수학적 모델로 인접한 요소의 $É_2$ 대수 $τ(Y)$를 구성.
• [Bu1]의 시가리 감소 원리를 활용하여 $É_1$ 및 $É_2$ 구성 간의 관계를 설정하고, 차원 간의 프레임워크 통합.
• Y = N/G에 대한 테이트 구조의 존재를 가정하여 $τ(G,N)$의 작용과 리스 대수 식별의 타당성을 확보.

실험 결과

연구 질문

• RQ1 어떻게 4D $σ$-이론에서 혼합 헬로모르픽-톱로지컬 스위치를 묘사하는 인접한 요소의 대수를 기하적으로 구성할 수 있는가?
• RQ2 쿨롱 브랜치 작용이 $N/G$ 위의 카이랄 미분 연산자에 대해 정확히 어떻게 수학적으로 실현되는가?
• RQ3 인접한 요소 대수의 $S^1$-등변적 구조는 몫 스택 $N/G$의 테이트 구조와 어떻게 대응되는가?
• RQ4 4D $σ$-이론의 맥락에서 $Ω^!\u03c4(Y)$의 풀어낸 것의 필터링된 양자화는 무엇인가?
• RQ5 등변적 시가리 감소 원리는 이 프레임워크에서 $É_1$ 및 $É_2$ 구성 간의 통합을 어떻게 이루는가?

주요 결과

• Y = N/G에 테이트 구조가 존재하는 조건 하에, 쿨롱 브랜치 인접한 요소의 $É_1$ 대수 $τ(G,N)$가 $Y = N/G$ 위의 카이랄 미분 연산자에 대한 인접한 요소 대수 $τ^{ch}(Y)$에 작용한다.
• 인접한 요소 대수 $τ^{ch}(Y)$는 $\hat{\mathfrak{g}}$에 대해 수준 $\kappa = -\text{Tate}$에서 $τ^{ch}(N)$의 반무한 호몰로지로 식별된다.
• $S^1$-등변적 구조가 인접한 요소의 $É_2$ 대수 $τ(Y)$에 대해 존재할 경우, 정확히 $Y = N/G$의 테이트 구조에 대응하며 기하학적 분류를 제공한다.
• $Ω^!\u03c4(Y)$의 필터링된 양자화는 $τ^{ch}(Y)$의 이중주기 리스 대수로 식별되며, [Beem4]의 구성에 대한 수학적 실현을 제공한다.
• [Bu1]의 등변적 시가리 감소 원리를 적용하여 $É_1$ 및 $É_2$ 구성 간의 관계를 설정하고, 차원 간의 일관성을 입증한다.
• 결과는 [CosG] 및 [Beem4]의 물리적 예측에 대해 엄밀한 수학적 기반을 제공하며, 특히 4D $σ$-이론에서 테이트 구조와 리스 대수의 역할을 규명한다.