English

Face Numbers of Shellable CW Balls and Spheres

Combinatorics 2024-09-16 v1

Abstract

Let X\mathscr{X} be the boundary complex of a (d+1)(d+1)-polytope, and let ρ(d+1,k)=12[((d+1)/2dk)+((d+1)/2dk)]\rho(d+1,k) = \frac{1}{2}[{\lceil (d+1)/2 \rceil \choose d-k} + {\lfloor (d+1)/2 \rfloor \choose d-k}]. Recently, the author, answering B\'ar\'any's question from 1998, proved that for all d12kd\lfloor \frac{d-1}{2} \rfloor \leq k \leq d, fk(X)ρ(d+1,k)fd(X). f_k(\mathscr{X}) \geq \rho(d+1,k)f_d(\mathscr{X}). We prove a generalization: if X\mathscr{X} is a shellable, strongly regular CW sphere or CW ball of dimension dd, then for all d12kd\lfloor \frac{d-1}{2} \rfloor \leq k \leq d, fk(X)ρ(d+1,k)fd(X)+12fk(X), f_k(\mathscr{X}) \geq \rho(d+1,k)f_d(\mathscr{X}) + \frac{1}{2}f_k(\partial \mathscr{X}), with equality precisely when k=dk=d or when k=d1k=d-1 and X\mathscr{X} is simplicial. We further prove that if S\mathscr{S} is a strongly regular CW sphere of dimension dd, and the face poset of S\mathscr{S} is both CL-shellable and dual CL-shellable, then fk(S)min{f0(S),fd(S)}f_k(\mathscr{S}) \geq \min\{f_0(\mathscr{S}),f_d(\mathscr{S})\} for all 0kd0 \leq k \leq d.

Keywords

Cite

@article{arxiv.2409.08427,
  title  = {Face Numbers of Shellable CW Balls and Spheres},
  author = {Joshua Hinman},
  journal= {arXiv preprint arXiv:2409.08427},
  year   = {2024}
}

Comments

9 pages