Liouville function, von Mangoldt function and norm forms at random binary forms

기술 요약: 무작위 이항 형식에서의 리우빌 함수, 폰 망골트 함수 및 노름 형식

문제 정의
본 논문은 차수가 $d$인 무작위 이항 형식의 값들에 대해 평가된 산술 함수의 평균적 거동을 조사한다. 구체적으로, 다음의 세 가지 상호 연결된 문제를 다룬다:

1. 초와 추측 (Chowla Conjecture): 이항 형식의 값들에 대한 리우빌 함수 $\lambda(n)$의 소거(cancellation)를 분석한다.
2. 베이트만-혼 추측 (Bateman–Horn Conjecture): 폰 망골트 함수 $\Lambda(n)$을 이용하여 이항 형식 튜플들의 동시 소수 값들에 대한 점근 공식(asymptotic formulas)을 확립한다.
3. 하세 원리 (Hasse Principle): 노름 형식에 의해 정의된 샤틀레 다양체(Châtelet varieties)가 유리적 하세 원리를 만족하는 비율을 결정한다.

이전 연구인 Browning, Sofos, Teräväinen [5]는 일변수 무작위 다항식에 대해 유사한 결과를 확립했으나, 본 논문은 이를 두 변수를 가진 이항 형식으로 확장한다. 핵심적인 과제는 이항 형식이 가진 기하학적 및 산술적 복잡성의 증가에도 불구하고, "거의 모든" 이항 형식(조합론적 의미에서)이 이러한 추측들이 예측하는 기대 통계적 거동을 보임을 입증하는 것이다.

방법론
본 논문은 조합론적 큐브(combinatorial cubes) 개념을 중심으로 하는 확률론적 및 해석적 정수론 접근 방식을 채택한다. 조합론적 큐브 $C$는 특정 계수는 고정되고 나머지는 범위 $[-H, H]$ 내에서 변하는 계수 벡터 $(c_0, \dots, c_d) \in \mathbb{Z}^{d+1}$의 부분집합으로 정의된다. 목표는 측도(side length)가 $H$인 계수 집합 $C$에 대하여, "나쁜" 형식들(추측을 만족하지 못하는 형식들)이 무시할 수 있는 비율, 즉 $O((\log H)^{-A})$임을 보이는 것이다.

핵심 기술적 장치는 다음과 같다:

• 산술 급수에서의 균등 분포 (Equidistribution in Arithmetic Progressions): 본 논문은 [5]의 핵심 도구(정리 2.1)를 일반화하여, 산술 급수에서의 산술 함수의 균등 분포와 무작위 다항식에 대한 평균적 거동 사이의 관계를 연결한다. 이는 $\sum F(am^k n^{d-k} + bm^l n^{d-l} + g(m,n))$ 형태의 합을 제어함으로써 이항 형식으로 적응된다.
• 체 이론 및 국소적 계수 (Sieve Theory and Localized Counting): 노름 형식 문제의 경우, 저자는 국소적 계수 함수 $\hat{N}_c(x)$를 도입한다. 이 함수는 탐색 범위를 특정 영역 $B$로 제한하고 국소 밀도(singular series)와 아르키메데스 밀도를 통합함으로써, $N_K(x) = g_c(u)$의 정수 해에 대한 전역적 계수를 근사한다.
• 근사와 오차 분석 (Approximation and Error Analysis): 증명 전략은 거의 모든 계수에 대해 전역적 계수 함수 $N_c(x)$가 $\hat{N}_c(x)$에 의해 잘 근사됨을 보이는 것을 포함한다. 이를 위해서는 오차항 $|N_c(x) - \hat{N}_c(x)|$를 유계로 만들고, 국소적 함수 $\hat{N}_c(x)$가 드물게 작아지지 않음(즉, 해의 존재를 보장할 만큼 충분히 큼)을 입증해야 한다.
• 기하학적 및 대수적 제약 (Geometric and Algebraic Constraints): 분석은 "가분(separable)" 형식과 정수 해 또는 높은 함량(high content)을 가진 형식을 구분한다. 이러한 "적격성(admissibility)" 조건을 위반하는 형식이 드물다는 것을 보여주는 보조정리들이 제공된다. 또한 증명은 데데킨트 제타 함수와 $p$-진 체(p-adic fields) 위의 국소 밀도의 성질을 활용한다.

