Radon transform for $GL_n(\mathbb{F}_q)$

技术摘要：$GL_n(\mathbb{F}_q)$ 的 Radon 变换

问题陈述
本文研究了与有限域 $\mathbb{F}_q$ 上一般线性群 $GL_n(\mathbb{F}_q)$ 的单幂根子群相关的 Radon 变换。具体而言，作者研究了作用在陪集空间 $GL_n(\mathbb{F}_q)/U_\lambda$ 上的算子 $\mathcal{R} = R' \circ R$，其中 $U_\lambda$ 是对应于整数分拆 $\lambda$ 的抛物子群的单幂根。主要目标是确定该算子的特征值。虽然对于标准 Borel 子群（其特征值为 $q$ 的幂）的特征值问题已有定论，但对于一般分拆 $\lambda$ 的行为仍不完全明确。

方法论
作者结合了表示论、Hecke 代数理论以及显式组合计算，采用了以下方法：

1. Hecke 代数约化： 将 Radon 变换识别为群代数 $\mathbb{C}[GL_n(\mathbb{F}_q)]$ 中右 $U_\lambda$ 不变量子空间的内射映射。作者利用 Yokonuma-Hecke 代数和 Gelfand-Graev Hecke 代数的结构来分解该问题。
2. 通过幂等元进行分解： 在特定情况下，利用与单幂子群特征相关的正交幂等元对单位元进行分解。这使得 Radon 变换可以表示为作用在较小且交换的子代数上的算子之和。
3. 针对小 $n$ 的显式计算： 文中重点讨论了 $n=2$ 和 $n=3$ 的情况。对于 $n=2$，推导出了该算子的最小多项式。对于 $n=3$，作者将算子限制在特定的 Hecke 子代数（Yokonuma 和 Gelfand-Graev 类型）上，并利用计算机代数系统（Wolfram Mathematica）验证最小多项式和特征方程。
4. 组合系数分析： 对于抛物情形 $\lambda = (k, n-k)$，作者通过分析双陪集并计算 $\mathbb{F}_q$ 上特定矩阵方程解的数量，推导出了 Radon 变换矩阵系数的显式公式。

主要贡献与结果

• 一般性质：

  • 作者证明了 Radon 变换 $\mathcal{R}$ 具有实特征值，且每个特征值的重数都能被 $q-1$ 整除。
  • 他们确立了一般分拆 $\lambda$ 的特征值问题可以简化为形式为 $(k, n-k)$ 的分拆情形。
  • 研究表明，特征值是整除 $q$ 的幂次的非零代数整数。

• $GL_2(\mathbb{F}_q)$ 情况：

  • 文中证明了在这种情况下，Radon 变换可能的特征值仅为 $1, q$ 和 $q^2$。
  • 基于右 $U(1,1)$-不变元空间的维数，计算了这些特征值的显式重数。

• $GL_3(\mathbb{F}_q)$ 情况：

  • 对于分拆 $\lambda = (2,1)$，限制在 Yokonuma-Hecke 代数上的 Radon 变换的特征值被证明是集合 $\{1, q, q^2, q^3, q^4\}$ 的子集。
  • 对于 Gelfand-Graev Hecke 代数（与非平凡特征相关），其特征值是集合 $\{1, q, q^2, q^3\}$ 的子集。
  • 结合这些结果，确定了在 $GL_3(\mathbb{F}_q)$ 上全 Radon 变换上的可能特征值是 $\{1, q, q^2, q^3, q^4, q^5, q^6\}$ 的一个子集（其中 0 可能出现在特定的不变子空间中）。

• 抛物情形 $\lambda = (k, n-k)$：

  • 作者通过描述在子空间之间的线性映射，提供了 Hecke 代数 $\mathcal{H}(GL_n(\mathbb{F}_q), U(k, n-k))$ 的基描述。
  • 他们推导出了 Radon 变换作用在该代数上的矩阵系数公式，该公式涉及类 $q$-二项式的乘积。

意义与主张
本文声称提供了超越标准 Borel 情况后，对 $GL_n(\mathbb{F}_q)$ 上 Radon 变换特征值的首次显式描述，特别是针对 $n=2$ 和 $n=3$ 的情况。作者展示了在这些情况下，特征值均为 $q$ 的幂次。

基于其发现，作者提出了猜想 7.6，指出对于任何分拆 $\lambda$，作用在 $\mathbb{C}[GL_n(\mathbb{F}_q)/U_\lambda]$ 上的 Radon 变换的特征值均为 $q$ 的幂次。论文将 $\lambda = (k, n-k)$ 的情形定位为证明一般 $n$ 下该猜想的核心，并指出理解 Yokonuma-Hecke 代数结构是解决一般问题的关键。该工作依赖于单幂 Hecke 代数的结构属性，并未提出表示论及这些特定算子谱分析范围之外的新应用。