[论文解读] The algebraic formalism of soliton equations over arbitrary base fields

A. Álvarez Vázquez, José M. Muñoz Porras+1 more|arXiv (Cornell University)|Jun 10, 1996

Algebraic Geometry and Number Theory参考文献 5被引用 29

一句话总结

本文为任意基域上的孤子方程发展了一套代数形式体系，通过函子方法与概形理论，推广了无穷维格拉斯曼流形与行列式丛。该研究利用局部曲线的抽象几何方法，在任意域（包括正特征与整体域）上构造了 $τ$-函数与贝克函数，将经典结果从复数或 $p$-进域推广至更一般设定。

ABSTRACT

The aim of this paper is to offer an algebraic construction of infinite-dimensional Grassmannians and determinant bundles (and therefore valid for arbitrary base fields). As an application we construct the $τ$-function and formal Baker-Akhiezer functions over arbitrary fields, by proving the existence of a ``formal geometry'' of local curves analogous to the geometry of global algebraic curves. We begin by defining the functor of points, $\fu{\gr}(V,V^+)$, of the Grassmannian of a $k$-vector space $V$ in such a way that its rational points are precisely the points of the Grassmannian defined by Segal-Wilson, although the points over an arbitrary $k$-scheme $S$ have been not previously considered. This definition of the functor $\fu{\gr}(V,V^+)$ allows us to prove that it is representable by a separated $k$-scheme $\gr(V,V^+)$. Using the theory of determinants of Knudsen and Mumford, the determinant bundle is constructed. This is one of the main results of the paper because it implies that we can define ``infinite determinants'' in a completely algebraic way.

研究动机与目标

• 为任意基域（不限于 $\mathbb{C}$ 或 $p$-进域）提供无穷维格拉斯曼流形与行列式丛的纯代数构造。
• 将 $\tau$-函数与贝克-阿基耶泽函数理论推广至任意域，包括正特征与整体数域。
• 建立局部曲线的抽象几何框架，类比于全局代数曲线，支持孤子解的代数构造。
• 用带有幂零系数的形式洛朗级数构造的代数群概形替代分析群作用（如 $\Gamma = C^\infty(S^1, \mathbb{C}^*)$），实现对任意域的推广。
• 通过在 $\mathbb{Z}$-概形与整体域上工作，为算术应用（如德林费尔德模空间与互反律）奠定基础。

提出的方法

• 将格拉斯曼流形 $\operatorname{Gr}(V,V^+)$ 定义为点函子 $\underline{\operatorname{Gr}}(V,V^+)$，将每个 $k$-概形 $S$ 映射至 $V \otimes_k \mathcal{O}_S$ 中与 $V^+ \otimes_k \mathcal{O}_S$ 通约的子模的集合。
• 证明该函子可由一个分离的 $k$-概形 $\operatorname{Gr}(V,V^+)$ 表示，并配备一个普遍子丛 $\mathcal{L}_V \subset \pi^*V$。
• 利用克努登-蒙福德行列式理论，在 $\operatorname{Gr}(V,V^+)$ 上构造行列式丛 $\det(\mathcal{L}_V)$，从而实现无穷行列式的代数定义。
• 将自同构群 $\Gamma$ 定义为函子 $S \mapsto H^0(S, \mathcal{O}_S)((z))^*$，其元素形如 $f = \sum_{i \geq -N} \lambda_i z^i$，其中 $\lambda_{-1}, \dots, \lambda_{-N}$ 在 $\mathcal{O}_S$ 中幂零。
• 通过 $\Gamma$ 在格拉斯曼流形上的作用，利用普遍截面 $\tau_U$，将 $\tau$-函数构造为对偶行列式丛的截面。
• 将贝克函数定义为 $\psi_U = v^{-1} \cdot \beta_U^*(\tau_U)$，其中 $v$ 是 $k((z)) \hat{\otimes} k\{\{x_i\}\}$ 中的普遍可逆元，且 $\beta_U^*$ 将截面从 $\Gamma \times \{U\}$ 拉回到 $\widehat{C} \times \Gamma \times \{U\}$。

实验结果

研究问题

• RQ1 能否将孤子方程中 $\tau$-函数与贝克函数的经典理论推广至任意基域，包括正特征与整体域？
• RQ2 在形式体系中，如何对 $S^1 \to \mathbb{C}^*$ 的连续映射群 $\Gamma$ 实现代数替换，以适用于任意域？
• RQ3 在一般基概形上，格拉斯曼流形及其行列式丛的代数-几何结构为何？其如何支持孤子理论？
• RQ4 形式几何中的局部曲线（如 $\widehat{\operatorname{Spf}} k[[z]]$）能否作为孤子方程背景下全局代数曲线的代数类比？
• RQ5 这些构造如何推广至算术设定（如 $\mathbb{Z}((z))$ 或德林费尔德模空间）？会涌现出何种算术性质？

主要发现

• 格拉斯曼流形 $\operatorname{Gr}(V,V^+)$ 可由一个分离的 $k$-概形表示，配备普遍子丛 $\mathcal{L}_V \subset \pi^*V$，将塞加尔-威尔逊构造推广至任意域。
• 通过克努登-蒙福德理论，行列式丛在 $\operatorname{Gr}(V,V^+)$ 上实现了代数构造，使得任意基域上的无穷行列式得以定义。
• $\tau$-函数被定义为对偶行列式丛的全局截面，其显式表达式为 $\tau_U(g) = \frac{\tau_U(g \cdot \phi_1)}{\tau_U(g)}$，对应于形式群作用。
• 贝克函数 $\psi_U = v^{-1} \cdot \beta_U^*(\tau_U)$ 被构造为 $\widehat{C} \times \Gamma \times \{U\}$ 上可逆层的截面，其中 $v$ 是 $k((z)) \hat{\otimes} k\{\{x_i\}\}$ 中的普遍可逆元。
• 在特征零情形下，通过指数映射，贝克函数恢复经典表达式 $\psi_U(z,t) = \left(\frac{\tau_U(t+[z])}{\tau_U(t)}\right) \exp(-\sum t_i z^{-i})$。
• 该形式体系可推广至 $\mathbb{Z}((z))$，使得 $\operatorname{Gr}(\mathbb{Z}((z)))$ 的有理点上可定义 $\tau$-函数与贝克函数，并具有算术解释。