[論文レビュー] Dirac Index and Twisted Characters

Dan Barbasch, Pavle Pandžić+1 more|arXiv (Cornell University)|Jun 17, 2016

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

ひとこと要約

この論文は、群とその最大コンpact部分群のランクが等しくない場合にまで拡張された、実再帰的リー群に対するねじれたディラック指数を導入する。正規化定数を介して、ねじれたディラック指数と楕円的キャラクター双対性の間の明確な関係を確立し、楕円的双対性がこの定数を除いてねじれたディラック指数に等しいことを証明することで、ディラックコホモロジーとキャラクター理論、およびExt群を結びつける。

ABSTRACT

Let G be a real reductive Lie group with maximal compact sub- group K. We generalize the usual notion of Dirac index to a twisted version, which is nontrivial even in case G and K do not have equal rank. We compute ordinary and twisted indices of standard modules. As applications, we study extensions of Harish-Chandra modules and twisted characters.

研究の動機と目的

• 実再帰的リー群とその最大コンパクト部分群のランクが等しくない場合にまで、古典的ディラック指数を一般化したねじれたバージョンを適用可能にする。
• ハリシュ・チャンドラカテゴリにおける標準的モジュールの通常およびねじれたディラック指数を計算する。
• 表現のねじれたディラック指数と楕円的キャラクター双対性との間の明確な関係を確立する。
• ディラックコホモロジーと、Ext群や分布的キャラクターなどの表現論的不変量を結びつける。

提案手法

• 最大コンパクト部分群 $ K $ のピン二重被覆 $ K^\flat $ を用いて、ねじれたディラック指数を定義し、標準的ディラック作用素の構成を拡張する。
• $ \theta $-twisted自己同型がクリフォード代数および普遍包あらたな代数に作用することにより、ねじれたディラック作用素 $ D_{\theta} $ を構成する。
• Weyl積分公式を用いて、ねじれたディラック指数双対性を最大トーラス $ T $ 上の積分として表現し、$ \mathfrak{g}/\mathfrak{t} $ 上での $ (1 - \operatorname{Ad}(t)) $ の行列式を含める。
• スピンモジュール $ S $ のキャラクターを用いて、ねじれたディラック指数と楕円的キャラクター双対性との関係を確立し、恒等式 $ \operatorname{ch}(\textstyle{\bigwedge}^\bullet \mathfrak{s})(t) = |\operatorname{ch}(S)(t)|^2 $ を用いる。
• Weylキャラクター公式およびWeyl群の性質を用いて、双対性を $ \theta $-twistedトーラス $ \widetilde{T} = \theta T $ 上の積分に還元する。
• トレース恒等式 $ \operatorname{tr}[\operatorname{Ad}(t); \textstyle{\bigwedge}^{\text{even}}\mathfrak{a} - \textstyle{\bigwedge}^{\text{odd}}\mathfrak{a}] = 0 $ により、$ \mathfrak{a} \neq 0 $ のとき、元のトーラス $ T $ からの寄与が消えることを証明する。

実験結果

リサーチクエスチョン

• RQ1 実再帰的リー群とその最大コンパクト部分群のランクが等しくない場合に、古典的ディラック指数をどのように一般化できるか？
• RQ2 ねじれたディラック指数と表現の楕円的キャラクター双対性との間の明確な関係は何か？
• RQ3 ねじれたディラック指数は、ハリシュ・チャンドラモジュールのExt群や分布的キャラクターとどのように関係するか？
• RQ4 表現のディラックコホモロジーを用いて、そのキャラクターおよび拡張性質を計算または制約できるか？

主な発見

• ねじれたディラック指数双対性 $ \langle X,Y\rangle_{\operatorname{DI},\theta} $ は、スピンモジュールのキャラクターに由来する正規化定数 $ c $ を用いて $ c^{-1} \langle X,Y\rangle_{\operatorname{ell},\theta} $ に等しい。
• 楕円的双対性 $ \langle X,Y\rangle_{\operatorname{ell},\theta} $ の積分は、$ T $ からの寄与が消えるため、完全に $ \theta $-twistedトーラス $ \widetilde{T} = \theta T $ に還元される。
• $ T $ からの寄与が消えるのは、$ \mathfrak{a} \neq 0 $ のとき、恒等式 $ \operatorname{tr}[\operatorname{Ad}(t); \textstyle{\bigwedge}^{\text{even}}\mathfrak{a} - \textstyle{\bigwedge}^{\text{odd}}\mathfrak{a}] = 0 $ が成り立つためであり、これは $ t \in T $ が $ \mathfrak{a} $ に自明に作用するためである。
• 行列式因子 $ \operatorname{det}[(1 - \operatorname{Ad}(\theta t))|_{\mathfrak{g}/\mathfrak{t}}] $ は $ \mathfrak{k}/\mathfrak{t} $ および $ \mathfrak{s} $ の成分に分解され、後者はWeylキャラクター公式により $ |\operatorname{ch}(S)(t)|^2 $ に一致する。
• 最終的な結果として、$ \langle X,Y\rangle_{\operatorname{ell},\theta} = c \cdot \operatorname{Hom}_{K^\dagger}(I_\theta(X), I_\theta(Y)) $ が得られ、楕円的双対性とねじれたディラック指数が定数を除いて等しいことが証明された。