arXiv 0902.04362009-02math.COhep-thmath.ATmath.MG

On locally constructible spheres and balls

Bruno Benedetti, Günter M. Ziegler

备注：: Revised version, with corrections (31 pages, 6 figures)
发表信息：: Acta Mat.206:205-243,2011
DOI：: 10.1007/s11511-011-0062-2

英文摘要：

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.)

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Small examples of non-constructible simplicial balls and spheres

We construct non-constructible simplicial $d$-spheres with $d+10$ vertices and non-constructible, non-realizable simplicial $d$-balls with $d+9$ vertices for $d\geq 3$.

2003-09-08math.COmath.GT

Deciding nonconstructibility of 3-balls with strict spanning edges

In this paper, we consider constructibility of simplicial 3-balls. In many cases, examining 1-dimensional subcomplexes of a simplicial 3-ball is efficient to solve the decision problem whether the simplicial 3-ball is constructible or not. From the point of view, we consider the case where a simplicial 3-ball has spanning edges and present a sufficient condition for nonconstructibility.

2012-02-17math.CO

A generalization of a result of Dong and Santos-Sturmfels on the Alexander dual of spheres and balls

We prove a generalization of a result by Dong and Santos-Sturmfels about the homotopy type of the Alexander dual of balls and spheres. Our results involve NH-manifolds, which were recently introduced as the non-homogeneous (or non-pure) counterpart of classical polyhedral manifolds. We show that the Alexander dual of an NH-ball is contractible and the Alexander dual of an NH-sphere is homotopy equivalent to a sphere. We also prove that NH-balls and NH-spheres arise naturally as the double duals of standard balls and spheres.

2014-03-05math.ATmath.CO

SB-labelings and posets with each interval homotopy equivalent to a sphere or a ball

We introduce a new class of poset edge labelings for locally finite lattices which we call $SB$-labelings. We prove for finite lattices which admit an $SB$-labeling that each open interval has the homotopy type of a ball or of a sphere of some dimension. Natural examples include the weak order, the Tamari lattice, and the finite distributive lattices.

2017-04-29math.ATmath.CO

相对挤压球与球体的可剥壳性

Shellability of relative squeezed balls and spheres

University of Washington（华盛顿大学）

研究相对挤压球及其边界复形的可剥壳性问题，通过证明其可剥壳，给出明确剥壳顺序并刻画限制面，为这类新复形建立强大组合结构。

2026-10-06math.CO

Collapses, products and LC manifolds

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.

2010-05-16math.COmath.GT

更多相关论文收起更多论文

作为独立复形的球面与球体

Spheres and balls as independence complexes

University of Manitoba（曼尼托巴大学）；Dalhousie University（达尔豪斯大学）；Mälardalen University（玛拉达伦大学）；McMaster University（麦克马斯特大学）

该研究探讨加须、嫁接构造的单纯复形的独立复形，证明其为广义Bier球（同胚于球或球面），并分类了极优覆盖图独立复形的同胚类型。

2025-03-24math.ACmath.CO

The non-pure version of the simplex and the boundary of the simplex

We introduce the non-pure versions of simplicial balls and spheres with minimum number of vertices. These are a special type of non-homogeneous balls and spheres (NH-balls and NH-spheres) satisfying a minimality condition on the number of maximal simplices. The main result is that minimal NH-balls and NH-spheres are precisely the simplicial complexes whose iterated Alexander duals converge respectively to a simplex or the boundary of a simplex.

2014-06-25math.COmath.GT

Generic initial ideals and squeezed spheres

In 1988 Kalai construct a large class of simplicial spheres, called squeezed spheres, and in 1991 presented a conjectured about generic initial ideals of Stanley--Reisner ideals of squeezed spheres. In the present paper this conjecture will be proved. In order to prove Kalai's conjecture, based on the fact that every squeezed $(d-1)$-sphere is the boundary of a certain $d$-ball, called a squeezed $d$-ball, generic initial ideals of Stanley--Reisner ideals of squeezed balls will be determined. In addition, generic initial ideals of exterior face ideals of squeezed balls are determined. On the o…

2007-06-26math.ACmath.CO

Distance Geometry for Kissing Spheres

A kissing sphere is a sphere that is tangent to a fixed reference ball. We develop in this paper a distance geometry for kissing spheres, which turns out to be a generalization of the classical Euclidean distance geometry.

2012-10-23math.AGmath.COmath.MG

Sphere of Influence Dimension Conjecture 'Almost Proved'

The sphere-of-influence graph (SIG) on a finite set of points in a metric space, each with an open ball centred about it of radius equal to the distance between that point and its nearest neighbor, is defined to be the intersection graph of these balls. Let $G$ be a graph of order $n,$ having no isolated vertices. The SIG-dimension of $G,$ denoted by $SIG(G),$ is defined to be the least possible $d$ such that $G$ can be realized as a sphere of influence graph in $\mathbb{R}^d,$ equipped with sup-norm. In 2000, Boyer [E. Boyer, L. Lister and B. Shader, Sphere of influence graphs using the sup-n…

2020-11-20math.COmath.MG

球体交图的分离器

Separators for intersection graphs of spheres

Stanford University（斯坦福大学）；Princeton University（普林斯顿大学）

研究证明了任意维度下球体交图的最优分离器存在性，提出基于边数和顶点数的分离器大小界，并证明该界在参数上最优。

2026-03-23cs.CGmath.CO

可剥壳CW球与球面的面数

Face Numbers of Shellable CW Balls and Spheres

本研究将多面体边界复形的面数不等式推广至可剥壳强正则CW球与球面，给出带边界项的面数下界及等号条件，还证明了兼具CL-可剥壳与对偶CL-可剥壳性质的CW球面的全维面数下界。

2024-09-12math.CO

f-vectors of Simplicial Posets that are Balls

Results of R. Stanley and M. Masuda completely characterize the h-vectors of simplicial posets whose order complexes are spheres. In this paper we examine the corresponding question in the case where the order complex is a ball. Using the face rings of these posets, we develop a series of new conditions on their h-vectors. We also present new methods for constructing poset balls with specific h-vectors. These results allow us to give a complete characterization of the h-vectors of simplicial poset balls up through dimension six.

2010-09-10math.ACmath.COmath.GT