[논문 리뷰] Le problème des diviseurs pour des formes binaires de degré 4

Régis de la Bretèche, T. D. Browning|ArXiv.org|2008. 08. 18.

Analytic Number Theory Research참고 문헌 5인용 수 4

한 줄 요약

이 논문은 ℚ 위에서 분해 가능한 이변수 4차형식의 값들에 대한 약수 함수의 평균 순서에 대한 渐近 공식을 수립한다. 특히 두 선형형식과 하나의 기약 2차형식의 곱 형태이다. p진 및 아델리안 조화 분석을 사용하여 주항등항이 $ X^2 ("log X)^3 $ 비례하고 정확한 산술 상수를 포함하는 공식을 도출하였으며, 확대된 볼록 영역에서 곱셈 함수의 합에 대한 이전 연구를 확장한다.

ABSTRACT

We study the average order of the divisor function, as it ranges over the values of binary quartic forms that are reducible over the rationals.

연구 동기 및 목표

• 분해 가능한 이변수 4차형식 $ F(\mathbf{x}) = L_1(\mathbf{x})L_2(\mathbf{x})Q(\mathbf{x}) $, 여기서 $ L_1, L_2 $ 는 선형형식이고 $ Q $ 는 ℚ 위에서 기약 2차형식일 때, 약수 함수 $ \tau(n) $ 의 평균 순서를 결정하는 것.
• Heath-Brown의 두 제곱수의 합 $ r(n) $ 에 대한 연구를 이변수형식의 맥락에서 약수 함수 $ \tau(n) $ 으로 확장하는 것.
• 다음과 같은 합에 대한 渐近 공식 유도: $ T(X) = \sum_{\mathbf{x} \in \mathbb{Z}^2 \cap X\mathcal{R}} \tau(L_1(\mathbf{x})L_2(\mathbf{x})Q(\mathbf{x})) $, 여기서 $ \mathcal{R} $ 은 유계 볼록 영역이다.
• 주항등항에 나타나는 산술 상수 $ C $ 를 계산하는 것. 이는 소수 모듈로 $ p^\nu $ 에서의 합동식 해의 국소 밀도를 포함하는 오일러乘법의 형태로 표현된다.
• Daniel의 기약 4차형식 결과에 포함되지 않는 다른 분해 가능한 4차형식에 적용 가능한 일반적인 방법 개발

제안 방법

• 저자들은 이중 분할을 사용하고, p진 및 아델리안 조화 분석를 통한 일반화된 원방법을 적용하여, 약수의 로그 제약 조건이 있는 표현 수를 세는 합 $ S(X;V) $ 를 연구한다.
• 국소 밀도 $ \varrho(\mathbf{d}) $ 는 $ d_i \mid L_i(\mathbf{x}) $, $ d_3 \mid Q(\mathbf{x}) $ 를 만족하는 $ d_1d_2d_3 $ 모듈로 해의 수로 정의되며, 이를 통해 오일러 곱을 통한 산술 상수 $ C $ 를 구성한다.
• 핵심 기법은 가중 함수 $ g $ 를 도입하고, 적분 by parts 및 로그 공간에서의 체적 추정을 통해 합 $ T_g'(X;V') $ 를 분석하는 것이다.
• 저자들은 $ \overline{\varrho}^\dagger_p(\nu_1,\nu_2,\nu_3) $ 를 도입하여, 이는 합동식 시스템의 p진 해의 밀도를 캡처하며, 모비우스 역행렬을 통해 곱셈 함수와 연결한다.
• 이 방법은 $ L_1, L_2, Q, \mathcal{R} $ 의 매개변수에 대해 균일한 추정에 의존하며, $ L_\infty $, $ r_\infty $, $ r' $ 의 유계성 조건을 통해 오차 항이 $ O(X^2 (\log X)^{2+\varepsilon}) $ 임을 보장한다.
• 증명은 변수변환과 로그 척도에서의 체적 비교를 통해 합을 영역 $ V' $ 의 체적과 연결하며, 최종적으로 渐近 공식을 도출한다.

실험 결과

연구 질문

• RQ1 확대된 볼록 영역 내에서 정수 평면 $ \mathbb{Z}^2 $ 에서 분해 가능한 이변수 4차형식이 취하는 값들에 대한 약수의 평균 수의 渐近 행동은 어떻게 되는가?
• RQ2 주항등항에 나타나는 산술 상수는 소수에 대한 해의 국소 밀도를 포함하는 오일러 곱으로 어떻게 명시적으로 계산할 수 있는가?
• RQ3 이 논문에서 사용된 분해 가능한 4차형식에 대한 방법은 기약 4차형식으로 얼마나 일반화될 수 있는가? 특히 Daniel의 결과에 포함되지 않는 경우에 대해 어떻게 되는가?
• RQ4 국소 밀도 $ \varrho(\mathbf{d}) $ 는 전반적 渐近 상수 $ C $ 를 결정하는 데 어떤 역할을 하는가?
• RQ5 선형형식과 2차형식의 곱에 대한 약수 함수의 구조는 기약 4차형식에 비해 어떻게 다를까?

주요 결과

• 합 $ T(X) = \sum_{\mathbf{x} \in \mathbb{Z}^2 \cap X\mathcal{R}} \tau(L_1(\mathbf{x})L_2(\mathbf{x})Q(\mathbf{x})) $ 는 다음과 같은 渐近 공식을 만족한다: $ T(X) = 2C \cdot \operatorname{vol}(\mathcal{R}) X^2 (\log X)^3 + O\big(X^2 (\log X)^{2+\varepsilon}\big) $, 여기서 $ C $ 는 수렴하는 오일러 곱이다.
• 산술 상수 $ C $ 는 $ C = \prod_p \left(1 - \frac{1}{p}\right)^3 \left(1 + \sum_{\nu \in \mathbb{N}} \frac{\varrho(1,p^\nu,1) + \varrho(p^\nu,1,1) + \varrho(1,1,p^\nu)}{p^{2\nu}} \right) $ 로 주어지며, 국소 해 가능성 조건을 암시한다.
• 주항등항은 $ X^2 (\log X)^3 $ 의 형태를 띠며, 이는 세 개의 서로 다른 형식에 대한 약수 함수의 곱셈적 구조를 반영한다.
• 오차 항은 $ O(X^2 (\log X)^{2+\varepsilon}) $ 이며, 이 상수는 $ \varepsilon $, $ L_1, L_2, Q $, 그리고 $ \mathcal{R} $ 의 지름에 의존한다.
• 이 방법은 분해 가능한 4차형식의 경우에 성공적으로 적용되었으며, 다른 이변수형식 클래스로의 일반화를 위한 틀을 제공한다.
• 논문은 약수 함수의 평균 순서가 국소 밀도의 곱에 의해 결정되며, 전반적 상수 $ C $ 가 p진 및 아르키메데스 기여의 조합으로 유도됨을 확인한다.