[論文レビュー] On Multiplicity Formula for Spherical Varieties

Chen Wan|arXiv (Cornell University)|May 16, 2019

Advanced Algebra and Geometry参考文献 18被引用数 4

ひとこと要約

本稿は、局所体上の球面的多様体に対して一様な予想乗法的公式を提案し、ハリシュ・チャンドラの特徴指標と共役類を用いて幾何的乗法的次数を定義する。この公式は、既知のケース（ヴェイターカー、ガン＝グロス＝プラサド、ジンツブルグ＝ラリス、ガロア、シャリカモデル）において検証され、2つの新しいケースで証明され、相対的トレース公式の統一的枠組みを提供する。

ABSTRACT

In this paper, we propose a conjectural multiplicity formula for general spherical varieties. For all the cases where a multiplicity formula has been proved, including Whittaker model, Gan-Gross-Prasad model, Ginzburg-Rallis model, Galois model and Shalika model, we show that the multiplicity formula in our conjecture matches the multiplicity formula that has been proved. We also give a proof of this multiplicity formula in two new cases.

研究の動機と目的

• 局所体上の球面的多様体に対して幾何的乗法的次数 $ m_{\text{geom}}(\pi, \chi) $ の一様な定義を構築すること。
• この定義が、ヴェイターカー、ガン＝グロス＝プラサド、シャリカモデルなどの既に証明済みのすべての乗法的次数公式と整合することを確認すること。
• ガロアモデル（$ \mathbb{R} $ 上）とユニタリ・ジンツブルグ＝ラリスモデルという2つの新しいケースで乗法的次数公式を証明すること。
• 球面的多様体の一般の局所トレース公式および乗法的次数公式の基礎を築くこと。

提案手法

• 幾何的乗法的次数 $ m_{\text{geom}}(\pi, \chi) $ を、$ H(F) $ の半単純共役類上の積分として定義し、ハリシュ・チャンドラの特徴指標 $ \theta_\pi $ と、ワイル群および分布的密度で正規化する。
• トレース公式の手法を用いる：幾何的側とスペクトル的側を等置する $ I_{\text{geom}}(f) = I_{\text{spec}}(f) $、ここで $ I(f) $ は $ \theta_\pi $ と $ \chi $ を用いて定義される。
• ガーメン展開と正則性理論を用いて、$ H(F) $ の正則でない半単純元を取り扱い、正則半単純元を超える特徴指標理論を拡張する。
• 放物部分群による誘導とレヴィ部分群への還元を用い、イワサワ分解と再帰性を活用して、$ \mathrm{Hom}_{H(\mathbb{R})}(\pi, \omega) $ を $ \mathrm{Hom}_{H_M(\mathbb{R})}(\tau, \omega|_{H_M}) $ に結びつける。
• ワイル統合と分布的恒等式を用いて幾何的側とスペクトル的側の一致を確立し、特に実再帰的群において $ D^H(t) $ と $ D^G(t)^{1/2} $ を用いる。
• 2つの新しいケースで公式を検証する：$ H(\mathbb{R}) $ がコンパクトなガロアモデル、およびユニタリ・ジンツブルグ＝ラリスモデル。特徴指標の恒等式とワイル群の正規化を用いる。

実験結果

リサーチクエスチョン

• RQ1 すべての球面的多様体に対して、局所体上の一様な幾何的乗法的次数公式を定義可能か？
• RQ2 この公式は、ヴェイターカー、ガン＝グロス＝プラサド、シャリカモデルなどの既知のケースで、すべての既存の乗法的次数公式を再現するか？
• RQ3 既知のものとは異なる新しいケースで、乗法的次数公式を厳密に証明可能か？
• RQ4 分布的密度とワイル群の正規化は、さまざまな球面的ペアにおいてトレース公式の幾何的側をどのように統一するか？
• RQ5 零尖度軌道と共役類は、乗法的次数公式の幾何的構造において果たす役割は何か？

主な発見

• 提案された幾何的乗法的次数公式は、ヴェイターカー、ガン＝グロス＝プラサド、ジンツブルグ＝ラリス、ガロア、シャリカモデルのすべての既に証明済みの乗法的次数公式と一致する。
• 公式は、$ H(\mathbb{R}) $ がコンパクトで $ G = \mathrm{Res}_{\mathbb{C}/\mathbb{R}} H $ のときのガロアモデルで証明され、$ m(\pi, \omega) = m_{\text{geom}}(\pi, \omega) $ が成立することが示された。
• ユニタリ・ジンツブルグ＝ラリスモデルに対しても、特徴指標の恒等式とワイル群の正規化を用いて公式が証明された。
• 幾何的乗法的次数は $ T(\mathbb{R}) $ 上の積分として定義され、$ D^H(t) \theta_\pi(t) $ と $ \theta_{\omega^\vee}(t) $ を、$ |W(G)|^{-1} $ で正規化する。
• 誘導表現 $ \pi = I_P^G(\tau) $ に対して、幾何的乗法的次数は $ \int D^H(t) \theta_\pi(t) \theta_{\omega^\vee}(t) dt = \frac{|W(G)|}{|W(M)|} \int D^{H_M}(t) \theta_\tau(t) \theta_{\omega^\vee}(t) dt $ を満たし、一貫性が確認された。
• 本稿は、$ m_{\text{geom}}(\pi, \chi) $ が一様に定義され、$ D^H(t) $ が共役類と零尖度軌道からの幾何的寄与を捉える枠組みを確立した。