Type C Richardson Boundaries and Newton-Okounkov Degenerations of Odd-Dimensional Projective Space

技术摘要：Type C Richardson 边界与奇数维射影空间的 Newton–Okounkov 退化

问题陈述
本文通过比较两种不同的镜像理论构造，研究了奇数维射影空间 $P^{2n-1}$ 的镜像对称性。

1. 环面观点（Toric Viewpoint）： 将 $P^{2n-1}$ 视为环面簇，这产生了一个经典的环面镜像，其特征是标准的环面边界除子 $D_{\text{tor}}$ 以及相应的 Laurent 多项式超势 $W_{\text{tor}}$。
2. 李理论观点（Lie-Theoretic Viewpoint）： 将 $P^{2n-1}$ 视为 Type $C_n$ 齐次空间 $Sp_{2n}/P_1$，通过 Rietsch 的李理论框架产生了一个不同的镜像构造。该方法在原空间上定义了一个不同的反正则边界 $D_C$，并在对偶侧（具体是在对偶奇二次型内的 Lusztig 环面之上）定义了一个超势 $W_{\text{Lus}}$。

核心问题在于显式计算这些李理论对象（$D_C$ 和 $W_{\text{Lus}}$），并建立两者之间精确的几何关系。具体而言，作者试图证明这两种描述都导致了同一射影空间的环面退化，该退化受控于 $W_{\text{Lus}}$ 的 Newton 多边形的极对偶，并识别出一个连接两个边界除子的秩一退化（rank-one degeneration）。

方法论
本文结合了李理论、代数几何以及 Newton–Okounkov 体理论。

• 显式计算边界： 作者通过分析与抛物子群 $P_1$ 相关联的开 Richardson 局部余集的补集，构造了 $P^{2n-1}$ 上的 Type $C_n$ 边界 $D_C$。这涉及利用高斯分解判据和辛群 $Sp_{2n}$ 的性质，计算一个从单矩阵子群交集到射影空间的特定映射 $\eta$ 的像。
• 超势计算： 在对偶侧（$SO_{2n+1}/P^\vee_1$）上，通过将 Rietsch 的势函数限制在 Lusztig 环面上来计算超势。该环面由约化词 $(1, 2, \dots, n-1, n, n-1, \dots, 1)$ 参数化。计算过程涉及求解一个三角分解问题，以确定镜像纤维中单矩阵因子的坐标。
• Newton–Okounkov 退化： 作者构造了一个适配于边界 $D_C$ 的可伴随旗（admissible flag）$Y_\bullet$。该旗以二次超曲面 $Q_{n-1}$（由最高次二次因子 $F_{n-1}=0$ 定义）开始，随后依次经过坐标超平面（$p_m=0$ 和 $p_{N-m}=0$），最后终止于一个光滑二次曲面。基于这一序列定义了旗赋值（flag valuation）$\nu_{\text{flag}}$。
• 半群识别： 计算了该旗赋值的值半群，并将其与李理论超势的指数格进行比较。作者利用格置换 $\sigma$ 和次数增强映射 $\Sigma$，将赋值数据与 $W_{\text{Lus}}$ 的 Newton 多边形对齐。
• 秩一退化： 选择一个权重向量来定义一个秩一赋值，该赋值将 Type $C_n$ 边界多项式退化为标准的环面边界多项式，同时保持环境空间不变。

关键结果

1. 显式公式（定理 1.1）：

   • Type $C_n$ 边界 $D_C$ 被识别为由 $p_0 p_N \prod_{r=1}^{n-1} F_r$ 的零点定义的约化除子，其中 $F_r$ 是显式的二次多项式：$F_r = \sum_{j=0}^r (-1)^j p_{r-j} p_{N-r+j}$。
   • 在 Lusztig 环面（坐标为 $a_1, \dots, a_{n-1}, b, c_{n-1}, \dots, c_1$）上的李理论超势为：
     $$W_{\text{Lus}} = \sum_{i=1}^{n-1} (a_i + c_i) + b + \frac{q(a_1 + c_1)}{a_1 \cdots a_{n-1} b^2 c_{n-1} \cdots c_1}$$
     （其中 $q$ 是量子参数）。

2. Newton–Okounkov 体与环面退化（定理 1.2 与 推论 1.3）：

   • 构造了一个可伴随旗 $Y_\bullet$，使得与之相关的旗赋值的次数增强值半群，在经过单模变换 $\Sigma$ 后，被识别为 $W_{\text{Lus}}$ 的 Newton 多边形极对偶 $P_n^\vee$ 之锥上的格点。
   • 特别地，$\Sigma(S_{\text{flag}}) = S_n = \{(k, m) : k \ge 0, m \in k P_n^\vee \cap \mathbb{Z}^{2n-1}\}$。
   • 这建立了一个平坦环面退化 $P^{2n-1} \rightsquigarrow \text{Proj } \mathbb{C}[S_n]$，其特殊纤维是与 $P_n^\vee$ 的法锥（等价于 $\text{Newt}(W_{\text{Lus}})$ 的面锥）相关的环面簇。

3. 秩一边界退化（第 4.5 节）：

   • 构造了一个秩一权重赋值，将对 $(P^{2n-1}, D_C)$ 退化为 $(P^{2n-1}, D_{\text{tor}})$。该退化保持环境射影空间固定，但将反正则边界从 Type $C_n$ 配置转换为标准的环面配置。

意义与主张
本文声称为同一个奇数维射影空间提供了两种不同的环面退化图景，它们分别源自不同的镜像理论起源（环面几何 vs. 李理论）。

• 它显式计算了此前未知的 Type $C_n$ 边界以及对应的 Lusztig 环面超势，适用于一般奇数维情况。
• 它证明了与李理论边界相关的 Newton–Okounkov 体是李理论超势 Newton 多边形的极对偶，从而将几何退化直接与镜像势联系起来。
• 该工作扩展了对超越环面情形的齐次空间的镜像对称性的理解，展示了李理论构造如何产生具体的环面退化。
• 文中指出，虽然 $n=2$ 的情况（$P^3$）在 Tillmann-Morris 未发表的工作中已有部分探讨，但本文将公式和退化机制推广到了任意奇数维 $2n-1$。
• 作者提出了一个关于所使用的特定旗赋值是否具有簇理论（cluster-theoretic）解释的问题，并借鉴了近期关于 Grassmannians 的研究，但在文中并未解决此问题。

这些结果是以严谨的代数计算和几何构造呈现的，依赖于 Richardson 簇、Newton–Okounkov 体以及环面退化等既定理论，并未提出新的实验应用或未经证实的未来影响。