技術要約：微分方程式の合成幾何学 I：ジェットとコモナド構造

問題設定

偏微分方程式（PDE）の形式的理論は、伝統的にジェット束と局所座標を用いて定式化されてきた。この手法は多くの目的には効果的であるが、従属変数および独立変数の空間における大域的な位相的側面をしばしば不明瞭にし、無限次元の構造（無限ジェット束など）に対しては困難を伴う。さらに、この枠組みを超幾何学（super-geometry）、高次（スタック的）微分幾何学、あるいはそれらの組み合わせのような文脈へと一般化するには、座標依存の公式の複雑さを回避する、強固で柔軟な技術的基盤が必要となる。

本研究を動機づける特定の問題は、フェルミオンや高次ゲージ場を含む可能性のある、局所的変分場理論の共変幾何学的プレ量子化である。これを解決するには、従来の理論をこれらの拡張された文脈へとシームレスに一般化できる、統一された抽象的なPDEの定式化が必要である。

方法論

著者らは、合成微分幾何学（Synthetic Differential Geometry, SDG）、具体的には**微分的コヒーレント・トポス（differentially cohesive toposes）**の枠組みを採用している。対象を「点」によって定義するのではなく、この理論は、周囲の圏（ambient category）の圏論的な性質と、その上で作用する特定の関手の振る舞いを規定する。

主要な方法論的構成要素は以下の通りである：

1. カヒエ・トポス（Cahiers Topos）：使用される主要なモデルは、形式的カルタン空間（無限小方向によって「厚みを持たされた」カルタン空間）上の層の圏である。この圏 $\mathcal{H}$ は、通常の滑らかな多様体、ディフェオロジー空間、および滑らかな局所プロ多様体（無限次元のフレシェ多様体を含む）を忠実に包含している。
2. 微分的コヒーレンス（Differential Cohesion）：理論は、トポス $\mathcal{H}$ 上の随伴四つ組の関手 $(\Re \dashv \Im \dashv \text{Et})$ に依存している。
   • $\Re$：「簡約（reduction）」関手であり、無限小の厚みを取り除く。
   • $\Im$：「無限小形状（infinitesimal shape）」または「ド・ラム形状（de Rham shape）」モナドであり、形式的な無限小近傍構造を捉える。
   • $\text{Et}$：「無限小形状」コモナド（エタール射に関連する）。
3. コモナド構造：無限ジェット束の構成は単なる幾何学的操作ではなく、圏論的な操作であるという点が中心的な洞察である。すなわち、無限ジェット束の構成は、無限小形状モナド $\Im$ の単元 $\eta_\Sigma$ に沿った**ベースチェンジ・コモナド（base change comonad）**である。

主要な貢献と結果

1. ジェット束の合成的定義

本論文では、任意の対象 $\Sigma$ に対する無限ジェット束関手 $J^\infty_\Sigma$ を、形式的ディスク束関手 $T^\infty_\Sigma$ の右随伴として定義する。

• 構成：$J^\infty_\Sigma$ は、モナド $\Im$ の単元 $\eta_\Sigma: \Sigma \to \Im \Sigma$ に沿ったベースチェンジ・コモナドとして特定される。
• 古典的理論の回収：通常の滑らかな多様体（特に $\Sigma$ 上のファイバー多様体）に制限した場合、この合成的定義は、古典的な無限ジェット束の構成と同型であることが証明される。決定的なことに、この合成的コモナド構造は、Marvan [23] によって以前に観察されたジェット束のコモナド構造と正確に一致する。

2. 微分作用素の性質付け

著者らは、$\Sigma$ 上の束の切断間の微分作用素（非線形なものを含む）の圏が、ジェット・コモナド $J^\infty_\Sigma$ の**コー・クレイスリー圏（co-Kleisli category）**と等価であることを確立している。

