[论文解读] Regularity of quotients by an automorphism of order $p$

Stefan Wewers|arXiv (Cornell University)|Jan 5, 2010

Finite Group Theory Research参考文献 8被引用 3

一句话总结

本文建立了当 $ B $ 为正则局部环且 $ G $ 为作用于 $ B $ 的 $ p $ 阶循环群时，不变环 $ A = B^G $ 正则性的充分条件，其中 $ p $ 等于 $ B $ 的剩余特征。关键结果表明：若存在一个正则参数 $ \pi \in \mathfrak{m} \setminus \mathfrak{m}^2 $，使得 $ G $-不变理想 $ \mathcal{I}_\sigma = (\pi^\delta) $，且满足 $ \mathcal{I}_\sigma = (\sigma(\pi) - \pi) $ 或 $ \sigma(\pi) - \pi \in (\pi^{\delta+1}) $，则 $ A $ 正则，从而为正特征下野生商奇异点的正则性提供了一个判别准则。

ABSTRACT

Let $B$ be a regular local ring and $G\subset\Aut(B)$ a finite group of local automorphisms. Assume that $G$ is cyclic of prime order $p$, where $p$ is equal to the residue characteristic of $B$. We give conditions under which the ring of invariants $A=B^G$ is again regular.

研究动机与目标

• 解决当 $ G $ 为 $ p $ 阶循环群且 $ p $ 等于 $ B $ 的剩余特征时，不变环 $ A = B^G $ 正则性的条件问题，此情形未被经典驯服商奇异点理论所涵盖。
• 为在野生情形下，当群阶在剩余域中不可逆时，商概形 $ X/G $ 的正则性提供一个判别准则，扩展已知的驯服情形结果。
• 通过提供一个可应用于二维及以上情形的上同调与理想理论判别准则，补充现有对野生商奇异点的组合研究。
• 在群作用于极大理想及其幂的性质基础上，建立一个充分条件，使得正则局部环关于野生 $ p $-群作用的商仍为正则。

提出的方法

• 该方法聚焦于分析 $ G $-不变理想 $ \mathcal{I}_\sigma = \langle \sigma(x) - x \mid x \in B \rangle_B $，其衡量了群作用在 $ B $ 上的非平凡性。
• 利用存在一个正则参数 $ \pi \in \mathfrak{m} \setminus \mathfrak{m}^2 $，使得 $ \mathcal{I}_\sigma = (\pi^\delta) $，将理想结构与群作用的阶及不动点联系起来。
• 通过在幂级数环中使用归纳提升过程，构造一个 $ G $-不变元素 $ \lambda = u\pi $，其中 $ u \in B^\times $，以满足 $ \sigma(\lambda) - \lambda $ 的赋值条件。
• 应用一个关键引理，涉及通过 $ \sigma $ 作用定义的映射 $ \theta_\pi $，将问题约化为模 $ \pi $ 求解线性方程，依赖于 $ \theta_\pi $ 在剩余域上的满射性。
• 证明商环 $ \bar{A} = A/A\lambda $ 等于 $ \bar{B} \cap \bar{K} $，其中 $ \bar{B} = B/B\pi $，并利用此关系证明 $ \bar{A} $ 正则，从而推出 $ A $ 正则。
• 论证利用了 $ \theta_\pi $ 在 $ \bar{B} $ 上的满射性，该性质源于 $ p $-进域整数环中某些提升的存在性，并应用推论 2.2 解决所需方程。

实验结果

研究问题

• RQ1 当 $ G $ 为 $ p $ 阶循环群且 $ p $ 等于 $ B $ 的剩余特征时，不变环 $ A = B^G $ 在何种条件下正则？
• RQ2 能否为在群阶在剩余域中不可逆的野生情形下，商概形 $ X/G $ 的正则性给出一个充分条件？
• RQ3 当 $ \mathcal{I}_\sigma $ 为正则参数的幂时，$ G $-不变理想 $ \mathcal{I}_\sigma $ 的结构如何与 $ A = B^G $ 的正则性相关？
• RQ4 当 $ \sigma(\pi) - \pi \in (\pi^{\delta+1}) $ 时，$ \sigma $ 在正则参数 $ \pi $ 上的作用在决定 $ A $ 是否正则时起什么作用？
• RQ5 是否存在一个上同调或理想理论判别准则，可确保在作用在余切空间上诱导平凡自同态的野生情形下 $ A $ 的正则性？

主要发现

• 若存在一个正则参数 $ \pi \in \mathfrak{m} \setminus \mathfrak{m}^2 $，使得 $ \mathcal{I}_\sigma = (\pi^\delta) $，则 $ G $-不变理想由 $ \pi $ 的幂生成，将群作用与 $ B $ 的局部结构联系起来。
• 当 $ \mathcal{I}_\sigma = (\sigma(\pi) - \pi) $ 或 $ \sigma(\pi) - \pi \in (\pi^{\delta+1}) $ 时，作用足够受控，可确保不变环 $ A $ 的正则性。
• 存在一个 $ G $-不变元素 $ \lambda = u\pi $，其中 $ u \in B^\times $，使得可约化到剩余域，从而在 $ \bar{B} = B/B\pi $ 上使用上同调技术。
• 商环 $ \bar{A} = A/A\lambda $ 被证明等于 $ \bar{B} \cap \bar{K} $，这是证明 $ \bar{A} $ 正则性（从而 $ A $ 正则性）的关键步骤。
• $ \bar{A} $ 的正则性源于 $ \theta_\pi $ 在剩余域上的满射性，该性质通过 $ p $-进域整数环中的提升论证建立。
• 最终结论是：在所述条件下，$ A = B^G $ 正则，从而为正特征下野生商奇异点的正则性提供了新判别准则。