REVIEW
Higher minors and Van Kampen's obstruction
Combinatorics · Submitted 23 Feb 2006 · 24 references
Pith's verdict: New higher-minor relation with a solid monotonicity theorem for Van Kampen's obstruction; minor gaps in a secondary proof, but the core is sound and deserves peer review.
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper proves that Van Kampen's obstruction is monotone under a new notion of 'higher minor' for simplicial complexes.
The reading
What carries the argument
The central object is the higher-minor relation: an admissible contraction identifies two vertices $u,v$ only if they are not both contained in any missing face of dimension at most $\dim(K)$, equivalently $\operatorname{skel}_{\dim(K)-2}(\operatorname{lk}(v,K) \cap \operatorname{lk}(u,K)) = \operatorname{lk}(\{v,u\},K)$; a minor is any complex obtained by a sequence of admissible contractions and deletions. The argument is carried by the injective chain map $\varphi$ of Lemma 3.1, which sends a face $F$ of $K'$ to itself if $F \in K$, and otherwise to the $\mathbb{Z}_2$-sum of the faces $(F\setminus\{v\}) \cup \{v_0\}$ obtained by replacing vertices of $F$ by the contracted vertex $v_0$. This map is shown to be a chain map, injective, and to commute with the Smith connecting homomorphisms, so it pulls the fundamental cocycle back correctly and transfers the non-vanishing of the obstruction.
Extended reading notes
Core claim
Theorem 1.1 states that if $H < K$ (H is a higher minor of K) and $\mathrm{Sm}_m(H) \neq 0$, then $\mathrm{Sm}_m(K) \neq 0$, where $\mathrm{Sm}_m$ is the $m$-th Smith characteristic class of the deleted join $K_*$—Van Kampen's obstruction. The proof constructs, for every admissible contraction $K \to K'$, an injective chain map $\varphi: C_*(K'; \mathbb{Z}_2) \to C_*(K; \mathbb{Z}_2)$ that induces a pullback on equivariant cohomology sending $\mathrm{Sm}_m(1_{K_*})$ to $\mathrm{Sm}_m(1_{K'_*})$. Under a deletion the inclusion does the same, so the property survives arbitrary sequences of these moves. Consequently non-embeddability in $\mathbb{R}^m$ is inherited upward along the higher-minor relation, with the Van Kampen–Flores skeleton serving as the canonical seed obstruction.
Load-bearing premise
The proof relies on the delicate definition of an admissible contraction, which forbids identifying two vertices that lie together in a missing face of the complex; if the contraction rule were broadened to arbitrary vertex identifications, the monotonicity statement would be false.
Editorial extensions
If this is right
- If the $d$-skeleton of the $(2d+2)$-simplex is a higher minor of $K$, then $K$ is not embeddable in the $2d$-sphere (Corollary 1.2).
- An edge in a triangulation of a compact PL manifold without boundary can be contracted to a PL-homeomorphic manifold if and only if it satisfies the Link Condition (Theorem 1.4).
- The $g$-vector of every strongly edge decomposable triangulated sphere is nonnegative (Corollary 5.3).
- The analogous monotonicity holds for the integer-coefficient Van Kampen obstruction on deleted products (Theorem 4.2), which verifies the embeddability-inheritance conjecture when $2\dim(H)=m \neq 4$.
Reading between the lines
- The monotonicity suggests that the higher-minor relation can be used as a search tool: enumerating admissible contractions and deletions from a candidate complex until a known non-embeddable skeleton appears would certify non-embeddability without computing the obstruction directly.
- Because the paper shows that the graph-minor well-quasi-ordering property fails in higher dimensions (Proposition 6.5), this monotonicity is about a single obstruction rather than a complete obstruction theory; a natural extension would be to ask which other characteristic classes behave monotonically under the same moves.
- The equivalence between admissibility and PL-homeomorphism preservation indicates that the same contraction rule may serve as a simplification operation in computational topology that rigorously preserves homeomorphism type, potentially simplifying recognition of PL spheres.
Original abstract
We generalize the notion of graph minors to all (finite) simplicial complexes. For every two simplicial complexes H and K and every nonnegative integer m, we prove that if H is a minor of K then the non vanishing of Van Kampen's obstruction in dimension m (a characteristic class indicating non embeddability in the (m-1)-sphere) for H implies its non vanishing for K. As a corollary, based on results by Van Kampen and Flores, if K has the d-skeleton of the (2d+2)-simplex as a minor, then K is not embeddable in the 2d-sphere. We answer affirmatively a problem asked by Dey et. al. concerning topology-preserving edge contractions, and conclude from it the validity of the generalized lower bound inequalities for a special class of triangulated spheres.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We generalize the notion of graph minors to all (finite) simplicial complexes. For every two simplicial complexes H and K and every nonnegative integer m, we prove that if H is a minor of K then the non vanishing of Van Kampen's obstruction in dimension m (a characteristic class indicating non embeddability in the (m-1)-sphere) for H implies its non vanishing for K. As a corollary, based on results by Van Kampen and Flores, if K has the d-skeleton of the (2d+2)-simplex as a minor, then K is not embeddable in the 2d-sphere. We answer affirmatively a problem asked by Dey et. al. concerning topology-preserving edge contractions, and conclude from it the validity of the generalized lower bound inequalities for a special class of triangulated spheres.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We generalize the notion of graph minors to all (finite) simplicial complexes. | contribution 1.00 | 0.94 | 0.06 | asserted 0.99 |
| s1 | For every two simplicial complexes H and K and every nonnegative integer m, we prove that if H is a minor of K then the non vanishing of Van Kampen's obstruction in dimension m (a characteristic class indicating non embeddability in the (m-1)-sphere) for H implies its non vanishing for K. | result 0.97 | 0.94 | 0.69 | asserted 1.00 |
| s2 | As a corollary, based on results by Van Kampen and Flores, if K has the d-skeleton of the (2d+2)-simplex as a minor, then K is not embeddable in the 2d-sphere. | result 0.79 | 0.53 | 0.25 | asserted 1.00 |
| s3 | We answer affirmatively a problem asked by Dey et. al. concerning topology-preserving edge contractions, and conclude from it the validity of the generalized lower bound inequalities for a special class of triangulated spheres. | result 0.83 | 0.91 | 0.13 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v3
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:math/0602531 by the authors.
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.