Discrete Morse theory for manifolds with boundary

Research output: Contribution to journalArticle

16 Citations (Scopus)

Abstract

We introduce a version of discrete Morse theory specific for manifolds with boundary. The idea is to consider Morse functions for which all boundary cells are critical. We obtain "Relative Morse Inequalities" relating the homology of the manifold to the number of interior critical cells. We also derive a Ball Theorem, in analogy to Forman's Sphere Theorem. The main corollaries of our work are: (1) For each d ≥ 3 and for each k ≥ 0, there is a PL d-sphere on which any discrete Morse function has more than k critical (d -1)-cells. (This solves a problem by Chari.) (2) For fixed d and k, there are exponentially many combinatorial types of simplicial d-manifolds (counted with respect to the number of facets) that admit discrete Morse functions with at most k critical interior (d -1)-cells. (This connects discrete Morse theory to enumerative combinatorics/ discrete quantum gravity.) (3) The barycentric subdivision of any simplicial constructible d-ball is collapsible. (This "almost" solves a problem by Hachimori.) (4) Every constructible ball collapses onto its boundary minus a facet. (This improves a result by the author and Ziegler.) (5) Any 3-ball with a knotted spanning edge cannot collapse onto its boundary minus a facet. (This strengthens a classical result by Bing and a recent result by the author and Ziegler.).

Original languageEnglish (US)
Pages (from-to)6631-6670
Number of pages40
JournalTransactions of the American Mathematical Society
Volume364
Issue number12
DOIs
StatePublished - 2012
Externally publishedYes

Fingerprint

Discrete Morse Theory
Manifolds with Boundary
Morse Function
Ball
Facet
Constructible
Cell
Interior
Barycentric Subdivision
Enumerative Combinatorics
Sphere Theorem
Morse Inequalities
Quantum Gravity
Gravitation
Analogy
Homology
Corollary
Theorem

ASJC Scopus subject areas

  • Mathematics(all)
  • Applied Mathematics

Cite this

Discrete Morse theory for manifolds with boundary. / Benedetti, Bruno.

In: Transactions of the American Mathematical Society, Vol. 364, No. 12, 2012, p. 6631-6670.

Research output: Contribution to journalArticle

@article{0ffde74df6614130a252119bc655c3a2,
title = "Discrete Morse theory for manifolds with boundary",
abstract = "We introduce a version of discrete Morse theory specific for manifolds with boundary. The idea is to consider Morse functions for which all boundary cells are critical. We obtain {"}Relative Morse Inequalities{"} relating the homology of the manifold to the number of interior critical cells. We also derive a Ball Theorem, in analogy to Forman's Sphere Theorem. The main corollaries of our work are: (1) For each d ≥ 3 and for each k ≥ 0, there is a PL d-sphere on which any discrete Morse function has more than k critical (d -1)-cells. (This solves a problem by Chari.) (2) For fixed d and k, there are exponentially many combinatorial types of simplicial d-manifolds (counted with respect to the number of facets) that admit discrete Morse functions with at most k critical interior (d -1)-cells. (This connects discrete Morse theory to enumerative combinatorics/ discrete quantum gravity.) (3) The barycentric subdivision of any simplicial constructible d-ball is collapsible. (This {"}almost{"} solves a problem by Hachimori.) (4) Every constructible ball collapses onto its boundary minus a facet. (This improves a result by the author and Ziegler.) (5) Any 3-ball with a knotted spanning edge cannot collapse onto its boundary minus a facet. (This strengthens a classical result by Bing and a recent result by the author and Ziegler.).",
author = "Bruno Benedetti",
year = "2012",
doi = "10.1090/S0002-9947-2012-05614-5",
language = "English (US)",
volume = "364",
pages = "6631--6670",
journal = "Transactions of the American Mathematical Society",
issn = "0002-9947",
publisher = "American Mathematical Society",
number = "12",

}

TY - JOUR

T1 - Discrete Morse theory for manifolds with boundary

AU - Benedetti, Bruno

PY - 2012

Y1 - 2012

N2 - We introduce a version of discrete Morse theory specific for manifolds with boundary. The idea is to consider Morse functions for which all boundary cells are critical. We obtain "Relative Morse Inequalities" relating the homology of the manifold to the number of interior critical cells. We also derive a Ball Theorem, in analogy to Forman's Sphere Theorem. The main corollaries of our work are: (1) For each d ≥ 3 and for each k ≥ 0, there is a PL d-sphere on which any discrete Morse function has more than k critical (d -1)-cells. (This solves a problem by Chari.) (2) For fixed d and k, there are exponentially many combinatorial types of simplicial d-manifolds (counted with respect to the number of facets) that admit discrete Morse functions with at most k critical interior (d -1)-cells. (This connects discrete Morse theory to enumerative combinatorics/ discrete quantum gravity.) (3) The barycentric subdivision of any simplicial constructible d-ball is collapsible. (This "almost" solves a problem by Hachimori.) (4) Every constructible ball collapses onto its boundary minus a facet. (This improves a result by the author and Ziegler.) (5) Any 3-ball with a knotted spanning edge cannot collapse onto its boundary minus a facet. (This strengthens a classical result by Bing and a recent result by the author and Ziegler.).

AB - We introduce a version of discrete Morse theory specific for manifolds with boundary. The idea is to consider Morse functions for which all boundary cells are critical. We obtain "Relative Morse Inequalities" relating the homology of the manifold to the number of interior critical cells. We also derive a Ball Theorem, in analogy to Forman's Sphere Theorem. The main corollaries of our work are: (1) For each d ≥ 3 and for each k ≥ 0, there is a PL d-sphere on which any discrete Morse function has more than k critical (d -1)-cells. (This solves a problem by Chari.) (2) For fixed d and k, there are exponentially many combinatorial types of simplicial d-manifolds (counted with respect to the number of facets) that admit discrete Morse functions with at most k critical interior (d -1)-cells. (This connects discrete Morse theory to enumerative combinatorics/ discrete quantum gravity.) (3) The barycentric subdivision of any simplicial constructible d-ball is collapsible. (This "almost" solves a problem by Hachimori.) (4) Every constructible ball collapses onto its boundary minus a facet. (This improves a result by the author and Ziegler.) (5) Any 3-ball with a knotted spanning edge cannot collapse onto its boundary minus a facet. (This strengthens a classical result by Bing and a recent result by the author and Ziegler.).

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

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

U2 - 10.1090/S0002-9947-2012-05614-5

DO - 10.1090/S0002-9947-2012-05614-5

M3 - Article

AN - SCOPUS:84865211474

VL - 364

SP - 6631

EP - 6670

JO - Transactions of the American Mathematical Society

JF - Transactions of the American Mathematical Society

SN - 0002-9947

IS - 12

ER -