[논문 리뷰] A Variation on Leopoldt's Conjecture: Some Local Units instead of All Local Units

Dawn Nelson|arXiv (Cornell University)|2013. 08. 21.

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

한 줄 요약

이 논문은 고정된 소수 $p$ 위의 소수들에 대한 부분집합을 통해 전체 국소 단위의 곱을 대체함으로써 레오폴트의 추측의 변형을 조사한다. $p$-진 샤큰 추측을 사용하여, 전역 단위의 대각 맵이 제한된 국소 단위의 곱에 들어가는 $\mathbb{Z}_p$-랭크가 전역 단위의 $\mathbb{Z}$-랭크에서 수정항 $t$를 빼고 1을 더한 값과 같음을 입증한다. 실수 또는 CM 체에서는 등식이 성립하고, 일반적인 복소수 비-CM 체에서는 부등식이 성립한다.

ABSTRACT

Leopoldt's Conjecture is a statement about the relationship between the global and local units of a number field. Approximately the conjecture states that the Z_p-rank of the diagonal embedding of the global units into the product of all local units equals the Z-rank of the global units. The variation we consider asks: Can we say anything about the Z_p-rank of the diagonal embedding of the global units into the product of some local units? We use the p-adic Schanuel Conjecture to answer the question in the affirmative and moreover we give a value for the Z_p-rank (of the diagonal embedding of the global units into the product of some local units) in terms of the Z-rank of the global units and a property of the the local units included in the product.

연구 동기 및 목표

• 전역 단위의 대각 맵이 국소 단위의 제한된 곱에 들어가는 $\mathbb{Z}_p$-랭크가 부분집합 $\Gamma$(고정된 소수 $p$ 위의 소수들)에 대해 결정될 수 있는지 조사하기.
• 전역 단위의 이미지가 국소 단위의 부분 곱에 들어갈 때, $\Gamma$에 속한 국소 소수들의 선택에 따라 랭크가 어떻게 달라지는지 파악하기.
• 전이론 이론을 사용하여, 대각 사상에 의한 국소 단위의 부분집합에 대한 $\mathbb{Z}_p$-랭크에 대한 공식을 수립하기.
• 선택된 국소 단위에 따라 달라지는 수정항 $t$를 도입하여, 전체 국소 단위의 곱을 넘어서 레오폴트의 추측을 확장하기.

제안 방법

• 단위의 곱셈적 구조를 선형화하기 위해 $p$-진 로그를 사용하여, $\mathbb{Q}_p$ 위에서 선형대수 문제로 랭크 문제를 전환한다.
• 다양한 임베딩을 통한 $\mathbb{C}_p$로의 전역 단위의 $p$-진 로그를 포함하는 행렬을 구성하여, 제한된 국소 단위의 곱 속에서 이미지의 랭크를 분석한다.
• 특히 $p$-진 샤큰 추측을 적용하여, $\Gamma$에 대한 곱으로의 대각 맵의 이미지에 대한 $\mathbb{Z}_p$-랭크를 근사한다.
• 수정항 $t$는 $\Gamma$에 포함된 국소 단위의 구조, 특히 주 단위 $\mathcal{O}^*_{\mathfrak{p},1}$와의 교차에 기반하여 정의된다.
• 실수 또는 CM 체(등식 성립)와 복소수 비-CM 체(하한만 확보됨)의 경우를 구분하여 분석한다.
• 위상적 닫힘과 주 국소 단위의 사용을 통해 $p$-진 위상구조와의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 전역 단위의 대각 맵이 $p$ 위의 부분집합 $\Gamma$의 소수들에 대해 제한된 국소 단위의 곱에 들어가는 $\mathbb{Z}_p$-랭크를 결정할 수 있는가?
• RQ2 이미지의 $\mathbb{Z}_p$-랭크는 $\Gamma$에 속한 국소 소수들의 선택에 따라 어떻게 달라지는가?
• RQ3 전역 단위의 $\mathbb{Z}$-랭크와 선택된 국소 단위의 구조적 불변량을 바탕으로 $\mathbb{Z}_p$-랭크에 대한 공식이 존재하는가?
• RQ4 $p$-진 샤클 추측은 국소 단위의 부분 곱에서 이미지의 랭크를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 실수 또는 CM 수체 $M$의 경우, 전역 단위의 대각 맵이 $\Gamma$에 대해 곱으로 들어가는 $\mathbb{Z}_p$-랭크는 정확히 $\operatorname{rank}_{\mathbb{Z}}\mathcal{O}_M^* - t + 1$과 같다. 여기서 $t$는 $\Gamma$에 선택된 소수들에 따라 달라지는 상수이다.
• 복소수 비-CM 확장의 경우, $\mathbb{Z}_p$-랭크는 $\operatorname{rank}_{\mathbb{Z}_p}(\Delta_\Gamma \mathcal{O}_M^*) \geq \operatorname{rank}_{\mathbb{Z}}\mathcal{O}_M^* - t + 1$을 만족한다.
• 수정항 $t$는 $\Gamma$에 포함된 국소 단위의 구조, 특히 주 단위 $\mathcal{O}^*_{\mathfrak{p},1}$와의 교차에 의해 결정된다.
• 결과는 $p$-진 샤클 추측에 의존하며, 이는 단위의 $p$-진 로그의 선형 독립성을 제어하는 데 사용된다.
• 증명는 $p$-진 로그의 행렬을 구성하고, 샤클의 추측을 통한 전이론적 경계를 적용하여 랭크를 결정하는 데 기반한다.
• 이 작업은 CM 및 실수 체의 경우 정확한 랭크 공식을 제공하며, 레오폴트의 추측을 국소 단위의 부분 곱으로 일반화한다.