https://math.stanford.edu/~conrad/papers/notes.pdf 2.2 Tate-SenとFaltingsの定理 $X$ を $p$ 進体 $K$ 上のスムースで固有なスキームとします。$G_K$ の $p$ 進表現 $H^n_{{\rm et}}(X_\overline{K},\mathbb{Q}_p)$ は調べるのが難しいですが、 \[V\leadsto \mathbb{C}_K\otimes_{\mathbb{Q}_p} V\] という操作をかませると簡単になることをTateは発見しました。 そこで次の定義をします。 定義 有限次元$\mathbb{…