[论文解读] Quasi-monomial actions and some 4-dimensional rationality problems

Akinari Hoshi, Ming-chang Kang+1 more|arXiv (Cornell University)|Jan 6, 2012

Advanced Algebra and Geometry参考文献 16被引用 4

一句话总结

本文引入了有理函数域上拟幂单群作用的概念，对幂单作用进行了推广，并证明当作用可分解时，固定域 $ k(x_1,x_2,x_3,x_4)^G $ 关于 $ k $ 是有理的。主要贡献在于通过格分解和可收缩有理性技术，建立了四维纯拟幂单作用下的有理性。

ABSTRACT

Let $G$ be a finite group acting on $k(x_1,...,x_n)$, the rational function field of $n$ variables over a field $k$. The action is called a purely monomial action if $σ...x_j=\prod_{1\le i\le n} x_i^{a_{ij}}$ for all $σ\in G$, for $1\le j\le n$ where $(a_{ij})_{1\le i,j\le n} \in GL_n(\bm{Z})$. The main question is that, under what situations, the fixed field $k(x_1,...,x_n)^G$ is rational (= purely transcendental) over $k$. This rationality problem has been studied by Hajja, Kang, Hoshi, Rikuna when $n\le 3$. In this paper we will prove that $k(x_1,x_2,x_3,x_4)^G$ is rational over $k$ provided that the purely monomial action is decomposable. To prove this result, we introduce a new notion, the quasi-monomial action, which is a generalization of previous notions of multiplicative group actions. Moreover, we determine the rationality problem of purely quasi-monomial actions of $K(x, y)^G$ over $k$ where $k= K^G$.

研究动机与目标

• 将有理函数域上的幂单群作用推广到更广泛的拟幂单作用类别。
• 研究四维纯拟幂单作用下的有理性问题，特别是当作用可分解时。
• 确定在 $ k = K^G $ 的条件下，固定域 $ K(x_1,x_2,x_3,x_4)^G $ 关于 $ k $ 为有理的条件。
• 通过格分解技术，将二维和三维代数环面有理性的已知结果推广至四维。

提出的方法

• 引入拟幂单作用的概念，其中群元素通过有限伽罗瓦扩张 $ K $ 中系数的扭曲幂单作用。
• 将纯拟幂单作用定义为一种特殊情况，其中系数 $ c_j(\sigma) = 1 $，当 $ k = K $ 时退化为幂单作用。
• 利用代数环面与 $ \mathbb{Z}[G] $-格之间的反等价关系，将有理性问题转化为格论问题。
• 通过 $ G $-格 $ M = M_1 \oplus M_2 $ 的分解，分析固定域 $ K(M)^G $ 作为 $ K(M_1)^G $ 与 $ K(M_2)^G $ 的自由复合。
• 利用 Saltman 的拟平凡化解析理论与可收缩有理性技术，确定 $ K(M)^G $ 关于 $ k $ 为有理的条件，特别是在 $ \text{rank}_{\mathbb{Z}} M_i \leq 3 $ 时。
• 利用 Yamasaki 的结果表明，某些固定域不是可收缩有理的，从而在例外情况下确立非有理性。

实验结果

研究问题

• RQ1 当群 $ G $ 通过拟幂单 $ k $-自同态作用时，固定域 $ K(x_1,x_2,x_3,x_4)^G $ 在什么条件下关于 $ k $ 是有理的？
• RQ2 当作用为可分解的拟幂单作用时，固定域 $ K(x_1,x_2,x_3,x_4)^G $ 何时关于 $ k $ 是有理的？
• RQ3 当 $ M = M_1 \oplus M_2 $ 时，$ K(M)^G $ 的有理性能否归约为其分量 $ K(M_1)^G $ 与 $ K(M_2)^G $ 的有理性？
• RQ4 是否存在 $ K(M)^G $ 不是可收缩有理的，即使 $ K(M_1)^G $ 与 $ K(M_2)^G $ 均为有理的情况？
• RQ5 $ G $-格 $ M $ 的结构，特别是其分解，如何影响固定域的有理性？

主要发现

• 若纯拟幂单作用可分解，则固定域 $ k(x_1,x_2,x_3,x_4)^G $ 关于 $ k $ 是有理的。
• 对于满足 $ G \simeq \text{Gal}(K/k) $ 的有限群 $ G $，$ K(M)^G $ 是可收缩 $ k $-有理的，当且仅当 $ K(M_1)^G $ 与 $ K(M_2)^G $ 均为可收缩 $ k $-有理的。
• 若 $ K(M_1)^G $ 与 $ K(M_2)^G $ 均为 $ k $-有理的，则当 $ M = M_1 \oplus M_2 $ 作为 $ \mathbb{Z}[G] $-模时，$ K(M)^G $ 也是 $ k $-有理的。
• 当 $ \text{rank}_{\mathbb{Z}} M_i \leq 3 $ 时，$ K(M)^G $ 是 $ k $-有理的，当且仅当 $ K(M_1)^G $ 与 $ K(M_2)^G $ 均为 $ k $-有理的。
• 固定域 $ k(x_1,x_2,x_3,x_4)^{\langle \tau \rangle} $ 不是关于 $ k(x_4) $ 的可收缩有理域，因此也不是可收缩 $ k $-有理域，此结论通过 Yamasaki 的引理得到证明。
• 固定域 $ K(M)^G $ 的有理性等价于其拟平凡类 $ [M]^{fl} $ 的可逆性，且 $ [M_1 \oplus M_2]^{fl} = [M_1]^{fl} \oplus [M_2]^{fl} $，从而支持基于分解的分析。