昼めし食いに行ったらあっという間に解けた。
M がσ有限vN環の直和なら、勝手な埋め込み N ⊂ M は、
N = π N_j ⊂ M_0=π M_j と Θ: N -> M_1 を使って
N ∋ x -> (x,Θ(x)) ∈ M_0 \oplus M_1 = M と書ける。
ここで、各 N_j ⊂ M_j はσ有限。
ふと気になったHecke環についての質問です。
(G,H)がHecke対、つまり H が G でcommensuratedなとき、
任意の G ユニタリ表現 (π,V) を V^H (H-invariant vectors) への
射影 p で切ると、V^H 上の Hecke環 H(G,H) の表現が出来る：
HgH -> p π(g) p
Hecke環 H(G,H) の任意の表現がこのような形をしているのは
どんなとき？
言い換えると、普遍包絡C*環 H_max(G,H) が p C*_max(G) p と
同型になるのはいつ？
