[論文レビュー] Unitary Representations with Dirac cohomology: a finiteness result

Jian Ding, Chao-Ping Dong|arXiv (Cornell University)|Feb 7, 2017

Advanced Algebra and Geometry被引用数 2

ひとこと要約

この論文は、複素単純リー群 $G$ に対して、非自明なディラックコhomology を持つ既約ユニタリ表現の集合が、有限個の孤立した表現と有限個の表現のストリングから成ることを確立している。これらのストリングは、$\theta$-安定なレヴィ部分群 $L$ からコhomological 前進を用いて生じ、すべてが良い範囲（good range）にあるため、全体の集合 $\-widehat{G}^{\mathrm{d}}$ の有限アルゴリズム的決定が可能である。

ABSTRACT

Let $G$ be a connected complex simple Lie group, and let $\widehat{G}^{\mathrm{d}}$ be the set of all equivalence classes of irreducible unitary representations with non-vanishing Dirac cohomology. We show that $\widehat{G}^{\mathrm{d}}$ consists of two parts: finitely many scattered representations, and finitely many strings of representations. Moreover, the strings of $\widehat{G}^{\mathrm{d}}$ come from $\widehat{L}^{\mathrm{d}}$ via cohomological induction and they are all in the good range. Here $L$ runs over the $ heta$-stable proper Levi subgroups of $G$. It follows that figuring out $\widehat{G}^{\mathrm{d}}$ requires a finite calculation in total. As an application, we report a complete description of $\widehat{F}_4^{\mathrm{d}}$.

研究の動機と目的

• 連結な複素単純リー群 $G$ の、非自明なディラックコhomology を持つすべての既約ユニタリ表現を分類すること。
• 特に、集合 $\widehat{G}^\mathrm{d}$ が有限か無限かを特定すること。
• $\widehat{G}^\mathrm{d}$ に属する表現の起源と幾何的構造を解明すること、特にレヴィ部分群の役割を特定すること。
• $\widehat{G}^\mathrm{d}$ の分類が有限な計算問題に還元されることを示すこと。
• 一般理論の具体応用として、$\widehat{F}_4^\mathrm{d}$ の完全な記述を提供すること。

提案手法

• 特にコhomological 前進を用いた表現論的技法により、$\widehat{G}^\mathrm{d}$ の構造を分析すること。
• $G$ の $\theta$-安定な真のレヴィ部分群 $L$ を、$\widehat{G}^\mathrm{d}$ に現れる表現のストリングの源として焦点化すること。
• $\widehat{L}^\mathrm{d}$ に属する表現にコhomological 前進を適用し、$\widehat{G}^\mathrm{d}$ に属する表現を構成すること。
• すべてのこうした誘導表現が良い範囲にあることを証明し、ユニタリ性と非自明なディラックコhomology の保証を行うこと。
• 真のレヴィ部分群 $L$ に対して $\widehat{L}^\mathrm{d}$ が有限であることを利用し、$\widehat{G}^\mathrm{d}$ のストリング成分の有限性を導出すること。
• 孤立表現と誘導ストリングを統合し、$\widehat{G}^\mathrm{d}$ が有限計算によって完全に決定可能であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 $\widehat{G}^\mathrm{d}$ である、非自明なディラックコhomology を持つ既約ユニタリ表現の集合のグローバル構造はいかなるものか？
• RQ2 $\widehat{G}^\mathrm{d}$ に属する表現は、より小さな部分群から体系的に構成可能か？
• RQ3 $\widehat{G}^\mathrm{d}$ に属する表現は有限個か、それとも無限族を形成するか？
• RQ4 コhomological 前進は、$\widehat{G}^\mathrm{d}$ に現れるストリング型族を生成する上で果たす役割は何か？
• RQ5 全集合 $\widehat{G}^\mathrm{d}$ は有限ステップのアルゴリズム的計算によって決定可能か？

主な発見

• $\widehat{G}^\mathrm{d}$ は、有限個の孤立した既約ユニタリ表現と有限個の表現のストリングから成る。
• $\widehat{G}^\mathrm{d}$ に現れるすべてのストリングは、$G$ の $\theta$-安定な真のレヴィ部分群 $L$ に対して、$\widehat{L}^\mathrm{d}$ に属する表現にコhomological 前進を適用することで生じる。
• $\widehat{G}^\mathrm{d}$ のストリングに属するすべての表現は良い範囲にあるため、ユニタリ性と非自明なディラックコhomology が保証される。
• $\widehat{G}^\mathrm{d}$ の全分類は、孤立表現とストリング成分の両方が有限であるため、有限計算に還元可能である。
• $\widehat{F}_4^\mathrm{d}$ の構造は、一般理論の具体応用として完全に記述されている。
• 真のレヴィ部分群 $L$ に対して $\widehat{L}^\mathrm{d}$ が有限であることから、$\widehat{G}^\mathrm{d}$ のストリング成分の有限性が保証される。