[论文解读] Arithmetic differential equations on $GL_n$, II: arithmetic Lie theory

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

Algebraic Geometry and Number Theory参考文献 8被引用 4

一句话总结

本文通过在 $GL_n$ 的 $p$-进完备化上构造与外自同构和内自同构相容的弗罗贝尼乌斯提升，引入了李理论的算术类比，包括算术陈联络和莫泽-卡特兰联络。克里斯托费尔符号涉及一个矩阵形式的勒让德符号，该理论产生唯一的算术同谱流和初等积分，为线性算术微分方程建立了框架。

ABSTRACT

Motivated by the search of a concept of linearity in the theory of arithmetic differential equations we introduce here an arithmetic analogue of Lie algebras and a concept of skew arithmetic differential cocycles. We will then construct such skew cocycles, based on certain remarkable lifts of Frobenius for the classical groups $GL_n, SL_n, SO_n, Sp_{n}$. The theory for $GL_n$, especially on the Galois side, will be further developed in a sequel to this paper.

研究动机与目标

• 为 $GL_n$ 在算术微分方程语境下发展李理论的算术类比。
• 在 $GL_n$ 的 $p$-进完备化上构造与外对合（例如对称/反对称矩阵）相容的弗罗贝尼乌斯提升，类比微分几何中的陈联络。
• 将算术莫泽-卡特兰联络定义为与这些提升相关的线性流。
• 研究弗罗贝尼乌斯提升与内自同构及共轭类的相容性，导出算术同谱流。
• 建立算术设定下初等积分与对称性的存在性与唯一性，为后续伽罗瓦理论发展奠定基础。

提出的方法

• 在具有剩余域 $\overline{\mathbb{F}}_p$ 的完备离散赋值环 $R$ 上引入 $p$-导子 $\delta$，以替代微分几何中的经典导子。
• 通过 $x, \delta x, \dots, \delta^n x$ 的受限幂级数定义 $\delta$-映射的 $n$ 阶形式，从而构建算术微分方程。
• 在 $GL_n$ 的 $p$-进完备化上构造与 $\mathcal{P}$-水平性、$T$-作用和 $W$-作用（环面与韦尔群）相容的弗罗贝尼乌斯提升 $\phi_{G^{**}}$。
• 利用矩阵形式的勒让德符号推导算术陈联络的克里斯托费尔符号，嵌入于行列式条件 $\det(s^p \cdot 1_n - x^{(p)}\Lambda(x)) \equiv V(x,s^p) \mod p^{\nu+1}$ 中。
• 通过克兰姆法则与 $p$-进提升递归构造对角矩阵 $\Lambda_\nu(x)$，确保与群作用及 $\delta$-上闭链条件相容。
• 证明算术微分方程 $\delta u = \Delta^{**\alpha}(u)$ 与 $\delta$-莫泽-卡特兰形式 $l\delta u = -_{\delta}(u \star_\delta \alpha(u)) + _{\delta}\alpha(u)$ 等价，从而与李代数结构建立联系。

实验结果

研究问题

• RQ1 如何在算术微分方程的语境下定义李代数与联络的算术类比？
• RQ2 在 $\widehat{GL_n}$ 上，弗罗贝尼乌斯提升与外对合（如定义 $SL_n$、$SO_n$、$Sp_n$）相容的充要条件是什么？
• RQ3 能否在矩阵空间上构造算术同谱流的类比？其唯一性如何？
• RQ4 初等积分在这些联络所引出的算术微分方程中起什么作用？
• RQ5 算术莫泽-卡特兰联络如何与 $\delta$-对数导子及 $\delta$-上闭链结构相关联？

主要发现

• 通过递归的 $p$-进构造对角矩阵 $\Lambda_\nu(x)$，确立了与外对合（如对称/反对称矩阵）相容的弗罗贝尼乌斯提升的存在性与唯一性。
• 算术陈联络的克里斯托费尔符号被证明涉及一个矩阵形式的勒让德符号，该符号源自行列式条件 $\det(s^p \cdot 1_n - x^{(p)}\Lambda(x)) \equiv V(x,s^p) \mod p^{\nu+1}$。
• 系统 $\delta u = \Delta^{**\alpha}(u)$ 与 $\delta$-莫泽-卡特兰方程 $l\delta u = -_{\delta}(u \star_\delta \alpha(u)) + _{\delta}\alpha(u)$ 等价，为算术微分方程提供了李理论解释。
• 初等积分 $\mathcal{P}_i$ 满足 $\delta(\mathcal{P}_i(u)) = 0$，对 $\delta u = \Delta^{**\alpha}(u)$ 的解 $u$ 成立，表明其在算术设定中为守恒量。
• 算术同谱流被构造为共轭类上的唯一 $\delta$-流，与内自同构及 $W$-对称性相容。
• 该构造确保 $\phi_{G^{**}}$ 是 $T$-形变且与 $\mathcal{C}$ 相容，$\Lambda(x)$ 为对角矩阵，并满足 $d \star \Lambda(x) = \Lambda(x)$ 与 $w \star \Lambda(x) = w\Lambda(x)w^{-1}$，其中 $d \in T$，$w \in W$。