4
$\begingroup$

Hi everybody,

I'm interested in the barycentric subdivision of a poset $P$, defined as the face poset of the corresponding order complex $\mathcal F(\Delta(P))$ (or alternatively, the poset of chains in $P$ ordered by inclusion). Actually, I'm interested in the subdivision of small categories, but I'm also happy understanding the poset case.

I was wondering if the functor $sd:\mbox{Poset} \to \mbox{Poset}$ has a right adjoint. I am aware of the Ex functor, which is right adjoint to the corresponding functor of simplicial sets. Can one define a similar object for posets?

$\endgroup$

1 Answer 1

4
$\begingroup$

This functor has no right adjoint, since it doesn't preserve colimits. Let $[m]$ denote the linearly ordered set $\{0,\ldots,m\}$ and consider the pushout of $[0]\overset{0}{\to}[1]$ and $[0]\overset{1}{\to}[1]$, which can be identified with $[2]$. Now $\mathrm{sd}[2]$ is the poset of chains in $[2]$, but the pushout of $\mathrm{sd}[1]\leftarrow\mathrm{sd}[0]\to\mathrm{sd}[1]$ has only five elements, in fact it can be identified with the subset of $\mathrm{sd}[2]$ consisting of chains $\{0\},\{1\},\{2\},\{0,1\},\{1,2\}$.

$\endgroup$

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.