[논문 리뷰] Equidistribution of shapes of complex cubic fields of fixed quadratic resolvent

Robert Harron|arXiv (Cornell University)|2019. 07. 16.

Advanced Algebra and Geometry참고 문헌 14인용 수 2

한 줄 요약

이 논문은 복소 삼차 수체의 형상이 고정된 이차 해석형을 가지며 판별식이 무한히 커질 때, 모듈라 표면의 특정 지선 위에서 쌍곡 측도에 대해 균일분포함을 증명한다. 이는 복소 삼차 수체의 형상이 완전한 불변량임을 증명하고, 형상이 추적-영형의 주조공간 위에 놓임을 보이며, 추적형과 미ṅ크로프스키 형의 그램 행렬을 포함하는 행렬 항등식을 통해 에테일 Q-대수의 순서로 일반화된다.

ABSTRACT

We show that the shape of a complex cubic field lies on the geodesic of the modular surface defined by the field's trace-zero form. We also prove a general such statement for all orders in \'etale Q-algebras. Applying a method of Manjul Bhargava and Piper H to results of Bhargava and Ariel Shnidman, we prove that the shapes lying on a fixed geodesic become equidistributed with respect to the hyperbolic measure as the discriminant of the complex cubic field goes to infinity. We also show that the shape of a complex cubic field is a complete invariant (within the family of all cubic fields).

연구 동기 및 목표

• 전체 가족보다 덜 무작위적인 수체 가족에서 형상의 분포를 조사하는 것, 특히 고정된 이차 해석형을 가진 복소 삼차 수체를 대상으로 한다.
• 복소 삼차 수체의 형상이 모든 삼차 수체 가정 내에서 완전한 불변량인지 결정하는 것.
• 형상의 기하학적 및 산술적 구조를 에테일 Q-대수의 순서로 일반화하는 것.
• 쌍곡 측도에 대해 모듈라 표면의 지선 위에서 형상의 균일분포를 증명하는 것.

제안 방법

• 수체의 형상을 정의하기 위해 민코프스키 임bedding을 사용하고 격자를 추적-영 부분공간으로 사영한다.
• 레비–델론–파드에프 대응을 적용하여 삼차 수체를 이진 삼차형식과 그 판별식과 연결한다.
• 행렬 항등식 MT⁻¹M = T를 통해 형상이 추적-영형의 주조공간 위에 놓임을 증명한다. 여기서 M과 T는 각각 민코프스키 형과 추적-영형의 그램 행렬이다.
• Bharagava와 Shnidman의 渐近 카운팅 결과를 Bhargava와 H의 방법과 결합하여 지선 위의 균일분포를 증명한다.
• 모듈라 표면의 쌍곡 측도를 사용하고, 체적 비율 추론을 적용하여 큰 판별식의 극한에서 균일분포를 보인다.
• 모든 유한 에테일 Q-대수의 순서에 대해 행렬 항등식 MT⁻¹M = T가 성립함을 증명함으로써 결과를 일반화한다.

실험 결과

연구 질문

• RQ1 고정된 이차 해석형을 가진 복소 삼차 수체의 형상은 판별식이 증가함에 따라 모듈라 표면의 지선 위에서 균일분포하는가?
• RQ2 복소 삼차 수체의 형상은 모든 삼차 수체 가정 내에서 완전한 불변량인가?
• RQ3 수체의 형상은 그 추적-영형의 기하학과 관련된 이차형식과 어떻게 관련되는가?
• RQ4 고정된 추적-영형을 가진 수체 가족에 대해 형상의 균일분포를 확립할 수 있는가?
• RQ5 에테일 Q-대수의 순서의 형상이 놓이는 정확한 기하학적 위치(예: 주조공간)는 무엇인가?

주요 결과

• 복소 삼차 수체의 형상은 그 추적-영형에 대응하는 지선 위에 놓여 있다.
• 판별식이 무한히 커질 때, 고정된 이차 해석형을 가진 복소 삼차 수체의 형상은 관련 지선 위에서 쌍곡 측도에 대해 균일분포한다.
• 형상은 복소 삼차 수체에 대해 완전한 불변량이다: 서로 이sov모르지 않은 삼차 수체는 동일한 형상을 가질 수 없다.
• 유한 에테일 Q-대수의 모든 순서의 형상은 그 순서의 추적-영형의 주조공간 위에 놓여 있다.
• 민코프스키 형과 추적-영형의 그램 행렬에 대해 행렬 항등식 MT⁻¹M = T가 성립함을 증명함으로써, 형상의 주조공간 내 포함성이 기하학적으로 보장된다.
• 균일분포 결과는 Q(√−3)의 이차 해석형을 가진 삼차 수체의 수가 로그 인자만큼 증가함을 시사하며, Cohen–Morra와 Bhargava–Shnidman의 渐近 결과와 일치한다.