[논문 리뷰] Tautological relations in moduli spaces of weighted pointed curves

Felix Janda|arXiv (Cornell University)|2013. 06. 27.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 18

한 줄 요약

이 논문은 안정 몰입 기하학을 사용하여 Faber-Zagier 관계를 가중치가 부여된 점이 있는 곡선의 모듈리 공간으로 확장하며, Faber-Zagier 형식의 타우토로지컬 관계를 유도한다. 이 관계들은 모든 가중치가 1일 때 Pixton의 일반화된 FZ 관계를 복원하며, $\overline{M}_g$ 위의 유니버설 곡선의 $n$-중 곱에 대한 FZ 관계의 표현을 제공한다. 구성은 형식적 멱급수, 괄호 연산자, 그리고 클러치 맵을 따른 푸시포워드를 사용하며, 가중치 감소 사상에 대해 호환성을 가진다.

ABSTRACT

Pandharipande-Pixton have used the geometry of the moduli space of stable quotients to produce relations between tautological Chow classes on the moduli space $M_g$ of smooth genus g curves. We study a natural extension of their methods to the boundary and more generally to Hassett's moduli spaces $\overline M_{g, w}$ of stable nodal curves with weighted marked points. Algebraic manipulation of these relations brings them into a Faber-Zagier type form. We show that they give Pixton's generalized FZ relations when all weights are one. As a special case, we give a formulation of FZ relations for the n-fold product of the universal curve over $M_g$.

연구 동기 및 목표

• Hassett의 가중치가 부여된 안정 곡선의 모듈리 공간 $\overline{M}_{g,\mathbf{w}}$로 Faber-Zagier 관계를 일반화하는 것.
• 안정 몰입 기하학을 사용하여 이러한 모듈리 공간에서 타우토로지컬 관계를 체계적으로 유도하는 방법을 수립하는 것.
• 모든 가중치가 1일 때 유도된 관계가 Pixton의 일반화된 Faber-Zagier 관계로 축소됨을 보이는 것.
• 유니버설 곡선의 $n$-중 곱에 대한 FZ 관계의 표현을 제공하는 것.
• 형식적 푸시포워드, 역으로 당김, 타우토로지컬 클래스 곱하기에 대한 관계계의 닫힘성을 보이는 것.

제안 방법

• 안정 몰입 공간의 기하학을 사용하여 $\overline{M}_{g,\mathbf{w}}$에서 타우토로지컬 관계를 생성하는 것.
• 초기함수 및 베르누이 수열과 관련된 형식적 멱급수 $A(t)$, $B(t)$ 및 재귀적으로 정의된 $C_i(t)$를 사용하는 것.
• 괄호 연산자 $\{\}_{\kappa}^\zeta$, $\{\}_{\psi}^\zeta$, $\{\}_{D_S}^\zeta$를 적용하여 멱급수에 $\kappa$, $\psi$, 대각선 클래스를 삽입하는 것.
• 정점 및 간선 요소 $\mathrm{Vertex}^5_v$, $\mathrm{Edge}^5_e$를 생성 함수에 포함시켜 관계를 구성하는 것. 이때 부호 $\zeta(v)$와 가중치를 포함한다.
• 클러치 맵 $\xi_\Gamma$와 자동형 변환 인자 $|\operatorname{Aut}(\Gamma)|^{-1}$를 포함하는 생성 급수에서 극한 계수 추출을 통해 관계를 도출하는 것.
• 잊기 및 가중치 감소 사상에 따른 푸시포워드를 사용하여 서로 다른 가중치 데이터 $\mathbf{w}$ 및 $\mathbf{w}'\leq\mathbf{w}$ 사이의 관계를 연결하는 것.

실험 결과

연구 질문

• RQ1 안정 몰입 기하학을 사용하여 Faber-Zagier 관계를 가중치가 부여된 점이 있는 곡선의 모듈리 공간 $\overline{M}_{g,\mathbf{w}}$로 확장할 수 있는가?
• RQ2 모듈리 공간 $\overline{M}_{g,\mathbf{w}}$에서 유도된 타우토로지컬 관계는 모든 가중치가 1일 때 Pixton의 일반화된 FZ 관계로 축소되는가?
• RQ3 이 방법을 통해 $\overline{M}_g$ 위의 유니버설 곡선의 $n$-중 곱에 FZ 관계의 표현을 부여할 수 있는가?
• RQ4 관계계는 형식적 푸시포워드, 역으로 당김, 타우토로지컬 클래스 곱하기에 대해 닫혀 있는가?
• RQ5 가중치 감소 사상 $\mathbf{w} \to \mathbf{w}'\leq\mathbf{w}$에 대해 관계는 어떻게 행동하는가?

주요 결과

• 모든 가중치 $w_i = 1$일 때 $\overline{M}_{g,\mathbf{w}}$에서 유도된 관계가 Pixton의 일반화된 Faber-Zagier 관계와 동치임을 보였다.
• 유니버설 곡선의 $n$-중 곱에 대한 FZ 관계는 특수한 경우로 관계가 복원됨을 보였다.
• $\mathcal{R}_{g,\mathbf{w}}$ 관계계는 忘却 및 접합 맵을 따라 형식적 푸시포워드 및 역으로 당김에 대해 닫혀 있다.
• 가중치 감소 사상 $\mathbf{w} \to \mathbf{w}'$에 따라 관계의 푸시포워드는 상수 인자까지 $\mathcal{R}_{g,\mathbf{w}'}$의 해당 관계를 유도한다.
• 관계는 형식적 스트라타 대수와 호환되며, 지수 $e_\Gamma$가 정수가 아닐 때 부호를 뒤집는 색상 부여 $\zeta \to -\zeta$에 대해 불변이다.
• 이 방법은 극한 안정 몰입 관계를 모두 포괄하며, 나머지 관계들도 FZ 형식으로 표현 가능할 것으로 예상된다.