[论文解读] A simple and constructive proof to a generalization of L\"uroth's theorem

François Ollivier, Brahim Sadik|arXiv (Cornell University)|Jan 25, 2022

Advanced Differential Equations and Dynamical Systems参考文献 1被引用 1

一句话总结

本文给出了广义Lüroth定理的一个简单而构造性的证明：在有理函数域 k(x₁,…,xₙ) 中，任何关于域 k 的超越次数为 1 的子域 K，都是某个 v ∈ k(x) 的单次扩张 k(v)。证明利用了在 x 处消失的多项式环 K[y] 中的素理想 ∆(K) 的结构，表明其为主理想，并通过对称生成元显式构造 v，使用格罗布纳基或特征集方法。

ABSTRACT

A generalization of L{\"u}roth's theorem expresses that every transcendence degree 1 subfield of the rational function field is a simple extension. In this note we show that a classical proof of this theorem also holds to prove this generalization.

研究动机与目标

• 为有理函数域中超越次数为1的子域的广义L"uroth定理提供一个构造性且初等的证明。
• 建立消失理想 ∆(K) 的生成元与子域 K 的有理函数生成元 v 之间的直接代数-几何对应关系。
• 证明此类生成元 v 可通过格罗布纳基或特征集方法进行算法计算。
• 将经典域论结果与有理函数域的算法代数几何统一起来。

提出的方法

• 定义 ∆(K) ⊂ K[y] 为在 k(x) 中 y = x 处消失的多项式环中的素理想，即满足 P(x) = 0 的 P ∈ K[y]。
• 利用 K[y] 是唯一分解整环且 ∆(K) 是其高度为 1 的素理想的事实，证明 ∆(K) 是主理想。
• 构造理想 ˆ∆(K) = k[x]∆(K) ∩ k[x,y] 的对称生成元 ˆG，满足 ˆG(y,x) = −ˆG(x,y) 且 deg_x ˆG = deg_y ˆG。
• 利用 K[y] 中首一生成元 G 的系数，提取一个有理函数 v = f(x)/g(x) ∈ K，满足 gcd(f,g) = 1。
• 证明 v 满足多项式关系 D = f(y) − v g(y) ∈ ∆(K)，且 D 整除 G，从而推出 k(v) = K。
• 应用文献 [3] 中的算法工具，通过在 K[y,u] 中消去，利用理想 J = ⟨P_i(y)−f_i Q_i(y), u ∏ Q_i(y)−1⟩ 计算 ∆(K)。

实验结果

研究问题

• RQ1 能否为 L"uroth 定理在 k(x₁,…,xₙ) 的超越次数为 1 的子域上的推广给出构造性证明？
• RQ2 消失理想 ∆(K) 的生成元与子域 K 的有理函数生成元 v 之间是否存在直接的代数-几何对应关系？
• RQ3 能否从生成 K 的有限个有理函数集合中，算法性地计算出 K 的生成元 v？
• RQ4 在构造 v 时，ˆ∆(K) 的生成元中对称性与反对称性起什么作用？
• RQ5 标准代数工具如格罗布纳基或特征集，如何用于显式计算 v？

主要发现

• 对于任意超越次数为 1 的子域 K ⊂ k(x)，理想 ∆(K) 在 K[y] 中是主理想。
• 可将 ∆(K) 的生成元 G 规范化，使其系数中包含一个非常值有理函数 v = f(x)/g(x) ∈ K。
• 有理函数 v 满足对称多项式关系 f(y) − v g(y) ∈ ∆(K)，且该多项式整除生成元 G。
• 该构造确保 k(v) = K，从而证明 K 是 k 的单次扩张。
• 生成元 v 可通过格罗布纳基或特征集方法，利用消去理想 J ∩ K[y] 算法性地计算。
• 理想 ˆ∆(K) 是根式理想，且等于所有形如 q(x)p(y) − p(x)q(y) 的表达式生成的理想，其中 p/q ∈ K。