Distribution of integer points on determinant surfaces and a $\text{mod-}p$ analogue

基本信息

• 论文ID: 2508.14793
• 标题: Distribution of integer points on determinant surfaces and a $\text{mod-}p$ analogue
• 作者: Satadal Ganguly, Rachita Guria
• 分类: math.NT (Number Theory)
• 发表时间: 2025年8月 (arXiv v2: 2025年8月24日)
• 论文链接: https://arxiv.org/abs/2508.14793

摘要

本文针对行列式方程 $xy-zw=r$ ($r$ 为非零整数) 建立了带光滑权重的整数解计数的渐近公式，给出了显式主项和关于变量 $x, y, z, w$ 以及 $r$ 大小的强误差界。同时，对于同余式 $xy-zw \equiv 1 \pmod{p}$ ($p$ 为大素数)，也建立了类似的渐近公式及强误差界。

研究背景与动机

核心问题

本文研究二次型表示整数的经典问题，具体关注行列式曲面 $Q(x_1,x_2,x_3,x_4) = x_1x_2 - x_3x_4 = r$ 上的整数点计数问题。

重要性

1. 理论价值：二次型表示整数问题自Fermat时代以来就是数论的核心课题，与模形式理论、圆法等深刻理论工具紧密相关。
2. 实际应用：行列式方程的解计数自然出现在解析数论的多个领域：
   • L-函数的矩估计 (BC18, DFI97)
   • 除数函数的移位卷积和估计
   • 矩阵表示论问题
3. 技术挑战：对于不定二次型，当 $n \geq 4$ 时，Hasse原理成立（Siegel定理）。但获得显式且依赖于 $r$ 的强误差界是技术难点。

现有方法的局限性

1. Heath-Brown HB96 的圆法：
   • 仅处理了 $r=0$ 和 $r=X^2$ 两种特殊情况
   • 对一般四元二次型，误差项为 $O(X^{3/2+\varepsilon})$
   • 不能有效处理 $r$ 作为独立变量的情况
2. Getz Get18 的改进：
   • 通过"double Kloosterman refinement"改进误差项
   • 但仅适用于 $r=0$ 的情况（因为 $S_q(c)$ 仅在 $c=0$ 时关于 $q$ 可乘）
3. 作者之前的工作 GG23：
   • 处理了尖锐截断（sharp-cut）的情况，但要求 $|r| \leq X^{1/3}$
   • 需要更精细的谱理论工具

本文创新点

本文通过直接应用Poisson求和而非圆法，将问题转化为Kloosterman和的估计，然后利用Kuznetsov迹公式获得：

1. 对任意 $r = o(X^2)$，误差项为 $O(r^\theta X^{1+\varepsilon})$，其中 $\theta \leq 7/64$ 是Ramanujan-Petersson猜想的指数
2. 处理了 $r$ 作为独立变量的一般情况
3. 对mod-$p$同余问题，证明了只需 $X \gg p^{1/2+\varepsilon}$ 即可获得渐近公式

核心贡献

1. 定理1.1（主定理）：对于方程 $ad-bc=r$，建立了渐近公式 $S_V(X,r) = M_V(X,r) + O_\varepsilon(r^\theta X^{1+\varepsilon})$ 其中主项为 $M_V(X,r) = \sum_{l|r}\sum_{k>0}\frac{\mu(k)}{k}\int\!\!\!\int\!\!\!\int \frac{1}{z}V\left(\frac{x}{X}\right)V\left(\frac{lky}{X}\right)V\left(\frac{lkz}{X}\right)V\left(\frac{r+lkxy}{zlkX}\right)dxdydz$
2. 推论1.2：当 $r = o(X^2)$ 时， $S_V(X,r) = K(V,r)X^2 + O(\sigma(|r|)) + O(r^\theta X^{1+\varepsilon})$ 其中 $K(V,r) = \frac{1}{\zeta(2)}\frac{\sigma(|r|)}{|r|}\int\!\!\!\int\!\!\!\int \frac{1}{t}V(u)V(v)V(t)V\left(\frac{uv}{t}\right)dudvdt$
3. 定理1.3（mod-$p$类比）：对于同余式 $ad-bc \equiv 1 \pmod{p}$，当 $p^{1/100} < X < p/2$ 时， $\sum_{ad-bc\equiv 1\pmod{p}}V\left(\frac{a}{X}\right)V\left(\frac{b}{X}\right)V\left(\frac{c}{X}\right)V\left(\frac{d}{X}\right) = \frac{X^4}{p}\left(\int V(t)dt\right)^4 + O(X^2g(p))$ 其中 $g(p) \to \infty$ 任意慢。
4. 方法论贡献：
   • 避免使用圆法，直接应用Fourier分析
   • 精细分析Kuznetsov公式中的Bessel变换
   • 方法可推广到 $\alpha x_1x_2 - \beta x_3x_4 = r$ 和三元形式 $\alpha x_1x_2 - \beta x_3^2$

