GL(3) × GL(2) 고차 이동 합성곱 문제와 L-함수의 응용

기본 정보

• 논문 ID: 2511.03294
• 제목: A higher rank shifted convolution problem with applications to L-functions
• 저자: Valentin Blomer, Junxian Li
• 분류: math.NT (정수론)
• 발표 시간: 2025년 11월 5일
• 논문 링크: https://arxiv.org/abs/2511.03294v1

초록

본 논문은 GL(3) × GL(2) 이동 합성곱 문제에서 오랫동안 미해결이었던 경우를 해결한다: 한 인수는 고전적 약수 함수이고 다른 인수는 GL(3) 푸리에 계수이다. 증명 방법은 두 가지 서로 다른 유형의 델타 기호 방법의 교차 적용을 포함한다. 응용으로서, 디리클레 특성으로 비틀린 GL(3) 자기동형 형식의 L-함수 중심값의 점근 공식을 확립한다(모듈로 q ≤ Q).

연구 배경 및 동기

연구 문제

이동 합성곱 문제(shifted convolution problem)는 두 개의 (보통 곱셈적인) 산술 함수가 가산 편이만큼 다른 매개변수에서의 곱의 점근 공식을 연구하며, 두 함수의 상관성을 측정하는 중요한 도구이다.

문제의 중요성

1. 고전적 배경: 가장 고전적인 약수 함수의 경우 $\sum_{n≤x} τ(n)τ(n+1)$는 1세기 동안 연구되어 왔다
2. 이론적 의의: 이동 합성곱 문제는 L-함수의 모멘트, 체 이론, Titchmarsh 약수 문제 등 핵심 정수론 문제와 밀접하게 관련되어 있다
3. 기술적 도전: 고차 자기동형 형식의 이동 합성곱 문제는 극도로 도전적이며, 대부분의 경우에 대한 비자명한 결과는 아직 알려지지 않았다

기존 방법의 한계

GL(3) × GL(2)의 경우, 다음과 같은 진전이 있었다:

• 경우(1.1): $\sum_{n≤x} τ_3(n)τ(n+1)$ - Hooley가 주항을 획득, Deshouillers가 거듭제곱 절감 오차항 제시, Topacogullari가 현재 최고 $O(x^{5/6+θ/3+ε})$ 달성
• 경우(1.2): $\sum_{n≤x} τ_3(n)λ(n+1)$ - Pitt가 거듭제곱 절감 경계 확립, Tang이 $O(x^{5/6+θ/3+ε})$ 달성
• 경우(1.3): $\sum_{n≤x} A(n,1)λ(n+1)$ - Munshi가 거듭제곱 절감 경계 획득, Xi가 $O(x^{21/22+ε})$ 달성

그러나 경우(1.4): $\sum_{n≤x} A(n,1)τ(n+1)$은 오랫동안 미해결이었으며, 이전 경우들을 다루는 어떤 방법으로도 공략할 수 없었다.

연구 동기

1. 이론적 공백 채우기: 경우(1.4)는 GL(3) × GL(2) 이동 합성곱 문제의 마지막 미해결 경우이다
2. 방법론적 돌파: 약수 함수의 지수합은 주호(main arc)에서 성능이 좋지 않으므로(L² 의미에서), Jutila의 원 방법이나 Kloosterman 방법을 직접 적용할 수 없다
3. 응용 가치: 이 문제를 해결하면 GL(3) L-함수 비틀림 모멘트의 점근 공식을 확립할 수 있으며, 이는 20년 이상 만에 처음이다

핵심 기여

1. 장기 미해결 문제 해결: GL(3) 푸리에 계수와 약수 함수의 이동 합성곱 문제에 대한 거듭제곱 절감 경계를 처음으로 확립
2. 혁신적 방법론: Jutila 방법과 Kloosterman 정제 원 방법을 처음으로 교차 적용하여 각각의 한계를 돌파
3. 완전 일관성: 이중선형 이동 방정식에서 모든 매개변수 h, λ₁, λ₂에 대해 완전 일관성 달성
4. L-함수 모멘트의 점근 공식: 디리클레 특성으로 비틀린 GL(3) 자기동형 형식의 L-함수 중심값의 점근 공식 확립, 약 Q² 항 포함하지만 도함수는 약 Q³

