[논문 리뷰] The structure of a local embedding and applications to Chern classes of weighted blow-ups

Anca Mustaţǎ, Andrei Mustaţǎ|arXiv (Cornell University)|2008. 12. 16.

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

한 줄 요약

이 논문은 대상 스택 $X$의 에탈, 전형적으로 닫힌 커버를 통해 비분리된 델리–무프 매장 스택 $X'$를 도입하며, 이는 $X' \to X$가 올바른 사상이 아니어도 초콜릿 군의 푸시포워드를 가능하게 한다. 이 구성은 올바른 국소 임베딩을 $X'$에서 닫힌 임베딩으로 분해하여, 가중치가 부여된 블로우업의 체르니 클래스를 변형된 가중치 정규 콘과 국소화 기법을 통해 계산할 수 있게 하며, 안정 사상의 매개수 공간에의 응용이 가능하다.

ABSTRACT

For a proper local embedding between two Deligne--Mumford stacks Y and X, we find, under certain mild conditions, a new (possibly non-separated) Deligne--Mumford stack X', with an etale, surjective and universally closed map to the target X, and whose fiber product with the image of the local embedding is a finite union of stacks with corresponding etale, surjective and universally closed maps to Y. Moreover, a natural set of weights on the substacks of X' allows the construction of a universally closed push-forward, and thus a comparison between the Chow groups of X' and X. We apply the construction above to the computation of the Chern classes of a weighted blow-up along a regular local embedding via deformation to a weighted normal cone and localization. We describe the stack X' in the case when X is the moduli space of stable maps with local embeddings at the boundary. We apply the methods above to find the Chern classes of the stable map spaces.

연구 동기 및 목표

• 비분리 스택에서 올바른 국소 임베딩을 닫힌 임베딩으로 분해함으로써 체르니 클래스 이론과 초콜릿 군 이론을 가중치가 부여된 블로우업으로 확장하는 것.
• 국소적 구성의 한계를 극복하여 체르니 클래스나 초콜릿 군의 구조와 같은 전역 불변량을 포괄하는 것.
• 특히 매개수 문제의 맥락에서 올바른 국소 임베딩의 맥락에서 리만–뢰흐 유형 정리의 프레임워크를 제공하는 것.
• 안정 사상의 매개수 공간에 대한 체르니 클래스를 계산하기 위해 이 방법을 적용하는 것.

제안 방법

• 에탈, 전형적으로 닫히며 전사인 사상 $X' \to X$를 통해 비분리된 델리–무프 스택 $X'$를 구성하며, 이는 $g(Y)$ 외부에서는 동형사상이다.
• 선택된 $X$의 아틀라스에 따라 국소 임베딩 $g: Y \to X$의 구조를 캐시와 접합 데이터의 시스템을 통해 기록하는 국소 임베딩의 네트워크를 정의한다.
• 가치 기준의 올바름에 기반한 하위스택에 대한 가중치 함수 $w$를 부여하여, 전형적으로 닫힌 푸시포워드 $p_*: A_*(X') \to A_*(X)$를 정의한다.
• 가중치 정규 콘으로의 변형과 국소화 기법을 사용하여 가중치가 부여된 블로우업의 체르니 클래스를 계산한다.
• 스택 네트워크의 확장 초콜릿 군과 $A_*(X')$ 사이의 동형사상을 확립하여 국소 데이터로부터 전역 불변량을 계산할 수 있게 한다.
• 모듈리 공간 $\overline{M}_{0,m}(\mathbb{P}^n,d)$에 이 프레임워크를 적용하며, $X'$가 표시된 구성 요소를 가진 안정 사상의 스택임을 식별한다.

실험 결과

연구 질문

• RQ1 올바른 국소 임베딩 $g: Y \to X$에 대해 사상이 올바르지 않을 경우, 초콜릿 군에 대해 전형적으로 닫힌 푸시포워드를 어떻게 구성할 수 있는가?
• RQ2 비분리 스택이 가중치가 부여된 블로우업의 전역 불변량인 체르니 클래스를 해결하는 데 어떤 역할을 하는가?
• RQ3 국소 임베딩의 구조를 스택의 네트워크로 표현하여 배경 스택의 초콜릿 군을 복원할 수 있는가?
• RQ4 스택 $X'$의 하위스택에 부여된 가중치 함수는 가치 기준과 사이클의 푸시포워드와 어떻게 관련되는가?
• RQ5 안정 사상의 매개수 공간의 경우 스택 $X'$의 매개수 이론적 해석은 무엇인가?

주요 결과

• 스택 $X'$는 $X' \to X$가 올바르지 않더라도 $A_*(X')$에서 $A_*(X)$로의 전형적으로 닫힌 푸시포워드 $p_*$를 제공하며, 이는 $A_*(X)$를 $p_*$를 통해 복원할 수 있게 한다.
• $g: Y \to X$에 관련된 스택 네트워크의 확장 초콜릿 군은 $A_*(X')$와 동형이므로, 국소 데이터로부터 전역 불변량을 계산할 수 있다.
• 모듈리 공간 $\overline{M}_{0,m}(\mathbb{P}^n,d)$의 경우, 스택 $X'$는 $\overline{M}^\prime_{0,m}(\mathbb{P}^n,d)$로 식별되며, 표시된 구성 요소를 가진 안정 사상의 매개수 문제로 기술된다.
• 정규 국소 임베딩에 沿한 가중치가 부여된 블로우업의 체르니 클래스는 가중치 정규 콘으로의 변형과 국소화 기법을 활용하여 $X'$에서의 푸시포워드를 통해 계산된다.
• 에탈 아틀라스가 차트 간에 일致하도록 하여 블로우업에서의 대칭성 붕괴 문제를 해결함으로써, 전역 블로우업 구성의 실패를 방지한다.
• 가중치가 부여된 프로젝션 스택 $\mathcal{P}[w_0:\dots:w_n]$의 접선(bundle)은 가중치 $w_i$를 포함하는 전이 규칙을 통해 전역적으로 정의되며, 도함수는 가중치 동차성에 따라 변환된다.