[논문 리뷰] Algorithmic complexity of Greenberg's conjecture

Georges Gras|arXiv (Cornell University)|2020. 04. 15.

Algebraic Geometry and Number Theory인용 수 1

한 줄 요약

이 논문은 Iwasawa 이론의 알고리즘적 복잡도 관점에서 Greenberg의 추측(λ = µ = 0)을 재해석하며, 전체 실수 체의 체의 Zp-확장에서 p-클래스 군을 계산하는 데 소요되는 복잡도가 최대 아벨 p-분할 프로-p 확장의 유한한 토션 부분군 Tk에 의해 결정됨을 보여준다. 핵심 결과는 Greenberg의 추측이 참일 조건이 모든 계층에서 알고리즘이 최대 한 번의 단계 내에 종료될 때에만 성립한다는 것이다. 이는 Tk 내에서 이상수의 노름의 등분포를 통한 확률적 근거를 제시한다.

ABSTRACT

Let $k$ be a totally real number field and $p$ a prime. We show that the ``complexity'' of Greenberg's conjecture ($\lambda = \mu = 0$) is of $p$-adic nature governed (under Leopoldt's conjecture) by the finite torsion group ${\mathcal T}_k$ of the Galois group of the maximal abelian $p$-ramified pro-$p$-extension of $k$, by means of images in ${\mathcal T}_k$ of ideal norms from the layers $k_n$ of the cyclotomic tower (Theorem (5.2)). These images are obtained via the formal algorithm computing, by ``unscrewing'', the $p$-class group of~$k_n$. Conjecture (5.4) of equidistribution of these images would show that the number of steps $b_n$ of the algorithms is bounded as $n o \infty$, so that Greenberg's conjecture, hopeless within the sole framework of Iwasawa's theory, would hold true ``with probability $1$''. No assumption is made on $[k : \mathbb{Q}]$, nor on the decomposition of $p$ in $k/\mathbb{Q}$.

연구 동기 및 목표

• Iwasawa 이론에서 Greenberg의 추측을 알고리즘적 복잡도 문제로 재구성하기.
• 최대 아벨 p-분할 프로-p 확장의 갈루아 군 Tk가 p-클래스 군 계산의 복잡도를 결정하는 주요 불변량임을 규명하기.
• 모든 계층 n에 대해 알고리즘의 단계 수 bn ≤ 1로 유계임이 Greenberg의 추측이 확률적으로 1로 성립함을 제안하기.
• 알고리즘의 종료 조건과 Iwasawa 불변량 λ, µ, ν의 자명성 간의 연결 고리 설정하기.
• Tk 내에서 이상수의 노름의 등분포를 통한 확률적 접근 방식을 제안하여 Greenberg의 추측을 증명하는 길을 모색하기.

제안 방법

• 논문은 갈루아 강하와 노름 사상의 기법을 사용하여, C i+1kn / C ikn을 통해 p-클래스 군 Ckn의 필터링을 구하는 인도적 알고리즘을 구성한다.
• 알고리즘 내에서 두 가지 핵심 요소를 정의한다: '클래스 요인' #Ck / #Nkn/k(C ikn)과 '노름 요인' pn·(#S−1) / (Λin : Λin ∩ Nkn/k(k×n))로, 이들은 반복 과정에서 감소한다.
• 알고리즘의 길이 bn은 #Ck · #Rnrk의 p-진 값 vp에 의해 유계가 된다. 여기서 Rnrk는 Hprk/k∞에서의 분할과 관련된 정규화된 p-진 조정자에 대한 몫이다.
• 기본 이상수 tj는 단위와 이상수의 노름으로 생성되며, 그 이미지가 Tk 내에서 클래스 요인과 노름 요인의 진화를 지배한다.
• 이 방법은 특히 Tk의 구조와 Tate–Chafarevich 군 III2k와의 관계를 고려한 계량 이론과 Iwasawa 이론의 형식화에 기반한다.
• 추측 5.4는 Ck와 Rk 내에서 이상수의 노름 이미지가 균일하게 분포되어 있음을 가정하며, 이는 Greenberg의 추측 하에 알고리즘이 빠르게 종료됨을 암시한다.

실험 결과

연구 질문

• RQ1 전체 실수 체의 순환 Zp-확장에서 p-클래스 군을 계산하는 데 필요한 알고리즘적 복잡도는 무엇이며, 이는 Greenberg의 추측과 어떻게 관련이 있는가?
• RQ2 최대 아벨 p-분할 프로-p 확장의 토션 군 Tk는 p-클래스 군을 계산하는 알고리즘의 행동을 어떻게 지배하는가?
• RQ3 모든 계층 n에 대해 알고리즘의 단계 수 bn ≤ 1로 유계임이 Iwasawa 불변량 λ와 µ의 소멸과 어떻게 연결될 수 있는가?
• RQ4 알고리즘이 몇 단계 내에 종료되는가? 이는 Greenberg의 추측에 어떤 함의를 갖는가?
• RQ5 Tk 내에서 이상수의 노름의 등분포를 바탕으로 한 확률적 근거는 Greenberg의 추측을 뒷받침하는가?

주요 결과

• p-클래스 군 Ckn을 계산하는 알고리즘의 길이 bn은 vp(#Ck · #Rnrk)에 의해 유계이며, Greenberg의 추측(λ = µ = ν = 0)은 모든 n에 대해 bn = 0과 동치이다.
• Greenberg의 추측은 모든 계층 n에 대해 알고리즘이 최대 한 번의 단계 내에 종료될 때에만 참이다. 즉, 모든 n에 대해 bn ≤ 1이 성립한다.
• Tk는 알고리즘 내에서 클래스 요인과 노름 요인의 진화를 지배하며, 그 구조가 알고리즘이 유계로 유지되는지 여부를 결정한다.
• 추측 5.4는 Ck와 Rk 내에서 기본 이상수 tj의 이미지가 균일하게 분포되어 있음을 암시하며, 이는 bn ≤ 1 for all n를 암시하여 Greenberg의 추측이 확률적으로 1로 성립함을 뒷받침한다.
• 논문은 λ나 µ가 0이 아니면 n → ∞일 때 bn → ∞가 되며, 이는 추측된 경우와 비추측된 경우 사이에 급격한 불연속성이 존재함을 보여준다.
• 논문은 이상수의 노름이 Tk 내에서 무작위처럼 행동함으로써 알고리즘의 비유계 성장을 방지함을 힌트로 제시하며, 이는 Greenberg의 추측이 '일반적인' 체에 대해 '확률적으로 참'임을 암시한다.