ScalingStacks

Definition . [03D4]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Definition.

Suppose κ:𝒬→𝒫\kappa\colon\mathcal{Q}\rightarrow\mathcal{P} is an order preserving, non-rank-increasing correspondence between the graded posets 𝒬\mathcal{Q} and 𝒫\mathcal{P}. Define the barycentric subdivision bsd⁡(𝒬,κ)\operatorname{bsd}(\mathcal{Q},\kappa) of 𝒬\mathcal{Q} with respect to κ\kappa as the subposet

{(p,q0≺q1≺…≺qr)∈𝒫×bsd(𝒬):p⪯κ(q0)}\{(p\ ,\ q_{0}\prec q_{1}\prec\ldots\prec q_{r})\in\mathcal{P}\times\operatorname{bsd}(\mathcal{Q})\ :\ p\preceq\kappa(q_{0})\}

of the product poset bsd⁡(𝒬)×𝒫\operatorname{bsd}(\mathcal{Q})\times\mathcal{P}.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.