Symmetric Simplicial Sets

Symmetric simplicial set とは, simplicial set を functor として定義するときの定義域の category \(\Delta \) は finite totally ordered set (の同型類) \([n]=\{0<1<\cdots <n\}\) を object とし, 順序を保つ写像 (poset の写像) を morphism としてできる category である。

順序を保つことを除いて全ての写像を morphism とした category \(!\Delta \) を考えると, その morphism に全ての置換が含まれる。 つまり 対称群が含まれていることになる。 そのため, functor \[ X : (!\Delta )^{\mathrm {op}} \rarrow {} \category {Set} \] のことを symmetric simplicial set と呼ぶ。 最初に調べ始めたのは, Grandisの [Gra01a; Gra01b] だろうか。この \(!\Delta \) という記号も Grandis のものである。 \(!\) の意味がよく分からないので, あまり良い記号とは思えないが。

この category \(!\Delta \) は, Cisinski の [Cis06] に書かれているように, test category になる。

Rosicky と Tholen の [RT03; RT08] は, 与えられた small category に対する universal model category を構成するために symmetric simplicial set を用いている。

Roberts, Ruzzi, Vasselli [RRV09] は poset 上の bundle theory を構築するために用いている。

最近の興味深い話題は, partial gorup との関係である。Hackney と Lynd [HL] による。 彼等は, その視点からは partial groupoid も定義している。

• partial gorup や partial groupoid

References

[Cis06]

Denis-Charles Cisinski. “Les préfaisceaux comme modèles des types d’homotopie”. In: Astérisque 308 (2006), pp. xxiv+390.

[Gra01a]

Marco Grandis. “Finite sets and symmetric simplicial sets”. In: Theory Appl. Categ. 8 (2001), pp. 244–252.

[Gra01b]

Marco Grandis. “Higher fundamental functors for simplicial sets”. In: Cahiers Topologie Géom. Différentielle Catég. 42.2 (2001), pp. 101–136.

[HL]

Philip Hackney and Justin Lynd. Partial groups as symmetric simplicial sets. arXiv: 2310.01513.

[RRV09]

John E. Roberts, Giuseppe Ruzzi, and Ezio Vasselli. “A theory of bundles over posets”. In: Adv. Math. 220.1 (2009), pp. 125–153. arXiv: 0707.0240. url: http://dx.doi.org/10.1016/j.aim.2008.08.004.

[RT03]

J. Rosický and W. Tholen. “Left-determined model categories and universal homotopy theories”. In: Trans. Amer. Math. Soc. 355.9 (2003), pp. 3611–3623. url: http://dx.doi.org/10.1090/S0002-9947-03-03322-1.

[RT08]

J. Rosický and W. Tholen. “Erratum to: “Left-determined model categories and universal homotopy theories” [Trans. Amer. Math. Soc. 355 (2003), no. 9, 3611–3623; MR1990164]”. In: Trans. Amer. Math. Soc. 360.11 (2008), p. 6179. url: http://dx.doi.org/10.1090/S0002-9947-08-04727-2.