[論文レビュー] Regularity of quotients by an automorphism of order $p$

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

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

ひとこと要約

本論文は、正則局域環 $ B $ と、$ B $ に作用する位数 $ p $ の巡回群 $ G $ に対して、$ A = B^G $ の正則性の十分条件を確立する。ここで $ p $ は $ B $ の残渣特徴を表す。主な結果は、$ \mathfrak{m} \setminus \mathfrak{m}^2 $ に属する正則パラメータ $ \pi $ が存在し、$ 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 $ の巡回群であり、$ B $ の残渣特徴と等しい $ p $ である場合に、不変式環 $ A = B^G $ が正則である条件を特定すること。これは古典的・穏やかな商特異点理論ではカバーされないケースである。
• 群の位数が残渣体に可逆でない場合のワイルドケースにおいて、$ X/G $ の商スキームの正則性を保証する基準を提供すること。これは、既知の穏やかなケースの結果を拡張する。
• 既存のワイルド商特異点の組合せ的解析を補完するために、次元 2 以上に対しても適用可能な、コホモロジー的およびイデアル論的基準を提示すること。
• 正則局所環のワイルド $ p $-群作用による商が正則であるための十分条件を、極大イデアルおよびその冪への作用の性質を用いて確立すること。

提案手法

• この手法は、$ B $ における群作用の非自明性を測る $ G $-不変イデアル $ \mathcal{I}_\sigma = \langle \sigma(x) - x \mid x \in B \rangle_B $ の分析に集約される。
• 正則パラメータ $ \pi \in \mathfrak{m} \setminus \mathfrak{m}^2 $ が存在し、$ \mathcal{I}_\sigma = (\pi^\delta) $ であると仮定することで、イデアル構造と群作用の位数および固定点の関係を結びつける。
• $ u \in B^\times $ を用いて $ \lambda = u\pi $ と表される $ G $-不変元を、べき級数環における帰納的昇降法を用いて構成し、$ \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 $-進体の整数環におけるある種の持ち上げの存在に由来し、これに Corollary 2.2 を適用して必要な方程式を解く。

実験結果

リサーチクエスチョン

• RQ1 $ G $ が位数 $ p $ の巡回群であり、$ B $ の残渣特徴と等しい $ p $ であるとき、不変式環 $ A = B^G $ が正則であるための条件は何か？
• RQ2 群の位数が残渣体に可逆でない場合のワイルドケースにおいて、$ X/G $ の商スキームの正則性を保証する十分条件は与えられるか？
• RQ3 $ G $-不変イデアル $ \mathcal{I}_\sigma $ の構造は、特に $ \mathcal{I}_\sigma $ が正則パラメータのべきである場合に、$ A = B^G $ の正則性とどのように関係するか？
• RQ4 $ \sigma $ が正則パラメータ $ \pi $ に作用する様子は、$ A $ が正則であるかどうかを決定づける上で果たす役割は何か？特に $ \sigma(\pi) - \pi \in (\pi^{\delta+1}) $ である場合に。
• 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 $ の正則性が保証される。
• $ u \in B^\times $ を用いて $ \lambda = u\pi $ と表される $ G $-不変元の存在により、残渣体への還元が可能となり、$ \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 $ が正則であることが示され、正標数におけるワイルド商特異点が正則であるための新たな基準が得られた。