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 [HL25] による。 彼等は, その視点からは
partial groupoid も定義している。
Simplicial set の定義で \(\Delta \) を単射の成す category に変えたものは \(\Delta \)-set や semisimplicial set などと呼ばれるが,
symmetric simplicial set の定義に使われる \(!\Delta \) を単射の成す subcategory にしたものも使われている。Frigerio と
Moraschini の [FM23] では unordered semisimplicial set と呼ばれているが, Payne ら
[CGP21; ACP22] は symmetric \(\Delta \)-complex と呼んでいる。Symmetric semisimplicial set
と呼ぶのが良いと思うが。
- unordered semisimplicial set or symmetric \(\Delta \)-complex or symmetric
semisimplicial set
References
-
[ACP22]
-
Daniel Allcock, Daniel Corey, and Sam
Payne. “Tropical moduli spaces as symmetric \(\Delta \)-complexes”. In: Bull.
Lond. Math. Soc. 54.1 (2022), pp. 193–205. arXiv: 1908.08171. url:
https://doi.org/10.1112/blms.12570.
-
[CGP21]
-
Melody Chan, Søren Galatius, and Sam Payne. “Tropical curves,
graph complexes, and top weight cohomology of \(\cM _{g}\)”. In: J. Amer.
Math. Soc. 34.2 (2021), pp. 565–594. arXiv: 1805.10186. url:
https://doi.org/10.1090/jams/965.
-
[Cis06]
-
Denis-Charles Cisinski. “Les préfaisceaux comme modèles des types
d’homotopie”. In: Astérisque 308 (2006), pp. xxiv+390.
-
[FM23]
-
Roberto Frigerio and Marco
Moraschini. “Gromov’s theory of multicomplexes with applications
to bounded cohomology and simplicial volume”. In: Mem. Amer.
Math. Soc. 283.1402 (2023), pp. vi+153. arXiv: 1808.07307. url:
https://doi.org/10.1090/memo/1402.
-
[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.
-
[HL25]
-
Philip Hackney and Justin
Lynd. “Partial groups as symmetric simplicial sets”. In: J. Pure Appl.
Algebra 229.2 (2025), Paper No. 107864, 22. arXiv: 2310.01513. url:
https://doi.org/10.1016/j.jpaa.2025.107864.
-
[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.
|