[논문 리뷰] The Stack of Rational Nodal Curves

Damiano Fulghesu|ArXiv.org|2009. 01. 09.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 4

한 줄 요약

이 논문은 유리 노드 곡선의 모듈리 스택 M₀를 구축하고, 이가 이중 그래프 Γ에 따라 인덱스가 매겨진 매끄러운 몫부스터랙스로의 분할을 갖는다고 증명한다. 이를 통해 Kresch의 이론을 적용하여 차우 링을 정의할 수 있다. 주요 기여는 최대 3개의 노드를 갖는 유리 곡선의 부분스택 M₀≤3에 대한 유리 차우 링을, 10개의 생성자(타우토로지컬 클래스와 표준 Mumford κ-클래스를 초월한 새로운 클래스 포함)를 가진 표현을 통해 확립하는 데 있다.

ABSTRACT

In this series of three papers we start to investigate the rational Chow ring of the stack consisting of nodal curves of genus 0, in particular we determine completely the rational Chow ring of the substack consisting of curves with at most 3 nodes. In this first paper we construct the stack of rational nodal curves and its stratification by nodes and show that the map from the universal curve to the stack is not representable in the category of schemes.

연구 동기 및 목표

• 유리 노드 곡선의 모듈리 스택 M₀를 복소 스킴 위의 아르틴 스택으로 구축한다.
• 이중 그래프 Γ를 통해 M₀를 위상적 유형으로 분할하여, 매끄러운 몫부스터랙스 MΓ₀를 얻는다.
• 유니버설 곡선 사상의 비표현성에도 불구하고 M₀ 위에 차우 링을 정의하는 프레임워크를 확립한다.
• 최대 3개의 노드를 갖는 유리 곡선의 부분스택 M₀≤3에 대한 유리 차우 링을 계산하는 데 기초를 마련한다.

제안 방법

• h⁰ = 1이고 h¹ = 0인 스킴 위에서 평탄하고, 완비적이며, 유한적으로 표현된 노드 곡선의 가족의 범주를 사용하여 스택 M₀를 정의한다.
• 유리 노드 곡선의 이중 그래프 Γ에 따라 M₀를 분할하며, 각 스트라툼 MΓ₀가 매끄러운 몫스택임을 보인다.
• 아르틴 스택의 차우 링 이론을 적용하여 Kresch의 이론을 사용해 A*(M₀)를 분할을 통해 정의한다.
• 비표현적 사상들을 다루기 위해 에퀴바리언트 교차 이론과 Edidin-Graham, Kresch의 작업을 활용한다.
• 이중 그래프를 통한 곡선의 자기동형군 분석을 통해, Δ₁개의 노드를 가진 성분이 하나이고 Δ₂개의 노드를 가진 성분이 두 개인 곡선에 대해 Aut(C) ≅ Aut(Γ) ⋉ (Gₘ)^Δ₂ × E^Δ₁임을 보인다.
• M₀≤3에서 π*ω∨C/T가 계수 3인 국소 자유층임을 증명하여, 대칭화 배럴의 정의를 가능하게 한다.

실험 결과

연구 질문

• RQ1 유리 노드 곡선의 모듈리 스택 M₀는 이중 그래프에 따라 인덱스가 매겨진 매끄러운 몫부스터랙스로 분할될 수 있는가?
• RQ2 유니버설 곡선 사상의 비표현성에도 불구하고 M₀에 대해 유리 차우 링을 어떻게 정의할 수 있는가?
• RQ3 최대 3개의 노드를 갖는 유리 곡선에 대한 유리 차우 링 A*(M₀≤3) ⊗ ℚ의 구조는 어떻게 되는가?
• RQ4 표준 Mumford 클래스 κᵢ를 초월한 새로운 타우토로지컬 클래스들이 A*(M₀≤3)에 존재하는가?
• RQ5 n ≥ 2일 때 M₀≤n은 몫스택인가? 특히 n = 3일 경우는 어떻게 되는가?

주요 결과

• 유리 노드 곡선의 스택 M₀는 아르틴 스택이며, 그 기하학적 점들은 유리 트리(구성 성분이 P¹이고 사이클이 없는 연결 노드 곡선)이다.
• 유니버설 곡선 사상 C → M₀는 스킴의 범주에서 표현적이지 않으며, 히로나카의 삼중체를 사용한 반례로 이를 보였다.
• 이중 그래프 Γ에 대응하는 각 스트라툼 MΓ₀는 B(Aut(Γ) ⋉ (Gₘ)^Δ₂ × E^Δ₁) 형태의 매끄러운 몫부스터랙스이다.
• M₀≤3에서 sheaf π*ω∨C/T는 계수 3인 국소 자유층이며, 기저 변경과 가환함을 보장하여 대칭화 배럴의 정의를 가능하게 한다.
• 유리 차우 링 A*(M₀≤3) ⊗ ℚ는 10개의 생성자를 가진 표현을 갖는다: ≤3개의 노드를 갖는 곡선의 위상적 유형에 해당하는 5개, Mumford 클래스 κ₂, 그리고 이전에 안정 곡선 타우토로지컬 링에서 관측되지 않은 4개의 새로운 클래스.
• MΓ₀ 위의 정규 범주 Nin은 첫 번째 순서 변형 공간을 자기동형군에 의해 나눈 몫과 동형이며, NΓ = ⊕_{P∈E(Γ)} TP(Cα) ⊗ TP(Cβ)로 주어진다.