[논문 리뷰] K-Theoretic $I$-function of $V//_{ heta} \mathbf{G}$ and Application

Yaoxiong Wen|arXiv (Cornell University)|2019. 05. 30.

Nonlinear Waves and Solitons참고 문헌 16인용 수 4

한 줄 요약

이 논문은 K-이론적 $I$-함수를 $V//_{\theta}\mathbf{G}$의 GIT 몫에 대해, 아벨 및 비아벨 대응을 사용하여 수준 구조를 포함하여 계산한다. 이는 양자 K-이론에서 비자명한 수준 구조로 Givental-Lee의 Toda 연산자 결과를 일반화한다. 완전한 플라그 다양체에서 $\mathcal{J}$-함수에 대한 유한차분-차분 방정식을 수립하여, $K_{\mathbf{T}}(X)$-값을 갖는 급수는 수준에 의존하는 계수를 갖는 일반화된 Toda 연산자의 고유 상태임을 보여준다.

ABSTRACT

In this paper, we compute K-theoretic $I$-function with level structure (defined by quasi-map theory) of GIT-quotient of a vector space via abelian and non-abelian correspondence. As a consequence, we generalize Givental-Lee's result to find the analogous "Toda operators" for the $I$-function with nontrivial level structures in the case of complete flag variety.

연구 동기 및 목표

• 완전한 플라그 다양체의 맥락에서 Givental-Lee의 Toda 연산자 프레임워크를 비자명한 수준 구조를 가진 양자 K-이론으로 확장한다.
• 수준 구조를 포함한 $I$-함수에 대한 K-이론적 아벨/비아벨 대응을 수립한다.
• 수준 구조 하에서 $\mathcal{J}$-함수가 만족하는 차분 방정식을 유도하여 원래 Toda 시스템의 유한차분 구조를 일반화한다.
• 수준 구조를 가진 $K_{\mathbf{T}}(X)$-값을 갖는 $\tilde{\mathcal{J}}$-함수가 일반화된 Toda 연산자의 고유 상태임을 확인한다.

제안 방법

• 가상 계열이 있는 퀼름랩 모듈라이 공간 위에서의 합으로서 $I$-함수를 계산하기 위해 준-맵 이론과 $\mathbb{C}^{*}$--equivariant 국소화를 사용한다.
• 수준 구조를 행렬식 선다발을 통해 포함함으로써, $V//\mathbf{G}$의 $I$-함수와 $V//\mathbf{T}$의 $I$-함수를 연결하는 아벨/비아벨 대응 기법을 적용한다.
• 수준 구조는 $\mathcal{D}^{R,l}$을 통해 도입되며, 이는 $\operatorname{det}^{-l_i} R^\bullet \pi_* (\mathfrak{P} \times_{\mathbf{G}} \mathbb{C}_{\theta_i})$로 정의된다. 이는 $I$-함수에 $p_i^{l_i(d_i-1)} q^{l_i d_i(d_i-1)/2}$ 요소를 삽입함으로써 수정한다.
• 원래 Givental-Lee 연산자를 $q^{l_i Q_i \partial_{Q_i}}$ 항을 포함하도록 수정하여 일반화된 Toda 연산자 $\widetilde{H}^{\theta_i,l_i}_{Q,q}$를 유도한다.
• 부분 플라그 다양체에 대한 미러 정리를 사용하여, 수준이 0인 소형 $I$-함수와 소형 $\mathcal{J}$-함수가 일치함을 보이고, 이를 0이 아닌 수준으로 확장한다.
• 플루커 임bedding을 통해 선다발 $l_i$를 $p_i$로 표현하여, Givental과 Lee의 기존 결과와의 직접적 비교를 가능하게 한다.

실험 결과

연구 질문

• RQ1 아벨/비아벨 대응을 사용하여, GIT 몫 $V//_{\theta}\mathbf{G}$에 대해 수준 구조를 포함한 K-이론적 $I$-함수를 어떻게 계산할 수 있는가?
• RQ2 완전한 플라그 다양체에서 수준 구조가 $I$-함수에 도입될 경우, 일반화된 Toda 연산자 구조가 유지되는가?
• RQ3 비자명한 수준 구조를 가진 $\mathcal{J}$-함수가 원래 Toda 시스템과 유사한 유한차분-차분 방정식을 만족하는가를 어떻게 보일 수 있는가?
• RQ4 수준 구조를 가진 $\tilde{\mathcal{J}}$-함수를 제어하는 수정된 Toda 연산자 $\widetilde{H}^{\theta_i,l_i}_{Q,q}$의 정확한 형태는 무엇인가?
• RQ5 수준 구조는 퀼름랩 모듈라이 공간 위의 행렬식 선다발과 가상 계열을 통해 $I$-함수에 어떻게 영향을 미치는가?

주요 결과

• 수준 구조를 포함한 K-이론적 아벨/비아벨 대응이 일반화되어, $w\left[\prod_{\alpha}\frac{\prod_{k=-\infty}^{\tilde{\beta}(\alpha)}(1-L^{\vee}_\alpha q^k)}{\prod_{k=-\infty}^{0}(1-L^{\vee}_\alpha q^k)} I_{\tilde{\beta}}^{V//\mathbf{T},R,l}\right]$ 형태의 공식을 도출한다.
• 부분 플라그 다양체의 경우, 수준이 0인 소형 $I$-함수는 소형 $\mathcal{J}$-함수와 일치하며, 이는 이 경우에 대해 미러 정리가 성립함을 확인한다.
• 비자명한 수준 구조를 가진 $K_{\mathbf{T}}(X)$-값을 갖는 $\tilde{\mathcal{J}}$-함수는 고유값 $\Lambda_0^{-1} + \cdots + \Lambda_r^{-1}$을 갖는 일반화된 Toda 연산자 $\widetilde{H}^{\theta_i,l_i}_{Q,q}$의 고유 상태이다.
• 수정된 Toda 연산자는 수준에 의존하는 항을 포함한다: $q^{Q_{i+1}\partial_{Q_{i+1}} - Q_i\partial_{Q_i}}(1 - Q_i \circ q^{l_i Q_i \partial_{Q_i}})$, 원래의 $q^{Q_i\partial_{Q_i}}(1 - Q_i)$ 항을 대체한다.
• 수준 $l_i$를 가진 $I$-함수는 $p_i^{l_i(d_i-1)} q^{l_i d_i(d_i-1)/2}$ 요소를 삽입함으로써 수정되며, 이는 수준 구조가 양자 불변량에 기여하는 방식을 반영한다.
• Fl_3(\mathbb{C}^4)에서의 명시적 계산은 수준 구조가 0일 경우 Givental과 Lee의 결과와 일치함을 확인하여, 이 프레임워크의 타당성을 검증한다.