[論文レビュー] Equidistribution of shapes of complex cubic fields of fixed quadratic resolvent

Robert Harron|arXiv (Cornell University)|Jul 16, 2019

Advanced Algebra and Geometry参考文献 14被引用数 2

ひとこと要約

本稿は、判別式が無限大に近づく際、固定された二次的解体を持つ複素3次体の形状が、モジュラー面上の特定の測地線に、双曲測度に関して等分布することを確立している。形状が複素3次体の完全不変量であることを証明し、形状がトレースゼロ形式の上界空間上に位置することを示しており、トレース形式とミンコフスキー形式のグラム行列を含む行列式の恒等式を用いて、エタール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).

研究の動機と目的

• 完全な家族とは異なるが、よりランダム性が低い数体の族における形状の分布を調査すること。特に、固定された二次的解体を持つ複素3次体を対象とする。
• 複素3次体の形状が、すべての3次体の族の中で完全不変量であるかどうかを特定すること。
• 形状の幾何学的・算術的構造をエタールQ代数の整域へ一般化すること。
• 双曲測度を用いたモジュラー面上の測地線への形状の等分布を証明すること。

提案手法

• ミンコフスキー埋め込みを用い、格子をトレースゼロ部分空間に射影することで、数体の形状を定義する。
• レヴィ–デローネ–ファデエフ対応を適用し、3次体とその二進3次形式および判別式を関連付ける。
• 行列式の恒等式 MT⁻¹M = T を用いて、形状がトレースゼロ形式の上界空間上にあることを確立する。ここで M と T はそれぞれミンコフスキー形式とトレースゼロ形式のグラム行列である。
• バルガヴァとシュニドマンの漸近的数え上げ結果に、バルガヴァとHの手法を組み合わせ、測地線への等分布を証明する。
• モジュラー面上の双曲測度を用い、体積比の議論を適用することで、判別式が大きい極限における等分布を示す。
• 任意のエタールQ代数の整域に対して、行列式の恒等式 MT⁻¹M = T が成り立つことを証明することで、結果をエタールQ代数の整域へ一般化する。

実験結果

リサーチクエスチョン

• RQ1 判別式が大きくなるにつれ、固定された二次的解体を持つ複素3次体の形状は、モジュラー面上の測地線に双曲測度に関して等分布するか？
• RQ2 複素3次体の形状は、すべての3次体の中で完全不変量か？
• RQ3 数体の形状は、そのトレースゼロ形式の幾何学および関連する二次形式とどのように関係するか？
• RQ4 固定されたトレースゼロ形式を持つ数体族に対して、形状の等分布を確立できるか？
• RQ5 エタールQ代数の整域の形状が位置する正確な幾何学的局所（例えば、上界空間）は何か？

主な発見

• 複素3次体の形状は、そのトレースゼロ形式に対応するモジュラー面上の測地線上にある。
• 判別式が無限大に近づくにつれ、固定された二次的解体を持つ複素3次体の形状は、関連する測地線に沿って双曲測度に関して等分布する。
• 形状は複素3次体の完全不変量である：同型でない2つの3次体が同じ形状を持つことはない。
• 有限エタールQ代数のすべての整域の形状は、その整域のトレースゼロ形式の上界空間上にある。
• ミンコフスキー形式とトレースゼロ形式のグラム行列に対して、行列式の恒等式 MT⁻¹M = T が成り立ち、形状が上界空間に幾何学的に含まれることを証明する。
• 等分布の結果は、Q(√−3) を二次的解体とする3次体の数が対数的要因の増加を示しており、Cohen–Morra および Bhargava–Shnidman の漸近的結果と整合的である。