7

グラスマン多様体について。定義と基本的性質。

1869
0
$$$$

 グラスマン多様体は教養の線形代数(「教養」というのは、これくらいは知ってろという意味ではなく、教養課程で習う程度のという意味です)程度で色々な計算ができ、代数幾何やトポロジーの諸概念を理解する例として大変便利だと後輩に話したところ、どうもグラスマン多様体に触れられる易しい教科書がないようだと後輩が嘆いていたので、私が書きます。というのがおおよそ本稿の執筆の動機です。
 数学というものの性質上、衒学趣味の小難しい書き方になってしまいますが、ぜひ手元に紙とペンを用意し、行列をたくさん書いてグラスマン多様体に親しんでください。

定義などなど

グラスマン多様体

可換体$k$上の有限次元ベクトル空間$k^{n+m}$$m$次元部分空間全体の集合を$\textrm{Gr}_k(n,m)$と書き、$k$上の$(n,m)-$グラスマン多様体と呼ぶ。

本稿では$k=\mathbb{C}$として色々な性質を考えていきます。このときに単に$\textrm{Gr}(n,m)$と書くことにします。また、$n$を固定している状況で$\textrm{Gr}(m)$と書いたりもすることがあるかもしれません。

m=1のとき

$\textrm{Gr}(n,1)$$\mathbb{C}^{n+1}$の一次元ベクトル空間全体であるので、これは世界一大事な代数多様体こと$\mathbb{P}^n$となります。

 さて、“多様体”と名が付くからにはmanifoldなりvarietyなりの構造が入ってほしいので、入れましょう(実はどちらの構造も入ります)。まず、定義より次の全射があります:
\begin{eqnarray} M(n,m):=\{A\in \textrm{Mat}(n+m,m) \mid \textrm{rk}(A)=m\}\to & \textrm{Gr}(n,m)\\ [v_1\cdots v_m]\mapsto & \textrm{Span} \{v_1,\ldots, v_n\} \end{eqnarray}

 要するに、部分空間に対してその基底を何でもいいから取りなさいということになります。まず、この全射による商位相を$\textrm{Gr}(n,m)$の位相として採用します(manifoldの構造を入れるためには、本当ならこの位相が第二可算でハウスドルフであることを確かめないといけないわけですが、気になる人は自分で確かめてみてください。手間はかかりますが、そんなに難しいものではないと思います)。
 さて、まず$M(n,m)$の開被覆$\{V_\alpha\}$(ただし、$\alpha=(\alpha_1,\ldots,\alpha_m)$は多重指数で$1\leq\alpha_1<\cdots<\alpha_m\leq m+n $を満たす整数の組すべてを走るようにとります)を次のようにとります:
\begin{eqnarray} V_\alpha:=\{A\in M(n,m) \mid \det(A_\alpha) \neq 0\} \end{eqnarray}
 ただし、$A_\alpha$$A$の第$\alpha_i$行たちを取り出してきた小行列とします。これが$M(n,m)$の開被覆になることは階数の特徴づけのうちの一つのほとんど直接の言いかえになるので、($V_\alpha$に慣れる意味も込めて)自分で確かめてみてください。このとき、$A \in V_\alpha$$A_\alpha$の逆行列を右から掛け算すると$\alpha$行目たちを取り出した小行列が$m \times m$単位行列になっているような行列が得られます。このとき同一視$M(n-m, m)\cong \mathbb{C}^{(n-m)\times m}$の下で、$AA_\alpha^{-1}$$\alpha$行目以外たちをすべて$\mathbb{C}^{(n-m)\times m}$へ送ります(字面だけを見るとよくわからないと思うので小さいサイズの行列で計算してみながら構成を追ってみてください)。

上の構成をそのまま$\textrm{Gr}(n,m)$まで落とすことで、グラスマン多様体上に座標系を誘導することを確かめよ。

 さて、無事にmanifoldの構造が入ったのでvarietyの構造も入れてしまいましょう:

プリュッカー埋め込み

写像$\textrm{Pr}:\textrm{Gr}(n,m)\to \mathbb{P}(\bigwedge^m \mathbb{C}^{m+n})\cong \mathbb{P}^{\binom{n+m}{m}-1}$$\textrm{Pr}(\textrm{Span}(v_1,\ldots,v_m))=v_1 \wedge\cdots\wedge v_m $で定める。これをグラスマン多様体のプリュッカー埋め込みという。

 さて、このプリュッカー埋め込みが実際に埋め込みになっていることは後日気が向けば別の記事で説明することにしましょう。周の定理と呼ばれる強い定理を用いればプリュッカー埋め込みによってグラスマン多様体が代数多様体になることは分かりますが、代数的な関係式を直接見つけてくることもできます。

プリュッカー埋め込みによるグラスマン多様体の像の満たす代数関係式を求めよ。
ヒント:具体的な成分表示を使って行列の計算に帰着せよ。

 いろいろ計算しながら読まれてきた方はそろそろ疲れてきたでしょうし、私も疲れてきたので今回はこの辺りにして、次回からグラスマン多様体の幾何的な諸性質を見ていきましょう。誤植や数学的な誤り、こんなん教養の線形代数でわかるわけないやろ等のご意見は随時お待ちしております。

投稿日:227
更新日:227

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中