[논문 리뷰] Intersections of Class Fields

Lars Kühne|arXiv (Cornell University)|2017. 09. 04.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 5

한 줄 요약

이 논문은 클래스 체 이론을 사용하여 서로 다른 수체의 최대 아벨 확대의 교차에 대한 새로운 제약 조건을 수립하며, 이를 통해 히그너 점의 일차 독립성 결과를 강화하고, 모듈라 곡선의 곱의 부분다양체 위의 특수점에 대한 효과적 상한을 도출함으로써 앤드레-오르트 추측에 기여한다. 핵심 결과는 공통의 전체 실수 체를 공유하는 $ r $개의 CM-체에 대해 이러한 교차의 갈루아 군에 대한 균일한 상한이 존재하며, 이는 $ 2^{r+1} $에 의하여 소멸된다는 것이다.

ABSTRACT

Using class field theory, we prove a restriction on the intersection of the maximal abelian extensions associated with different number fields. This restriction is then used to improve a result of Rosen and Silverman about the linear independence of Heegner points. In addition, it yields effective restrictions for the special points lying on an algebraic subvariety in a product of modular curves. The latter application is related to the André-Oort conjecture.

연구 동기 및 목표

• 클래스 체 이론을 사용하여 서로 다른 수체의 최대 아벨 확대의 교차에 대한 일반적 제약 조건을 수립하기.
• 로젠과 실버먼의 히그너 점의 일차 독립성에 관한 이전 결과를 개선하기 위해, CM-체의 배제된 클래스를 제거하기.
• 모듈라 곡선의 곱의 부분다양체 위의 특수점과 관련된 순서의 판별식에 대한 효과적 상한을 제공하기.
• 특수점의 예외적 집합을 유한하게 제한함으로써 $ Y(1)^n $에 대한 앤드레-오르트 추측의 효과적 판정에 기여하기.

제안 방법

• 클래스 체 이론을 사용하여, $ L = K_r \prod_{i=1}^{r-1} K_i^{\text{ab}} $일 때, 교차 $ K_r^{ ext{ab}} \cap L $의 갈루아 군의 소멸자에 대한 일반 정리를 유도하기.
• 전이 체 $ K^{\text{tf}} $를 도입하여, 고리 체 이론에 적용함으로써 $ \operatorname{Gal}(K^{\text{rcf}}/K^{\text{tf}}) \approx \operatorname{Pic}(\mathcal{O}_F) $ 를 보여주기.
• 소멸자 상한 $ 2^{r+1} $을 $ \operatorname{Gal}(K_r^{\text{tf}} \cap L / K_r) $에 적용하여 전이 체의 교차를 제약하기.
• 소멸자 상한을 시에겔-타츠와 정리와 롬바르도의 효과적 세르 열린 영상 정리와 결합하여 효과적 판별식 상한을 도출하기.
• 판별식 상한을 사용하여, $ X \subset Y(1)^n $의 부분다양체 위에 존재할 수 있는 가능한 CM-점의 수를 제한하고, 효과적 예외 집합 $ Z = Z' \cup Z'' $를 도출하기.
• 섬디어의 상한성과 대수기하학을 이용하여, 비자리 닫힌 부분다양체 $ Z' $에 포함된, 피브어의 차원이 0이 아닌 점들의 집합이 존재함을 보이고, 그 차수와 높이에 효과적 상한을 부여하기.

실험 결과

연구 질문

• RQ1 기저 체 위에서 상호간에 자명한 교차를 가지는 $ r \geq 2 $개의 서로 다른 수체의 최대 아벨 확대의 교차는 최대 몇 개인가?
• RQ2 공통의 전체 실수 체를 공유하는 CM-체의 수에 따라, 고리 체의 교차는 어떻게 효과적으로 상한을 둘 수 있는가?
• RQ3 로젠과 실버먼의 히그너 점의 독립성 결과에서 CM-체에 대한 제약 조건을 클래스 체 이론을 사용하여 효과적으로 제거할 수 있는가?
• RQ4 모듈라 곡선의 곱의 부분다양체 위의 특수점과 관련된 순서의 판별식에 대해 어떤 효과적 상한을 두어야 하는가?
• RQ5 기하학적 제약과 클래스 체 이론적 제약을 조합하여, $ Y(1)^n $에서의 앤드레-오르트 추측에 대한 효과적 예외 집합을 구성할 수 있는가?

주요 결과

• 공통의 전체 실수 체를 가진 $ r \geq 2 $개의 서로 다른 CM-체에 대해, $ L = K_r \prod_{i=1}^{r-1} K_i^{\text{tf}} $일 때, 갈루아 군 $ \operatorname{Gal}(K_r^{\text{tf}} \cap L / K_r) $ 는 $ 2^{r+1} $에 의하여 소멸된다.
• 효과적 상수 $ c_1 = c_1(E, \pi, r) > 0 $ 가 존재하여, $ Y_0(N) $ 위의 $ r $개의 CM-점에 대해, 그들의 CM-체가 서로 다를 수 없거나, 또는 그들의 판별식이 $ c_1 $ 미만이거나, 또는 그들의 모듈라 매개변수화에 의한 상이 자유 $ \mathbb{Z} $-모듈로의 계수 $ r $을 생성한다.
• 부분다양체 $ X \subset Y(1)^n $에 대한 앤드레-오르트 유형 결과에서 예외 집합 $ Z $ 는 효과적으로 유계이다: 그 차수와 높이는 $ X $ 의 차수와 높이에 따라 유계진다. $ Z = Z' \cup Z'' $.
• $ Z' $ 는 좌표 사영에 의한 피브어의 차원이 양수인 점들의 집합이며, 자리를 닫힌 부분다양체이며, 차수와 높이에 효과적 상한이 존재한다.
• $ Z'' $ 는 CM-순서의 판별식이 효과적 상한 $ c_{11}(X) $ 이하인 점들의 집합이며, 이 역시 차수와 높이에 대해 효과적으로 유계이다.
• $ c_{11}(X) $ 는 소멸자 상한 $ 2^{r+1} $, 계수 이론, 시에겔-타츠와 정리로부터 유도되며, 이로 인해 이러한 순서는 유한 개이다.