I have some question about a special type of hypersurfaces in manifolds. Let $M$ be a compact Riemannian manifold of nonpositive sectional curvature with convex boundary. We call two totally-geodesic immersions $\phi\_1: M\_1 \rightarrow M$ and $\phi\_2: M\_2 \rightarrow M$ of closed manifolds $M\_1, M\_2$ of nonpositive curvature in $M$ parallel, if there is a totally-geodesic embedding $\phi: N \times [a\_1, a\_2 ] \rightarrow \tilde{M}$ into the universal covering $\tilde{M}$ and covering maps $p\_i: N \times \{a\_i\} \rightarrow M\_i$, which fulfill $\phi\_i \circ p\_i = \pi \circ \phi \vert\_{N \times a\_i} $
where $\pi: \tilde{M} \rightarrow M$ denotes the covering projection. 


Now I have some questions: Let $F \subset \tilde{M}$ be a closed flat submanifold and denote by $\Gamma(F)$ the subgroup of the group $\Gamma$ of deck translations that fixes $F$. We call $F$ a $\Gamma$-flat if $\Gamma(F)$ acts cocompactly on $F$. Then the following seems to be true, but I don't know why and would be interested in a proof: 


1. If $M$ is not flat, then the set of all flats parallel to a $\Gamma$-flat $F$ in $\tilde{M}$ is isometric to $F \times [a\_1, a\_2]$ for some compact intervall $[a\_1, a\_2]$.
2. If we assume that $[a\_1, a\_2 ]= [-a, a ]$ then we call the hypersurface $F \times 0$ in $F \times [-a, a ]$ central. Let $F'$ denote the immersed hypersurface in $M$ that is covered by $F$. Prove that every hypersurface parallel to $F'$ is homotopic to $F'$.


I would be very happy if someone could answer these questions!



Properties of hypersurfaces in manifold of non-positive curvature.
First of all, in order for Claim 1 to be true you need to assume that $F$ has codimension 1 in $\tilde{M}$. Second, by "set of all flats" you presumably mean "union of all flats". Now, let's prove Claim 1: Take the union $U$ of all "parallel strips" of the form $F\times [0, a]\subset X$, where $F$ is identified with $F\times 0$; $X=\tilde{M}$. Since the property of being parallel is transitive, $U$ can be exhausted by nested subsets $U\_i, i\in {\mathbb N}$, each of which is a "parallel strip." By Arcela-Ascoli theorem, $U$ is closed in $X$ and is isometric to $I\times F$, where $I\subset {\mathbb R}$ is either a closed interval or a ray or $I={\mathbb R}$. The latter is impossible since you are assuming that $X$ is not flat. Suppose that $I$ is a ray. Then pick a sequence of points $x\_i\in U$ whose distances $R\_i$ to the boundary of $U$ diverge to infinity. Thus, since $M$ is compact, for sufficiently large $i$ the ball $B(x\_i, R\_i)$ covers the entire manifold $M$ under the projection $X\to M$. Since $U$ is flat, it follows that $M$ is flat as well, contradicting your assumption. This leaves us with $U\cong F\times [a\_1,a\_2]$ as required. 


Claim 2 is false as stated, consider, for, instance, the flat Klein bottle $K=M$ and $F'$ the orientation-reversing simple closed geodesic in $K$. Then there will be orientation-preserving simple geodesic loops $F''\subset K$ which are "parallel" to $F'$ with your definition. However, clearly, $F''$ are not homotopic to $F'$. To get the correct statement, assume that parallel hypersurfaces $F', F''$ are cooriented in $M$ (i.e., have trivial normal bundles). Then stabilizers $\Gamma\_{F'}, \Gamma\_{F''}$ of the universal covers $\tilde{F}', \tilde{F}''$ of $F'$ and $F''$ in $\Gamma$ are the same and, thus, the hypersurfaces $F', F''$ are homotopic. To see that the stabilizers are the same, note that both stabilizers $\Gamma\_{F'}, \Gamma\_{F''}$ preserve the parallel set $U$ of $\tilde{F}', \tilde{F}''$. Furthermore, the entire stabilizer $\Gamma\_U$ of $U$ in $\Gamma$ contains index 2 subgroup $\Gamma^+\_U$ which fixes $a\_1, a\_2$ as above. Hence, $\Gamma^+\_U$ fixes the entire segment $[a\_1, a\_2]$ and, thus, preserves both $\tilde{F}', \tilde{F}''$. By our assumption that both $F', F''$ are cooriented, thus, both groups $\Gamma\_{F'}, \Gamma\_{F''}$ are contained in $\Gamma\_U$. Hence, they are equal to $\Gamma\_U$. 


