Shortest nonzero lattice points in a totally real multi-quadratic number field and applications

技術要約：「全実多重平方数体における最短非ゼロ格子点と、その応用」

問題提起
本論文は、代数的数論および自己共形形式の理論における、相互に関連する2つの問題に取り組んでいる。第一に、全実多重平方数体 $F = \mathbb{Q}(\sqrt{d_1}, \dots, \sqrt{d_n})$ 内の分数イデアル $M$ に対し、最短非ゼロ格子点の集合 $B_M = \{s \in M : \|\sigma(s)\| = \min(M)\}$ の明示的な特徴付けを求めることである。ここで、$\|\sigma(s)\| = \sqrt{\sum_{i=1}^r (\sigma_i(s))^2}$ は、埋め込みによるベクトルのユークリッドノルムを表す。第二に、この特徴付けを応用して、当該数体上のヒルベルト・カスプ形式に関するペターソン・トレース公式の漸近展開を精緻化することである。その動機は、固有値に関する確率測度の偏差を理解する必要性にあり、そこでは最小ノルム $\min(M)$ および $B_M$ の構造に関する精密な知識が、既存の漸近評価を鋭敏化するために必要となる。

手法
著者は、代数的恒等式、ディオファントス解析、および解析的数論を組み合わせた手法を用いている：

1. 代数的恒等式： 本論文は、バイナリ・タプルによって決定される符号を含む線形結合の平方和に関する一般的な代数的恒等式（定理4）を確立している。この恒等式を多重平方数体の元への埋め込みに適用することで、$\|\sigma(s)\|^2$ の明示的な公式（定理5）を導出する。
2. ディオファントス分類： 導出されたノルムの公式を最小ノルムの平方に等置することにより、最短非ゼロ格子点を、特定のディオファントス方程式の有理数解として分類する（定理2）。本論文では、「自明な解」（変数のうち高々1つが非ゼロであるもの）と非自明な解を区別している。
3. トレース公式の精緻化： 著者は、ヒルベルト・カスプ形式に対するペターソン・トレース公式（KnightlyおよびLiに基づく定理6）を再検討している。重み $k_0 \to \infty$ の際の漸近挙動を分析する。鍵となるステップは、特定のノルム境界を満たすイデアル類代表元の集合 $A_i$ の分析である。著者は、多重平方数体の場合、もしディオファントス方程式が自明な解を持つならば、集合 $A_i$ はその自明な解に対応する唯一の元からなる単集合に縮退することを証明している。自明な解が存在しない場合、$A_i$ は空集合となる。

主要な貢献と結果

• 明示的なノルム公式 (定理1および5)： 本論文は、$s \in \mathbb{Q}(\sqrt{d_1}, \dots, \sqrt{d_n})$ の元に対する $\|\sigma(s)\|$ の明示的な公式を提供する。$s$ が平方根の基底を用いて表されるとき、二乗ノルムは、係数を平方フリー整数 $d_i$ で重み付けした平方和の $2^n$ 倍であることが示される。
• トレースおよび交差項の公式 (系1.1)： その結果として、トレース $\text{Tr}(s)$ および異なる埋め込みの積の和 $\sum_{i<j} \sigma_i(s)\sigma_j(s)$ の明示的な公式が導かれる。
• 最短ベクトルの特徴付け (定理2)： 分数イデアル $M$ の最短非ゼロ格子点の集合は、以下のディオファントス方程式の有理数解となる係数を持つ元の集合として正確に特定される：
  $$2^n \left( X_0^2 + \sum_{i=1}^n d_i X_i^2 + \sum_{i'=2}^n \binom{n}{i'} \sum_{j'=1}^{\binom{n}{i'}} Y_{i',j'}^2 \prod_{\alpha=1}^{i'} d_{s_\alpha} \right) = (\min(M))^2$$
• ペターソン・トレース公式の精緻化された漸近式 (定理3)： 本論文は、ペターソン・トレース公式の精緻化された漸近公式を提示している。
  • 与えられたインデックス $i$ に対して関連するディオファントス方程式が自明な解を持つ場合、元の漸近式（定理7）における三重和は二重和へと崩壊し、誤差項は明示的に抑えられる。
  • いかなるインデックス $i$ に対しても自明な解が存在しない場合、集合 $A_i$ 上の総和全体が消滅し、より小さな誤差項を持つより単純な漸近式が得られる。
• 偏差への応用 (系3.2および3.3)：
  • 系3.2： 狭義類数が奇数であり、かつ特定のイデアルが自明な解を持つ元によって主イデアルとして生成されるという条件下で、本論文は、トレース公式の主項と実際の和との間の偏差に対する下界を確立している。これはBDS23の結果を改善するものである。
  • 系3.3： 精緻化された漸近式を用いて、多重平方数体上のヒルベルト・カスプ形式の固有値の離散測度とサト・タテ測度との間の偏差に関する、JungおよびSardari (JS20) の定理1.6のアナログである下界を導出している。

意義と主張
本論文は、これまで明示的な形式が欠けていた、全実多重平方数体における格子点の分析のための必要な代数的ツールを提供すると主張している。最短格子ベクトル（数論の幾何）をディオファントス方程式の算術に結びつけることにより、ペターソン・トレース公式の誤差項を精緻化している。

その意義は、特定のディオファントス方程式の可解性に基づいて、トレース公式における複雑な三重和を二重和に変換（あるいは完全に排除）できる能力にある。この精緻化により、固有値分布の偏差に関するより鋭い下界を得ることが可能となり、古典的なカスプ形式（$F=\mathbb{Q}$）で知られている結果を、多重平方数体上のヒルベルト・カスプ形式の設定へと拡張している。著者は、これらの結果が[BDS23]における既存の定理に対する改善として機能し、多重平方数の文脈において[JS20]のアナログを提供するものであると述べている。本研究は、新しい実験的な応用を提案するものではなく、むしろこれらの特定の数体における固有値分布の研究のための理論的基礎を強化するものである。