方法详解

任务定义

问题1（行列式方程）：给定非零整数 $r$ 和增长参数 $X \to \infty$，计数满足 $ad - bc = r, \quad a,b,c,d \in \mathbb{Z}$ 且 $a,b,c,d \sim X$ 的整数解个数（带光滑权重 $V$）。

问题2（mod-$p$同余）：给定大素数 $p$ 和参数 $X$，计数满足 $ad - bc \equiv 1 \pmod{p}$ 且 $|a|,|b|,|c|,|d| \leq X$ 的整数解个数（带光滑权重）。

核心方法架构

第一步：Poisson求和与降维

将 $d = (r+bc)/a$ 代入，条件变为 $bc \equiv -r \pmod{a}$： $S_V(X,r) = \sum_a \sum_c V\left(\frac{a}{X}\right)V\left(\frac{c}{X}\right)\sum_{\substack{b \in \mathbb{Z}\\b \equiv -r\bar{c} \pmod{a}}}V\left(\frac{b}{X}\right)V\left(\frac{r+bc}{aX}\right)$

应用Poisson求和公式（引理2.1）到 $b$-和： $\sum_{b \equiv -r\bar{c} \pmod{a}}V_{a,c}(b) = \frac{1}{a}\sum_{n \in \mathbb{Z}}e\left(\frac{-nr\bar{c}}{a}\right)\hat{V}_{a,c}\left(\frac{n}{a}\right)$

分离 $n=0$ 项（主项）和 $n \neq 0$ 项（误差项）： $S_V(X,r) = M_V(X,r) + E_V(X,r)$

第二步：主项分析（第4节）

对主项，去除互素条件后应用Möbius反演： $M_V(X,r) = \sum_{l|r}\sum_{k>0}\frac{\mu(k)}{k}\int V\left(\frac{x}{X}\right)\sum_{a_1}\frac{1}{a_1}V\left(\frac{lka_1}{X}\right)\sum_{c_2}W(c_2,a_1)dx$

再次应用Poisson求和到 $c_2$-和和 $a_1$-和，分离零频项，得到命题4.1的显式主项。

第三步：误差项分析（第5-7节）

关键转化：应用Poisson求和到 $c_1$-和（引理2.2），得到Kloosterman和： $E_V(X,r) = \sum_{l|r}\sum_{n \neq 0}\int\!\!\int \sum_{a_1}\frac{1}{a_1^2}V_{a_1}(x,y)e\left(\frac{-nx}{a_1}\right)S(nr_1,0,a_1)dxdy$$\quad\quad\quad\quad + \sum_{l|r}\sum_{\substack{m,n \neq 0}}\int\!\!\int \sum_{a_1}\frac{1}{a_1^2}V_{a_1}(x,y)e\left(\frac{-nx-my}{a_1}\right)S(nr_1,-m,a_1)dxdy$

第一项用Ramanujan和的标准界估计为 $O(\tau(r)X^{1+\varepsilon})$。

核心估计（命题6.1）：需要证明 $\sum_{|n| \ll X^\varepsilon/l}\sum_{|m| \ll X^\varepsilon}\sum_{c>0}\frac{1}{c}S(nr_1,-m,c)f\left(\frac{4\pi\sqrt{|mnr_1|}}{c}\right) \ll r^\theta X^\varepsilon$

技术创新点

1. Kuznetsov公式的应用（第6节）

应用Kuznetsov迹公式（引理2.6）将Kloosterman和分解为三部分： $\sum_c \frac{1}{c}S(nr_1,-m,c)f\left(\frac{4\pi\sqrt{|mnr_1|}}{c}\right) = \Sigma_{\text{Maass}} + \Sigma_{\text{cont.}} + \Sigma_{\text{hol.}}$

