Abstract:We consider (non-necessarily free) actions of subgroups $H\subset \mathbb Z_2^m$ on the real moment-angle manifold $\mathbb R\mathcal{Z}_P$ over a simple $n$-polytope $P$. The orbit space $N(P,H)=\mathbb R\mathcal{Z}_P/H$ has an action of $\mathbb Z_2^m/H$. For general $n$ we introduce the notion of a Hamiltonian $\mathcal{C}(n,k)$-subcomplex generalizing the three-dimensional notions of a Hamiltonian cycle, theta- and $K_4$-subgraphs. Each $\mathcal{C}(n,k)$-subcomplex $C\subset \partial P$ corresponds to a subgroup $H_C$ such that $N(P,H_C)\simeq S^n$. We prove that in dimensions $n\leqslant 4$ this correspondence is a bijection. Any subgroup $H\subset \mathbb Z_2^m$ defines a complex $\mathcal{C}(P,H)\subset \partial P$. We prove that each Hamiltonian $\mathcal{C}(n,k)$-subcomplex $C\subset \mathcal{C}(P,H)$ inducing $H$ corresponds to a hyperelliptic involution $\tau_C\in\mathbb Z_2^m/H$ on the manifold $N(P,H)$ (that is, an involution with the orbit space homeomorphic to $S^n$) and in dimensions $n\leqslant 4$ this correspondence is a bijection. We prove that for the geometries $\mathbb X= \mathbb S^4$, $\mathbb S^3\times\mathbb R$, $\mathbb S^2\times \mathbb S^2$, $\mathbb S^2\times \mathbb R^2$, $\mathbb S^2\times \mathbb L^2$, and $\mathbb L^2\times \mathbb L^2$ there exists a compact right-angled $4$-polytope $P$ with a free action of $H$ such that the geometric manifold $N(P,H)$ has a hyperelliptic involution in $\mathbb Z_2^m/H$, and for $\mathbb X=\mathbb R^4$, $\mathbb L^4$, $\mathbb L^3\times \mathbb R$ and $\mathbb L^2\times \mathbb R^2$ there are no such polytopes.

The 2-rank of finite groups acting on hyperelliptic 3-manifolds

Fixed Subgroups of 3-Manifold Group Automorphisms

On an Algebraic Formula and Applications to Group Action on Manifolds

Subgroups of bounded rank in hyperbolic 3-manifold groups

Subgroups of bounded rank in hyperbolic 3‐manifold groups

Manifolds realized as orbit spaces of non-free $\mathbb Z_2^k$-actions on real moment-angle manifolds

Finite abelian groups acting on rationally connected threefolds I: Groups of product type

GL(2,R) Orbit Closures in Hyperelliptic Components of Strata

Fixed subgroups of automorphisms of hyperbolic 3-manifold groups

The fixed subgroups of homeomorphisms of Seifert manifolds

Actions of large finite groups on manifolds

Finite-volume hyperbolic 3-manifolds are almost determined by their finite quotient groups

Geometric inflexibility and 3-manifolds that fiber over the circle

The structure of 3-manifolds with 2-generated fundamental group

Classification of generalized torsion elements of order two in 3-manifold groups

Four-manifolds defined by vector-colorings of simple polytopes

Convex co-compact representations of 3-manifold groups

On the Holonomic Rank Problem

The geometry of antisymplectic involutions, II

Equivariant Ricci flow with surgery and applications to finite group actions on geometric 3-manifolds

Equivariantly formal 2-torus actions of complexity one