差分伽罗瓦逆问题获肯定回答：循环分量群线性代数群都能成为移位方程的皮卡–韦西奥群
核心概要
对移位算子 σ(x)=x+1 下的有理函数域 C(x)，此前已知皮卡–韦西奥群 G 的 G/G° 必为循环，但反过来哪些群能实现一直未定。现在证明每个 G/G° 为循环的闭子群 G⊆GLn(C) 都能实现，且系数矩阵可在无穷远处写成 A(x)=h+O(x⁻²)，h 半单，从而正面回答 van der Put 与 Singer 专著中的猜想。
深度剖析
移位方程 σY=A(x)Y 能实现的伽罗瓦群范围被补全：只要线性代数群 G 的连通分支商 G/G° 是循环群，G 就能作为某个这样的系统的皮卡–韦西奥群出现。 此前 van der Put 与 Singer 已证明皮卡–韦西奥群必然满足 G/G° 循环，并把逆命题列为猜想；而已知的正向实现只覆盖连通群、环面的循环扩张等若干类群。 证明给出显式构造：取 G° 的有限个生成点做插值得到有理曲线 B(z)，令 A(x)=hB(x/t)，其中 h 是半单元且其像生成 G/G°，再验证系数群 TA 等于 G。
构造的关键是让系数矩阵在无穷远处没有 x⁻¹ 项，并让有限奇点集满足一个算术条件，从而排除把系统用有理换元约化到真子群。 若缺少这些条件，反例显示结论会失效：系数矩阵取上三角幂零极限时，皮卡–韦西奥群平凡而系数群为加法群；只计 A 的极点而不计 A⁻¹ 的极点也会给出错误的奇点集。 在 A(x)=h+O(x⁻²)、h 半单且 1 不在奇点集的有理线性张成中的条件下，任何表示下的有理差分不变直线都必须是常直线的标量扩张，这一刚性结论与系数群判据合用即得伽罗瓦群为 G。
启示与展望
结论针对特征零代数闭域 C 上的 C(x) 与移位 σ(x)=x+1，实现的是 G/G° 为循环的闭子群 G⊆GLn(C)；q-移位 σq(f(x))=f(qx) 的类似逆问题不在讨论范围内。
证明依赖若干附加条件：无穷远处一阶项消失、极限 h 半单、奇点集满足 1 不在其有理张成中；文中反例表明去掉半单性或奇点条件后结论不再成立。