-
Higher-dimensional counterexamples to Hamiltonicity
Authors:
Bruno Benedetti,
Marta Pavelka
Abstract:
For d at least 2, we show that all graphs of d-polytopes have Hamiltonian line graph if and only if d is not 3: We exhibit a graph of a 3-polytope on 252 vertices whose line graph is not even traceable. Adapting a construction by Grunbaum and Motzkin, for large n we also construct simple 3-polytopes on 3n vertices in whose line graph any simple path is shorter than 10n^a, for some constant a<1.…
▽ More
For d at least 2, we show that all graphs of d-polytopes have Hamiltonian line graph if and only if d is not 3: We exhibit a graph of a 3-polytope on 252 vertices whose line graph is not even traceable. Adapting a construction by Grunbaum and Motzkin, for large n we also construct simple 3-polytopes on 3n vertices in whose line graph any simple path is shorter than 10n^a, for some constant a<1.
Moreover, we give four elementary counterexamples of plausible extensions to simplicial complexes of four famous results in Hamiltonian graph theory, namely: (1) There is a 2-complex without (tight, loose, or weak) Hamiltonian paths, where every vertex is in more than n/2 facets. (2) There is a 2-complex without (tight, loose, or weak) Hamiltonian paths that is maximally non-weakly-Hamiltonian. (3) There is a 2-complex without (tight, loose, or weak) Hamiltonian paths that is self-complementary. (4) There is a 2-strongly connected 2-complex whose square complex has no (tight, loose, or weak) Hamiltonian cycles.
△ Less
Submitted 29 September, 2023; v1 submitted 14 July, 2022;
originally announced July 2022.
-
Random Simple-Homotopy Theory
Authors:
Bruno Benedetti,
Crystal Lai,
Davide Lofano,
Frank H. Lutz
Abstract:
We implement an algorithm RSHT (Random Simple-Homotopy) to study the simple-homotopy types of simplicial complexes, with a particular focus on contractible spaces and on finding substructures in higher-dimensional complexes. The algorithm combines elementary simplicial collapses with pure elementary expansions. For triangulated d-manifolds with d < 7, we show that RSHT reduces to (random) bistella…
▽ More
We implement an algorithm RSHT (Random Simple-Homotopy) to study the simple-homotopy types of simplicial complexes, with a particular focus on contractible spaces and on finding substructures in higher-dimensional complexes. The algorithm combines elementary simplicial collapses with pure elementary expansions. For triangulated d-manifolds with d < 7, we show that RSHT reduces to (random) bistellar flips.
Among the many examples on which we test RSHT, we describe an explicit 15-vertex triangulation of the Abalone, and more generally, (14k+1)-vertex triangulations of Bing's houses with k rooms, which all can be deformed to a point using only six pure elementary expansions.
△ Less
Submitted 26 September, 2021; v1 submitted 20 July, 2021;
originally announced July 2021.
-
2-LC triangulated manifolds are exponentially many
Authors:
Bruno Benedetti,
Marta Pavelka
Abstract:
We introduce "$t$-LC triangulated manifolds" as those triangulations obtainable from a tree of $d$-simplices by recursively identifying two boundary $(d-1)$-faces whose intersection has dimension at least $d-t-1$. The $t$-LC notion interpolates between the class of LC manifolds introduced by Durhuus--Jonsson (corresponding to the case $t=1$), and the class of all manifolds (case $t=d$). Benedetti-…
▽ More
We introduce "$t$-LC triangulated manifolds" as those triangulations obtainable from a tree of $d$-simplices by recursively identifying two boundary $(d-1)$-faces whose intersection has dimension at least $d-t-1$. The $t$-LC notion interpolates between the class of LC manifolds introduced by Durhuus--Jonsson (corresponding to the case $t=1$), and the class of all manifolds (case $t=d$). Benedetti--Ziegler proved that there are at most $2^{d^2 \, N}$ triangulated $1$-LC $d$-manifolds with $N$ facets. Here we prove that there are at most $2^{\frac{d^3}{2}N}$ triangulated $2$-LC $d$-manifolds with $N$ facets. This extends to all dimensions an intuition by Mogami for $d=3$.
We also introduce "$t$-constructible complexes", interpolating between constructible complexes (the case $t=1$) and all complexes (case $t=d$). We show that all $t$-constructible pseudomanifolds are $t$-LC, and that all $t$-constructible complexes have (homotopical) depth larger than $d-t$. This extends the famous result by Hochster that constructible complexes are (homotopy) Cohen--Macaulay.
△ Less
Submitted 24 March, 2022; v1 submitted 22 June, 2021;
originally announced June 2021.
-
Hamiltonian paths, unit-interval complexes, and determinantal facet ideals
Authors:
Bruno Benedetti,
Lisa Seccia,
Matteo Varbaro
Abstract:
We study d-dimensional generalizations of three mutually related topics in graph theory: Hamiltonian paths, (unit) interval graphs, and binomial edge ideals. We provide partial high-dimensional generalizations of Ore and Posa's sufficient conditions for a graph to be Hamiltonian. We introduce a hierarchy of combinatorial properties for simplicial complexes that generalize unit-interval, interval,…
▽ More
We study d-dimensional generalizations of three mutually related topics in graph theory: Hamiltonian paths, (unit) interval graphs, and binomial edge ideals. We provide partial high-dimensional generalizations of Ore and Posa's sufficient conditions for a graph to be Hamiltonian. We introduce a hierarchy of combinatorial properties for simplicial complexes that generalize unit-interval, interval, and co-comparability graphs. We connect these properties to the already existing notions of determinantal facet ideals and Hamiltonian paths in simplicial complexes. Some important consequences of our work are:
(1) Every almost-closed strongly-connected d-dimensional simplicial complex is traceable. (This extends the well-known result "unit-interval connected graphs are traceable".)
(2) Every almost-closed d-complex that remains strongly connected after the deletion of d or less vertices, is Hamiltonian. (This extends the fact that "unit-interval 2-connected graphs are Hamiltonian".)
(3) Unit-interval complexes are characterized, among traceable complexes, by the property that the minors defining their determinantal facet ideal form a Groebner basis for a diagonal term order which is compatible with the traceability of the complex. (This corrects a recent theorem by Ene et al., extends a result by Herzog and others, and partially answers a question by Almousa-Vandebogert.)
(4) Only the d-skeleton of the simplex has a determinantal facet ideal with linear resolution. (This extends the result by Kiani and Saeedi-Madani that "only the complete graph has a binomial edge ideal with linear resolution".)
(5) The determinantal facet ideals of all under-closed and semi-closed complexes have a square-free initial ideal with respect to lex. In characteristic p, they are even F-pure.
△ Less
Submitted 12 April, 2021; v1 submitted 22 January, 2021;
originally announced January 2021.
-
Sparse handlebody decompositions and non-finiteness of $g_3=0$
Authors:
Karim Adiprasito,
Bruno Benedetti
Abstract:
We prove that a PL manifold admits a handle decomposition into handles of index $\le k$ if and only if $M$ is $k$-stacked, i.e., it admits a PL triangulation in which all $(d-k-1)$-faces are on $\partial M$.
We use this to solve a problem posed in 2008 by Kalai: In any dimension higher than four, there are infinitely many homology-spheres with $g_3 =0$.
We prove that a PL manifold admits a handle decomposition into handles of index $\le k$ if and only if $M$ is $k$-stacked, i.e., it admits a PL triangulation in which all $(d-k-1)$-faces are on $\partial M$.
We use this to solve a problem posed in 2008 by Kalai: In any dimension higher than four, there are infinitely many homology-spheres with $g_3 =0$.
△ Less
Submitted 2 May, 2021; v1 submitted 16 November, 2020;
originally announced November 2020.
-
Non-ridge-chordal complexes whose clique complex has shellable Alexander dual
Authors:
Bruno Benedetti,
Davide Bolognini
Abstract:
A recent conjecture that appeared in three papers by Bigdeli--Faridi, Dochtermann, and Nikseresht, is that every simplicial complex whose clique complex has shellable Alexander dual, is ridge-chordal. This strengthens the long-standing Simon's conjecture that the $k$-skeleton of the simplex is extendably shellable, for any $k$. We show that the stronger conjecture has a negative answer, by exhibit…
▽ More
A recent conjecture that appeared in three papers by Bigdeli--Faridi, Dochtermann, and Nikseresht, is that every simplicial complex whose clique complex has shellable Alexander dual, is ridge-chordal. This strengthens the long-standing Simon's conjecture that the $k$-skeleton of the simplex is extendably shellable, for any $k$. We show that the stronger conjecture has a negative answer, by exhibiting an infinite family of counterexamples.
△ Less
Submitted 24 November, 2020; v1 submitted 15 October, 2019;
originally announced October 2019.
-
A Cheeger-type exponential bound for the number of triangulated manifolds
Authors:
Karim Adiprasito,
Bruno Benedetti
Abstract:
In terms of the number of triangles, it is known that there are more than exponentially many triangulations of surfaces, but only exponentially many triangulations of surfaces with bounded genus. In this paper we provide a first geometric extension of this result to higher dimensions. We show that in terms of the number of facets, there are only exponentially many geometric triangulations of space…
▽ More
In terms of the number of triangles, it is known that there are more than exponentially many triangulations of surfaces, but only exponentially many triangulations of surfaces with bounded genus. In this paper we provide a first geometric extension of this result to higher dimensions. We show that in terms of the number of facets, there are only exponentially many geometric triangulations of space forms with bounded geometry in the sense of Cheeger (curvature and volume bounded below, and diameter bounded above). This establishes a combinatorial version of Cheeger's finiteness theorem.
Further consequences of our work are:
(1) There are exponentially many geometric triangulations of $S^d$.
(2) There are exponentially many convex triangulations of the d-ball.
△ Less
Submitted 9 May, 2018; v1 submitted 29 September, 2017;
originally announced October 2017.
-
Barycentric subdivisions of convex complexes are collapsible
Authors:
Karim Adiprasito,
Bruno Benedetti
Abstract:
A classical question in PL topology, asked among others by Hudson, Lickorish, and Kirby, is whether every linear subdivision of the d-simplex is simplicially collapsible. The answer is known to be positive for d<4. We solve the problem up to one subdivision, by proving that any linear subdivision of any polytope is simplicially collapsible after at most one barycentric subdivision. Furthermore, we…
▽ More
A classical question in PL topology, asked among others by Hudson, Lickorish, and Kirby, is whether every linear subdivision of the d-simplex is simplicially collapsible. The answer is known to be positive for d<4. We solve the problem up to one subdivision, by proving that any linear subdivision of any polytope is simplicially collapsible after at most one barycentric subdivision. Furthermore, we prove that any linear subdivision of any star-shaped polyhedron in $\mathbb{R}^d$ is simplicially collapsible after d-2 derived subdivisions at most. This presents progress on an old question by Goodrick.
△ Less
Submitted 22 September, 2017;
originally announced September 2017.
-
Mogami manifolds, nuclei, and 3D simplicial gravity
Authors:
Bruno Benedetti
Abstract:
Mogami introduced in 1995 a large class of triangulated 3-dimensional pseudomanifolds, henceforth called "Mogami pseudomanifolds". He proved an exponential bound for the size of this class in terms of the number of tetrahedra. The question of whether all 3-balls are Mogami has remained open since, a positive answer would imply a much-desired exponential upper bound for the total number of 3-balls…
▽ More
Mogami introduced in 1995 a large class of triangulated 3-dimensional pseudomanifolds, henceforth called "Mogami pseudomanifolds". He proved an exponential bound for the size of this class in terms of the number of tetrahedra. The question of whether all 3-balls are Mogami has remained open since, a positive answer would imply a much-desired exponential upper bound for the total number of 3-balls (and 3-spheres) with N tetrahedra.
Here we provide a negative answer: many 3-balls are not Mogami. On the way to this result, we characterize the Mogami property in terms of nuclei, in the sense of Collet-Eckmann-Younan: "The only three-dimensional Mogami nucleus is the tetrahedron".
△ Less
Submitted 6 August, 2016;
originally announced August 2016.
-
Regularity of Line Configurations
Authors:
Bruno Benedetti,
Michela Di Marca,
Matteo Varbaro
Abstract:
We show that in arithmetically-Gorenstein line arrangements with only planar singularities, each line intersects the same number of other lines. This number has an algebraic interpretation: it is the Castelnuovo-Mumford regularity of the coordinate ring of the arrangement.
We also prove that every (d-1)-dimensional simplicial complex whose 0-th and 1-st homologies are trivial is the nerve comple…
▽ More
We show that in arithmetically-Gorenstein line arrangements with only planar singularities, each line intersects the same number of other lines. This number has an algebraic interpretation: it is the Castelnuovo-Mumford regularity of the coordinate ring of the arrangement.
We also prove that every (d-1)-dimensional simplicial complex whose 0-th and 1-st homologies are trivial is the nerve complex of a suitable d-dimensional standard graded algebra of depth $\ge 3$. This provides the converse of a recent result by Katzman, Lyubeznik and Zhang.
△ Less
Submitted 2 October, 2017; v1 submitted 6 August, 2016;
originally announced August 2016.
-
Regulating Hartshorne's connectedness theorem
Authors:
Bruno Benedetti,
Barbara Bolognese,
Matteo Varbaro
Abstract:
A classical theorem by Hartshorne states that the dual graph of any arithmetically Cohen--Macaulay projective scheme is connected. We give a quantitative version of Hartshorne's result, in terms of Castelnuovo--Mumford regularity. If $X \subset \mathbb{P}^n$ is an arithmetically Gorenstein projective scheme of regularity $r+1$, and if every irreducible component of $X$ has regularity $\le r'$, we…
▽ More
A classical theorem by Hartshorne states that the dual graph of any arithmetically Cohen--Macaulay projective scheme is connected. We give a quantitative version of Hartshorne's result, in terms of Castelnuovo--Mumford regularity. If $X \subset \mathbb{P}^n$ is an arithmetically Gorenstein projective scheme of regularity $r+1$, and if every irreducible component of $X$ has regularity $\le r'$, we show that the dual graph of $X$ is $\lfloor{\frac{r+r'-1}{r'}}\rfloor$-connected. The bound is sharp.
We also provide a strong converse to Hartshorne's result: Every connected graph is the dual graph of a suitable arithmetically Cohen-Macaulay projective curve of regularity $\le 3$, whose components are all rational normal curves. The regularity bound is smallest possible in general.
Further consequences of our work are:
(1) Any graph is the Hochster-Huneke graph of a complete equidimensional local ring. (This answers a question by Sather-Wagstaff and Spiroff.)
(2) The regularity of a curve is not larger than the sum of the regularities of its primary components.
△ Less
Submitted 9 February, 2017; v1 submitted 20 June, 2015;
originally announced June 2015.
-
Extremal examples of collapsible complexes and random discrete Morse theory
Authors:
Karim A. Adiprasito,
Bruno Benedetti,
Frank H. Lutz
Abstract:
We present extremal constructions connected with the property of simplicial collapsibility.
(1) For each $d \ge 2$, there are collapsible (and shellable) simplicial $d$-complexes with only one free face. Also, there are non-evasive $d$-complexes with only two free faces. (Both results are optimal in all dimensions.)
(2) Optimal discrete Morse vectors need not be unique. We explicitly construct…
▽ More
We present extremal constructions connected with the property of simplicial collapsibility.
(1) For each $d \ge 2$, there are collapsible (and shellable) simplicial $d$-complexes with only one free face. Also, there are non-evasive $d$-complexes with only two free faces. (Both results are optimal in all dimensions.)
(2) Optimal discrete Morse vectors need not be unique. We explicitly construct a contractible, but non-collapsible $3$-dimensional simplicial complex with face vector $f=(106,596,1064,573)$ that admits two distinct optimal discrete Morse vectors, $(1,1,1,0)$ and $(1,0,1,1)$. Indeed, we show that in every dimension $d\geq 3$ there are contractible, non-collapsible simplicial $d$-complexes that have $(1,0,\dots,0,1,1,0)$ and $(1,0,\dots,0,0,1,1)$ as distinct optimal discrete Morse vectors.
(3) We give a first explicit example of a (non-PL) $5$-manifold, with face vector $f=(5013,72300,290944,$ $495912,383136,110880)$, that is collapsible but not homeomorphic to a ball.
Furthermore, we discuss possible improvements and drawbacks of random approaches to collapsibility and discrete Morse theory. We will introduce randomized versions \texttt{random-lex-first} and \texttt{random-lex-last} of the \texttt{lex-first} and \texttt{lex-last} discrete Morse strategies of \cite{BenedettiLutz2014}, respectively --- and we will see that in many instances the \texttt{random-lex-last} strategy works significantly better than Benedetti--Lutz's (uniform) \texttt{random} strategy.
On the theoretical side, we prove that after repeated barycentric subdivisions, the discrete Morse vectors found by randomized algorithms have, on average, an exponential (in the number of barycentric subdivisions) number of critical cells asymptotically almost surely.
△ Less
Submitted 11 October, 2016; v1 submitted 16 April, 2014;
originally announced April 2014.
-
Linear embeddings of contractible and collapsible complexes
Authors:
Karim A. Adiprasito,
Bruno Benedetti
Abstract:
(1) We show that if a presentation of the trivial group is "hard to trivialize", in the sense that lots of Tietze moves are necessary to transform it into the trivial presentation, then the associated presentation complex (which is a contractible 2-dimensional cell complex) is "hard to embed in $\mathbb{R}^3$", in the sense that lots of linear subdivisions are necessary.
(2) For any d, we show t…
▽ More
(1) We show that if a presentation of the trivial group is "hard to trivialize", in the sense that lots of Tietze moves are necessary to transform it into the trivial presentation, then the associated presentation complex (which is a contractible 2-dimensional cell complex) is "hard to embed in $\mathbb{R}^3$", in the sense that lots of linear subdivisions are necessary.
(2) For any d, we show that all collapsible d-complexes with n facets linearly embed in $\mathbb{R}^{2d}$ after less than n barycentric subdivisions. This is best possible, as cones over non-planar graphs do not topologically embed in $\mathbb{R}^{3}$.
△ Less
Submitted 4 August, 2020; v1 submitted 20 March, 2014;
originally announced March 2014.
-
On the dual graph of Cohen-Macaulay algebras
Authors:
Bruno Benedetti,
Matteo Varbaro
Abstract:
Given a projective algebraic set X, its dual graph G(X) is the graph whose vertices are the irreducible components of X and whose edges connect components that intersect in codimension one. Hartshorne's connectedness theorem says that if (the coordinate ring of) X is Cohen-Macaulay, then G(X) is connected. We present two quantitative variants of Hartshorne's result:
1) If X is a Gorenstein subsp…
▽ More
Given a projective algebraic set X, its dual graph G(X) is the graph whose vertices are the irreducible components of X and whose edges connect components that intersect in codimension one. Hartshorne's connectedness theorem says that if (the coordinate ring of) X is Cohen-Macaulay, then G(X) is connected. We present two quantitative variants of Hartshorne's result:
1) If X is a Gorenstein subspace arrangement, then G(X) is r-connected, where r is the Castelnuovo-Mumford regularity of X. (The bound is best possible; for coordinate arrangements, it yields an algebraic extension of Balinski's theorem for simplicial polytopes.)
2) If X is a canonically embedded arrangement of lines no three of which meet in the same point, then the diameter of the graph G(X) is not larger than the codimension of X. (The bound is sharp; for coordinate arrangements, it yields an algebraic expansion on the recent combinatorial result that the Hirsch conjecture holds for flag normal simplicial complexes.)
△ Less
Submitted 24 August, 2022; v1 submitted 13 March, 2014;
originally announced March 2014.
-
Random Discrete Morse Theory and a New Library of Triangulations
Authors:
Bruno Benedetti,
Frank H. Lutz
Abstract:
1) We introduce random discrete Morse theory as a computational scheme to measure the complicatedness of a triangulation. The idea is to try to quantify the frequence of discrete Morse matchings with a certain number of critical cells. Our measure will depend on the topology of the space, but also on how nicely the space is triangulated.
(2) The scheme we propose looks for optimal discrete Morse…
▽ More
1) We introduce random discrete Morse theory as a computational scheme to measure the complicatedness of a triangulation. The idea is to try to quantify the frequence of discrete Morse matchings with a certain number of critical cells. Our measure will depend on the topology of the space, but also on how nicely the space is triangulated.
(2) The scheme we propose looks for optimal discrete Morse functions with an elementary random heuristic. Despite its naïveté, this approach turns out to be very successful even in the case of huge inputs.
(3) In our view the existing libraries of examples in computational topology are `too easy' for testing algorithms based on discrete Morse theory. We propose a new library containing more complicated (and thus more meaningful) test examples.
△ Less
Submitted 27 November, 2013; v1 submitted 26 March, 2013;
originally announced March 2013.
-
The Hirsch conjecture holds for normal flag complexes
Authors:
Karim Alexander Adiprasito,
Bruno Benedetti
Abstract:
Using an intuition from metric geometry, we prove that any flag and normal simplicial complex satisfies the non-revisiting path conjecture. As a consequence, the diameter of its facet-ridge graph is smaller than the number of vertices minus the dimension, as in the Hirsch conjecture. This proves the Hirsch conjecture for all flag polytopes, and more generally, for all (connected) flag homology man…
▽ More
Using an intuition from metric geometry, we prove that any flag and normal simplicial complex satisfies the non-revisiting path conjecture. As a consequence, the diameter of its facet-ridge graph is smaller than the number of vertices minus the dimension, as in the Hirsch conjecture. This proves the Hirsch conjecture for all flag polytopes, and more generally, for all (connected) flag homology manifolds.
△ Less
Submitted 11 April, 2014; v1 submitted 14 March, 2013;
originally announced March 2013.
-
Knots in collapsible and non-collapsible balls
Authors:
Bruno Benedetti,
Frank H. Lutz
Abstract:
We construct the first explicit example of a simplicial 3-ball B_{15,66} that is not collapsible. It has only 15 vertices. We exhibit a second 3-ball B_{12,38} with 12 vertices that is collapsible and evasive, but not shellable. Finally, we present the first explicit triangulation of a 3-sphere S_{18, 125} (with only 18 vertices) that is not locally constructible. All these examples are based on k…
▽ More
We construct the first explicit example of a simplicial 3-ball B_{15,66} that is not collapsible. It has only 15 vertices. We exhibit a second 3-ball B_{12,38} with 12 vertices that is collapsible and evasive, but not shellable. Finally, we present the first explicit triangulation of a 3-sphere S_{18, 125} (with only 18 vertices) that is not locally constructible. All these examples are based on knotted subcomplexes with only three edges; the knots are the trefoil, the double trefoil, and the triple trefoil, respectively. The more complicated the knot is, the more distant the triangulation is from being polytopal, collapsible, etc. Further consequences of our work are:
(1) Unshellable 3-spheres may have vertex-decomposable barycentric subdivisions.
(This shows the strictness of an implication proven by Billera and Provan.)
(2) For d-balls, vertex-decomposable implies non-evasive implies collapsible, and for d=3 all implications are strict.
(This answers a question by Barmak.)
(3) Locally constructible 3-balls may contain a double trefoil knot as a 3-edge subcomplex.
(This improves a result of Benedetti and Ziegler.)
(4) Rudin's ball is non-evasive.
△ Less
Submitted 24 April, 2013; v1 submitted 8 March, 2013;
originally announced March 2013.
-
Smoothing discrete Morse theory
Authors:
Bruno Benedetti
Abstract:
After surveying classical notions of PL topology of the Seventies, we clarify the relation between Morse theory and its discretization by Forman. We show that PL handles theory and discrete Morse theory are equivalent, in the sense that every discrete Morse vector on some PL triangulation is also a PL handle vector, and conversely, every PL handle vector is also a discrete Morse vector on some PL…
▽ More
After surveying classical notions of PL topology of the Seventies, we clarify the relation between Morse theory and its discretization by Forman. We show that PL handles theory and discrete Morse theory are equivalent, in the sense that every discrete Morse vector on some PL triangulation is also a PL handle vector, and conversely, every PL handle vector is also a discrete Morse vector on some PL triangulation. It follows that in dimension up to 7, every discrete Morse vector on some PL triangulation is also a smooth Morse vector; the vice versa is true in all dimensions. This revises and improves a result by Gallais.
Some further consequences of our work are:
(1) For $d \ne 4$, every simply connected smooth d-manifold admits locally constructible triangulations. In contrast, the Mazur 4-manifold has no locally constructible triangulation. (This solves a question by Zivaljevic and completes work by the author and Ziegler.)
(2) The Heegaard genus of 3-manifolds can be characterized as the smallest integer g for which some triangulation of the manifold has discrete Morse vector (1,g,g,1). (This allows for heuristics to bound the Heegaard genus of any 3-manifold.)
(3) Some non-PL 5-spheres admit discrete Morse functions with only 2 critical faces. (This result, joint with Adiprasito, completes the Sphere Theorem by Forman.)
△ Less
Submitted 10 December, 2014; v1 submitted 4 December, 2012;
originally announced December 2012.
-
Subdivisions, shellability, and collapsibility of products
Authors:
Karim Alexander Adiprasito,
Bruno Benedetti
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 relativ…
▽ More
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 results 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.
△ Less
Submitted 10 July, 2013; v1 submitted 29 February, 2012;
originally announced February 2012.
-
Tight complexes in 3-space admit perfect discrete Morse functions
Authors:
Karim Adiprasito,
Bruno Benedetti
Abstract:
In 1967, Chillingworth proved that all convex simplicial 3-balls are collapsible. Using the classical notion of tightness, we generalize this to arbitrary manifolds: We show that all tight simplicial 3-manifolds admit some perfect discrete Morse function. We also strengthen Chillingworth's theorem by proving that all convex simplicial 3-balls are non-evasive. In contrast, we show that many non-eva…
▽ More
In 1967, Chillingworth proved that all convex simplicial 3-balls are collapsible. Using the classical notion of tightness, we generalize this to arbitrary manifolds: We show that all tight simplicial 3-manifolds admit some perfect discrete Morse function. We also strengthen Chillingworth's theorem by proving that all convex simplicial 3-balls are non-evasive. In contrast, we show that many non-evasive 3-balls are not convex.
△ Less
Submitted 7 April, 2012; v1 submitted 15 February, 2012;
originally announced February 2012.
-
Collapsibility of CAT(0) spaces
Authors:
Karim Adiprasito,
Bruno Benedetti
Abstract:
Collapsibility is a combinatorial strengthening of contractibility. We relate this property to metric geometry by proving the collapsibility of any complex that is CAT(0) with a metric for which all vertex stars are convex. This strengthens and generalizes a result by Crowley. Further consequences of our work are:
(1) All CAT(0) cube complexes are collapsible.
(2) Any triangulated manifold adm…
▽ More
Collapsibility is a combinatorial strengthening of contractibility. We relate this property to metric geometry by proving the collapsibility of any complex that is CAT(0) with a metric for which all vertex stars are convex. This strengthens and generalizes a result by Crowley. Further consequences of our work are:
(1) All CAT(0) cube complexes are collapsible.
(2) Any triangulated manifold admits a CAT(0) metric if and only if it admits collapsible triangulations.
(3) All contractible d-manifolds ($d \ne 4$) admit collapsible CAT(0) triangulations. This discretizes a classical result by Ancel--Guilbault.
△ Less
Submitted 9 September, 2019; v1 submitted 28 July, 2011;
originally announced July 2011.
-
Discrete Morse Theory Is At Least As Perfect As Morse Theory
Authors:
Bruno Benedetti
Abstract:
In bounding the homology of a manifold, Forman's Discrete Morse theory recovers the full precision of classical Morse theory: Given a PL triangulation of a manifold that admits a Morse function with c_i critical points of index i, we show that some subdivision of the triangulation admits a boundary-critical discrete Morse function with c_i interior critical faces of dimension d-i. This dualizes an…
▽ More
In bounding the homology of a manifold, Forman's Discrete Morse theory recovers the full precision of classical Morse theory: Given a PL triangulation of a manifold that admits a Morse function with c_i critical points of index i, we show that some subdivision of the triangulation admits a boundary-critical discrete Morse function with c_i interior critical faces of dimension d-i. This dualizes and extends a recent result by Gallais. Further consequences of our work are:
(1) Every simply connected smooth d-manifolds (except possibly when d=4) admits a locally constructible triangulation. (This solves a problem by Zivaljevic.)
(2) Up to refining the subdivision, the classical notion of geometric connectivity can be translated combinatorially via the notion of collapse depth.
△ Less
Submitted 9 July, 2014; v1 submitted 4 October, 2010;
originally announced October 2010.
-
Discrete Morse Theory for Manifolds with Boundary
Authors:
Bruno Benedetti
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:
-…
▽ More
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:
-- For each d \ge 3 and for each k \ge 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.)
-- 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.)
-- The barycentric subdivision of any constructible d-ball is collapsible. (This "almost" solves a problem by Hachimori.)
-- Every constructible ball collapses onto its boundary minus a facet. (This improves a result by the author and Ziegler.)
-- 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.)
△ Less
Submitted 2 October, 2010; v1 submitted 19 July, 2010;
originally announced July 2010.
-
The dunce hat in a minimal non-extendably collapsible 3-ball
Authors:
Bruno Benedetti,
Frank H. Lutz
Abstract:
We obtain a geometric realization of a minimal 8-vertex triangulation of the dunce hat in Euclidean 3-space. We show there is a simplicial 3-ball with 8 vertices that is collapsible, but also collapses onto the dunce hat, which is not collapsible. This 3-ball is as small as possible, because all triangulated 3-balls with fewer vertices are extendably collapsible. As we will see, the Alexander dual…
▽ More
We obtain a geometric realization of a minimal 8-vertex triangulation of the dunce hat in Euclidean 3-space. We show there is a simplicial 3-ball with 8 vertices that is collapsible, but also collapses onto the dunce hat, which is not collapsible. This 3-ball is as small as possible, because all triangulated 3-balls with fewer vertices are extendably collapsible. As we will see, the Alexander dual of the dunce hat is collapsible.
△ Less
Submitted 1 February, 2013; v1 submitted 18 December, 2009;
originally announced December 2009.
-
Collapses, products and LC manifolds
Authors:
Bruno Benedetti
Abstract:
Durhuus and Jonsson (1995) introduced the class of "locally constructible" (LC) triangulated manifolds and showed that all the LC 2- and 3-manifolds are spheres. We show here that for each d>3 some LC d-manifolds are not spheres. We prove this result by studying how to collapse products of manifolds with exactly one facet removed.
Durhuus and Jonsson (1995) introduced the class of "locally constructible" (LC) triangulated manifolds and showed that all the LC 2- and 3-manifolds are spheres. We show here that for each d>3 some LC d-manifolds are not spheres. We prove this result by studying how to collapse products of manifolds with exactly one facet removed.
△ Less
Submitted 16 May, 2010; v1 submitted 24 November, 2009;
originally announced November 2009.
-
On locally constructible spheres and balls
Authors:
Bruno Benedetti,
Günter M. Ziegler
Abstract:
Durhuus and Jonsson (1995) introduced the class of "locally constructible" (LC) 3-spheres and showed that there are only exponentially-many combinatorial types of simplicial LC 3-spheres. Such upper bounds are crucial for the convergence of models for 3D quantum gravity.
We characterize the LC property for d-spheres ("the sphere minus a facet collapses to a (d-2)-complex") and for d-balls. In pa…
▽ More
Durhuus and Jonsson (1995) introduced the class of "locally constructible" (LC) 3-spheres and showed that there are only exponentially-many combinatorial types of simplicial LC 3-spheres. Such upper bounds are crucial for the convergence of models for 3D quantum gravity.
We characterize the LC property for d-spheres ("the sphere minus a facet collapses to a (d-2)-complex") and for d-balls. In particular, we link it to the classical notions of collapsibility, shellability and constructibility, and obtain hierarchies of such properties for simplicial balls and spheres. The main corollaries from this study are:
1.) Not all simplicial 3-spheres are locally constructible. (This solves a problem by Durhuus and Jonsson.)
2.) There are only exponentially many shellable simplicial 3-spheres with given number of facets. (This answers a question by Kalai.)
3.) All simplicial constructible 3-balls are collapsible. (This answers a question by Hachimori.)
4.) Not every collapsible 3-ball collapses onto its boundary minus a facet. (This property appears in papers by Chillingworth and Lickorish.)
△ Less
Submitted 21 July, 2010; v1 submitted 3 February, 2009;
originally announced February 2009.
-
Unmixed Graphs that are Domains
Authors:
Bruno Benedetti,
Matteo Varbaro
Abstract:
Given an arbitrary graph G, we study its basic covers algebra, which is the symbolic fiber cone of the Alexander dual of the edge ideal of G. Extending results of Villarreal and Benedetti-Constantinescu-Varbaro, valid only in the case when G is bipartite, we characterize in a combinatorial fashion the situations when: 1) the basic covers algebra is a domain, and 2) it is a domain and in addition (…
▽ More
Given an arbitrary graph G, we study its basic covers algebra, which is the symbolic fiber cone of the Alexander dual of the edge ideal of G. Extending results of Villarreal and Benedetti-Constantinescu-Varbaro, valid only in the case when G is bipartite, we characterize in a combinatorial fashion the situations when: 1) the basic covers algebra is a domain, and 2) it is a domain and in addition (the edge ideal of) G is unmixed. It turns out that the last result gives a complete characterization of those graphs for which any symbolic power of the edge ideal is generated by monomials of the same degree.
△ Less
Submitted 16 September, 2011; v1 submitted 25 January, 2009;
originally announced January 2009.
-
Dimension, depth and zero-divisors of the algebra of basic $k$-covers of a graph
Authors:
Bruno Benedetti,
Alexandru Constantinescu,
Matteo Varbaro
Abstract:
We study the basic $k$-covers of a bipartite graph $G$; the algebra $\AG$ they span, first studied by Herzog, is the fiber cone of the Alexander dual of the edge ideal. We characterize when $\AG$ is a domain in terms of the combinatorics of $G$; if follows from a result of Hochster that when $\AG$ is a domain, it is also Cohen-Macaulay. We then study the dimension of $\AG$ by introducing a geome…
▽ More
We study the basic $k$-covers of a bipartite graph $G$; the algebra $\AG$ they span, first studied by Herzog, is the fiber cone of the Alexander dual of the edge ideal. We characterize when $\AG$ is a domain in terms of the combinatorics of $G$; if follows from a result of Hochster that when $\AG$ is a domain, it is also Cohen-Macaulay. We then study the dimension of $\AG$ by introducing a geometric invariant of bipartite graphs, the "graphical dimension". We show that the graphical dimension of $G$ is not larger than $\dim(\AG)$, and equality holds in many cases (e.g. when $G$ is a tree, or a cycle). Finally, we discuss applications of this theory to the arithmetical rank.
△ Less
Submitted 25 January, 2009;
originally announced January 2009.
