[논문 리뷰] Refined abelian Stark conjectures and the equivariant leading term conjecture of Burns

Takamichi Sano|arXiv (Cornell University)|2014. 06. 18.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 4

한 줄 요약

이 논문은 다르몬의 정밀한 클래스 수 공식을 일반화하는 보다 넓은 추측적 프레임워크로 확장하는 보정된 아벨 스타르크 추측을 제안하며, 고차 노름 구성과 국소 상호법 사상들을 통해 버너스의 등가 선도항 추측과 연결한다. 보조 추측들이 성립할 경우, 다르몬의 추측(2-부분 제외)이 선도항 추측으로부터 유도됨을 증명하며, 코리바진 시스템을 사용해 처음으로 마츠르와 루빈에 의해 확립된 결과에 대한 새로운 증명을 제공한다.

ABSTRACT

We formulate a conjecture which generalizes Darmon's "refined class number formula". We discuss relations between our conjecture and the equivariant leading term conjecture of Burns. As an application, we give another proof of the "except 2-part" of Darmon's conjecture, which was first proved by Mazur and Rubin.

연구 동기 및 목표

• 아벨 확장에 대한 더 넓은 추측적 프레임워크로 다르몬의 정밀한 클래스 수 공식을 일반화하는 것.
• 보정된 아벨 스타르크 추측과 버너스의 등가 선도항 추측 사이의 정확한 대수적 관계를 설정하는 것.
• 등가 타마가와 수 추측(ETNC)을 이용해 다르몬의 추측의 '2-부분 제외'에 대한 대체 증명을 제공하는 것.
• 자연스러운 고차 노름 구성과 국소 상호법에서의 단사 사상들을 식별하여 추측의 제형을 명확히 하고 강화하는 것.

제안 방법

• 루빈-스타르크 단위의 고차 노름을 국소 상호법 동형사상으로 구성된 사상과 동일시하는 새로운 추측(추측 3)을 수립한다.
• 보정된 스타르크 추측과 버너스의 선도항 추측 사이의 격차를 메우기 위해 보조 추측(추측 2와 5)을 도입한다.
• 루빈-스타르크 추측을 이용해 아벨 확장에서 루빈-스타르크 단위를 정의하고, 다르몬의 테타 요소 구성에 영감을 받은 고차 노름 사상을 구성한다.
• 테이트 모티브의 맥락에서 조합적 결정식과 갈루아 모듈러 구조 이론을 적용하여 결정식과 노름을 분석한다.
• 버너스, 그라이터, 플라크의 연구에 의해 알려진 1차수의 선도항 추측의 진리성을 바탕으로 보정된 스타르크 추측에 대한 결과를 유도한다.
• 단위군의 정수부를 제외한 정확한 수열의 분할 기법을 활용해 결정식을 계산하고 특수값과의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 다르몬의 정밀한 클래스 수 공식은 아벨 스타르크 이론 내에서 더 넓은 추측적 프레임워크로 일반화될 수 있는가?
• RQ2 보정된 아벨 스타르크 추측과 버너스의 등가 선도항 추측 사이의 대수적 관계는 어떠한가?
• RQ3 등가 타마가와 수 추측은 다르몬의 정밀한 클래스 수 공식의 '2-부분 제외'를 함의하는가?
• RQ4 루빈-스타르크 단위의 고차 노름 구성은 아벨 확장의 맥락에서 국소 상호법 사상과 동치인가?
• RQ5 국소 상호법에서의 단사 사상은 스타르크 형식의 기존 추측을 강화하는 데 사용될 수 있는가?

주요 결과

• 보조 추측 5가 성립할 경우, 추측 3(다르몬의 정밀한 클래스 수 공식의 일반화)가 참이 되기 위한 필요충분조건은 추측 2와 4가 동시에 참이 되는 것이다.
• 선도항 추측은 추측 4의 대부분을 함의하므로, 추측 2와 5가 성립할 경우 추측 3는 선도항 추측으로부터 유도된다.
• 1차수의 경우, 추측 2와 5가 확인되었기 때문에, 추측 3는 선도항 추측으로부터 도출된다.
• 아벨 확장에서 테이트 모티브에 대한 ETNC는 다르몬의 추측의 '2-부분 제외'를 함의하며, 마츠르와 루빈이 처음으로 증명한 결과에 대한 새로운 증명을 제공한다.
• 논문은 [MR13]에서의 사상 $\mathbf{j}_{L/K}$ 가 단사임을 명확히 하여, 현재 추측 3의 제형이 [MR13]의 것보다 略히 더 강력하다고 밝힌다.
• 결정식 계산을 통해 $e_{\chi}R_{L,n} = 2^{\nu_{-}-1}R_{\mathbb{Q},n}e_{\chi}R_V(u_0 \wedge \cdots \wedge u_{\nu_+})$ 라는 항등식이 확인되어 증명의 핵심 항등식이 확인된다.