[논문 리뷰] Real quadratic fields with a universal quadratic form of given rank have density zero

Vítězslav Kala, Pavlo Yatsyna외 1명|arXiv (Cornell University)|2023. 02. 23.

Analytic Number Theory Research인용 수 4

한 줄 요약

이 논문은 주어진 랭크를 갖는 유니버설 이차형식을 가진 실수 이차체가 모든 제곱근이 아닌 판별식 D > 0 중에서 밀도가 0임을 증명한다. 이러한 형식의 랭크를 √D의 연속 분수 전개의 계수와 연결하고, 격자 내의 짧은 벡터에 대한 경계를 적용함으로써, 저랭크 유니버설 형식을 지닌 분야의 집합이 흩어져 있음을 증명한다. 이러한 분야의 수는 X 이하일 때 어떤 양의 거듭제곱 함수보다 느리게 증가한다.

ABSTRACT

We prove an explicit upper bound on the number of real quadratic fields that admit a universal quadratic form of a given rank, thus establishing a density zero statement. More generally, we obtain such a result for totally positive definite quadratic lattices that represent all the multiples of a given rational integer. Our main tools are short vectors in quadratic lattices combined with an estimate for the number of periodic continued fractions with bounded coefficients.

연구 동기 및 목표

• 주어진 랭크를 갖는 유니버설 이차형식을 가진 실수 이차체의 자연 밀도를 결정하는 것.
• 고전적 격자 외에도 고정된 정수 m에 대해 mO_H-유니버설 격자를 포함하여 분석을 확장하는 것.
• 작은 랭크를 갖는 유니버설 형식을 가진 실수 이차체가 유한함을 증명함으로써, 이러한 체가 희박함을 보여주는 추측을 해결하는 것.
• 주어진 bound X 이하에서 이러한 체의 수에 대한 명시적 상한을 설정하여, 이들이 밀도 0 집합을 이룬다는 것을 보여주는 것.

제안 방법

• Q(√D)의 정수환 내의 분해 불가능 원소의 구조를 특징짓기 위해 √D의 연속 분수 전개를 사용한다.
• 짧은 벡터의 수에 대한 경계를 적용하여, 최대 홀수 인덱스를 갖는 연속 분수 계수 u_{2i+1}를 mO_H-유니버설 격자의 최소 랭크 R과 연결한다.
• Z-격자에서 주어진 노름을 갖는 벡터의 수에 대한 정밀 추정(정리 3.1)을 적용하여, 최대 홀수 인덱스 계수에 대한 상한 B(R,m)를 유도한다.
• 상한 B(R,m)을 사용하여, R-랭크 mO_H-유니버설 격자가 존재할 수 있는 D의 집합을 연속 분수 구조에 기반해 제한한다.
• 이를 바탕으로 계수의 크기가 유한한 주기적인 연속 분수에 대한 수세기 결과(Corollary 2.12)를 결합하여, D ≤ X 인 이러한 D의 수를 상한한다.
• 이를 통해 이러한 격자를 가진 제곱근이 아닌 D ≤ X 의 수에 대한 점점 더 큰 상한을 유도하며, 다항식 성장보다 느린 성장을 보여준다.

실험 결과

연구 질문

• RQ1 고정된 랭크 R을 갖는 실수 이차체 Q(√D) 중에서 유니버설 이차형식을 가진 체의 자연 밀도는 무엇인가?
• RQ2 √D의 연속 분수 구조는 Q(√D)에서 저랭크 유니버설 이차 격자의 존재를 어떻게 제약하는가?
• RQ3 고정된 정수 m과 함께, 랭크 ≤ R 인 실수 이차체의 수를 R과 m에 대해 균일하게 상한화할 수 있는가?
• RQ4 √D의 연속 분수 계수는 어떤 정도로 작은 랭크의 mO_H-유니버설 격자의 존재를 제한하는가?
• RQ5 Q(√D)가 고전적 mO_H-유니버설 격자 랭크 R을 갖는 제곱근이 아닌 D ≤ X 의 수의 성장률은 무엇인가?

주요 결과

• 모든 ε > 0 에 대해, R_class(Q(√D)) ≤ D^{1/12−ε} 를 만족하는 제곱근이 아닌 D > 0 의 집합은 밀도가 0이며, 이러한 D ≤ X 의 수는 O(X^{1−3ε/2} (log X)^{3/2}) 이하로 유계이다.
• R(Q(√D)) ≤ D^{1/24−ε} 를 만족하는 제곱근이 아닌 D ≤ X 의 수는 O(X^{1−3ε} (log X)^{3/2}) 이하로 유계이며, 이는 비고전적 유니버설 형식도 저랭크에서 희박하게 존재한다는 것을 확인한다.
• Q(√D) 위에서 랭크 R의 mO_H-유니버설 고전적 격자가 존재하면, √D의 최대 홀수 인덱스 연속 분수 계수는 B(R,m) 이하로 유계지며, 이는 격자 내 벡터 수 계산에서 유도된 함수이다.
• Q(√D) 위에서 랭크 R의 mO_H-유니버설 고전적 격자를 가진 제곱근이 아닌 D ≤ X 의 수는 충분히 큰 X 에 대해 O(B(R,m)^{3/2} X^{7/8} (log X)^{3/2}) 이하로 유계이다.
• 결과적으로, 실수 이차체 위의 유니버설 형식의 랭크는 일반적으로 매우 크며, 거의 모든 D에 대해 D^{1/12−ε} 보다 빠르게 증가한다.
• 이 방법은 이전 문헌에서의 한계를 극복하여, 짧은 벡터 경계와 연속 분수 제어를 사용하여 이 맥락에서 처음으로 밀도 0 결과를 확립한다.