技術要約：円分体における限定された高さを持つ代数的整数の計数

1. 問題設定

本研究は、高々 $B$ の絶対高さ（absolute height）を持つ、円分体 $\mathbb{Q}(\zeta_q)$（ここで $q = p^r$ は素数冪）における代数的整数および単数（units）の計数問題を扱う。古典的なバティエフ・マニン予想（Batyrev-Manin conjecture）は、基礎体を固定して高さの境界 $B \to \infty$ を変化させるものであるが、本論文では高さの境界 $B$ を固定し、体の次数が増大する際（具体的には $r \to \infty$ の際）の漸近的挙動を調査する。

著者らは、2つの主要な計数関数を定義している：

1. 単数（Units）: 対数ワイル高さ（logarithmic Weil height） $h(\alpha) < B$ を満たす $\mathbb{Z}[\zeta_n]$ 内の単数の数 $U(n, B)$。関心の対象となる部分集合は、円分単数（cyclotomic units）のみを数える $U_{cyc}(n, B)$ である。
2. 整数（Integers）: $h(\alpha) \le B$ を満たす $\mathbb{Z}[\zeta_q]$ 内の代数的整数の数 $I(q, B)$。

目標は、これらの量に対して、次数 $D = \phi(q)$ に依存する上界および下界を、$q$ が増大する際に確立することである。

2. 手法

証明は、代数的数論と幾何学的な格子点計数の組み合わせに基づいている。

2.1 幾何学的枠組み

核となる幾何学的ツールは、コンパクトな集合 $P \subset \mathbb{R}^D$ における格子点の数を、その座標部分空間への射影の体積に関連付けて誤差評価を与える ダベンポートの補題（Davenport's Lemma） [2] である。

• 円分単数 については、問題は、円分単数の生成元のガロア共役の絶対値の対数から導かれる行列 $A$ に対して、$\|Ac\|_{L_1} < T$ を満たす整数ベクトル $c$ を数える問題へと変換される。
• 代数的整数 については、著者らは ミンコフスキー埋め込み（Minkowski embedding） $\Phi: K \to \mathbb{R}^D$ を利用する。限定された高さを持つ整数の集合は、座標の対数的な制約によって定義される領域 $R_1$ 内に含まれる。この領域は、体積推定を容易にするために、ハイパーレクタングル（直方体）の和集合 $Q(k)$ によって近似される。

2.2 代数的ツール

• 円分単数: 著者らは、円分単数の明示的な基底 $\xi_a$（命題1）と、全単数群と類数 $h_q^+$ との関連を利用する。これらの単数に対するガロア群の作用は、ディリクレ指標を用いて分析される。行列 $A$（単数の高さを規定するもの）は、非自明な偶ディリクレ指標を用いて対角化される。固有値 $\lambda_\chi$ は、ガウス和 $\tau(\chi_f)$ および $L$ 関数 $L(1, \chi_f)$ を用いて表現される。固有値の大きさを推定するために、シーゲルの $L$ 関数に関する下界が用いられる。
• 行列式の推定: 変換された領域の体積は、ミンコフスキー埋め込み行列の行列式を含む。著者らは、円分体の判別式を利用して、行列の平方成分のマイナーの二乗和を抑えるために、コーシー・ビニエの公式（Cauchy-Binet formula） および ヘラウドの不等式（Hadamard's inequality） を用いる。

3. 主要な結果

3.1 円分単数の境界

定理1 は、$q = p^r$ が奇素数冪である場合の $\mathbb{Q}(\zeta_q)$ における円分単数の漸近的挙動を確立する。

• 上界: 円分単数の数は以下を満たす：
  $$U_{cyc}(q, B) \ll_{q^3} \exp\left(C_\epsilon B^{1/3} q^{5/6+\epsilon}\right)$$
  全単数群については、最大実部分体の類数 $h_q^+$ を含む以下の境界を持つ：
  $$U(q, B) \ll_{q^3} \exp\left(C_\epsilon (h_q^+ B)^{1/3} q^{5/6+\epsilon}\right)$$
• 下界: 命題4 は、十分に大きな $B$ に対して $\log U_{cyc}(q, B) \gg B \log q$ であることを示しており、これは $q$ に関する多項式的な下界を示唆している。

著者らは、$h_q^+$ を一般に制御することは困難であるが、数値的な証拠やコーエン・レンストラの仮説は、固定された $p$ に対して $r \to \infty$ のとき $h_q^+$ が小さい（定数である可能性がある）ことを示唆しており、これは全単数群に対して劣指数的な境界を意味すると述べている。

3.2 代数的整数の境界

定理2 は、限定された高さを持つ代数的整数の数に対して、指数的な上界を与える：
$$\log I(q, B) \ll D(B + 1)$$
ここで $D = \phi(q)$ である。

• 下界: べき基底 $\zeta_q^i$ の係数を選択し、それらの絶対値の和が制限されるようにすることで、およそ $q^{e^B}$ 個の選択肢が得られる多項式的な下界を構成する。
• 比較: 著者らは、関数体 $\mathbb{F}_q(t)$ の類似例において、個数が正確に $q^{B+1}$ となることに注目しており、これは数体の場合の真の個数が $q$ に関して多項式的である可能性を示唆している。ただし、証明された上界は次数 $D$ に対して指数的である。

4. 意義と主張

本論文は、体の次数が無限大に向かうにつれて、固定された 高さを持つ円分体における代数的整数および単数の数に関する最初の漸近的境界を提供したと主張している。

• 先行研究との対比: 本研究は、次数を固定して高さを $B \to \infty$ とさせる先行研究（例：Dubickas [4]）とは対照的である。ここでは、高さが固定され、体が変わる。
• 劣指数的予想: 単数の境界は $q^{5/6}$ に対して指数的であるが、著者らは、類数 $h_q^+$ の振る舞いおよび関数体の類似例に基づき、真の成長は $q$ に関して多項式的（次数に対して劣指数的）である可能性が高いと予想している。
• 手法的な貢献: 本論文は、ダベンポートの格子点計数補題と、ディリクレ指標を通じた円分単数の明示的なスペクトル特性、およびミンコフスキー埋め込みの精密な行列式推定を組み合わせることの有用性を実証している。

著者らは、境界の最適性に関して控えめなトーンを維持しており、単数の境界における指数因子は、類数 $h_q^+$ を厳密に制御できないこと、および整数計数に使用された幾何学的な被覆議論に起因することを認めている。