[논문 리뷰] On the cusp form motives in genus 1 and level 1

Caterina Consani, Carel Faber|ArXiv.org|2005. 04. 20.

Advanced Algebra and Geometry참고 문헌 6인용 수 4

한 줄 요약

이 논문은 종수 1, 수준 1에서 슈발레 군 $\mathrm{SL}(2,\mathbb{Z})$의 정점 형식에 대응하는 초월 모티브의 대체 구성을 제시한다. 이는 안정적 $n$-점이 있는 타원 곡선의 모듈리 공간 $\overline{M}_{1,n}$ 과 대칭군 $\Sigma_n$ 의 교환 표현을 사용한다. 핵심 결과는 $\overline{M}_{1,n}$ 의 코homology 의 교환 부분이 파라볼릭 코homology $H^1_!(M_{1,1}, \mathrm{Sym}^{n-1}R^1\pi_*\mathbb{Q})$ 를 실현함을 보이며, 스콜의 쿠가-사토 구성의 수준 1 대체를 제공한다.

ABSTRACT

We prove that the moduli space of stable n-pointed curves of genus one and the projector associated to the alternating representation of the symmetric group on n letters define (for n>1) the Chow motive corresponding to cusp forms of weight n+1 for SL(2,Z). This provides an alternative (in level one) to the construction of Scholl.

연구 동기 및 목표

• 종수 1, 수준 1에서 $\mathrm{SL}(2,\mathbb{Z})$ 에 대해 정점 형식의 초월 모티브 $S[k]$ 를 기하학적으로 대체로 구성하는 것.
• 스콜의 쿠가-사토 다양체 대신 안정적 $n$-점이 있는 타원 곡선의 모듈리 공간 $\overline{M}_{1,n}$ 을 이 모티브의 기하적 실현으로 대체하는 것.
• $\Sigma_n$-동차 코homology 의 교환 부분이 파라볼릭 코homology $H^1_!(M_{1,1}, \mathrm{ym}^{n-1}R^1\pi_*\mathbb{Q})$ 를 실현함을 확립하는 것.
• 종수 1의 통찰을 고종수로 일반화하여 시겔 모듈러 형식과 그에 대응하는 국소계를 지닌 모티브를 탐색하는 것.

제안 방법

• $\overline{M}_{1,n}$ 을 종수 1의 $n$-점이 있는 안정 곡선의 모듈리 공간으로 사용하여 모티브 구성의 기하적 기초를 확립한다.
• $\Sigma_n$ 의 교환 표현 $\alpha$ 와 관련된 프로젝터 $\Pi_\alpha$ 를 적용하여 관련 코homology 성분을 추출한다.
• 대칭 함수 이론과 생성 함수를 사용하여 $M_{1,n}$ 과 그 경계 $\partial M_{1,n}$ 의 $\Sigma_n$-동차 오일러 특성수를 계산한다.
• 겟즐러의 모듈러 오페라드 이론과 $\Sigma_n$-동차 코homology 를 활용하여 $H^*(M_{1,n})$ 이 $M_1$ 상의 기약 심플렉틱 국소계와 관련됨을 밝힌다.
• 라이어 스펙트럴 시퀀스의 분해(라이베르만의 기교)를 이용하여 교환 부분의 코homology 가 $n$ 이외의 차수에서 0임을 보인다.
• 대칭성과 무게 고려를 적용하여 순수성을 증명하고, $H^n(\overline{M}_{1,n})(\alpha) \cong S[n+1]$ 이 됨을 보인다.

실험 결과

연구 질문

• RQ1 정점 형식의 초월 모티브 $S[n+1]$ 이 쿠가-사토 다양체 대신 $\overline{M}_{1,n}$ 을 사용하여 기하학적으로 구성될 수 있는가?
• RQ2 $\overline{M}_{1,n}$ 의 $\Sigma_n$-동차 코homology 의 구조, 특히 교환 부분은 무엇인가?
• RQ3 $\partial M_{1,n}$ 의 코homology 의 교환 부분은 $M_{1,n}$ 과 그로 인한 모티브와 어떻게 관련되는가?
• RQ4 $M_{1,n}$ 의 $\Sigma_n$-동차 오일러 특성수는 대칭 함수와 모듈러 오페라드 기법을 통해 명시적으로 계산될 수 있는가?
• RQ5 $\overline{M}_{1,n}$ 과 프로젝터 $\Pi_\alpha$ 를 통해 유도된 모티브가 올바른 파라볼릭 코homology $H^1_!(M_{1,1}, \mathrm{Sym}^{n-1}R^1\pi_*\mathbb{Q})$ 를 실현하는가?

주요 결과

• $M_{1,n}$ 의 $\Sigma_n$-동차 컴acts된 오일러 특성수의 교환 부분은 $n$ 이 홀수일 때 1이고, 짝수일 때 0이다.
• $\partial M_{1,n}$ 의 코homology 의 교환 부분은 $n$ 이 홀수일 때 1이고, 짝수일 때 0이며, 이는 정리 2에 의해 입증된다.
• $\overline{M}_{1,n}$ 의 코homology 의 교환 부분은 $n$ 이 홀수일 때 $-S[n+1]$ 이고, 짝수일 때 0이다.
• $H^n(\overline{M}_{1,n})(\alpha)$ 는 무게 $n$ 의 순수 코homology 이며 $S[n+1]$ 과 동형이므로, 모티브 구성이 확인된다.
• $\overline{M}_{1,n}$ 과 $\Pi_\alpha$ 를 통한 구성은 $n>1$, $n$ 이 홀수일 때 올바른 파라볼릭 코homology $H^1_!(M_{1,1}, \mathrm{Sym}^{n-1}R^1\pi_*\mathbb{Q})$ 를 실현한다.
• $S[n+1]$ 모티브는 $\Sigma_n$ 에 의한 $\overline{M}_{1,n}$ 의 몫으로 구성되며, 교환 프로젝터가 순수성과 올바른 무게를 보장한다.