Bier spheres and posets (Q2486856): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Anders Bjoerner / rank | |||
Property / author | |||
Property / author: Günter M. Ziegler / rank | |||
Property / reviewed by | |||
Property / reviewed by: Q588087 / rank | |||
Property / author | |||
Property / author: Anders Bjoerner / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Günter M. Ziegler / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Peter McMullen / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2093775888 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0311356 / rank | |||
Normal rank |
Latest revision as of 07:48, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Bier spheres and posets |
scientific article |
Statements
Bier spheres and posets (English)
0 references
17 August 2005
0 references
Let \(P\) be a poset of finite length, and let \(I\) be a proper ideal of \(P\), so that \(x \in I\) if \(x \leq y\) for some \(y \in I\), and \(I \neq P\) or \(\emptyset\). The poset Bier\((P,I)\) consists of all intervals \([x,y] \subseteq P\) such that \(x \in I\) and \(y \notin I\), with \([x',y'] \leq [x,y]\) given by \(x' \leq x < y \leq y'\), together with an additional top element \(\hat 1\). These posets generalize simplicial \((n-2)\)-spheres with \(2n\) vertices constructed by Bier (unpublished), as deleted joins of simplicial complexes on \(n\) vertices with their Alexander duals. The authors first show that various properties of \(P\) imply corresponding properties of \(\text{ Bier}(P,I)\); for example, they have the same length, they are both graded or not, and if \(P\) is a lattice, then so is \(\text{ Bier}(P,I)\). If \(\overline P := P \setminus \{\hat 0,\hat 1\}\) is the proper part of \(P\) and \(\Delta(\overline P)\) is its order complex, then they next show that \(\Delta(\overline{\text{Bier}(P,I)})\) can be obtained from \(\Delta(\overline P)\) by stellar subdivision. A Bier sphere comes from the case \(P = B_n\), the Boolean lattice; these are shown here to be shellable, and to satisfy the \(g\)-inequalities. It is noted finally that there are many more Bier spheres than corresponding polytopes, and that many centrally symmetric nearly neighbourly spheres can be obtained by Bier's construction.
0 references
poset
0 references
order ideal
0 references
simplicial sphere
0 references
Bier sphere
0 references
shellable
0 references
\(g\)-vector
0 references