전수 체계에서의 p‑adic 베일린 추측

본 논문은 “p‑adic 베일린 추측”이라는 새로운 개념을 도입하고, 이를 수체와 아르틴 동기에 적용함으로써 고차 K‑군, 합성조절자, 그리고 p‑adic L‑함수 사이의 관계를 체계적으로 탐구한다. 1. 서론에서는 베일린·보렐 정리의 고전적 배경을 소개하고, 복소수 L‑값과 K‑이론 사이의 연결 고리를 설명한다. 베일린의 일반화된 추측이 현재까지는 수체에 대해서만 완전히 검증되었으며, 이를 p‑adic 세계로 확장하려는 동기가 제시된다. 2. 제2절에서는 보렐 정리를 상세히 재현한다. 수체 k의 차원 r₁, r₂와 정수 n≥2에 대해 K_{2n‑1}(k)의 차원을 r₂(짝수 n) 혹은 r₁+r₂(홀수 n)으로 계산하고, 보렐 조절자 reg_∞가 K‑군을 실수 벡터공간 ⊕_{σ}ℝ(n‑1)에 격자 형태로 삽입함을 보인다. 여기서 V_n(k)라는 격자 부피와 ζ_k(n) 사이의 관계식 (2.4)가 핵심이다. 3. 전수 체와 전수 아르틴 동기에 대한 특수한 경우를 다룬다. n이 홀수이면 m_n=0이 되어, 보렐 조절자의 이미지가 전부 사라지고, ζ_k(n)은 단순히 부피 1에 의해 결정된다. 이는 베일린 추측과 정확히 일치한다. 반대로 n이 짝수이면서 복소수 켤레가 -1로 작용하는 ‘음의 부분’ CM 동기에서도 유사한 차원 일치가 성립한다. 4. p‑adic 합성공동동조 H^i_{syn}(Y,n)와 합성조절자 reg_{syn}을 정의한다. Y는 p‑adic 완전체 위의 매끄러운 모델이며, 합성공동동조는 Q_p‑벡터공간이다. (1.2)식으로 K_{2n‑1}(X)⊗ℚ → H^1_{syn}(Y,n) 가 정의되지만, 일반적으로는 동형이 되지 않는다. 이를 보완하기 위해 p‑adic L‑함수가 조절자 이미지와 직교하는 보조 부분공간을 선택한다는 전략을 제시한다. 5. 전수 체와 전수 아르틴 동기에 대해 p‑adic L‑함수 L_p(s,χ,k)를 구축한다. 1차원 Artin 캐릭터 χ에 대해 Deligne‑Ribet, Barsky, Cassou‑Noguès의 결과를 인용해, m≡1(mod φ(q))인 정수 m에 대해 L_p(m,χ,k)=Eul_p^*(m,χ,k)·L^*(m,χ,k) 를 만족하는 유일한 C_p‑값 함수가 존재함을 보인다. χ가 전수 실수 체의 핵을 갖지 않으면 L_p는 영함수이다. 6. 제3절에서는 Artin 동기의 일반적 정의와, Q‑계수 E를 포함한 경우를 다룬다. 차원 일치 조건을 Proposition 3.12 로 정리하고, 고전적 베일린 추측(Conjecture 3.18)과 p‑adic 버전(Conjecture 3.22)을 명시한다. 특히, 전수 동기와 ‘음의 부분’ CM 동기에 대해 두 추측이 완전히 일치함을 보인다. 7. 제4절에서는 Zagier의 K‑이론 원소 구성 추측을 활용해 실제 K_{2n‑1}(k) 원소를 구한다. 이를 기반으로 Besser‑de Jeu가 개발한 p‑adic 다항 로그(polylog)와 합성조절자를 계산하는 알고리즘을 소개한다. 이 과정에서 Coleman의 p‑adic 적분 이론이 핵심적인 역할을 한다. 8. 제5절에서는 구현 세부 사항을 논한다. Paul Buckingham이 작성한 소프트웨어를 이용해 Zagier 추측을 수치적으로 검증하고, Roblot이 개발한 p‑adic L‑함수 계산 코드를 적용해 아벨 캐릭터에 대한 L_p 값을 얻는다. 특히 S₃와 D₈ 확장에 대한 Artin 동기에 대해 Gros의 합성조절자 추측을 증명한다. 9. 제6절에서는 p‑adic L‑함수 계산 방법을 구체화한다. Brauer 유도법을 이용해 고차 차원의 Artin 캐릭터를 1차원 캐릭터들의 유도합으로 분해하고, 각 1차원 캐릭터에 대해 앞서 정의한 L_p를 조합한다. 10. 마지막으로 수치 실험 결과를 제시한다. 전수 실수 이차체, 전수 사차체, 그리고 몇몇 비아벨 확장에 대해 K‑이론 원소, 합성조절자, p‑adic L‑값을 모두 계산했으며, 제시된 추측식이 오차 범위 내에서 정확히 일치함을 확인한다. 또한, 아벨 군 경우에는 이론적 증명(정리 4.17, 명제 4.18)과 일치함을 보인다. 전체적으로 논문은 고전적 베일린‑보렐 관계를 p‑adic 세계에 성공적으로 옮기고, 전수 체와 전수 아르틴 동기에 대해 완전한 차원 일치와 정규화 상수의 일치를 보이며, 실질적인 계산 도구까지 제공함으로써 이 분야의 이론과 실험을 연결하는 중요한 기여를 한다.