• Maass形式贡献： $\Sigma_{\text{Maass}} = \sum_{j=1}^\infty \rho_j(nr_1)\rho_j(m)\check{f}(\kappa_j)$
• 连续谱贡献： $\Sigma_{\text{cont.}} = \frac{1}{\pi}\int_{-\infty}^\infty \frac{(nmr_1)^{-i\eta}\sigma_{2i\eta}(nr_1)\sigma_{2i\eta}(m)\cosh(\pi\eta)\check{f}(\eta)}{|\zeta(1+2i\eta)|^2}d\eta$
• 全纯形式贡献： $\Sigma_{\text{hol.}} = \sum_{k \text{ even}}\tilde{f}(k)\sum_{j}\psi_{j,k}(m)\psi_{j,k}(nr_1)$

2. Bessel变换的精细估计（第6.2-6.3节）

关键技术：通过Mellin反演和Stirling公式，证明：

命题6.2： $\check{f}(\eta) \ll X^{2\varepsilon}\frac{e^{-\pi|\eta|}}{|\eta|^{2+\varepsilon}}$

证明思路：

1. 用Mellin反演表示 $K_{2i\eta}(t)$（公式6.7）
2. 移动积分线到 $\sigma = -1-\delta$，拾取 $s = \pm 2i\eta$ 处的留数
3. 分部积分两次（利用 $f''(t) \ll t^{-2}$）
4. 应用Stirling渐近（引理2.3）

命题6.3： $\ddot{f}(\eta) \ll X^\varepsilon \frac{e^{-\pi|\eta|}}{|\eta|^{5/2}}$

3. Maass形式贡献的估计（第6.4节）

引理6.4（关键技术引理）： $\sum_{1 \leq n \leq N}|\rho_j(nq)|^2/\cosh(\pi\kappa_j) \ll q^{\theta+\varepsilon}N(N\kappa_j)^\varepsilon$

证明：利用Hecke关系（2.7）和Kim-Sarnak界（$\theta \leq 7/64$）。

命题6.5：应用Cauchy-Schwarz不等式和Weyl律（引理2.7）： $M(X) \ll X^{2\varepsilon}\sum_{K \text{ dyadic}}\frac{1}{K^{2+\varepsilon}}\sum_{\kappa_j \sim K}\kappa_j^\varepsilon \ll r^\theta X^\varepsilon$

4. 连续谱和全纯形式的处理

• 连续谱（命题6.6）：利用 $\zeta(1+2i\eta)$ 的渐近性质和指数衰减，得 $\Sigma_{\text{cont.}} \ll X^\varepsilon$
• 全纯形式（命题6.8）：应用Petersson迹公式、Deligne界和J-Bessel函数的和公式（引理6.7），得 $\Sigma_{\text{hol.}} \ll X^\varepsilon$

mod-$p$问题的方法（第8节）

策略差异：对于mod-$p$问题，应用正交性： $S(X,1,V;p) = \frac{1}{p}\sum_{a,b,c,d}V_X(a,b,c,d) + \frac{1}{p}\sum_{h \neq 0}^*e\left(\frac{-h}{p}\right)\sum V_X(a,b,c,d)e\left(\frac{h(ad-bc)}{p}\right)$

关键技巧：

1. 仅对两个变量（$c,d$）应用Poisson求和（避免重复）
2. 消去 $h$，转化为 $ac+bd \equiv 0 \pmod{p}$
3. 再次应用Poisson求和和引理8.1，利用对偶变量的小性（$\ll pg(p)/X$）

实验设置

本文为纯数学理论论文，不涉及数值实验。所有结果都是通过严格的数学证明获得。

理论验证

1. 与已知结果的一致性：
   • 当 $r=0$ 或 $r=X^2$ 时，结果与Heath-Brown HB96 一致
   • 误差项 $O(r^\theta X^{1+\varepsilon})$ 优于一般四元形式的 $O(X^{3/2+\varepsilon})$
2. 极限情况：
   • 当 $r = o(X^2)$ 时，主项 $\sim K(V,r)X^2$ 符合预期
   • 当 $X < \sqrt{p}$ 时，mod-$p$问题退化为行列式方程

实验结果

主要结果

定理1.1的含义：

• 误差项强度：$O(r^\theta X^{1+\varepsilon})$ 在 $r = o(X^{2-\theta-\varepsilon})$ 时远小于主项 $\sim X^2$
• 当前最优：$\theta = 7/64$ 给出 $r = o(X^{121/64-\varepsilon})$ 时的渐近公式
• 猜想最优：若Ramanujan-Petersson猜想成立（$\theta=0$），则对所有 $r = o(X^2)$ 都有渐近公式

