[論文レビュー] Discrete branching laws for minimal holomorphic representations

Jan Möllers, Yoshiki Oshima|arXiv (Cornell University)|Feb 14, 2014

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

ひとこと要約

この論文は、実再帰的リー群の最小正則表現を対称部分群に制限した場合の明示的な分岐法則を確立し、正則および非正則な設定の両方で離散的分解可能性を証明する。正則な対では、制限が最低重量表現の直和に分解されることを示し、非正則な対では、それが既知の表現と同定可能な不変表現のままであることを示し、小林による関連多様体に関する予想を確認する。

ABSTRACT

We find the explicit branching laws for the restriction of minimal holomorphic representations to symmetric subgroups in the case where the restriction is discretely decomposable. For holomorphic pairs the minimal holomorphic representation decomposes into a direct sum of lowest weight representations which is made explicit. For non-holomorphic pairs the restriction is shown to be irreducible and identified with a known representation. We further study a conjecture by Kobayashi on the behaviour of associated varieties under restriction and confirm this conjecture in the setting of this paper.

研究の動機と目的

• 最小正則表現を対称部分群に制限した場合の明示的分岐法則を特定すること。
• 制限が離散的に分解可能である場合に、これらの表現の分解を分析すること。
• 最小正則表現の文脈において、関連多様体の制限下での挙動に関する小林の予想を検証すること。
• 表現の分解という観点から、正則および非正則な対称対を区別すること。

提案手法

• 著者たちは、$(\mathfrak{g},K)$-加群および最低重量加群の枠組みを用いて、最小正則表現の制限を分析する。
• 普遍包あらゆる代数への標準的フィルトレーションを適用し、フィルトレーションの整合性を活用して離散的分解可能性を証明する。
• 正則な対では、$U(\mathfrak{g}_{\mathbb{C}}) \otimes_{U(\mathfrak{k}_{\mathbb{C}} + \mathfrak{p}_{-})} F^{\mathfrak{k}}(\lambda)$ の構造を用いて、制限が最低重量表現の直和に分解されることを示す。
• 非正則な場合、フィルトレーションの整合性条件を検証し、得られる表現を既知のユニタリ表現と同定することで、制限が不変であることを証明する。
• 証明は、関連する次数付き加群の整合性および $\operatorname{ad}(z')$ による $\mathfrak{p}_{+}$, $\mathfrak{p}_{-}$ 固有空間の構造に依存する。
• 関連多様体に関する予想は、誘導表現の関連多様体の射影が制限表現の関連多様体に一致することを示すことによって確認される。

実験結果

リサーチクエスチョン

• RQ1 正則な設定下で、最小正則表現を対称部分群に制限した場合、どのように分解されるか？
• RQ2 非正則な対称対の場合、最小正則表現の制限の構造は何か？
• RQ3 最小正則表現の制限が離散的に分解可能となる条件は何か？
• RQ4 小林の予想が示すように、最小表現の関連多様体は制限下で期待どおりに振る舞うか？
• RQ5 フィルトレーション整合性法を用いて、分岐法則を明示的に得ることは可能か？

主な発見

• 正則な対称対では、最小正則表現 $L^{\mathfrak{g}}(c\zeta)$ の制限は、最低重量表現の直和に分解される：$\bigoplus_{k=0}^{\infty} F^{\mathfrak{k}}(c\zeta + k\beta)$。
• 非正則な対称対では、制限は不変のままであり、既知のユニタリ表現と同定され、この設定における一意性が確認される。
• 小林による関連多様体の制限下での挙動に関する予想は確認された：$\operatorname{pr}_{\mathfrak{g} \to \mathfrak{g}^\prime}(\mathcal{V}_{\mathfrak{g}_{\mathbb{C}}}(X)) = \mathcal{V}_{\mathfrak{g}^{\prime}_{\mathbb{C}}}(Y)$。
• フィルトレーション整合性条件 $U_n(\mathfrak{g}_{\mathbb{C}})X_0 \cap U(\mathfrak{g}^{\prime}_{\mathbb{C}})X_0 = U_n(\mathfrak{g}^{\prime}_{\mathbb{C}})X_0$ は、正則および非正則の両ケースで成り立ち、離散的分解可能性の証明を可能にする。
• $K$-型分解 $L^{\mathfrak{g}}(c\zeta)$ は明示的に $\bigoplus_{k=0}^{\infty} F^{\mathfrak{k}}(c\zeta + k\beta)$ と与えられる。ここで $\beta$ は $\mathfrak{p}_+$ の最高根である。
• 最小正則表現はユニタリであり、同型のタイプの既約表現の中で、Gelfand–Kirillov次元が最小である。