The Northcott Property for Composites of Number Fields of Bounded Degree

기술적 요약: 유계 차수의 수체 합성에 대한 노스코트 성질

문제 제기
본 논문은 수체의 무한 대수적 확장에 대한 노스코트 성질 (N) 을 다룬다. 대수적 수의 집합 $A$가 성질 (N) 을 갖는다는 것은, 모든 실수 $T > 0$에 대해 부분집합 $A(T) = \{ \alpha \in A : h(\alpha) < T \}$가 유한하다는 것을 의미하며, 여기서 $h(\alpha)$는 절대 로그 웨일 높이를 나타낸다. 노스코트의 고전적 정리는 유계 차수를 갖는 집합에 대해 이 성질을 보장하지만, 무한 확장에 대해서는 자동으로 성립하지 않는다.

여기서 다루는 구체적인 문제는, 수체 $K$의 차수가 $d$ 이하인 모든 확장의 합성체로 정의된 체 $K(d)$와 관련이 있다. Bombieri 와 Zannier 는 그들의 기념비적인 논문 [BZ01] 에서 부분체 $K(d)_{ab}$ (즉, $K(d)$ 내의 모든 아벨 확장의 합성체) 가 성질 (N) 을 만족함을 증명하였다. 그들은 $d > 2$인 경우 전체 체 $K(d)$가 성질 (N) 을 만족하는지 여부에 대한 질문을 미해결로 남겼다. 본 논문은 그 질문에 대한 긍정적 답변을 제공한다.

방법론 및 이론적 틀
증명 전략은 Bombieri 와 Zannier 의 접근법을 확장하지만, $K(d)$의 갈루아 군에서 비가환성이 결여된 문제를 극복해야 한다. 방법론은 다음 세 가지 주요 기둥에 의존한다:

1. 갈루아 군의 유계 지수: 본 논문은 갈루아 군 $\text{Gal}(K(d)/K)$가 유계 지수를 가진다는 것을 확립한다. 이는 이러한 확장에서 소수의 분기 행위가 제한됨을 의미하므로 중요한 구조적 성질이다.
2. 프로유한 군에 대한 Segal 의 정리: 접근법의 핵심적 새로움은 "작은"(profinite) 군에 관한 Segal 의 정리 [Seg18] 의 적용이다. 프로유한 군 $P$가 작다는 것은 모든 $n$에 대해 지수 $n$을 갖는 열린 부분군이 유한개뿐임을 의미한다. Segal 의 정리는 $P$가 작을 필요충분조건이 모든 $m$에 대해 $P^m$ (m 제곱으로 생성된 부분군) 이 열린 군이라는 것이라고 명시한다. 이를 통해 저자들은 유한한 소수 집합 $S$ 밖에서 분기되지 않는 지수가 유계인 $K$의 모든 갈루아 확장의 합성체가 아벨임을 가정하지 않더라도 유한 확장임을 증명할 수 있다.
3. 분기 분석 및 높이 경계: 증명은 Bombieri 와 Zannier 가 사용한 국소 분석을 적용한다. 기본체가 필요한 단위근을 포함한다고 가정함으로써, 저자들은 원소 $\alpha$의 분해체에서 소수들의 분기 지수를 분석한다. Abhyankar 보조정리를 사용하여 분기를 갈루아 군의 지수와 연관시킨다. 그들은 높이 $h(\alpha)$와 지수 $D$에 기반하여 $\alpha$가 생성하는 확장에서 분기할 수 있는 소수에 대한 경계를 유도한다.

주요 결과
본 논문은 두 가지 주요 정리를 제시한다:

• 정리 1: $K$를 수체라 하고 $M/K$를 갈루아 군 $\text{Gal}(M/K)$가 유계 지수를 갖는 무한 대수적 갈루아 확장이라 하자. 그러면 $M$은 노스코트 성질을 갖는다.

  • 증명 개요: 저자들은 유계 높이를 갖는 임의의 $\alpha \in M$에 대해, $\alpha$의 분해체 $L$이 높이와 지수에 의해 결정되는 유한한 소수 집합 밖에서 분기하지 않음을 보인다. 아래 정리 2 에 따라, 유계 차수를 갖는 그러한 확장 $L$은 유한개뿐이다. $\alpha$의 차수와 높이가 유계이므로, 그러한 $\alpha$는 유한개뿐이다.

• 정리 2: $K$를 수체, $S$를 $K$에서 분기하는 소수들을 포함하는 유한 소수 집합, 그리고 $D \in \mathbb{N}$이라 하자. $F/K$가 $S$ 밖에서 분기되지 않고 갈루아 군의 지수가 $D$인 갈루아 확장이 되는 수체 $F$는 유한개뿐이다.

  • 의의: 이 결과는 유계 지수라는 제약 하에 아벨 확장의 유한성을 비아벨 확장으로 일반화하며, Segal 의 정리를 활용하여 관련 갈루아 군이 유한함을 보인다.

• 계 1: 임의의 수체 $K$와 양의 정수 $d$에 대해, 체 $K(d)$ (차수가 $\le d$인 모든 확장의 합성체) 는 노스코트 성질을 갖는다.

  • 근거: 갈루아 군 $\text{Gal}(K(d)/K)$는 유계 지수를 갖는다 (구체적으로, 그 지수는 $d$ 이하의 정수들의 최소공배수를 나눈다). 따라서 정리 1 이 직접 적용된다.

의의 및 주장
본 논문은 $d > 2$인 $K(d)$에 대해 Bombieri 와 Zannier 가 제기한 질문에 대한 긍정적 해결을 주요 공헌으로 주장한다. 저자들은 이전 결과들이 확장의 아벨 성질에 의존했던 반면, 본 연구의 새로움은 비아벨 경우를 처리하기 위해 프로유한 군에 대한 Segal 의 정리를 적용한 데 있음을 강조한다.

또한, 본 논문은 수리논리학에 대한 함의를 지적한다. Vidaux 와 Videla [VV16] 를 인용하여, 성질 (N) 을 갖는 완전히 실수 정수들의 환의 부분환은 결정 불가능한 1 차 논리 이론을 갖는다고 저자들은 명시한다. 따라서 계 1 은 $\mathbb{Q}$의 차수가 $d$ 이하인 모든 완전히 실수 확장의 합성체가 결정 불가능한 1 차 논리 이론을 갖는다는 것을 의미하며, 이는 [VV16] 의 질문 5 를 해결한다.

저자들은 정리 2 의 증명에 관해 겸손하게 언급하며, 이는 유한 단순 군의 분류 (Segal 의 작업을 통해) 에 크게 의존하고 있음을 지적하고, 이러한 분류에 독립적인 더 간단한 증명이 흥미로울 것이라고 제안한다.