[논문 리뷰] Arithmetic of higher-dimensional orbifolds and a mixed Waring problem

T. D. Browning, Shuntaro Yamagishi|arXiv (Cornell University)|2019. 02. 20.

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

한 줄 요약

이 논문은 고차원 오비폴드 $(\mathbb{P}^{n-1}, \Delta)$에서 높이가 유계인 유리점의 수에 대한 渐近 공식을 수립한다. 여기서 $\Delta$는 슈퍼포트가 초평면 위에 있고, 각각의 중복도 $m_i \geq 2$인 $\mathbb{Q}$-분할이다. 하디–리틀우드 원주법과 비노그라도프의 평균값 정리의 최신 발전을 활용하여, 혼합 워링 조건 하에 계수 함수 $N(\mathbb{P}^{n-1}, \Delta; B)$가 $cB^{\sum_{i=0}^n \frac{1}{m_i} - 1} + O(B^{\sum_{i=0}^n \frac{1}{m_i} - 1 - \eta})$를 만족함을 증명하며, 이는 캄파나 점의 밀도에 관한 질문을 해결한다.

ABSTRACT

We study the density of rational points on a higher-dimensional orbifold $(\mathbb{P}^{n-1},D)$ when $D$ is a $\mathbb{Q}$-divisor involving hyperplanes. This allows us to address a question of Tanimoto about whether the set of rational points on such an orbifold constitutes a thin set. Our approach relies on the Hardy-Littlewood circle method to first study an asymptotic version of Waring's problem for mixed powers. In doing so we make crucial use of the recent resolution of the main conjecture in Vinogradov's mean value theorem, due to Bourgain-Demeter-Guth and Wooley.

연구 동기 및 목표

• 고차원 오비폴드 $(\mathbb{P}^{n-1}, \Delta)$에서 $\Delta$가 유리 초평면 위에 지지된 $\mathbb{Q}$-분할인 경우 캄파나 점의 밀도를 결정하는 것.
• 이러한 오비폴드 위의 유리점 집합이 세르의 의미에서 박리집합(thin set)이 되는지 조사하는 것.
• 하드리–리틀우드 원주법과 비노그라도프의 평균값 정리의 최신 추정치를 활용하여 혼합 거듭제곱으로의 워링 문제를 확장하는 것.
• 중복도 $m_i$의 역수에 대한 조건 하에 계수 함수 $N(\mathbb{P}^{n-1}, \Delta; B)$에 대한 渐近 공식을 수립하는 것.

제안 방법

• 중복도 $m_i \geq 2$인 혼합 거듭제곱 $x_i^{m_i}$에 대해 하드리–리틀우드 원주법을 적용하여 워링 문제의 渐近적 형태를 연구하는 것.
• 부르간–데메터–구스와 우울리에 의한 비노그라도프의 평균값 정리의 주요 추측의 최신 해결을 활용하여 지수 합과 소수 원의 추정을 처리하는 것.
• 캄파나 점을 각각의 $x_i$가 $m_i$-완전이고 선형 조합 $c_0x_0 + \cdots + c_{n-1}x_{n-1}$이 $m_n$-완전인 유리점으로 정의하며, 높이가 $B$ 이하임을 조건으로 한다.
• 높이와 완전성 조건을 만족하는 원시 정수 해를 세는 계수 함수 $N(\mathbb{P}^{n-1}, \Delta; B)$를 수립하는 것.
• $p$-진 측도와 오일러乘수의 $\ell^1$ 수렴을 활용하여 국소 밀도와 주항등의 수렴을 분석하는 것.
• 어떤 $j$에 대해 $\sum_{i \neq j} \frac{1}{m_i(m_i+1)} \geq 1$ 조건 하에, 유형 I 및 II의 박리 부분집합이 계수 함수에 미치는 기여가 무시 가능함을 증명하는 것.

실험 결과

연구 질문

• RQ1 중복도 $m_i$에 대해 어떤 조건이면 계수 함수 $N(\mathbb{P}^{n-1}, \Delta; B)$가 거듭제곱 보정과 함께 渐近 공식을 가질 수 있는가?
• RQ2 초평면에 지지된 $\mathbb{Q}$-분할 $\Delta$를 가진 오비폴드 $(\mathbb{P}^{n-1}, \Delta)$에서 유리점의 집합은 세르의 의미에서 박리집합인가?
• RQ3 중복도 $m_i$가 서로 다를 경우, $m_i$-완전 수에 대한 혼합 워링 문제의 점근적 행동은 어떻게 되는가?
• RQ4 이러한 오비폴드에 대해 $N(\mathbb{P}^{n-1}, \Delta; B)$의 점근 전개에서 정확한 주항등과 오차항은 무엇인가?
• RQ5 원주법은 캄파나 점 수세기에서 나타나는 비균일한 지수와 완전성 조건을 다룰 수 있도록 적응 가능한가?

주요 결과

• 어떤 $c \geq 0$ 와 $\eta > 0$ 에 대해, $\sum_{i \neq j} \frac{1}{m_i(m_i+1)} \geq 1$ 인 어떤 $j$에 대해, 계수 함수 $N(\mathbb{P}^{n-1}, \Delta; B)$는 $cB^{\sum_{i=0}^n \frac{1}{m_i} - 1} + O\left(B^{\sum_{i=0}^n \frac{1}{m_i} - 1 - \eta}\right)$ 를 만족한다.
• 주항등 상수 $c$는 국소 밀도의 수렴하는 합으로 명시적으로 주어지며, 연관된 방정식에 비특이 국소 해가 존재하면 양수이다.
• 모든 $m_i=2$ 이고 $n=3$ 인 경우, 계수 함수는 $N(\mathbb{P}^2, \Delta; B) \gg B\log B$ 를 만족하며, 이는 거듭제곱 법칙 외에 로그 인자가 존재함을 시사한다.
• 지수 $\sum_{i=0}^n \frac{1}{m_i} - 1$ 은 오비폴드 만인 추측에서 예상된 점근 지수와 일치하며, 로그-거듭제곱 보정에서 $a = \sum_{i=0}^n \frac{1}{m_i} - 1$ 과 $b=1$ 이다.
• 유형 I 및 II의 박리 부분집합은 각각 $O(B^{-1+\varepsilon})$ 와 $O((\log B)^{-100})$ 의 기여를 하며, 점근 수세기에서 무시 가능하다.
• 조건 $\sum_{i \neq j} \frac{1}{m_i(m_i+1)} \geq 1$ 은 특이 급수의 절대 수렴과 주항등이 오차항을 지배함을 보장한다.