Fixed-Lowering $\mathfrak{sl}_2$-Triples for Laurent-Shift Operators: Exact Stencil Endpoints and Recurrence Locality

技术摘要：固定降低算符的固定降低型 $sl_2$-三元组

问题陈述
本文研究了在有限劳伦特移位代数 $A = K[x]\langle S, S^{-1} \rangle / (Sx - (x+1)S)$（其中 $K$ 为零特征域）中的一个刚性逆问题。核心问题是分类所有满足特定条件的 $sl_2$-三元组 $(E, H, F)$，其中降低算符 $F$ 被固定为特定的算符 $F = 1 - S$（此处 $S$ 为单位前向移位算符，$Sf(x) = f(x+1)$），而非仅仅在共轭或自同构意义下固定。

以往对 Weyl 代数或包络代数中 $sl_2$ 实现的分类通常依赖于能够简化结构但会掩盖算符具体“模板”（即 $S$ 的具体幂次）的自同构。本研究通过保留 $F$ 的具体移位模板（stencil），并确定由此产生的 $E$ 和 $H$ 的精确格点端点与递推性质，从而使自身区别于前人工作。

方法论与框架
作者利用生成元 $D = S - 1$（前向差分算符）和 $X = xS^{-1}$，它们满足规范交换关系 $[D, X] = 1$。代数 $A$ 被识别为 Ore 扩张 $R[X; -\partial_D]$，其中 $R = K[S, S^{-1}]$。

核心方法论包括：

1. 标准型导出：证明任何以 $F = -D$ 为固定降低算符的 $sl_2$-三元组都源自于通过唯一的“劳伦特剪切”（Laurent shear）$X \mapsto X + g(D)$ 作用于标准三元组，其中 $g \in R$。
2. 显式重构：开发一种内在算法，直接从算符 $H$ 中恢复剪切参数 $g$ 和 Cartan 特征值 $\lambda$。
3. 支撑集分析：分析 $H$ 和 $E$ 的“模板”（即非零 $S$ 幂次的集合）与“递推带宽”（即特征多项式次数递推关系的项数）之间的关系。
4. 生成函数：利用算符 $U_g = \exp(G(D))$（其中 $G' = g$）来构造单项特征多项式及其指数生成函数。

主要贡献与结果

1. 分类与标准型 (定理 2.4)
每个以 $F = 1-S$ 为降低算符的 $sl_2$-三元组由标量 $\lambda \in K$ 和劳伦特多项式 $g \in K[S, S^{-1}]$ 唯一确定。这些算符的形式为：
$$H = 2(X + g)D - \lambda$$
$$E = (X + g)^2 D - \lambda(X + g)$$
该分类是刚性的；它并未对自同构进行商运算，这意味着 $g$ 的具体劳伦特支撑集是该三元组的一个不变量。

2. 精确模板端点 (定理 3.1)
本文根据 $g(S) = \sum c_j S^j$ 的支撑集（其最低指数为 $p$，最高指数为 $q$）建立了 $H$ 和 $E$ 的最低幂次 $\nu_-$ 和最高幂次 $\nu_+$ 的精确公式：

• $\nu_-(H) = \min\{-1, p\}$
• $\nu_+(H) = \max\{0, q+1\}$
• $\nu_-(E) = \min\{-2, 2p\}$
• $\nu_+(E) = \max\{-1, 2q+1\}$
  至关重要的是，这些端点是刚性的；即使在边界值处，也不会发生系数抵消来消除极值移位。

3. 从 $H$ 重构 (命题 3.6)
本文提供了一个充要条件，用于识别给定的算符 $H \in A$ 是否能与 $F=1-S$ 构成 $sl_2$-三元组。通过减去通用的 $x$ 相关部分 $2x - 2xS^{-1}$，余项必须是一个劳伦特多项式。该余项唯一确定了 $g$ 和 $\lambda$，并由此确定 $E$。

4. 局部性的分离：格点 vs. 次数 (定理 5.3, 5.4, 5.5)
本文识别出的一个核心现象是格点局部性（有限阶差分算符）与次数局部性（有限递推带宽）之间的尖锐分离。

• 单侧区域 ($g \in S^{-1}K[S]$)：若 $g$ 不包含低于 $S^{-1}$ 的 $S$ 幂次（即 $p \ge -1$），则特征多项式满足有限下递推带宽 $r = q+1$。在这种情况下，$H$ 的模板右端点 $\nu_+(H)$ 等于带宽 $r$。这类情况对应于经典的有限带状 $\Delta$-Appell 序列。
• 双侧区域 ($p < -1$)：若 $g$ 包含 $S^p$ 形式且 $p < -1$ 的项，则算符 $H$ 和 $E$ 仍为有限阶差分算符（具有有限格点支撑）。然而，次数递推会产生一个无限尾部。这些尾部系数并非任意；它们的最终符号剖面构成关于滞后量 $k$ 的多项式，从而能唯一恢复 $g$ 的最低劳伦特项。

5. 正交性 (定理 6.1)
在 $\mathbb{R}$ 上，本文刻画了特征基底关于正测度正交的情况。当且仅当剪切 $g$ 属于最小单侧层 $L_1$（即 $g(S) = c_{-1}S^{-1} + c_0$ 且 $c_0 < 0$）时，发生这种情况。此时，该系统恰好对应于平移单项 Charlier 多项式。

6. 示例与应用
本文构建了显式示例，包括：

• 有限带状情况：恢复 $d$-正交 $\Delta$-Appell 系统。
• 无限尾部情况：构造出 $H$ 是有限模板算符（例如 3 点或 5 点算符）但次数递推为无限的系统，证明了有限格点支撑并不意味着有限次数递推。

意义与主张
本文的主张意义主要在于其对支撑集敏感的方法。通过将 $F$ 固定为代数中的一个元素而非仅在同构意义下确定，本研究保留了在标准基于自同构的分类中会丢失的数据（具体的模板端点）。

• 它证明了“双侧”劳伦特区域（$p < -1$）是固定降低型纤维的一个合法组成部分，其中包含了具有有限格点算符但具有无限次数递推的系统。
• 它提供了一个完整的重构机制：次数递推的尾部包含了足够的信息来恢复剪切 $g$ 的最低劳伦特项。
• 它澄清了经典有限带状多项式序列与这一更广泛的固定降低型系统之间的界限，表明前者是后者（单侧区域）的一个特例。

本研究并不声称要对所有多项式序列进行分类，也不旨在提供超越代数结构和与 Charlier 多项式特定联系之外的新应用。相反，它为固定降低型算符在有限劳伦特移位代数中的纤维提供了一个精确的结构描述。