Lattice point counting problems on step-two nilpotent Lie groups

技術的概要：ステップ 2 冪零リー群上の格子点数え上げ

問題提起
本論文は、連結かつ単連結なステップ 2 冪零リー群 $G(q, m)$ における格子点数え上げ問題に取り組む。具体的な目的は、半径 $R \to \infty$ となるにつれて、拡大された球に含まれる格子点の数と、その球の体積との間の不一致（ディスクリパンシー）を推定することである。

考慮される領域は、$(x, t) \in \mathbb{R}^q \times \mathbb{R}^m$ に対して定義された一様ノルムの族 $N_{\alpha, M}(x, t) = (|M_1 x|^\alpha + |M_2 t|^{\alpha/2})^{1/\alpha}$ に伴う球 $B^{\alpha, M}_R$ である。これらのノルムは、放物的拡大構造 $\delta_r(x, t) = (rx, r^2t)$ に適合している。本研究は、すべての次元 $q \ge 2$ および $m \ge 1$、すべての指数 $\alpha > 0$ を網羅する。格子 $\Gamma_L$ は可逆行列 $L$ によって定義され、標準的な整数格子からより一般的な離散部分群までを含む。

核心的な難しさは、領域の境界の幾何学にある。ユークリッド空間の $\ell_\alpha$-球とは異なり、これらの群における単位球面 $\partial B^{\alpha, M}_1$ は回転対称性を欠き、異方性を示す。さらに、曲率の性質は $\alpha$ によって著しく変化する：$\alpha < 4$ の場合、境界は $C^2$ 級ではない；$\alpha \ge 4$ の場合、ガウス曲率は赤道（$t=0$）と極（$x=0$）で消滅し、関連する振動積分において退化した停留点をもたらす。

手法
著者らは、調和解析と漸近解析の手法を組み合わせる：

1. ポアソン和公式：数え上げ問題はポアソン和公式を用いてスペクトル問題に変換される。不一致は、ゼロ周波数を除く球の特性関数のフーリエ変換の和によって有界化される。
2. スペクトル推定：主要な技術的取り組みは、単位球の特性関数のフーリエ変換 $\widehat{\chi_{B^{\alpha, M}_1}}(w, s)$ に対する鋭い減衰推定を導出することに集中している。
3. 振動積分の解析：フーリエ変換はベッセル関数を含む積分として表現される。著者らはこれらの積分を以下のように解析する：
   • ベッセル関数の漸化式を活用して部分積分を行い、相殺を利用し減衰率を改善する。
   • 特異な位相関数を持つ振動積分を推定するためにヴァン・デル・コルプットの補題を適用する。
   • 恒等式の分解（resolution of the identity）を行い、積分領域を異なるベッセル関数の漸近挙動が支配する領域に分離する。
4. 異方性解析：手法上の重要な革新は、周波数パラメータ $\lambda_1 \sim |w|$ と $\lambda_2 \sim |s|$ の相対的な大きさに基づき、2 つの領域を区別することである。著者らは $\lambda_1 \gtrsim \lambda_2$ の場合と $\lambda_1 \lesssim \lambda_2$ の場合を個別に扱い、群構造の異方性を処理するために、それぞれ異なる次数のベッセル関数を含む異なる積分表現を利用する。
5. 部分加法性の議論：ノルム $N_{\alpha, M}$ が部分加法性を満たさない $\alpha \in (0, 1]$ の場合、著者らは $N_{\alpha, M}^\alpha$ の部分加法性を利用して、数え上げ関数に対する適切な滑らかな近似を構成する。

主要な貢献と結果

• 一般化：理論はハイゼンベルグ群（$m=1$）から、任意の中心次元 $m$ を持つ一般的なステップ 2 冪零群へと拡張された。
• 明示的な不一致 bound：すべての $\alpha > 0$ およびすべての次元に対して、相対的不一致 $P^{\alpha, M}_{q, m}(R)$ の明示的な上界が提供される。これらの bound は、$\alpha, q, m$ の関係に依存して、$R$ のべき乗と対数因子の形で表現される。
• ハイゼンベルグ群における定量的改善：結果は、ハイゼンベルグ群（$H_d$、ここで $q=2d, m=1$）に関する Garg, Nevo, Taylor [17] の先行研究を定量的に改善する：
  • 次元 5（$d=2$）：$\alpha \in (3, 4)$ または $\alpha = 1$ の場合、対数因子の指数は $2/3$ から $1/3$ に減少する。$\alpha = 4$（Cygan–Korányi ノルム）および $\alpha \in (2, 3]$ の場合、対数因子 $\log^{2/3} R$ は完全に除去される。
  • 次元 3（$d=1$）：$\alpha = 1$ の場合、推定は $O_\epsilon(R^{5/2+\epsilon})$ から $O(R^2 \log^{1/2} R)$ に引き上げられる。$\alpha \in (1, 2)$ の場合、bound は $O(R^{19/8})$ に改善される。$\alpha > 4$ の場合、対数因子 $\log R$ は除去される。
• 鋭さ：中心が一次元（$m=1$）であり、かつ行列パラメータが有理数条件を満たす場合、$\alpha = 2$ において bound が鋭いことが示される。
• 殻の数え上げ：副産物として、著者らは超曲面（球）近傍の格子点数え上げに関する結果を一般的なステップ 2 の設定に拡張し、薄い殻 $\partial B^{\alpha, M}_R$ 内の点の数に対する推定を提供する。これはハイゼンベルグ群に関する Campolongo–Taylor [8] および Srivastava–Taylor [58] の最近の結果を改善する。

意義と主張
本論文は、ステップ 2 冪零群における非ユークリッドな枠組み内での格子点分布の「完全な理解」を提供し、いくつかのケースで最適な不一致指数を達成すると主張している。

著者らは、自らの手法が先行アプローチの限界を克服していると強調する：

• Gath [18, 19] によって用いられたスライシング議論（特定の算術構造、例えば $\alpha=4$ に制限される）とは異なり、現在の手法は一般的な $\alpha$ および一般的な行列に適用可能である。
• 非凸性と退化した停留点のために $\alpha < 2$ で困難に直面した Garg, Nevo, Taylor [17] の手法とは異なり、現在のアプローチは、これらの領域を処理するために洗練されたベッセル関数の解析と位相関数の分解を利用する。
• この研究は、周波数領域 $\lambda_1$ と $\lambda_2$ を区別することによって、従来のハイゼンベルグ群固有の枠組みでは十分に捉えられていなかった群構造の「異方性」に対処する。

本研究は、$q$ と $m$ における不一致推定の一貫した理解に向けた予備的なステップとして提示されており、著者らは大次元に対するさらなる最適化は将来の課題であると指摘している。結果は、ステップ 2 冪零リー群の特定の幾何学に適応された解析的整数論および調和解析の標準的な道具（ポアソン和公式、振動積分、ベッセル関数）を用いて導き出された。