[논문 리뷰] On the S_n-equivariant Euler characteristic of M_{2,n}

Eugene Gorsky|ArXiv.org|2007. 07. 18.

Advanced Algebra and Geometry참고 문헌 9인용 수 3

한 줄 요약

이 논문은 자동형군이 비자명한 대칭을 가진 다양체로 Getzler의 공식을 확장하여, $n$개의 마킹된 점을 가진 종수 2 곡선의 모듈리 공간 $\mathcal{M}_{2,n}$의 $S_n$--equivariant 오일러 특성수를 유도한다. 자동형군의 작용을 고려하여 점들의 구성공간에서의 행동을 분석하고, 군 작용과 아담스 작용을 사용하여 $S_n$-equivariant 오일러 특성수의 생성함수를 계산하여, 모든 $n$에 대해 닫힌 형태의 공식을 도출한다. 핵심 결과는 다양한 대칭 유형을 가진 곡선에서 기인하는 오비폴드 기여를 포함하는 정확한 생성함수이다.

ABSTRACT

The Getzler's formula relates the S_n-equivariant Hodge-Deligne polynomial of the space of ordered tuples of distinct points on a given variety X with the Hodge-Deligne polynomial of X. We obtain the analogue of this formula for the case when X has a nontrivial automorphism group. Collecting together all strata of $\mathcal{M}_2$ with different automorphism groups, we derive a formula for the S_n-equivariant Euler characteristic of $\mathcal{M}_{2,n}$.

연구 동기 및 목표

• 종수 2 곡선에 $n$개의 마킹된 점을 가진 모듈리 공간 $\mathcal{M}_{2,n}$의 $S_n$-equivariant 오일러 특성수를 계산하는 것.
• 비자명한 자동형군을 가진 다양체로 $S_n$-equivariant 호지-델리뉴 다항식에 대한 Getzler의 공식을 확장하는 것.
• 잊어버림 사상 $\mathcal{M}_{2,n} \to \mathcal{M}_2$의 섬광에서 $\mathrm{Aut}(C)$의 작용을 구성공간 $F(C,n)$에 고려하는 것.
• 종수 2의 모듈리 공간 $\mathcal{M}_2$의 다양한 자동형군을 가진 분할에 대해 분석하여 $S_n$-equivariant 오일러 특성수의 생성함수를 유도하는 것.

제안 방법

• 유한군의 표현의 그로텐디크 링과 아담스 작용을 도입하여 Getzler의 공식을 군 작용을 포함하도록 수정하는 것.
• 레프셰츠 고정점 정리를 사용하여 코homology 위의 군 작용의 특성을 계산하고, 고정점 수와 연결하는 것.
• 유한군 $G$가 $X$에 작용할 때 $F(X,n)/G$의 $S_n$-equivariant 오일러 특성수를 계산하기 위해 뉴턴 다항식 $p_k$와 궤도 자료를 포함하는 생성함수를 사용하는 것.
• $\mathcal{M}_2$의 분할을 자동형군 유형(예: 초타원적 반전, 더 큰 군)으로 분류하고, 궤도 수와 오비폴드 오일러 특성수를 사용하여 그 기여를 계산하는 것.
• $\mathcal{M}_{2,n}$에 공식을 적용하기 위해, 특히 $\mathrm{Aut}(C)$ 작용 하에서 $\mathbb{CP}^1$의 몫으로 나타나는 곡선에 대한 섬광을 분석하는 것.
• 대칭 구성의 구조와 초타원적 모듈리 공간에 대한 기존 결과를 활용하여 $\mathcal{M}_{2,n}$의 $S_n$-equivariant 오일러 특성수의 생성함수를 도출하는 것.

실험 결과

연구 질문

• RQ1 비자명한 자동형군을 가진 다양체로 $S_n$-equivariant 호지-델리뉴 다항식에 대한 Getzler의 공식을 어떻게 일반화할 수 있는가?
• RQ2 $n$개의 마킹된 점을 가진 종수 2 곡선의 모듈리 공간 $\mathcal{M}_{2,n}$의 $S_n$-equivariant 오일러 특성수는 무엇인가?
• RQ3 종수 2 곡선의 자동형군은 마킹된 점들의 구성공간의 동치 위상에 어떻게 영향을 미치는가?
• RQ4 $S_n$-equivariant 오일러 특성수의 생성함수를 군 작용 자료와 오비폴드 보정을 사용하여 닫힌 형태로 표현할 수 있는가?
• RQ5 초타원적 반전과 기타 자동형군은 $\mathcal{M}_{2,n}$의 오비폴드 오일러 특성수 계산에서 어떤 역할을 하는가?

주요 결과

• $S_n$-equivariant 오일러 특성수는 점 구성에 대한 자동형군 작용을 고려한 일반화된 공식을 통해 도출된다.
• $S_n$-equivariant 오일러 특성수의 생성함수는 뉴턴 다항식 $p_k$와 군 작용의 궤도 자료를 포함하는 유리함수 형태로 표현된다.
• 종수 2에서, 잊어버림 사상 $\mathcal{M}_{2,n} \to \mathcal{M}_2$의 곡선 $C$에 대한 섬광은 $F(C,n)/\mathrm{Aut}(C)$이며, 이는 $\mathrm{Aut}(C)$ 작용 하에서 $\mathbb{CP}^1$과 동형이다.
• 초타원적 모듈리 공간의 오비폴드 오일러 특성수는 $-{1\over 4g(2g+1)(2g+2)}$이며, 이는 초타원적 모듈리 공간의 생성함수에 기여한다.
• 종수 $g=2$일 때, 오일러 특성수 $\chi(\mathcal{H}_{2,5})$는 0이 되며, 이는 새로운 비자명한 결과이다.
• $\chi(\mathcal{H}_{g,n})$의 생성함수는 $a$, $b$, $c$, $d$를 포함하는 유리식으로 주어지며, $d = -{1\over 4g(2g+1)(2g+2)}$이며, 선형 제약 조건 $2a + 2b + c = 1 + {1\over 2g(2g+1)(2g+2)}$를 만족한다.