Cyclic structures and the topos of simplicial sets (Q479315): Difference between revisions

Recall that for a cyclic set \(X_\ast\), its geometric realization \(|X_\ast|\) carries a natural action of the unit circle, \(S^1\) [\textit{J.-L. Loday}, Cyclic homology. 2nd ed. Berlin: Springer (1998; Zbl 0885.18007), Section 7.1.4]. The main result of the paper under review is to extend this result to the topos of simplicial sets and describe all resulting cyclic structures. Let \(\Delta\) be the usual simplicial category and let \(\hat\Delta=\mathfrak{Sets}^{\Delta^{\mathrm{op}}}\) be the functor category called the topos of simplicial sets. For a point \(p\) of the topos \(\hat{\Delta}\) with associated flat functor \(\mathfrak F:\Delta\to\mathfrak{Sets}\) [\textit{S. Mac Lane} and \textit{I. Moerdijk}, Sheaves in geometry and logic: a first introduction to topos theory. New York etc.: Springer-Verlag (1992; Zbl 0822.18001)], a cyclic structure on \(p\) is defined as an extension of \(\mathfrak F\) to the cyclic category \(\Lambda\). To the point \(p\) there corresponds an interval \(I\), defined as a totally ordered set with a minimal element \(b\) and a maximal element \(t\), \(t>b\). For \(p=p_I\) a point of \(\hat{\Delta}\), the cyclic structures on \(p\) are classified by the left-ordered group structures on the set \[ G=(\mathbb Z\times I)/\sim, \] where \(\mathbb Z\times I\) is given the lexicographic order and the equivalence relation \(\sim\) is generated by \[ (n,t)\sim (n+1,b),\quad n\in\mathbb Z. \] Let \(c:\mathbb Z\to G\) be the injection of sets given by \(c(n)=(n,b)\). Proven is that a cyclic structure on \(p_I\) corresponds to a group law on \(G\) so that: {\parindent=0.7cm \begin{itemize}\item[(i)] The order relation on \(G\) is left invariant. \item[(ii)] The restriction of the group law of \(G\) on \(c(\mathbb Z)\times G\) is commutative and is given by \[ c(n)(m,u)=(m,u)c(n)=(n+m,u),\quad n,m\in\mathbb Z,\quad u \in I. \] \end{itemize}} It should be noted that there exit points of \(\hat{\Delta}\) that support no cyclic structures and that points of \(\hat{\Delta}\) associated to finite intervals have a unique cyclic structure. The paper is carefully written with the details of the cyclic category \(\Lambda\) and the cyclic structure \(\Lambda\to\mathfrak{Sets}\) (extending \(\mathfrak F:\Delta\to\mathfrak{Sets}\)) explicitly given.