[논문 리뷰] Motives for elliptic modular groups

Takashi Ichikawa|arXiv (Cornell University)|2009. 09. 29.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 3

한 줄 요약

이 논문은 쌍곡선 모듈라 곡선의 기본군에서 유도된 타원 모듈라 모티브에 대한 헤크 기반 이론을 제안한다. 보편 타원 곡선의 유한부분군에 대한 몫을 통해 헤크 작용을 정의함으로써, 갈루아 작용과의 합동을 확립하고, 이러한 모티브가 수체 위에서 순수 모티브로 분해됨을 증명함으로써 반복 시무라 적분과 모듈라 셰르사 사이클의 주기의 대수성 결과를 이끌어낸다.

ABSTRACT

In the study of the arithmetic structure of elliptic modular groups which are the fundamental groups of compactified modular curves, these truncated group algebras and their direct sums are considered to construct elliptic modular motives. Our main result is a new theory of Hecke operators on these motives which gives a congruence relation to the Galois action, and their motivic decomposition. Using our Hecke theory, we show that elliptic modular motives are the direct sums of pure motives over certain number fields. This fact implies a kind of algebraicity on iterated Shimura integrals, i.e., multiple L-values of cusp forms of weight 2, and on the periods of modular Ceresa cycles.

연구 동기 및 목표

• 갈루아 작용과 호환되는 타원 모듈라 군에 대한 모티브적 헤크 이론을 개발하는 것.
• 타원 모듈라 모티브가 수체 위에서 순수 모티브로 분해됨을 보여주어 대수성 결과를 도출하는 것.
• 이론을 스택형 모듈라 형식의 정수계수 2형의 이중 시무라 적분과 모듈라 셰르사 사이클의 주기에 적용하는 것.
• 다중 L-값과 모듈라 곡선 위의 딜로르 주기의 대수성에 대한 이해를 위한 모티브적 프레임워크를 제공하는 것.

제안 방법

• 모듈라 곡선의 쌍곡선화된 기본군의 조각된 군대수를 직접합으로 하여 타원 모듈라 모티브를 구성한다.
• 유한부분군에 대한 보편 타원 곡선의 몫을 통해 헤크 연산자를 정의함으로써 모티브 위에 잘 정의된 작용을 확보한다.
• 모티브의 l-진 실현에서 헤크 작용과 갈루아 작용 사이의 합동 관계를 확립한다.
• 헤크 고유공간(스칼라 + 비가역)으로의 모티브 분해를 이용하여 모티브의 구조를 분석한다.
• 알고리즘적 기본군과 말체프 리 대수의 결과를 활용하여 헤크 작용의 잘 정의성을 검증한다.
• 혼합 허드지 구조와 Q-혼합 허드지 구조의 범주 내에서 Ext 군을 이용하여 셰르사 사이클과 딜로르 주기를 분석한다.

실험 결과

연구 질문

• RQ1 갈루아 작용과 호환되는 방식으로, 모듈라 곡선의 모티브적 기본군에 대해 헤크 연산자를 어떻게 정의할 수 있는가?
• RQ2 타원 모듈라 모티브가 수체 위에서 순수 모티브로 얼마나 깊이 분해되는가?
• RQ3 정수계수 2형의 이중 시무라 적분은 어떤 대수성 성질을 갖는가?
• RQ4 모듈라 셰르사 사이클의 주기는 대수적인가? 그리고 이는 어떤 모티브적 방법으로 증명될 수 있는가?
• RQ5 모듈라 셰르사 사이클의 비자명성은 헤크 불변 주기를 통해 감지될 수 있는가?

주요 결과

• 타원 모듈라 모티브 위의 헤크 연산자는 갈루아 작용과 합동 관계를 만족하며, l-진 실현과의 호환성을 보장한다.
• 타원 모듈라 모티브는 수체 위에서 순수 모티브의 직합으로 분해되며, 이는 기저 체 확장을 거친 후 모티브적 구조가 반순수해짐을 시사한다.
• 정수계수 2형의 이중 시무라 적분은 스택형 모듈라 형식의 다중 L-값을 나타내며, 헤크 작용에 의해 보존되므로 이에 대한 작용 문제를 해결한다.
• 모듈라 셰르사 사이클의 주기는 Q-혼합 Q-허드지 구조 범주에서 관련된 Ext 클래스의 자명성으로 인해 대수적임을 증명할 수 있다.
• 셰르사 사이클에 관련된 딜로르 $ D_0 $ 는 주기 적분의 계수 중 하나라도 무리수인 경우, 토르션 모odulo에서 무한 차수를 가진다. 이는 헤크 계산을 통해 감지될 수 있다.
• 셰르사 사이클과 관련된 정확수열의 모티브적 분해는 해당 확장 클래스가 Q-혼합 Q-허드지 구조의 범주에서 자명함을 의미한다.