[논문 리뷰] Remarks on Rémond's generalized Lehmer problems

Robert Grizzard|arXiv (Cornell University)|2017. 10. 31.

Mathematical and Theoretical Analysis참고 문헌 5인용 수 4

한 줄 요약

이 논문은 $\Gamma = \langle g_1,\dots,g_n\rangle^{\text{div}}$ 에서 $\mathbb{G}_m$ 에서 레몽의 일반화된 레이머 추측의 1차 형식이 전체 강한 형식만큼 강력하다고 보여준다. 캐논리컬 높이 척도에서 디오판틴 근사 기법을 적용함으로써, 저자는 1차 형식이 지수 $2+\varepsilon$ 를 가진 상대 레이머 유형의 하한을 암시함을 증명하였으며, 이는 기존 결과를 크게 향상시키고 $\Gamma = \langle 2\rangle^{\text{div}}$ 의 경우 오랫동안 열려 있던 문제를 해결한다. 또한 레몽의 추측에 관한 이전에 발표되지 않은 부분 결과도 포함되어 있다.

ABSTRACT

We draw connections between the various conjectures which are included in G. Rémond's generalized Lehmer problems. Specifically, we show that the degree one form of his conjecture for the multiplicative group is, in a sense, almost as strong as the strong form. Our insights into the conjectures apply a basic result on what may be called Diophantine approximation in the metric induced by the canonical height. We also present a previously unpublished partial result of Rémond on his conjectures.

연구 동기 및 목표

• 레몽의 일반화된 레이머 추측의 강형, 약형, 1차 형식 간의 논리적 관계를 명확히 하는 것.
• 1차 형식이 지수 $2+\varepsilon$ 를 가진 비자명한 상대 높이 하한을 암시함을 증명하여 강한 형식에 가까운 결과를 도출하는 것.
• 캐논리컬 높이 척도에서 디오판틴 근사 기법을 적용하여, 부분군 $\Gamma$ 에 대한 점들의 높이에 대한 효과적인 하한을 도출하는 것.
• 레몽의 추측에 관한 이전에 발표되지 않은 부분 결과를 제시하여 일반화된 레이머 문제에 대한 이해를 향상시키는 것.
• $\Gamma = \langle 2\rangle^{\text{div}}$ 의 경우를 해결함으로써 1차 형식이 강한 형식을 암시함을 보여, 이 분야에서 오랫동안 열려 있던 문제를 진전시키는 것.

제안 방법

• 캐논리컬 높이 $h$ 를 $\mathcal{G}(\overline{\mathbb{Q}})/\mathcal{G}(\overline{\mathbb{Q}})_{\text{tors}}$ 에서의 노름으로 사용하며, 이는 $\mathbb{Q}$-벡터 공간이다.
• 상대 높이 $h_\Gamma(P) = \inf_{\gamma \in \Gamma} h(P - \gamma)$ 를 정의하여, 이를 부분군 $\Gamma$ 로부터의 거리로 해석한다.
• 캐논리컬 높이에 의해 유도된 척도에서 디오판틴 근사 추정을 적용하며, 특히 $h(\sigma\alpha / \alpha)$ 에 대한 경계를 활용한다.
• 카펠리-크네저 정리를 사용하여 $\alpha^m \in K_\Gamma$ 인 경우 $[K_\Gamma(\alpha):K_\Gamma]$ 의 차수를 분석하고, $x^m - \alpha^m$ 의 기약성을 보장한다.
• 효과적인 하한 [AD07] 및 [BG06] 을 사용하여 $\beta \notin k^{\text{div}}$ 인 경우 $h(\beta)$ 에 대한 하한을 도출하고, 이를 $V_k(\alpha)$ 와 $W_k(\alpha)$ 에 대한 하한으로 변환한다.
• 로그 및 차수 기반 추정을 사용하여 명시적인 부등식 (4.5)–(4.7) 을 유도하며, 이는 $[k^{\text{ab}}(\alpha):k^{\text{ab}}]$ 와 $D_0 = [\mathbb{Q}^{\text{ab}}(\alpha):\mathbb{Q}^{\text{ab}}]$ 에 의존한다.

실험 결과

연구 질문

• RQ1 레몽의 일반화된 레이머 추측의 1차 형식이 $\Gamma = \langle g_1,\dots,g_n\rangle^{\text{div}}$ 에서 $\mathbb{G}_m$ 에서 강한 형식을 암시하는가?
• RQ2 캐논리컬 높이 척도에서의 디오판틴 근사가 $\alpha \notin \Gamma$ 인 경우 $h_\Gamma(\alpha)$ 에 대한 효과적인 하한을 도출할 수 있는가?
• RQ3 1차 형식의 정량적 강도는 상대 레이머 문제와 어떻게 관련되어 있는가?
• RQ4 $K_\Gamma$ 와 나누기 닫힘 $\Gamma^{\text{div}}$ 의 구조가 $\alpha \in K_\Gamma$ 인 경우의 높이 하한에 어떻게 영향을 주는가?
• RQ5 레몽의 비공개 작업으로부터 도출할 수 있는 부분 결과는 무엇인가?

주요 결과

• 레몽의 추측의 1차 형식은 $h(\alpha) \geq C_{\Gamma}^{0}/[K_\Gamma(\alpha):K_\Gamma]$ 의 형태를 가진 상대 높이 하한을 암시하며, 이는 약한 형식보다 강력하고 강한 형식에 거의 근접한다.
• 모든 $\varepsilon > 0$ 에 대해, 1차 형식은 $h_\Gamma(\alpha) \geq c(k,\varepsilon)/[k^{\text{ab}}(\alpha):k^{\text{ab}}]^{2+\varepsilon}$ 를 암시하며, 이는 1차 형식이 강력한 상대 레이머 유형 하한을 암시함을 보여준다.
• 증명 과정에서 $h_\Gamma(\alpha) \geq \frac{1}{2} W_k(\alpha)$ 를 확립하고, $W_k(\alpha)$ 에 대한 효과적인 하한을 활용하여 로그 및 차수 기반 의존성을 가진 명시적 부등식 (4.5)–(4.7) 을 도출한다.
• $\alpha^m \in K_\Gamma$ 이고 $m$ 이 최소일 경우, 카펠리-크네저 정리에 의해 $[K_\Gamma(\alpha):K_\Gamma] = m$ 이며, 이는 1차 형식을 사용하여 $h(\alpha)$ 를 아래로부터 $C_\Gamma^0 / m$ 으로 유계화할 수 있음을 보장한다.
• 결과적으로 $\Gamma = \langle 2\rangle^{\text{div}}$ 의 경우 1차 형식이 강한 형식을 암시함을 보여, 오랫동안 열려 있던 문제를 해결한다.
• 레몽의 비공개 작업에서 유래한 이전에 발표되지 않은 부분 결과가 제시되며, 이는 1차 형식이 특정 조건 하에서 강한 형식을 암시함을 보여주며, 일반화된 레이머 문제의 구조에 대한 새로운 통찰을 제공한다.