arXiv++ Combinatorics

For any $n$-dimensional simplex in the Euclidean space $\mathbb{R}^n$ with $n\ge 4$, it is asked that if a continuous deformation preserves the volumes of all the codimension 2 faces, then is it necessarily a \emph{rigid} motion. While the question remains open and the general belief is that the answer is affirmative, for all $n\ge 4$, we provide counterexamples to a variant of the question where $\mathbb{R}^n$ is replaced by a pseudo-Euclidean space $\mathbb{R}^{p,n-p}$ for some unspecified $p\ge 2$.

Let $M^d$ be the spherical, Euclidean, or hyperbolic space of dimension $d\ge n+1$. Given any degenerate $(n+1)$-simplex $\mathbf{A}$ in $M^d$ with non-degenerate $n$-faces $F_i$, there is a natural partition of the set of $n$-faces into two subsets $X_1$ and $X_2$ such that $\sum_{X_1}V_n(F_i)=\sum_{X_2}V_n(F_i)$, except for a special spherical case where $X_2$ is the empty set and $\sum_{X_1}V_n(F_i)=V_n(\mathbb{S}^n)$ instead. For all cases, if the vertices vary smoothly in $M^d$ with a \emph{single} volume constraint that $\sum_{X_1}V_n(F_i)-\sum_{X_2}V_n(F_i)$ is preserved as a constant (0 or $V_n(\mathbb{S}^n)$), we prove that if a \emph{stress} invariant $c_{n-1}(α^{n-1})$ of the degenerate simplex is non-zero, then the vertices will be confined to a lower dimensional $M^n$ for any sufficiently small motion. This answers a question of the author and we also show that in the Euclidean case, $c_{n-1}(α^{n-1})=0$ is equivalent to the vertices of a \emph{dual} degenerate $(n+1)$-simplex lying on an $(n-1)$-sphere in $\mathbb{R}^n$.

Given a degenerate $(n+1)$-simplex in a $d$-dimensional space $M^d$ (Euclidean, spherical or hyperbolic space, and $d\geq n$), for each $k$, $1\leq k\leq n$, Radon's theorem induces a partition of the set of $k$-faces into two subsets. We prove that if the vertices of the simplex vary smoothly in $M^d$ for $d=n$, and the volumes of $k$-faces in one subset are constrained only to decrease while in the other subset only to increase, then any sufficiently small motion must preserve the volumes of all $k$-faces; and this property still holds in $M^d$ for $d\geq n+1$ if an invariant $c_{k-1}(α^{k-1})$ of the degenerate simplex has the desired sign. This answers a question posed by the author, and the proof relies on an invariant $c_k(ω)$ we discovered for any $k$-stress $ω$ on a cell complex in $M^d$. We introduce a characteristic polynomial of the degenerate simplex by defining $f(x)=\sum_{i=0}^{n+1}(-1)^{i}c_i(α^i)x^{n+1-i}$, and prove that the roots of $f(x)$ are real for the Euclidean case. Some evidence suggests the same conjecture for the hyperbolic case.