[論文レビュー] Noether's problem for p_groups with a cyclic subgroup of index p^2

Ming-chang Kang|arXiv (Cornell University)|Nov 6, 2009

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

ひとこと要約

この論文は、基数体 $K$ が原始 $p^{n-2}$ 乗根を含む、または特徴が $p$ である場合、非アーベル $p$-群で位数 $p^n$（$n \geq 3$）かつ指数 $p^2$ の巡回部分群をもつものについて、ネーターの問題が正の有理型解をもつことを証明している。この結果は、より小さい巡回部分群をもつ $p$-群に関する先行研究を一般化し、群論的分類と対称有理関数および根の単位の不変量を用いた不変体の構成によって有理型を確立する。

ABSTRACT

Let $K$ be any field and $G$ be a finite group. Let $G$ act on the rational function field $K(x_g:g\in G)$ by $K$-automorphisms defined by $g\cdot x_h=x_{gh}$ for any $g,h\in G$. Noether's problem asks whether the fixed field $K(G)=K(x_g:g\in G)^G$ is rational (=purely transcendental) over $K$. We will prove that if $G$ is a non-abelian $p$-group of order $p^n$ ($n\ge 3$) containing a cyclic subgroup of index $p^2$ and $K$ is any field containing a primitive $p^{n-2}$-th root of unity, then $K(G)$ is rational over $K$. As a corollary, if $G$ is a non-abelian $p$-group of order $p^3$ and $K$ is a field containing a primitive $p$-th root of unity, then $K(G)$ is rational.

研究の動機と目的

• 指数 $p^2$ の巡回部分群をもつ非アーベル $p$-群について、より小さい指数の部分群をもつ場合に既知の結果を拡張してネーターの問題を解くこと。
• 基数体 $K$ に十分な数の根の単位を含む場合に、固定体 $K(G)$ が $K$ 上で有理型である条件を確立すること。
• 位数 $p^3$ および $p^4$ の $p$-群についての先行結果を統一的に扱い、より広い群のクラスにわたる有理型証明を一般化すること。
• 指数 $p^2$ の巡回部分群をもつ $p$-群の体系的分類と、群の構造および有理関数体への群作用を活用した、ケースバイケースの分析を行うこと。

提案手法

• 新美の分類を用いて、位数 $p^n$（$n \geq 3$）の非アーベル $p$-群で指数 $p^2$ の巡回部分群をもつものをすべて分類する。
• 不変体理論における有理型基準を適用し、特に $G$ が有理関数体 $K(x_g : g \in G)$ に $g \cdot x_h = x_{gh}$ のように作用する場合に注目する。
• 問題をより小さな有理部分体に還元するために、補助不変量 $u_i = x_{2i}/x_{2i-2}$ および $v_i = (1 - u_i)/(1 + u_i)$ を構成する。
• 有限群作用の固定体に関する定理（例：定理 2.2, 2.3, 2.5）を用いて、基数体 $K$ に原始 $p^{n-2}$ 乗根が含まれる場合に、固定体 $K(G)$ が $K$ 上で有理型であることを示す。
• 分類に含まれる 18 個の群について、対称性および変換不変性を用いて、すべてのケースを三つの典型的なタイプに還元するケースバイケースの分析を行う。
• 生成子 $\sigma$, $\tau$, および $\lambda$ の作用を活用して、不変量の変換を分析し、逐次的な体拡張および対称関数の簡約によって有理型を証明する。

実験結果

リサーチクエスチョン

• RQ1 位数 $p^n$（$n \geq 3$）の非アーベル $p$-群で、指数 $p^2$ の巡回部分群をもつものについて、ネーターの問題が正の解をもつか。
• RQ2 特に根の単位に関する条件を含め、体論的条件下で固定体 $K(G)$ が $K$ 上で有理型であるのはどのような場合か。
• RQ3 不変体理論的手法を用いて、このようなすべての $p$-群にわたって $K(G)$ の有理型を一様に確立できるか。
• RQ4 指数 $p^2$ の巡回部分群の存在が、固定体 $K(G)$ の構造とその有理型にどのように影響するか。
• RQ5 指数 $p$ の巡回部分群をもつ群に対して用いられた証明戦略を、指数 $p^2$ の場合に拡張できるか。

主な発見

• 基数体 $K$ に原始 $p^{n-2}$ 乗根が含まれる限り、位数 $p^n$（$n \geq 3$）の非アーベル $p$-群 $G$ で指数 $p^2$ の巡回部分群をもつものについて、固定体 $K(G)$ は $K$ 上で有理型である。
• この結果は、指数 $p$ の巡回部分群をもつ群にのみ適用可能だった定理 1.7 を、より広いクラスの指数 $p^2$ の群に一般化する。
• 位数 $p^3$ の $p$-群に対しては、この結果により、$K$ に原始 $p$ 乗根が含まれる限り $K(G)$ が $K$ 上で有理型であることが示される。
• この証明は、18 個の同型型の群についてのケースバイケースの分析に依拠しており、すべてのケースが群作用のもとで三つの典型的な変換パターンに還元可能である。
• 定理 2.2, 2.3, 2.5 を用いて、対称有理関数の固定体の有理型が確認され、$K(G)$ の有理型がその帰結として得られる。
• 不変量 $u_i$ および $v_i$ の構成により、群作用を扱いやすい形に還元でき、既知の有理型基準の適用が可能になる。