[论文解读] On the Grothendieck conjecture on p-curvatures for q-difference equations

Lucia Di Vizio, Charlotte Hardouin|arXiv (Cornell University)|May 8, 2012

Algebraic Geometry and Number Theory参考文献 24被引用 6

一句话总结

本文建立了 Grothendieck 关于 q-差分方程在有理函数域上的 p-曲率猜想的 q-类比，证明了：一个定义在 K(x) 上的 q-差分模具有完整的代数解集，当且仅当其在单位根处的约化在相应剩余域上也具有完整的解集。关键贡献是通过曲率对通用伽罗瓦群进行了阿代尔型刻画，将 Grothendieck-Katz 猜想推广至 Q 的有限生成扩张上的 q-差分设置。

ABSTRACT

In the present paper, we give a q-analogue of the Grothendieck conjecture on p-curvatures for q-difference equations defined over the field of rational function K(x), where K is a finite extension of a field of rational functions k(q), with k perfect. Then we consider the generic (also called intrinsic) Galois group in the sense of N. Katz. The result in the first part of the paper lead to a description of the generic Galois group through the properties of the functional equations obtained specializing q on roots of unity. Although no general Galois correspondence holds in this setting, in the case of positive characteristic, where nonreduced groups appear, we can prove some devissage of the generic Galois group. In the last part of the paper, we give a complete answer to the analogue of Grothendieck conjecture on $p$-curvatures for q-difference equations defined over the field of rational function K(x), where K is any finitely generated extension of \mathbb Q and q eq 0,1: we prove that the generic Galois group of a q-difference module over K(x) always admits an adelic description in the spirit of the Grothendieck-Katz conjecture. To this purpose, if q is an algebraic number, we prove a generalization of the results by L. Di Vizio, 2002.

研究动机与目标

• 将 Grothendieck-Katz 的 p-曲率猜想推广至 q-差分方程的设定。
• 以曲率来刻画 K(x) 上 q-差分模的通用伽罗瓦群。
• 证明通用伽罗瓦群在 Q 的有限生成扩张上具有类似 Grothendieck-Katz 猜想的阿代尔型描述。
• 将 [DV02] 中的先前结果推广至 K 为 Q 的有限生成扩张（而非数域）的情形。
• 基于非空余有限集的曲率消失，建立 C(x) 上 q-差分模平凡性的判别准则。

提出的方法

• 作者定义了 K(x) 上的 q-差分模，其中 K 是 k(q) 的有限扩张，且 k 为完美域，并研究其正则性与幂零性性质。
• 他们将 q 代入单位根，分析在 k(ζℓ)(x) 上得到的方程，建立通用情形与特殊化情形下解集之间的联系。
• 利用 [Kat82] 和 [DV02] 意义下的通用伽罗瓦群理论，将伽罗瓦群的结构与模素理想约化下的曲率行为联系起来。
• 他们构造了一个 σq-稳定代数 A ⊂ K(x)，并引入相应的格，以研究在 v 跑过集合 C 的余有限子集时的模 φv 约化。
• 他们证明：通用伽罗瓦群是 GL(MK(x)) 中包含几乎所有 v ∈ C 的 v-曲率模 φv 的最小代数子群。
• 他们使用诺特性论证与基变换，将 K(x) 上的结果推广至 C(x)，确保 C(x) 上的伽罗瓦群是 K(x) 上群的基变换。

实验结果

研究问题

• RQ1 K(x) 上的 q-差分方程是否具有完整的代数解集，当且仅当其在单位根处的约化在对应剩余域上也具有完整的解集？
• RQ2 K(x) 上 q-差分模的通用伽罗瓦群能否以类似于微分方程中 Grothendieck-Katz 猜想的方式，通过其曲率来刻画？
• RQ3 对于 Q 的有限生成扩张上的 q-差分模，是否存在一个通用伽罗瓦群的阿代尔型描述，即使在缺乏通用算法的情况下？
• RQ4 从 K(x) 到 C(x) 的基变换下，伽罗瓦群如何变化？其是否能通过特殊化情形下的曲率恢复？
• RQ5 v-曲率模 φv 在重构 q-差分模的通用伽罗瓦群中起什么作用？

主要发现

• 本文证明：K(x) 上的 q-差分方程具有 K(x) 中的完整解集，当且仅当对几乎所有 ℓ 及所有本原 ℓ 次单位根 ζℓ，当 q = ζℓ 时的特殊化方程在 k(ζℓ)(x) 中具有完整的解集。
• K(x) 上 q-差分模的通用伽罗瓦群是 GL(MK(x)) 中包含在集合 C 的非空余有限子集中所有 v 的 v-曲率模 φv 的最小代数子群。
• 对于 C(x) 上的 q-差分模，其通用伽罗瓦群是 GL(MC(x)) 中包含其在 K(x) 上对应模的非空余有限集曲率的最小代数子群。
• C(x) 上 q-差分模的平凡性等价于其基变换至 K(x) 后的非空余有限集曲率的消失。
• 若 K 足够大以定义该模，则 C(x) 上的通用伽罗瓦群同构于 K(x) 上通用伽罗瓦群的基变换。
• 结果将 [DV02] 从数域推广至 Q 的有限生成扩张，并通过基于曲率的刻画，将 Grothendieck-Katz 猜想推广至 q-差分设置。