[논문 리뷰] Additive structure of non-monogenic simplest cubic fields

Daniel Gil-Muñoz, Magdaléna Tinková|arXiv (Cornell University)|2022. 12. 01.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 일반화된 모듈로 지수 $[\mathcal{O}_K : \mathbb{Z}[\rho]]$가 소수 $p$인 비단기능적 가장단순 삼차체 $K = \mathbb{Q}(\rho)$의 덧셈 구조를 조사한다. 이러한 체가 존재하는 것은 $p = 3$ 또는 $p \equiv 1 \pmod{6}$일 때에만 정확히 성립하며, $p = 3$일 때 $\mathcal{O}_K$ 내의 분해 불가능 정수를 완전히 규명한다. 이 구조를 바탕으로 저자들은 Pythagoras 수 $\mathcal{P}(\mathcal{O}_K) = 6$를 유도하고, $K$ 위에서의 전지수 이차형식의 최소 랭크에 대한 경계를 설정하며, $\frac{a^2 + 3a}{3} + 12a + 12$ 개의 변수를 가진 대각형 전지수 이차형식을 제시한다.

ABSTRACT

We consider Shanks' simplest cubic fields $K$ for which the index $[\mathcal{O}_K:\mathbb{Z}[ρ]]$ of a root $ρ$ of the defining parametric polynomial is $3$. For them, we study the additive indecomposables of $K$ and provide a complete list of them. Moreover, we use the knowledge of the indecomposables to prove some interesting consequences on the arithmetic of $K$. Mainly, we obtain good bounds on the ranks of universal quadratic forms over $K$ and prove that the Pythagoras number of $\mathcal{O}_K$ is $6$.

연구 동기 및 목표

• 모듈로 지수가 소수 $p$인 비단기능적 가장단순 삼차체 $K = \mathbb{Q}(\rho)$의 덧셈 구조를 특성화하기 위해.
• 특수한 경우 $p = 3$에 대해 $\mathcal{O}_K$ 내의 분해 불가능 정수의 완전한 집합을 규명하고, 이들이 $\mathbb{Z}[\rho]$에 대한 상대적 행동을 분석하기 위해.
• 체 $K$의 산술적 불변량, 특히 Pythagoras 수와 $\mathcal{O}_K$ 위에서의 전지수 이차형식의 최소 랭크에 대한 경계를 도출하기 위해.
• Minkowski 공간의 격자점에 대한 기하적 및 추적 기반 방법을 활용하여 단기능적 가장단순 삼차체에서의 결과를 비단기능적 경우로 확장하기 위해.

제안 방법

• 참고문헌 [16]의 기하적 방법을 활용하여, $\mathbb{R}^3$인 Minkowski 공간 내에서 $\mathcal{O}_K$에 대응하는 두 개의 평행육면체 내의 격자점을 식별한다.
• 추적 기준을 사용: $\mathcal{O}_K$의 대수적 정수 $\alpha$는 $\mathcal{O}_K^\vee$의 어떤 전적으로 양수인 원소에 대해 최소 추적이 1이면 분해 불가능하다.
• $p = 3$일 경우, 저자들은 모듈로 지수의 구조 분석과 $\mathcal{O}_K$ 기저에서의 선형 디오판틴 방정식의 해를 구함으로써 분해 불가능 원소를 명시적으로 계산한다.
• 모든 전적으로 양수인 단위가 제곱임을 이용하여, 단위 곱에 관해 분해 불가능 원소의 분류를 단순화한다.
• Pythagoras 수 $\mathcal{P}(\mathcal{O}_K)$는 원소를 제곱의 합으로 표현하는 방식을 분석함으로써 계산되며, 특히 $\gamma$를 분해 불가능 원소로 분해하고 7을 표현하기 위해 필요한 최소 제곱수의 수를 고려한다.
• 분해 불가능 원소의 수 $\#S$를 활용하여, [16]의 정리 7.11을 적용함으로써 대각형, 고전형, 비고전형 이차형식에 대한 최소 랭크의 경계를 도출한다.

실험 결과

연구 질문

• RQ1 모듈로 지수가 소수 $p$인 비단기능적 가장단순 삼차체 $K = \mathbb{Q}(\rho)$가 존재하는 소수 $p$는 무엇인가?
• RQ2 $p = 3$일 때 $\mathcal{O}_K$ 내의 덧셈 분해 불가능 정수의 완전한 구조는 무엇인가?
• RQ3 $\mathcal{O}_K$ 내의 분해 불가능 원소의 행동이 $\mathbb{Z}[\rho]$ 내의 것과 어떻게 다를까?
• RQ4 이러한 체에 대해 Pythagoras 수 $\mathcal{P}(\mathcal{O}_K)$는 얼마이며, 원소를 제곱의 합으로 표현하는 데 어떻게 관련되는가?
• RQ5 대각형, 고전형, 비고전형 전지수 이차형식의 $\mathcal{O}_K$ 위에서의 최소 랭크는 무엇인가?

주요 결과

• 모듈로 지수가 소수 $p$인 비단기능적 가장단순 삼차체 $K = \mathbb{Q}(\rho)$가 존재하는 것은 $p = 3$ 또는 $p \equiv 1 \pmod{6}$일 때에만 정확히 성립한다.
• $p = 3$일 경우, $\mathcal{O}_K$ 내의 분해 불가능 정수의 완전한 집합이 완전히 규명되었으며, 이들의 구조는 $\mathbb{Z}[\rho]$ 내의 분해 불가능 원소와 균일하지 않다.
• Pythagoras 수 $\mathcal{P}(\mathcal{O}_K)$는 정확히 $\mathcal{P}(\mathcal{O}_K) = 6$이다. 이는 7이 최소 4개의 제곱수로 표현되어야 하고, $\gamma$가 최소 6개의 제곱수로 표현되어야 하기 때문이다.
• 모든 $a \equiv 3, 21 \pmod{27}$, $a > 12$, 그리고 $\Delta/27$가 제곱자유일 때, $\frac{a^2 + 3a}{3} + 12a + 12$ 개의 변수를 가진 대각형 전지수 이차형식이 $\mathcal{O}_K$ 위에 존재한다.
• 모든 고전형 전지수 이차형식은 최소 $\frac{a^2 + 3a}{54}$ 개의 변수를 가져야 한다.
• $a > 64$일 경우, 모든 비고전형 전지수 이차형식은 최소 $\frac{\sqrt{a^2 + 3a}}{9\sqrt{2}}$ 개의 변수를 가져야 한다.