東大院試04-A6

この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。

問題

$V$ を $n$ 次元複素ベクトル空間， $f$ を $V$ の可逆な線形変換とする．
(1) $\overset{2}{⋀} V$ の線形変換 $g$ で，すべての $v, w \in V$ にたいして $g (v \land w) = f (v) \land f (w)$ を満たすものが，ただ一つ存在することを示せ．
(2) $n \geq 3$ のとき， $f$ が対角化可能であることと $g$ が対角化可能であることが同値であることを示せ．
(3) $f$ のジョルダン標準形が
$(\begin{matrix} 1 & 1 & 0 & \dots & 0 & 0 \\ 0 & 1 & 1 & \dots & 0 & 0 \\ ⋱ & ⋱ \\ ⋱ & ⋱ \\ 0 & 0 & 0 & \dots & 1 & 1 \\ 0 & 0 & 0 & \dots & 0 & 1 \end{matrix})$
であるとき， $(g - I)^{m} = 0$ となる最小の自然数 $m$ を求めよ．ただし $I$ は $\overset{2}{⋀} V$ の恒等変換を表す．

復習

外積の普遍性

$φ : V^{2} \to \overset{2}{⋀} V$ を $φ (v, w) = v \land w$ で定義する．任意の双線形交代写像 $Ψ : V^{2} \to W$ に対して，次の可換図式を可換にする線形写像 $f$ がただ一つ存在する．
$V^{2} φ Ψ \overset{2}{⋀} V f W$

外積と直和

$V, W$ をベクトル空間とする．このとき，
$\overset{2}{⋀} (V \oplus W) ≅ (\overset{2}{⋀} V) \oplus (V \otimes W) \oplus (\overset{2}{⋀} W)$
が成り立つ．　

線形写像 $Ψ : \overset{2}{⋀} (V \oplus W) \to (\overset{2}{⋀} V) \oplus (V \otimes W) \oplus (\overset{2}{⋀} W)$
を，
$Ψ ((v_{1} + w_{q}) \land (v_{2} + w_{2})) = (v_{1} \land v_{2}, v_{1} \otimes w_{2} - v_{2} \otimes w_{1}, w_{1} \land w_{2})$ で定義する．
また，線形写像
$Φ : (\overset{2}{⋀} V) \oplus (V \otimes W) \oplus (\overset{2}{⋀} W) \to \overset{2}{⋀} (V \oplus W)$
を
$Φ (v_{1} \land v_{2}, v \otimes w, w_{1} \land w_{2}) = v_{1} \land v_{2} + v \land w + w_{1} \land w_{2}$
で定義する．
そうすれば， $Ψ \circ Φ = i d, Φ \circ Ψ = i d$ が計算により分かり，これにより同型が従う．
ちなみに，線形写像であることは外積や直和の普遍性を用いて示すことができる．

一般に，
$\overset{n}{⋀} (V \oplus W) ≅ ⨁_{l + m = n} (\overset{l}{⋀} V) \otimes (\overset{m}{⋀} W)$
が成り立ちます．

解答

$h : V^{2} \to \overset{2}{⋀} V$ を $h (v, w) = f (v) \land f (w)$ で定めると，これは双線形交代写像なので外積の普遍性により， $g (v \land w) = h (v, w) = f (v) \land f (w)$ を満たす線形写像 $g$ が一意的に存在する．
$f$ が対角化可能であるとき， $V$ の基底 ${v_{1}, v_{2}, \dots, v_{n}}$ と複素数 $λ_{i}$ が存在して， $f (v_{i}) = λ_{i} v_{i}$ が成り立つ．このとき， $\overset{2}{⋀} V$ の基底として ${v_{1} \land v_{2}, v_{1} \land v_{3}, \dots, v_{n - 1} \land v_{n}}$ をとれば， $g (v_{i} \land v_{j}) = λ_{i} λ_{j} (v_{i} \land v_{j})$ となり，対角化可能であることが分かる．
　逆に $f$ が対角化不可能だとすると，ジョルダン標準形の理論より， $V$ の基底 ${v_{1}, v_{2}, \dots, v_{n}}$ と固有値 $λ$ と $2 \leq r \leq n$ が存在して $f (v_{1}) = λ v_{1}, f (v_{2}) = v_{1} + λ v_{2}, \dots, f (v_{r}) = v_{r - 1} + λ v_{r}$
が成り立つ． $f$ は可逆なので $λ \neq 0$ ． $V_{1} = ⟨ v_{1}, \dots, v_{r} ⟩, V_{2} = ⟨ v_{r + 1}, \dots, v_{n} ⟩$ とおくと，上の命題により， $\overset{2}{⋀} V ≅ \overset{2}{⋀} (V_{1} \oplus V_{2}) ≅ (\overset{2}{⋀} V_{1}) \oplus (V_{1} \otimes V_{2}) \oplus (\overset{2}{⋀} V_{2})$
が成り立つ．この同型の下， $g$ の $\overset{2}{⋀} V_{1}$ への制限を考える．
　 $\overset{2}{⋀} V_{1}$ の基底 ${v_{1} \land v_{2}, v_{1} \land v_{3}, \dots, v_{r - 1} \land v_{r}}$ についての $g$ の表現行列を考えると，これは対角成分がすべて $λ^{2}$ である三角行列なので固有値が $λ^{2}$ であることが分かる．
　 $r \geq 3$ の時， $Ker (g - λ^{2} I)$ の次元が $_{r} C_{2}$ であり得ないことは， $g$ の表現行列の下から二行目が $(\begin{matrix} 0 & \dots & 0 & λ^{2} & λ \end{matrix})$ となっていることから従う．よって対角化不可能．
　 $r = 2$ のとき， $n \geq 3$ より，固有値 $λ^{'}$ とそれに付随する固有ベクトル $v$ があってそれは $v_{1}, v_{2}$ と一次独立である．ここでも， $f$ が可逆であることから $λ^{'} \neq 0$ ． $g$ の $⟨ v_{1} \land v, v_{2} \land v ⟩$ への制限を考える．表現行列は
$(\begin{matrix} λ λ^{'} & λ^{'} \\ 0 & λ λ^{'} \end{matrix})$
である．固有値は $λ λ^{'}$ で，退化していることが分かる．よって対角化不可能．
　よって $g$ は対角化不可能な線形変換を直和成分として持つことが分かるので， $g$ は対角化不可能．

(3)このジョルダン標準形になる $V$ の基底を $v_{1}, \dots, v_{n}$ とすると， $g$ の表現行列は，先ほど考えたようになる．これは対角成分が1で，対角成分の一つ上のところに $0$ でない成分が存在する行列である．よって $g - I$ は $_{r} C_{2}$ 乗して初めて0となる．