推论1.2的精确主项： $K(V,r) = \frac{1}{\zeta(2)}\frac{\sigma(|r|)}{|r|}\int\!\!\!\int\!\!\!\int \frac{1}{t}V(u)V(v)V(t)V\left(\frac{uv}{t}\right)dudvdt$

• 因子 $\frac{\sigma(|r|)}{|r|}$ 反映了 $r$ 的除数结构对解数的影响
• $\frac{1}{\zeta(2)} = \frac{6}{\pi^2}$ 来自互素条件的概率

定理1.3的意义：

• 改进了Ahmadi-Shparlinski AS07 的结果（他们需要 $X \gg p^{1/2+\varepsilon}$ 的固定 $\varepsilon$）
• 本文证明对任意 $g(p) \to \infty$（无论多慢），只要 $X \gg p^{1/2}g(p)$ 就有渐近公式
• 应用：存在大量高度为 $O(p^{1/2+o(1)})$ 的矩阵在mod $p$ 下属于 $\text{SL}_2(\mathbb{F}_p)$

与相关工作的比较

优势：

1. $r$ 的范围更广（几乎达到 $X^2$）
2. 误差项对 $r$ 和 $X$ 的依赖更优
3. 方法更直接，避免了圆法的技术复杂性

相关工作

二次型表示理论

1. 经典理论：
   • Jacobi-Siegel理论：通过theta级数和模形式研究（Kit86）
   • Siegel定理：不定二次型在 $n \geq 4$ 时满足Hasse原理（Sie51）
2. 圆法：
   • Hardy-Ramanujan-Littlewood发明，Kloosterman等发展
   • Heath-Brown HB96 的"新形式圆法"
3. 谱方法：
   • Deshouillers-Iwaniec DI82, DI83 开创性工作
   • Kuznetsov公式的应用

行列式方程的应用

1. L-函数矩：Duke-Friedlander-Iwaniec DFI97
2. Kloosterman分数的三线性型：Bettin-Chandee BC18
3. 移位卷积和：与除数函数相关

mod-$p$矩阵表示

1. Ahmadi-Shparlinski AS07：
   • 证明 $X \gg p^{1/2+\varepsilon}$ 时有渐近公式（1.6）
   • 应用于有限域上的矩阵分布
2. 本文改进：将 $\varepsilon$ 降至任意慢的 $g(p)$

结论与讨论

主要结论

1. 理论贡献：
   • 对行列式方程 $xy-zw=r$ 建立了几乎最优的渐近公式（在Ramanujan-Petersson猜想下）
   • 误差项 $O(r^\theta X^{1+\varepsilon})$ 在 $r$ 和 $X$ 两个维度都达到了强界
2. 方法论贡献：
   • 展示了Poisson求和+Kuznetsov公式的强大威力
   • 避免了圆法的技术复杂性
   • Bessel变换的精细分析是关键技术创新
3. 应用价值：
   • 为L-函数矩估计提供了更好的工具
   • 对mod-$p$矩阵分布给出了几乎最优的结果

局限性

1. 范围限制：
   • 定理1.1要求 $r = o(X^2)$（虽然已经很宽）
   • 定理1.3要求 $X > p^{1/100}$（技术性条件，可放宽）
2. 光滑权重：
   • 使用光滑函数 $V$ 而非尖锐截断
   • 尖锐截断的情况更困难（见GG23）
3. 依赖未解决猜想：
   • 误差项依赖于Ramanujan-Petersson猜想的进展
   • 当前 $\theta = 7/64$，猜想值 $\theta = 0$
4. 三元形式未处理：
   • 备注1.4提到方法可推广到 $\alpha x_1x_2 - \beta x_3^2$
   • 但本文未给出详细证明

未来方向

1. 推广到其他形式：
   • 三元形式 $\alpha x_1x_2 - \beta x_3^2$（用Salié和+Proskurin公式）
   • 更一般的不定二次型
2. 改进误差项：
   • 利用Ramanujan-Petersson猜想的进展
   • 探索其他谱方法
3. 尖锐截断：
   • 扩大GG23中 $r$ 的范围（当前 $|r| \leq X^{1/3}$）
   • 需要更精细的谱理论工具
4. 应用：
   • L-函数矩的改进估计
   • 移位卷积和的新结果

深度评价

优点

1. 方法创新性：
   • 直接应用Fourier分析而非圆法，思路清晰
   • Bessel变换的精细估计（命题6.2-6.3）体现了深厚的分析技巧
   • 将问题转化为Kloosterman和后利用谱理论是巧妙的
