[논문 리뷰] On the Rasmussen-Tamagawa conjecture for QM-abelian surfaces

Keisuke Arai|arXiv (Cornell University)|2012. 11. 03.

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

한 줄 요약

이 논문은 허수 정수계수의 이차 수체를 초월하여 고차수 수체 위에서 QM-아벨 곡면에 대한 Rasmussen-Tamagawa 추측을 증명한다. 특정 갈루아 이론적 조건과 퀘aternion 대수 조건 하에서 유한성 결과를 도출하며, 국소-글로벌 원리와 환류체계 이론을 활용한다.

ABSTRACT

In the previous article, we showed the Rasmussen-Tamagawa conjecture for QM-abelian surfaces over imaginary quadratic fields. In this article, we generalize the previous work to QM-abelian surfaces over number fields of higher degree. We also give several explicit examples.

연구 동기 및 목표

• 2 이상의 차수를 가진 수체로의 Rasmussen-Tamagawa 추측 확장: 유한성 결과를 유한한 분할 조건을 가진 아벨 곡면에 대해 일반화한다.
• 허수 정수계수의 힐버트 클래스체를 포함하지 않는 Q의 갈루아 확장 위에서 QM-아벨 곡면의 동형류 집합의 유한성을 확립한다.
• 이차 확장 위에서 퀘aternion 대수의 분할 소수와 비동형 조건을 포함한 명시적 기준 제공.
• 적절한 소수의 존재와 관련 이차형식의 국소 해가 존재하는 조건을 확보하여 추측의 타당성을 검증한다.

제안 방법

• p-차수의 분할 조건을 만족하는 최대 프로-p 확장이 p-거듭제곱 점의 갈루아 표현을 제어하도록 활용한다.
• 해시 원리를 적용하여 전역 해가 존재하는 이차형식의 문제를 모든 자리에서의 국소 해 존재성으로 환원한다.
• 환류체계 이론과 갈루아 강하를 활용하여 K(A[p^∞])가 K(μ_p) 위에서의 확장의 구조를 분석한다.
• 수체에서 주어진 소수 위에 존재하는 소수의 분할 지수, 잔여 차수, 개수를 계산하여 구체적 예제를 구성한다.
• 헤젤의 보조정리와 p-진 해석을 활용하여 QM-아벨 곡면의 모듈리 공간을 정의하는 방정식의 국소 해 존재성을 결정한다.
• 이차 확장에서 소수의 분할 행동을 이용하여 B⊗Q(√−q)와 M2(Q(√−q)) 사이의 비동형성을 검증한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 수체 K에 대해 분할 조건이 유한한 QM-아벨 곡면의 K-동형류 집합이 유한한가?
• RQ2 Galois 확장 K가 Q의 차수 >2인 경우 QM-아벨 곡면에 대해 Rasmussen-Tamagawa 추측이 성립하는가?
• RQ3 K가 어떤 허수 정수계수의 힐버트 클래스체도 포함하지 않으며, 적절한 소수 q가 K에서 완전히 분할되는 경우, 유한성 결과를 확립할 수 있는가?
• RQ4 QM-아벨 곡면의 모듈리 공간의 유한성을 보장하기 위해, 퀘aternion 대수 B가 Q(√−q)에서 분할되지 않는다는 것이 어떤 역할을 하는가?
• RQ5 QM-아벨 곡면의 정의 방정식의 국소 해 존재성을 어떻게 활용하여 전역적 유한성을 도출할 수 있는가?

주요 결과

• K가 어떤 허수 정수계수의 힐버트 클래스체도 포함하지 않으며, B⊗Q(√−q) ≇ M2(Q(√−q))를 만족하는 소수 q가 K에서 완전히 분할되는 경우, Galois 수체 K 위에서 QM-아벨 곡면의 K-동형류 집합 𝒜(K,2)_B는 유한하다.
• K = Q(√3,√−5), Q(ζ5), 또는 Q(ζ17)이고 d ∈ {6,10,22일 때, (d,K) = (22, Q(ζ5))가 아닐 경우, M^B(K)는 무한하다. 이는 QM-아벨 곡면의 무한한 K-동형류 집합을 의미한다.
• (d,K) ≠ (22, Q(ζ5))일 경우, 퀘aternion 대수 B⊗Q K는 M2(K)와 동형이 되며, 이는 모듈리 공간이 K 위에 유리 점을 가짐을 보장한다.
• K = Q(√3,√−5)는 어떤 허수 정수계수의 힐버트 클래스체도 아니며, 그 부분체 Q(√−5)와 Q(√−15)는 모두 클래스 수 >1이며, 3과 2 위에서 분할이 일어나므로 분할이 일어난다.
• K = Q(ζ5)와 K = Q(ζ17)의 유일한 이차 부분체는 각각 Q(√5)와 Q(√17이며, 이 둘 모두 클래스 수가 1이 아니므로 K는 어떤 힐버트 클래스체도 포함하지 않는다.
• K에서 완전히 분할되는 소수 q가 존재하고, B⊗Q(√−q) ≇ M2(Q(√−q))일 경우, 관련 갈루아 표현이 필요한 필터링 조건을 만족하게 되어 주 유한성 정리를 적용할 수 있다.