[논문 리뷰] Rankin-Selberg Euler systems and p-adic interpolation

Guido Kings, David Loeffler외 1명|arXiv (Cornell University)|2014. 05. 13.

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

한 줄 요약

이 논문은 몽드러운 형식의 무게 ≥2에 대한 Rankin--Selberg L-함수로부터 모티브(cohomology) 클래스를 구성하고, 이들의 p진 분석적 변동성을 보이며, p진 조정자 이미지가 특수 L-값과 어떻게 연결되는지 밝힌다. 이는 페리에-루아의 추측에 대한 새로운 사례를 증명하고, 타테-샤파레비치 군의 유한성을 밝혀내며, 허수 정수의 이차 수체 위에서의 모듈라 형식에 대한 아이와사와 주요 추측의 포함 관계를 검증한다.

ABSTRACT

We construct motivic cohomology classes attached to Rankin--Selberg convolutions of modular forms of weights $\ge 2$, show that these vary analytically in p-adic families, and relate their image under the p-adic regulator map to values of L-functions. As consequences, we prove new cases of Perrin-Riou's conjecture on motivic L-values; we prove finiteness results for Tate--Shafarevich groups for twists of elliptic curves by dihedral Artin characters; and we prove one inclusion in the Iwasawa main conjecture for a single modular form over an imaginary quadratic field.

연구 동기 및 목표

• Rankin--Selberg L-함수를 통해 무게 ≥2인 모듈라 형식에서 모티브(cohomology) 클래스를 구성한다.
• 이들 클래스가 p진 가족에서 어떻게 분석적으로 변동하는지 규명한다.
• 이들 클래스의 p진 조정자와 L-함수의 특수값 사이의 관계를 규명한다.
• 모티브 L-값에 관한 페리에-루아의 추측에 대한 새로운 사례를 증명한다.
• 이차형식의 아르틴 특성에 의해 변형된 타테-샤파레비치 군의 유한성 결과를 확립한다.

제안 방법

• 무게 ≥2인 모듈라 형식의 Rankin--Selberg 콘볼루션을 통해 모티브(cohomology) 클래스를 구성한다.
• p진 보간 기법을 사용하여 이러한 클래스가 p진 가족에서 분석적으로 변동함을 보인다.
• p진 조정자 사상(p-adic regulator map)을 적용하여 클래스와 L-함수의 특수값 사이의 관계를 규명한다.
• 올리버 시스템 방법을 활용하여 p진 가족의 코homology 클래스로부터 산술적 결과를 이끌어낸다.
• p진 L-함수 이론과 아이와사와 이론을 적용하여 타테-샤파레비치 군의 유한성을 도출한다.
• 갈루아 표현의 구조와 올리버 시스템 추론을 활용하여 아이와사와 주요 추측의 포함 관계 중 하나를 증명한다.

실험 결과

연구 질문

• RQ1 Rankin--Selberg L-함수에 관련된 모티브(cohomology) 클래스는 p진 가족에서 어떻게 변동하는가?
• RQ2 이들 클래스의 p진 조정자와 L-함수의 특수값 사이의 정확한 관계는 무엇인가?
• RQ3 구성된 올리버 시스템을 사용하여 모티브 L-값에 관한 페리에-루아의 추측의 새로운 사례를 증명할 수 있는가?
• RQ4 이러한 구성은 이차형식의 특성에 의해 변형된 타테-샤파레비치 군의 유한성 결과를 이끌어낼 수 있는가?
• RQ5 올리버 시스템 구성은 허수 정수의 이차 수체 위에서의 모듈라 형식에 대한 아이와사와 주요 추측의 포함 관계를 함의하는가?

주요 결과

• 논문은 p진 조정자 이미지가 올리버 시스템에 의해 특수 L-값과 연결됨을 보여, 페리에-루아의 추측에 대한 새로운 사례를 증명한다.
• 구성된 올리버 시스템을 활용하여 이차형식 아르틴 특성에 의해 변형된 타테-샤파레비치 군의 유한성을 확립한다.
• 허수 정수의 이차 수체 위에서 단일 모듈라 형식에 대해 아이와사와 주요 추측의 포함 관계 중 하나를 올리버 시스템 방법을 통해 증명한다.
• 모티브(cohomology) 클래스가 p진 가족에서 분석적으로 변동함을 보여, p진 보간 성질이 확인된다.
• 구성된 클래스의 p진 조정자가 L-함수의 임계값과 관련됨을 규명하여, 올리버 시스템에 산술적 의미를 부여한다.
• 결과는 p진 L-함수와 올리버 시스템의 프레임워크를 고차수의 모듈라 형식과 비보통 상황으로 확장한다.