[논문 리뷰] Siegel Modular Forms

Gerard van der Geer|ArXiv.org|2006. 05. 12.

Advanced Algebra and Geometry참고 문헌 67인용 수 11

한 줄 요약

이 논문은 유한체 위의 곡선에서의 점 수를 이용하여 2차 벡터 값 슈비에르 촉성형에서 헤크 연산자의 트레이스를 계산하는 새로운 방법을 제시한다. 이는 아이히러-시무라 동형을 활용하여 이루어지며, 하더의 추측에 대한 강력한 계산적 증거를 제공한다. 이는 2차 슈비에르 모듈라 형식과 타원 모듈라 형식의 고유값 간의 합동관계를 다루며, 4057, 3779, 367 등의 특정 소수를 모듈로로 하여 여러 경우에서 합동관계를 확인한다.

ABSTRACT

Lectures on Siegel modular forms given in Nordfjordeid. Besides a survey on Siegel modular forms it presents the joint work with Carel Faber on vector-valued Siegel modular forms of genus 2 and it gives evidence for a conjecture of Harder on congruences between g=1 and g=2 forms.

연구 동기 및 목표

• 2차 벡터 값 슈비에르 촉성형에서 헤크 연산자의 트레이스를 계산하는 방법을 개발한다.
• 2차 슈비에르 모듈라 형식과 타원 모듈라 형식의 고유값 간 합동관계에 대한 하더의 추측에 대한 증거를 제공한다.
• 해당 고유계수의 명시적 푸리에 계수 공식이 없을 경우, 유한체 위의 점 수를 통한 코homological 방법이 헤크 고유값을 효과적으로 계산할 수 있음을 보여준다.
• 아벨 다양체의 모듈리 공간 기하학과 슈비에르 모듈라 형식의 산술적 성질 간의 연결 고리를 확립한다.

제안 방법

• 아이히러-시무라 동형을 이용하여, 벡터 값 촉성형에서 헤크 연산자의 트레이스를 유한체 위의 곡선에서의 유리점 수를 통해 계산한다.
• 소수 p에서 헤크 연산자의 트레이스를 결정하기 위해, 유한체 위의 2차 곡선에서의 유리점 수를 세는 데 의존한다.
• 확장 체 위의 점 수로부터 헤크 연산자의 특성다항식을 재구성함으로써 고유값을 계산할 수 있다.
• 이 고유값들을 타원 모듈라 형식의 고유값과 비교하여 소수를 모듈로로 한 합동관계를 테스트한다.
• 이 방법은 수준 1이고 무게 (j,k)에서 j,k ≥ 1인 경우에 적용되며, 관련 갈루아 표현이 무분할인 경우에 집중한다.
• 특정 이차체에서의 대수적 정수의 노름이 예측된 소수로 나누어떨어짐을 확인함으로써, 이 방법이 검증된다.

실험 결과

연구 질문

• RQ1 2차 벡터 값 촉성형에서 헤크 연산자의 트레이스가 유한체 위의 점 수로부터 계산된 트레이스와 일치하는가?
• RQ2 하더의 추측이 예측하는 바와 같이, 2차 슈비에르 모듈라 형식의 고유값과 타원 모듈라 형식의 고유값 간에 합동관계가 존재하는가?
• RQ3 주로 편평한 구조를 가진 아벨 다양체의 모듈리 공간 위의 국소 체계의 코homology는 유한체 위의 점 수를 통해 효과적으로 계산될 수 있는가?
• RQ4 2차와 1차 모듈라 형식 간의 합동관계가 발생하는 정확한 소수는 무엇인가?
• RQ5 헤크 연산자의 특성다항식에서 유도된 대수적 정수는 관련 수체의 산술과 어떻게 관련되어 있는가?

주요 결과

• 무게 (28,0)의 정규화된 고유형식에서 a(2) = -4140 ± 108√18209이며, 6216 + 72√25249 + 2^7 + 2^20 - a(2)의 노름이 4057로 나누어떨어지므로 추측이 확인된다.
• (j,k) = (18,7)의 경우, 특성다항식 g는 두 개의 4차 다항식으로 분해되며, 관련 대수적 정수의 노름이 3779로 나누어떨어지므로 3779 모듈로에서의 합동관계가 확인된다.
• (j,k,r) = (32,4,38)의 경우 두 개의 합동 소수를 발견하였으며, 관련 수체에서의 노름 계산을 통해 모두 검증되었다.
• 이 방법은 (6,8)에서 (32,4)까지의 무게 (j,k)에 대해 25개의 서로 다른 경우에서 합동관계를 성공적으로 검증하였으며, 41, 73, 97, 157, 367, 4289, 593, 15511, 83 등의 소수를 포함한다.
• 무게 (j,k) = (8,13)에 대해 특성다항식 g는 네 개의 2차 다항식으로 분해되며, 이 방법은 표에 나열된 소수들, 즉 61과 211에 대해 합동관계를 확인한다.
• 이 방법은 다양한 무게와 수준에서 하더의 추측을 체계적이고 검증 가능한 방식으로 테스트할 수 있게 하며, 모든 결과가 추측된 합동관계와 일치한다.