Theta correspondence as a C*-correspondence

技術的要約：$C^*$-対応としてのテータ対応

問題提起
本論文は、シンプレクティック群内の双対対を形成する2つの簡約群 $G$ と $G'$ の間の表現間の基本的な関係である、局所テータ対応（LTC）の構造的理解に取り組んでいる。テータ対応は、ハウの双対性（滑らかな表現またはユニタリ表現の双対性を関連付けるもの）を通じて確立されているが、本論文は、このテータ対応を$C^*$-対応（ヒルベルト$C^*$加群であり、代数の作用を持つもの）から生じる誘導関手として再解釈することを目指している。このアプローチは、特に、ユニタリ性の保存や、等ランクの場合におけるモリタ同値といった、対応の構造的性質を明確にしたいという動機に基づいている。

手法
著者は、$C^*$環、ヒルベルト加群、およびリエッフルの誘導の枠組みを用いている。その手法は以下のステップに従って進行する：

1. 基礎的な設定： 論文では、$C^*$環、ヒルベルト加群、および群$C^*$環 $C^*(G)$ および $C^*_r(G)$ の具体的なケースを含む必要な背景を復習する。内積は第2変数に対して線形であるという慣例を確立する。
2. モデルとしてのコンパクトなケース： 解析は、一方の群 $G$ がコンパクトであるケースから始まる。この設定では、ユニタリ双対 $\hat{G}$ は離散的であり、$C^*(G)$ はピーター・ウェイルの定理を通じて行列環の直和へと分解される。
   • $G' \times G$ の調和表現 $\omega$ が $L^2(U)$ 上に用いられる。
   • 著者は、調和表現から右ヒルベルト $C^*(G)$-加群 $X$ を構築する。これは、等型成分を組み立てるか、あるいは行列係数を用いた $C^*(G)$ 値の内積に関してシュワルツ関数空間 $S(U)$ を完備化することによって行われる。
   • 第2の群 $G'$ の $S(U)$ への作用が、完備化された加群 $X$ 上の作用へと積分されることが示される。これにより、$X$ は $(C^*(G'), C^*(G))$-対応となる。
3. Liの手法による一般化： アプローチは、Liのメソッドが適用可能な非コンパクトなケース（具体的には「安定範囲」および「テンパー型」のケース）へと拡張される。
   • $C^*(G)$ の代わりに、構成には簡約群$C^*$環 $C^*_r(G)$（または安定範囲における $C^*(G)$）が用いられる。
   • 内積は、調和表現と $G$ の表現 $\pi$ を含む積分によって定義される。この積分の収束性と正値性は、ユニタリ性の保存に関するLiの結果によって保証される。
   • これにより、「テータ・ビモジュール」$\Theta$、すなわち $(C^*(G'), C^*_r(G))$-対応が得られる。
4. 誘導関手： コアとなるメカニズムは、リエッフルの誘導関手 $\text{Ind}^A_B(X)$ である。論文は、構築された対応 $X$（または $\Theta$）を通じて $G$ の表現 $\pi$ を誘導することで、テータ・リフト $\theta(\pi^*)$ が回収されることを示している。
5. 等ランクの場合： 等ランクの双対対（例：$(Sp_{2n}, O_{2n+1})$）について、著者はテータ・ビモジュール $\Theta$ がインプリミティビティ・ビモジュールの適合条件を満たすことを示す。これは、$G$ と $G'$ の簡約群の特定のイデアル間のモリタ同値性を確立するものである。

主要な貢献と結果

• テータ対応の再定式化： 本論文は、テータ対応の厳密な$C^*$代数的な定式化を提供する。コンパクトな群 $G$ に対して、既約ユニタリ表現 $\pi$ のテータ・リフトは、調和表現から構成されたヒルベルト加群 $X$ による誘導表現 $\text{Ind}^{C^*(G')}_{C^*(G)}(X)(\pi)$ に同型であることを証明している（定理4）。
• ユニタリ性保存ケースへの一般化： 手法は、安定範囲およびテンパー型のケースへと一般化される（定理5）。関連する積分の収束性と正値性に関するLiの結果を利用することで、本論文は $C^*_r(G)$（または $C^*(G)$）上のテータ・ビモジュール $\Theta$ を構成し、誘導関手がテンパー型表現のテータ・リフトを回収することを示す。
• 等ランクにおけるモリタ同値： 等ランクのケースにおけるテータ対応をモリタ同値として特定することは重要な結果である（定理6）。テータ・ビモジュール $\Theta$ がインプリミティビティ・ビモジュールであることが示され、内積によって切り出されたイデアル $C^*_\theta(G')$ と $C^*_\theta(G)$ の間のモリタ同値性が確立される。
• モリタ同値の帰結：
  • 位相的同型： モリタ同値は、テータ対応に関与する簡約双対の部分集合が同相であることを意味する。
  • 離散系列の保存： 離散系列が簡約双対において孤立点であることから、等ランクのケースにおいて離散系列表現が離散系列表現へとリフトされる理由を説明する。離散系列は孤立点であり、モリタ同値はスペクトルの位相を保存する（閉開集合を閉開集合へ写す）ため、孤立点の像は依然として孤立したままである。
  • 指標の転送： モリタ同値の枠組みは、指標の転送を容易にする。定理7は、シュワルツ環における行列係数を通じて、元の表現の指標からテータ・リフトの指標を導く結果（元はGanによるもの）を提示している。

意義と主張
本論文は、テータ対応を$C^*$-対応として解釈することが、特に技術的な障害が最小限となる「コンパクトなケース」において、テータ対応の根底にあるメカニズムを解明することを主張している。テータ対応を誘導理論を通じて枠組み化することにより：

• 調和表現からテータ対応を（リフトの明示的な構成のみに依存することなく）回収するという、統一的な視点を提供する。
• テータ対応をヒルベルト加群上の内積の正値性に結びつけることで、ユニタリ性の保存を明確にする。これはLiの方法で扱われるケースにおいて満たされる条件である。
• 等ランクのケースにおいて、モリタ同値（構造的説明）を通じて、離散系列の性質や表現の形式的次元といった重要な表現論的性質の保存を説明する。

著者は、本研究を、表現論と非可換幾何学を橋渡しする最近の発展（[23, 14]を引用）のサーベイとして位置づけており、$C^*$環の言語を用いることでテータ対応の構成をより透明なものにしている。