[논문 리뷰] Pro-Chern-Schwartz-MacPherson class for DM stacks

Yunfeng Jiang|arXiv (Cornell University)|2014. 12. 11.

Algebraic structures and combinatorial models참고 문헌 12인용 수 5

한 줄 요약

이 논문은 스킴에서 델리-무어포드(Deleigne-Mumford) 스택으로 알루피의 Pro-CSM(Pro-Chern-Schwartz-MacPherson) 클래스 구성법을 일반화하며, 델리-무어포드 스택 위의 구조적 함수에 대한 Pro-CSM 클래스를 정의한다. 적절한 델리-무어포드 스택에 대해, 비에르덴 함수의 Pro-CSM 클래스가 알루피 클래스와 일치하고, 그 적분은 가중 카르테시안 특성수를 주므로, 도널드슨-타우버스 이론에서의 가상 수를 다루는 비에르덴의 추측을 증명한다.

ABSTRACT

We generalize the definition of Pro-Chern-Schwartz-MacPherson (Pro-CSM) class of Aluffi for schemes to not necessarily proper DM stacks. The Pro-CSM class of constructible functions on a DM stack $\cX$ can be similarly defined. In the case that $\cX$ is proper, the Pro-CSM class of the Behrend function of $\cX$ is the same as the Chern-Schwartz-MacPherson (CSM) class for the Behrend function. The integration of this class over $\cX$ gives rise to the weighted Euler characteristic corresponding to the Behrend function, thus proving a conjecture of Behrend.

연구 동기 및 목표

• 알루피의 Pro-CSM 클래스 구성법을 스킴에서 델리-무어포드 스택으로 확장하기 위해.
• 델리-무어포드 스택 위의 구조적 함수에 대한 Pro-CSM 클래스를 정의하기 위해.
• 적절한 델리-무어포드 스택에 대해, 비에르덴 함수의 Pro-CSM 클래스가 알루피 클래스와 일치함을 증명하기 위해.
• 이 클래스의 적분이 가중 카르테시안 특성수를 주며, 비에르덴의 추측을 확인하기 위해.
• 델리-무어포드 스택에 대해, 구조적 함수에서 Pro-Chow 군으로의 자연 변환을 수립하기 위해.

제안 방법

• 모든 $\mathcal{X}_i$가 적절한 정규 컴acts이션 $\mathcal{U} \to \mathcal{X}_i$에 대한 프로젝티브 극한을 통해 델리-무어포드 스택 $\mathcal{X}$에 대해 Pro-Chow 군 함자 $\hat{A}_*(\mathcal{X})$를 정의한다.
• 구조적 함수의 함자에서 $\hat{A}_*(\mathcal{X})$로의 자연 변환을 통해 Pro-CSM 클래스를 구성하며, 알루피의 스킴 수준의 구성법을 일반화한다.
• 내쉬 블로업과 코노르말 사이클 구성법을 사용하여 스택 내의 사이클에 대한 츄링-메이서 클래스를 정의하고, 국소 오일러 장애와 연결한다.
• 긴츠부르크와 비에르덴의 결과를 활용하여, 츄링 특성자, 특성 사이클, 라그랑주 교차를 포함하는 가환 다이어그램을 수립한다.
• 변환의 자연성과 푸시포워드 성질을 이용하여, 비에르덴 함수 $\nu_{\mathcal{X}}$의 Pro-CSM 클래스가 알루피 클래스 $\alpha_{\mathcal{X}}$와 일치함을 증명한다.
• 라그랑주 교차 이론을 사용하여 $\int_{\mathcal{X}} \alpha_{\mathcal{X}} = \chi(\mathcal{X}, \nu_{\mathcal{X}})$를 보이며, 비에르덴의 추측을 확인한다.

실험 결과

연구 질문

• RQ1 알루피의 Pro-CSM 클래스 구성법을 스킴에서 델리-무어포드 스택으로 확장할 수 있는가?
• RQ2 적절한 델리-무어포드 스택에서 비에르덴 함수의 Pro-CSM 클래스가 비에르덴에 의해 정의된 알루피 클래스와 일치하는가?
• RQ3 적절한 델리-무어포드 스택에서 비에르덴 함수의 Pro-CSM 클래스의 적분이 가중 카르테시안 특성수 $\chi(\mathcal{X}, \nu_{\mathcal{X}})$와 같은가?
• RQ4 구조적 함수에서 Pro-Chow 군으로의 자연 변환은 다양체에서 델리-무어포드 스택으로 일반화될 수 있는가?
• RQ5 비에르덴 함수의 Pro-CSM 클래스의 기하학적 해석은 라그랑주 교차를 통해 어떻게 기술될 수 있는가?

주요 결과

• 적절한 델리-무어포드 스택 $\mathcal{X}$에서 비에르덴 함수 $\nu_{\mathcal{X}}$의 Pro-CSM 클래스는 알루피 클래스 $\alpha_{\mathcal{X}}$와 같다.
• 적절한 델리-무어포드 스택 $\mathcal{X}$에 대해, $\mathcal{X}$의 Pro-CSM 클래스는 표준 CSM 클래스와 일치한다.
• 비에르덴 함수 $\nu_{\mathcal{X}}$의 Pro-CSM 클래스를 $\mathcal{X}$에 대해 적분하면 가중 카르테시안 특성수 $\chi(\mathcal{X}, \nu_{\mathcal{X}})$가 얻어지며, 이는 비에르덴의 추측을 증명한다.
• 비에르덴 함수 $\nu_{\mathcal{X}}$의 특성 사이클은 $\Omega_{\mathcal{M}}$ 내의 라그랑주 사이클이며, 그와 영점의 단면 사이의 교차 수는 가중 카르테시안 특성수를 준다.
• Pro-CSM 클래스 구성법은 적절한 푸시포워드와 함께 작동하며, 자연성 조건을 만족하여 매킨지의 함수적 성질을 델리-무어포드 스택으로 일반화한다.
• 논문의 가환 다이어그램을 통해, 결과는 라그랑주 교차 공식 $\int_{\mathcal{X}} \alpha_{\mathcal{X}} = I(\operatorname{Ch}(\nu_{\mathcal{X}}), [\mathcal{M}])$와 일관되며, 이를 확인한다.