[논문 리뷰] Quantum $K$-theory of toric varieties, level structures, and 3d mirror symmetry

Yongbin Ruan, Yaoxiong Wen외 1명|arXiv (Cornell University)|2020. 11. 15.

Algebraic structures and combinatorial models참고 문헌 23인용 수 4

한 줄 요약

이 논문은 효과적 수준 구조를 갖춘 새로운 $K$-이론적 $I$-함수를 사용하여 토릭 스택에 대한 3차원 $υ=2$ 미러 대칭을 수립한다. 미러 사상이 켈러 및 에비아리언트 매개변수를 교환하고 양자 매개변수 $q$를 역전시키는 바, 거기서 거울 쌍의 $I$-함수들이 일치함을 증명하여 3차원 물리학에서의 추측을 해결하고, 고정점 국소화 및 $q$-차분 방정식을 통해 양자 $K$-이론을 토릭 스택으로 확장한다.

ABSTRACT

We introduce a new version of 3d mirror symmetry for toric stacks, inspired by a 3d $\mathcal{N} = 2$ abelian mirror symmetry construction in physics. Given some toric data, we introduce the $K$-theoretic $I$-function with effective level structure for the associated toric stack. When a particular stability condition is chosen, it restricts to the $I$-function for the particular toric GIT quotient. The mirror of a toric stack is defined by the Gale dual of the original toric data. We then proved the mirror conjecture that the $I$-functions of a mirror pair coincide, under the mirror map, which switches Kähler and equivariant parameters, and maps $q\mapsto q^{-1}$.

연구 동기 및 목표

• 물리학에서 유래한 효과적 수준 구조를 포함한 토릭 스택에 대한 3차원 $υ=2$ 미러 대칭 추측을 수립하고 증명하는 것.
• 개별 GIT 몫이 아닌 전체 토릭 스택에 대한 글로벌 $K$-이론적 $I$-함수를 정의하여 카메라 의존성 문제를 해결하는 것.
• 캘러 및 에비아리언트 매개변수를 교환하고 $q$를 역전시키는 미러 사상을 수립하여 거울 쌍의 $I$-함수들이 동치임을 증명하는 것.
• 고정점 국소화 및 $q$-차분 방정식을 도입하여 양자 $K$-이론을 토릭 스택으로 확장하기 위해 수정된 $I$-함수를 정의하는 것.
• 카메라 간의 $I$-함수의 유일성 문제를 해결하기 위해 고정점 기여가 카메라에 독립적임을 증명하는 것.

제안 방법

• 등급화된 맵 그래프 모듈리 공간을 사용하여 토릭 스택에 대한 $K$-이론적 $I$-함수를 정의하고, $\mathbb{C}^*$-고정점에 국소화된 기여를 포함한다.
• 3차원 $υ=2$ 물리학에서 유래한 수준 구조를 캡슐화하기 위해 이차형식 $\frac{1}{2}\sum_{j,l} \iota_{ij}\iota_{il}$을 통한 효과적 수준 구조를 정의한다.
• 점근적 행동을 다루기 위해 $\ln z_i \ln U_i|_{\mathbf{p}} / \ln q$를 포함한 지수적 계수를 갖는 수정된 $I$-함수 $\widetilde{I}^{\text{eff}}(\mathbf{p})$를 구성한다.
• 캘러 및 에비아리언트 매개변수를 교환하고 $q \mapsto q^{-1}$를 수행하는 미러 사상 $\tau$를 도입하여 거울 쌍 간의 $I$-함수를 매핑한다.
• $q$-이항 항등식과 점근적 분석을 사용하여 $\tau(\widetilde{I}^{\text{eff}}(\mathbf{p}^!))$ 가 원래 $I$-함수의 점근적 형태와 일치함을 보인다.
• $q$-차분 방정식의 해의 유일성을 활용하여 거울 쌍의 $I$-함수가 미러 사상 하에서 동치임을 결론짓는다.

실험 결과

연구 질문

• RQ1 고정점이 여러 카메라에 나타나는 바, 토릭 스택에 대한 $K$-이론적 $I$-함수는 다양한 GIT 카메라 간에 불변하는가?
• RQ2 모든 카메라의 기여를 통합하고 올바른 미러 대칭을 캡슐화하는 전체 토릭 스택에 대한 글로벌 $I$-함수를 정의할 수 있는가?
• RQ3 3차원 $υ=2$ 물리학에서 유래한 효과적 수준 구조는 $K$-이론적 $I$-함수를 어떻게 수정하고 매개변수 이중성 하에서 미러 대칭을 보장하는가?
• RQ4 캘러 및 에비아리언트 매개변수를 교환하고 $q$를 역전시키는 정확한 형태의 미러 사상은 무엇이며, 이는 $I$-함수의 구조를 유지하는가?
• RQ5 미러 토릭 스택의 $I$-함수들이 미러 사상을 적용한 후 동일한 $q$-차분 방정식을 만족하는가? 이는 동치성을 암시하는가?

주요 결과

• 고정점 기여 $I_{\mathbf{p},\theta}$ 는 GIT 카메라 $\theta$ 에 독립적이므로, 토릭 스택에 대한 글로벌 $I$-함수 $I^{\text{eff}}(\mathfrak{X}) = \sum_{\mathbf{p}} I^{\text{eff}}(\mathbf{p})$ 를 정의할 수 있다.
• 수정된 $I$-함수 $\widetilde{I}^{\text{eff}}(\mathbf{p})$ 는 점근적 행동과 $U_i|_{\mathbf{p}} = q^{\mathbb{Z}}$ 에서의 극을 제어하기 위해 지수적 계수와 $q$-Pochhammer 기호를 포함한다.
• 미러 사상 $\tau$ 하에서 거울 토릭 스택 $\mathfrak{X}^!$ 의 $I$-함수는 $\tau(\widetilde{I}^{\text{eff}}(\mathbf{p}^!))$ 가 원래 $I$-함수의 점근적 형태와 일치함을 보이며, 계수 인자 외에는 일치한다.
• 거울 쌍의 $I$-함수들이 동일한 $q$-차분 방정식을 만족하고, 해의 유일성에 의해 미러 사상 하에서 동치임을 증명한다.
• $I$-함수 $I^{\text{eff}}(\mathfrak{X})$ 는 켈러 및 에비아리언트 매개변수를 교환하고 $q \mapsto q^{-1}$ 를 수행하는 미러 사상에 대해 불변이며, 주요 미러 추측을 증명한다.
• 전체 스택을 고려함으로써 2차원 미러 대칭에서의 카메라 의존성 문제를 해결하고, 효과적 수준 구조를 갖는 토릭 스택에 대한 추측을 증명한다.