[논문 리뷰] Virtual signed Euler characteristics

Yunfeng Jiang, Richard Thomas|arXiv (Cornell University)|2014. 08. 11.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 8

한 줄 요약

이 논문은 완전한 오염 이론을 지닌 공간 $M$ 위에 원뿔 $N$을 구성하며, 이는 대칭 오염 이론을 지니고 있고 국소적으로 함수의 임계점 집합으로서 나타난다. $N$의 가상 사이클을 그 $mathbb{C}^*$ 고정점 집합인 $M$으로 국소화함으로써, 저자들은 $M$에 대한 다섯 가지의 가상 부호가 있는 오일러 특성 수치를 정의한다. 이 중 네 가지—Graber-Pandharipande, Behrend Kai-가중치, Kiem-Li 코세크션, 그리고 부호 $(-1)^{\operatorname{vd}}$가 붙은 위상수학적 오일러 특성—이 서로 같음을 증명한다. 반면 Ciocan-Fontanine-Kapranov/Fantechi-Göttsche 불변량은 Graber-Pandharipande 방식과 같지만, 이 두 가지만이 변형에 대해 불변이다.

ABSTRACT

Roughly speaking, to any space $M$ with perfect obstruction theory we associate a space $N$ with symmetric perfect obstruction theory. It is a cone over $M$ given by the dual of the obstruction sheaf of $M$, and contains $M$ as its zero section. It is locally the critical locus of a function. More precisely, in the language of derived algebraic geometry, to any quasi-smooth space $M$ we associate its $(-1)$-shifted cotangent bundle $N$. By localising from $N$ to its $\mathbb C^*$-fixed locus $M$ this gives five notions of virtual signed Euler characteristic of $M$: (1) The Ciocan-Fontanine-Kapranov/Fantechi-Göttsche signed virtual Euler characteristic of $M$ defined using its own obstruction theory, (2) Graber-Pandharipande's virtual Atiyah-Bott localisation of the virtual cycle of $N$ to $M$, (3) Behrend's Kai-weighted Euler characteristic localisation of the virtual cycle of $N$ to $M$, (4) Kiem-Li's cosection localisation of the virtual cycle of $N$ to $M$, (5) $(-1)^{vd}$ times by the topological Euler characteristic of $M$. Our main result is that (1)=(2) and (3)=(4)=(5). The first two are deformation invariant while the last three are not.

연구 동기 및 목표

• 완전한 오염 이론을 지닌 공간 $M$에 대해 다수의 가상 부호 오일러 특성 수치를 정의하는 것.
• 대칭 오염 이론을 지닌 표준 공간 $N$을 구성하여, 이는 $M$ 위의 원뿔이 되며, $M$이 그 제로 단면이 되도록 하는 것.
• $N$의 불변량을 $\mathbb{C}^*$-국소화를 통해 $M$의 불변량과 연결하는 것.
• Graber-Pandharipande, Behrend Kai, Kiem-Li 코세크션, 위상수학적 오일러 특성 등의 다양한 국소화 기법을 비교하고 통합하는 것.
• 어느 불변량이 변형에 대해 불변인지, 어느 것은 아닌지 명확히 하여 문헌에서의 애매함을 해결하는 것.

제안 방법

• $N$을 $M$의 유도된 공간의 $(-1)$-이동 코탄젠트 배럴로 구성하거나, 등가적으로 $\operatorname{Spec}\operatorname{Sym}^\bullet \operatorname{Ob}_M \to M$ 형태의 원뿔로 구성한다.
• $N$이 오염 배럴의 쌍대 총공간 위의 함수 $\widetilde{s}$의 국소적 임계점 집합으로서 나타남을 보이며, 국소 모델 $\operatorname{Crit}(\widetilde{s}) \subset \mathrm{Tot}(E^*)$을 통해 이를 확인한다.
• $N$에 대한 $\mathbb{C}^*$-작용(섬유 스케일링)을 이용해 가상 사이클과 Behrend 함수를 고정점 집합인 $M$으로 국소화한다.
• 가상 사이클 $[N]^{\operatorname{vir}}$에 대해 Graber-Pandharipande의 가상 Atiyah-Bott 국소화를 적용하여 $M$ 위의 가상 사이클을 도출한다.
• Behrend의 공식 $\chi^N(p) = (-1)^{\dim \mathrm{Tot}(E^*)} (1 - e(F_p))$를 사용해 $N$ 위의 Behrend 함수를 계산하고, 이가 $M$ 위에서 $(-1)^{\operatorname{vd}}$로 제한됨을 보인다.
• Kiem-Li 코세크션 이론을 적용: $\mathbb{C}^*$-작용은 오염층에 대한 오일러 벡터장으로 이어지며, 이는 오염층에 대한 코세크션을 제공함으로써 $N$의 가상 사이클을 $M$으로 국소화할 수 있게 한다.

실험 결과

연구 질문

• RQ1 비유한 공간 $N$의 가상 사이클에 대해 다양한 국소화 기법이 고정점 집합인 $M$으로 제한되었을 때, 상호 관계는 어떻게 되는가?
• RQ2 Graber-Pandharipande, Behrend Kai-가중치, Kiem-Li 코세크션, 부호 $(-1)^{\operatorname{vd}}$가 붙은 위상수학적 오일러 특성으로 정의된 가상 부호 오일러 특성 수치는 동치인가?
• RQ3 어떤 불변량(예: Ciocan-Fontanine-Kapranov)은 변형에 대해 불변이지만, 다른 불변량(예: Behrend Kai)은 그렇지 않은 이유는 무엇인가?
• RQ4 대칭 오염 이론을 지닌 원뿔 $N$이 $M$ 위에 있을 때, Behrend 함수 $\chi^N$의 $M$ 위에서의 정확한 값은 무엇인가?
• RQ5 $N$ 위의 $\mathbb{C}^*$-작용을 사용하여 비유한 섬유 전역에서 밀너-형상과 오일러 특성 수치를 통합적으로 계산할 수 있는가?

주요 결과

• Behrend 함수 $\chi^N$이 $N$ 위에서 정의되며, 이는 $M$ 위에서 상수 $(-1)^{\operatorname{vd}}$로 제한된다. 즉, $\chi^N|_M \equiv (-1)^{\operatorname{vd}}$이다.
• Behrend Kai-가중치 오일러 특성 수치가 $N$에서 국소화되어 $e(M, \chi^N|_M) = (-1)^{\operatorname{vd}} e(M)$로 나타나며, 이는 부호 $(-1)^{\operatorname{vd}}$가 붙은 $M$의 위상수학적 오일러 특성과 일치한다.
• Kiem-Li 코세크션 국소화를 통해 $N$의 가상 사이클을 $M$으로 국소화하면 Behrend Kai-가중치 오일러 특성과 동일한 결과가 나오며, 둘 다 $(-1)^{\operatorname{vd}} e(M)$와 같다.
• Graber-Pandharipande의 가상 Atiyah-Bott 국소화를 통해 $[N]^{\operatorname{vir}}$를 $M$으로 국소화하면 Ciocan-Fontanine-Kapranov/Fantechi-Göttsche의 가상 부호 오일러 특성 수치와 일치한다. 즉, $\int_{[M]^{\operatorname{vir}}} c_{\operatorname{vd}}(E^\bullet)$이다.
• 네 가지 불변량—Behrend Kai, Kiem-Li 코세크션, 부호가 붙은 위상수학적 오일러 특성, Graber-Pandharipande 국소화—이 모두 동일하며, Ciocan-Fontanine-Kapranov 불변량은 Graber-Pandharipande 방식과 같지만, 이 두 가지만이 변형에 대해 불변이다.