Prym-Brill-Noether Theory for General Covers

技術的要約：一般な被覆に対するプリム・ブリル・ノーター理論

問題設定
本論文は、エタール二重被覆 $f: \tilde{C} \to C$ のプリム多様体における、次元 $r$ 以上のランクを持つ因子類 $[D]$ の集合として定義されるプリム・ブリル・ノーター多様体 $V^r(C, f)$ の次元について扱っている。一般な被覆（$C$ の種数を $g$ とする）における次元は Bertram と Welters によって $g - 1 - \binom{r+1}{2}$ であることが確立されているが、被覆の底曲線 $C$ が特殊な幾何学的性質（具体的には $k$ 階数曲線または $k$ 楕円曲線）を持つ場合の次元の振る舞いは、依然として十分に理解されていない。Len と Ulirsch、および Creech, Len, Ritter, Wu による先行研究は、これらのケースにおける境界を与えたが、最適性の問題や特定の予想の妥当性については未解決のまま残されている。

手法
著者は、プリム・ブリル・ノーター多様体を分析するための主要なツールとしてトロピカル幾何学を用いている。そのアプローチは以下の通りである：

1. トロピカル化： メトリックグラフ $\Gamma$ と自由な二重被覆 $\pi: \tilde{\Gamma} \to \Gamma$ に対する、プリム・ブリル・ノーター多様体のトロピカルな類似物 $V^r(\Gamma, \pi)$ を構成する。
2. 特定のトロピカルモデル： 先行文献で使用されている「鎖状のループ（chain of loops）」の代わりに、本論文では「ループの連鎖（loop of loops）」と呼ばれるメトリックグラフを用いる。このグラフは、特定のサイクルのループ状に配置された $2g-2$ 個の頂点で構成されている。
3. 組合せ論的符号化： トロピカル・プリム多様体における因子類と、コクセター群（具体的には型 $A_r$ および型 $I_2(r+1)$）における「リンガリング・ワード（lingering words）」との間の全単射を確立する。リンガリング・ワードは、グラフ上の因子位置の柔軟性を反映して、単位元を許容するものである。
4. 持ち上げ定理（Lifting Theorems）： トロピカル多様体が局所完全交差であることを証明し、Rabinoff の持ち上げ定理を利用することで、トロピカルな設定における因子類が非アルキメデス体上の代数的な設定へと持ち上がることを示す。これにより、トロピカルグラフから代数的な曲線への次元の下限の転送が可能となる。

主な貢献と結果

• $V^r(\Gamma, \pi)$ のトロピカルな記述：
  $r$-生成的（$r$-generic）なループの連鎖（エッジの長さが特定の生成条件を満たす場合）において、本論文はトロピカル・プリム・ブリル・ノーター多様体を完全に記述する。それは、最長元 $w_0$ に対する簡約部分語を含む、コクセター群 $A_r$ におけるリンガリング・ワードによってインデックス付けされたトーラスの和集合であることが示される。

  • この多様体は純次元であり、余次元 1 で連結であることが証明されている。
  • 次元が 0 のとき（すなわち $g-1 = \binom{r+1}{2}$）、多様体の濃度は $w_0$ の簡約語の数と一致し、これは階段状分割上の標準ヤング・タブローの数に対応する。

• $k$ 楕円被覆に対する境界（定理 1.1）：
  本論文は、$C$ が $k$ 楕円曲線（種数 1 の曲線への次数 $k$ の写像を持つ曲線）である場合の $V^r(C, f)$ の次元の上界を確立している。
  $$\dim V^r(C, f) \leq \begin{cases} g - 1 - \frac{k(r+1)}{2} & \text{if } k < r \\ g - 1 - \frac{r(r+1)}{2} & \text{if } k \geq r \end{cases}$$
  $k \geq r$ のとき等号が成立する。この結果は、$k$-一様（$k$-uniform）なループの連鎖と、これらの特定のトロピカル構成に対する持ち上げの結果を分析することによって導かれる。

• $k$ 階数被覆に対する境界（定理 1.3）：
  一般的な $k$ 階数曲線（$\mathbb{P}^1$ への次数 $k$ の写像を持つ曲線）に対して、本論文は、Len, Ulirsch らによる以前の結果を改良した、より優れた次元の上界を提供する。新しい境界は以下の通りである：
  $$\dim V^r(C, f) \leq \begin{cases} g - 1 - n(r, k) & \text{if } \ell(\ell+1) \leq r+1 \\ g - 1 - \frac{(k-1)(r+1)}{2} & \text{if } k+1 \leq r+1 < \ell(\ell+1) \\ g - 1 - \binom{r+1}{2} & \text{if } k \geq r+1 \end{cases}$$
  ここで $\ell = \lceil k/2 \rceil$ であり、$n(r, k)$ は以前に定義された関数である。

• 予想 3.9 の反証：
  本論文は、Creech, Len, Ritter, および Wu [CLRW22] による予想 3.9 を明確に反証している。この予想は、$k$ 階数被覆に対して異なる次元公式を提案していた。反例は、「ループの連鎖」の分析と、それに関連するコクセター群の特定の組合せ論から得られる。

• 新しい予想（予想 1.4）：
  H. Larson の研究に従い、$\mathbb{P}^1$ 上の直交束の分裂型軌跡（splitting type loci）に着想を得て、著者は $k$ 階数の場合の $V^r(C, f)$ の次元に関する新しい予想を提示している。この予想は、次元が $k < r+1$ のとき $g - 1 - (k-1)(r+1) + \binom{k}{2}$ であり、それ以外の場合は $g - 1 - \binom{r+1}{2}$ であることを示唆している。

• バイ楕リティック（Bielliptic）の場合（$k=2$）：
  バイ楕リティック曲線（$k=2$）という特別なケースにおいて、本論文は、トロピカル多様体が二面体群 $I_2(r+1)$ におけるリンガリング・ワードによってインデックス付けされることを示している。この構造は、生成的なケースと同様の、次元の純粋性や余次元 1 での連結性といった多くの位相的性質を保持している。

意義と主張
本論文は、一般な被覆に対する Bertram-Welters 定理の新しい証明を提供すると同時に、$k$ 階数および $k$ 楕円被覆に対する既存の境界を大幅に改善したと主張している。「ループの連鎖」というトロピカルモデルを用いることで、著者はコクセター群の組合せ論（特にリンガリング・ワードの構造とブルハ・順序）が、プリム・ブリル・ノーター多様体の幾何学を効果的に符号化できることを示している。

持ち上げ定理（定理 1.2）は、この研究の中心であり、$r$-生成的なループの連鎖において、すべてのランク $r$ のトロピカル因子類が代数的な因子類へと持ち上がることを確立している。これにより、著者はトロピカルな組合せ論から代数的な多様体の性質（簡約性や次元など）を直接導き出すことができる。本論文は、導出された上界が常に最適であるわけではないものの、それらは先行文献に対する実質的な改良であり、これらの多様体の次元に関するより精密な予想のための枠組みを提供するものであると結論付けている。