[论文解读] Scaffolds and integral Hopf Galois module structure on purely inseparable extensions

Alan Koch|arXiv (Cornell University)|May 29, 2014

Algebraic structures and combinatorial models参考文献 13被引用 5

一句话总结

本文为局部域的完全分歧纯不可分扩张（扩张次数为 $p^n$，$n \geq 2$）引入了霍普夫伽罗瓦搭架结构，实现了霍普夫伽罗瓦版的正规基定理。它建立了一个基于 $h-2$ 对 $p^n$ 取模的数值准则，以判断分式理想 $\mathfrak{P}_L^h$ 是否在其关联霍普夫代数 $H$ 中的关联序上自由，当 $\operatorname{res}(h-2) > (p^n - 3)/2$ 时，自由性成立。该结果完整刻画了此类扩张的积分霍普夫伽罗瓦模结构。

ABSTRACT

Let $p$ be prime. Let $L/K$ be a finite, totally ramified, purely inseparable extension of local fields, $\left[ L:K ight] =p^{n},\;n\geq2.$ It is known that $L/K$ is Hopf Galois for numerous Hopf algebras $H,$ each of which can act on the extension in numerous ways. For a certain collection of such $H$ we construct "Hopf Galois scaffolds" which allow us to obtain a Hopf analogue to the Normal Basis Theorem for $L/K.$ The existence of a scaffold structure depends on the chosen action of $H$ on $L.$ We apply the theory of scaffolds to describe when the fractional ideals of $L$ are free over their associated orders in $H.$

研究动机与目标

• 将伽罗瓦搭架理论推广至纯不可分、完全分歧局部域扩张背景下的霍普夫伽罗瓦扩张。
• 解决由于野性分歧导致整环 $\mathfrak{O}_L$ 缺乏正规积分基时，描述分式理想积分伽罗瓦模结构的挑战。
• 为分式理想 $\mathfrak{P}_L^h$ 在霍普夫代数 $H$ 的关联序 $\mathfrak{A}_h$ 上的自由性构造一个数值准则，利用搭架结构。
• 证明自由性条件仅依赖于 $h$ 对 $p^n$ 的赋值，与具体 $H$ 或作用的选择无关，前提是搭架存在。

提出的方法

• 引入一个由元素 $\lambda_t \in L$ 和算子 $\Psi_i \in H$ 构成的 $H$-搭架结构，满足 $v_L(\lambda_t) = t$，且 $v_L(\Psi_i(\lambda_t))$ 可计算并具有结构化形式。
• 定义关联序 $\mathfrak{A}_h = \{ \alpha \in H : \alpha(\mathfrak{P}_L^h) \subseteq \mathfrak{P}_L^h \}$，该序作用于分式理想 $\mathfrak{P}_L^h$。
• 为一族单生成 $K$-霍普夫代数 $H_{n,r,f}^*$ 构造搭架，其参数为 $n$、$r$ 和 $f$，其中 $v_K(f)$ 控制搭架的容差。
• 利用搭架推导出一个数值准则：$\mathfrak{P}_L^h$ 在 $\mathfrak{A}_h$ 上自由当且仅当 $\operatorname{res}(h-2) > (p^n - 3)/2$，其中 $\operatorname{res}(x)$ 表示 $x$ 对 $p^n$ 取模。
• 证明自由性条件与霍普夫代数 $H$ 或作用的选择无关，只要搭架存在且容差足够。
• 利用 $\mathfrak{P}_L^h = T^m \mathfrak{P}_L^{\operatorname{res}(h)}$ 的事实，将自由性问题约化为 $0 \leq \operatorname{res}(h) \leq p^n - 1$ 的情形。

实验结果

研究问题

• RQ1 在纯不可分扩张 $L/K$ 下，分式理想 $\mathfrak{P}_L^h$ 何时作为霍普夫代数 $H$ 中其关联序 $\mathfrak{A}_h$ 上的模是自由的？
• RQ2 能否为度数为 $p^n$（$n \geq 2$）的纯不可分扩张上的霍普夫伽罗瓦作用构造搭架结构，以统一描述赋值与伽罗瓦作用的信息？
• RQ3 分式理想 $\mathfrak{P}_L^h$ 在 $\mathfrak{A}_h$ 上的自由性如何依赖于赋值 $h$ 与霍普夫代数 $H$ 的结构？
• RQ4 若搭架存在且容差足够，自由性准则是否与霍普夫代数 $H$ 和作用的选择无关？
• RQ5 参数 $x$（满足 $v_L(x) = b$）在决定 $\mathfrak{P}_L^h$ 在 $\mathfrak{A}_h$ 上的自由性中起什么作用？

主要发现

• 分式理想 $\mathfrak{P}_L^h$ 在霍普夫代数 $H$ 的关联序 $\mathfrak{A}_h$ 上自由当且仅当 $\operatorname{res}(h-2) > (p^n - 3)/2$，其中 $\operatorname{res}(x)$ 表示 $x$ 对 $p^n$ 取模。
• 当 $h$ 在范围 $2 - p^n \leq h \leq 1$ 内时，自由性条件简化为 $\frac{p^n - 3}{2} < h - 2 + p^n \leq p^n - 1$，等价于 $\operatorname{res}(h-2) > (p^n - 3)/2$。
• 只要搭架具有足够高的容差，$\mathfrak{P}_L^h$ 的自由性与霍普夫代数 $H = H_{n,r,f}^*$ 或作用的选择无关。
• 当 $\mathfrak{P}_L^h$ 在 $\mathfrak{A}_h$ 上自由时，其由单个元素生成：$\mathfrak{P}_L^h = \mathfrak{A}_h \cdot (T^m \rho)$，其中 $\rho$ 是一个赋值为 $\operatorname{res}(h)$ 的单位元。
• 当 $b = 1$（即 $v_L(x) = -1$）且 $v_K(f) \geq 3$ 时，整环 $\mathfrak{O}_L$ 在 $\mathfrak{A}_h$ 上自由，这确保了足够容差的搭架存在。
• 搭架构造使得赋值与类似伽罗瓦作用的信息得以统一描述，将正规基定理推广至纯不可分扩张的霍普夫伽罗瓦情形。