[논문 리뷰] Geometry-of-numbers methods over global fields I: Prehomogeneous vector spaces

Manjul Bhargava, Arul Shankar외 1명|arXiv (Cornell University)|2015. 12. 09.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 23

한 줄 요약

이 논문은 특성 2가 아닌 임의의 전역체에서 차수 5 이하의 체 확장에 대한 판별식의 밀도를 결정할 수 있도록, 전역체 위에서 정수 궤도를 세는 기하학-수론 기법을 개발한다. 주요 결과는 수체와 함수체 모두에 대해, 자동환군 크기의 역수로 가중된 그러한 확장의 수에 대한 渐近 공식을 수립하며, 이는 이전에 소수 차수 확장에 대해서만 알려진 결과를 일반화한다.

ABSTRACT

We develop geometry-of-numbers methods to count orbits in prehomogeneous vector spaces having bounded invariants over any global field. As our primary example, we apply these techniques to determine, for any base global field $F$, the density of discriminants of field extensions of degree at most 5 over $F$.

연구 동기 및 목표

• 수체와 함수체를 포함한 임의의 전역체로 기하학-수론 기법을 일반화한다.
• 전역체 위에서 불변량이 유계인 선형예비벡터공간의 정수 궤도를 세는 것을 목적으로 한다.
• 특성 2가 아닌 임의의 전역체에서 차수 5 이하의 체 확장에 대한 판별식의 점점 밀도를 결정한다.
• 이전에 Q에서 차수 2, 3, 4에 대해서만 알려진 판별식 밀도 결과를 임의의 전역체와 더 높은 차수로 확장한다.
• 유한하거나 무한한 소수에서의 국소 조건을 가정된 조건 하에 세는 데 포함시킨다.

제안 방법

• 아델 환의 적분과 조화 해석을 이용하여 전역체 위에서 선형예비벡터공간의 정수 궤도를 세는 프레임워크를 개발한다.
• 아델 환 위에서 포아송 합공식을 적용하여 궤도 수를 제타 함수와 국소 밀도와 연결한다.
• 도함수 기반 측도와 국소 제타 적분을 사용하여 유계 불변량을 가진 궤도의 분포를 모델링한다.
• 균일성을 확보하기 위해 자동환군 크기의 역수로 가중된 수를 세는 방법을 도입한다.
• 함수체에서는 약수 클래스군과 선다발 기법을 활용하여 사영에 대한 격자점 수를 유계한다.
• 선다발의 전역 절단에 대한 유계를 사용하여 아델 공간 내 유계 집합의 사영에 대한 체적 추정을 수립한다.

실험 결과

연구 질문

• RQ1 특성 2가 아닌 전역체 F에서 차수 n ≤ 5의 체 확장에 대한 판별식의 점점 밀도는 무엇인가? (n ≤ 5)
• RQ2 기하학-수론 기법을 Z에서 임의의 전역체, 특히 함수체로 어떻게 일반화할 수 있는가?
• RQ3 선형예비벡터공간에서의 정수 궤도 수를 세는 방법을 유한하거나 무한한 소수에서의 국소 조건을 포함하도록 일반화할 수 있는가?
• RQ4 갈루아군은 가중된 체 확장 수의 수에 어떤 역할을 하는가? 그리고 밀도 공식에 어떤 영향을 미치는가?
• RQ5 함수체의 경우, 유한 자리에서의 국소 밀도는 전역 판별식 밀도에 어떻게 기여하는가?

주요 결과

• 수체 F가 r₁개의 실장과 r₂개의 허수장이 있을 때, 상대 판별식이 유계인 차수 n ≤ 5의 확장의 밀도는 F의 제타 함수의 잔여류로 주어지며, 갈루아군과 국소 인자들로 조정된다.
• F_q 위의 함수체 F에서 q ≠ 2일 때, 밀도는 s=1에서 ζ_F(s)의 잔여류로 주어지며, 유한 자리 전역에서 국소 밀도를 포함한 분할 함수의 곱으로 곱해진다.
• 공식은 #{Aut(L/F)}⁻¹의 가중치를 포함하며, 이는 n=2일 때 1/2, n≥3일 때 1이 되어 점점 기술의 균일성을 보장한다.
• 각 유한 자리 p에서의 국소 인자는 분할 q(k,n−k)−q(k−1,n−k+1)에 대한 합으로 표현되며, 제곱자유 판별식을 가진 에탈 대수의 수를 반영한다.
• 결과는 n ≤ 5일 때 [5]의 추측 A를 확인하며, Davenport–Heilbronn 및 Datskovsky–Wright 정리들을 임의의 전역체로 확장한다.
• 이 방법은 유한 개의 소수에서의 임의의 국소 조건과, 일부 수용 가능한 국소 조건의 무한 집합을 포함하도록 일반화 가능하다.