Generalizations and Variations of Operads

複雑な構造を記述するために, operad 以前にも様々な試みがあった。例えば次のようなものである。

• PROP
• PACT

PROP と PACT は, Mac Lane [Mac63] により導入された概念である。

これらについては, Adams の無限ループ空間に関する本 [Ada78] に解説がある。Markl の [Mar08] も見るとよい。

PROP に関連したものとして bialgebra があるが, Saneblidze と Umble は, [SU11] で bialgebra の homotopy version を考える際に matron という概念を導入している。その後, matrad という名前に変えている。

• matron あるいは matrad

彼等は, associahedron から始まる 多面体の列を構成し, matrad の中で中心的な役割のものが, その cellular chain complex と同型であることを示している。

Vallette が PROP の Kozsul duality について [Val03; Val07] で調べているが, その中で, PROP の本質的な部分を取り出した properad という概念を導入している。

他にも Kozsul duality の文脈で, \(\frac {1}{2}\)PROP や dioperad [Gan03] という概念が考えられている。\(\frac {1}{2}\)PROP は Kontsevich によるものらしいが, その定義等は Markl の [Mar08] を見るのがいいだろう。

• properad
• \(\frac {1}{2}\)PROP
• dioperad

これらの関係については, Markl の [Mar08] や Vallette の [Val07] によると以下の通り:

• operad は \(\frac {1}{2}\)PROP
• \(\frac {1}{2}\)PROP は dioperad
• dioperad は properad
• PROP の圏から properad の圏への forgetful functor は left adjoint を持つ。つまり properad からは PROP が生成される。

Poisson manifold の formal germ に star product が存在するという Kontsevich の定理の別証 [Mer] など, 幾何学的問題にも使われている。

Donald Yau は [Yau] で operadic collection という, enriched operad, properad, prop, wheeled operad, wheeled prop などの構造をすべて含む概念を導入し, その上の algebra のホモトピー論を展開している。

• operadic collection

PROP と同時期に生れた概念として, theory (algebraic theory) というものがある。

• algebraic theory と関連した概念

群の作用を考えた文脈での operad も考えられている。 \(E_{\infty }\)-operad が, spectrum の積の可換性を記述するように, \(G\)-equivariant operad で, ある条件をみたすものが, equivariant spectrum の積の可換性を記述する。例えば, Blumberg と Hill の [BH15] を見るとよい。

• \(N_{\infty }\)-operad

様々な群の作用をまとめて考えた global equivariant homotopy theory での operad, 特に \(E_{\infty }\)-operad の global 版については, Barrero [Bar] が考えている。

• global \(E_{\infty }\)-operad

Operad の双対である cooperad という概念もある。例えば, Berger と Moerdijk の [BM03] など。

• cooperad

Hortsch, Kriz, Pultr の [HKP10] では, vertex algebra を定義するのに使われている。

群の作用を持つ場合については, Bonventre と Pereira の [BP21] の Introduction をみるとよい。

• equivariant operad

Bonventre と Pereira は, [BP20] で, その equivariant operad の文脈で complete Segal space や Segal category の類似を定義している。

Operad を一般化した概念としては, 他に multicategory や colored operad と呼ばれているものがある。

• multicategory

Small category の nerve は simplicial set となるが, multicategory での対応する構成からは, dendroidal set ができる。

• dendroidal set

Algebraic theory や multicategory などを統一して扱うための枠組みとして, Cruttwell と Shulman [CS10] は double category 上の monad を使うことを提案している。

これらを全て含む構造として, Kaufmann と Ward [KW17] は, Feynman category というものを提案している。Kaufmann による lecture note [Kau18] がある。

• Feynman category

その後 Kaufmann と Lucas [KL17] は decorated Feynman category を導入している。Operad に対しては, Ginzburg と Kapranov [GK94] により Koszul duality が導入されたが, Kaufmann と Ward [KW] は Feynman category の Koszul duality を考えている。

同様の “operad-like structure” として, Batanin と Markl の [BM15] では, polynomial monad , moment category, operator category [Bar18] といったものが挙げられている。 また Batanin と Markl らも新たに operadic category という構造を導入している。

• operadic category

Batanin と Berger [BB17] は, cyclic operad, modular operad, properad, prop などの様々な operad の一般化が polynomial monad 上の algebra として表せることを示している。

