[論文レビュー] Differential properties of spaces of symmetric real matrices

Alberto Dolcetti, Donato Pertici|arXiv (Cornell University)|Jul 3, 2018

Advanced Topics in Algebra参考文献 8被引用数 6

ひとこと要約

本稿は、トレース計量の下での対称実行列の微分幾何を調査し、正定値行列のリーマン多様体に焦点を当てる。Lie群表現理論と対称空間理論を用いて、この多様体の等長変換群を完全に特徴づけ、すべての等長変換が共役、転置逆数変換、およびそれらの合成から生じることを示し、それらの幾何的解釈を単位行列、行列式が1の部分群、および径方向測地線に関する対称性として与える。

ABSTRACT

We study the differential geometric properties of the manifold of non-singular symmetric real matrices endowed with the trace metric; in case of positive definite matrices we describe the full group of isometries

研究の動機と目的

• 非特異な対称実行列のなす多様体にトレース計量を導入した微分幾何的構造を研究すること。
• トレース計量の下での正定値行列のリーマン多様体の全等長変換群を特定すること。
• これらの等長変換を、重要な部分多様体および測地線に関する対称性として幾何的に解釈すること。
• 等長変換群とLie群の表現理論、特に $\mathrm{SL}(\mathcal{P}_n)$ と $\mathrm{Spin}_n$ の間の関係を確立すること。
• ヘルミート正定値行列についての既存の研究と比較・対比し、実行列の場合のすべての等長変換が複素行列の場合に拡張可能であることを示すこと。

提案手法

• GL_{n} 上のトレース計量 $g_A(V,W) = \mathrm{tr}(A^{-1}VA^{-1}W)$ を用い、対称部分多様体に制限する。
• $GLSym_n(p)$ の半リーマン幾何を分析し、ユークリッド計量を伴う積空間 $SLSym_n(p) \times \mathbb{R}$ への等長同型を確立する。
• de Rham分解定理を適用して $(\mathcal{P}_n, g)$ を $SL\mathcal{P}_n \times \mathbb{R}$ として表現し、等長変換の分類を簡略化する。
• 対称リーマン多様体およびLie群表現理論の道具を用いて、$SL\mathcal{P}_n$ の等長変換を分類する。
• 恒等元における等長変換の微分を用いて、指数写像および群作用を介して等長変換を持ち上げる。
• 反射（単位行列に関する対称性）、$SL\mathcal{P}_n$ に関する直交対称性、径方向測地線に沿った反射を表す写像 $\varphi$, $\psi$, および $\varphi \circ \psi$ を導入・分析する。

実験結果

リサーチクエスチョン

• RQ1 トレース計量の下での正定値対称行列の多様体 $\mathcal{P}_n$ の全等長変換群は何か？
• RQ2 $SL\mathcal{P}_n$（行列式が1の正定値行列）の等長変換は、$\mathcal{P}_n$ のそれらとどのように関係するか？
• RQ3 $\mathcal{P}_n$ の等長変換は、特定の部分多様体または測地線に関する反射や対称性として幾何的に解釈可能か？
• RQ4 実正定値行列の等長変換は、複素正定値ヘルミート行列のそれらとどのように関係するか？
• RQ5 偶数 $n$ の場合、$\mathrm{Spin}_n$ の外部自己同型は、等長変換の分類においてどのような役割を果たすか？

主な発見

• 等長変換群 $\mathcal{I}(\mathcal{P}_n, g)$ は $n \neq 2$ のとき $GL_n^+ \ltimes \mathbb{Z}_2^2$ に同型であり、$n$ が偶数で2より大きいときは8つの連結成分を持つ。
• $n=2$ のとき、等長変換群の恒等成分は $GL_2^+ / \{\pm I_2\}$ に同型であり、非自明な中心のため商構造を示す。
• 奇数 $n$ のとき、恒等成分は $GL_n^+$ に同型であり、全等長変換群は4つの連結成分を持つ。
• 等長変換は、すべて $L = \Gamma_M$, $\Gamma_M \circ \varphi$, $\Gamma_M \circ \psi$, または $\Gamma_M \circ \varphi \circ \psi$ の形に分類され、ここで $\Gamma_M(A) = MAM^T$ であり、$\varphi, \psi$ は特定の対合写像である。
• 幾何的には、$\varphi$ は単位行列 $I_n$ に関する対称性であり、$\psi$ は超曲面 $SL\mathcal{P}_n$ に関する直交対称性であり、$\varphi \circ \psi$ は $\{tI_n : t > 0\}$ の径方向測地線に関する直交対称性である。
• $(\mathcal{P}_n, g)$ のすべての等長変換は、ヘルミート正定値行列空間 $(\mathit{H}_n, g)$ の等長変換に拡張可能であり、複素数の場合の結果と整合的であることが確認された。