On the effective generation of direct images of pluricanonical bundles in mixed characteristic

技術的概要：混合標数における多重標準束の直接像の実効的生成について

問題提起
本論文は、混合標数における多重標準束の直接像の実効的な大域生成結果の確立という問題に取り組む。具体的には、以下の 2 つの主要な結果の混合標数版の構築を目指す。

1. 標数 0： Popa と Schnell の定理 [PS14]。これは、$\mathbb{C}$ 上の非特異射影多様体間の全射準同型 $f: X \to Y$ に対して、直積 $f_* \omega_X^{\otimes m} \otimes L^{\otimes l}$ が $l \geq m(\dim Y + 1)$ において大域生成となることを証明するものである。ここで $L$ は $Y$ 上の ample 線形束である。
2. 正標数： Ejiri の定理 [Eji24]。これは、$m$ が十分大きく、標準因子が相対的に ample であるという仮定の下で同様の結果を確立するものである。ただし、追加の仮定なしには（Moret-Bailly による反例などにより）標数 0 の境界が正標数では成立しないことに留意する必要がある。

混合標数における中心的な課題は、直接のフロベニウス準同型の欠如と特異点の複雑さにあり、これに対処するためには可換代数の手法やテストイデアルの理論からの適応が必要となる。

方法論
著者は、Hacon、Lamarche、Schwede [HLS24] および Bhatt ら [BMP+23] によって最近開発された$+$-テストイデアルと絶対積分閉包に基づく枠組みを採用する。方法論は以下の通りである。

1. 相対的$+$-安定直接像： 本論文は、$+$-テストイデアル $\tau_+(\mathcal{O}_X, \Delta)$ の定義を相対的な設定に一般化する。$f_*(\omega_X \otimes M)$ の部分層 $B^0 f_*(\tau_+(\omega_X, \Delta) \otimes M) \subset f_*(\omega_X \otimes M)$ を定義し、これを$+$-安定直接像と呼ぶ。これは、正標数で用いられるフロベニウス安定直接像 $S^0$ の混合標数版として機能する。
2. 消滅定理： 証明は、絶対積分閉包 $X^+$ 上のコホモロジーに関する Bhatt の消滅定理 [BMP+23] に大きく依存する。これは、標数 0 におけるコディラ消滅定理および正標数におけるセールの消滅定理に代わる役割を果たす。
3. ファイバー積のトリック： 弱正性結果を確立するために、著者は Viehweg のファイバー積のトリックを利用する。すなわち、ファイバー積 $X^{(l)} = X \times_Y \cdots \times_Y X$ を構成し、これらの構成の下での多重標準束の挙動を解析する。
4. 特異点の条件： 結果は、源多様体 $X$ の特異点に特定の条件を課す。混合標数では、これらの条件は剰余標数が $p$ の点についてはBCM-正則性（Big Cohen-Macaulay 正則性）を、剰余標数が 0 の点については**Kawamata 対数終端（KLT）**条件を含む。

主要な貢献と結果

• 定理 A（主要定理）： これが主要な結果であり、混合標数における多重標準束の直接像の実効的大域生成定理を提供する。

  • 設定： $f: X \to Y$ を、混合標数 $(0, p)$ の完全 DVR $(R, \mathfrak{m}_R)$ 上の整平坦射影スキーム間の全射とする。$\Delta$ を $K_X + \Delta$ が $\mathbb{Q}$-カルティエとなるような有効な $\mathbb{Q}$-因子とする。
  • 仮定： 制限 $(K_X + \Delta)|_U$ が $f|_U$-ample であり、かつ開集合 $U \subset X$ 上で対 $(X, \Delta)$ が特定の特異点条件（標数 $p$ における BCM-正則性、標数 0 における KLT）を満たす。
  • 結論： $K_X + \Delta$ の指数の十分大きな倍数 $m$ に対して、かつ $l \geq m(n+1)$ （ここで $n = \dim Y_{\mathfrak{m}_R}$）に対して、層 $f_* \mathcal{O}_X(m(K_X + \Delta)) \otimes L^{\otimes l}$ は $V = f(U)$ 上で大域生成となる。
  • 意義： これは Popa-Schnell および Ejiri の結果を混合標数の設定に統合し、拡張するものである。

• 定理 C（主要補題）： $+$-安定直接像 $B^0 f_*(\tau_+(\omega_X, B) \otimes M)$ に関する大域生成定理。この結果は [HLS24, Theorem B] を相対的な設定に一般化したものであり、定理 A を駆動する技術的エンジンである。これは、$-B$ が開集合上で半 ample かつ big であるならば、ねじれた $+$-安定直接像が大域生成となることを述べる。

• 定理 B（弱正性）： 応用として、本論文は相対標準層に関する弱正性の主張を確立する。滑らかさの仮定と軽微な特異点条件の下で、$K_{X/Y} + \Delta$ が $U$ 上で弱正であることが示される。これは Viehweg の弱正性定理の混合標数版である。

• 大域生成に関する系：

  • 本論文は、$f_* \mathcal{O}_X(m(K_{X/Y} + \Delta)) \otimes \omega_Y \otimes L^{\otimes (n+1)}$ が大域生成となることを導く。これは標数 0 における Fujino の定理および正標数における Ejiri の定理に類似する。
  • $m=1$ に対して $f_* \omega_X \otimes L^{\otimes l}$ が大域生成となる条件を提供する。これは $X$ の特異点が特定条件（例えば有限和因子特異点または BCM-正則性）を満たすことに依存する。

• 反標準因子の正性： 本論文は、反標準因子の正性の滑らかな降下が混合標数でも成り立つことを証明する（命題 6.8）。具体的には、$-K_X - f^*N$ が nef（または ample）であれば、$-K_Y - N$ も nef（または ample）である。

意義と主張
本論文は、混合標数における多重標準束の直接像の実効的大域生成結果を初めて提供し、標数 0 と正標数の理論間のギャップを埋めると主張する。

• $+$-テストイデアルと絶対積分閉包の機構が、相対的な設定および混合標数の算術を処理するのに十分な頑健性を持っていることを示している。
• 結果は、特異点に関する条件（BCM-正則性）が混合標数の文脈に特有ではあるものの、Popa、Schnell、Ejiri、Fujino による確立された定理の混合標数版として提示されており、全く新しい現象としてではなく扱われている。
• 著者は、弱正性の結果（定理 B）が直接像層自体の完全な弱正性よりも弱いものであるが、ねじれた直接像の大域生成の証明や反標準正性の降下など、多くの応用には十分であると指摘している。

本論文は、混合標数における一般的な Fujita 自由性予想を解決するものではなく、多重標準束の直接像の特定のケースに焦点を当てている。これは、標数 0 で利用可能な消滅定理の欠如を克服するために、可換代数の最近の進展（特に Bhatt、Ma、Schwede らの業績）に依存している。