Moduli spaces of geometric functorial field theories

技術的要約：幾何学的関手型場理論のモジュライ空間

問題設定
本論文は、幾何学的関手型場理論（FFT）のモジュライ空間を決定する際の計算上の困難さを扱う。Grady–Pavlovの枠組み [GP22, GP23, GP26] は、滑らかな族、降下（descent）、およびアイソトピーをボードリズム・カテゴリーに組み込むことで、幾何学的FFTを形式化することに成功しているが、得られるモジュライ空間は、しばしば複雑な $(\infty, d)$-カテゴリー間の派生写像対象（derived mapping objects）として提示される。具体的には、幾何学的構造 $F$ を持つ $d$ 次元のFFTの空間は、構造 $F$ を備えたボードリズム・カテゴリー $\text{Bord}^F_d$ と、標的となる幾何学的対称モノイダル $(\infty, d)$-カテゴリー $V$ との間の派生写像空間 $\text{RMap}(\text{Bord}^F_d, V)$ として定義される。

課題は、ソースである $\text{Bord}^F_d$ が複雑なホモトピー型を持ち得るため、標準的なホモトピー論的手法を用いた直接的な計算が困難である点にある。著者らは、この問題を明示的な計算が可能な形式へと還元することを目指している。具体的には、モジュライ空間を、カルテジアン空間（$\mathbb{R}^n$）のサイト上の $O(d)$-等変な単体的プレシェフ間の写像空間として表現することで、幾何学的構造を一般的なボードリズム理論から分離する。

手法
著者らは、以下の要素を用いたエンリッチド・モデル・カテゴリー論に基づくツールキットを開発している：

1. ファイバー束埋め込みのサイト： 彼らは、$d$ 次元多様体の滑らかな族（ファイバー束埋め込み）のサイト $\mathcal{C}^\infty\text{Embd}$、およびそのエンリッチド版 $\mathcal{C}^\infty\text{Embd}$（アイソトピーを含む）を用いる。
2. アイソトピフィケーション（Isotopification）： アイソトピーを持たない幾何学的構造をアイソトピーを持つものへと写すアイソトピフィケーション・ファンクタ $\text{Id}$ を利用する。このファンクタは、Čech局所インジェクティブ・モデル構造に対して左Quillenファンクタであることが示されている。
3. カルテジアンへの制限： 幾何学的構造を、ファイバー束埋め込みの完全なサイトから「カルテジアン部分サイト」 $\mathcal{C}^\infty\text{EmbCart}_d$（射影 $\mathbb{R}^d \times U \to U$ に同相な族からなる）へと制限する重要なステップである。著者らは、この制限がQuillen同値（Quillen equivalence）を誘導すること、すなわち局所的なホモトピー情報が保存されることを証明している。
4. カルテジアン実現（Cartesian Realization）： 幾何学的構造（カルテジアン部分サイトに制限されたもの）を、$O(d)$-等変なカルテジアン係数 $K_d$ を用いた重み付き余極限（派生余コンド/derived coend）を通じて、$O(d)$-等変な単体的プレシェフへと変換する「カルテジアン実現」ファンクタ $C_d$ を定義する。
5. 等変写像空間： モジュライ空間の標的は、制限ファンクタ $\rho^*_{\infty, d}$ によって変換される。これは、標準的なカルテジアン族上でフィールド・スタックを評価し、ファイバー束直交写像によって誘導される $O(d)$-作用を符号化する。

主要な貢献と結果
中心的な結果である定理 4.2.9 は、$d$ 次元幾何学的構造 $F$ を持つ関手型場理論のモジュライ空間と、等変プレシェフ間の写像空間との間の自然な弱同値性を確立している：

$$\text{FFT}^{\text{Id}F}_{d,V} \simeq C^\infty\text{sSet}\left( \lambda^\infty_{O(d)} C_d q^*(F), \rho^*_{\infty, d} q^* \text{FFT}_d(V) \right)$$

ここで：

• $\text{FFT}^{\text{Id}F}_{d,V}$ は、構造 $F$ を値を持ち、$V$ に値を取る $d$ 次元FFTの滑らかな単体的集合である。
• $q^*$ はカルテジアン部分サイトへの制限を表す。
• $C_d$ は派生カルテジアン実現ファンクタである。
• $\lambda^\infty_{O(d)}$ は、単体的プレシェフを、滑らかな方向において定数であり $O(d)$-作用を備えた滑らかな単体的プレシェフとみなす。
• $\rho^*_{\infty, d}$ は、標準的なカルテジアン族への制限であり、$O(d)$-等変なプレシェフを与える。
• $\text{FFT}_d(V)$ は、$V$ 値の理論のフィールド・スタックである。

この定理は、モジュライ空間の計算を以下の二つの部分に効果的に分離している：

1. ソース： 幾何学的構造 $F$ のみに由来する、計算可能な $O(d)$-等変プレシェフ。
2. 標的： 標的カテゴリー $V$ から派生するプレシェフ。$V$ が双対を持つ場合、幾何学的フレーミング・コボルディズム仮説により、標的はコア $V^\times$（対象と同値類）と弱同値になる可能性があり、これにより標的をさらに簡略化できる可能性がある。

具体的な適用（次元1）
系 4.2.11 において、著者らはこの枠組みを、双対を持つ標的 $V$ に対する1次元の向き付けられたリーマン幾何学的場理論（$F = R_M$）に適用している。彼らは以下を示す：
$$\text{FFT}^{I_1 R_M}_{1,V} \simeq C^\infty\text{sSet}\left( \lambda^\infty N(R\text{Path}^g_M), V^\times \right)$$
ここで、$R\text{Path}^g_M$ はリーマン・パス・カテゴリーである。この結果は、モジュライ空間を、リーマン・パス・カテゴリーのネーブから標的のコアへの写像へと還元し、長さの滑らかな変化と $O(1)$-作用（向きの反転）を明示的に扱っている。

意義と主張
本論文は、モジュライ空間を「ホモトピー論の通常の計算手法に適した、より単純な形式」に提供することを主張している。問題を $O(d)$-等変なカルテシアン空間上の単体的プレシェフ間の写像空間へと還元することで、著者らは一般的なボードリズム理論を、構造固有の計算から分離している。

著者らは、本研究が以下の事項に関して、「後の問題に共通する幾何学的およびホモトピー論的な入力」を提供することを明示している：

1. 解析的に適切な幾何学的標的カテゴリー（例：適切な形式のヒルベルト空間）の構築。
2. 特定の標的に対するFFTを分類するための派生写像空間の計算。
3. 関手型フレームワークと互換性のある量子化手順の開発。

本論文自体は、これらの後続の計算や、具体的な解析的標的（リグド・ヒルベルト空間など）の構築を行うものではなく、これらを将来の研究課題として述べている。本論文の焦点は、モジュライ空間を計算可能な形式で提示するために必要な、ホモトピー論的なメカニズムを確立することに厳密に置かれている。