[論文レビュー] $N_\infty$-operads and associahedra

Scott Balchin, David Barnes+1 more|arXiv (Cornell University)|May 9, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 6

ひとこと要約

本稿では、$N_\infty$-operads が有限巡回群 $G = C_{p^n}$ に対して、その poset が $(n+1)$-associahedron と順序を保つ同型であることを示すことにより、素数べき位数の有限巡回群に対して $N_\infty$-operads を組み合わせ的に分類する。このとき、このような $N_\infty$-operads の数は $(n+1)$-番目のカタラン数に等しい。さらに、純粋な $N_\infty$-operads と混合な $N_\infty$-operads の概念を導入し、任意の有限巡回群における $N_\infty$-operads の総数に対する閉形式の下界を提供する。

ABSTRACT

We provide a new combinatorial approach to studying the collection of N-infinity-operads in G-equivariant homotopy theory for G a finite cyclic group. In particular, we show that for G the cyclic group of order p^n the natural order on the collection of N-infinity-operads stands in bijection with the poset structure of the (n+1)-associahedron. We further provide a lower bound for the number of possible N-infinity-operads for any finite cyclic group G.

研究の動機と目的

• 有限巡回群に対して、$G$--equivariant homotopy theory における $N_\infty$-operads を分類するための組み合わせ的枠組みを提供すること。
• 有限巡回群 $G = C_{p^n}$ に対する $N_\infty$-operads の poset と $(n+1)$-associahedron の間の双対性を確立し、その構造がカタラン数によって支配されることを示すこと。
• 巡回 $p$-群の積の文脈において、純粋な $N_\infty$-operads と混合な $N_\infty$-operads の区別を導入し、それらを分析すること。
• 任意の有限巡回群に対して、$N_\infty$-operads の総数に対する非自明な閉形式の式を導出すること、特に $G = C_{p^n}C_{q^m}$ に対して純粋な $N_\infty$-operads の数を明示的に与えること。

提案手法

• $N_\infty$-operads を、制限および合成に関して閉じた部分グラフ（すなわち、部分群ラティスの部分グラフ）として表現する。これは、インデクシングシステムと同値である。
• $(n+1)$-associahedron の poset 構造を用い、$n+2$ 個の葉を持つ二分木に対応する頂点を用いて、$G = C_{p^n}$ に対する $N_\infty$-operads の包含順序をモデル化する。
• 二分木と associahedra の対応を介して、$N_\infty$-operads の poset とタマリラティスの間の順序を保つ同型を確立する。
• 純粋な $N_\infty$-operads を、$C_{p^n}$ および $C_{q^m}$ の部分群への制限によって完全に決定されるもの、混合な $N_\infty$-operads を、部分群からの誘導されない追加のノーム写像を必要とするものとして定義する。
• $n$-Tamari ラティス $\mathcal{A}_n$ を用いて、ラティス内での長さ $n$ のパスの数を数え、その数を表す式 $\mathcal{P}(n,r)$ を導出する。
• $C_{p^n}C_{q^m}$ 上の純粋な $N_\infty$-operads の数を表す式 $\mathcal{P}(n+1,m)\mathcal{P}(m+1,n)$ を導出し、$k$ 重積への一般化を、このような項の積として行う。

実験結果

リサーチクエスチョン

• RQ1 有限巡回群 $G = C_{p^n}$ に対する $N_\infty$-operads の poset をどのように組み合わせ的に記述できるか？
• RQ2 $(n+1)$-associahedron やタマリラティスのような、組み合わせ的不変量（多面体やラティス）が、$C_{p^n}$ に対する $N_\infty$-operads の包含順序を分類する直接的なものであるか？
• RQ3 巡回 $p$-群の積の文脈において、純粋な $N_\infty$-operads と混合な $N_\infty$-operads の違いは何か？
• RQ4 任意の有限巡回群 $G$ に対して、$N_\infty$-operads の総数に対する非自明な下界を確立できるか？

主な発見

• 有限巡回群 $G = C_{p^n}$ に対する $N_\infty$-operads の poset は、$(n+1)$-associahedron と順序を保つ同型であり、その数は $(n+1)$-番目のカタラン数に等しい。
• $G = C_{p^n}C_{q^m}$ に対して、純粋な $N_\infty$-operads の数は $\mathcal{P}(n+1,m)\mathcal{P}(m+1,n)$ で与えられ、ここで $\mathcal{P}(n,r)$ は $n$-Tamari ラティス内での長さ $r$ パスの数を表す。
• 長さ $r$ パスの数を表す式 $\mathcal{P}(n,r) = \frac{2(4n+1)!}{(n+1)!(3n+2)!}$ が、このようなパスの数に対する閉形式の式を提供する。
• $G = C_{p^3q}$ に対する $N_\infty$-operads の総数が計算的に 544 に一致することを確認し、混合型の $N_\infty$-operads の複雑さを示している。
• 有限巡回群 $G = C_{p^{n_1}}\cdots C_{p^{n_k}}$ に対する純粋な $N_\infty$-operads の数は $\prod_{i,j=1}^k \mathcal{P}(n_i+1,n_j)$ で与えられ、これは任意の有限巡回群に対する $N_\infty$-operads の総数に対する非自明な下界を提供する。
• $C_{pq}$ の場合にのみ「唯一の例外」として現れるノーム写像が、合成則によって強制されないことがあり、これが混合型 $N_\infty$-operads を純粋型から区別する要因である。