étale 代数与展望

Galois 理论的范畴视角

现代数学中，Galois 理论被重新解释为范畴等价。这种视角统一了经典 Galois 理论、覆盖空间理论和代数几何。

---

étale 代数

定义

设 $F$ 为域。一个有限维 $F$-代数 $A$ 称为 étale，如果：

$$A{\otimes }_F\bar{F}\cong \bar{F}\times \bar{F}\times \cdots \times \bar{F}$$

即基变换到代数闭包后，$A$ 同构于 $\bar{F}$ 的若干份直积。

::: example 例子

• $F$ 的有限可分扩张是 étale $F$-代数
• $F\times F$ 是 étale 的
• $\mathbb{C}{\otimes }_{\mathbb{R}}\mathbb{C}\cong \mathbb{C}\times \mathbb{C}$
• $F[x]/(x^2)$ 不是 étale（不可分） :::

等价刻画

$A$ 是 étale $F$-代数 $⟺$ $A$ 是有限个有限可分扩张的直积。

---

Galois 理论作为范畴等价

有限 Galois 理论

范畴等价：

$${\left(\text{有限 étale }F\text{-代数}\right)}^{\mathrm{op}}\cong (\text{有限 }\mathrm{Gal}(\bar{F}/F)\text{-集合})$$

其中左端箭头是 $F$-代数同态，右端是带有连续作用的有限集合。

::: theorem 定理：Grothendieck 的 Galois 理论 存在范畴等价：

$${\left(\text{有限可分扩张}\right)}^{\mathrm{op}}\cong (\text{有限 }\mathrm{Gal}(\bar{F}/F)\text{-传递集合})$$

:::

意义

1. 经典 Galois 对应 是该等价在传递 Galois 集合上的特殊情形。
2. 态射 的处理更为自然。
3. 可从 $F$-代数推广到概形上的 étale 态射。

---

从域扩张到覆盖空间

类比：

Galois 理论	拓扑理论
域扩张 $L/F$	覆盖空间 $\tilde{X}\to X$
Galois 群 $\mathrm{Gal}(L/F)$	基本群 ${\pi }_1(X,x_0)$
Galois 对应	覆盖空间分类
分裂域	万有覆盖
étale 代数	局部常值层

这不仅是类比——étale 基本群 精确地形式化了这种对应。

---

代数数论入口

数域与 Galois 群

设 $K/\mathbb{Q}$ 为数域（即 $\mathbb{Q}$ 的有限扩张）。则 $K$ 的 Galois 闭包 $L$ 是 $K$ 的有限 Galois 扩张。

研究 $\mathrm{Gal}(L/\mathbb{Q})$ 是代数数论的核心任务。

分歧理论

对于素数 $p$，理想 $(p)$ 在 ${\mathcal{O}}_K$（$K$ 的整数环）中分解为：

$$(p)={\mathfrak{p}}_1^{e_1}{\mathfrak{p}}_2^{e_2}\cdots {\mathfrak{p}}_g^{e_g}$$

• $e_i\ge 1$ 称为分歧指数
• $f_i=[{\mathcal{O}}_K/{\mathfrak{p}}_i:{\mathbb{F}}_p]$ 称为惯性次数
• $\sum _{i=1}^g{e}_i{f}_i=[K:\mathbb{Q}]$

::: theorem 分解群与惯性群 对每个 $\mathfrak{p}\mid p$：

• 分解群 $D_{\mathfrak{p}}=\{\sigma \in \mathrm{Gal}(L/\mathbb{Q})\mid \sigma (\mathfrak{p})=\mathfrak{p}\}$
• 惯性群 $I_{\mathfrak{p}}=\{\sigma \in D_{\mathfrak{p}}\mid \sigma (x)\equiv x(\mathrm{mod}\mathfrak{p})\text{ 对所有 }x\in {\mathcal{O}}_L\}$

商 $D_{\mathfrak{p}}/I_{\mathfrak{p}}$ 与剩余域的 Galois 群同构：

$$D_{\mathfrak{p}}/I_{\mathfrak{p}}\cong \mathrm{Gal}(({\mathcal{O}}_L/\mathfrak{P})/({\mathcal{O}}_K/\mathfrak{p}))$$

:::

Frobenius 自同构

若 $p$ 不分歧，则 $I_{\mathfrak{p}}=\{1\}$，且存在算术 Frobenius ${\mathrm{Frob}}_{\mathfrak{p}}\in D_{\mathfrak{p}}$，满足：

$${\mathrm{Frob}}_{\mathfrak{p}}(x)\equiv x^p(\mathrm{mod}\mathfrak{p})$$

Frobenius 共轭类决定了 $p$ 在 $K$ 中的分解方式，是类域论和 Langlands 纲领的基石。

---

算术几何展望

有理点与 Galois 作用

设 $X$ 为 $\mathbb{Q}$ 上的代数簇。绝对 Galois 群 $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ 作用于 $X(\bar{\mathbb{Q}})$。

• 有理点 $X(\mathbb{Q})$ 是 Galois 不动点。
• Galois 上同调 描述 Galois 作用与局部到全局原理。

étale 上同调

概形 $X$ 上的 étale 拓扑 将 Galois 群作用编码为上同调群：

$$H_{\text{ét}}^1(X_{\bar{F}},\mathbb{Z}/{\ell }^n\mathbb{Z})$$

这是 Weil 猜想证明和现代代数几何的基础工具。

---

总结

Galois 理论的发展轨迹：

1. 经典：方程根式可解性 $\to$ Galois 群与对应
2. 抽象：域扩张与 Galois 群
3. 拓扑：Krull 拓扑与 profinite 群
4. 范畴：étale 代数与 Tannakian 范畴
5. 几何：étale 基本群与 étale 上同调
6. 算术：Galois 表示、类域论、Langlands 纲领

本教程只展现了冰山一角。Galois 理论远未完成——它仍然是当今数学最活跃的研究领域之一。

下一步

• 回到 首页 重新浏览教程结构
• 查看 知识地图 总览概念网络
• 浏览 参考文献 深入学习