주요 기여 및 결과

1. 이항 형식에 대한 평균적 초와 추측 (정리 1.2):
   본 논문은 조합론적 큐브 내의 계수를 가진 차수 $d$인 이항 형식 $g \in \mathbb{Z}[s, t]$에 대하여, 거의 모든 $g$에 대해 리우빌 함수의 합이 값들에 대해 소거 현상을 보임을 증명한다. 구체적으로, $x \in [H^c, 2H^c]$에 대해,
   $$\sup_{x} \frac{1}{x^2} \left| \sum_{u,v \leq x} \lambda(g(u,v)) \right| \leq (\log H)^{-A}$$
   가 무시할 수 있는 분율의 형식을 제외하고 성립한다.

2. 이항 형식에 대한 평균적 베이트만–혼 추측 (정리 1.3):
   저자는 $r$-개 튜플의 동시 소수 값들에 대한 폰 망골트 함수의 곱의 합에 대한 점근 공식을 확립한다. 거의 모든 $r$-튜플에 대해, 다음이 성립함을 보인다:
   $$\sum_{m,n \leq x} \Lambda(g_1(m,n)) \cdots \Lambda(g_r(m,n)) \sim x^2 S_{g_1, \dots, g_r}(x)$$
   여기서 $S$는 국소 밀도의 곱이다. 이는 지정된 범위 내의 $x$에 대해 균등하게 성립한다.

3. 샤틀레 다양체의 유리적 하세 원리 (정리 1.5):
   본 논문은 고정된 차수 $e$의 노름 형식 $N_K$와 차수 $d$인 변하는 이항 형식 $g$ ($e|d$인 경우)에 대하여, 연관된 샤틀레 다양체 $N_K(x) = g(u)$가 100%의 계수 벡터에 대해 유리적 하세 원리를 만족함을 증명한다.
   $$\frac{\#S_{glob}(H)}{\#S_{loc}(H)} = 1 + O((\log H)^{-A})$$
   여기서 $S_{loc}(H)$는 모든 곳에서 국소적으로 해를 갖는 형식을, $S_{glob}(H)$는 유리적 점을 갖는 형식을 나타낸다. 이 결과는 브라우어-마닌 장애(Brauer–Manin obstruction)가 거의 모든 해당 다양체에 대한 유일한 장애임을 시사한다.

의의 및 주장
본 논문은 Browning, Sofos, Teräväinen [5]의 "평균적" 방법론을 일변수 다항식에서 이항 형식으로 확장하며, 이는 이항 형식이 가진 더 높은 차원성과 다른 산술적 특성을 고려할 때 중요한 진전이다.

• 콜리외-탈롱의 추측 해결 (평균적 사례): 본 연구는 노름 형식 방정식의 하세 원리에 관한 콜리외-탈롱의 추측에 대한 평균 버전을 제공한다. 이전 연구들이 특정 사례(예: 선형 다항식 또는 특정 차수)를 다루었던 것과 달리, 본 논문은 노름의 차수가 이항 형식의 차수를 나누는 경우, 지정된 유형의 노름 형식 방정식 중 100%에 대해 이 원리가 성립함을 증명한다.
• 정량적 정밀도: 결과는 $(\log H)^{-A}$ 차수의 명시적인 오차항을 제공하는 정량적 결과이며, 이를 통해 높이 순서가 매겨진 이항 형식의 맥락에서 "거의 모든"이라는 개념을 엄밀하게 정의할 수 있게 한다.
• 방법론적 발전: 저자는 샤틀레 다양체 방정식의 비동차성(non-homogeneity)을 다루기 위해 정교한 국소적 계수 함수와 아르키메데스 및 비-아르키메데스 밀도에 대한 상세한 분석을 도입하였다.

저자는 자신의 결과가 고려된 노름 형식 방정식의 100%에 대해 유리적 하세를 증명한다고 명시적으로 밝히는데, 이는 [5]에서 다룬 다항식의 정수적 하세 원리보다 강력한 결과이다. [5]는 비동차성으로 인해 확률 1의 유리적 사례를 보장하지 못했다. 본 논문은 모든 개별 형식에 대해 이 추측들을 해결하려는 것이 아니라, 계수 공간에 대한 통계적 극한에서의 타당성을 확립하는 것을 목적으로 한다.