Open-closed Deligne-Mumford field theories: construction

技術的サマリー：開閉デリニュ・ムンフォード場理論：構成

問題提起
本論文は、シンプレクティック位相幾何学と代数幾何学における根本的な欠落、すなわち、任意の種数においてラグランジュ部分多様体のフカヤ圏と周囲のシンプレクティック多様体のグロモフ・ウィッテン不変量を結びつける、厳密なチェーンレベルの代数的枠組みの欠如に取り組んでいる。コホモロジー場理論（CohFT）はグロモフ・ウィッテン不変量の代数的構造を記述し、フカヤ圏はラグランジュフローア理論を記述するが、ホモロジー上だけでなくチェーンレベルで動作し、かつ開（ラグランジュ境界）と閉（内部）の両方のセクターを統合する場理論の直接的な構成は、依然として見出されていない。

コストロの「開閉トポロジカル共形場理論（TCFT）」のような以前の試みは、滑らかな枠付き曲面のモジュラ・プロペラッドに依存している。しかし、これらは擬正則曲線の研究において自然に現れる境界付き安定曲線のコンパクト化モジュライ空間を直接利用するものではない。さらに、標準的なラグランジュフローア理論はしばしば曲がった $A_\infty$-代数をもたらすため、これらを任意の境界成分を持つ高次種数へ拡張するには、モジュライ空間の境界に特有の幾何学的障害と曲率を処理する必要がある。

手法
著者らは、「開閉デリニュ・ムンフォード場理論（DMFT）」を構成する。これは、境界付き安定曲線のモジュライ空間上のチェーンの圏から鎖複体の圏への、対称モノイダル $A_\infty$-関手として定義される。この構成は、いくつかの技術的段階を経て行われる。

1. 代数的枠組み: 著者らは、境界付き安定曲線のモジュライ空間（$M_{oc}$）上のチェーン上で enriched された圏 $\mathcal{OC}$ を定義する。ラグランジュ境界条件の幾何学的現実を処理するために、少点数のマークド・ポイントを持つディスクの不安定性を考慮するため、生成元 $D_0$ と $D_1$ を形式的に付加した「曲がった」バージョンの圏 $\mathcal{OC}_r$ を導入する。これにより、曲がった $A_\infty$-代数を理論に組み込むことが可能になる。
2. チェーンモデルと特異点の解消: 主要な技術的障壁は、モジュライ空間が角付き特異軌道多様体である場合のチェーン上の演算を定義することである。著者らは「解析的特異チェーン」に基づく特定のチェーンモデルを採用する。ファイバー積が横断的でないモジュライ空間を扱うため、Bierstone と Milman の結果を拡張した実解析的特異点解消アルゴリズムを利用する。これにより、安定化写像が全射でない場合であっても、well-defined な引き戻し・押し出し演算（q-演算）が可能になる。
3. 立方体コボーディズムとクルラニシ構造: 厳密な関手性と高次ホモトピーを達成するために、この構成は安定写像のモジュライ空間に対する「立方体コボーディズム」（大域的クルラニシチャート）のシステムに依存する。これらのチャートは、境界ストラタおよびクラッチング演算と整合性を持つように構成される。著者らは、これらのチャートとトーム形式を用いた対応を定義し、場理論の演算を定義する。
4. 変形と曲率の除去: 初期の構成は「曲がった」開閉 DMFT をもたらす。標準的なグロモフ・ウィッテン不変量を回復するために必要な非曲がった理論を得るため、著者らはバウンディング・コチェーンの理論を利用する。ラグランジュが弱バウンディング・コチェーンを許容する場合、曲がった DMFT を、曲率項を除去する代数的変形過程を通じて非曲がったものへ変形できることを示す。
5. ホモトピー独立性: 著者らは、得られた場理論が、ホモトピーの範囲内で、擬複素構造や特定のクルラニシチャートなどの補助的な選択に依存しないことを証明する。これは、基礎となる幾何学的データの「擬等質（pseudo-isotopies）」を用いた明示的なホモトピーを構成することによって達成される。

主要な貢献と結果

• 開閉 DMFT の定義: 本論文は、開閉デリニュ・ムンフォード場理論を、$\mathcal{OC} \to \text{Ch}_\Lambda$ なる対称モノイダル $A_\infty$-関手として定義する。この構造は、フカヤ $A_\infty$-代数を、任意に高い種数および任意に多数の境界成分を持つ曲線へと拡張する。
• 構成定理（定理 A）: 閉シンプレクティック多様体 $(X, \omega)$ と、相対的にスピンで、埋め込まれ、弱非障害なラグランジュ $L$ に対して、著者らは半厳密かつ演算子的な曲がった開閉 DMFT を構成する。
  • $L$ が弱バウンディング・コチェーンを備える場合、これは非曲がった開閉 DMFT に変形する。
  • この理論に関連する閉セクターは、$X$ のグロモフ・ウィッテン理論を回復する。
• 厳密性と演算子的性質: 構成は「半厳密」（安定チェーン上で厳密）かつ「演算子的」（マークド・ポイントの忘却と整合的）である。これは、ラグランジュ上の関連する代数が循環 $A_\infty$-代数であることを意味する。
• 系 1.2: その結果として、任意のコンパクトシンプレクティック多様体は、量子カップ積を持ち上げる微分形式 $\Omega^*(X; \Lambda)$ 上の、安定種数 0 曲線の演算子の厳密なチェーンレベル作用を許容する。
• ホモトピー独立性（定理 B）: 構成された DMFT は、DMFT のホモトピーの範囲内で、擬複素構造の選択やバウンディング・コチェーンのゲージ同値類を含むすべての補助的な選択に依存しない。
• 普遍的な曲線数え上げ: この理論は、開閉および閉開写像をそのデータの一部として含む「普遍的な曲線数え上げ理論」として記述され、フカヤ圏とグロモフ・ウィッテン不変量の間のギャップを埋める。

意義
本論文は、フカヤ圏がシンプレクティック多様体のグロモフ・ウィッテン不変量を決定するというコンツェビッチの予想を証明するための重要な第一歩を表している。コストロによって概説された戦略に従うことで、著者らは、フカヤ圏を、チェーンレベルおよび境界付き安定曲線のモジュライ空間上で動作する場理論へと持ち上げるために必要な幾何学的および代数的機構を提供する。

この構成は、仮想摂動と大域的クルラニシチャートを利用することで、Ganatra、Pomerleano、Seidel による以前の研究で必要とされていたような制限的な正則性仮定を不要にする。本論文は、バウンディング・コチェーンによって強化されたフカヤ圏の代数的構造が、シンプレクティック多様体の数え上げ不変量を自然に符号化することを確立する。本論文は、フカヤ圏の生成や $S^1$-作用の自明化に関するさらなる作業なしに、すべての種数に対して予想を完全に証明するものではないが、そのような比較を行うために必要な場理論的な橋渡しを成功裡に構成している。また、この作業は、種数 0 の開グロモフ・ウィッテン不変量に関する以前の結果を、任意の種数および境界成分へと一般化するものである。