1: \begin{definition}[\cite{Hingston-Oancea}]

2: \label{def:completing} Let $X$ be a Hilbert manifold and $f:X\to\mathbb{R}$ a

3: $C^{2}$-function satisfying condition~(C) of Palais and Smale as stated in Theorem~\ref{thm:PS}. 

4: Let

5: \[

6: K:=\mathrm{Crit}(f)\cap f^{-1}(0)\subset X

7: \]

8: be the critical locus of $f$ at level $0$ and assume $K$ is a Morse-Bott

9: non-degenerate closed manifold of index $\iota(K)$. 

10: 

11: A \emph{completing manifold for $K$} is a finite dimensional closed manifold $Y$

12: together with a closed submanifold $L\subset Y$ of codimension $\iota(K)$ and a map

13: $\varphi:Y\rightarrow X^{\leq0}$ subject to conditions~\eqref{item:embedding}

14: and~\eqref{item:surjective}  below. We say that $Y$ is a \emph{strong

15: completing manifold} if it satisfies conditions~\eqref{item:embedding}

16: and~\eqref{item:retraction} (in which case condition~\eqref{item:surjective}

17: follows). 

18: 

19: 

20: \begin{enumerate}

21: \item \label{item:embedding} the map $\varphi$ is an embedding \emph{near}

22: $L$, it maps $L$ diffeomorphically onto $K$, and

23: \[

24: \varphi^{-1}(K)=L.

25: \]

26: 

27: 

28: \item \label{item:surjective} the canonical map

29: \[

30: H_{\cdot}(Y)\to H_{\cdot}(Y,Y\setminus L)

31: \]

32: is surjective for any choice of coefficient ring.

33: 

34: \item \label{item:retraction} the embedding $s:L\hookrightarrow Y$ admits a retraction $p:Y\to L$ such that $ps=\operatorname{Id}_L$ and the manifold $Y$ is orientable. \end{enumerate}

35: \end{definition}

36: