[论文解读] Group actions on filtered modules and finite determinacy. Finding large submodules in the orbit by linearization

Genrich Belitskii, Dmitry Kerner|arXiv (Cornell University)|Dec 31, 2012

Rings, Modules, and Algebras被引用 7

一句话总结

本文通过分析轨道的切空间 $T_{(Gz,z)}$ 及其与形变空间 $Σ$ 的关系，建立了局部环上滤子模上群作用有限确定性的必要与充分条件。关键结果表明：若 $M_j \subseteq T_{(G^{(1)}z,z)}$，则轨道 $Gz$ 包含一个开邻域 $\{z\} + M_j$，通过线性化与阿廷型逼近，将经典有限确定性准则推广至广泛的环、模与群作用类别。

ABSTRACT

Fix a module M over a local ring R and a group action G on M, not necessarily R-linear. To understand how large is the G-orbit of an element z\in M one looks for the large submodules of M lying in Gz. We provide the corresponding (necessary/sufficient) conditions in terms of the tangent space to the orbit, T_{(Gz,z)}. This question originates from the classical finite determinacy problem of Singularity Theory. Our treatment is rather general, in particular we extend the classical criteria of Mather (and many others) to a broad class of rings, modules and group actions. When a particular `deformation space' is prescribed, Σ\subseteq M, the determinacy question is translated into the properties of the tangent spaces, T_{(Gz,z)}, T_{(\Si,z)}, and in particular to the annihilator of their quotient.

研究动机与目标

• 将奇点理论中的经典有限确定性准则推广至任意局部环、滤子模及非线性群作用。
• 确定元素 $z \in M$ 的 $G$-轨道何时在滤子拓扑下包含开邻域 $\{z\} + M_j$。
• 以轨道的切空间 $T_{(Gz,z)}$ 及其与形变子空间 $\Sigma \subseteq M$ 的相互作用为依据，提供有限 $G$-确定性的必要与充分条件。
• 通过霍恩泽尔环与相对群作用，将理论扩展至形变族，确保单参数族的轨道包含性。

提出的方法

• 将轨道 $Gz$ 在 $z$ 处的切空间 $T_{(Gz,z)}$ 视为判断轨道大小的关键对象。
• 通过群作用的线性化，将问题转化为研究稳定化子群在单位元处的切空间 $T_{(G^{(1)}z,z)}$。
• 应用阿廷型逼近定理，将完备化环 $\widehat{R}$ 中的形式解提升至 $R$ 中的解，确保轨道包含 $\{z\} + M_j$。
• 通过滤子设定下的中岛引理，证明 $M_j \subseteq T_{(G^{(1)}z,z)}$ 蕴含 $\{z\} + M_j \subseteq Gz$。
• 考虑单参数族 $z(t) \in SM$，其中 $S = \mathbb{k}[[t]]$ 或 $S = \mathbb{k}\{t\}$，并证明若 $z(t) \in \{z\} + T_{(Gz,z)}$，则 $z(t) \in Gz$，通过相对群作用 $G_S \subset GL_S(SM)$ 实现。
• 利用轨道的完备化及 $\widehat{G}^{(1)}\hat{z}$ 的结构，将 $T_{(\widehat{G}^{(1)}z,z)}$ 与 $\widehat{M}_j$ 关联，从而可应用定理 4.6 与引理 3.19。

实验结果

研究问题

• RQ1 在何种条件下，$z \in M$ 的 $G$-轨道在滤子拓扑下包含开邻域 $\{z\} + M_j$？
• RQ2 如何利用切空间数据表征 $z$ 关于 $G$-不变形变子空间 $\Sigma \subseteq M$ 的有限确定性？
• RQ3 商空间 $T_{(\Sigma,z)} / T_{(Gz,z)}$ 的零化子在确定有限确定性中的作用为何？
• RQ4 能否将点态位于 $\{z\} + T_{(Gz,z)}$ 内的单参数族 $z(t) \in SM$ 提升为轨道 $Gz$ 中的元素？
• RQ5 在保持结论 $M_j \subseteq T_{(G^{(1)}z,z)}$ 的前提下，能否弱化条件 $T_{(G^{(1)}z,z)} \subseteq T_{(M,z)} \approx M$？

主要发现

• 若 $M_j \subseteq T_{(G^{(1)}z,z)}$，则 $\{z\} + M_j \subseteq Gz$，即轨道在滤子拓扑下包含 $z$ 的一个开邻域。
• 条件 $M_j \subseteq T_{(G^{(1)}z,z)}$ 对 $z$ 的 $k$-确定性（$k = j$）而言是必要且充分的，推广了经典准则。
• 对于幂幺群作用及霍恩泽尔环 $S$，若 $z(t) \in SM_j$ 且 $z(t) \in \{z\} + T_{(Gz,z)}$，则 $z(t) \in Gz$，意味着单参数族的轨道包含性成立。
• 使用阿廷型逼近可将 $\widehat{R}$ 中的形式解提升至 $R$ 中的解，确保 $\{z\} + M_j \subseteq G^{(1)}z$。
• 轨道的完备化满足 $\{z\} + \widehat{M}_j \subseteq \widehat{G}^{(1)}\hat{z}$，这意味着 $\widehat{M}_j \subseteq \overline{T_{(\widehat{G}^{(1)}z,z)}}$，从而将完备化与切空间结构联系起来。
• 即使 $T_{(G^{(1)}z,z)} \cap M_\infty$ 是一个子模（例如平凡），也未必能保证 $M_j \subseteq T_{(G^{(1)}z,z)}$，反例显示当 $R = \mathbb{k}[[x]]$ 且 $M = R$ 时该条件不充分。