Polynomiality of the Generalized Verschiebung Degree

技术摘要：广义 Verschiebung 次数的多项式性

问题陈述
设 $X$ 为代数封闭域上亏格为 $g \ge 2$ 的光滑曲线。广义 Verschiebung 映射 $V: M_2(X') \dashrightarrow M_2(X)$ 是模空间之间的一个正则有限有理映射，其中 $M_2(X)$ 表示秩为 2 且行列式平凡的向量丛模空间，该映射由 Frobenius 拉回 $E \mapsto F_X^* E$ 诱导。在研究该映射的过程中，一个核心问题是确定其泛型次数（generic degree）$\deg(V)$。

Kondo–Wakabayashi 的前人工作已经确立了 $\deg(V)$ 可以表示为亏格为 $g$ 的三价图 $G$ 上两类特定边编号集合基数的比值：$\deg(V) = | \text{Ed}_{p,2,G} | / | \text{Ed}_{p,1,G} |$。此外，他们证明了作为特征 $p$ 的函数，该次数是一个 $3g-3$ 次的拟多项式（quasi-polynomial）。虽然他们通过直接计算证明了在 $g=3$ 的特定情况下该拟多项式实际上是一个多项式，但对于任意 $g \ge 2$ 的一般情况，该问题仍悬而未决。本文旨在探讨对于所有亏格 $g \ge 2$，$\deg(V)$ 是否为 $p$ 的多项式，并在此基础上提供一个显式公式。

方法论
本文结合组合几何与枚举组合学来解决该问题。研究方法分为三个主要阶段：

1. 组合归约（层级归约）：
   其核心技术创新在于关于集合 $\text{Ed}_{P,N,G}$ 的一个新组合结果，该集合由受限于由集合 $\dagger C_N(P)$ 定义的顶点处局部条件的亏格为 $N$ 的三价图 $G$ 的边编号组成。作者证明了一个“层级归约”定理（定理 2），建立了如下自然双射：
   $$\text{Ed}_{P,N,G} \cong \text{Ed}_{P,1,G} \times \text{Ed}_{\frac{N-1}{2}P, 1, G}$$
   其中 $P \ge 3$ 为奇数且 $N \ge 1$。该结果依赖于一个“局部因子化引理”（引理 7），该引理构造了局部约束集 $\dagger C_N(P)$ 与乘积 $\dagger C_1(2P) \times \dagger C_{N-1}(P)$ 之间的双射。

   将此应用于特定的 Verschiebung 次数情况（其中 $P=p$ 且 $N=2$），本文将问题归约为计算 $|\text{Ed}_{2p,1,G}|$，从而有效地从表达式中消去了分母 $|\text{Ed}_{p,1,G}|$。

2. 转移矩阵与对角化：
   为了计算 $|\text{Ed}_{2p,1,G}|$，作者使用转移矩阵对计数问题进行建模。通过利用块构建图 $G$，并基于局部配置的有效标记数定义转移矩阵 $T$，总计数被表示为矩阵幂的迹：$|\text{Ed}_{2p,1,G}| = \text{Tr}(T^{g-1})$。

   矩阵 $T$ 通过一个由涉及正弦函数的三角和构成的正交矩阵 $S$ 进行对角化。这一步将组合计数问题转化为谱问题，使得迹可以计算为特征值的和。

3. 显式多项式推导：
   得到的迹公式涉及余割幂之和。作者利用 Zagier 关于余割幂和的已知公式，利用 Bernoulli 数和 Laurent 展开的系数来显式地表达该和式。这一步确认了所得表达式是 $p$ 的多项式，而非拟多项式。

主要贡献与结果

• 定理 1（多项式性）： 本文证明了对于一般的亏格 $g \ge 2$ 的曲线，泛型次数 $\deg(V)$ 严格是 $p$ 的多项式（具体而言，是经由 $p^{g-1}$ 缩放后的 $p^2$ 的多项式）。显式公式给出为：
  $$\deg(V) = p^{g-1} R_g(p^2)$$
  其中 $R_g(t) \in \mathbb{Q}[t]$ 定义为：
  $$R_g(t) = 1 - \frac{1}{2g} + \frac{1}{2g} \sum_{r=0}^{g-1} (-1)^{r-1} \frac{2^{4r} B_{2r}}{(2r)!} [z^{-2r}] \csc^{2g-2}(z) \, t^r$$
  这里 $B_{2r}$ 表示第 $2r$ 个 Bernoulli 数，$[z^{-2r}]$ 表示 $\csc^{2g-2}(z)$ 在 $z=0$ 处的 Laurent 展开中的 $z^{-2r}$ 项系数。

• 定理 2（层级归约）： 本文建立了双射 $\text{Ed}_{P,N,G} \cong \text{Ed}_{P,1,G} \times \text{Ed}_{\frac{N-1}{2}P, 1, G}$。这一组合结果具有独立的学术价值，因为它将更高层级的边编号问题归约为层级-1 的对应问题，从而简化了对休眠 oper（dormant opers）的计数。

• 偶数 $P$ 的显式公式： 本文提供了当 $P$ 为偶数时，层级-1 边编号数量 $|\text{Ed}_{P,1,G}|$ 的初等推导，补充了现有的针对奇数 $P$ 的结果：
  $$|\text{Ed}_{P,1,G}| = \left(\frac{P}{2}\right)^{g-1} + \left(\frac{P}{4}\right)^{g-1} \sum_{\theta=1}^{P/2-1} \csc^{2g-2}\left(\frac{\pi\theta}{P}\right)$$

• 形式化： 组合证明（引理 7、定理 2 和引理 10）已在 Lean 4 中完成形式化并得到验证。

意义与主张

本文声称解决了任意亏格下广义 Verschiebung 次数的多项式性问题，超越了此前由 Kondo–Wakabayashi 验证的 $g=3$ 的特定情况。通过提供显式多项式公式，这项工作消除了 Ehrhart 理论在此语境下可能暗示的拟多项式性质的歧义。

作者指出一个启发式观察：特征 $p$ 下的泛型次数 $\deg(V)$ 与一个假设的“特征为 $2p$ 的域”上的休眠 oper 数量一致。这是通过结合层级归约双射得到的，该双射表明 $\deg(V) = |\text{Ed}_{2p,1,G}|$（在修正了本文推导中分母逻辑的特定背景后）。

本文并未提出新的应用或未来的实验方向，而是专注于多项式结构的严格推导及显式系数的确定，将结果根植于休眠 oper 的枚举几何以及三价图的组合学之中。