[论文解读] Quantization of symplectic vector spaces over finite fields

Shamgar Gurevich, Ronny Hadani|ArXiv.org|May 31, 2007

Advanced Algebra and Geometry被引用 5

一句话总结

本文构建了一个从奇特征有限域上的辛向量空间到复向量空间的典范量子化函子，从而自然实现了辛群的 Weil 表示。关键贡献在于对有限域上 Heisenberg 群证明了一个强 Stone–von Neumann 定理，通过定向拉格朗日子空间为每个共轭轨道建立了典范的向量空间模型。

ABSTRACT

In this paper, we construct a quantization functor, associating a complex vector space H(V) to a finite dimensional symplectic vector space V over a finite field of odd characteristic. As a result, we obtain a canonical model for the Weil representation of the symplectic group Sp(V). The main new technical result is a proof of a stronger form of the Stone-von Neumann property for the Heisenberg group. Our result answers, for the case of the Heisenberg group, a question of Kazhdan about the possible existence of a canonical vector space attached to a coadjoint orbit of a general unipotent group over finite field.

研究动机与目标

• 为奇特征有限域上的每个有限维辛向量空间构造一个将复向量空间赋值的典范量子化函子。
• 为辛群 $Sp(V)$ 的 Weil 表示提供一个典范线性模型，避免使用射影表示及其后续线性化。
• 为有限域上的 Heisenberg 群建立 Stone–von Neumann 定理的强形式，解决 Kazhdan 关于单群的共轭轨道的典范向量空间的提问。
• 证明该量子化函子为张量函子，与对偶性相容，并通过自然同构尊重辛约化。
• 为每个定向拉格朗日子空间 $L^\circ = (L, o_L)$ 构造一个 $\mathcal{H}(V)$ 中的典范向量，通过不变子空间 $\mathcal{H}^L(V) \simeq \mathbb{C}$。

提出的方法

• 使用表示论方法构造量子化函子 $\mathcal{H}: \mathsf{Symp} \to \mathsf{Vect}$，为每个辛空间 $V$ 赋值一个复向量空间 $\mathcal{H}(V)$。
• 该构造依赖于 Heisenberg 群 $H(V)$ 的强 Stone–von Neumann 定理版本，确保具有固定中心特征标时存在唯一不可约表示。
• 提供了两种证明：一种使用初等线性代数，另一种使用 $\ell$-adic 陌生 Weil 上同调层，后者被证明实现了强 Stone–von Neumann 性质。
• 上同调层证明涉及在定向拉格朗日子空间空间上构造一个 $\ell$-adic 陌生 Weil 上同调层 $\mathcal{K}$，并通过傅里叶变换技术证明其卷积同构。
• 通过同构 $\mathcal{H}^I(V) \simeq \mathcal{H}(I^\perp / I)$ 建立与辛约化的相容性，其中 $I$ 是一个定向的迷向子空间。
• 与定向拉格朗日子空间 $L^\circ$ 关联的典范向量来源于同构 $\mathcal{H}^L(V) \simeq \mathcal{H}(0) = \mathbb{C}$，从而得到 $\mathcal{H}(V)$ 中一个明确定义的向量 $v_{L^\circ} \in \mathcal{H}(V)$。

实验结果

研究问题

• RQ1 能否为奇特征有限域上的辛向量空间函子性地关联一个典范复向量空间？
• RQ2 有限域上 Heisenberg 群的 Stone–von Neumann 定理是否存在强形式，以确保表示的唯一性与自然性？
• RQ3 能否通过函子性量子化将 Weil 表示实现为典范线性表示，而非射影表示？
• RQ4 是否存在一个自然向量 $\mathcal{H}(V)$ 与每个定向拉格朗日子空间 $L^\circ = (L, o_L)$ 关联？
• RQ5 该量子化函子如何与辛约化和对偶性相互作用？

主要发现

• 本文构造了一个张量型的量子化函子 $\mathcal{H}: \mathsf{Symp} \to \mathsf{Vect}$，为每个辛向量空间 $V$ 赋值一个复向量空间 $\mathcal{H}(V)$，为 $Sp(V)$ 的 Weil 表示提供了典范模型。
• 证明了有限域 $\mathbb{F}_q$ 上 Heisenberg 群的强 Stone–von Neumann 定理，确保具有固定中心特征标的唯一不可约表示，这是整个构造的基础。
• 对任意定向迷向子空间 $I^\circ = (I, o_I)$，存在自然同构 $\mathcal{H}^I(V) \simeq \mathcal{H}(I^\perp / I)$，表明与辛约化的相容性。
• 当 $I = L$ 为拉格朗日子空间时，不变子空间 $\mathcal{H}^L(V)$ 同构于 $\mathbb{C}$，从而为每个定向拉格朗日子空间 $L^\circ$ 生成一个典范向量 $v_{L^\circ} \in \mathcal{H}(V)$。
• 函子 $\mathcal{H}$ 与对偶性相容，即以自然方式满足 $\mathcal{H}(V^*) \simeq \mathcal{H}(V)^*$。
• 上同调层证明使用了在定向拉格朗日子空间空间上的 $\ell$-adic 陌生 Weil 上同调层 $\mathcal{K}$，其卷积结构实现了量子化并证明了强 Stone–von Neumann 性质。