[論文レビュー] Sur les paquets d'Arthur aux places réelles, translation

Colette Mœglin, David Renard|arXiv (Cornell University)|Apr 17, 2017

Advanced Algebra and Geometry被引用数 4

ひとこと要約

本稿では、実数体上の古典的群に対するアーチャー包の多重性フリー性を確立する。Langlandsパラメータ $ \psi$ に対応する表現 $\pi^A(\psi)$ は、$G(\mathbb{R}) \times A(\psi)$ の相異なる既約表現の直和であり、$A(\psi)$ の一様次元表現を係数として持つ。この結果は、一般の場合をコhomological inductionおよびハリシュ＝チャンドラモジュールの技法を用いて、高正則な場合に還元することで得られ、準分裂群に対する先行研究を拡張し、非準分裂設定へと一般化している。

ABSTRACT

This article is part of a project which aims to describe as explicitly as possible the Arthur packets of classical real groups and to prove a multiplicity one result for them. Let $G$ be a symplectic or special orthogonal real group, and $ψ: W_{\mathbb R} imes \mathbf{SL}_2(\mathbb C) ightarrow {}^LG$ be an Arthur parameter for $G$. Let $A(ψ)$ the component group of the centralizer of $ψ$ in $\hat G$. Attached to $ψ$ is a finite length unitary representation $π^A(ψ)$ of $G imes A(ψ)$, which is characterized by the endoscopic identities (ordinary and twisted) it satisfies. In [arXiv:1703.07226] we gave a description of the irreducible components of $π^A(ψ)$ when the parameter $ψ$ is "very regular, with good parity". In the present paper, we use translation of infinitesimal character to describe $π^A(ψ)$ in the general good parity case from the representation $π^A(ψ_+)$ attached to a very regular, with good parity, parameter $ψ_+$ obtained from $ψ$ by a simple shift.

研究の動機と目的

• 実数体上の古典的群に対するアーチャー包 $\pi^A(\psi)$ が、$G(\mathbb{R}) \times A(\psi)$ の既約表現の直和として多重性フリーである、すなわち $A(\psi)$ の一様次元表現を係数として持つことを証明すること。
• 既知の準分裂群に対する多重性フリー性の結果を、非準分裂な実数体上の古典的群へと拡張し、局所Langlands対応における重要な一歩を完了すること。
• コhomological inductionおよびモジュールのフィルトレーションを用いて、$\pi^A(\psi)$ が $G(\mathbb{R}) \times A(\psi)$ の有限長かつ半単純な表現であり、$A(\psi)$ の特徴の係数をもつことを確立すること。
• エンデスコピックおよびねじれエンデスコピック適合性条件を活用して、$\pi^A(\psi)$ の構成を準分裂の場合を越えて一般化すること。

提案手法

• コhomological inductionおよび $A_\mathfrak{q}$-関手の理論を用いて、一般の場合を高正則な場合に還元すること。
• $A_\mathfrak{q}$-関手を用いて、パラボリック部分代数から表現を誘導し、既約な商を持つハリシュ＝チャンドラモジュールのフィルトレーションを用いること。
• 無限小特性値のノルムの分析により、内積推定を用いて、与えられた無限小特性値 $\nu$ への射影において、唯一の自明な $\mu$-成分が寄与することを示すこと。
• $\psi = \bigoplus_{i} \rho_i \otimes R[a_i]$ の分解（$\rho_i$ は $W_{\mathbb{R}}$ の自己双対表現）と、良い偶性および非常に正則なパrameterの概念を用いて構造を単純化すること。
• $G$ の有限次元表現をパラボリック部分代数 $\mathfrak{q}$ に制限し、$\mathfrak{u}$ で消える $L$-モジュールへのフィルトレーションを施し、誘導表現の構造を分析すること。
• 無限小特性値のノルムの比較：$|\lambda + \mu_1 + \delta_{L_1}|^2 > |\lambda + \delta_{L_1}|^2$ が $\mu_1 = 0$ でない限り成り立ち、これは射影における $\mu=0$ の成分のみが生き残ることを意味する。

実験結果

リサーチクエスチョン

• RQ1 実数体上の古典的群に対して、アーチャー包 $\pi^A(\psi)$ は $G(\mathbb{R}) \times A(\psi)$ の表現として多重性フリーか？
• RQ2 表現 $\pi^A(\psi)$ は、$G(\mathbb{R})$ に沿って分解した際に、$A(\psi)$ の一様次元表現を係数とする $G(\mathbb{R}) \times A(\psi)$ の既約表現の直和として分解可能か？
• RQ3 コhomological inductionおよびモジュールのフィルトレーションを用いて、非準分裂な実数体上の古典的群の一般の場合を高正則な場合に還元可能か？
• RQ4 無限小特性値のノルムは、射影先の $\nu$ に寄与する成分を特定する上でどのような役割を果たすか？
• RQ5 $A_\mathfrak{q}(\lambda \times \sigma) \otimes E_{\lambda_+}$ を $A_\mathfrak{q}((\lambda \times \sigma) \otimes E_\mu)$ でフィルトレートするとき、その構造は最終的な表現における $\nu$ の多重性をどのように制約するか？

主な発見

• $\pi^A(\psi)$ は多重性フリーである：$G(\mathbb{R}) \times A(\psi)$ の相異なる既約表現の直和であり、各既約成分は重複度1で現れる。
• 分解における係数は $A(\psi)$ の一様次元表現であるため、$G(\mathbb{R})$ に沿った分解において、重複度は $A(\psi)$ の特徴によって与えられる。
• 与えられた無限小特性値 $\nu$ への射影において、$\mu = 0$ の成分のみが寄与する。$\mu_1 \neq 0$ の場合、$\nu$ のノルムが厳密に大きくなるため、他のすべての成分は射影で消える。
• ノルム不等式 $|\lambda + \mu_1 + \delta_{L_1}|^2 > |\lambda + \delta_{L_1}|^2$ は $\mu_1 = 0$ でない限り厳密に成り立ち、これが非自明な $\mu$-成分を排除する主要な解析的道具である。
• $A_{\mathfrak{q}}(\lambda \times \sigma) \otimes E_{\lambda_+}$ を $A_{\mathfrak{q}}((\lambda \times \sigma) \otimes E_\mu)$ でフィルトレートすることで、$\nu$ への射影において唯一 $\mu = 0$ 項が寄与することが保証され、多重性フリー性の証明が完成する。
• コhomological inductionおよびモジュール論的技法を用いて、準分裂の場合に限らない、すべての実数体上の古典的群に対するアーチャー包の多重性フリー性が一般化された。