[論文レビュー] A partial analog of integrability theorem for distributions on p-adic spaces and applications

Avraham Aizenbud|ArXiv.org|Nov 17, 2008

Advanced Algebra and Geometry参考文献 13被引用数 8

ひとこと要約

本稿は、p進空間上の分布の積分可能性定理の非アーケメデス的アナログを確立し、波面集合のザリスキ閉包として特異的補題を定義することで、それが弱くコイソトロピックであることを証明する。これは主要な応用に十分な性質である。この結果を用いて、すべての局所体において $GL_n$ の多重度1定理を一様に証明し、非アーケメデス的設定における対称ペアのゲルファンド性質を確立する。

ABSTRACT

Let X be a smooth real algebraic variety. Let $ξ$ be a distribution on it. One can define the singular support of $ξ$ to be the singular support of the $D_X$-module generated by $ξ$ (some times it is also called the characteristic variety). A powerful property of the singular support is that it is a coisotropic subvariety of $T^*X$. This is the integrability theorem (see [KKS, Mal, Gab]). This theorem turned out to be useful in representation theory of real reductive groups (see e.g. [AG_AMOT, AS, Say]). The aim of this paper is to give an analog of this theorem to the non-Archimedean case. The theory of D-modules is not available to us so we need a different definition of the singular support. We use the notion wave front set from [Hef] and define the singular support to be its Zariski closure. Then we prove that the singular support satisfies some property that we call weakly coisotropic, which is weaker than being coisotropic but is enough for some applications. We also prove some other properties of the singular support that were trivial in the Archimedean case (using the algebraic definition) but not obvious in the non-Archimedean case.

研究の動機と目的

• D-加群理論が利用できない非アーケメデス的設定に、既にアーケメデス的ケースで知られている積分可能性定理を拡張すること。
• 代数的D-加群のアプローチに代わって、波面集合とそのザリスキ閉包を用いてp進空間上の分布の特異的補題を定義すること。
• この特異的補題が弱くコイソトロピックである（弱くコイソトロピック）というより弱いコイソトロピック性を満たすことを確立し、表現論への応用に十分であることを示すこと。
• すべての局所体（アーケメデス的および非アーケメデス的）において $GL_n$ の多重度1定理を一様に証明すること。
• 新しい枠組みを用いて、特異的対称空間のゲルファンドペアに関する結果を、特性0の任意の局所体に一般化すること。

提案手法

• 波面集合のザリスキ閉包として特異的補題を定義する。これはフーリエ変換を介して定義され、非アーケメデス的設定で利用可能である。
• 文献[欠落]で開発された波面集合理論を用いて、不変分布の特異的補題を分析する。
• コイソトロピック部分多様体の一般化として、余接空間 bundle 内の弱くコイソトロピック部分多様体の概念を導入し、非アーケメデス的ケースにおける完全なコイソトロピック性の代わりに用いる。
• 幾何的基準を適用する：特定の集合内に $X \times X$-弱くコイソトロピックな部分多様体が存在しない場合、唯一の不変分布はゼロである。
• $V \times V^*$、$\mathfrak{sl}(V)$、および $X$ 上のフーリエ変換を用い、問題を分布の台とその変換の分析に還元する。
• 次元と多項式の消失に関する議論により、特定の集合 $R_A$ が非自明な弱くコイソトロピック部分多様体を含まないという、主要な幾何的命題を証明する。

実験結果

リサーチクエスチョン

• RQ1 D-加群理論が利用できない非アーケメデス的設定において、分布の特異的補題の積分可能性定理を拡張することは可能か？
• RQ2 p進設定におけるコイソトロピックの正しいアナログは何か？そして、それが表現論的結果の証明に使えるか？
• RQ3 この新しい枠組みを用いて、すべての局所体において $GL_n$ の多重度1定理を一様に証明できるか？
• RQ4 波面集合の技法を用いて、良い対称ペアのゲルファンド性を、特性0の任意の局所体に拡張できるか？
• RQ5 不変分布の台に課される幾何的条件は何か？そして、それらは弱くコイソトロピック性を用いてどのように確立できるか？

主な発見

• p進空間上の分布の特異的補題は、波面集合のザリスキ閉包として定義され、弱くコイソトロピックである。これは主な応用に十分な性質である。
• 弱くコイソトロピック性の証明は、非アーケメデス的設定における波面集合の基本的性質に基づくものであり、D-加群理論の必要性を回避する。
• 本稿は、特性0の任意の局所体上での対称ペアに対するゲルファンド性の非アーケメデス的アナログを確立する。
• すべての局所体にわたる $GL_n$ の多重度1定理の一様な証明が達成され、従来のアーケメデス的および非アーケメデス的ケースの結果が統合された。
• 主要な幾何的命題である「$\check{S}'$ 内に非自明な $X \times X$-弱くコイソトロピック部分多様体が存在しない」という命題は、$R_A \cap L_{ii}$ の次元が $2n$ より小さいことから示され、その結果、このような部分多様体が空であることが導かれる。
• 証明は、$[A, B] = M$ が $M_{i,i+1} = f$ を満たすべき冪零解を有することから、多項式 $f(v_1, \phi_1, v_2, \phi_2) = (v_1)_i(\phi_2)_{i+1} - (v_2)_i(\phi_1)_{i+1}$ が $R_A \cap L_{ii}$ 上で消失することに依存する。