[논문 리뷰] Orthogonal decomposition of the space of algebraic numbers and Lehmer's problem

Paul Fili, Zachary Miner|ArXiv.org|2009. 11. 10.

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

한 줄 요약

이 논문은 갈로아 체와 차수를 기반으로 한 직교 분해를 통해 대수적 수의 모듈로 토크션 공간에 $L^p$-노름을 도입하고, 이를 레이머의 문제와 연결한다. $L^p$-레이머 추측이 고전적 추측들과 동치임을 증명한다: $p=1$일 때 원래의 레이머 추측과 $p=\infty$일 때 실진츠-자센하우저 추측과의 동치성으로, 기능 해석학적 $L^p$ 공간에서의 접근을 통해 소수 마라르 측도를 연구하는 데 새로운 프레임워크를 구축한다.

ABSTRACT

We introduce vector space norms associated to the Mahler measure by using the L^p norm versions of the Weil height recently introduced by Allcock and Vaaler. In order to do this, we determine orthogonal decompositions of the space of algebraic numbers modulo torsion by Galois field and degree. We formulate L^p Lehmer conjectures involving lower bounds on these norms and prove that these new conjectures are equivalent to their classical counterparts, specifically, the classical Lehmer conjecture in the p = 1 case and the Schinzel-Zassenhaus conjecture in the p = infinity case.

연구 동기 및 목표

• 대수적 수의 모듈로 토크션 공간에서 $L^p$-노름을 사용하여 레이머 문제를 재구성하는 것.
• 갈로아 체와 차수를 기반으로 이 공간의 직교 분해를 구성하는 것.
• 함수 해석학적 접근을 통해 $L^p$-레이머 추측과 디오판틴 추측 간의 동치성을 확립하는 것.
• 마라르 $p$-노름을 정의하고 분석하며, 특히 $p=2$의 경우에 초점을 맞추는 것.
• 단위군 $\Gamma$의 이산 위상과 $L^p$-레이머 추측이 동치임을 보여주어 수론과 기능 해석학을 연결하는 것.

제안 방법

• 대수적 수의 모듈로 토크션 공간에 대한 함수 공간 $\mathcal{F}$ 를 위임 높이와 마라르 측도를 사용해 정의한다.
• 앨콕과 바일러의 $L^p$-노름 프레임워크를 적용하여 위임 높이의 $L^p$-버전을 정의한다.
• 사영 연산자 $P_K$와 $T^{(n)}$를 사용하여 $\mathcal{F}$ 의 갈로아 체와 차수에 따른 직교 분해를 구성한다.
• 마라르 $p$-노름을 $\|f\|_{m,p} = \|Mf\|_p$ 로 정의하며, 여기서 $Mf = \sum n T^{(n)}f$ 이고, 이는 고전적 마라르 측도와 연결된다.
• $L^p$-레이머 추측이 성립함과 동시에 단위군 $\Gamma$ 가 $L^p$-위상에서 이산임과 동치임을 증명한다.
• 스펙트럼 분해와 노름 부등식을 사용하여 $\|f\|_{m,p}$ 를 $\|T^{(n)}f\|_2$ 와 $\|P_K f\|_{m,p}$ 와 연결한다.

실험 결과

연구 질문

• RQ1 마라르 측도는 어떻게 대수적 수의 모듈로 토크션 공간에 대한 함수 공간에서 $L^p$-노름으로 재해석될 수 있는가?
• RQ2 갈로아 체와 차수에 따른 $\mathcal{F}$ 의 직교 분해는 어떻게 레이머 문제의 기능 해석학적 공식화를 가능하게 하는가?
• RQ3 $L^p$-레이머 추측은 $p=1$일 때 고전적 레이머 추측과 동치이며, $p=\infty$일 때 실진츠-자센하우저 추측과 동치인가?
• RQ4 마라르 $2$-노름은 힐버트 공간의 구조에서 유래하는가? 그리고 그 스펙트럼 성질은 무엇인가?
• RQ5 $L^p$-레이머 추측이 성립함과 동시에 단위군 $\Gamma$ 가 $L^p$-위상에서 이산임과 동치인가?

주요 결과

• $L^p$-레이머 추측은 $p=1$일 때 고전적 레이머 추측과 동치이며, $p=\infty$일 때 실진츠-자센하우저 추측과 동치이다.
• 마라르 $2$-노름은 $\|f\|_{m,2} = \left(\sum_{n=1}^\infty n^2 \|T^{(n)}f\|_2^2\right)^{1/2}$ 로 정의되며, 내적을 통해 유도되어 $\mathcal{F}$ 의 완비화가 힐베르트 공간이 된다.
• 갈로아 체 $K$ 와 차수 $n$ 에 따라 $\mathcal{F}$ 의 직교 분해 $V_K^{(n)}$ 는 마라르 노름의 스펙트럼 분석을 가능하게 한다.
• $P_K$ 는 $L^p$ 에서 노름 1의 사영 연산자이며, $T^{(n)}$ 연산자와 가환하며 $L^p$-노름 구조를 유지한다.
• 단위군 $\Gamma$ 는 $L^p$-위상에서 이산임과 동시에 $L^p$-레이머 추측이 성립함과 동치이다. 이는 추측의 위상적 특성화를 제공한다.
• $p=2$ 일 때 부등식 $\|f\|_{m,2} \leq \delta(f) \|f\|_2$ 가 성립하며, 여기서 $\delta(f)$ 는 $f$ 의 최소 체의 차수이다. 이는 마라르 노름과 차수 사이의 연결 고리를 제공한다.