Balanced genus and a lower bound theorem for balanced 3- and 4-manifolds

Abstract: We introduce a new PL invariant, called the balanced genus, for balanced normal $d$-pseudomanifolds. As a key result, we establish that for any 3-manifold $M$ that is not a sphere, the balanced genus satisfies the lower bound $\mathcal{G}_M \geq m+3$, where $m$ is the rank of its fundamental group. Furthermore, we prove that a 3-manifold $M$ is homeomorphic to the 3-sphere if and only if its balanced genus $\mathcal{G}_M$ is at most 3. For 4-manifolds, we establish a similar characterization: if $M$ is not homeomorphic to a sphere, then its balanced genus is bounded below by $\mathcal{G}_M \geq 2\chi(M) + 5m + 11$, where $m$ is the rank of $\pi_1(M)$. Additionally, we prove that a 4-manifold $M$ is PL-homeomorphic to the 4-sphere if and only if its balanced genus satisfies $\mathcal{G}_M \leq 2\chi(M) + 10$. We believe that the balanced genus provides a new perspective in combinatorial topology and will inspire further developments in the field. To this end, we outline several research directions for future exploration.