English
Related papers

Related papers: Face Numbers of Shellable CW Balls and Spheres

200 papers

Discrete d-manifolds are classes of finite simple graphs which can triangulate classical manifolds but which are defined entirely within graph theory. We show that the chromatic number X(G) of a discrete d-manifold G is sandwiched between…

Combinatorics · Mathematics 2021-06-29 Oliver Knill

We prove that the number of connected components of a smooth hypersurface in the positive orthant of $\mathbb{R}^n$ defined by a real polynomial with $d + k + 1$ monomials, where $d$ is the dimension of the affine span of the exponent…

Algebraic Geometry · Mathematics 2024-05-08 Frédéric Bihan , Tristan Humbert , Sébastien Tavenas

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…

Combinatorics · Mathematics 2015-03-20 Karim Alexander Adiprasito , Bruno Benedetti

A $k$-uniform, $d$-regular instance of Exact Cover is a family of $m$ sets $F_{n,d,k} = \{ S_j \subseteq \{1,...,n\} \}$, where each subset has size $k$ and each $1 \le i \le n$ is contained in $d$ of the $S_j$. It is satisfiable if there…

Computational Complexity · Computer Science 2015-03-05 Cristopher Moore

The weak geometric P=W conjecture of L. Katzarkov, A. Noll, P. Pandit, and C. Simpson asserts that for any smooth Betti moduli space $\mathcal{M}_B$ of complex dimension $d$ over a punctured Riemann surface, the dual boundary complex…

Algebraic Geometry · Mathematics 2024-09-02 Tao Su

Assume D is a simplicial sphere, and k_1 is a field. We say that D is generically anisotropic over k_1 if, for a certain purely transcendental field extension k of k_1, a certain Artinian reduction A of the Stanley-Reisner ring k[D] has the…

Commutative Algebra · Mathematics 2020-12-18 Stavros Argyrios Papadakis , Vasiliki Petrotou

In 1971, McMullen and Walkup posed the following conjecture, which is called the generalized lower bound conjecture: If $P$ is a simplicial $d$-polytope then its $h$-vector $(h_0,h_1,...,h_d)$ satisfies $h_0 \leq h_1 \leq ... \leq…

Combinatorics · Mathematics 2012-04-06 Satoshi Murai , Eran Nevo

We prove a result analogous to Reeb's theorem in the context of Morse-Bott functions: if a closed, smooth manifold $M$ admits a Morse-Bott function having two critical submanifolds $S^k$ and $S^l$ ($k \neq l$), then $M$ has dimension…

Differential Geometry · Mathematics 2025-09-18 Somnath Basu , Sachchidanand Prasad

We prove the following quantitative version of the celebrated Soap Bubble Theorem of Alexandrov. Let $S$ be a $C^2$ closed embedded hypersurface of $\mathbb{R}^{n+1}$, $n\geq1$, and denote by $osc(H)$ the oscillation of its mean curvature.…

Differential Geometry · Mathematics 2016-01-13 Giulio Ciraolo , Luigi Vezzoni

Let $X$ be a smooth hypersurface of dimension $n\geq 1$ and degree $d\geq 3$ in the projective space given as the zero set of a homogeneous form $F$. If $(n,d)\neq (1,3), (2,4)$ it is well known that every automorphism of $X$ extends to an…

Algebraic Geometry · Mathematics 2021-10-05 Víctor González-Aguilera , Alvaro Liendo , Pedro Montero

A set $\mathcal{S}$ of points in $\mathbb{R}^n$ is called a rationally parameterisable hypersurface if $\mathcal{S}=\{\boldsymbol{\sigma}(\mathbf{t}): \mathbf{t} \in D\}$, where $\boldsymbol{\sigma}: \mathbb{R}^{n-1} \rightarrow…

Classical Analysis and ODEs · Mathematics 2022-12-29 Konrad Engel

We improve Larman's bound on the diameter of a polytope by showing that if $\Delta$ is a normal simplicial complex, all of whose missing faces have size at most $r$, then the diameter of the facet-ridge graph of $\Delta$ is not larger than…

Combinatorics · Mathematics 2013-03-28 Isabella Novik

Neighborly cubical polytopes exist: for any $n\ge d\ge 2r+2$, there is a cubical convex d-polytope $C^n_d$ whose $r$-skeleton is combinatorially equivalent to that of the $n$-dimensional cube. This solves a problem of Babson, Billera &…

Combinatorics · Mathematics 2007-05-23 Michael Joswig , G"unter M. Ziegler

A nonsingular surface of degree $d \geq 2$ in $\mathbb{P}^3$ over $\mathbb{F}_q$ has at most $((d-1)q+1)d$ $\mathbb{F}_q$-lines, and this bound is optimal for $d = 2, \sqrt{q}+1, q+1$.

Algebraic Geometry · Mathematics 2016-08-10 Masaaki Homma , Seon Jeong Kim

We show that the facet-ridge graph of a shellable simplicial sphere $\Delta$ uniquely determines the entire combinatorial structure of $\Delta$. This generalizes the celebrated result due to Blind and Mani (1987), and Kalai (1988) on…

Combinatorics · Mathematics 2025-07-08 Yirong Yang

We establish uniformization results for metric spaces that are homeomorphic to the euclidean plane or sphere and have locally finite Hausdorff 2-measure. Applying the geometric definition of quasiconformality, we give a necessary and…

Complex Variables · Mathematics 2016-08-29 Kai Rajala

Let X be a minimal surface of general type with positive geometric genus ($b_+ > 1$) and let $K^2$ be the square of its canonical class. Building on work of Khodorovskiy and Rana, we prove that if X develops a Wahl singularity of length…

Algebraic Geometry · Mathematics 2019-03-29 Jonathan David Evans , Ivan Smith

We provide a simple characterization of simplicial complexes on few vertices that embed into the $d$-sphere. Namely, a simplicial complex on $d+3$ vertices embeds into the $d$-sphere if and only if its non-faces do not form an intersecting…

Combinatorics · Mathematics 2023-11-10 Florian Frick , Mirabel Hu , Verity Scheel , Steven Simon

We define the excess degree $\xi(P)$ of a $d$-polytope $P$ as $2f_1-df_0$, where $f_0$ and $f_1$ denote the number of vertices and edges, respectively. This parameter measures how much $P$ deviates from being simple. It turns out that the…

Combinatorics · Mathematics 2018-02-16 Guillermo Pineda-Villavicencio , Julien Ugon , David Yost

Denote by ${\mathcal K}^d$ the family of convex bodies in $E^d$ and by $w(C)$ the minimal width of $C \in {\mathcal K}^d$. We ask for the greatest number $\Lambda_n ({\mathcal K}^d)$ such that every $C \in {\mathcal K}^d$ contains a…

Metric Geometry · Mathematics 2017-03-30 Marek Lassak