On the rank of Leopoldt's and Gross's regulator maps

기술 요약: 레오폴트(Leopoldt) 및 그로스(Gross) 조절 사상(Regulator Maps)의 계수(Rank)에 관하여

문제 정의
본 논문은 이와사와 이론(Iwasawa theory)과 $p$-진 초월 이론(p-adic transcendence theory)의 두 가지 핵심 추측인 레오폴트 추측과 그로스-쿠즈민(Gross-Kuz'min) 추측을 다룬다.

• 레오폴트 추측(Leopoldt's Conjecture): 수체(number field) $K$의 전역 단위(global units)에서 $p$-진 장소(p-adic places)에서의 국소 단위(local units)의 곱으로 가는 $p$-진 조절 사상 $\iota_K$가 단사(injective)임을 상정한다. 결함(defect) $\delta^L_K = \dim_{\mathbb{Q}_p} \ker \iota_K$는 0이 될 것으로 추측된다.
• 그로스-쿠즈민 추측(Gross-Kuz'min Conjecture): $p$-단위(p-units)를 국소 노름(local norms)의 곱 내의 특정 초평면(hyperplane)으로 매핑하는 그로스 조절 사상 $L_K$가 전사(surjective)임을 상정한다. 결함 $\delta^G_K = \dim_{\mathbb{Q}_p} \operatorname{coker} L_K$는 0이 될 것으로 추측된다.

이러한 추측들은 $\mathbb{Q}$의 아벨 확장이나 허수 이차체(imaginary quadratic fields)에 대해서는 알려져 있고, $p$-진 소수가 최대 두 개인 체에 대해서도 알려져 있으나, 일반적인 수체에 대해서는 여전히 미해결 상태이다. 본 논문은 이러한 결함들의 상한(upper bounds)을 설정하고, 특히 비아벨 확장 및 비순환 $\mathbb{Z}_p$-확장(non-cyclotomic $\mathbb{Z}_p$-extensions)에 대해 새로운 사례들을 증명하고자 한다.

방법론
저자는 $p$-진 초월 이론과 아르틴 형식론(Artin formalism)의 합성을 활용한다.

1. 아르틴 형식론(Artin Formalism): 결함 $\delta^L_K$와 $\delta^G_K$는 가환군(Galois group)의 기약 표현(irreducible representations) $\rho$와 연관된 등종 성분(isotypic components)으로 분해된다. 본 논문은 아르틴 형식론의 표준적 성질(유도, 상승, 가법성)을 만족하는 결함 불변량 $\delta^L_k(\rho)$와 $\delta^G_k(\rho)$를 정의한다. 이를 통해 전역적인 문제를 특정 표현에 관한 $\mathbb{Q}$ 위의 문제로 환원할 수 있다.
2. $p$-진 초월 이론($p$-adic Transcendence Theory): 핵심적인 해석적 도구는 대수적 수의 $p$-진 로그(p-adic logarithms)의 선형 독립성에 관한 발드슈미트(Waldschmidt), 로이(Roy), 그리고 베이커-브루머(Baker-Brumer) 정리의 적용이다. 구체적으로, 본 논문은 $\mathbb{Q}$-선형 스팬($\Lambda$) 내의 계수를 가진 행렬의 계수(rank)에 대한 하한을 설정하기 위해 발드슈미트의 정리를 정교화한 로이의 정리(정리 2.2.1)를 활용한다.
3. 갈루아 코호몰로지 및 체론(Galois Cohomology and Class Field Theory): 결함들은 갈루아 코호몰로지와 포이투-테이트 쌍대성(Poitou-Tate duality) 정리를 통해 재해석된다. 그로스 결함은 $p$-단위와 국소 상반성 사상(local reciprocity maps)을 포함하는 국소화 사상의 코커넬(cokernel) 차원으로 식별된다. 이 프레임워크는 비순환 $\mathbb{Z}_p$-확장의 분석을 용이하게 한다.

주요 기여 및 결과

1. 결함에 대한 일반화된 상한
본 논문은 레오폴트 결함에 대한 발드슈미트의 상한을 일반화하고, 그로스의 결함에 대한 평행한 상한을 설정한다.

• 정리 1.4: 수체의 확장 $K/k$에 대하여, 결함은 다음을 만족한다:
  $$\delta^L_K \leq \delta^L_k + \frac{|S_\infty(K)| - |S_\infty(k)|}{2}$$
  $$\delta^G_K \leq \delta^G_k + \frac{|S_p(K)| - |S_p(k)|}{2}$$
  두 번째 상한은 $K$가 실수 장소(real place)를 갖고 $p$-진 소수의 개수가 변할 때 엄격하다(strict). 이는 그로스-쿠즈민 추측이 모든 삼차 수체에 대해 성립함을 함의한다.

2. 표현론적 상한 (정리 1.5)
불변량 $d = [K:\mathbb{Q}]$, $d_+ = |S_\infty(K)|$, $f = |S_p(K)|$를 갖는 기약 표현 $\rho \in \operatorname{Art}_{\mathbb{Q}_p}(G_{\mathbb{Q}})$에 대하여, 본 논문은 다음을 증명한다:

• $\delta^L_{\mathbb{Q}}(\rho) \leq \frac{d_+^2}{d + d_+}$
• $\delta^G_{\mathbb{Q}}(\rho) \leq \frac{f^2}{d_+ + 2f}$ (단, $d_+, f$가 모두 0이 아닌 경우)
  이 상한들은 국소 갈루아 표현에 관한 보조정리와 로이의 행렬 계수에 관한 정리를 사용하여 유도된다.

3. 추측에 대한 적용

• 그로스 조절 계수(Gross's Regulator Rank): 따름정리 1.6은 전실수체(totally real field) $k$와 전홀수 아르틴 표현(totally odd Artin representation) $V$에 대하여, 그로스의 $p$-진 조절 행렬 $R_p(V)$의 계수가 크기의 최소 절반 이상임을 보여준다. 이는 계수가 양수라는 그로스의 고전적 결과를 강화한다.
• 그로스-쿠즈민의 새로운 사례: 따름정리 1.7과 정리 4.3.2는 다음의 경우에 그로스-쿠즈민 추측(즉, $\delta^G_K = 0$)이 성립함을 증명한다:
  • 허수 이차체의 아벨 확장.
  • 적어도 하나의 실수 장소를 갖는 실 이차체(real quadratic fields)의 아벨 확장.
  • $p$-진 소수의 개수에 제약이 있는 다양한 갈루아 확장(예: 실 갈루아 확장에 대해 $|S_p(K)| \leq 6$).

4. 비순환 유사체 및 대수적 독립성
본 논문은 비순환 $\mathbb{Z}_p$-확장에 대한 결함의 소멸을 조사한다.

• 정리 1.8: 허수 이차체 $k$와 $p$가 완전히 분할(splits completely)되는 아벨 확장 $K$에 대하여, $\delta^G_{K k_\infty/K} > 0$인 $\mathbb{Z}_p$-확장 $k_\infty$는 최대 유한 개 존재한다.
• 조건부 부존재성: 특정 다항식 $XY Z^2 - (AX - BY)(CX - DY)$가 $p$-진 로그 공간 내의 어떤 $\mathbb{Q}$-선형 독립인 7-튜플(7-tuple) 위에서도 소멸하지 않는다면(이는 약한 $p$-진 샹켈 추측(weak $p$-adic Schanuel conjecture)에 의해 함의되는 조건이다), 그러한 $\mathbb{Z}_p$-확장은 존재하지 않는다.
• 기울기 분석(Slope Analysis): 본 논문은 $\mathbb{P}^{n-1}(\mathbb{Q}_p)$의 선형 부분공간 상의 점들로 $\mathbb{Z}_p$-확장을 매개변수화한다. 만약 결함이 0이 아니라면, 그에 대응하는 확장의 "기울기(slope)"는 초월수여야 함을 보인다(정리 5.1.1).

의의
본 논문은 임의의 수체에 대해 레오폴트 및 그로스 결함에 대한 최선의 알려진 상한을 제공하며, 이를 통해 발드슈미트의 결과를 일반화한다고 주장한다. 아르틴 형식을 활용함으로써, 본 논문은 그로스-쿠즈민 추측의 유효성을 고전적인 아벨 사례를 넘어 특정 비아벨 설정으로 확장한다. 나아가, 본 연구는 비순환 확장에서의 그로스 결함의 비소멸성과 $p$-진 로그의 대수적 독립성 사이의 구체적인 연결 고리를 확립하며, 이는 표준적인 초월성 가설 하에서 해당 추측이 무조건적으로 성립함을 시사한다. 또한, 본 결과는 그로스 조절 계수의 계수에 대한 정량적 정교화를 제공하여, 광범위한 일반성 속에서 그 계수가 추측된 계수의 최소 절반 이상임을 보여준다.