Forcey と Siehler と Sowers は, [FSS] で operad を定義する圏の symmetric monoidal という条件を一般化する ことを考えている。彼等は, 複数の“tensor product”を持つ iterated monoidal category を考えている。

近年の higher category theory の普及, 特に \((\infty ,1)\)-category の人気により, operad の高次化も色々調べられている。

• higher operads

Higher category に使われるものとしては, Baez と Dolan が [BD98] で導入した opetope というものもある。 Leinster の本 [Lei04] には, opetope に関する chapter がある。

• opetope

Zawadowski の [Zawa] に書かれているように, opetope を定義する方法は, 実にたくさんある。 そこで挙げられているのは, 次の文献である: [Bur93], [Zaw11], [BD98], [HMP00; HMP01; HMP02], [Lei04], [Che03], [SZ13] , [FS17], [CTM], [Ho 20], [Pal04], [Koc+10], [Zawc], [Zawb]

Opetope の一般化として, actad というものを Sophie Kriz [Kri] が導入している。

• actad

Horel [Hor17] は, operad の profinite completion を考える際に, profinite completion と直積の相性が良くないことから, operad の定義を Segal流に弱めたものを weak operad と言って用いている。

• weak operad

Operad の構造の一部を持つものも考えられている。Weissの [Wei19] では, \(k\)個までの入力しか持たない \(k\)-truncated operad というものが調べられている。

• \(k\)-truncated operad

Umbral calculus に現れる操作と関連して monop という構成が Méndez と Sánchez [MS] により導入されている。

• monop

References

[Ada78]

John Frank Adams. Infinite loop spaces. Vol. 90. Annals of Mathematics Studies. Princeton, N.J.: Princeton University Press, 1978, p. x 214. isbn: 0-691-08207-3; 0-691-08206-5.

[Bar]

Miguel Barrero. Operads in Unstable Global Homotopy Theory. arXiv: 2110.01674.

[Bar18]

Clark Barwick. “From operator categories to higher operads”. In: Geom. Topol. 22.4 (2018), pp. 1893–1959. arXiv: 1302.5756. url: https://doi.org/10.2140/gt.2018.22.1893.

[BB17]

M. A. Batanin and C. Berger. “Homotopy theory for algebras over polynomial monads”. In: Theory Appl. Categ. 32 (2017), Paper No. 6, 148–253. arXiv: 1305.0086.

[BD98]

John C. Baez and James Dolan. “Higher-dimensional algebra. III. \(n\)-categories and the algebra of opetopes”. In: Adv. Math. 135.2 (1998), pp. 145–206. arXiv: q - alg / 9702014. url: https://doi.org/10.1006/aima.1997.1695.

[BH15]

Andrew J. Blumberg and Michael A. Hill. “Operadic multiplications in equivariant spectra, norms, and transfers”. In: Adv. Math. 285 (2015), pp. 658–708. arXiv: 1309.1750. url: https://doi.org/10.1016/j.aim.2015.07.013.

[BM03]

Clemens Berger and Ieke Moerdijk. “Axiomatic homotopy theory for operads”. In: Comment. Math. Helv. 78.4 (2003), pp. 805–831. arXiv: math/0206094. url: http://dx.doi.org/10.1007/s00014-003-0772-y.

[BM15]

Michael Batanin and Martin Markl. “Operadic categories and duoidal Deligne’s conjecture”. In: Adv. Math. 285 (2015), pp. 1630–1687. arXiv: 1404.3886. url: https://doi.org/10.1016/j.aim.2015.07.008.

[BP20]

Peter Bonventre and Luı́s A. Pereira. “Equivariant dendroidal Segal spaces and \(G\)-\(\infty \)-operads”. In: Algebr. Geom. Topol. 20.6 (2020), pp. 2687–2778. arXiv: 1801.02110. url: https://doi.org/10.2140/agt.2020.20.2687.

[BP21]

Peter Bonventre and Luı́s A. Pereira. “Genuine equivariant operads”. In: Adv. Math. 381 (2021), Paper No. 107502, 133. arXiv: 1707.02226. url: https://doi.org/10.1016/j.aim.2020.107502.

[Bur93]

Albert Burroni. “Higher-dimensional word problems with applications to equational logic”. In: Theoret. Comput. Sci. 115.1 (1993). 4th Summer Conference on Category Theory and Computer Science (Paris, 1991), pp. 43–62. url: http://dx.doi.org/10.1016/0304-3975(93)90054-W.