2. 结果强度：
   • 误差项 $O(r^\theta X^{1+\varepsilon})$ 在两个参数上都是强界
   • 对 $r = o(X^2)$ 的范围几乎最优
   • mod-$p$结果改进了已有最好结果
3. 技术深度：
   • Kuznetsov公式的三部分（Maass、连续谱、全纯）都得到精细处理
   • 引理6.4（关于 $\rho_j(nq)$ 的估计）是关键技术贡献
   • Cauchy-Schwarz不等式+Weyl律的组合使用很有效
4. 写作清晰度：
   • 结构清晰，从动机到证明逻辑连贯
   • 与相关工作的比较详尽（备注1.1-1.6）
   • 技术细节完整，可复现性强

不足

1. 光滑权重限制：
   • 尖锐截断的情况更有应用价值，但本文未处理
   • 虽然作者在GG23中处理了部分情况，但范围更窄
2. 依赖深刻猜想：
   • 误差项的具体数值依赖于Ramanujan-Petersson猜想
   • 当前 $\theta = 7/64$ 使得 $r$ 的范围为 $o(X^{121/64})$，仍有改进空间
3. 推广未完成：
   • 备注1.4提到可推广到三元形式，但未给出证明
   • 对一般不定二次型的推广不明确
4. 应用展示不足：
   • 虽然提到与L-函数矩的联系，但未给出具体应用
   • 可以补充一些数值例子或具体应用场景

影响力

1. 理论影响：
   • 为不定二次型表示问题提供了新的强有力工具
   • Bessel变换的估计技术可能对其他问题有启发
   • 展示了谱方法在这类问题上的优势
2. 方法论影响：
   • Poisson求和+Kuznetsov公式的范式可能被广泛采用
   • 避免圆法的复杂性，使得方法更易推广
3. 实用价值：
   • 对L-函数矩估计等应用问题提供更好的理论基础
   • mod-$p$结果对有限域上的矩阵表示论有直接应用
4. 可复现性：
   • 证明完整，技术细节清晰
   • 依赖的工具（Kuznetsov公式、Weyl律等）都是标准的
   • 高度可复现

适用场景

1. 理论研究：
   • 不定二次型表示问题
   • Kloosterman和的估计
   • 自守形式的谱理论应用
2. 解析数论：
   • L-函数矩的估计
   • 移位卷积和
   • 指数和的估计
3. 代数数论：
   • Hasse原理的定量版本
   • 整Brauer-Manin阻碍
4. 有限域：
   • 矩阵在有限域上的分布
   • 模素数的同余问题

参考文献（关键文献）

1. HB96 Heath-Brown, D. R. "A new form of the circle method, and its application to quadratic forms." J. Reine Angew. Math. 481 (1996): 149-206.
   • 圆法在二次型问题上的应用，本文的主要比较对象
2. DI83 Deshouillers, J.-M., and Iwaniec, H. "Kloosterman sums and Fourier coefficients of cusp forms." Invent. Math. 70 (1982/83): 219-288.
   • Kuznetsov公式的经典参考
3. Kim03 Kim, H. H. "Functoriality for the exterior square of GL₄ and the symmetric fourth of GL₂." J. Amer. Math. Soc. 16 (2003): 139-183.
   • Ramanujan-Petersson猜想的最佳已知结果 $\theta \leq 7/64$
4. IK04 Iwaniec, H., and Kowalski, E. Analytic Number Theory. AMS, 2004.
   • 解析数论的标准参考书
5. GG23 Ganguly, S., and Guria, R. "Counting lattice points on determinant surfaces and spectral methods of automorphic forms." Submitted, 2023.
   • 作者的前期工作，处理尖锐截断的情况
6. AS07 Ahmadi, O., and Shparlinski, I. E. "Distribution of matrices with restricted entries over finite fields." Indag. Math. 18 (2007): 327-337.
   • mod-$p$问题的前期工作

总体评价：这是一篇高质量的解析数论论文，通过巧妙地结合Fourier分析和自守形式的谱理论，对经典的行列式方程解计数问题给出了几乎最优的结果。方法新颖，技术深刻，结果强劲，对该领域有重要贡献。特别是Bessel变换的精细估计和对 $r$ 依赖性的处理展现了作者深厚的分析功力。论文写作清晰，逻辑严密，是谱方法应用的优秀范例。