[論文レビュー] Quantization of symplectic vector spaces over finite fields

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

Advanced Algebra and Geometry被引用数 5

ひとこと要約

本稿は、奇数の標数をもつ有限体上のシンプレクティックベクトル空間から複素ベクトル空間への標準的量子化関手を構成し、シンプレクティック群のワイエル表現の自然な実現をもたらす。主な貢献は、有限体上のヘイゼンベルク群に対して強いストーン＝フォンノイマンの定理の証明であり、各共軛軌道に対して方向付きラグラングIAN部分空間を介して標準的なベクトル空間モデルを確立する。

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)$ のワイエル表現の標準的線形モデルを提供すること。
• 有限体上のヘイゼンベルク群に対して強いストーン＝フォンノイマンの定理を確立し、単純なユニポテンツ群の共軛軌道に対する標準的ベクトル空間の存在を解決すること。
• 量子化関手がモノイダルであり、双対性と自然同型を介してシンプレクティック還元を尊重することを示すこと。
• 各方向付きラグラングIAN部分空間 $L^\circ = (L, o_L)$ に対して、$Χ^L(V) \simeq \mathbb{C}$ を介して $Χ(V)$ に自然なベクトルを構成すること。

提案手法

• 表現論的手法を用いて、関手 $\mathcal{H}: \mathsf{Symp} \to \mathsf{Vect}$ を構成し、各シンプレクティック空間 $V$ に対して複素ベクトル空間 $\mathcal{H}(V)$ を割り当てる。
• ヘイゼンベルク群 $H(V)$ に対して強いストーン＝フォンノイマンの定理を用い、固定された中心的特徴の下で唯一の既約表現が存在することを保証する。
• 2通りの証明が提供される：1つは初等線形代数を用い、もう1つは $\ell$-adic な perverse ワイル層を用いる。後者は強いストーン＝フォンノイマン性質を実現することを示す。
• 層論的証明では、方向付きラグラングIANの空間に $\ell$-adic な perverse 層 $\mathcal{K}$ を構成し、フーリエ変換技術を用いてその畳み込み同型を証明する。
• シンプレクティック還元との整合性は、$I$ を方向付きの単位的部分空間とするときの同型 $\mathcal{H}^I(V) \simeq \mathcal{H}(I^\perp / I)$ を通して確立される。
• 方向付きラグラングIAN $L^\circ$ に付随する標準的ベクトルは、同型 $\mathcal{H}^L(V) \simeq \mathcal{H}(0) = \mathbb{C}$ から生じ、$\mathcal{H}(V)$ の中で明確に定義されたベクトル $v_{L^\circ} \in \mathcal{H}(V)$ を与える。

実験結果

リサーチクエスチョン

• RQ1 奇数の標数をもつ有限体上のシンプレクティックベクトル空間に、関手的に標準的な複素ベクトル空間を割り当てられるか？
• RQ2 有限体上のヘイゼンベルク群に対して強いストーン＝フォンノイマンの定理が成り立つのか。これにより、表現の唯一性と自然性が保証されるか？
• RQ3 関手的量子化を用いて、射影的表現を経由せず、ワイエル表現を標準的線形表現として実現できるか？
• RQ4 各方向付きラグラングIAN部分空間 $L^\circ = (L, o_L)$ に対して、$Χ(V)$ に自然なベクトルが関連づけられるか？
• RQ5 量子化関手はシンプレクティック還元および双対性とどのように作用するか？

主な発見

• 本稿は、モノイダル量子化関手 $\mathcal{H}: \mathsf{Symp} \to \mathsf{Vect}$ を構成し、各シンプレクティックベクトル空間 $V$ に対して複素ベクトル空間 $\mathcal{H}(V)$ を割り当て、$Sp(V)$ のワイエル表現の標準的モデルを提供する。
• 有限体 $\mathbb{F}_q$ 上のヘイゼンベルク群に対して強いストーン＝フォンノイマンの定理が証明され、固定された中心的特徴を持つ唯一の既約表現が存在することが保証され、これが構成の根拠となる。
• 任意の方向付き単位的部分空間 $I^\circ = (I, o_I)$ に対して、自然同型 $\mathcal{H}^I(V) \simeq \mathcal{H}(I^\perp / I)$ が存在し、シンプレクティック還元と整合していることが示される。
• $I = L$ がラグラングIAN部分空間であるとき、不変部分空間 $\mathcal{H}^L(V)$ は $\mathbb{C}$ に同型であり、各方向付きラグラングIAN $L^\circ$ に対して標準的ベクトル $v_{L^\circ} \in \mathcal{H}(V)$ が得られる。
• 関手 $\mathcal{H}$ は双対性と整合する。すなわち、自然な方法で $\mathcal{H}(V^*) \simeq \mathcal{H}(V)^*$ が成り立つ。
• 層論的証明では、方向付きラグラングIANの空間に $\ell$-adic な perverse ワイル層 $\mathcal{K}$ を構成し、その畳み込み構造が量子化を実現し、強いストーン＝フォンノイマン性質を証明する。