A tightness criterion for homology manifolds with or without boundary (Q2255796)

Let \({\mathbb F}\) be any field. A connected simplicial complex \(X\) is \({\mathbb F}\)-tight if, for every induced subcomplex \(Y\) of \(X\), the homology maps \(H_*(Y;\mathbb F) \to H_*(X;{\mathbb F})\) induced by inclusions are injective. In the present paper, the author generalizes to \({\mathbb F}\)-homology manifolds some criteria proving tightness. An \textit{\({\mathbb F}\)-homology manifold of dimension} \(d\) is a simplicial complex all whose vertex links are \({\mathbb F}\)-homology spheres or \({\mathbb F}\)-homology balls of dimension \(d-1\) (an \textit{\({\mathbb F}\)-homology sphere} is a simplicial complex such that the link \(L\) of every face has the same \({\mathbb F}\)-homology as the sphere of dimension \(\text{dim}(L)\) and we refer to the paper for the inductive definition of \textit{\({\mathbb F}\)-homology balls}). The two main results of the paper assert \({\mathbb F}\)-tighness for \((k+1)\)-neighbourly \(k\)-stacked \({\mathbb F}\)-homology manifold with boundary (Theorem 13) or, with the additive assumption of \({\mathbb F}\)-orientability, without boundary (Theorem 15); a simplicial complex \(K\) is \textit{\(n\)-neighbourly} if any subset of \(n\) vertices form a face of \(K\) and a \((d+1)\)-dimensional \({\mathbb F}\)-homology manifold \(K\) with boundary is \textit{\(k\)-stacked} if \(K\) and its boundary \(\partial K\) have the same \((d-k)\)-skeleton. The last result gives a complete answer to a question asked by \textit{F. Effenberger} in [J. Comb. Theory, Ser. A 118, No. 6, 1843--1862 (2011; Zbl 1282.52015)].