[論文レビュー] Limits Under Conjugacy of the Diagonal Subgroup in SL(n,R)

Arielle Leitner|arXiv (Cornell University)|Dec 17, 2014

Finite Group Theory Research参考文献 7被引用数 9

ひとこと要約

本稿は、$SL_n(\mathbb{R})$ 内の対角部分群の共軛極限の空間の次元について、2次関数による境界を確立する。$n \geq 7$ の場合、$\dim Red(n)$ は $\frac{n^2 - 8n + 12}{8}$ と $n^2 - n$ の間にあることが示され、特に $n = 5,6,8$ の場合に、対角群の極限でない、アーベル的 $n-1$ 次元部分群の初の明示的例が得られる。また、$Ab(n) = Red(n)$ が成り立つのは $n \leq 4$ の場合に限ることを示し、共軛極限であるための階層条件（tier condition）が必要であるが、十分ではないことを特定する。

ABSTRACT

We give a quadratic lower bound on the dimension of the space of conjugacy classes of subgroups of SL(n,R) that are limits under conjugacy of the diagonal subgroup. We give the first explicit examples of abelian n-1 dimensional subgroups of SL(n,R) which are not such a limit, however all such abelian groups are limits of the diagonal group iff n < 5.

研究の動機と目的

• $n \geq 5$ の場合に、$SL_n(\mathbb{R})$ 内の正の対角カルタン部分群 $C$ の共軛極限を分類すること。これは文献における未解決問題である。
• すべてのアーベル的 $n-1$ 次元部分群が $C$ の極限であるかどうかを特定すること、特に $n \geq 5$ の場合に焦点を当てる。
• $C$ の共軛極限でないアーベル群の明示的例を提供することにより、Iliev と Manivel (2012) の質問 A を解決すること。
• $n \geq 7$ の場合に、$C$ の極限である部分群の共軛類の空間 $Red(n)$ の次元に関する境界を確立すること。

提案手法

• 行列 $T$ を用いて定義されるホモモルフィズム $\rho_T: \mathbb{R}^{m+n} \to SL_{m+n+1}(\mathbb{R})$ を通じて、群 $L_T$ の族を構成し、$L_T$ が対角カルタン部分群の共軛極限であることを示す。
• 各行列の成分をスケーリングする共軛行列 $P_r$ の列挙を用いて、共軛された対角行列が $L_T$ の元に収束することを証明し、$L_T$ が極限群であることを示す。
• 群 $G$ の階層を $\tau(G) = \max_{g \in G} \text{rk}(g - I_n)$ として定義し、共軛極限において階層が非増加であることを示す。
• 階層条件を必要条件として適用：共軛極限は、階層が 1 の1パラメータ部分群を含まなければならない。
• ユニポテンツ元のジョルダン標準形を用いて階層を計算し、階層が 1 の部分群を含まない群は共軛極限にはなり得ないことを示す。
• 行列表現を用いて、$SL_8(\mathbb{R})$ 内の特定の7次元アーベル部分群 $E$ を構成し、それが階層が 1 の部分群を含まないことを証明することで、$C$ の共軛極限でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 どの $n \geq 5$ に対して $Ab(n) = Red(n)$ が成り立ち、$Red(n)$ が $Ab(n)$ の真部分集合となるのはいつか？
• RQ2 平坦群であることと、階層が 1 の部分群を含むという条件が、対角カルタン部分群の共軛極限であるための十分条件であるか？
• RQ3 $n \geq 7$ の場合に、$SL_n(\mathbb{R})$ 内の対角部分群の極限である共軛類の空間 $Red(n)$ の正確な次元境界は何か？
• RQ4 $n = 5,6,8$ の場合に、特に、対角群の極限でないアーベル的 $n-1$ 次元部分群の明示的例を構成できるか？
• RQ5 $Red(n)$ と $Ab(n)$ を区別する位相的または代数的性質は何か？また、$Ab(n)$ から $Red(n)$ へのリトラクションは存在するか？

主な発見

• $n \geq 7$ の場合、対角部分群の共軛極限の共軛類の空間の次元は、$\frac{n^2 - 8n + 12}{8} \leq \dim Red(n) \leq n^2 - n$ を満たし、$\dim Red(n)$ に対する初の2次関数による境界が得られる。
• $SL_8(\mathbb{R})$ 内の群 $E$ は、7パラメータのホモモルフィズム $\rho$ の像として定義されるアーベル的7次元部分群であり、階層が 1 の1パラメータ部分群を含まないため、対角カルタン部分群の共軛極限でないことが証明される。
• $n \leq 4$ の場合、$Ab(n) = Red(n)$ であるが、$n \geq 5$ の場合、$Red(n) \subsetneq Ab(n)$ であるため、すべてのアーベル的 $n-1$ 次元部分群が対角群の極限であるとは限らない。
• 階層条件 $\tau(G) = \max_{g \in G} \text{rk}(g - I_n)$ は、共軛極限であるための必要条件である：すべての共軛極限は、$\tau(H_1) = 1$ を満たす1パラメータ部分群を含まなければならない。$E$ はこの条件を満たさないため、極限にはなり得ない。
• $L_T$ の構成は、対角部分群の共軛極限を生成する一般的手法を提供する。$T$ の各行に少なくとも1つの非ゼロ成分があるという条件が、$L_T$ が有効な極限群であることを保証する。
• 本稿は、Iliev と Manivel が提起した質問 C を解決し、$n \geq 7$ の場合に $Red(n)$ が有限次元であることを示している。なぜなら、$\dim Red(n)$ が2次関数によって上から有界であり、無限次元ではないからである。