[논문 리뷰] On the theory of higher rank Euler, Kolyvagin and Stark systems, II

David Burns, Ryotaro Sakamoto외 1명|arXiv (Cornell University)|2018. 05. 22.

Advanced Algebra and Geometry참고 문헌 16인용 수 21

한 줄 요약

이 논문은 Gorenstein 순서 R 위의 p-진 표현에 대해 높은 랭크 오일러 체계와 높은 랭크 코리바진 체계 간의 정규화된 고차 미분 호모모르피즘을 구축하여, 마조르와 루빈의 오랜 추측을 증명한다. 이 구축은 높은 랭크 오일러 체계가 세일머 모듈의 R-모듈 구조를 제어함을 보여주며, 루빈-스타르 원소와 이상 계수군에의 응용을 포함한다.

ABSTRACT

We prove the existence of a canonical `higher Kolyvagin derivative' homomorphism between the modules of higher rank Euler systems and higher rank Kolyvagin systems, as has been conjectured to exist by Mazur and Rubin. This homomorphism exists in the setting of $p$-adic representations that are free with respect to the action of a Gorenstein order $\mathcal{R}$ and, in particular, implies that higher rank Euler systems control the $\mathcal{R}$-module structures of Selmer modules attached to the representation. We give a first application of this theory by considering the (conjectural) Euler system of Rubin-Stark elements.

연구 동기 및 목표

• 마조르와 루빈이 제기한 높은 랭크 오일러 체계와 코리바진 체계 간 정규화된 연결 고리의 존재에 관한 추측을 해결하기 위해.
• 이전 연구가 국소 또는离산 평가환수에 국한된 바를 넘어서 일반 Gorenstein 순서 R에 대해 코리바진 체계 이론을 확장하기 위해.
• 높은 랭크 오일러 체계가 p-진 표현이 R 위에서 자유일 때 세일머 모듈의 R-모듈 구조를 제어함을 입증하기 위해.
• 이론을 추측된 루빈-스타르 오일러 체계에 적용하여 이상 계수군과 높은 대수적 K-군의 구조적 정보를 도출하기 위해.
• 비정규화된 랭크 축소 기법을 피하면서도 높은 랭크 설정에서 오일러 체계와 코리바진 체계 간에 정규화되고 함의적인 다리를 제공하기 위해.

제안 방법

• 표준 외적의 차수보다 더 강력하고 함의적으로 안정적인 외적 이중의 개념을 도입하고 적용하여, 코homological 구성에서 더 나은 제어를 가능하게 한다.
• Gorenstein 순서 R 위에서 높은 랭크 오일러 체계의 모듈에서 높은 랭크 코리바진 체계의 모듈로 향하는 정규화된 고차 코리바진 도함수 호모모르피즘을 구축한다.
• 수정된 세일머 구조 이론과 유한-특이 비교 사상 이론을 활용하여 코homological 자료와 산술 불변량 간의 관계를 규명한다.
• 체보타레프 밀도 정리를 적용하여 프로베니우스 원소의 분포를 분석하고 코리바진 체계 존재 조건을 검증한다.
• 이전 연구([4] 등)에서의 외적 이중 이론 결과를 활용하여, 높은 랭크 오일러 체계가 세일머 모듈의 모든 고차 피팅 아이디얼을 결정함을 유도한다.
• 루빈-스타르 원소가 토네이-샤파레비치 군과 계수군의 피팅 아이디얼에 포함된 이상을 생성하는 조건을 검증한다. 특히 Z_p[Gal(L/K)] 위의 갈루아 모듈의 맥락에서.

실험 결과

연구 질문

• RQ1 마조르와 루빈이 추측한 바와 같이, Gorenstein 순서 R 위에서 높은 랭크 오일러 체계와 높은 랭크 코리바진 체계의 모듈 간에 정규화된 호모모르피즘이 존재하는가?
• RQ2 높은 랭크 오일러 체계는 Gorenstein 순서 R 위의 p-진 표현에 대해 세일머 모듈의 R-모듈 구조를 제어할 수 있는가?
• RQ3 높은 랭크 코리바진 체계 이론은 주로 아르틴-아르틴 국소환 또는 이산 평가환수를 초월해 얼마나 일반화될 수 있는가?
• RQ4 갈루아 모듈 이론의 맥락에서, 루빈-스타르 원소는 이상 계수군과 토네이-샤파레비치 군의 피팅 아이디얼과 어떻게 관련되어 있는가?
• RQ5 정규화된 도함수 사상은 일반화된 스타르 원소를 통해 높은 대수적 K-군의 구조적 결과를 도출하는 데 사용될 수 있는가?

주요 결과

• 논문은 Gorenstein 순서 R 위에서 높은 랭크 오일러 체계와 높은 랭크 코리바진 체계의 모듈 간에 정규화된 고차 코리바진 도함수 호모모르피즘을 구축하여, 마조르와 루빈의 추측을 확인한다.
• 이 도함수 사상은 높은 랭크 오일러 체계가 관련 세일머 모듈의 모든 고차 피팅 아이디얼을 결정함을 의미하며, 이는 완전한 구조적 제어 메커니즘을 제공한다.
• 추측된 루빈-스타르 오일러 체계의 경우, 이론은 루빈-스타르 원소의 상이 제1 코homology 군의 제약된 지지와 쌍대화된 것의 0차 피팅 아이디얼에 포함된 이상을 생성함을 보여준다.
• 전체적으로 실수인 수체 K와 적절한 아벨 확장 L/K의 경우, p-진 토네이-샤파레비치 군과 계수군의 고차 피팅 아이디얼은 랭크 r의 루빈-스타르 오일러 체계에 의해 제어된다.
• 이 방법은 T_χ(a) = T_χ ⊗ Z_p(a) 형태의 변형 표현에 적용 가능하며, 일반화된 루빈-스타르 추측이 성립할 경우, 일반화된 스타르 원소가 생성하는 이상은 a > 0에 대해 K_{2a}(O_L)의 피팅 아이디얼에 포함된다.
• 이전 연구인 루빈과 뷔유크보두크의 결과를 넘어서, 레오폴트 추측에 의존하지 않고 비정규화된 랭크 축소를 피하며 일반 Gorenstein 순서에서 작동함을 보여준다.