1: \begin{definition}

2: %Under the assumption in Theorem~\ref{local index} 

3: Suppose that $M$ has a cylindrical end $V= N\times (0,\infty)$. The compatible fibration $\{ V_\alpha ,\SF_\alpha\}$ %and the strongly acyclic compatible system $\{ D_\alpha\}_{\alpha \in A}$ on $(\{ V_\alpha ,\SF_\alpha\}, W)$ are 

4: is said to be {\it translationally invariant} if there exists a compatible fibration $\{N_\alpha,\hat\SF_{\alpha}\}_{\alpha\in A}$ on $N$ such that $\{ V_\alpha ,\SF_\alpha\}$ is the product of $\{N_\alpha,\hat\SF_{\alpha}\}_{\alpha\in A}$ and the compatible fibration $\{ (0,\infty),\SF_{(0,\infty)}\}$ on $(0,\infty)$, where $\SF_{(0,\infty)}$ is the trivial foliation consisting of $0$-dimensional leaves.  

5: \end{definition}

6: