数域上二次类对应的Galois上同调在位v处非分歧的等价条件证明问询

嘿，这个问题其实是Galois上同调和局部域分歧理论的经典关联问题，我来一步步给你梳理清楚：

首先，先把所有设定做个等价转化：
我们有K是数域，$a\in K^{\times}/{K{\times}}^2$，对应二次扩张$L=K(\sqrt{a})$，Galois群$\text{Gal}(L/K)\cong\mu_2$（2阶循环群）。你定义的上同调类$f:G_K\to\mu_2$，本质上就是这个二次扩张的Galois特征——把$\sigma\in G_K$映射到1如果$\sigma$固定$L$，映射到-1如果$\sigma$交换$\sqrt{a}$和$-\sqrt{a}$（因为$\alpha^\sigma/\alpha=\pm1$）。

而$f$在$v$处非分歧的定义是$f$在惯性群$I_v$上的限制为平凡，也就是所有$\sigma\in I_v$都固定$\sqrt{a}$，这等价于**$L/K$在$v$处是非分歧扩张**（因为惯性群$I_v$作用在$L$上平凡，说明$L/K$在$v$处的惯性群是平凡的，即非分歧）。

现在分情况证明这个等价性，同时解释Silverman的表述：

情况1：$v$是有限非Archimedean位（Silverman书里默认剩余域特征$\text{char}(k_v)\neq2$） #

对于局部域$K_v$，二次扩张$L_v=K_v(\sqrt{a})/K_v$非分歧的充要条件是：它的判别式是$O_v$（$K_v$的整数环）中的单位。对于多项式$x^2 - a$，判别式是$4a$，当$\text{char}(k_v)\neq2$时，$v(4)=0$，所以判别式的赋值就是$v(a)$：

• 如果$v(a)\geq1$，判别式的赋值$\geq1$，$L_v/K_v$是分歧扩张，此时$f|_{I_v}$是非平凡同态（因为$I_v\cap\text{Gal}(L/K)=\text{Gal}(L_v/K_v)\cong\mu_2$），即$f$在$v$处分歧。
• 如果$v(a)=0$，判别式是$O_v$中的单位，$L_v/K_v$是非分歧扩张，此时$f|_{I_v}$是平凡同态，即$f$在$v$处非分歧。

这时候$\alpha=\sqrt{a}\in L_v$，$v$在$L_v$上的延拓$w$满足$w(\alpha)=v(a)/2=0$，也就是$w(\alpha)\equiv0\mod2$，正好对应Silverman书里的表述。

补充一下：如果$a=\pi_v^2 u$（$u\in O_v^\times$，$v(a)=2$），那么$L_v=K_v(\sqrt{u})$，$\sqrt{u}$的赋值$w(\sqrt{u})=0$，$\alpha=\pi_v\sqrt{u}$的赋值是1——这种情况Silverman没提到，是因为他的语境里讨论的是椭圆曲线的判别式$\Delta$，而$\Delta$的赋值$v(\Delta)=0$对应椭圆曲线的好约化，这是他关注的核心场景。

情况2：$v$是Archimedean位 #

• 如果$v$是实位，$K_v=\mathbb{R}$：
  • 若$a>0$，$L_v=\mathbb{R}$是平凡扩张，$f|_{I_v}$平凡（实位的惯性群本身是平凡群），即$f$非分歧；
  • 若$a<0$，$L_v=\mathbb{C}$，$\text{Gal}(L_v/K_v)\cong\mu_2$，而实位的惯性群就是$\text{Gal}(\mathbb{C}/\mathbb{R})$，所以$f|_{I_v}$是非平凡同态，即$f$分歧。
• 如果$v$是虚位，$K_v=\mathbb{C}$，$L_v=\mathbb{C}$，$f|_{I_v}$总是平凡，即$f$非分歧。

严谨的等价性证明（Silverman语境下） #

我们严格对应Silverman的表述证明：$f$在$v$处非分歧 $\iff w(\alpha)\equiv0\mod2$（$w$是$v$在$L$上的延拓）：

1. （$\Rightarrow$）假设$f$在$v$处非分歧，即$f|_{I_v}=1$，那么所有$\sigma\in I_v$都满足$\alpha^\sigma=\alpha$，即$\alpha\in K^{{\text{nr}}$（$K$的最大非分歧扩张）。对于有限位$v$，$K}{\text{nr}}$的整数环中单位的赋值为0，而$\alpha^2=a\in K$，所以$w(\alpha)=v(a)/2$。结合$L/K$非分歧的条件$v(a)=0$，可得$w(\alpha)=0\equiv0\mod2$。
2. （$\Leftarrow$）假设$w(\alpha)\equiv0\mod2$，在Silverman的椭圆曲线语境下，这意味着$w(\alpha)=0$（即$v(a)=0$），此时$a$是$O_v$中的单位，$L_v=K_v(\sqrt{a})$的判别式是$4a$（$O_v$中的单位），所以$L_v/K_v$非分歧，因此$f|_{I_v}$平凡，即$f$非分歧。

备注：内容来源于stack exchange，提问作者Poitou-Tate