[논문 리뷰] K-theoretic quasimap invariants and their wall-crossing

Hsian‐Hua Tseng, Fenglong You|arXiv (Cornell University)|2016. 02. 21.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 7

한 줄 요약

이 논문은 고립된 고정점과 일차원 궤도를 갖는 토르 작용 하에서 GIT 몫 $W\sslash G$의 계수 0 $K$-이론적 퀀티맵 불변량에 대한 벽을 넘는 공식을 수립한다. 순열-등변 $S$-연산자와 $\mathcal{J}^\epsilon$-함수를 도입하여, $\mathcal{J}^\epsilon$-함수가 $K$-이론적 그로모프-와이너 이론의 라그랑주 피복 위에 놓여 있음을 증명하고, 극의 수가 제어된 멱급수에 대한 유일성 추론을 통해 안정성 칸막이 간의 $S$-연산자 간의 벽을 넘는 공식을 유도한다.

ABSTRACT

For each positive rational number $ε$, we define $K$-theoretic $ε$-stable quasimaps to certain GIT quotients $W\sslash G$. For $ε>1$, this recovers the $K$-theoretic Gromov-Witten theory of $W\sslash G$ introduced in more general context by Givental and Y.-P. Lee. For arbitrary $ε_1$ and $ε_2$ in different stability chambers, these $K$-theoretic quasimap invariants are expected to be related by wall-crossing formulas. We prove wall-crossing formulas for genus zero $K$-theoretic quasimap theory when the target $W\sslash G$ admits a torus action with isolated fixed points and isolated one-dimensional orbits.

연구 동기 및 목표

• 코homological 이론에서 $K$-이론적 퀀티맵 불변량으로의 벽을 넘는 공식을 확장하는 것.
• 순열-등변 $K$-이론적 퀀티맵 불변량을 $S$-연산자와 $\mathcal{J}^\epsilon$-함수를 사용하여 정의하고 연구하는 것.
• 서로 다른 안정성 매개변수 $\epsilon_1$과 $\epsilon_2$를 갖는 서로 다른 칸막이에서의 $S$-연산자 간의 벽을 넘는 공식을 수립하는 것.
• $\mathcal{J}^\epsilon$-함수가 순열-등변 $K$-이론적 그로모프-와이너 이론의 라그랑주 피복 위에 놓여 있음을 증명하는 것.
• 고정점과 궤도 조건 하에서 토릭 다양체에 대한 기벨탈의 $K$-이론적 미러 정리를 퀀티맵 이론으로 일반화하는 것.

제안 방법

• $K$-이론적 $\epsilon$-안정 퀀티맵 불변량을 표본점에서 타우톨로지컬 라인 번들에 의해 왜곡된 가상의 구조층의 헬름홀로지 오일러 지표로 정의한다.
• $S^\epsilon$-연산자를 형식적 변수 $q$와 쌍대 기저 원소를 포함하는 생성함수로 구성한다.
• $\mathcal{J}^\epsilon$-함수를 퀀티맵 그래프 공간 위의 생성함수 $P^\epsilon$에 대한 $S^\epsilon(P^\epsilon)$의 복합함수로 정의한다.
• 고정점 국소화를 사용하여 각 토르 고정점에서 $S^\epsilon$-연산자를 분석하고, $q$에 대한 멱급수로 표현하며, 근의 단위와 $0, \infty$에서만 극을 가지며 잔여치가 제어된 형태로 표현한다.
• $\mathcal{J}^\epsilon$-함수가 순열-등변 $K$-이론적 그로모프-와이너 이론의 라그랑주 피복 위에 놓여 있음을, 재귀적이고 대칭 조건을 만족하는 멱급수 시스템에 대한 유일성 보조정리에 의해 증명한다.
• 다른 $\epsilon$-칸막이에서의 $S$-연산자가 $Q$ 모듈로에서 일치하고, 동일한 재귀식과 극 제약 조건을 만족함을 보여 벽을 넘는 공식을 수립한다. 이는 유일성 보조정리에 의해 등식을 유도한다.

실험 결과

연구 질문

• RQ1 안정성 매개변수 $\epsilon$가 안정성 칸막이의 벽을 넘을 때 $K$-이론적 퀀티맵 불변량은 어떻게 변화하는가?
• RQ2 고립된 고정점과 일차원 궤도를 갖는 토르 작용 하에서 계수 0 $K$-이론적 퀀티맵 불변량에 대한 정확한 형태의 벽을 넘는 공식은 무엇인가?
• RQ3 $\mathcal{J}^\epsilon$-함수는 $K$-이론적 그로모프-와이너 이론의 라그랑주 피복에 대해 어떻게 특성화될 수 있는가?
• RQ4 $q$에 대한 멱급수로서의 $S^\epsilon$-연산자가 극의 구조와 재귀 관계가 제어된 조건을 만족할 때, 그 유일성은 어떤 조건을 필요로 하는가?
• RQ5 다른 $\epsilon$-값을 갖는 $S^\epsilon$-연산자 간의 관계는 벽을 넘는 공식을 통해 어떻게 연결되며, 이 공식은 어떻게 증명되는가?

주요 결과

• $\mathcal{J}^\epsilon$-함수는 모든 $\epsilon \geq 0^+$ 에 대해 순열-등변 $K$-이론적 그로모프-와이너 이론의 라그랑주 피복 위에 놓여 있으며, 정리 3.2와 정리 4.5에서 확인된다.
• $\epsilon_1, \epsilon_2$가 서로 다른 안정성 칸막이에 있을 때 $S^{\epsilon_1}$과 $S^{\epsilon_2}$ 사이의 벽을 넘는 공식이 증명되었으며, 이는 $0$, $\infty$, 단위근, 그리고 $q = (\lambda(\beta,\mu)^{-1/m})$에서 단순 극만 갖는 멱급수에 대한 유일성 추론을 통해 유도되었다. 이는 정리 4.4에 기재되어 있다.
• $S^\epsilon$-연산자는 고정점 국소화로부터 유도된 재귀 관계를 만족하며, 계수는 $K^0(W\sslash G) \otimes \Lambda\{\{t_i\}
• $S^\epsilon$-연산자는 $Q$ 모듈로에서의 행동, 극의 구조, 재귀 관계에 의해 유일하게 결정되며, 이는 유일성 보조정리(보조정리 4.9)로 형식화되어 있다. 이는 두 멱급수 시스템이 $Q$ 모듈로에서 일치하고 동일한 조건을 만족할 경우 반드시 동일함을 의미한다.
• 벽을 넘는 공식은 시스템 $\{S^{\epsilon_1}_{\tau_{\gamma}^{\epsilon_1,\epsilon_2}(t),\beta}\}$와 $\{S^{\epsilon_2}_{t,\beta}\}$가 유일성 보조정리의 다섯 가지 조건을 모두 만족함을 확인함으로써 수립되었으며, 이는 극 제어와 재귀 관계를 포함한다. 이에 따라 칸막이 간의 $S$-연산자가 동일함을 도출한다.
• $\mathcal{J}^\epsilon$-함수는 그로모프-와이너 이론의 $J$-함수에 대한 $K$-이론적 유사체이며, 라그랑주 피복 위에 있는 이미지가 $K$-이론적 양자 $K$-이론의 형식적 체계와 일관됨을 확인한다.