[論文レビュー] On Theta and Eta Correspondences for Finite Symplectic/Orthogonal Dual Pairs

Shu-Yen Pan|arXiv (Cornell University)|Jun 11, 2020

Advanced Algebra and Geometry参考文献 3被引用数 7

ひとこと要約

本稿では、奇数標数の有限体上の有限シンプレクティック・直交双対対について、ハウのシータ対応の2つの最大の1対1部分関係、$\underline{\theta}$ と $\overline{\theta}$ を導入する。これらの拡張は、グレヴィッチ＝ハウが定義した安定範囲外の $\eta$-対応を一般化したものであり、対称的で、かつ1対1のシータ関係の中で最大であることが示されている。

ABSTRACT

In this paper, we propose two maximal one-to-one sub-relations $\underlineθ, \overlineθ$ of the Howe correspondence $Θ$ for a finite reductive dual pair consisting of a symplectic group and an orthogonal group. Moreover, we show that both the correspondences $\underlineθ$ and $\overlineθ$ are extensions beyond the stable range of the $η$-correspondence defined by Gurevich-Howe.

研究の動機と目的

• 有限シンプレクティック群および直交群の $\eta$-対応を、安定範囲外の一般の双対対へ拡張すること。
• 対称性や持続性といった重要な性質を保つ1対1のシータ関係の部分関係を構成すること。
• これらの新しい対応が、1対1のシータ関係の中で最大であることを確立すること、すなわち、双対性を保ったまま拡張できないこと。
• ルスティグ対応と整合することを証明し、新しい関係が実際に完全なシータ対応に含まれていることを検証すること。

提案手法

• ユニポテンツ文字に関する $\beta$-集合と転置記号に基づく記号的構成を用いて、2つの部分関係 $\underline{\theta}$ と $\overline{\theta}$ を定義する。
• ルスティグ対応を用いて双対対間のユニポテンツ文字を関連付け、新しい関係との整合性を保証する。
• アーベル＝ミシェル＝ルオアールの予想（[Pan19a]で現在証明済み）のユニポテンツ文字への $\Theta$-対応を活用し、$\underline{\theta}$ と $\overline{\theta}$ が完全なシータ対応 $\Theta$ に含まれていることを検証する。
• ルスティグ対応の性質と双対対の構造を用いて、$\underline{\theta}$ と $\overline{\theta}$ の対称性と持続性を証明する。
• 背理法を用いて最大性を確立する：もし1対1のシータ関係が $\underline{\theta}$ や $\overline{\theta}$ を真に含むならば、単射性を失う必要がある。
• ウェイル表現の分解と、シータ対応の重複度1分解を活用して、新しい関係の構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 安定範囲外の有限シンプレクティック・直交双対対において、$\eta$-対応（安定範囲でのみ定義）を双対性を保ったまま拡張できるか？
• RQ2 完全なシータ対応の1対1部分関係の中で、対称性と持続性を保つ最大のものとは何か？
• RQ3 新しい対応 $\underline{\theta}$ と $\overline{\theta}$ は、ルスティグ対応およびユニポテンツ文字の構造とどのように関係しているか？
• RQ4 1対1のシータ関係を $\underline{\theta}$ や $\overline{\theta}$ を超えて拡張することは可能か？ その場合、単射性を失うか？
• RQ5 $\underline{\theta}$ と $\overline{\theta}$ は、$\eta$-対応の主要な性質（持続性、対称性）を保っているか？

主な発見

• 対応 $\underline{\theta}$ と $\overline{\theta}$ は、いずれも1対1、対称的、かつ持続的であり、$\eta$-対応を安定範囲外へ拡張している。
• $\underline{\theta}$ と $\overline{\theta}$ は、完全なシータ対応 $\Theta$ に含まれており、[Pan19a]におけるアーベル＝ミシェル＝ルオアールの予想の証明によって確認された。
• 両方の関係はルスティグ対応と整合するため、ユニポテンツ文字の表現論的構造と一貫している。
• $\underline{\theta}$ と $\overline{\theta}$ の最大性は証明済みであり、それらを真に含む1対1のシータ関係は、単射性を失う。
• $\underline{\theta}$ と $\overline{\theta}$ の構成は、記号の転置とずれ条件に依存しており、$\epsilon = \pm$ が追加される記号成分の符号を決定する。
• 最大性の証明には、関係の半持続性と、特に $\mathrm{def}(\Lambda) = 4d+1$ の場合におけるユニポテンツ文字のルスティグ対応下での振る舞いに基づく背理法が用いられている。