방법 상세 설명

핵심 정리

정리 1: h, λ₁, λ₂ ∈ ℤ{0}, x ≥ 1이라 하자. W, W₀를 1,2에서 컴팩트 지지를 가지는 매끄러운 함수라 하자. A(n,1)을 SL₃(ℤ) 군 위의 첨점 형식 F의 Hecke 고유값이라 하자. 그러면 $\sum_{λ₁m-λ₂n=h} A(n,1)τ(m)W_0\left(\frac{|λ₁|m}{x}\right)W\left(\frac{|λ₂|n}{x}\right) \ll_{F,W,W_0,ε} x^{41/42+ε}$ 모든 ε > 0에 대해 일관성 있게 성립하며, h, λ₁, λ₂에 대해서도 일관성 있게 성립한다.

정리 2: τ(m)을 $τ_{A,B}(m) := \sum_{ab=m} v_1(a/A)v_2(b/B)$로 대체하는 더 유연한 변형이며, AB ≍ x/|λ₁| 조건 하에서 동일한 경계를 얻는다.

기술 구조

1. 델타 기호 방법의 이중 적용

본 논문은 두 가지 델타 기호 방법을 혁신적으로 결합한다:

Jutila 방법(보조정리 1):

• 유연한 모듈로 선택 제공, 이중선형 구조 생성
• L² 의미에서만 델타 함수 근사
• 주기 함수 정의: $χ(α) = \frac{1}{δL}\sum_q ω(q)\sum_{a\bmod q, (a,q)=1}\sum_{k∈ℤ} ψ\left(\frac{1}{δ}\left(α-\frac{a}{q}+k\right)\right)$
• 핵심 성질: $\int_0^1 (1-χ(α))^2 dα \ll ψ \frac{Q^2\|ω\|_∞|\log δ|^3}{L^2δ}$

Kloosterman 정제 방법(보조정리 2):

• 주호에서 약수 함수의 지수합에 민감
• Farey 분수 분해를 이용하여 0,1 구간 분해
• 제곱근 절감의 b/c 추정 제공(모듈로 c의 b에 대해)

2. 방법의 교차 적용

단계 1: 초기 분해 합을 S₁ + S₂로 표현하며, 여기서:

• S₁: χ(α)의 기여
• S₂: (1-χ(α))의 기여

단계 2: S₂의 추정(부호호)

• 매개변수 C₀ < C 선택, logC ≍ log x
• c ≤ C의 합을 주호(c ≤ C₀)와 부호호(C₀ < c ≤ C)로 분할
• 부호호: L² 추정과 Voronoi 합(보조정리 3, 4) 활용
• 주호: Kloosterman 정제 적용(보조정리 2), 핵심 관찰은 b/c에서 비자명한(제곱근 절감) 추정을 얻을 수 있다는 것

단계 3: 특수한 모듈로 선택 Munshi의 아이디어를 채택하여 인수분해 가능한 모듈로 선택: $ω(q) = \sum_{\frac{1}{2}Q_1≤p≤Q_1, p\text{ 소수}, p∤hλ_1λ_2} \sum_{t∈ℕ, pt=q} ρ\left(\frac{t}{Q_2}\right)$ 여기서 Q = Q₁Q₂. 이는 이중선형 구조를 생성한다.

단계 4: S₁의 추정

• τ(m)과 A(n,1)에 대해 Voronoi 합(보조정리 3, 5) 적용
• 핵심: m과 p 합을 절댓값 내에 유지(Mu, Xi와 다름)
• Cauchy-Schwarz 부등식 적용
• Poisson 합과 특성 합 추정 활용(보조정리 7, 8)

3. 특성 합의 정밀한 추정

보조정리 7: 초Kloosterman 합의 개선된 경계 $Σ_{h,d,n_1,n_2}(c) \ll_ε c^{1+ε}c_2^{1/2}\frac{\sqrt{(n_1,c_1,d,h)}}{\sqrt{n_1}}$ 여기서 c = c₁c₂, c₁은 제곱 없음, c₂는 완전 거듭제곱, (c₁,c₂)=1.

보조정리 8: 이중 소수 경우의 특성 합 추정