[論文レビュー] A model for framed configuration spaces of points

Ricardo Campos, Julien Ducoulombier+2 more|arXiv (Cornell University)|Jul 22, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 7

ひとこと要約

本稿では、点の配置と接ベクトル場のデータを両方とも記述する装飾付きグラフ複体を用いて、コンパクトな滑らかな多様体上のフレームド配置空間の実組合的モデルを構築する。主な結果は、このグラフィカルモデルとフレームド Fulton–MacPherson のコンパクト化における(piecewise semi-algebraic)微分形式の間で、フレームド little $n$-discs モノイド作用と整合する弱同値のズイガットが得られることである。

ABSTRACT

We study configuration spaces of framed points on oriented closed smooth manifolds. Such configuration spaces admit natural actions of the framed little discs operads, that play an important role in the study of embedding spaces of manifolds and in factorization homology. We construct real combinatorial models for these operadic modules, for orientable closed smooth manifolds.

研究の動機と目的

• コンパクトな滑らかな多様体上におけるフレームド点の配置空間によって与えられる、フレームド little $n$-discs モノイド上の右モジュールの実ホモトピー型を計算すること。
• フレームド Fulton–MacPherson のコンパクト化における微分形式のための組合的・グラフィカルなモデルを提供すること。
• 非フレームド配置空間の既存のグラフモデルを、$\mathrm{SO}(n)$ のモデルによる装飾によってフレーミングデータを含める形に拡張すること。
• 得られたグラフィカルモデルが、フレームド little $n$-discs モノイドの位相的作用を正しく記述していることを確立すること。

提案手法

• 非フレームド配置空間のグラフィカルモデル $\mathsf{Graphs}_M$ を、各外部頂点に $\mathrm{SO}(n)$ のモデルのコピーを装飾することで拡張し、$\mathsf{Graphs}_M^{\mathrm{fr}}$ を得る。
• $\mathsf{Graphs}_M^{\mathrm{fr}}(k)$ と piecewise semi-algebraic 微分形式 $\Omega_{\mathrm{PA}}(\mathsf{FM}_M^{\mathrm{fr}}(k))$ の間で、 quasi-isomorphism のズイガットを構成する。
• $\mathsf{Graphs}_n$ のグラフィカルモデルである $E_n^{\mathrm{fr}}$ のコオペラッド的コアクションを $\mathsf{Graphs}_M^{\mathrm{fr}}$ に定義し、コンパクト化された配置空間上の位相的作用をモデル化する。
• 曲がった $L_\infty$-代数におけるゲージ理論的構成を用いて、ねじれたモジュールを関連させ、ホップコオペラッドの写像の間のホモトピーを構成する。
• Feynman ルールを介して、$\mathsf{FM}_M^{\mathrm{fr}}$ 上の微分形式がグラフ複体と quasi-isomorphic であるという事実を活用する。
• ホモトピー圏上の写像が位相的作用と同値であることを示すことで、モデルの作用との整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな滑らかな多様体上のフレームド配置空間に対して、点の位置と接ベクトル場のデータの両方を捉える実組合的モデルを構築できるか？
• RQ2 フレームド Fulton–MacPherson のコンパクト化における piecewise semi-algebraic 微分形式を、あるグラフィカルモデルが quasi-isomorphic に表現できるか？
• RQ3 提案されたグラフ複体が、フレームド little $n$-discs モノイドのグラフィカルモデルの自然なコアクションを備えており、位相的モノイド的作用をモデル化できるか？
• RQ4 このモデルを用いて、実または有理数的設定下で埋め込み空間 $\operatorname{Emb}(M,N)$ のホモトピー型を効果的に計算できるか？
• RQ5 曲がった $L_\infty$-代数におけるゲージ理論的技法を、グラフ複体の写像の間のホモトピーを構成するためにどのように用いることができるか？

主な発見

• 写像のズイガット $\mathsf{Graphs}_M^{\mathrm{fr}}(k) \leftarrow \cdot \to \Omega_{\mathrm{PA}}(\mathsf{FM}_M^{\mathrm{fr}}(k))$ が弱同値であることが示され、モデルの正しさが確立された。
• $\mathsf{Graphs}_M^{\mathrm{fr}}$ は、$\mathsf{Graphs}_n$ のコオペラッド的コアクションを備えており、$\mathsf{FM}_n^{\mathrm{fr}}$ が $\mathsf{FM}_M^{\mathrm{fr}}$ 上に作用する位相的作用と整合する。
• このモデルは、$\mathrm{SO}(n)$ のモデルによる装飾によって、$\mathsf{Graphs}_M$ の既存の研究をフレーミングデータを含める形に拡張している。
• ホップコオペラッドの写像の間のホモトピーの構成は、Maurer–Cartan 要素のゲージ同値性に依存し、ゲージフローは時変 $\mathfrak{g}$-値 1-形式として符号化される。
• $\mathsf{BGraphs}_n$ から $\mathsf{BGBGraphs}_n^{\mathrm{bi}}$ への写像 $F_0$ と $F_1$ は、ゲージ理論的統合によりホモトピックであることが示された。
• $F_0$ と $F_1$ のホモトピーは、単体的多様体モデルにおける微分形式の全射化と整合しており、図式内の合成の同値性が確認された。