9
$\begingroup$

Recall that we may define a functor $\xi:\Delta\to \operatorname{Poset}$ sending a simplex $[n]$ to the set of monotone injections $[k]\hookrightarrow [n]$ for $k\geq 0$ (effectively, $k\leq n$ as well, but this follows from injectivity) partially ordered by inclusion. Composing this with the obvious inclusion $\iota:\operatorname{Poset}\hookrightarrow \operatorname{Cat}$ and the nerve $\operatorname{Cat}\to \operatorname{sSet}$, this yields a functor $\Delta\to \operatorname{sSet}$, and by the universal property of presheaf categories, there exists a unique colimit-preserving lift $\operatorname{Sd}:\operatorname{sSet}\to \operatorname{sSet}$ By adjoint functor nonsense, we obtain an adjunction $$\operatorname{Sd}:\operatorname{sSet}\leftrightarrows \operatorname{sSet}:\operatorname{Ex}.$$

The functor $\operatorname{Sd}$, unsurprisingly is called the barycentric subdivision, since we obtain an isomorphism $$\operatorname{Sd}\circ N_{\mathcal{CS}}(-)\cong N_{\mathcal{CS}}\circ \xi_\mathcal{CS}(-)$$ of functors $\mathcal{CS}\to sSet$ where $\mathcal{CS}$ is the classical category of combinatorial simplicial complexes, $N_\mathcal{CS}:\mathcal{CS}\to sSet$ is the nerve of simplicial complexes${}^1$, and $\xi_{\mathcal{CS}}:\mathcal{CS}\to \mathcal{CS}$ is the classical barycentric subdivision of simplicial complexes.

Where does the two-letter abbreviation for $\operatorname{Ex}$ come from? Does it actually stand for an english word? Does it have a classical analogue for combinatorial or topological simplicial complexes in the way that barycentric subdivision does?

(I wasn't sure if I should tag this as a soft-question, so I added some gratuitous background and a mathematical question to even things out. I have marked this question community wiki, however, since I would probably call for wikification if the question were asked by somebody else).


Notes:
$({}^1)$ To do this, fix a strict total ordering $\tau$ of the vertices $E$ of the simplicial complex $X=(E,X_\Delta)$. Consider $X^\tau$ as an object of the slightly more strict category of oriented simplicial complexes, denoted by $\mathcal{OCS}$, which consists of simplicial complexes with strict total orders on their sets of vertices and orientation-preserving (that is to say, order-preserving on vertices) morphisms between them. Then we define the oriented realization $\Delta^\bullet_\mathcal{OCS}:\Delta\to \mathcal{OCS}$ by the formula $[\bullet]\mapsto \Delta^\bullet_\mathcal{OCS}:=([\bullet],\xi([\bullet]))$. Then define

$$N_\mathcal{OCS}(X^\tau)_n:=Hom_{\mathcal{OCS}}(\Delta^n_\mathcal{OCS},X^\tau).$$

If we're willing to include orientation in our definition of a simplicial complex, then we may drop the $\mathcal{O}$, and the isomorphism of functors that we noted actually exists. If not, then the statement only holds up to choosing orderings (in particular, $N_\mathcal{CS}$ depends heavily on the orientation, but picking an orientation is "not functorial on morphisms" (whatever that may mean!)).

$\endgroup$
4
  • $\begingroup$ I do not understand your composition \Delta \to sSet unless your nerve functor should be Cat \to sSet. $\endgroup$ Dec 20, 2010 at 16:12
  • 6
    $\begingroup$ ${\rm Ex}$ for extension (see Kan, "On c.s.s. complexes", Am. J. Math 79, vol. 3 (1957), pp 449--476. In particular section 3). $\endgroup$ Dec 20, 2010 at 16:54
  • $\begingroup$ @Sean: Yes, that was a typo. (I copied and pasted "\operatorname{sSet}" and forgot to swap out the middle on one of them! $\endgroup$ Dec 20, 2010 at 17:14
  • 7
    $\begingroup$ For the terminology question, let me add: what most people call a "Kan complex", Kan calls in this paper a simplicial set satisfying the "extension condition". $Ex^\infty(X)$ is a replacement of $X$ which satisfies the EXtension condition. $\endgroup$ Dec 20, 2010 at 18:18

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.