[논문 리뷰] Virtual pullbacks in $K$-theory

F. Qu|arXiv (Cornell University)|2016. 08. 08.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 3

한 줄 요약

이 논문은 대수적 스택에 대한 K-이론에서 가상 역상(virtual pullbacks)을 수립하고, 이들이 이변량 클래스를 유도하고 함의성 조건을 만족함을 증명한다. 이 도구들을 활용하여 스킴에 대한 K-이론적 가상 국소화 공식과 도널드슨-타이틀러 이론에서의 열기 공식을 증명하며, 변형 공간과 완전한 오염 이론을 사용하여 기존의 차우 군에서 K-이론으로의 결과 확장을 이룬다.

ABSTRACT

We consider virtual pullbacks in $K$-theory, and show that they are bivariant classes and satisfy certain functoriality. As applications to $K$-theoretic counting invariants, we include proofs of a virtual localization formula for schemes and a degeneration formula in Donaldson-Thomas theory.

연구 동기 및 목표

• 기존의 차우 군에서의 결과들과 유사한 K-이론에서의 가상 역상 이론을 개발하는 것.
• K-이론적 가상 역상이 이변량 클래스를 유도하고 함의성 조건을 만족함을 증명하는 것.
• 변형 공간 기법을 사용하여 스킴에 대한 K-이론적 가상 국소화 공식을 수립하는 것.
• K-이론에서의 가상 역상 기반으로 도널드슨-타이틀러 이론에서의 열기 공식을 유도하는 것.
• 이변량 기계장치와 완전한 오염 이론을 통해 사이클 수준의 공식을 K-이론적 불변량으로 확장하는 것.

제안 방법

• 변형 공간 $M^\bullet_f$ 를 $Π^1$ 위에서 정의하고, 정규 쌍 $C_f$ 를 따라 역상과 전달을 통해 가상 역상을 정의한다.
• 정규 쌍에 대한 변형에서 정규 쌍으로의 사상 $\sigma_f: A(Y) \to A(C_f)$ 를 적용하고, 코herent sheaf를 통해 $K_0$ 로 올린다.
• 가상 역상 $f^!$ 을 $A(Y) \xrightarrow{\sigma_f} A(C_f) \xrightarrow{\iota_*} A(\mathfrak{E}_f) \to A(X')$ 의 복합으로 구성하며, $\mathfrak{E}_f$ 는 벡터 스택이다.
• Kresch의 아르틴 스택으로의 차우 군 확장과 완전한 오염 이론 이론을 활용하여 대수적 스택으로 일반화한다.
• 참고문헌 [3]의 이변량 클래스 체계를 사용하고, [18, Proposition 1]을 통해 [27]의 함의성 원리를 K-이론으로 적응시킨다.
• [5]의 방법을 적용하여 가상 국소화 공식을 증명하고, [24, 26]의 접근법을 변형하여 DT 이론에서의 열기 공식을 도출한다.

실험 결과

연구 질문

• RQ1 K-이론에서의 가상 역상은 어떻게 정의되며, 이들이 이변량성과 함의성을 만족하는지 어떻게 보일 수 있는가?
• RQ2 변형 공간을 사용하여 차우 군에서의 스킴에 대한 가상 국소화 공식을 K-이론으로 확장할 수 있는가?
• RQ3 도널드슨-타이틀러 이론에서의 열기 공식은 K-이론에서도 성립하는가? 그리고 가상 역상 기반으로 어떻게 도출할 수 있는가?
• RQ4 완전한 오염 이론은 대수적 스택에 대한 K-이론에서의 가상 역상 구성에 어떤 역할을 하는가?
• RQ5 가상 역상은 K-이론적 맥락에서 올바른 전달과 평행한 역상과 어떻게 상호작용하는가?

주요 결과

• K_0에서의 가상 역상이 이변량 클래스임을 증명하여, K-이론으로의 이변량 체계 일반화를 달성한다.
• 완전한 오염 이론과 변형 공간 구성과의 호환성을 통해 가상 역상의 함의성을 확립한다.
• [5]의 방법을 사용하여 스킴에 대한 K-이론적 가상 국소화 공식을 증명하며, 사이클 수준의 결과를 K_0로 확장한다.
• DT 이론에서의 열기 공식을 K_0에서 도출하며, $\sum_{k=0}^\infty \sum_{\delta: P(\delta)=P, k(\delta)=k} (-1)^k (\iota_\delta)_* \mathcal{O}_{\mathcal{M}_\delta}^{\mathrm{vir}} = \mathcal{O}_{\mathcal{M}_0^P}^{\mathrm{vir}}$ 라는 식이 $K_0(\mathcal{M}_0^P)$ 에서 성립함을 보인다.
• 변형 불변성 성립: $c \neq 0$ 일 때 $i_c^! \mathcal{O}_{\mathcal{M}^P}^{\mathrm{vir}} = \mathcal{O}_{\mathcal{M}_c^P}^{\mathrm{vir}}$ 를 만족하여 매끄러운 섬유와의 일致성을 확인한다.
• 이 건설은 $\mathfrak{C}_0$ 가 준국소적이지 않아도 성립하며, $\mathcal{M}_0^P$ 의 유계성과 2.6.1항의 부분에서의 가상 역상에 의존한다.