Average Betti numbers of induced subcomplexes in triangulations of manifolds (Q2194092)

Summary: We study a variation of Bagchi and Datta's \(\sigma \)-vector of a simplicial complex \(C\), whose entries are defined as weighted averages of Betti numbers of induced subcomplexes of \(C\). We show that these invariants satisfy an Alexander-Dehn-Sommerville type identity, and behave nicely under natural operations on triangulated manifolds and spheres such as connected sums and bistellar flips. In the language of commutative algebra, the invariants are weighted sums of graded Betti numbers of the Stanley-Reisner ring of \(C\). This interpretation implies, by a result of \textit{K. Adiprasito} [``Combinatorial Lefschetz theorems beyond positivity'', Preprint, \url{arXiv:1812.10454}], that the Billera-Lee sphere maximizes these invariants among triangulated spheres with a given \(f\)-vector. For the first entry of \(\sigma\), we extend this bound to the class of strongly connected pure complexes. As an application, we show how upper bounds on \(\sigma\) can be used to obtain lower bounds on the \(f\)-vector of triangulated 4-manifolds with transitive symmetry on vertices and prescribed vector of Betti numbers.