Polynomiality of the Generalized Verschiebung Degree

技術要約：一般化された移送次数（Verschiebung degree）の多項式性

問題設定
$X$ を、標数 $p > 2$ の代数閉体上の種数 $g \ge 2$ の滑らかな曲線とする。一般化された移送写像 $V: M_2(X') \dashrightarrow M_2(X)$ は、フロベニウス引き戻し $E \mapsto F_X^* E$ によって誘導される、ランク2の行列式が自明なベクトル束のモジュライ空間間の、生成的に有限な有理写像である。この写像の研究における中心的な問いは、その生成的次数 $\deg(V)$ を決定することである。

先行研究において、近藤・若林は $\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$ に対する一般的なケースについては未解決のままであった。本論文は、すべての種数において $\deg(V)$ が $p$ に関する多項式であるか否かという問いに対処し、もしそうであれば、その明示的な公式を提供するものである。

手法
本論文は、組合せ幾何学と計数組合せ論を組み合わせてこの問題を解決する。手法は以下の3つの主要な段階で進行する：

1. 組合せ論的簡約（レベル簡約）：
   核心となる技術的革新は、集合 $\dagger C_N(P)$ によって定義される頂点における局所条件によって制約された、三価グラフ $G$ 上の辺番号付けの集合 $\text{Ed}_{P,N,G}$ に関する新しい組合せ論的な結果である。著者は、「レベル簡約」定理（定理2）を証明し、奇数 $P \ge 3$ および $N \ge 1$ に対して、以下の自然な全単射を確立する：
   $$\text{Ed}_{P,N,G} \cong \text{Ed}_{P,1,G} \times \text{Ed}_{\frac{N-1}{2}P, 1, G}$$
   この結果は、局所的な制約集合 $\dagger C_N(P)$ と積 $\dagger C_1(2P) \times \dagger C_{N-1}(P)$ の間の全単射を構成する「局所分解補題」（補題7）に基づいている。

   これを移送次数（$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. 明示的な多項式の導出：
   得られたトレース公式には、余割関数（cosecant）の冪の和が含まれる。著者は、余割関数の冪の和に関するザギエ（Zagier）の既知の公式を利用して、この和をベルヌーイ数およびローラン展開の係数を用いて明示的に表現する。このステップにより、得られる式が擬多項式ではなく、$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$ 番目のベルヌーイ数であり、$[z^{-2r}]$ は $z=0$ における $\csc^{2g-2}(z)$ のローラン展開の $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の対応物へと簡約させ、休止オペル（dormant opers）の計数を簡略化する。

• 偶数 $P$ に対する明示的な公式： 本論文は、奇数 $P$ に対する既存の結果を補完するものとして、$P$ が偶数の場合のレベル1の辺番号付けの数 $|\text{Ed}_{P,1,G}|$ の初等的な導出を提供する：
  $$|\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 によって形式化され、検証されている。

意義および主張
本論文は、近藤・若林によって検証された種数 $g=3$ のケースを超え、任意の種数に対して一般化された移送次数の多項式性を解明することを主張している。明示的な多項式公式を提供することで、本研究は、この文脈におけるエラートリ理論（Ehrhart theory）が示唆する擬多項式的な性質の曖昧さを排除している。

著者は、ヒューリスティックな観察を述べている。すなわち、特性 $p$ における生成的次数 $\deg(V)$ は、仮説的な「特性 $2p$ の体」上の休止オペルの数と一致するということである。これは、レベル簡約の全単射による関係 $\deg(V) = |\text{Ed}_{2p,1,G}| / |\text{Ed}_{p,1,G}|$ と、それにより（本論文の導出における特定の文脈における分母の修正を行った後）$\deg(V) = |\text{Ed}_{2p,1,G}|$ となることから導かれる。

本論文は、新しい応用や将来の実験的方向性を提案するのではなく、多項式構造の厳密な導出と明示的な係数の決定に焦点を当て、休止オペルの計数幾何学および三価グラフの組合せ論にその結果を根付かせている。