[论文解读] Arithmetic differential equations on $GL_n$, I: differential cocycles

Alexandru Buium, Taylor Dupuy|arXiv (Cornell University)|Aug 3, 2013

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

一句话总结

本文证明了在算术设定中，$GL_n$ 上的经典算术微分上循环——即微分代数中对数导数的类比——并不存在，其中导数被弗马特定量取代。关键结果表明，不存在同时满足 $δ$-一致性和正则性的此类上循环，从而导致必须引入斜算术上循环及新的李代数结构，以定义线性算术微分方程。

ABSTRACT

The theory of differential equations has an arithmetic analogue in which derivatives are replaced by Fermat quotients. One can then ask what is the arithmetic analogue of a linear differential equation. The study of usual linear differential equations is the same as the study of the differential cocycle from $GL_n$ into its Lie algebra given by the logarithmic derivative. However we prove here that there are no such cocycles in the context of arithmetic differential equations. In sequels of this paper we will remedy the situation by introducing arithmetic analogues of Lie algebras and a skew version of differential cocycles; this will lead to a theory of linear arithmetic differential equations.

研究动机与目标

• 确定在算术设定中，当导数被弗马特定量取代时，$GL_n$ 上是否存在经典 $δ$-上循环。
• 研究通过对数导数构造法定义线性算术微分方程的障碍。
• 通过识别标准上循环结构的失效，为线性算术微分方程理论奠定基础。
• 证明在 $GL_n$ 上不存在既正则又 $δ$-一致的经典上循环，从而 necessitate 新的代数结构。
• 为后续论文引入斜 $δ$-上循环及李代数的算术类比铺平道路。

提出的方法

• 采用 $δ$-算术设定，使用一个完备离散赋值环 $R$，其剩余域为 $\mathbb{F}_p^a$，并定义 $p$-导子 $\delta$ 为 $\delta x = (\phi(x) - x^p)/p$。
• 定义经典 $δ$-上循环 $f: GL_n(R) \to \mathfrak{gl}_n(R)$，满足在伴随作用下满足上循环条件 $f(g_1g_2) = f(g_1) + g_1 \star f(g_2)$。
• 利用包含在 $GL_n$ 中的博雷尔子群 $H$（即下三角块为 1 的上三角矩阵）的结构，分析 $f$ 在 $H$ 上的限制。
• 通过布吕特分解应用上循环条件与有理截面论证，将正则性从 $H$ 扩展至整个 $GL_n$。
• 引入 $δ$-一致性的概念，施加更强的正则性条件，要求 $f$ 在 $δ$-映射下保持李代数结构。
• 通过表示论论证，结合 $GL_n(R^\delta)$ 的共轭作用与维数计数，证明非数量矩阵会导致在 $δ$-一致性下产生矛盾。

实验结果

研究问题

• RQ1 在算术微分设定中，$GL_n$ 上是否存在经典 $δ$-上循环？
• RQ2 微分代数中通过对数导数构造法能否推广至算术微分方程？
• RQ3 通过标准上循环结构定义线性算术微分方程的障碍是什么？
• RQ4 为何经典 $δ$-上循环无法同时满足 $δ$-一致性和正则性？
• RQ5 为建立一致的线性算术微分方程理论，需要何种新的代数结构？

主要发现

• 在算术设定中，不存在同时满足正则性与 $δ$-一致性的经典 $δ$-上循环 $f: GL_n \to \mathfrak{gl}_n$。
• 任何此类上循环在博雷尔子群 $H$ 上的限制是正则的，但除非满足额外约束，否则这种正则性无法全局扩展。
• $δ$-一致性条件迫使上循环分解为 $f(g) = f^v(g) + \epsilon \cdot \delta g \cdot g^{-1}$ 的形式，其中 $\epsilon$ 为标量，$v$ 为矩阵，但此形式仅在 $v$ 为标量时成立，否则导致矛盾。
• 非标量矩阵 $v$ 会在 $GL_n(R^\delta)$ 的共轭作用下导致 $uvu^{-1}$ 出现非对角元素，从而违反 $δ$-一致性条件。
• $f^v$ 在共轭作用下无法保持李代数结构，除非 $v$ 为标量，这意味着只有对数导数的标量倍数能存活。
• 该结果表明经典上循环不足以支撑线性算术微分方程理论，因此后续工作中必须引入斜上循环与新的算术李代数。