On D-cap-Modules of Finite Length on Rigid Analytic Spaces

論文要約：剛体解析空間上の有限長さ $\mathcal{D}$-加群について

1. 背景と問題設定 (Problem)

非アルキメデス的な混合標数 $(0, p)$ の基底体 $K$ 上の滑らかな剛体解析空間における $\mathcal{D}$-加群理論（$\mathcal{D}^\dagger$-加群理論）は、Ardakov, Wadsley, Bodeらによって発展してきました。従来の複素多様体上の代数的な $\mathcal{D}$-加群理論では、「ホロノミック性（holonomicity）」が非常に強力な概念であり、ホロノミック加群は標準的な操作に対して安定であり、かつ**有限長さ（finite length）**を持つことが知られています。

しかし、剛体解析的な $\mathcal{D}^\dagger$-加群の文脈では、特性多様体（characteristic variety）に代わる概念が確立されておらず、Ardakov-Bode-Wadsleyによって導入された「弱ホロノミック（weakly holonomic）」という概念は、ホモロジー的な定義に基づいているものの、「有限長さを持たない」あるいは「無限次元のファイバーを持つ」といった病理的な例が存在するという課題がありました。本論文の核心的な問いは、「どのような条件下で、弱ホロノミックな $\mathcal{D}^\dagger$-加群が有限長さを持つのか」という点にあります。

2. 研究手法 (Methodology)

著者は、この問題を解決するために以下の3つの技術的柱を構築しました。

• 可変 $R$-代数と二重フィルタリング $K$-代数の安定化理論:
  $R$-代数の変形（deformation）における随伴次数付き加群（associated graded modules）の安定性を解析しました。特に、有限生成加群の変形において、ある次数 $n_0$ 以降では次数付き加群の構造が安定すること（Proposition 2.6, 2.12）を証明しました。
• 完備Weyl代数におけるヒルベルト多項式の導入:
  完備Weyl代数 $\widehat{A}_d(K)$ に対して、ベルンシュタイン・フィルタリング（Bernstein filtration）に基づいた「二重フィルタリング」構造を導入しました。これにより、完備Weyl代数上の有限生成加群に対して、古典的な代数幾何学と同様のヒルベルト多項式（Hilbert polynomial）、次元（dimension）、および多重度（multiplicity）を定義することに成功しました（Section 3）。
• 局所的な有限長さから大域的な有限長さへの拡張:
  閉単位多円盤（closed unit polydisc）上の完備Weyl代数の理論を用い、局所的な多重度の安定性が、$\mathcal{D}^\dagger$-加群の有限長さを保証するための判定条件となることを示しました（Proposition 4.9）。

3. 主な貢献と結果 (Key Contributions & Results)

本論文の主要な成果は、以下の定理群に集約されます。

• 定理 A (拡張関数の有限長さ):
  滑らかなアフィノイド $K$-空間 $X$ 上のホロノミックな代数 $\mathcal{D}_X$-加群 $M$ に対し、その拡張 $\mathcal{E}_X(M) = \widehat{\mathcal{D}}_X \otimes_{\mathcal{D}_X} M$ は、弱ホロノミックな $\mathcal{D}^\dagger_X$-加群の圏において有限長さを持つ。これは、代数的なホロノミック性が解析的な弱ホロノミック性の有限長さを保証することを示しています。
• 定理 B & C (幾何学的対象の有限長さ):
  準コンパクトな滑らかな剛体解析空間 $X$ において、以下の対象が弱ホロノミックな $\mathcal{D}^\dagger_X$-加群として有限長さを持つことを証明しました。
  1. ザリスキー開集合 $U \subset X$ への埋め込みに伴う、可積分接続 $M$ の押し出し（pushforward） $R^q j_* (M|_U)$。
  2. 閉解析部分集合 $Z \subset X$ に対する、可積分接続 $M$ の局所コホモロジー群 $H^q_Z(M)$。
• 非ホロノミックな有限長さ加群の存在例:
  定理 6.1 および系 6.2 を通じて、**「有限長さであるがホロノミックではない」**弱ホロノミック $\mathcal{D}^\dagger$-加群の具体的な構成例を提示しました。これにより、古典的な設定とは異なり、有限長さがホロノミック性を意味しないことを明示しました。

4. 意義 (Significance)

本論文は、剛体解析的な $\mathcal{D}$-加群理論における「ホロノミック性」と「有限長さ」の関係を整理し、理論的な基盤を強化したものです。

1. 理論の安定化: 弱ホロノミック加群の病理的な振る舞いを制御し、解析的な接続や局所コホモロジーといった、幾何学的に重要な対象が「有限長さ」という扱いやすい性質を持つことを保証しました。
2. 新しい道具立ての提供: 完備Weyl代数におけるヒルベルト多項式や二重フィルタリングの理論は、今後の非アルキメデス的な幾何学的表現論や微分方程式の研究において強力な計算ツールとなります。
3. 概念の分離: 「有限長さ」と「ホロノミック性」が一致しないことを示したことで、剛体解析的な設定における $\mathcal{D}$-加群の分類や構造論において、両者を区別して扱う必要性を明確にしました。