[논문 리뷰] Twisted jets, motivic measure and orbifold cohomology

Takehiko Yasuda|arXiv (Cornell University)|2001. 10. 20.

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

한 줄 요약

이 논문은 몽드럼-무드포드 스택에서의 꼬인 $\infty$-저지(∞-jets)를 도입하여, 몽드럼-무드포드 스택에서의 모티빅 적분을 몽드럼-무드포드 스택에서의 궁극적 적분으로 확장한다. $\infty$-저지 공간에 대한 모티빅 측도를 정의함으로써, 저스틴-비르쿨라의 모티빅 적분을 스택 이론적 기법을 통해 특이점을 가진 공간으로 일반화하여, Gorenstein 몽드럼-무드포드 스택의 몽드럼-무드포드 스택에서의 동치의 궁극적 코homology를 증명한다.

ABSTRACT

We introduce the notion of twisted jet on a Deligne-Mumford stack. and study the motivic measure on the space of the twisted $\infty$-jets on a smooth Deligne-Mumford stack. As an application, we prove that two birational minimal models with Gorenstein quotient singularities have the same orbifold cohomology with Hodge structure.

연구 동기 및 목표

• 스택 이론적 방법을 사용하여 몽드럼-무드포드 스택에서의 몽드럼-무드포드 스택에서의 궁극적 적분을 특이점을 가진 다양체로 확장한다.
• 부드러운 몽드럼-무드포드 스택에서의 꼬인 $\infty$-저지 공간에 대한 새로운 모티빅 측도를 정의한다.
• Gorenstein 몽드럼-무드포드 스택에서의 특이점을 가진 다양체에서 모티빅 측도와 몽드럼-무드포드 스택의 코homology 사이의 대응 관계를 설정한다.
• Gorenstein 몽드럼-무드포드 스택에서의 특이점을 가진 다양체에서의 동치의 궁극적 코homology가 동치임을 증명한다.

제안 방법

• 꼬인 $\infty$-저지를 $\mathscr{D} \to \mathscr{X}$ 형태의 표현 가능 사상으로 정의한다. 여기서 $\mathscr{D}$ 는 $\mathrm{Spec}\,\mathbb{C}[[t]]$ 를 계수 모듈리 공간으로 가지며, $\mathrm{Spec}\,\mathbb{C}((t))$ 를 열린 부분스택으로 포함하는 부드러운 몽드럼-무드포드 스택이다.
• 계수 모듈리 공간 $\overline{\mathscr{L}_{\infty}\mathscr{X}}$ 에서의 모티빅 측도 $\mu_{\mathscr{X}}$ 를 정의하며, 이는 Hodge 스펙트럼의 그로텐디크 링에 값을 갖는다.
• 모티빅 측도의 변환 법칙을 사용하여, $\mathscr{X}$ 에서의 측도를 해소에서의 상대 캐논리컬 디바이저와 연결한다.
• Gorenstein 몽드럼-무드포드 스택 특이점을 가진 다양체에 이론을 적용하기 위해, 계수 모듈리 공간이 특이 다양체 $X$ 인 부드러운 몽드럼-무드포드 스택 $\mathscr{X}$ 를 구성함으로써, 몽드럼-무드포드 스택의 코homology 를 정의할 수 있다.
• 모티빅 측도가 상대 캐논리컬 디바이저를 유지하는 벨리카르 변환에 대해 불변임을 증명한다. 이는 왜곡된 버전의 평가 기준을 통해 이루어진다.
• 인ertia 스택 $I(\mathscr{X})$ 와 $\mathscr{Y} \times_{\mathscr{X}} I(\mathscr{X})$ 사이의 카테고리의 동치를 수립함으로써, $\mathscr{X}$ 가 부드러울 경우 $I(\mathscr{X})$ 가 부드러움을 보여준다.

실험 결과

연구 질문

• RQ1 스택 이론적 방법을 사용하여 몽드럼-무드포드 스택에서의 특이점을 가진 다양체로 모티빅 적분을 확장할 수 있는가?
• RQ2 Gorenstein 몽드럼-무드포드 스택 특이점을 가진 다양체에서 꼬인 저지의 모티빅 측도는 몽드럼-무드포드 스택의 코homology와 어떻게 관련이 있는가?
• RQ3 Gorenstein 몽드럼-무드포드 스택 특이점을 가진 다양체에서의 동치의 궁극적 코homology가 동치인가?
• RQ4 일반적인 저지 공간이 엄격한 평가 기준을 충족하지 못함으로써 기존의 방법이 실패할 경우, 꼬인 저지는 어떻게 모티빅 측도를 복원하는가?
• RQ5 인ertia 스택 $I(\mathscr{X})$ 는 몽드럼-무드포드 스택 $\mathscr{X}$ 의 궁극적 코homology 를 어떻게 캐릭터라이즈하는가?

주요 결과

• 부드러운 몽드럼-무드포드 스택 $\mathscr{X}$ 에서의 꼬인 $\infty$-저지 공간에 대한 모티빅 측도 $\mu_{\mathscr{X}}$ 는 Hodge 스펙트럼의 그로텐디크 링에 값을 갖는다.
• 계수 모듈리 공간이 $X$ 인 부드러운 몽드럼-무드포드 스택 $\mathscr{X}$ 에 대해, 꼬인 $\infty$-저지 공간 $\overline{\mathscr{L}_{\infty}\mathscr{X}}$ 는 잘 정의된 대수적 공간이며, 이는 모티빅 측도를 지지한다.
• 모티빅 측도 $\mu_{\mathscr{X}}$ 는 상대 캐논리컬 디바이저를 유지하는 벨리카르 변환에 대해 불변이며, 이는 콘체비치의 정리를 몽드럼-무드포드 스택 설정으로 일반화한다.
• Gorenstein 몽드럼-무드포드 스택 특이점을 가진 두 동치의 최소 모델은 동일한 궁극적 코homology 를 가지며, 이는 모티빅 측도의 불변성에 의해 보여진다.
• 부드러운 $\mathscr{X}$ 에 대해 인ertia 스택 $I(\mathscr{X})$ 는 부드러운데, $I(\mathscr{X})$ 와 $\mathscr{Y} \times_{\mathscr{X}} I(\mathscr{X})$ 사이의 자연스러운 동치가 존재하여, 몽드럼-무드포드 스택의 코homology 구성이 일관성을 갖는다.
• 특이점을 가진 다양체 $X$ 의 몽드럼-무드포드 스택은 계수 모듈리 공간이 $X$ 인 부드러운 몽드럼-무드포드 스택 $\mathscr{X}$ 의 인ertia 스택 $I(\mathscr{X})$ 의 코homology 와 동치이다.