Choosing Embeddings $\overline{\mathbb{Q}}\hookrightarrow \overline{\mathbb{Q}}_p$

How a choice of $p$-adic embedding fixes a decomposition group and conjugates Frobenius/Satake data
Choosing Embeddings QQp\overline{\mathbb{Q}}\hookrightarrow \overline{\mathbb{Q}}_p

Choosing an embedding ιp:QQp\iota_p:\overline{\mathbb{Q}}\hookrightarrow \overline{\mathbb{Q}}_p is equivalent to choosing a prime of Q\overline{\mathbb{Q}} above pp.

This identifies a decomposition group in Gal(Q/Q)\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) with the local Galois group Gal(Qp/Qp)\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p), and hence fixes a notion of at pp.

Changing ιp\iota_p conjugates the resulting Frobenius and therefore conjugates the Satake parameter αp\alpha_p in the .

Consequence used in the letter: the Euler product changes only by finitely many local factors (the “bad primes”).