[논문 리뷰] On the Frey-Mazur conjecture over low genus curves

Benjamin Bakker, Jacob Tsimerman|arXiv (Cornell University)|2013. 09. 25.

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

한 줄 요약

이 논문은 저유한성곡선의 함수체 위에서 허수승법을 가진 가짜 타원곡선—쿼aternion 승법을 가진 아벨 곡면—에 대해 프레이-마줄 추측의 기하학적 유사체를 수립한다. 모듈라 표면 $ Z^D(p) $ 의 기하학을 분석하고, 곡선의 유한성에 대한 리만-허리츠 경계를 사용하여, 충분히 큰 $ p $ 에 대해, 기저 곡선의 유한성이 고정된 $ k $ 보다 작은 경우, 두 아벨 곡면이 동일한 $ p $-torsion Galois 표현을 가질 경우 $ \mathcal{O}_D $-이수환임을 증명한다.

ABSTRACT

The Frey--Mazur conjecture states that an elliptic curve over $\mathbb{Q}$ is determined up to isogeny by its $p$-torsion Galois representation for $p\geq 17$. We study a geometric analog of this conjecture, and show that the map from isogeny classes of "fake elliptic curves"---abelian surfaces with quaternionic multiplication---to their $p$-torsion Galois representations is one-to-one over function fields of small genus complex curves for sufficiently large $p$ relative to the genus.

연구 동기 및 목표

• 함수체 위에서 쿼aternion 승법을 가진 아벨 곡면의 맥락에서 프레이-마줄 추측의 기하학적 유사체를 수립하기.
• 충분히 큰 $ p $ 에 대해, $ p $-torsion Galois 표현의 동형이 저유한도 곡선 위에서 $ \mathcal{O}_D $-이수환을 유도함을 보이기.
• 모듈라 표면 $ Z^D(p) $ 와 그 헤케 구조물의 기하학을 분석하여, 저유한도의 비-헤케 곡선이 존재하지 않음을 제거하기.
• 리만-허리츠와 CM 점의 만남을 통해 $ X^D(p) \times X^D(p) $ 내 곡선의 유한성을 유도하고, 허왕-토 및 앤드레-델리뉴의 결과를 활용하기.
• 메인 정리의 상수 $ N $ 이 기저 곡선의 곡률에만 의존함을 보이며, 이전 결과를 확장하기.

제안 방법

• 기저 곡선 $ B \to Z^D(p) $ 를 $ X^D(p) \times X^D(p) $ 에 올려, $ X^D(p) $ 는 $ \mathcal{O}_D $-작용과 구조를 가진 아벨 곡면을 매개함.
• $ X^D(p)_0 $ 로의 사영 $ \pi: C \to X^D(p)_0 $ 에 대해 리만-허리츠 공식을 적용하여, $ g(C) $ 의 하한을 캐논칼 딜레르 $ K_{X^D(p)_0 \times X^D(p)_0} $ 에 따라 유도하기.
• 비-헤케 곡선에 대해 모노드로미의 자리즈키 밀도(Andre-Deligne를 통해)를 사용하여, 이러한 곡선은 반드시 큰 이중도를 가져야 하며, 이는 큰 유한성을 의미함.
• $ C \to B $ 의 분기 구조물의 유한성을 분석하여, $ X^D(p) \times X^D(p) \to Z^D(p) $ 의 특이점, 특히 히그너 및 반-히그너 CM 점에서의 만남을 분석하기.
• 히퍼볼릭 메트릭 추정치를 적용하여 히그너 CM 점이 낮은 차수의 헤케 곡선 근처를 제외하고는 잘 분리되어 있음을 보이고, 허왕-토의 체적 추정치를 사용하여 곡선의 만남을 제약하기.
• 사영에 의한 유한성 하한과 CM 중복도에 의한 상한을 결합하여, 큰 $ p $ 에서 모순을 유도함으로써, 모든 이러한 곡선이 헤케 구조물 위에 있어야 한다는 것을 증명함.

실험 결과

연구 질문

• RQ1 기하학적 복소수 곡선 $ B $ 가 유한성 $ g < k $ 를 가지며, $ B $ 위에서 아벨 곡면의 $ \mathcal{O}_D $-모듈러스 동형 $ p $-torsion 국소계량이 $ \mathcal{O}_D $-이수환에 의해 유도되는 조건은 언제인가?
• RQ2 헤케 곡선을 통과하지 않는 $ X^D(p) \times X^D(p) $ 내 곡선의 유한성이 $ p \to \infty $ 일 때의 渐近적 행동은 어떻게 되는가?
• RQ3 히그너 및 반-히그너 CM 점에서 고중복도를 가진 곡선의 만남은 $ Z^D(p) $ 의 기하학에 어떤 제약을 가하는가?
• RQ4 메인 정리의 상수 $ N $ 은 기저 곡선의 곡률에만 의존하도록 취할 수 있는가?
• RQ5 콤���트 샤이마 곡선에 사용된 기법들이 비콤팩트 또는 고유한도의 경우로 어떻게 일반화되는가?

주요 결과

• 모든 $ k > 0 $ 에 대해, $ N > 0 $ 이 존재하여, $ g(B) < k $ 인 매끄러운 곡선 $ B \to Z^D(p) $ 가 $ p > N $ 이면 반드시 헤케 구조물로 인해 인해 압축되어야 하며, 이는 메인 정리의 증명이다.
• 비-헤케 곡선 $ B \to Z^D(p) $ 를 덮는 곡선 $ C \subset X^D(p)_0 \times X^D(p)_0 $ 의 유한성은 $ C \cdot K_{X^D(p)_0 \times X^D(p)_0} $ 에 대한 선형 함수로 하한이 존재하지만, $ \mathrm{mult}_{\mathrm{CM}}(C) = o(C \cdot K) $ 의 영향으로 상한은 渐近적으로 더 느리게 증가한다.
• 히퍼볼릭 메트릭 하에서 히그너 CM 점은 낮은 차수의 헤케 곡선 근처를 제외하고 잘 분리되어 있으며, 이는 체적 제약을 통해 곡선의 만남을 제약할 수 있음을 의미한다.
• 반-히그너 CM 점을 통과하는 헤케 곡선의 부재는, 공액 헤케 곡선에 대해 유사한 체적 추정치를 증명함으로써 극복된다.
• 메인 정리의 상수 $ N $ 은 기저 곡선의 곡률에만 의존하도록 취할 수 있으며, [BT14] 의 기법을 확장함으로써 이를 보였다.
• 표준 전이 논리에 의해, 충분히 큰 $ \ell $ 에 대해 이 결과는 $ \overline{\mathbb{F}}_\ell $ 에서도 성립한다.