[논문 리뷰] On the rank of universal quadratic forms over real quadratic fields

Valentin Blomer, Vítězslav Kala|arXiv (Cornell University)|2017. 05. 10.

Analytic Number Theory Research참고 문헌 9인용 수 9

한 줄 요약

이 논문은 실수 이차체 $\mathbb{Q}(\sqrt{D})$ 위에서 대각형으로서의 전형적 이차형식에 필요한 최소 변수 수에 대한 한계를 설정하며, 이 랭크가 기본 단위의 연속 분수 전개와 연결됨을 밝힌다. 최소 랭크 $m_{\mathrm{diag}}(D)$는 연속 분수 계수의 합에 대해 하한과 상한을 가지며, 이 합은 $L$-함수와 홀수 수의 데이터와 연결된 점근적 추정치를 통해 기술된다.

ABSTRACT

We study the minimal number of variables required by a totally positive definite diagonal universal quadratic form over a real quadratic field $\mathbb Q(\sqrt D)$ and obtain lower and upper bounds for it in terms of certain sums of coefficients of the associated continued fraction. We also estimate such sums in terms of $D$ and establish a link between continued fraction expansions and special values of $L$-functions in the spirit of Kronecker's limit formula.

연구 동기 및 목표

• 실수 이차체 $\mathbb{Q}(\sqrt{D})$ 위에서 대각형 전형적 이차형식에 필요한 최소 변수 수를 결정하는 것.
• 이 최소 랭크를 정수환의 기본 단위의 연속 분수 전개와 연결하는 것.
• 판별식 $\Delta$와 홀수 수를 기준으로 연속 분수 계수의 합의 성장률을 추정하는 것.
• 연속 분수 계수와 $L$-함수의 특수값 사이의 연결고리를 밝혀 크로네커의 극한 공식의 아이디어를 확장하는 것.

제안 방법

• 연속 분수 계수의 가중 합인 $M_D$를 정의하며, $D \mod 4$에 따라 $\omega_D = \sqrt{D}$ 또는 $(1+\sqrt{D})/2$를 기준으로 하고, 주기 길이가 짝수인지 홀수인지에 따라 다른 공식을 사용한다.
• $M^{*}_{D,\varepsilon}$를 정의하여 $u_i \geq D^{1/8+\varepsilon}$인 계수들의 합을 취함으로써 하한을 정밀화한다.
• $\mathcal{O}_K$ 내의 덧셈으로 분해할 수 없는 정수 이론을 활용하여, 어떤 대각형 전형적 이차형식에도 반드시 나타나야 하는 계수들을 특성화한다.
• 홀수 수 $h$, 좁은 홀수 수 $h^+$, $L$-함수 $L(s, \chi_\Delta)$ 등을 포함한 해석적 수론 도구를 적용하여 계수 합의 추정치를 도출한다.
• 이deals $\mathfrak{a}$에 대해 $N\mathfrak{a} \leq \sqrt{\Delta}$ 이하의 가중 합과 부드러운 절단 함수 $w$를 사용하여 점근 공식을 유도한다.
• 일반화된 리만 가설 하에서 $L$-함수의 함수-equation과 경계를 활용하여 점근 추정치를 정밀화한다.

실험 결과

연구 질문

• RQ1 실수 이차체 $\mathbb{Q}(\sqrt{D})$ 위에서 대각형 전형적 이차형식에 필요한 최소 변수 수는 무엇인가?
• RQ2 기본 단위의 연속 분수 전개 계수는 덧셈으로 분해할 수 없는 정수의 표현 가능성과 어떻게 관련되는가?
• RQ3 $D$ 또는 $\Delta$ 기준으로 $\omega_D$의 연속 분수 계수 합의 점근적 성장률은 무엇인가?
• RQ4 크로네커의 극한 공식의 정신에 따라 연속 분수와 $L$-함수의 특수값 사이의 연결고리를 명시적으로 밝힐 수 있는가?
• RQ5 $m_{\mathrm{diag}}(D)$에 대한 한계는 홀수 수 $h$와 음의 노름을 가진 단위의 존재 여부에 따라 어떻게 달라지는가?

주요 결과

• 최소 랭크 $m_{\mathrm{diag}}(D)$는 $\max\left(\frac{M_D}{\kappa s}, C_\varepsilon M^{*}_{D,\varepsilon}\right) \leq m_{\mathrm{diag}}(D) \leq 8M_D$를 만족하며, 여기서 $\kappa = 2$는 연속 분수 주기 길이가 홀수일 때이고, 그 외에는 $\kappa = 1$이다.
• 연속 분수 계수의 합 $\sum_{i=1}^s u_i$는 $D \to \infty$일 때 $\sum_{i=1}^s u_i \sim \frac{\sqrt{\Delta}}{\zeta^{(\Delta)}(2)} \left( L(D) + \frac{1}{h} L(1,\chi_\Delta) \log\sqrt{D} \right)$를 만족하며, 오차 항은 $O(D^{1/2 - 1/2000})$이다.
• $M_D$는 절대 상수 $c > 0$에 대해 $c \sqrt{\Delta} (\log \Delta)^2$ 이하로 유계이며, 일반화된 리만 가설 하에서는 상한이 $\ll \sqrt{D} \left(1 + \frac{\log D}{h} \right) (\log \log D)^2$로 향상된다.
• 주기 길이 $s$가 홀수일 때(즉, $\mathcal{O}_K$에 음의 노름을 가진 단위가 존재할 때), 모든 $\varepsilon < 1/8$에 대해 $M^{*}_{D,\varepsilon} \geq \sqrt{\Delta}$가 성립하며, 이는 강력한 하한을 제공한다.
• 합 $\sum_{i=1}^s u_i$는 $\frac{\sqrt{\Delta}}{\zeta^{(\Delta)}(2)} \left( L(D) + \frac{1}{h} L(1,\chi_\Delta) \log\sqrt{D} \right)$에 점근적으로 등가이며, 연속 분수와 $L$-값 사이의 깊은 연결고리를 보여준다.
• 일반화된 리만 가설 하에서 $M^{*}_{D,\varepsilon}$의 하한이 강화되며, $\sum u_i$의 점근적 성장률이 $\gg \sqrt{D} \left(1 + \frac{\log D}{h \log \log D} \right)$임이 입증되어 대부분의 $D$에 대해 합이 $\sqrt{D}$보다 더 빠르게 증가함을 시사한다.