[논문 리뷰] Pontrjagin-Thom maps and the homology of the moduli stack of stable curves

Johannes Ebert, Jeffrey Giansiracusa|ArXiv.org|2007. 12. 05.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 5

한 줄 요약

이 논문은 안정 곡선의 모듈리 스택의 경계 부분의 구조와 관련된 포트랴긴-투옴 맵을 사용하여 $χ_{g,n}$의 새로운 토퍼션 homology 클래스를 탐지한다. 일반적인 포트랴긴-투옴 구성법을 미분 가능 스택으로 확장하고, $QBN(2)^V$와 같은 무한 loop 공간으로의 사상들을 분석함으로써, 일정한 차수 이내에서 호몰로지 상의 전성(onto)을 증명함으로써, 부드러운 부분에서 유래하지 않는 풍부한 토퍼션 구조를 드러낸다.

ABSTRACT

We study the singular homology (with field coefficients) of the moduli stack of stable n-pointed complex curves of genus g (the Deligne-Mumford compactification). Each of its irreducible boundary components determines via the Pontrjagin-Thom construction a map to a certain infinite loop space whose homology is well understood. We show that these maps are surjective on homology in a range of degrees proportional to the genus. This implies the existence of many new torsion classes in the homology of the moduli stack.

연구 동기 및 목표

• 특히 부드러운 부분 $\mathfrak{M}_{g,n}$ 에서 기인하지 않는 토퍼션 클래스를 포함하여, $\overline{\mathfrak{M}}_{g,n}$ 의 컴acts화된 모듈리 스택의 모od $p$ 호몰로지를 이해하기 위해.
• 특히 $\overline{\mathfrak{M}}_{g,n}$ 의 경계 매립에 대해, 포트랴긴-투옴 구성법을 미분 가능 스택으로 확장하기 위해.
• 부분적으로는 불가약한 경계 성분과 관련된 무한 loop 공간으로의 호몰로지 전성에 대해 증명하기 위해.
• 특히 양의 특성에서의 체 $\mathbb{F}$ 에 대해, 이러한 사상들을 통해 $H_*(\overline{\mathfrak{M}}_{g,n};\mathbb{F})$ 에서 새로운 토퍼션 클래스의 가닥을 식별하기 위해.
• 이러한 사상들이 탐지하는 코homology 클래스와 유리수 코homology에서의 타우톨로지 대수 간의 관계를 명확히 하기 위해.

제안 방법

• 노드 곡선을 표시된 점들을 접합하여 매개화하는 $\xi_{\text{irr}}$ 와 $\xi_{h,P}$ 와 같은 적절한 매립에 포트랴긴-투옴 구성법을 적용하기 위해.
• 경계 매립의 정규 벡터 다발과 관련된 무한 loop 공간 $QBN(2)^V$ 에로의 사상 $\Phi_{\text{irr}}: \operatorname{Ho}(\overline{\mathfrak{M}}_{g,n}) \to QBN(2)^V$ 과 $\Phi^{1}_{h,P}, \Phi^{0}_{h,P}$ 를 구성하기 위해.
• 정규 다발의 구조군을 $N(2)$ 와 $T(2)$ 로 줄여서, 토름 공간과 보편 벡터 다발을 통해 $QBT(2)^V$ 와 $QBU(1)^V$ 로의 사상들을 정의하기 위해.
• 스택 $\mathfrak{X}$ 의 호모토피 유형 $\operatorname{Ho}(\mathfrak{X})$ 을 활용하여, 포트랴긴-투옴 맵을 통해 스택 호몰로지와 공간 호몰로지를 연결하기 위해.
• 대상 공간의 rich mod $p$ 호몰로지를 분석하기 위해, $H_*(QX;\mathbb{F})$ 에서의 Dyer-Lashof 대수의 구조를 활용하기 위해.
• 포트랴긴-투옴 구성법을 통해 umkehr 사상(기시니 사상)을 적용하여, 코homology의 푸시포워드와 타우톨로지 클래스를 연결하기 위해.

실험 결과

연구 질문

• RQ1 포트랴긴-투옴 구성법을 미분 가능 스택으로 확장하여, $\overline{\mathfrak{M}}_{g,n}$ 의 호몰로지에서 새로운 토퍼션 클래스를 탐지할 수 있는가?
• RQ2 체 $\mathbb{F}$ 가 양의 특성일 때, 사상 $\Phi_{\text{irr}}$, $\Phi^{1}_{h,P}$, $\Phi^{0}_{h,P}$ 가 $H_*(\overline{\mathfrak{M}}_{g,n};\mathbb{F})$ 의 토퍼션을 어느 정도 탐지하는가?
• RQ3 체 $\mathbb{F} = \mathbb{Q}$ 일 때, 이러한 사상들이 탐지하는 코homology 클래스들이 타우톨로지 대수에 포함되는가?
• RQ4 포트랴긴-투옴 맵이 체 계수를 가진 호몰로지에서 전성일 수 있는 차수의 범위는 무엇인가?
• RQ5 경계 부분의 자기 교차가 $\mathfrak{M}_{g,n}$ 에서 기인하지 않는 새로운 토퍼션 클래스에 어떻게 기여하는가?

주요 결과

• 모든 체 $\mathbb{F}$ 에 대해, $\Phi_{\text{irr}}$ 는 $i \leq (g-2)/4$ 에서 $H_i(-,\mathbb{F})$ 에서 전성이다.
• $\Phi^{1}_{h,\emptyset}$ 는 $i \leq h/2 - 1$ 이며 $i \leq (g-2)/(2h+2)$ 일 때 $H_i(-,\mathbb{F})$ 에서 전성이다.
• $\Phi^{0}_{h,\emptyset}$ 는 $i \leq (g-2)/(2h+2)$ 일 때 $H_i(-,\mathbb{F})$ 에서 전성이다.
• $\mathbb{F} = \mathbb{Q}$ 일 때, $\Phi_{\text{irr}}^*$ 의 코homology 이미지는 타우톨로지 대수 $\mathcal{R}^*(\overline{\mathfrak{M}}_{g,n})$ 에 속하지만, 대상 공간의 mod $p$ 호몰로지는 매우 크며, 이는 새로운 토퍼션을 시사한다.
• 이러한 사상들은 $\mathfrak{M}_{g,n}$ 이 탐지한 안정 범위 내의 토퍼션 클래스들과 관련 없이, $H_*(\overline{\mathfrak{M}}_{g,n};\mathbb{F})$ 에서 큰 가닥의 토퍼션 클래스를 탐지한다.
• $H_*(QBN(2)^V;\mathbb{F})$ 가 Dyer-Lashof 대수 위에서 자유로운 등급-반대칭 대수로 구성되어 있음을 고려하면, 양의 특성에서 새로운 호몰로지 클래스의 풍부한 원천을 보장한다.