Classification of aut-fixed subgroups in free-abelian times surface groups

In this paper, we are concerned with the direct product $G={\pi }_1(\mathrm{\Sigma })\times {\mathbb{Z}}^k$ for $\mathrm{\Sigma }$ a compact orientable surface with negative Euler characteristic, and give a complete classification of its fixed subgroups of automorphisms. As a corollary, we show that $G$ contains, up to isomorphism, infinitely many fixed subgroups of automorphisms if and only if $k\ge 2$, which is a contrast to that of hyperbolic groups. As an application on Nielsen fixed point theory, we provide a family of aspherical manifolds without Jiang’s Bound Index Property. Moreover, we also give some results on the fixed subgroups of the direct product $H\times {\mathbb{Z}}^k$ for $H$ a non-elementary torsion-free hyperbolic group.