Scalar curvature, mean curvature and harmonic maps to the circle

We study harmonic maps from a 3-manifold with boundary to $mathbb{S}^1$ and prove a special case of dihedral rigidity of three dimensional cubes whose dihedral angles are $pi / 2$. Furthermore we give some applications to mapping torus hyperbolic 3-manifolds.