https://math.stanford.edu/~conrad/papers/notes.pdf 2.4 Hodge-Tate表現のフォーマリズム ${\rm Rep}_{\mathbb{C}_K}(G_K)$ において \[\left(\bigoplus_q\mathbb{C}_K(-q)^{h_q}\right)\otimes_{\mathbb{C}_K} \left(\bigoplus_{q'}\mathbb{C}_K(-q')^{h'_{q'}}\right)\cong \bigoplus_r\mathbb{C}_K(-r)^{\sum_ih_ih'_{r-i}}\] なので、$W…
