[논문 리뷰] Bilinear Forms with Kloosterman and Gauss Sums

Igor E. Shparlinski|arXiv (Cornell University)|2016. 08. 22.

Analytic Number Theory Research참고 문헌 19인용 수 7

한 줄 요약

이 논문은 대수적 기하학에 의존하지 않고 조합론적 및 문자합 기법을 사용하여 임의의 모듈러스에 대한 클루스트르만 합과 가우스 합을 포함하는 이항형식에 대해 향상된 경계를 제시한다. 주요 기여는 히케 고유형식과 관련된 L함수의 혼합 모멘트에 대한 점점 더 정밀해진 점근 공식에서 오차 항의 거듭제곱 절감 개선을 이룬 것으로, 블로머, 푸브리, 코왈스키, 마이클, 미리체비치의 이전 결과를 개선한다.

ABSTRACT

We obtain several estimates for bilinear form with Kloosterman sums. Such results can be interpreted as a measure of cancellations amongst with parameters from short intervals. In particular, for certain ranges of parameters we improve some recent results of Blomer, Fouvry, Kowalski, Michel and Milićević and also of Fouvry, Kowalski and Michel. In particular, we improve the bound on the error term in the asymptotic formula for mixed moments of $L$-series associated with Hecke eigenforms.

연구 동기 및 목표

• 임의의 모듈러스에 대해 클루스트르만 합과 가우스 합을 포함하는 이항합에 대한 기존 추정치를 향상시키고, 소수 모듈러스와 구간 지지대를 넘어서는 것.
• 깊은 대수기하학 도구에 의존하지 않고 클루스트르만 합과 가우스 합의 가중치 합에 대한 더 강력한 캔슬레이션 추정치를 제공하는 것.
• 히케 고유형식과 연결된 L함수의 혼합 모멘트에 대한 점근 공식의 오차 항을 개선하여 블로머 등 최근의 작업을 향상시키는 것.
• 덧셈적 조합론 및 제곱수 없는 수의 분포 문제에의 응용을 포함하여, 구조적 집합 위에서 지수합에 대한 이항형식의 경계를 일반화하고 강화하는 것.

제안 방법

• 샤르플린스키와 창(2024)의 방법을 적응 및 확장하여 이중 분할과 문자합 추정치를 사용하여 곱셈군의 부분집합 위에서 지수합을 제어한다.
• 조합론적 분할과 문자합의 모멘트 추정치를 융합한 하이브리드 접근법을 사용하며, 지수방정식의 해의 수에 대한 추정치를 활용한다.
• 디리클레 문자의 수직성과 구간 위에서 지수합의 모멘트 추정치를 활용하여 이항형식에서 캔슬레이션을 도출한다.
• 헤이스-브라운과 파이어스의 고차항 다항식(예: $x^{-k}$)에 대한 지수합 추정치를 적용하여 표준 클루스트르만 합의 경우를 초월한 결과를 일반화한다.
• 블로머 등(2021)의 프레임워크에 새로운 추정치를 통합하여 히케 고유형식 L함수의 혼합 모멘트에 대한 점근 공식의 오차 항을 개선한다.
• 합을 이중 구간으로 재귀적으로 분할하고 $L^r$-노름 추정치를 적용하여 각 세그먼트의 기여를 제어한다.

실험 결과

연구 질문

• RQ1 대수기하학에 의존하지 않고 임의의 합성 모듈러스에서 클루스트르만 합을 포함하는 이항형식에서 비자명한 캔슬레이션을 확립할 수 있는가?
• RQ2 가중치가 $\mathbb{Z}_q^*$의 임의의 부분집합에 지지된 경우, 클루스트르만 합의 가중 이항합에 대한 최적의 경계는 무엇인가?
• RQ3 가우스 합을 포함하는 이항형식에 대한 향상된 경계는 L함수의 혼합 모멘트에 대한 점근 공식의 오차 항을 어떻게 향상시킬 수 있는가?
• RQ4 이 방법은 $x^{-k}$나 곱셈부분군 위에서의 지수합을 포함한 다른 지수합으로 얼마나 일반화될 수 있는가?
• RQ5 히케 고유형식 L함수의 혼합 모멘트에 대한 점근 공식의 오차 항은 블로머 등이 제시한 $p^{-1/64+o(1)}$ 경계를 초월하여 어떻게 개선될 수 있는가?

주요 결과

• 이 논문은 클루스트르만 합을 포함하는 이항형식 $\mathcal{S}_q(\mathcal{A}; \mathcal{M}, \mathcal{J})$에 대해 새로운 경계를 확립하여 $r=2$일 때 $\ll \|\mathcal{A}\|_1^{1-1/r} \|\mathcal{A}\|_2^{1/r} (q + N^{1/2} q^{3/4}) q^{o(1)}$를 달성하며, 이는 이전 결과를 초월한다.
• 상수 가중치의 특수한 경우에 대해 경계는 $\ll (q + N^{1/2} q^{3/4}) q^{o(1)}$로 강화되며, 이는 L함수의 혼합 모멘트에 대한 점근 공식의 오차 항을 개선한다.
• 히케 고유형식과 관련된 L함수의 혼합 모멘트에 대한 점근 공식의 오차 항은 $p^{-1/52 + o(1)}$로 개선되었으며, 이는 이전의 블로머 등이 제시한 $p^{-1/64 + o(1)}$ 경계를 개선한다.
• 이 방법은 대수기하학을 회피하여 합성 모듈러스와 일반적인 부분집합 $\mathcal{M} \subseteq \mathbb{Z}_q^*$에 대해서도 성립하며, 이는 이전의 에탈 코hom로지에 의존하는 접근과 대비된다.
• 이 방법은 $\sum_{m,n} \alpha_m \sum_x e_q(mx^{-k} + nx)$와 같은 다른 이항합에도 일반화 가능하며, 헤이스-브라운과 파이어스의 고차항 $k$에 대한 추정치를 활용한다.
• 또한 $\sum_{m,n} \alpha_m \sum_x e_p(mg^x) e_t(nx)$와 같은 곱셈부분군 위에서의 합에도 적용 가능하며, 로체-뉴턴, 루드네브, 샤크레도프의 곱셈부분군의 덧셈에너지에 대한 추정치를 활용한다.