[论文解读] Le probl\\`eme inverse de Galois sur les corps des fractions tordus \\`a ind\\'etermin\\'ee centrale

Bruno Deschamps, François Legrand|arXiv (Cornell University)|Mar 26, 2019

Algebraic Geometry and Number Theory参考文献 21被引用 13

一句话总结

本文建立了有限维中心斜域 $H$ 上的反伽罗瓦问题与中心 $k$ 上涉及 $H/k$ 的范数型的受限变体之间的等价性。关键结果表明，若 $k$ 包含一个充裕域，则每个有限群均可作为扭曲有理函数域 $H(t)$ 上的伽罗瓦群出现，从而通过基域上的多项式约束，在非交换设定下解决了反伽罗瓦问题。

ABSTRACT

In this article, we show that the Inverse Galois Problem over a skew field $H$ of finite dimension over its center $k$ is equivalent to a variant of the Inverse Galois Problem over $k$ involving a polynomial constraint. As an application, we show that if $k$ contains an ample field, then the Inverse Galois Problem has a positive answer over the skew field $H(t)$ of rational fractions with central indeterminate.

研究动机与目标

• 建立有限维中心斜域 $H$ 上的反伽罗瓦问题与其中心 $k$ 上受限变体之间的精确等价性。
• 将反伽罗瓦问题推广至非交换设定，特别是具有中心不定元的扭曲有理函数域 $H(t)$。
• 证明若 $k$ 中存在一个充裕域，则 $H(t)$ 上的反伽罗瓦问题有正解。
• 阐明范数型在控制 $H/k$ 与伽罗瓦扩张 $L/k$ 之间线性不相交性方面的作用，从而实现在非交换域上的伽罗瓦实现。
• 将经典伽罗瓦理论技术推广至斜域与扭曲有理函数域，其中标准代数闭包概念不适用。

提出的方法

• 定义与 $H/k$ 的约化范数相关的范数型 $\mathcal{F} = P_H$，该范数型编码了 $H/k$ 与伽罗瓦扩张 $L/k$ 之间的线性不相交条件。
• 证明 $H/k$ 与 $L/k$ 线性不相交当且仅当 $\mathcal{F}$ 在 $L$ 中无非平凡零点，从而将 $H$ 上的伽罗瓦实现与 $\mathcal{F}$ 在 $L$ 上的消失联系起来。
• 通过有限维中心单代数结构的对偶性论证，建立等价关系 $\text{PIG}_{\mathcal{F}\text{C}}^k \Longleftrightarrow \text{PIG}_H$。
• 利用存在 $n+1$ 个次数为 $G^{n+1}$ 的线性不相交伽罗瓦扩张，确保至少一个扩张与 $H$ 不相交，借助中间域的数量。
• 通过奥尔（Ore）构造，将扭曲有理函数域 $H(t)$ 构造为具有中心不定元的扭曲多项式环 $H[t]$ 的分式域。
• 应用等价性结果，证明若 $k$ 包含一个充裕域，则由于存在合适的 $L/k$ 使得 $\mathcal{F}$ 的零点平凡，$\text{PIG}_{H(t)}$ 有正解。

实验结果

研究问题

• RQ1 有限维中心斜域 $H$ 上的反伽罗瓦问题是否与涉及 $H/k$ 范数型的中心 $k$ 上受限反伽罗瓦问题等价？
• RQ2 当 $k$ 包含一个充裕域时，能否在扭曲有理函数域 $H(t)$ 上解决反伽罗瓦问题？
• RQ3 范数型 $P_H$ 在确保 $H/k$ 与伽罗瓦扩张 $L/k$ 之间线性不相交性方面起什么作用？
• RQ4 为何一般情况下 $\text{PIG}_H \Rightarrow \text{PIG}_{\mathcal{F}\text{C}}^k$ 不成立，但在非交换设定下却成立？
• RQ5 经典伽罗瓦理论如何适应非交换域，特别是在扭曲有理函数域的背景下？

主要发现

• 有限维中心斜域 $H$ 上的反伽罗瓦问题与中心 $k$ 上涉及 $H/k$ 范数型 $P_H$ 的受限反伽罗瓦问题等价，建立了两者之间的精确代数桥梁。
• 由于线性不相交性与范数型在扩张域上消失之间的相互作用，等价关系 $\text{PIG}_{\mathcal{F}\text{C}}^k \Longleftrightarrow \text{PIG}_H$ 成立。
• 若 $k$ 包含一个充裕域，则每个有限群均可作为 $H(t)$ 上的伽罗瓦群出现，其中 $H(t)$ 是具有中心不定元的扭曲有理函数域，从而在该非交换设定下提供了反伽罗瓦问题的正解。
• 将 $H(t)$ 构造为具有中心 $t$ 的扭曲多项式环 $H[t]$ 的分式域，确保所有元素形式为 $p(t)q(t)^{-1}$，从而保持非交换结构。
• 证明依赖于存在足够多线性不相交的 $k$ 的伽罗瓦扩张，以确保至少一个与 $H$ 不相交，借助 $H/k$ 中间域的数量。
• 结果表明，当基域 $k$ 具有强模型论性质（如充裕性）时，非交换设定下的反伽罗瓦问题更具可解性。