[論文レビュー] Classification of tight homomorphisms

Oskar Hamlet, Maria Beatrice Pozzetti|arXiv (Cornell University)|Dec 19, 2014

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

ひとこと要約

本稿では、可縮領域の解析を通じて、ヘルミート対称空間間のタイトな準同型の分類を完成させ、そのような写像が $σ(1,1)$ 要因を含まない限り、正則的であることを証明する。主な結果として、タイトな準同型のヘルミート包は、$σ(2m,\mathbb{R})$ および非 $σ(1,1)$ 要因の直和として与えられ、行列形式による明示的実現が提供されるが、$͕_7(-25)$ への異方的埋め込みの可能性を除いて。

ABSTRACT

A totally geodesic map $f:\mathcal X_1 o\mathcal X_2$ between Hermitian symmetric spaces is tight if its image contains geodesic triangles of maximal area. Tight maps were first introduced in [BIW09], and were classified in [Ham13, Ham14, HO14] in the case of irreducible domain. We complete the classification by analyzing also maps from reducible domains. This has applications to the study of maximal representations and of the Hitchin component for representations in the groups $Sp(2n,\mathbb R)$.

研究の動機と目的

• 可縮領域からの写像を解析することで、既存の単純なケースの研究を拡張し、ヘルミート対称空間間のタイトな準同型の分類を完成させること。
• 可縮ヘルミートリー代数からのタイト写像が、$\mathfrak{su}(1,1)$ 要因を除き正則的であるかどうかを特定し、文献における空白を埋めること。
• タイトな準同型のヘルミート包を明示的に記述し、それが特定のリー代数の直和として構造化されることを同定すること。
• すべてのタイトな埋め込みを、$͕_7(-25)$ における異方的ケースを除き完全に列挙すること。
• 古典的リー代数における明示的な行列表現を通じて、タイト写像の像を特徴付け、可換な部分図式を同定すること。

提案手法

• ケーラー形式 $\omega$ を用いて定義される面積不変量 $\beta_{\mathcal{X}}$ を用い、ヘルミート対称空間内の最大面積の測地的三角形を測定する。
• 写像 $\rho$ の像を含む最小の正則的埋め込み対称部分空間として定義されるヘルミート包 $\mathcal{H}(\rho)$ の概念の適用。
• 像上での $|\beta_{\mathcal{X}_2}|$ の上界が $\mathcal{X}_2$ 全体で達成されるという条件を用いてタイト写像を分析する。
• 領域リー代数 $\mathfrak{g}$ を $\mathfrak{su}(1,1)^l \oplus \mathfrak{g}_1 \oplus \cdots \oplus \mathfrak{g}_k$ に分解し、$\mathfrak{g}_i$ が $\mathfrak{su}(1,1)$ に同型でないことを条件として、タイトな準同型を分類する。
• $\rho: \mathfrak{g} \to \mathfrak{h}$ の明示的行列構成法を用い、$\rho_1(X)$、$X_i$、および $\rho_{r_j}(Y_j)$ を含むブロック対角形式を採用し、ヘルミート構造と整合性を持つようにする。
• 特に $\mathfrak{sl}(2,\mathbb{R})$ の $\mathfrak{sp}(2n,\mathbb{R})$ への非可約表現を含む表現論を用いて、タイト写像の構造を記述する。

実験結果

リサーチクエスチョン

• RQ1 可縮ヘルミートリー代数からのタイト準同型は、$\mathfrak{su}(1,1)$ 要因を除き、常に正則的であるか？
• RQ2 タイトで正で単射な準同型 $\rho: \mathfrak{g} \to \mathfrak{h}$ に対して、そのヘルミート包 $\mathcal{H}(\rho)$ の構造は？
• RQ3 すべてのタイトな埋め込みを明示的に列挙できるか？ その際、定義域および終域の代数にどのような制約があるか？
• RQ4 $\mathfrak{e}_7(-25)$ への非正則的タイト写像は存在するか？ そして、それらは除外可能か？
• RQ5 タイト準同型の行列実現は、定義域代数の非可約成分への分解をどのように反映するか？

主な発見

• 定理 1.1 により、$\mathfrak{g}$ が $\mathfrak{su}(1,1)$ 要因を含まないタイトで正で単射な準同型 $\rho: \mathfrak{g} \to \mathfrak{h}$ は正則的であることが保証される。
• タイトな準同型 $\rho: \mathfrak{g} \to \mathfrak{h}$ のヘルミート包 $\mathcal{H}(\rho)$ は、$\bigoplus_{j=1}^{l} \bigoplus_{l=1}^{n_{j}} \mathfrak{sp}(2m_{jl},\mathbb{R}) \oplus \mathfrak{g}_1 \oplus \cdots \oplus \mathfrak{g}_k$ に同型であり、$\mathfrak{h}$ への埋め込みは正則的かつタイトである。
• $\rho: \mathfrak{g} \to \mathcal{H}(\rho)$ は、$\mathfrak{su}(1,1)$ 要因上で非可約表現の直和に分解され、$\mathfrak{g}_i$ 要因上で恒等写像に分解される。
• $\mathfrak{g} \to \mathfrak{so}(2,p)$ の場合、すべてのタイトな準同型は標準的包含と $\rho_3$ の非可約表現の合成として得られ、非可換部分図式は赤色でマークされている。
• $\mathfrak{g} \to \mathfrak{e}_6(-14)$ の場合、すべてのタイトな準同型は可換図式内の矢印の合成として得られ、非可換部分図式は $\mathfrak{su}(1,1)$ ペair を含む。
• $\mathfrak{g} \to \mathfrak{e}_7(-25)$ の場合、非正則的タイト写像は除外できないが、既知のすべての正則的タイト準同型は、$\mathfrak{so}(2,10)$ への標準的包含と $\mathfrak{e}_7(-25)$ への埋め込みの合成として実現され、明示的な図式が提供されている。