[Che03]

Eugenia Cheng. “The category of opetopes and the category of opetopic sets”. In: Theory Appl. Categ. 11 (2003), No. 16, 353–374. arXiv: math/0304284.

[CS10]

G. S. H. Cruttwell and Michael A. Shulman. “A unified framework for generalized multicategories”. In: Theory Appl. Categ. 24 (2010), No. 21, 580–655. arXiv: 0907.2460.

[CTM]

Pierre-Louis Curien, Cédric Ho Thanh, and Samuel Mimram. Syntactic approaches to opetopes. arXiv: 1903.05848.

[FS17]

Marcelo Fiore and Philip Saville. “List objects with algebraic structure”. In: 2nd International Conference on Formal Structures for Computation and Deduction. Vol. 84. LIPIcs. Leibniz Int. Proc. Inform. Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, 2017, Art. No. 16, 18.

[FSS]

S. Forcey, J. Siehler, and E. Seth Sowers. Combinatorial \(n\)-fold monoidal categories and \(n\)-fold operads. arXiv: math/0411561.

[Gan03]

Wee Liang Gan. “Koszul duality for dioperads”. In: Math. Res. Lett. 10.1 (2003), pp. 109–124. arXiv: math / 0201074. url: https://doi.org/10.4310/MRL.2003.v10.n1.a11.

[GK94]

Victor Ginzburg and Mikhail Kapranov. “Koszul duality for operads”. In: Duke Math. J. 76.1 (1994). Erratum in Duke Math. J. 80, no. 1, 293, pp. 203–272. arXiv: 0709.1228. url: http://dx.doi.org/10.1215/S0012-7094-94-07608-4.

[HKP10]

Ruthi Hortsch, Igor Kriz, and Aleš Pultr. “A universal approach to vertex algebras”. In: J. Algebra 324.7 (2010), pp. 1731–1753. arXiv: 1006 . 0027. url: https://doi.org/10.1016/j.jalgebra.2010.05.012.

[HMP00]

Claudio Hermida, Michael Makkai, and John Power. “On weak higher dimensional categories. I. 1”. In: vol. 154. 1-3. Category theory and its applications (Montreal, QC, 1997). 2000, pp. 221–246. url: https://doi.org/10.1016/S0022-4049(99)00179-6.

[HMP01]

Claudio Hermida, Michael Makkai, and John Power. “On weak higher-dimensional categories. I.2”. In: J. Pure Appl. Algebra 157.2-3 (2001), pp. 247–277. url: https://doi.org/10.1016/S0022-4049(00)00129-8.

[HMP02]

Claudio Hermida, Michael Makkai, and John Power. “On weak higher-dimensional categories. I. 3”. In: J. Pure Appl. Algebra 166.1-2 (2002), pp. 83–104. url: http://dx.doi.org/10.1016/S0022-4049(01)00014-7.

[Ho 20]

Cédric Ho Thanh. “Opetopes : syntactic and algebraic aspects”. Thèse de doctorat dirigée par Curien, Pierre-Louis et Mimram, Samuel Mathématiques. Algèbre Université Paris Cité 2020. PhD thesis. Université Paris Cité, 2020. url: http://www.theses.fr/2020UNIP7112.

[Hor17]

Geoffroy Horel. “Profinite completion of operads and the Grothendieck-Teichmüller group”. In: Adv. Math. 321 (2017), pp. 326–390. arXiv: 1504.01605. url: https://doi.org/10.1016/j.aim.2017.09.030.

[Kau18]

Ralph M. Kaufmann. “Lectures on Feynman categories”. In: 2016 MATRIX annals. Vol. 1. MATRIX Book Ser. Springer, Cham, 2018, pp. 375–438. arXiv: 1702.06843.

[KL17]

Ralph Kaufmann and Jason Lucas. “Decorated Feynman categories”. In: J. Noncommut. Geom. 11.4 (2017), pp. 1437–1464. arXiv: 1602. 00823. url: https://doi.org/10.4171/JNCG/11-4-8.

[Koc+10]

Joachim Kock, André Joyal, Michael Batanin, and Jean-François Mascari. “Polynomial functors and opetopes”. In: Adv. Math. 224.6 (2010), pp. 2690–2737. arXiv: 0706.1033. url: http://dx.doi.org/10.1016/j.aim.2010.02.012.

