[論文レビュー] Smooth Frechet Globalizations of Harish-Chandra Modules

Joseph Bernstein, Bernhard Krötz|arXiv (Cornell University)|Dec 9, 2008

Advanced Algebra and Geometry参考文献 6被引用数 11

ひとこと要約

本稿は、ハリシュ＝チャンドラモジュール上のG連続ノルムのソボレフ同値性を導入することで、カスエルマン＝ウォーラックグローバライゼーション定理に対する新しい関数解析的アプローチを提示する。最小主系列表現におけるK-有限行列係数の一様下界を確立し、すべてのハリシュ＝チャンドラモジュールが「良い」、すなわち一意な滑らかなフレシェグローバライゼーションを有することを証明することで、グローバライゼーション定理の自己完結的で、正則関数族と整合する証明を提供する。

ABSTRACT

An elementary and self-contained approach to smooth Frechet globalizations of Harish-Chandra modules is presented. We provide applications to the theory of Eisenstein series and Automatic Continuity.

研究の動機と目的

• ハリシュ＝チャンドラモジュールのカスエルマン＝ウォーラックグローバライゼーション定理に対する自己完備的で関数解析的な証明を提供すること。
• 最小主系列表現におけるK-有限行列係数の一様下界を確立すること。
• G連続ノルムのソボレフ同値性を証明することで、すべてのハリシュ＝チャンドラモジュールが「良い」—すなわち一意な滑らかなフレシェグローバライゼーションを有すること—を示すこと。
• 表現パrameterにおける局所一様な有界性を用いて、グローバライゼーション定理を正則関数族の表現へ拡張すること。
• シュワーツ代数から滑らかなグローバライゼーションへの商写像に対する、パラメータに関して正則である明示的な連続線形セクションの構成すること。

提案手法

• ハリシュ＝チャンドラモジュール上のG連続ノルムに、G連続ノルムのソボレフ同値性を定義するためのソボレフ順序≺を導入し、ソボレフノルムによる互いの支配関係として定義する。
• K-多重度の多項式有界性を用いて、G連続完備化における滑らかなベクトルが核的フレシェ空間をなすことの証明を行う。
• 任意のG連続ノルムが、K不変のヘルミートノルムとソボレフ同値であることを証明し、グローバライゼーションの解析を単純化する。
• 最小主系列表現において、ディラック型列を構成し、K-有限行列係数の最良の一様下界を導出する。
• G×G上の分布の正則的関数の拡張を、ホロノミーD加群を用いて実行することで、特定のL²内積の解析的接続を確立する。
• 正則的変形技法とラングランズ分類を用い、証明を離散系列モジュールに還元し、それらを最小主系列に埋め込んでノルムを比較する。

実験結果

リサーチクエスチョン

• RQ1 すべてのハリシュ＝チャンドラモジュールは良いか、すなわち一意な滑らかなフレシェグローバライゼーションを有するか？
• RQ2 最小主系列表現におけるK-有限行列係数の一様下界を確立できるか？
• RQ3 ソボレフノルムとG連続ノルムに基づく関数解析的枠組みによって、カスエルマン＝ウォーラック定理を証明できるか？
• RQ4 局所一様な有界性を用いて、ハリシュ＝チャンドラモジュールの正則関数族へのグローバライゼーション定理の拡張は可能か？
• RQ5 シュワーツ代数から滑らかなグローバライゼーションへの連続線形セクションの存在が、表現パラメータに関して正則的であるか？

主な発見

• すべてのハリシュ＝チャンドラモジュールは良い：任意のモジュールは一意な滑らかなフレシェグローバライゼーションを有し、カスエルマン＝ウォーラック定理と同値である。
• ハリシュ＝チャンドラモジュール上の任意のG連続ノルムは、K不変のヘルミートノルムとソボレフ同値である。これによりグローバライゼーションの解析が単純化される。
• 最小主系列表現におけるK-有限行列係数の下界が一様に確立され、剰余項はK型次元の任意の逆数よりも速く減衰する。
• 行列係数の評価から、パラメータに関して局所一様に成り立つ正則関数族版のカスエルマン＝ウォーラック定理が得られる。
• シュワーツ代数から滑らかなグローバライゼーションへの商写像に対する明示的な連続線形セクションが存在し、表現パラメータに関して正則的である。
• 離散系列モジュール上のユニタリノルムは、最小のG連続ノルムとソボレフ同値である。これはG×G上の分布の正則的関数の拡張を用いて証明される。