[論文レビュー] Real models for the framed little $n$-disks operads

Anton Khoroshkin, Thomas Willwacher|arXiv (Cornell University)|May 23, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用数 12

ひとこと要約

本稿は、$H(B\text{SO}(n))$ に係数をとるグラフ複体におけるMaurer-Cartan要素を用いて、$O(n)$-作用を分析することで、装飾付きlittle $n$-ディスク作用素の明示的な実ホモトピー的モデルを構成する。偶数 $n$ に対しては $\mathbb{R}$ 上で形式的であることを確立し、奇数 $n \geq 3$ に対しては余形式的であることを示し、同変局所化と伝搬子の明示的積分公式を用いて組合せ的モデルを提供する。

ABSTRACT

We study the action of the orthogonal group on the little $n$-disks operads. As an application we provide small models (over the reals) for the framed little $n$-disks operads. It follows in particular that the framed little $n$-disks operads are formal (over the reals) for $n$ even and coformal for all $n$.

研究の動機と目的

• $n \geq 3$ に対して装飾付きlittle $n$-ディスク作用素の実ホモトピー型を理解すること、特に有理ホモトピー型がまだ十分に理解されていない場合に焦点を当てる。
• $\mathsf{D}_n$ における直交群 $O(n)$ の作用と、それが装飾付きバージョンに与える影響を分析すること。
• 同変ホモロジーとグラフ複体を用いて、$\mathbb{R}$ 上で小さな明示的モデルを構成すること。
• 特に偶数と奇数 $n$ の区別を行うことにより、$\mathbb{R}$ 上での装飾付き作用素の形式的および余形式的性質を特定すること。
• $O(n)$-作用を支配するMaurer-Cartan要素の明示的積分公式を提供し、作用素構造の組合せ的実現を可能にする。

提案手法

• 著者たちは、$\mathbb{Z}_2 = \pi_0(O(n))$ に不変な、完成化テンソル積 $\mathrm{GC}_n \hat{\otimes} H(B\text{SO}(n))$ 内のMaurer-Cartan要素 $m$ を用いて、$\mathsf{D}_n$ 上の $O(n)$-作用をモデル化する。
• 配置空間積分と次数の議論を用いて、グラフ複体における伝搬子の明示的積分公式を導出する。
• 同変局所化技術を用いて、Maurer-Cartan要素 $m$ のゲージ同値類を計算し、ホモトピー型を組合せ的データに還元する。
• W構成と $G$-空間における作用素のdgcaモデルを用い、位相的作用素と微分付き可換代数の間の関係を確立する。
• グラフ複体とそのコホモロジーを用いて $O(n)$-同変構造を符号化し、特に2価および1価頂点を持つグラフに注目する。
• 特定の頂点型を持つグラフに対する消滅補題を証明し、モデルの単純化とホモトピー型への非自明な寄与の特定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 偶数 $n$ に対して、装飾付きlittle $n$-ディスク作用素は $\mathbb{R}$ 上で形式的か？
• RQ2 $n \geq 3$ に対して、$\mathsf{D}_n$ 上の $O(n)$-作用の実ホモトピー型は何か？
• RQ3 $\mathbb{R}$ 上で、装飾付きlittle $n$-ディスク作用素に対して小さな組合せ的モデルを構成可能か？
• RQ4 なぜ奇数 $n \geq 3$ に対して、$\mathit{SO}(n)$-装飾付きlittle $n$-ディスク作用素は $\mathbb{R}$ 上で形式的でないのか？
• RQ5 $O(n)$-作用を支配するMaurer-Cartan要素の明示的形は何か？

主な発見

• 偶数 $n$ に対して、装飾付きlittle $n$-ディスク作用素は $\mathbb{R}$ 上で形式的である。これは、その実ホモトピー型が、クイジスモルフィズムのズイガスを通じてコホモロジーと同値であることを意味する。
• 奇数 $n \geq 3$ に対して、$\mathit{SO}(n)$-装飾付きlittle $n$-ディスク作用素の実チェイン作用素は形式的でない。これは、非自明な有理ホモトピー型が確認されたことを示す。
• $\mathsf{D}_n$ 上の $O(n)$-作用を支配するMaurer-Cartan要素 $m$ は、ゲージ同値類の意味で明示的に計算され、$\sum_{j \geq 1} \frac{p_{2n-2}^j}{4^j} \frac{1}{2(2j+1)!} \cdot \text{(2つのタイプII頂点と $j$ 条の辺を持つグラフ)}$ の形をとる。
• 1価頂点を含むグラフの配置空間積分は、$\hat{Z}^0_{m,n}$ に属する特定の形を除いては消える。これによりモデルが単純化される。
• $(O(n)$-装飾付きlittle $n$-ディスク作用素の実ホモトピー型は、$\mathrm{GC}_n \hat{\otimes} H(B\text{SO}(n))$ 内の $\mathbb{Z}_2$-不変Maurer-Cartan要素によって完全に決定され、完全な組合せ的再構成が可能になる。
• モデルは同変局所化によって構成され、$O(n)$-同変構造が有限次元かつ計算可能な不変量へと還元可能である。