Cubic Polynomials and Sums of Two Squares

기술적 요약: 세제곱 다항식과 두 제곱수의 합

문제 진술
본 논문은 음의 판별식을 갖는 기약 모닉 세제곱 다항식 $p(x) \in \mathbb{Z}[x]$가 두 제곱수의 합이 되는 값을 갖는 빈도에 대해 다룬다. 구체적으로, $B_p(X)$를 $p(n)$이 두 제곱수의 합이 되는 정수 $n \le X$의 집합이라 하자. $p(x) = x^3 - 2$에 대한 그러한 값의 무한성에 관한 Grechuk(2021)의 질문에서 영감을 받은 핵심 질문은 $|B_p(X)|$에 대한 정량적 하한을 확립하는 것이다. 본 논문은 그러한 정수가 무한히 많은지 여부를 규명하고, 만약 그렇다면 그 밀도에 대한 점근적 추정을 제공하고자 한다.

방법론
증명 전략은 모든 정수 $t$에 대해 $p(R(t))$가 두 제곱수의 합이 되도록 하는 "충분히 조밀한" 차수 6 정수값 다항식 $R(t)$의 집계를 구성하는 데 의존한다. 방법론은 다음과 같은 단계를 거친다:

1. 대수적 재형식화: 문제는 $p(x)$의 근인 $\theta$에 대한 정수환 $\mathbb{Z}[\theta]$로 번역된다. 조건 $p(n) \in \mathbb{Z}^2$(두 제곱수의 합)는 $\mathbb{Z}[\theta]$ 내의 원소 존재성과 연결되며, 그 원소들의 노름과 유사한 구조가 제곱수의 합과 관련된다. 구체적으로, 본 논문은 어떤 $q \in \mathbb{Z}^2 \setminus \{0\}$에 대해 $q(n - \theta)$가 $\mathbb{Z}[\theta]$에서 두 제곱수의 합이 되는 시점을 조사한다.
2. 차수 6 체에서의 단위론적 논증: 분석의 핵심 요소는 차수 6 수체 $K = \mathbb{Q}(\theta, i)$의 산술이다. $p(x)$가 하나의 실근과 두 개의 켤레 복소근을 가지므로, $K$는 CM-체이다. 디리클레 단위 정리에 따라 정수환 $\mathcal{O}_K$의 단위군은 랭크가 2이다. 증명은 2 차원 단위 논증을 활용하여, 단위를 유한한 torsion 원소 집합과 두 개의 기본 단위의 거듭제곱으로 분해한다. 하나는 복소수 절댓값이 1 이 아닌 단위이고, 다른 하나는 절댓값이 1 인 단위이다.
3. 격자점 계수: 저자들은 $\mathbb{Z}[\theta]$ 내의 계수가 유계인 원소들의 쌍을 나타내는 집합 $R_{\theta, q}(Y_1, Y_2)$를 정의하며, 이들의 제곱의 합이 $q(n-\theta)$가 되도록 한다. 증명 핵심은 $p(x)$의 계수들에 대한 특정 홀짝성 조건 하에서 이러한 집합들의 기수(cardinality)에 대한 하한을 확립하는 것이다.
4. 홀짝성 조건: 분석은 $p(x) = x^3 + a_2x^2 + a_1x + a_0$의 계수 $a_2, a_1, a_0$에 따라 두 가지 경우로 나뉜다:
   • 경우 1: $a_2^2 - a_1$이 짝수이고, $a_1a_2 - a_0$이 홀수이다.
   • 경우 2: $a_0 \equiv 2 \pmod 4$이고, $a_1, a_2 \equiv 0 \pmod 4$이다.

주요 기여 및 결과
본 논문은 다음과 같은 주요 정리를 확립한다:

정리 1.1: $p(x) = x^3 + a_2x^2 + a_1x + a_0$가 위의 경우 1 또는 경우 2 중 하나를 만족하며, 하나의 실근과 두 개의 복소근을 갖는 기약 세제곱 다항식이라면, 다음이 성립한다:
$$|B_p(X)| \gg X^{1/3 - o(1)}$$
이 결과는 Grechuk 의 질문에 대한 정량적 답변을 제공하며, $p(x) = x^3 - 2$(이는 경우 2 를 만족함) 에 대해 $n^3 - 2$가 두 제곱수의 합이 되는 정수 $n \le X$의 개수가 적어도 $X^{1/3 - o(1)}$임을 확인한다.

또한, 본 논문은 $R(t)^3 - 2 = S_1(t)^2 + S_2(t)^2$가 항등적으로 성립함을 보여주는 명시적인 다항식 치환 $R(t), S_1(t), S_2(t)$를 제공한다. 이러한 다항식들은 보조정리 1.6 의 증명에서 기술된 시스템 $T$를 사용하여 유도되었다.

의의 및 한계
본 논문은 이전까지 그러한 추정이 부재했던 세제곱 다항식과 두 제곱수의 합을 포함하는 디오판토스 방정식的一类에 대해 정량적 하한을 제공한다는 점에서 의의가 있다. 이 결과는 2 차 다항식에 관한 Friedlander 와 Iwaniec 의 연구에 기반하지만, 연관된 Châtelet 곡면의 기하학이 더 복잡해지는 3 차 경우로 그 난이도를 확장한다.

저자들은 다음과 같은 여러 한계와 겸손한 주장을 언급한다:

• 최적성: $X^{1/3 - o(1)}$라는 하한은 항상 최적이지 않다. 만약 $p(q_0(x)) = q_1(x)^2 + q_2(x)^2$를 만족하는 2 차 다항식 $q_0$에 대한 다항식 치환이 존재한다면, 그 개수는 $X^{1/2}$가 될 것이다. 저자들은 특정 경우 (예: $x^3 + 17$) 에 대해 그러한 치환을 발견했으나, 임의의 모닉 세제곱 다항식에 대해서는 이를 찾지 못해 일반적인 경우는 열려 있다.
• 범위: 논증은 음의 판별식 (하나의 실근, 두 개의 복소근) 을 갖는 기약 모닉 세제곱 다항식에 국한된다. 본 논문은 세 개의 서로 다른 실근을 갖는 다항식으로는 논증이 단순하게 일반화될 수 없다고 명시적으로 밝힌다.
• 일반화: 하한 논증은 음의 판별식을 갖는 다른 2 차 형식 $x^2 + ny^2$로 일반화될 것으로 예상되지만, $n$이 음수일 때는 관련 환 내 단위들의 밀도에 관한 정보가 부족하여 이론이 붕괴된다.
• 포괄성: 현재 결과는 음의 판별식을 갖는 3 차 모닉 기약 다항식 중 약 26.5625%(특정 홀짝성 조건을 만족하는 것들) 를 다룬다. 저자들은 모든 경우를 포괄하려면 $R_{\theta, 2^t}$ 집합을 포함하는 더 복잡한 홀짝성 논증이 필요할 것이라고 제안하며, 이는 본 논문에서 다루지 않았다.

본 논문은 질문 1.2 로 마무리된다: 어떤 기약 모닉 세제곱 다항식에 대해서도, $p(q_0(x)) = q_1(x)^2 + q_2(x)^2$를 만족하는 정수값 2 차 다항식 $q_0$과 유리수 계수 다항식 $q_1, q_2$가 존재하는가?