• 結果：$\text{DiffOp}_{\downarrow\Sigma}(\text{LocProMfd}) \simeq \text{Kl}(J^\infty_\Sigma | \text{LocProMfd}_{\downarrow\Sigma})$。
• これは、局所座標の公式に依拠することなく、微分作用素の純粋に圏論的な定義を提供する。

3. PDEの合成的定義と形式的可積分性

本論文では、トポス $\mathcal{H}$ 内における偏微分方程式（PDE）および形式的可積分なPDEの新しい内在的な定義を導入する。

• 一般化されたPDE：PDEは、スライス・トポス $\mathcal{H}/\Sigma$ における単射 $E \hookrightarrow J^\infty_\Sigma Y$ として定義される。
• 形式的解：SDGの柔軟性を利用し、形式的解は無限小ディスク束からの射として定義される。これにより、ヒューリスティックな議論を用いることなく、形式的なテイラー展開を直接操作することが可能となる。
• 形式的可積分性：PDEが形式的可積分であるとは、その増高（prolongation）（コモナドの余積を用いたプルバックによって定義される）が同型写像であることである。
• 主要定理（Theorem 3.52）：形式的可積分な一般化PDEの圏 $\text{PDE}_{/\Sigma}(\mathcal{H})$ は、ジェット・コモナド $J^\infty_\Sigma$ 上の余代数（coalgebra）のエレンベルグ・ムーア圏と等価である。
  $$\text{PDE}_{/\Sigma}(\mathcal{H}) \simeq \text{EM}(J^\infty_\Sigma)$$
• 整合性：ファイバー局所プロ多様体の圏に制限すると、この等価性はVinogradovの古典的なPDEの圏を回収する（Marvanの結果経由）。これにより、合成的定義が有効な一般化であることを裏付けている。

4. 構造的性質とサイトの提示

• 有限極限：形式的可積分なPDEの圏は、周囲のスライス・トポスにおける極限として計算される有限極限（積および等化子）を保持する。これは、変分構造（例：オイラー＝ラグランジュ方程式を射の核として定義すること）を定義するために極めて重要である。
• スライス・トポスの等価性：もし単元 $\eta_\Sigma: \Sigma \to \Im \Sigma$ がエピモルフィズムであれば（カヒエ・トポスにおいて成立する）、形式的可積分なPDEの圏は、無限小形状上のスライス・トポスと等価になる：
  $$\text{PDE}_{/\Sigma}(\mathcal{H}) \simeq \mathcal{H}/\Im \Sigma$$
• 層による提示：本論文は、一般化されたPDEの圏が、「通常の」PDE（局所プロ多様体におけるもの）の圏上の層の圏として提示できることを示している。これにより、一般化されたPDEが通常のPDEの余極限であることが確立される。

意義と主張

著者らは、本研究が以下の特性を持つ、精密かつ柔軟な圏論的枠組みを提供すると主張している：

1. 文脈の統一：超幾何学、高次幾何学、および無限次元の設定（局所プロ多様体）に対して、アドホックな修正を必要とせずに、シームレスに理論を一般化する。
2. 構造の明確化：PDEをコモナド上の余代数として特定することで、微分方程式の固有の圏論的構造を明らかにし、幾何学的な本質を座標依存の表現から分離する。
3. 一般化の促進：合成的な定式化により、変分複体やオイラー＝ラグランジュ複体へ、$\infty$-スタックの$\infty$-トポスへの機械的な拡張が可能となる。これは、フェルミオンや高次ゲージ場を含む場理論の共変幾何学的プレ量子化という最終目標に不可欠である。
4. 技術的な曖昧さの解消：古典的な文献においてヒューリスティックに扱われることが多い「形式的解」や「無限小近傍」に対して厳密な設定を提供し、これにより可積分性や変分複体を精密に定義することを可能にする。

本論文は、これらの結果が、変分複体およびオイラー＝ラグランジュ複体にこの合成的定式化を適用し、それらを一般化されたPDEの圏内におけるモジュライ・スタックとして特定するという、後続の研究の基礎を築くものであると明言している。