[논문 리뷰] Towards an Intersection Chow Cohomology Theory for GIT Quotients

Dan Edidin, Matthew Satriano|arXiv (Cornell University)|2017. 07. 18.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 5

한 줄 요약

이 논문은 잘 정의된, 스무스한 아르틴 스택의 좋은 모듈리 공간—특히 GIT 족—에 대해 기본적인 교차 카우프만 코homology 이론을 수립한다. 이는 모든 유리계수의 운영적 카우프만 클래스가 스택 위의 위상적으로 강한 사이클에 의해 유일하게 유리 동치 모odulo로 표현될 수 있음을 보여준다. 핵심 결과는 1차원 코차우 차수에서 유리 피카르 군에서 운영적 카우프만 군으로의 자연스러운 사상이 동형임을 보이는 것이다.

ABSTRACT

We study the Fulton-Macpherson operational Chow rings of good moduli spaces of properly stable, smooth, Artin stacks. Such spaces are étale locally isomorphic to geometric invariant theory quotients of affine schemes, and are therefore natural extensions of GIT quotients. Our main result is that, with rational coefficients, every operational class can be represented by a so-called topologically strong cycle on the corresponding stack. Moreover, this cycle is unique modulo rational equivalence on the stack. Using out methods, we prove that if $X$ is the good moduli space of a properly stable, smooth, Artin stack then the natural map from the Picard group of $X$ to the first operational Chow group of $X$ is surjective with rational coefficients.

연구 동기 및 목표

• GIT 족으로 나타나는 특이 다양체, 특히 차원이 0이 아닌 정 stabilizer 를 가진 경우에 대해 교차 코homology 이론을 확장한다.
• 적절히 안정되고 스무스한 아르틴 스택의 좋은 모듈리 공간에 대해 운영적 카우프만 링을 정의하고 연구한다.
• 정 stabilizer 차원에 따른 분할에 대해 전이 조건을 만족하는 기하학적 사이클과 운영적 클래스 사이의 대응을 수립한다.
• 유리 피카르 군이 1차원 운영적 카우프만 군으로 동형으로 사상됨을 증명하여 특이 교차 이론의 핵심 문제를 해결한다.

제안 방법

• 좋은 모듈리 공간 사상에 대해 포화되고, 축소에 대해 닫혀 있는 부분스택으로서 '위상적으로 강한' 사이클의 개념을 도입한다.
• 상대 카우프만 군 $A^k_{\text{tst}}(\mathcal{X}/X)$ 와 $A^k_{\text{st}}(\mathcal{X}/X)$ 를 카우프만 군 $A^k(\mathcal{X})$ 의 부분군으로 정의하며, 각각 위상적으로 강한 사이클과 강한 사이클에 의해 생성된다.
• 스택의 정 stabilizer 차원에 따른 분할을 이용해 운영적 클래스를 표현하는 사이클에 대해 전이 조건을 도입한다.
• 유리 동치를 포함한 사이클 이론적 추론을 통해 $\pi^*: A^*_{\text{op}}(X)_{\mathbb{Q}} \to A^*(\mathcal{X})_{\mathbb{Q}}$ 의 임베딩의 단사성을 증명한다.
• 차원, 차원, 특이점의 종류(유한 몰입 특이점 포함)에 따라 경우를 나누어 분석함으로써 임베딩의 전사성을 확립한다.
• 선다발과 첫 번째 체르니코프 클래스에 대한 결과를 적용하여 모든 유리계수 1차원 운영적 클래스가 선다발에서 유래함을 보인다.

실험 결과

연구 질문

• RQ1 좋은 모듈리 공간을 가진 적절히 안정되고 스무스한 아르틴 스택의 모든 운영적 카우프만 클래스는 스택 위의 위상적으로 강한 사이클로 표현될 수 있는가?
• RQ2 유리계수를 가진 $\pi^*: A^*_{\text{op}}(X)_{\mathbb{Q}} \to A^*(\mathcal{X})_{\mathbb{Q}}$ 의 임베딩은 단사적이고 전사적인가?
• RQ3 이러한 모듈리 공간에서 자연스러운 사상 $\operatorname{Pic}(X)_{\mathbb{Q}} \to A^1_{\text{op}}(X)_{\mathbb{Q}}$, $L \mapsto c_1(L)$ 는 동형이 되는가?
• RQ4 위상적으로 강한 사이클은 모든 운영적 클래스를 표현하는 데 충분한가? 그리고 이러한 사이클이 주로 강한 사이클이 되도록 보장하는 조건은 무엇인가?
• RQ5 잔여 게르베 $BG_x$ 와의 교차에서의 영향이 0인 것이 위상적으로 강한 사이클 $\alpha$ 가 $X$ 에서의 임베딩의 이미지에 속하기 위한 충분한 조건인가?

주요 결과

• 모든 운영적 클래스 $A^*_{\text{op}}(X)_{\mathbb{Q}}$ 는 스택 $\mathcal{X}$ 위의 위상적으로 강한 사이클로 표현 가능하며, 이 사이클은 $\mathcal{X}$ 상에서 유리 동치에 대해 유일하다.
• $\pi^*: A^*_{\text{op}}(X)_{\mathbb{Q}} \to A^*(\mathcal{X})_{\mathbb{Q}}$ 의 임베딩은 단사적이며, 그 이미지는 위상적으로 강한 사이클의 부분군에 속한다.
• 자연스러운 사상 $\operatorname{Pic}(X)_{\mathbb{Q}} \to A^1_{\text{op}}(X)_{\mathbb{Q}}$, $L \mapsto c_1(L)$ 는 동형이며, 이는 유리계수 1차원 운영적 카우프만 군이 유리 첫 번째 체르니코프 클래스에 의해 생성됨을 보여준다.
• 유한 몰입 특이점을 가진 스택의 경우, 운영적 카우프만 링의 임베딩 이미지는 주로 강한 사이클의 군에 포함된다.
• 낮은 차원 또는 작은 차원의 경우 상대적인 위상적으로 강한 사이클 군과 주로 강한 사이클 군은 유리수 계수에서 일치하며, 이는 이러한 경우에 임베딩의 전사성을 암시한다.
• 위상적으로 강한 사이클 $\alpha$ 가 $\pi^*$ 의 이미지에 속하기 위해 $\alpha \cdot BG_x = 0$ 를 모든 잔여 게르베 $BG_x$ 에 대해 만족시키는 것이 필수 조건이며, 본 논문은 이것이 또한 충분한지 여쭤본다.