[Kri]

Sophie Kriz. Actads. arXiv: 2108.08413.

[KW]

Ralph M. Kaufmann and Benjamin C. Ward. Koszul Feynman Categories. arXiv: 2108.09251.

[KW17]

Ralph M. Kaufmann and Benjamin C. Ward. “Feynman categories”. In: Astérisque 387 (2017), pp. vii+161. arXiv: 1312.1269.

[Lei04]

Tom Leinster. Higher operads, higher categories. Vol. 298. London Mathematical Society Lecture Note Series. Cambridge: Cambridge University Press, 2004, pp. xiv+433. isbn: 0-521-53215-9. arXiv: math/0305049. url: http://dx.doi.org/10.1017/CBO9780511525896.

[Mac63]

Saunders Mac Lane. “Natural associativity and commutativity”. In: Rice Univ. Studies 49.4 (1963), pp. 28–46.

[Mar08]

Martin Markl. “Operads and PROPs”. In: Handbook of algebra. Vol. 5. Vol. 5. Handb. Algebr. Elsevier/North-Holland, Amsterdam, 2008, pp. 87–140. arXiv: math / 0601129. url: http://dx.doi.org/10.1016/S1570-7954(07)05002-4.

[Mer]

S. A. Merkulov. PROP profile of deformation quantization and graph complexes with loops and wheels. arXiv: math/0412257.

[MS]

Miguel Méndez and Rafael Sánchez. On the combinatorics of Riordan arrays and Sheffer polynomials: monoids, operads and monops. arXiv: 1707.00336.

[Pal04]

Thorsten Palm. “Dendrotopic sets”. In: Galois theory, Hopf algebras, and semiabelian categories. Vol. 43. Fields Inst. Commun. Amer. Math. Soc., Providence, RI, 2004, pp. 411–461. url: https://doi.org/10.1090/fic/043.

[SU11]

Samson Saneblidze and Ronald Umble. “Matrads, biassociahedra, and \(A_{\infty }\)-bialgebras”. In: Homology Homotopy Appl. 13.1 (2011), pp. 1–57. arXiv: math/0508017. url: http://dx.doi.org/10.4310/HHA.2011.v13.n1.a1.

[SZ13]

Stanisław Szawiel and Marek Zawadowski. “The web monoid and opetopic sets”. In: J. Pure Appl. Algebra 217.6 (2013), pp. 1105–1140. arXiv: 1011.2374. url: https://doi.org/10.1016/j.jpaa.2012.09.030.

[Val03]

Bruno Vallette. Dualité de Koszul des PROPs. Prépublication de l’Institut de Recherche Mathématique Avancée [Prepublication of the Institute of Advanced Mathematical Research], 2003/30. Dissertation, Université de Strasbourg I, Strasbourg, 2003. Strasbourg: Université Louis Pasteur Département de Mathématique Institut de Recherche Mathématique Avancée, 2003, p. 124. arXiv: math/0405057.

[Val07]

Bruno Vallette. “A Koszul duality for PROPs”. In: Trans. Amer. Math. Soc. 359.10 (2007), pp. 4865–4943. arXiv: math/0411542. url: http://dx.doi.org/10.1090/S0002-9947-07-04182-7.

[Wei19]

Michael S. Weiss. “Truncated operads and simplicial spaces”. In: Tunis. J. Math. 1.1 (2019), pp. 109–126. arXiv: 1503.06977. url: https://doi.org/10.2140/tunis.2019.1.109.

[Yau]

Donald Yau. Dwyer-Kan Homotopy Theory of Algebras over Operadic Collections. arXiv: 1608.01867.

[Zawa]

Marek Zawadowski. Duality for positive opetopes and tree complexes. arXiv: 2101.00050.

[Zawb]

Marek Zawadowski. On ordered face structures and many-to-one computads. arXiv: 0708.2659.

[Zawc]

Marek Zawadowski. On positive face structures and positive-to-one computads. arXiv: 0708.2658.

[Zaw11]

Marek Zawadowski. “Lax monoidal fibrations”. In: Models, logics, and higher-dimensional categories. Vol. 53. CRM Proc. Lecture Notes. Providence, RI: Amer. Math. Soc., 2011, pp. 341–426. arXiv: 0912.4464.