Subdivisions, shellability, and collapsibility of products

Karim A. Adiprasito, Bruno Benedetti

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

We prove that the second derived subdivision of any rectilinear triangulation of any convex polytope is shellable. Also, we prove that the first derived subdivision of every rectilinear triangulation of any convex 3-dimensional polytope is shellable. This complements Mary Ellen Rudin's classical example of a non-shellable rectilinear triangulation of the tetrahedron. Our main tool is a new relative notion of shellability that characterizes the behavior of shellable complexes under gluing. As a corollary, we obtain a new characterization of the PL property in terms of shellability: A triangulation of a sphere or of a ball is PL if and only if it becomes shellable after sufficiently many derived subdivisions. This improves on PL approximation theorems by Whitehead, Zeeman and Glaser, and answers a question by Billera and Swartz. We also show that any contractible complex can be made collapsible by repeatedly taking products with an interval. This strengthens results by Dierker and Lickorish, and resolves a conjecture of Oliver. Finally, we give an example that this behavior extends to non-evasiveness, thereby answering a question of Welker.

Original languageEnglish (US)
Pages (from-to)1-30
Number of pages30
JournalCombinatorica
DOIs
StateAccepted/In press - Jun 9 2016

Fingerprint

Collapsibility
Shellability
Triangulation
Subdivision
Gluing
Convex Polytope
Approximation Theorem
Triangular pyramid
Polytope
Resolve
Corollary
Ball
Complement
If and only if
Interval

ASJC Scopus subject areas

  • Discrete Mathematics and Combinatorics
  • Computational Mathematics

Cite this

Subdivisions, shellability, and collapsibility of products. / Adiprasito, Karim A.; Benedetti, Bruno.

In: Combinatorica, 09.06.2016, p. 1-30.

Research output: Contribution to journalArticle

@article{7f79195f926148c8aa472377704c0aae,
title = "Subdivisions, shellability, and collapsibility of products",
abstract = "We prove that the second derived subdivision of any rectilinear triangulation of any convex polytope is shellable. Also, we prove that the first derived subdivision of every rectilinear triangulation of any convex 3-dimensional polytope is shellable. This complements Mary Ellen Rudin's classical example of a non-shellable rectilinear triangulation of the tetrahedron. Our main tool is a new relative notion of shellability that characterizes the behavior of shellable complexes under gluing. As a corollary, we obtain a new characterization of the PL property in terms of shellability: A triangulation of a sphere or of a ball is PL if and only if it becomes shellable after sufficiently many derived subdivisions. This improves on PL approximation theorems by Whitehead, Zeeman and Glaser, and answers a question by Billera and Swartz. We also show that any contractible complex can be made collapsible by repeatedly taking products with an interval. This strengthens results by Dierker and Lickorish, and resolves a conjecture of Oliver. Finally, we give an example that this behavior extends to non-evasiveness, thereby answering a question of Welker.",
author = "Adiprasito, {Karim A.} and Bruno Benedetti",
year = "2016",
month = "6",
day = "9",
doi = "10.1007/s00493-016-3149-8",
language = "English (US)",
pages = "1--30",
journal = "Combinatorica",
issn = "0209-9683",
publisher = "Janos Bolyai Mathematical Society",

}

TY - JOUR

T1 - Subdivisions, shellability, and collapsibility of products

AU - Adiprasito, Karim A.

AU - Benedetti, Bruno

PY - 2016/6/9

Y1 - 2016/6/9

N2 - We prove that the second derived subdivision of any rectilinear triangulation of any convex polytope is shellable. Also, we prove that the first derived subdivision of every rectilinear triangulation of any convex 3-dimensional polytope is shellable. This complements Mary Ellen Rudin's classical example of a non-shellable rectilinear triangulation of the tetrahedron. Our main tool is a new relative notion of shellability that characterizes the behavior of shellable complexes under gluing. As a corollary, we obtain a new characterization of the PL property in terms of shellability: A triangulation of a sphere or of a ball is PL if and only if it becomes shellable after sufficiently many derived subdivisions. This improves on PL approximation theorems by Whitehead, Zeeman and Glaser, and answers a question by Billera and Swartz. We also show that any contractible complex can be made collapsible by repeatedly taking products with an interval. This strengthens results by Dierker and Lickorish, and resolves a conjecture of Oliver. Finally, we give an example that this behavior extends to non-evasiveness, thereby answering a question of Welker.

AB - We prove that the second derived subdivision of any rectilinear triangulation of any convex polytope is shellable. Also, we prove that the first derived subdivision of every rectilinear triangulation of any convex 3-dimensional polytope is shellable. This complements Mary Ellen Rudin's classical example of a non-shellable rectilinear triangulation of the tetrahedron. Our main tool is a new relative notion of shellability that characterizes the behavior of shellable complexes under gluing. As a corollary, we obtain a new characterization of the PL property in terms of shellability: A triangulation of a sphere or of a ball is PL if and only if it becomes shellable after sufficiently many derived subdivisions. This improves on PL approximation theorems by Whitehead, Zeeman and Glaser, and answers a question by Billera and Swartz. We also show that any contractible complex can be made collapsible by repeatedly taking products with an interval. This strengthens results by Dierker and Lickorish, and resolves a conjecture of Oliver. Finally, we give an example that this behavior extends to non-evasiveness, thereby answering a question of Welker.

UR - http://www.scopus.com/inward/record.url?scp=84973637139&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84973637139&partnerID=8YFLogxK

U2 - 10.1007/s00493-016-3149-8

DO - 10.1007/s00493-016-3149-8

M3 - Article

AN - SCOPUS:84973637139

SP - 1

EP - 30

JO - Combinatorica

JF - Combinatorica

SN - 0209-9683

ER -