Abstract
This is an expository article without any claim of originality. We give a complete and selfcontained account of the Gromov–Lawson–Chernysh surgery theorem for positive scalar curvature metrics.
Introduction
A famous result by Gromov–Lawson [8] and Schoen–Yau [22] states that if \(M^d\) is a closed manifold with a metric of positive scalar curvature and \(\varphi : S^{dk} \times \mathbb {R}^{k} \rightarrow M\) a surgery datum of codimension \(k \ge 3\), then the manifold \(M_\varphi : =M {{\setminus }} (S^{dk} \times D^k) \cup _{S^{dk}\times S^{k1}} D^{dk+1} \times S^{k1}\) does have a metric of positive scalar curvature as well. This has been the basis for virtually all existence results for psc metrics on highdimensional manifolds, the most prominent of which is [23].
A strengthening of the surgery theorem has been proven by Chernysh [3], based on Gromov–Lawson’s proof. His result implies that the two spaces \({\mathcal R}^+ (M)\) and \({\mathcal R}^+ (M_\varphi )\) of psc metrics have the same homotopy type if in addition to \(k \ge 3\) the condition \(dk+1\ge 3\) is also satisfied.
To state Chernysh’s theorems in full generality, some preliminaries are needed. To keep the length of this introduction at bay, we state the results somewhat informally and refer to the main body of the paper for precise definitions. We consider Riemannian metrics on compact manifolds with boundary (it is always assumed that the boundaries are equipped with collars). Let \({\mathcal R}(M)\) be the space of all Riemannian metrics h on M such that \(h = g+\mathrm{d}t^2\) near \(\partial M\), for some metric g on \(\partial M\), and with respect to the given collar. Let \({\mathcal R}^+(M) \subset {\mathcal R}(M)\) be the subspace of metrics of positive scalar curvature. If \(h\in {\mathcal R}^+ (M)\) is of the form \(g+\mathrm{d}t^2\) near \(\partial M\), then g has positive scalar curvature as well, and hence mapping h to g defines a continuous restriction map
We define
the space of all Riemannian metrics of positive scalar curvature on M which near \(\partial M \) are equal to \(g+\mathrm{d}t^2\).
Theorem 1.1
(Chernysh [4]) The restriction map \(\mathrm {res}:{\mathcal R}^+ (M) \rightarrow {\mathcal R}^+ (\partial M)\) is a Serre fibration.
In fact, this is a slight improvement of the main result of [4], where it is only shown that \(\mathrm {res}\) is a quasifibration. The proof of Theorem 1.1 is given in Sect. 5.1 and follows largely the idea of [4].
Now let N be a compact manifold with collared boundary and let \(\varphi :N \times \mathbb {R}^k \rightarrow M\) be an open embedding such that \(\varphi ^{1}(\partial M)=\partial N \times \mathbb {R}^k\) and such that \(\varphi \) is compatible with the chosen collars of M and N. Let \(g_N \in {\mathcal R}(N)\) be a Riemannian metric on N, not necessarily of positive scalar curvature.
Let \(g_\mathrm {tor}^k\) be a torpedo metric on \(\mathbb {R}^k\) such that \(\mathrm {scal}(g_\mathrm {tor}^k) + \mathrm {scal}(g_N)= \mathrm {scal}(g_N + g_\mathrm {tor}^k) >0\). The precise definition of a torpedo metric will be given in (2.9) below, and for the time being, let us only list the most important features. First, \(g_\mathrm {tor}^k\) is an O(k)invariant metric on \(\mathbb {R}^k\). Second, let \(\psi : (0,\infty ) \times S^{k1} \rightarrow \mathbb {R}^k\) be the polar coordinate map and \(\mathrm{d}\xi ^2\) be the round metric on \(S^{k1}\). We require that \(\psi ^* g_\mathrm {tor}^k = \mathrm{d}t^2 + \delta \mathrm{d}\xi ^2\) on \([R,\infty ) \times S^{k1}\) for some \(R>0\) and \(\delta >0\). Third, \(\mathrm {scal}(g_\mathrm {tor}^k) \ge \frac{1}{\delta ^2}(k1)(k2)\). We define the subspace
Theorem 1.2
(Chernysh [3], see also Walsh [29]) Let \(\varphi : N \times \mathbb {R}^k \rightarrow M\) be an open embedding as before with \(k \ge 3\). Let \(g_N \in {\mathcal R}(M)\) be a Riemannian metric on N, not necessarily of positive scalar curvature. Let \(g_\mathrm {tor}^k\) be a torpedo metric on \(\mathbb {R}^k\) so that the product metric \(g_N + g_\mathrm {tor}^k\) on \(N \times \mathbb {R}^k\) has positive scalar curvature. Then the inclusion map
is a weak homotopy equivalence.
The main bulk of this paper is devoted to a detailed discussion of the proof of Theorem 1.2.
Remark 1.3
What Gromov and Lawson proved is that under the hypotheses of Theorem 1.2 and for closed N, \({\mathcal R}^+ (M,\varphi ) \ne \emptyset \), provided that \({\mathcal R}^+ (M) \ne \emptyset \). Later, Gajer [6] improved their result and proved that the inclusion map \({\mathcal R}^+ (M,\varphi ) \rightarrow {\mathcal R}^+ (M)\) is 0connected.
Remark 1.4
If \(N = S^{dk}\) and \(g_N\) is the round metric, one obtains a zigzag
where \(\varphi ': S^{k1} \times \mathbb {R}^{dk+1} \rightarrow M_\varphi \) is the opposite surgery datum. It follows that \({\mathcal R}^+ (M_\varphi )\ne \emptyset \) and \({\mathcal R}^+ (M) \simeq {\mathcal R}^+ (M_\varphi )\) if \(3 \le k \le n2\).
More generally, Theorem 1.2 implies the following cobordism invariance result.
Theorem 1.5
Let \(\theta :B \rightarrow BO(d)\) be a fibration, \(d \ge 6\). Assume that \(M_i\), \(i=0,1\), are two closed \((d1)\)dimensional \(\theta \)manifolds which are \(\theta \)cobordant. Then

1.
if the structure map \(M_1 \rightarrow B\) is 2connected, then there is a map \({\mathcal R}^+ (M_0)\rightarrow {\mathcal R}^+ (M_1)\) (in particular, if \({\mathcal R}^+ (M_0)\ne \emptyset \), then \({\mathcal R}^+ (M_1) \ne \emptyset \)).

2.
If in addition the structure map \(M_0 \rightarrow B\) is 2connected as well, then \({\mathcal R}^+ (M_0)\simeq {\mathcal R}^+ (M_1)\).
The bestknown special case is \(B = B \mathrm {Spin}(d)\). In that case, the hypothesis that \(M_i\rightarrow B\mathrm {Spin}(d)\) is 2connected just means that \(M_i\) is simply connected. For such manifolds, Theorem 1.5 follows in a straightforward manner from Theorem 1.2 and the proof of the hcobordism theorem (see, e.g. [15, Theorem VIII.4.1]), as explained in [29, §4]. The general case requires techniques from surgery and handlebody theory which are not so well known, which is why we include the proof in Sect. 6. Chernysh also proved a version of Theorem 1.2 for a fixed boundary condition, which is used in an essential way in [5]. To state it, let \(\partial \varphi : \partial N\times \mathbb {R}^k \rightarrow \partial M\) be the induced embedding and let \(g \in {\mathcal R}^+ (\partial M, \partial \varphi )\) be a fixed boundary condition. We let
Theorem 1.6
(Chernysh [4]) Under the hypotheses of Theorem 1.2, the inclusion map
is a weak homotopy equivalence.
The proof of Theorem 1.6 is only sketched in [4]. We give a proof, somewhat different from the proof envisioned in [4], in Sect. 5.2. Besides Theorems 1.2 and 1.1, the proof uses the (elementary) corner smoothing technique which was developed in [5, §2].
When [3] appeared, the result was apparently perceived as a curiosity and drew little attention. This has changed in recent years: Theorem 1.2 is an irreplaceable ingredient in the papers [2, 5]. Important parts of [3] are written in a fairly obscure way, and the paper has never been published. Later Walsh published a paper [29] containing a proof of Theorem 1.2, but many relevant details are not addressed in [29]. Because of the importance of the result for [2] and [5], the first named author wanted to make sure that the result is correct and that he understands the proof properly. He suggested checking [3] and [29] as a project for the second author’s Master’s thesis. The present paper is the result of this checking process. Let us summarize our findings.

1.
One half of the proof of Theorem 1.2 is virtually identical to the proof of the original Gromov–Lawson result. We found one small computational error, which is reproduced in various expositions of the result ([21, 28]). This error looks harmless at first sight, but enforces an alternative argument at one key juncture of the proof. Therefore, we decided to give a selfcontained treatment of the whole proof.

2.
All other arguments in Chernysh’s paper are essentially correct and complete, albeit some parts of his paper are very intransparent and hard to decipher.

3.
[29] leaves many questions open. In particular, it remains unclear to us how to fill in the details of the proof of Lemma 3.3 loc.cit., without using the quite technical computations of [3, §3] or computations of a similar delicacy.
Preliminary material
Spaces of psc metrics on manifolds with boundary
Let M be a compact manifold with boundary \(\partial M\). We assume that the boundary of M comes equipped with a collar \(\partial M \times [0,1) \rightarrow M\). The collar identifies \(\partial M \times [0,1) \) with an open subset of M and we usually use this identification without further mentioning.
We only consider Riemannian metrics on M which have a simple structure near \(\partial M\). More precisely, for \(c\in (0,1)\), we denote by \({\mathcal R}(M)^c\) the space of all Riemannian metrics h on M such that \(h = g+\mathrm{d}t^2\) on \(\partial M \times [0,c]\) for some metric g on \(\partial M\).
We topologize \({\mathcal R}(M)^c\) as a subspace of the Fréchet space of smooth symmetric (2, 0)tensor fields on M, with the usual \(C^\infty \)topology.
Now let \({\mathcal R}^+ (M)^c \subset {\mathcal R}(M)^c\) be the subspace of all Riemannian metrics with positive scalar curvature (this is an open subspace). It follows from [18, Theorem 13] and [9, Proposition A.11] that \({\mathcal R}^+ (M)^c\) has the homotopy type of a CW complex.
If \(h \in {\mathcal R}^+ (M)^{c}\) and \(h=g+\mathrm{d}t^2\) on \(\partial M \times [0,c]\), then \(\mathrm {scal}(g+\mathrm{d}t^2 )=\mathrm {scal}(g)\) and so the metric g on \(\partial M\) necessarily has positive scalar curvature. This defines a restriction map
which is continuous. We define
the space of all psc metrics on M which on \(\partial M \times [0,c]\) are equal to \(g+\mathrm{d}t^2\). Moreover, we define
and
If \(b >c\), then \({\mathcal R}^+ (M)^b \subset {\mathcal R}^+ (M)^c\) and \({\mathcal R}^+ (M)_g^b \subset {\mathcal R}^+ (M)_g^c\), and it is elementary to see that the inclusion maps are homotopy equivalences [2, Lemma 2.1].
The restriction maps induce a restriction map
on the colimit, and there is a continuous bijection
There is no a priori reason why (2.1) should be a homeomorphism. However,
Lemma 2.2
The map (2.1) is a weak homotopy equivalence.
Proof
The inclusion maps \({\mathcal R}^+ (M)^b \rightarrow {\mathcal R}^+ (M)^c\) and \({\mathcal R}^+ (M)_g^b \rightarrow {\mathcal R}^+ (M)_g^c\) are closed embeddings. Hence the Lemma then follows from the next one, which is a general fact. \(\square \)
Lemma 2.3
Let \(X_0 \rightarrow X_1 \rightarrow X_2 \rightarrow X_3 \rightarrow \ldots \) be a sequence of closed embeddings of Hausdorff spaces and let \(f_n:X_n \rightarrow Y\) be a compatible sequence of maps. Then the continuous bijection \(\psi :{\text {colim}}_n (f_n^{1}(y)) \rightarrow ({\text {colim}}_n f_n)^{1}(y)\) is a weak homotopy equivalence.
Proof
It is enough to prove that if K is compact Hausdorff and \(h:K \rightarrow {\text {colim}}_n (f_n^{1}(y))\) is a map (of sets), then h is continuous if and only if \(\psi \circ h\) is continuous. If \(g:= \psi \circ h\) is continuous, then we can consider g as a map to \({\text {colim}}_n X_n\). By [24, Lemma 3.6], there is n and \(k:K \rightarrow X_n\) (continuous), so that \(g:= i_n \circ k\) (\(i_n:X_n \rightarrow {\text {colim}}_n X_n\) is the natural map). Now k maps into \(f_n^{1}(y)\), and so h can be written as the composition \(K {\mathop {\rightarrow }\limits ^{k}} f_n^{1} (y) \rightarrow {\text {colim}}_n (f_n^{1}(y))\) of continuous maps. \(\square \)
The trace construction
For the proof of both, Theorems 1.2 and 1.1, the following tedious but straightforward calculation using the standard formulas of Riemannian geometry is needed. We include the proof in Appendix A because we do not know an explicit reference.
Lemma 2.4
Let \(g: \mathbb {R}\rightarrow {\mathcal R}(M)\) be a smooth path. Let \(h:= \mathrm{d}t^2+ g(t)\) be the induced metric on \(\mathbb {R}\times M\). Then the scalar curvature of h is given by the formula
Here we use a local coordinate system in M and the Einstein summation convention. Moreover, \(g_{ij}\) are the components of the metric tensor of g, \(g^{ij}\) the components of its inverse. A symbol as \(g_{ij,k}\) denotes the derivative of \(g_{ij}\) with respect to the kth coordinate and similarly for higher derivatives. The 0th direction is the \(\mathbb {R}\)direction.
We will use the following consequence of Lemma 2.4 in later sections.
Lemma 2.5
[6] Let M be a compact manifold, P a compact space and let \(G: P \times [0,1] \rightarrow {\mathcal R}^+ (M)\) be continuous and assume that \(G(p,\_)\) is smooth for all p, and that all derivatives of G in the [0, 1]direction depend continuously on (p, t). Assume that for each \(p \in P\), there is \(B_p \in \mathbb {R}\) such that \(\mathrm {scal}(G(p,t)) \ge B_p\) for all \(t \in [0,1]\). Then for each \(\eta >0\), there is \(\Lambda > 0\), such that if \(f: \mathbb {R}\rightarrow [0,1]\) is a smooth function with \(\Vert f' \Vert _{C^0}, \Vert f'' \Vert _{C^0} \le \Lambda \), then the metric \(G(p,f(t)) + \mathrm{d}t^2\) on \(M \times \mathbb {R}\) satisfies \(\mathrm {scal}(G(p,f(t)) + \mathrm{d}t^2)\ge B_p  \eta \).
Proof
Lemma 2.4 shows that there is \(C>0\) so that
which immediately implies the claim. \(\square \)
Rotationally symmetric metrics
Let \(\psi :(0,\infty )\times S^{k1} \rightarrow \mathbb {R}^k {\setminus }\{0\}, (t,v)\mapsto tv\) be the polar coordinate map. We denote by \(\mathrm{d}\xi ^2\) the round metric on \(S^{k1}\). Furthermore, \(S^{k1}_r \subset \mathbb {R}^k\) denotes the sphere of radius r.
Lemma 2.6
Let g be an O(k)invariant Riemannian metric on \(B_R^k\), i.e. for all \(A \in O(k)\), we have \(A^*g=g\).

(1)
There exist smooth functions \(a,f:(0,R)\rightarrow (0,\infty )\), such that \(\psi ^*g = a(t)^2\mathrm{d}t^2 + f(t)^2 \mathrm{d}\xi ^2\).

(2)
\(a(t)\equiv 1\) holds if and only if the rays \(t\mapsto tv\) are unit speed geodesics for all \(v\in S^{k1}\). In this case we call g a normalized rotationally symmetric metric.

(3)
Under the hypothesis of (2), f is the restriction of an odd smooth function \(f:\mathbb {R}\rightarrow \mathbb {R}\) with \(f'(0)=1\). We call f the warping function of g.

(4)
In that situation, the scalar curvature of g is given by
$$\begin{aligned} \mathrm {scal}(g) = (k1)\left( (k2)\frac{1f'^2}{f^2}  2\frac{f''}{f}\right) . \end{aligned}$$(2.7)
Proof
For part (1), one uses that for each \(v\in S^{k1}\), there is an \(A\in O(k)\) such that \(Av=v\) and \(A_{v^\perp }={\text {id}}\). It follows that at each point \(0\ne x\in B_R^k\), the spaces \(\mathrm {span}\{x\}\) and \(T_x(S^{k1}_{\Vert x \Vert }) \) are orthogonal with respect to g. Since \(\mathrm{d}\xi ^2\) is, up to a constant multiple, the only O(k)invariant metric on \(S^{k1}\), the claim follows. Part (2) is clear. Part (3) can be found in [19, §3.4], and the computation for part (4) in [19, p. 69]. \(\square \)
We denote the scalar curvature of the metric \(\mathrm{d}t^2 + f(t)^2 \mathrm{d}\xi ^2\) by
The function \(f(t)=\sin (t)\) on \([0,\pi )\) gives a metric which is isometric to the usual round metric on \(S^k\). It has \(\sigma (f)= k (k1)\). Let us now give the precise definition of the torpedo metrics.
Definition 2.9
A torpedo function of radius \(\delta >0\) is a function \(f: [0,\infty ) \rightarrow \mathbb {R}\) which is the restriction of a smooth odd function with \(f'(0)=1\), such that

(1)
\(0 \le f' \le 1\),

(2)
\(f'' \le 0\),

(3)
there is \(R>0\) so that \(f \equiv \delta \) near \([R,\infty )\),

(4)
\(\sigma (f) \ge \frac{1}{\delta ^2}(k1)(k2)\).
The metric \(\mathrm{d}t^2 + f(t)^2 d \xi ^2\) on \(\mathbb {R}^k\) is called a torpedo metric of radius \(\delta \).
Let us give a concrete construction of a torpedo function. Let \(\epsilon >0\) be small and let \(u:[0,\infty )\rightarrow \mathbb {R}\) be a function satisfying

\(u\equiv {\text {id}}\) on \([0,\frac{\pi }{2}\epsilon ]\),

\(u\equiv \frac{\pi }{2}\) on \([\frac{\pi }{2} + \epsilon ,\infty )\),

\(u''\le 0\) (together with the previous conditions, this implies \(0 \le u'\le 1\)).
We define \(h_1(t):=\sin (u(t))\). By (2.7) we have
so that \(h_1\) is indeed a torpedo function of radius 1 (with \(R\ge \frac{\pi }{2} + \epsilon \)). For \(\delta >0\), the function
is a torpedo function of radius \(\delta \). For the rest of this paper, we fix a torpedo function \(h_1\) of radius 1, and define \(h_\delta (t):= \delta h_1(\frac{t}{\delta })\).
The parametrized Gromov–Lawson construction
In this and the following section, we prove Theorem 1.2, and we begin with the precise statement. Let N and M be compact manifolds with collared boundary and let \(\varphi : N \times \mathbb {R}^k \rightarrow M\) be an open embedding with \(k \ge 3\). We assume that \(\varphi ^{1} (\partial M)= (\partial N) \times \mathbb {R}^k\) and let \(\partial \varphi : \partial N \times \mathbb {R}^k \rightarrow \partial M\) be the induced embedding. Furthermore, we assume that \(\varphi \) is compatible with the chosen collars, that is, if \((x,t,v) \in (\partial N)\times [0, 1) \times \mathbb {R}^k \subset N \times \mathbb {R}^k\), then
From now on, we usually identify \(N \times \mathbb {R}^k\) with an open subset of M via \(\varphi \).
Let \(g_N\) be a Riemannian metric on N which is of the form \(g_{\partial N}+\mathrm{d}t^2\) on \(\partial N\times [0,1)\). It is not required that \(\mathrm {scal}(g_N)>0\). Let
and pick \(\delta >0\) so that
Let \(g_\mathrm {tor}^k\) be a torpedo metric on \(\mathbb {R}^k\) of radius \(\delta \), and let \(R>0\) be as in Definition 2.9. For \(c>0\), define
and \({\mathcal R}^+ (M,\varphi ):= {\text {colim}}_{c \rightarrow 0} {\mathcal R}^+ (M,\varphi )^c\).
Theorem 3.1
The inclusion maps
are weak homotopy equivalences.
The proof that we give will apply simultaneously to both cases, and for notational simplicity, we deal only with \({\mathcal R}^+ (M,\varphi ) \rightarrow {\mathcal R}^+ (M)\). The proof is in two steps. We first introduce an intermediate space \( {\mathcal R}^+ (M,\varphi ) \subset {\mathcal R}^+_{\mathrm {rot}} (M) \subset {\mathcal R}^+ (M) \).
Definition 3.2
If M, N and \(g_N\) is as above, we define \( {\mathcal R}^+_{\mathrm {rot}} (M) \subset {\mathcal R}^+ (M)\) as the subspace of those g, such that there exists a rotationally symmetric normalized psc metric \(g_{B_R^k}\) such that
In this section, we show
Proposition 3.3
The inclusion map
is a weak homotopy equivalence.
The proof of Proposition 3.3 is essentially the same as the original argument by Gromov and Lawson [8] (but note that Rosenberg–Stolz [21] corrected mistakes in [8]).
Adapting tubular neighborhoods
In the proof of Theorem 1.2, we shall use several devices to change a Riemannian metric. One such device (which plays a minor, more technical role) is by suitable isotopies.
Definition 3.4
A Riemannian metric g on M is normalized on the \(r_0\)tube around N if for each \(p \in N\) and \(v \in S^{k1}\), the curve \([0,r_0] \rightarrow N \times \mathbb {R}^k \subset M\), \(t \mapsto (p,tv)\), is a unit speed geodesic.
For example, each \(g \in {\mathcal R}^+_{\mathrm {rot}}(M)\) is, by definition, normalized on the Rtube around N.
Note that the condition defined above relates the metric g to the embedding \(\varphi \), and therefore it would be more appropriate to call it normalized on the \(r_0\)tube around N with respect to \(\varphi \). Since the embedding \(\varphi \) will be fixed all the time and since we exclusively consider the normalization condition with respect to \(\varphi \), we decided to use the less precise wording.
Proposition 3.5
(Adapting tubular neighborhoods) Let (K, L) be a finite CWpair and let \(G: K \rightarrow {\mathcal R}(M)\) be continuous, so that G(x) is normalized on the rtube around N when \(x \in L\). Then there exists \(r_0 \in (0,r]\) and a continuous map \(F: [0,1] \times K \rightarrow \mathrm {Diff}(M)\) such that \( F(t,x)={\text {id}}\) if \((t,x) \in (\{0\} \times K)\cup ([0,1] \times L)\), \(F(t,x)_N = {\text {id}}\) and such that \(F(1,x)^* G(x)\) is normalized on the \(r_0\)tube around N, for all \(x \in K\).
Proof
The embedding \(\varphi :N \times {\mathbb {R}}^k \rightarrow M\) identifies the normal bundle \(\nu _N^M\) with the trivial vector bundle \(N \times {\mathbb {R}}^k\). For each Riemannian metric g on M, there are maps
The first is the fixed isomorphism, the second is induced by the bundle metric g and the third is the Riemannian exponential map of g (and is only partially defined). The metric g is normalized on the \(r_0\)tube around N if and only if \(\varphi _g\) is defined on \(N \times B_{r_0}^k\) and agrees with \(\varphi \) there. Since N and K are compact, there is \(r_0>0\) so that \(\varphi _{G(x)} \) is defined on \(N \times B^k_{r_0}\), injective and has image in \(N \times \mathbb {R}^k \subset M\). There is an isotopy
of embeddings such that \(H(t,x,\_) = \varphi _{G(x)}\) for all \((t,x) \in (\{0\}\times K )\cup ([0,1] \times L)\) and such that \(H(1,x,\_)=\varphi \) for all \(x \in K\). In the case \(K=*\), this follows from the wellknown result that tubular neighborhoods are unique up to isotopy [11, Theorem 4.5.3, 4.6.5]. The proof given in loc.cit. carries over to the parametrized and relative case without change.
An instance of the parametrized isotopy extension theorem [27, Theorem 6.1.1] shows that there exists \(F:[0,1] \times K \rightarrow \mathrm {Diff}(M)\) with \(F(t,x)={\text {id}}\) when \((t,x) \in (\{0\} \times K) \cup ([0,1] \times L)\) and \(F(t,x)_{N \times B^k_{r_0}} = H(t,x,\_)\). The Riemannian metric \(F(1,t)^* G(x)\) is normalized on the \(r_0\)tube around N. \(\square \)
Gromov–Lawson curves
One important step in the proof of Theorem 1.2 (well explained in, e.g. [21, 28]) is to obtain a deformation of a psc metric g on M by a deformation of M inside \(M \times \mathbb {R}\) and to take the metric induced by \(g + \mathrm{d}t^2\).
Definition 3.6
A Gromov–Lawson curve \(\Gamma \) is a smooth map \(\Gamma :[0,1]\times [0,\infty )\rightarrow \mathbb {R}^2\) such that

(1)
\(\Gamma (0,s)= (0,s)\) for all s,

(2)
each curve \(\Gamma _\lambda := \Gamma (\lambda ,\_)\) is an embedding,

(3)
there exists \(\rho>r_0>0\) such that for all \(\lambda \in [0,1]\), \(\Gamma _\lambda (s)\) lies on the positive raxis for all \(s \ge r_0\) and \(\Gamma _{\lambda } (s)= (0,s)\) for all \(s \ge \rho \). We call \(r_0\) the outer width of \(\Gamma \).

(4)
\(\Gamma _1\) has a horizontal line segment of height \(r_\infty \), i.e. there exists \(0<y_4<y_5 \in \mathbb {R}\) such that the line segment between the points \((y_4,r_\infty )\) and \((y_5,r_\infty )\) lies in the image of \(\Gamma _1\). We call \(r_\infty \) the inner width of \(\Gamma \), and \(\ell :=y_4y_5\) is the length of \(\Gamma \).

(5)
\(\Gamma _\lambda (0)\) lies on the yaxis, and this is the only point where \(\Gamma _\lambda \) meets the yaxis. Moreover, it does so at a right angle and follows the arc of a circle (of possibly infinite radius) in the region where \(r \le \frac{1}{2} r_\infty \).
A typical GromovLawson curve is shown in Fig. 1. The indicated points \((y_i,r_i)\) are important for the construction of these curves.
A Gromov–Lawson curve determines an isotopy of embeddings \(E_\Gamma : [0,1] \times M \rightarrow M \times \mathbb {R}\). Write \(\Gamma ^i_\lambda \), \(i=1,2\), for the components of \(\Gamma _\lambda \). First, we define \(E_\Gamma : [0,1] \times N \times \mathbb {R}^k \rightarrow N \times \mathbb {R}^k \times \mathbb {R}\) by
(which is smooth by the condition on \(\Gamma \) near the xaxis). For \(\Vert v \Vert \ge \rho \), \(E_\Gamma (\lambda ,p,v)=(p,v)\), and so we can extend \(E_\Gamma (\lambda ,\_)\) as the identity over all of M. Note that \(E_\Gamma (0,\_)\) is just the inclusion \(x \mapsto (x,0)\). Let \(g_{\Gamma _\lambda }\) be the Riemannian metric
on M obtained by restricting the product metric on \(M \times \mathbb {R}\) to the image of \(E_\Gamma (\lambda ,\_)\) and pulling back to M. The key argument for the proof of Proposition 3.3 is the following result.
Proposition 3.8
Let \(K\subset {\mathcal R}(M)\) be compact. Suppose that each \(g\in K\) is normalized on the \(r_0\)tube around N and that \(\mathrm {scal}(g) \ge B_g\) for some \(B_g\). For every \(\epsilon _0>0\), \(\eta >0\), there exists a Gromov–Lawson curve \(\Gamma \) such that

(1)
the outer width of \(\Gamma \) is at most \(r_0\),

(2)
the inner width of \(\Gamma \) is at most \(\epsilon _0\),

(3)
\(\mathrm {scal}(g_{\Gamma _\lambda }) \ge B_g \eta \) for all \(g\in K\) and all \(\lambda \in [0,1]\).

(4)
Moreover, for each \(\ell >0\), we can arrange the length to be at least \(\ell \).
Construction of the Gromov–Lawson curve
In this subsection, we prove Proposition 3.8. We need a formula for the scalar curvature of the metric \(g_{\Gamma _\lambda }\).
Let \(I \subset \mathbb {R}\) be an interval and let \(\gamma : I \rightarrow \mathbb {R}^2_+:= \{(y,r) \vert r \ge 0\}\) be a smooth embedded curve. We assume that whenever \(\gamma (t)\) lies on the yaxis, then near t, \(\gamma \) follows a circle of possibly infinite radius perpendicular to the yaxis. Consider the hypersurface
(which is smooth because of the condition on \(\gamma \) near the yaxis). Let us recall some formulas from the geometry of plane curves. In the situation we consider, the derivative vector of \(\gamma \) will lie in the fourth quadrant. We let \(\theta \) be the angle between \(\gamma \) and the negative raxis and let \(\kappa \) be the signed curvature of \(\gamma \). If \(\gamma \) is parametrized by arclength, the curvature is given by
or
The angle is given by the formula
Note that
If \(\gamma \) meets the yaxis in a circle of radius \(\rho <\infty \), then \(\kappa =\frac{1}{\rho }\), \(r=\sin (\theta ) \rho \) near that point.
For a given Riemannian metric g on \(N\times \mathbb {R}^k\), we get the Riemannian metric \(g_\gamma \) on \(Q_\gamma \), obtained by restricting the product metric \(g+\mathrm{d}t^2\) on \(N \times \mathbb {R}^{k+1}\) to \(Q_\gamma \).
Lemma 3.11
Let \(K\subset {\mathcal R}(M)\) be compact. Assume that all \(g \in K\) are normalized on the \(r_0\)tube around N. Then there exists \(0<r_1 \le r_0\) and \(C>0\) such that for all \(g \in K\), and for all immersed curves in the region \(\{ (y,t) \in \mathbb {R}^2 \vert 0 < y \le r_1\}\), we have
The proof of the Lemma is given in Sect. 1.
Remark 3.12
This estimate originates from the curvature formula computed in [3, 8, 21] or [28]. These papers, however, contain a small computational error: There the formula has either \(\kappa \sin (\theta )\frac{k1}{r}\) instead of \(\kappa \sin (\theta )\frac{2(k1)}{r}\) or \(2\frac{(k1)(k2)}{r^2}\) instead of \(\frac{(k1)(k2)}{r^2}\). We will point out in the proof of Lemma 3.11 where the error occurs and in Remark 3.23 below, we discuss what impact this has on the proof of Proposition 3.3.
Corollary 3.13
Let \(K \subset {\mathcal R}(M)\) be compact. Assume that all \(g \in K\) are normalized on the \(r_0\)tube around N. Then for each \(B \in \mathbb {R}\), there exists \(\epsilon _0 >0\) such that for \(\epsilon \in (0,\epsilon _0)\), the restriction of g to \(N \times S^{k1}_{\epsilon }\) has scalar curvature at least B.
Proof
Consider the curve \(\gamma (s):= (s,\epsilon )\). The restriction of the product metric \(g + \mathrm{d}t^2\) to \(Q_\gamma \) is the product of \(g_{N \times S^{k1}_{\epsilon }}\) and \(\mathrm{d}t^2\). Hence, \(\mathrm {scal}(g_\gamma )= \mathrm {scal}(g_{N \times S^{k1}_{\epsilon }})\). In the case at hand, the curvature of \(\gamma \) is \(\kappa =0\), and \(\theta = \frac{\pi }{2}\). Hence, from Lemma 3.11, we get
If \(\epsilon \) is small enough, the term \(\frac{(k1)(k2)}{\epsilon ^2}\) dominates all other terms. \(\square \)
Another auxiliary result is needed for the proof of Proposition 3.8.
Lemma 3.14
Let \(a>0\) and consider the ordinary differential equation
For any choice of initial values \(h(t_0)>0\) and \(h'(t_0)<0\), there is \(T>t_0\) and a solution \(h: [t_0,T] \rightarrow (0,\infty )\) such that \(h' \le 0\) and \(h'(T) = 0\).
Proof
Let \(h:[t_0,T_1)\rightarrow \mathbb {R}\), \(T_1\in (t_0,\infty ]\) be a maximal solution. We do not want to decide whether \(T_1=\infty \) or \(T_1 <\infty \) and show that both cases lead to the desired conclusion. The quantity
is constant as can be seen by differentiating. Also \(C(t)>0\) because of the initial conditions, and h is bounded from below by \(C(t_0)^a\).
Suppose first \(T_1 =\infty \). If \(h'(t) <0\) for all \(t \ge t_0\), then h is decreasing and
implies \(h'(t) \ge b (tt_0)+h'(t_0)\), which is a contradiction. Hence there is \(T>t_0\) with \(h'(T)=0\).
If \(T_1 <\infty \), we consider the trajectory of \((h(t),h'(t))\) in the phase diagram. Since C(t) is constant, this trajectory lies on the level set \(C^{1}(C(t_0))\). Because \(T_1<\infty \), this trajectory leaves every compact subset of \(\mathbb {R}^2\). The shape of the level set is so that this implies \(\lim _{t \rightarrow T_1} h(t)=+\infty \). Hence by Rolle’s theorem, \(h'(T)=0\) for some (minimal) \(T>t_0\). \(\square \)
Remark 3.16
One can solve (3.15) explicitly, using that C is conserved. The above proof seems more efficient to us, though.
Proof of Proposition 3.8
We first construct a piecewise \(C^2\) curve \(\alpha \) and a homotopy \(\alpha _\lambda \) of such curves. By a smoothing procedure, we obtain a homotopy \(\beta _\lambda \) of smooth curves which will yield \(\Gamma _\lambda \) by a suitable reparametrization. We begin with the curve \(\alpha =\alpha _1\). Let us pick some constants first.

(1)
Choose \(a > \frac{2}{k2}\) (note that \(\frac{2}{a} +k2 >0\)).

(2)
Choose \(\rho >r_0\) arbitrarily.

(3)
\(0<r_1\le r_0\) is chosen, so that the curvature estimate from Lemma 3.11 is valid for \(r\le r_1\), with a constant \(C>0\).

(4)
Next, we choose \(0<r_2 \le r_1\) so that
$$\begin{aligned} r_2 \le \frac{k1}{C} \end{aligned}$$ 
(5)
and pick \(r_3 \in (0,r_2)\) arbitrarily.
Let us explain the choice of \(r_2\). \(\square \)
Claim 3.17
If \(\gamma \) is an immersed curve in the region \(\{(y,r)\vert r \in (0,r_2]\}\) whose signed curvature \(\kappa \) is nonpositive, then \(\mathrm {scal}(g_\gamma ) \ge B_g\).
To see this, estimate
using \(r \le r_2\). If \(\kappa \le 0\), then
Together with Lemma 3.11, these two inequalities establish Claim 3.17.
Let us now construct the first part of \(\alpha \). One device to construct a (unit speed) curve is by prescribing its curvature function. More precisely, let \(J \subset \mathbb {R}\) be an interval and \(s_0 \in J\). If a function \(\kappa :J \rightarrow \mathbb {R}\) and initial values \(\gamma (s_0)\) and \(\dot{\gamma }(s_0)\) (the latter of unit length) are given, then the solution to the differential equation
is a unit speed curve with curvature function \(\kappa \). If \(\kappa \) is piecewise continuous, then \(\gamma \) is piecewise \(C^2\). We write \(\theta (s)\) for the angle of the curve \(\gamma (s)\).

(1)
Choose \(0<\delta <\frac{r_2r_3}{3}\). Consider the function^{Footnote 1}\(\kappa (s) = q \chi _{[\delta ,2\delta ]}(s)\), for some \(q>0\), and the unit speed curve \(\alpha \) on \([0,\infty )\) with initial values \(\alpha (0)=(y_2,r_2):=(0,r_2)\) and \(\dot{\alpha }(0)=(0,1)\) and curvature function \(\kappa \). If \(q \delta < \frac{\pi }{2}\), the angle of the curve \(\alpha \) will always be less than \(\frac{\pi }{2}\), and so it crosses the horizontal line of height \(r_3\) in some point \((y_3,r_3)\), with an angle
$$\begin{aligned} \theta _0 = q \delta < \frac{\pi }{2}. \end{aligned}$$If q satisfies
$$\begin{aligned} q \Bigl ( \frac{2(k1)}{r_3} + C \Bigr ) \le \frac{1}{2}\eta , \end{aligned}$$we claim that \(\mathrm {scal}(g_\alpha ) \ge B_g\frac{1}{2}\eta \). This follows from (3.18), Lemma 3.11, and the estimate
$$\begin{aligned}  \frac{2(k1)\kappa \cdot \sin (\theta )}{r}  C\kappa  \sin (\theta ) \ge  \frac{2(k1) q}{r_3} Cq \ge  \frac{1}{2}\eta . \end{aligned}$$(3.20) 
(2)
Now we pick \(r_4 >0\) so that \(r_4 \le \epsilon _0\), \(r_4<r_3\) and
$$\begin{aligned} r_4 \le \frac{(k1) \sin (\theta _0)^2 (\frac{2}{a}+k2)}{C(1+\frac{1}{a})}. \end{aligned}$$Between height \(r_3\) and \(r_4\), the curve \(\alpha \) follows the straight line of slope \(\theta _0\) (there is no problem with the psc condition, by Claim 3.17). It crosses the horizontal line of height \(r_4\) at a certain point \((y_4,r_4)\). If after that point, the curve \(\alpha \) satisfies
$$\begin{aligned} \theta _0 \le \theta \le \frac{\pi }{2}, \; 0 \le \kappa \le \frac{\sin (\theta )}{ar},\;0< r\le r_4, \end{aligned}$$(3.21)we estimate, using that \(a > \frac{2}{k2}\),
$$\begin{aligned} \kappa  \Bigl (  {\text {sign}}(\kappa ) \frac{2(k1) \sin (\theta )}{r} C \sin (\theta ) \Bigr ) + \Bigl ( \frac{(k1)(k2) \sin (\theta )^2}{r^2} C \frac{\sin (\theta )^2}{r} \Bigr )\ge \end{aligned}$$$$\begin{aligned} \frac{\sin (\theta )}{ar} \Bigl (  \frac{2(k1) \sin (\theta )}{r} C \sin (\theta ) \Bigr ) + \Bigl ( \frac{(k1)(k2) \sin (\theta )^2}{r^2} C \frac{\sin (\theta )^2}{r} \Bigr ) = \end{aligned}$$$$\begin{aligned} \frac{\sin (\theta )^2 (k1)}{r^2} \Bigl ( \frac{2}{a} + k2 \Bigr )  \frac{C \sin (\theta )^2}{r}\Bigl ( 1 + \frac{1}{a} \Bigr ) \ge \end{aligned}$$$$\begin{aligned} \frac{\sin (\theta _0)^2 (k1)}{r r_4} \Bigl ( \frac{2}{a} + k2 \Bigr )  \frac{C }{r} \Bigl ( 1 + \frac{1}{a} \Bigr ) = \end{aligned}$$$$\begin{aligned} \frac{1}{r} \Bigl ( \frac{\sin (\theta _0)^2 (k1) (\frac{2}{a}+k2)}{r_4}  C(1+\frac{1}{a}) \Bigr ) \ge 0 \end{aligned}$$by the definition of \(r_4\). Altogether, Lemma 3.11 shows that (3.21) implies
$$\begin{aligned} \mathrm {scal}(g_\gamma ) \ge B_g \end{aligned}$$(3.22)in this region. We construct the curve \(\alpha \) satisfying (3.21) as the graph of a function \(f:[y_4,y_5]\rightarrow \mathbb {R}\). For curves of the form \(t\mapsto (t,f(t))\), we have
$$\begin{aligned} \kappa =\frac{f''}{(\sqrt{1+f'^2})^3}; \; \sin (\theta )=\frac{1}{\sqrt{1+f'^2}} , \end{aligned}$$see, e.g. [1, p. 41]. Hence if we take f as the solution of the ordinary differential equation
$$\begin{aligned} f'' = \frac{1+{f'}^2}{a f} \end{aligned}$$with initial values
$$\begin{aligned} f(y_4)=r_4; \; f' (y_4)= \frac{\cos (\theta _0)}{\sin (\theta _0)}<0, \end{aligned}$$then the curve \(\alpha (t)=(t,f(t))\) satisfies (3.21). By Lemma 3.14, there is a solution \(f: [y_4,y_5] \rightarrow (0,\infty )\) with \(f' \le 0\) and \(f'(y_5)=0\). Let \(r_5 := f(y_5)>0\), and we let \(\alpha \) be the graph of f in this region.

(3)
From the point \((y_5,r_5)\) on, the curve \(\alpha \) follows a straight horizontal line, of length \(2 \ell \) (a little more than \(\ell \) would suffice), until it reaches the point \((y_6,r_6):=(y_5+2 \ell ,r_5)\). Since \(\kappa \equiv 0\), there is no problem with the psc condition here, by Claim 3.17. We let \(r_\infty :=r_5=r_6\). The last piece of the curve (until it hits the yaxis) will be constructed at the end of the proof.
Now we parametrize the curve \(\alpha \) by arclength, beginning at the point \(\alpha (s_2)=(0,r_2)\) and call the reparametrized curve also \(\alpha \). Let \(s_6>s_5>s_4>s_3>s_2\) be the points with \(\alpha (s_i)=(y_i,r_i)\). The curve \(\alpha \) is entirely determined by its curvature function \(\kappa \). The function \(\kappa \) is zero outside the intervals \([s_0+\delta ,s_0+2 \delta ]\) and \([r_4,r_5]\). We have
Now we pick \(0 < \omega \ll \min (\frac{r_5}{2},\delta ,\ell )\). Let us now construct a homotopy of piecewise \(C^2\)curves, which are defined on intervals of varying length \([s_2, s_6(\lambda )]\). Let \(s_6(1):= s_6\) and \(\alpha _1:= \alpha \). During the homotopy interval \([\frac{1}{2},1]\), we shrink down the size of the horizontal piece until it is \(\omega \) (so that \(s_6(\frac{1}{2})= s_5+\omega \)), and \(s_i (\lambda )= s_i\), for \(i=2,3,4,5\), \(\lambda \in [\frac{1}{2},1]\).
For \(\lambda \in [0,\frac{1}{2}]\), consider the curvature function \(\kappa _\lambda : = \chi _{[s_2, s_2 + 2\lambda (s_5s_2)]}\kappa \) and let \(s_5(\lambda )\) be the point where the curve \(\alpha _\lambda \) with curvature function \(\kappa _\lambda \) reaches the horizontal line of height \(r_5\) (it is always the case that \(s_5 (\lambda )\ge 2\lambda (s_5s_2)\)) and put \(s_6 (\lambda ):= s_5 (\lambda ) + \omega \).
By construction, the curves \(\alpha _\lambda \) satisfy the psc condition \(\mathrm {scal}(g_{\alpha _\lambda })\ge B_g\frac{\eta }{2}\), \(\alpha _0\) is the straight line on the raxis, and \(\alpha _1=\alpha \). The curves \(\alpha _\lambda \) are \(C^1\) and piecewise \(C^2\), and we need to smoothen them.
To that end, pick an even, smooth, nonnegative bump function \(\xi \) with support in \((\frac{1}{4},\frac{1}{4})\) and integral 1 and let \(\xi _{u}(t):= \frac{1}{u} \xi (u t)\). For \(u \in (0,\omega ]\), we define the smooth curve
using convolution. If \(u\le \omega \), then \(\beta _{\lambda ,u}\equiv \beta _\lambda \) near \(s_6(\lambda )\) and near \(s_2\), and \(\beta _{0,u}\) lies on the raxis. This holds because \(\xi _u *f (t)= f(t)\) if f is linear near t.
For small enough u, the curve \(\beta _{\lambda ,u}\) satisfies the positive scalar curvature condition, namely \(\mathrm {scal}(g_{\beta _{\lambda ,u}})\ge B_g\eta \). This is no issue at points near which \(\kappa _\lambda \) is continuous. Near the discontinuity points, the angle and height of \(\beta _{\lambda ,u}\) is close to that for \(\alpha _\lambda \), while the curvature of \(\beta _{\lambda ,u}\) oscillates between the minimum and maximum value of \(\kappa _\lambda \). The decisive estimates (3.18), (3.20) and (3.22) all hold if \(\kappa \) lies between 0 and the allowed maximum value. Note, however, that we might loose a bit scalar curvature.
To construct the last piece of the curves \(\beta _{\lambda ,u}\) on an interval \([s_6(\lambda ),s_7(\lambda )]\), we take a smooth family of curves \(\gamma _\lambda : [s_6(\lambda ),s_7(\lambda )] \rightarrow \mathbb {R}^2\), such that

\(\gamma _\lambda \) begins at the point \(\beta _{\lambda ,u} (s_6(\lambda ))\), as a straight line with the same angle as \(\beta _{\lambda ,u}\),

\(\gamma _{\lambda } (s_7(\lambda ))\) lies on the yaxis, and except on the interval \([s_6(\lambda ),s_6(\lambda )+\omega ]\), it is a circle,

the curvature of \(\gamma _\lambda \) is \(\le 0\).
These conditions enforce that \(\gamma _0\) lies on the raxis. The construction of such curves is easy and left to the reader. By Claim 3.17, there is no problem with the psc condition.
Finally, the curve \(\Gamma _\lambda \) is obtained by reparametrization (of the form \(\Gamma _\lambda (s):= \beta _{\lambda ,u}(s_7(\lambda )s)\)). It is extended to all of \([0,\infty )\), so that above \(\rho \), it is just the curve \(s \mapsto (0,s)\). \(\square \)
Remark 3.23
The above proof is almost the same as that of the corresponding result in [21] or [28]. The difference is that in loc.cit., the slightly incorrect version of the curvature formula (3.11) is used. This allows the choice \(a=2\) in the quoted papers. In that case, the differential equation (3.15) has a simple explicit solution. We can pick \(a=2\) if \(k>4\), but if \(k=3\), we need \(a>2\), and the argument in loc.cit. does not work as stated there.
Completion of the proof of Proposition 3.3
We now give the proof of Proposition 3.3. We shall use the following wellknown criterion for a map to be a weak equivalence.
Proposition 3.24
Let \(j:X \rightarrow Y\) be the inclusion of a subspace. Then the following are equivalent:

(1)
j is a weak homotopy equivalence,

(2)
for every \(n \ge 0\) and every map \(G_0:D^n\rightarrow Y\) such that \(G_0(S^{n1})\subset X\), there exists a homotopy \(G_s\) starting with \(G_0\) such that \(G_1(D^n)\subset X\) and \(G_s(S^{n1}) \subset X\) for all \(s \in [0,1]\).
So we let
be a commutative diagram, and we have to produce a homotopy \(G: [0,1] \times D^n \rightarrow {\mathcal R}^+ (M)\) such that \(G(0,x)=G_0(x)\) for all \(x \in D^n\) and \(G(s,x) \in {\mathcal R}^+_{\mathrm {rot}}(M)\) if \((s,x) \in (\{1\} \times D^n) \cup ([0,1] \times S^{n1})\). Recall that \({\mathcal R}^+_{\mathrm {rot}}(M)\) denotes the space of psc metrics which are of the form \(g_N + g_0\) on \(N \times B_R^k\), for some normalized rotationally symmetric metric \(g_0\) on \(B_R^k\) with \(\mathrm {scal}(g_0)>0\).
The first step is an application of Proposition 3.5.
Lemma 3.26
There is a family \(G'(s,x)\), \((s,x) \in [0,1] \times D^n\), of Riemannian metrics on M and \(r_0\in (0,R)\) such that

(1)
the metric \(G'(0,x)\) has positive scalar curvature,

(2)
\(G'(0,x)\in {\mathcal R}^+_{\mathrm {rot}}(M)\) for all \(x \in S^{n1}\),

(3)
the map \(G'(0,\_):(D^ n,S^{n1})\rightarrow ({\mathcal R}^+ (M), {\mathcal R}^+_{\mathrm {rot}}(M))\) is homotopic to \(G_0\) (as a map of space pairs),

(4)
for all \((s,x) \in [0,1] \times D^n\), the metric \(G'(s,x)\) is normalized on the \(r_0\)tube around N,

(5)
for all \((s,x) \in ([0,1] \times S^{n1}) \cup (\{1\} \times D^n)\), the metric \(G'(s,x)\) is rotationally symmetric on the \(r_0\)tube around N, i.e. \(G'(s,x) = g_N + g(s,x)\) for some rotationally symmetric g(s, x).
In short, we make the metrics G(0, x) normalized on some tube, but in addition, we also take a crude interpolation of G(0, x) to some rotationally symmetric metric, without taking the psc condition into account.
Proof
Choose a Riemannian metric g on M such that \(g_{N \times B_R^k} = g_N + g'\), where \(g'\) is a rotationally symmetric normalized metric on \(B_R^k\). For example, we can take \(g'\) to be the Euclidean metric. Let \({\tilde{G}}(s,x):= (1s) G_0(x) + sg\), for \((s,x) \in [0,1] \times D^n\). We apply Proposition 3.5 to the map \({\tilde{G}}\) with \(K= [0,1] \times D^n\) and \(L= \{0\} \times S^{n1} \cup \{1\} \times D^n\) and let F be the isotopy from that Proposition. Put \(G'(s,x):= F(1,s,x)^* {\tilde{G}}(s,x)\). This has all the desired properties. \(\square \)
Now we replace the map \(G_0\) in (3.25) by the map \(G'(0,\_)\).
For \(x \in S^{n1}\), we write \(G'(0,x)= g_N + g_0(x)\) on \(N \times B_R^k\). Let
Choose \(\eta >0\) so that
and
The second condition is implied by the first one if \(A \le 0\). If \(A>0\), then for each point \(g \in {\mathcal R}^+_{\mathrm {rot}} (M)\) which is of the form \(g_N + g_0\) on \(N \times B_R^k\), we have \(\mathrm {scal}(g_{N \times B_R^k}) > A\) since otherwise \(g_0\) will not be a psc metric.
Therefore, if we can produce a homotopy \(G:[0,1] \times D^n \rightarrow {\mathcal R}^+ (M)\), so that

(1)
\(G(0,\_)= G'(0,\_)\),

(2)
\(\inf \mathrm {scal}(G(\lambda ,x)) \ge \inf \mathrm {scal}(G'(0,x))  \eta \) and

(3)
\(G(\lambda ,x)_{N \times B_R^k}\) is of the form \(g_N+ g_0(\lambda ,x)\) for \((\lambda ,x)\in ( [0,1] \times S^{n1}) \cup (\{1\} \times D^n)\), with some rotationally symmetric normalized metric \(g_0 (\lambda ,x)\),
then \(g_0 (\lambda ,x)\) will have positive scalar curvature for all \((\lambda ,x)\in [0,1] \times S^{n1}\), and G is a relative homotopy, and so we have finished the proof of Proposition 3.3.
Next, we determine the parameters \(\epsilon _0\) and \(\ell \) for the Gromov–Lawson curve.

Let \(\epsilon _1>0\) be small enough, so that for all \(\epsilon \in (0,\epsilon _1)\) and for all (s, x), the restriction of \(G'(s,x)\) to the sphere \(N \times S^{k1}_\epsilon \) has scalar curvature \(> \max (0,A)\). This is possible by Corollary 3.13.
Lemma 3.27
For all \(B \in \mathbb {R}\), there exists \(\epsilon _0\in (0,\epsilon _1]\) such that for all \((s,x) \in [0,1] \times D^n\), the metric \((G'(s,x))_{\gamma }\) has scalar curvature at least B, where \(\gamma \) is a curve in the plane with the following properties.

(1)
There is \(\epsilon \in (0,\epsilon _0]\) such that \(0 \le r \le \epsilon \), \(\frac{1}{\epsilon }\le \kappa \le 0\) and \(\theta \in [0,\frac{\pi }{2}]\),

(2)
if \(r \le \frac{\epsilon }{\sqrt{2}}\), then \(\gamma \) is a circle of radius \(\epsilon \), and if \(r \ge \frac{\epsilon }{\sqrt{2}}\), then \(\theta \ge \frac{\pi }{4}\).
Proof
This is an application of Lemma 3.11, but much easier than Proposition 3.8. Pick \(r_1\) so that the curvature estimate of Lemma 3.11 holds for all G(s, x), with some constant C. At the points where \(\gamma \) is a circle, we have \(\kappa =\frac{1}{\epsilon }\) and \(\sin (\theta )\epsilon =r\). Therefore, Lemma 3.11 yields
In the region \(\frac{\epsilon }{\sqrt{2}} \le r \le \epsilon \), Lemma 3.11 yields
\(\square \)

Now we choose \(\epsilon _0>0\) so that \(\epsilon _0 < r_0\) and that the conclusion of Lemma 3.27 holds with \(B=A + 2\eta \). According to Proposition 3.8, there exists a Gromov–Lawson curve \(\Gamma \) with parameters \(\eta \) and \(\epsilon _0\), which has an inner width \(r_\infty \le \epsilon _0\).
Let \(g_{s,x}:= G'(s,x)_{N \times S^{k1}_{r_\infty }}\). This metric on \(N \times S^{k1}_{r_\infty }\) has scalar curvature at least \(A+2\eta \) by Lemma 3.27. We get a continuous map \([0,1]\times D^n \rightarrow {\mathcal R}^+ (N \times S^{k1}_{r_\infty })\), \((s,x) \mapsto g_{s,x}\).
Next let \(f: \mathbb {R}\rightarrow [0,1]\) be a smooth function such that \(f\equiv 0\) near \((\infty ,0]\) and \(f\equiv 1\) near \([1,\infty )\) and define \(b:= \max \{ \Vert f' \Vert _{C^0},\Vert f'' \Vert _{C^0}\}\).
For each \(L>0\), we get an induced map
The first two derivatives of \(t \mapsto \lambda f(\frac{t}{L})\) are

We pick L so large that \(\frac{\lambda }{L}b, \frac{\lambda }{L^2}b \le \Lambda \), where \(\Lambda >0\) is the constant provided by Lemma 2.5. With these choices, we obtain
$$\begin{aligned} \mathrm {scal}(g_{\lambda f(\frac{t}{L}),x} + \mathrm{d}t^2) \ge A+\eta . \end{aligned}$$(3.29) 
Finally, put \(\ell :=L+R\).
End of the proof of Proposition 3.3
We consider a diagram as in (3.25) and replace \(G_0\) by \(G'(0,\_)\), where \(G'(s,x)\) is a family of Riemannian metrics with the properties stated in Lemma 3.26. Let \(\epsilon _0\) be as in Lemma 3.27. By Proposition 3.8, there exists a Gromov–Lawson curve \(\Gamma \) with parameters \(\epsilon _0\) and \(\ell \). Let \(E_\Gamma : [0,1]\times M \rightarrow (M \times \{0\} )\cup (N \times \mathbb {R}^k \times \mathbb {R})\) be the isotopy of embeddings determined by \(\Gamma \) (as in (3.7)). Now we define \(G(\lambda ,x) \in {\mathcal R}^+ (M)\) for \(\lambda \in [0,\frac{1}{2}]\) by
and for \(\lambda \in [\frac{1}{2},1]\) by
By construction, \(\mathrm {scal}(G(\lambda ,x)) >0\) for all \(x,\lambda \), and if \(x \in S^{n1}\), then \(\mathrm {scal}(G(\lambda ,x)) >A\). These metrics are not normalized, but the curve \(t \mapsto (p,tv)\) is a variable speed geodesic. This can be rectified by a reparametrization (pull back by an isotopy of \(N \times \mathbb {R}^k\) which is the identity outside a compact set and which is of the form \((p,v) \mapsto (p, h_\lambda (\Vert v \Vert ) v)\) for a smooth odd function \(h_\lambda \)). After such a reparametrization, the metrics \(G(\lambda ,x)\) are normalized on the \(r_0\)tube when \(\lambda =1\) and \(x \in D^n\). If \(x \in S^{n1}\), they stay rotationally symmetric, and the geometric size of the region where they are does not decrease with \(\lambda \). Hence, after reparametrization, \(G(\lambda ,x)\) is rotationally symmetric and normalized on the Rtube, for all \(x \in S^{n1}\) and all \(\lambda \in [0,1]\). This completes the proof. \(\square \)
The space of rotationally symmetric metrics
In this section, we complete the proof of Theorem 3.1. Let us first recall some notation. Let \(A:= \inf \mathrm {scal}(g_N)\in \mathbb {R}\). We choose \(\delta >0\) so that \(\frac{1}{\delta ^2} (k1)(k2)+A>0\) and pick a torpedo metric \(g_\mathrm {tor}^k\) on \(\mathbb {R}^k\) of radius \(\delta \), which is cylindrical outside the disc of radius R, for some \(R>0\). Recall that \( {\mathcal R}^+_{\mathrm {rot}}(M) \subset {\mathcal R}^+ (M)\) is the space of all psc metrics g on M such that
for some rotationally symmetric normalized psc metric \(g_0\) on \(B_R^k\). Furthermore, \({\mathcal R}^+ (M,\varphi ) \subset {\mathcal R}^+_{\mathrm {rot}}(M)\) is the subspace of those g such that \(g_0=g_\mathrm {tor}^k\). The goal is to prove the following result, which together with Proposition 3.3 completes the proof of Theorem 3.1.
Proposition 4.1
The inclusion map
is a weak homotopy equivalence.
Preliminary remarks
A rotationally symmetric normalized metric on \(B_R^k\) is of the form \(g=\mathrm{d}t^2 + f(t)^2 \mathrm{d}\xi ^2\), for some warping function \(f:[0,R]\rightarrow \mathbb {R}\) with the properties stated in Lemma 2.6. We also recall the curvature formula
The torpedo metric \(g_\mathrm {tor}^k\) is given by the warping function \(h_\delta \) as in (2.10). For the metric \(g_N + \mathrm{d}t^2 + f(t)^2\mathrm{d}\xi ^2\) to have positive scalar curvature, we need to have \(A+ (k1)\left( (k2)\frac{1f'^2}{f^2}  2\frac{f''}{f}\right) >0\). To allow for more convenient notation when \(A\le 0\), we introduce
Then
and the condition on f becomes
The most delicate step in the proof of Proposition 4.1 is the following.
Proposition 4.3
Let
be a commutative diagram. Then there exists a homotopy \(G: [0,1] \times D^n \rightarrow {\mathcal R}^+_{\mathrm {rot}} (M)\) of maps of space pairs \((D^n,S^{n1}) \rightarrow ({\mathcal R}^+_{\mathrm {rot}} (M),{\mathcal R}^+(M,\varphi ))\) such that \(G(0,\_)=G_0 (\_)\) and such that the warping function \(f_{t,x}\) of G(t, x) satisfies

(1)
\(0 \le f_{1,x} \le \delta \) and \(f''_{1,x} \le 0\) on [0, R],

(2)
\(f_{1,x}' \equiv 0\) near R.
We will prove Proposition 4.3 in Sect. 4.2, and in Sect. 4.3, we complete the proof of Proposition 4.1.
Introducing collars
To prove Proposition 4.3, we will change the warping function f by composition with another function h or a 1parameter family thereof. The composition \(f \circ h\) will have a different domain of definition. To obtain a welldefined family of Riemannian metrics on M, we introduce the following construction.
We fix, once and for all, diffeomorphisms \(\varphi _{a,b}\) of \((0,\infty )\) for each \(0<a\le b\) such that

\(\varphi _{a,b}(b) = a\),

\(\varphi _{a,a} = {\text {id}}\),

\(\varphi _{a,b}_{[0,\frac{a}{2}]\cup [2b,\infty )}={\text {id}}\),

\(\varphi _{a,b}'\equiv 1\) near b,

\(\varphi _{a,b}\) depends smoothly on a, b.
The formula \(\phi _{a,b}(x,v) := (x,\frac{\varphi (\Vert v \Vert )}{\Vert v \Vert }v)\) defines diffeomorphisms of \(N\times \mathbb {R}^k\). These are compactly supported and can be extended by the identity to M.
Lemma 4.4
Let \(g \in {\mathcal R}_{\mathrm {rot}}^+ (M)\) given by \(g=g_N+\mathrm{d}t^2 + f(t)^2\mathrm{d}\xi ^2\) on \(N\times B_R^k\). Let \(h:[0,\infty ) \rightarrow [0,\infty )\) be smooth with \(h(0)=0\), \(h'\equiv 1\) near 0 and \(0\le h'\le 1\). Let \(S\in (0,\infty )\) be such that \(h(S)=R\) (this enforces \(S \ge R\)). Then the formula
defines a smooth Riemannian metric on M in each of the following cases:

(1)
\(f'\equiv 0\) near R, or

(2)
\(h'\equiv 1\) near S.
Proof
We need to show that \(g_N+\mathrm{d}t^2 + f(h(t))^2\mathrm{d}\xi ^2\) and \({\phi _{R,S}}^*g\) coincide on \(N\times B^k_S{{\setminus }} N\times B^k_{S\epsilon }\) for some \(\epsilon >0\). But near \(N \times S^{k1}_S\), we have
because \({\varphi _{R,S}}'\equiv 1\) and \(\varphi _{R,S}(t)=tS+R\) near S. Now in either of the two cases we have \(f(tS+R) = f(h(t))\) for t near S: If \(f'=0\) near R, we have \(f(tS+R) = f(R)\) and h(t) is close to R near S; and if \(h'=1\) near S, then \(h(t)=tS+R\) near S. \(\square \)
Let us record some further simple properties of this construction. We omit the easy proof.
Lemma 4.5

(1)
In the situation of Lemma 4.4, \(\Lambda (g,h,S)\) is rotationally symmetric and normalized on \(B_S^k \supset B_R^k\).

(2)
Let X be a space and let \(g:X\rightarrow {\mathcal R}_{\mathrm {rot}}(M)\), \(h:X\rightarrow C^\infty ([0,\infty ),\mathbb {R})\) and \(S:X\rightarrow (0,\infty )\) be continuous maps such that h(x) and S(x) satisfy the requirements of Lemma 4.4and assume that for each \(x \in X\), one of the two conditions from Lemma 4.4is satisfied. Then \(X\rightarrow {\mathcal R}_{\mathrm {rot}}(M), x\mapsto \Lambda (g(x),h(x),S(x))\) is continuous.
From now on, we only change the warping function inside the Rdisc. Note that the metric \(\Lambda (g,h,S)\), restricted to the complement of \(N \times B_S^k\), is isometric to the metric g. Hence we only need to control the scalar curvature of \(\Lambda (g,h,S)\) inside \(B_S^k\), where it is determined by (4.2). In particular, our consideration will only involve the metrics on \(B_S^k\), not on N. Let us make a few observations: if \(\mathrm {scal}(\mathrm{d}t^2 + f(t)^2 \mathrm{d}\xi ^2)\ge B'>0\), then L’Hôpital’s rule shows that
and hence
If h is a function as in Lemma 4.4, then the scalar curvature of \(\mathrm{d}t^2 + (f\circ h)^2\mathrm{d}\xi ^2\) is given by
using the selfexplanatory notation \(f(h):= f \circ h\).
Lemma 4.8
Let f be the warping function of a metric g satisfying \(f'\in [0,1]\) and \(\mathrm {scal}(g)\ge B''>B'>0\) and let h be as above. Assume also that for some \(r>0\)

(1)
\(B''f^2\le (k1)(k2)\) on [0, r] and

(2)
\(h''\le \frac{1}{2}\frac{B''B'}{k1}f\) whenever \(h\le r\), say \(h([0,s])\subset [0,r]\).
Then \(\mathrm {scal}(\mathrm{d}t^2 + f(h(t))^2\mathrm{d}\xi ^2)\ge B'\) on [0, s].
Proof
From (4.7), we get \(\mathrm {scal}(\mathrm{d}t^2 + f(h(t))^2\mathrm{d}\xi ^2)\ge \)
\(\square \)
Remark 4.9
If \(f=h_\delta \) is the torpedo function of radius \(\delta \) and if \(B''\le \frac{1}{\delta ^2}(k1)(k2)\), then hypothesis (1) of 4.8 is satisfied for each \(r>0\).
The following two elementary lemmas are slightly adapted versions of [3, Lemma 3.5 and Lemma 3.7].
Lemma 4.10
(Existence of sloping functions) Let \(b \in (0,R)\), \(0<a<\frac{8}{10}b\) and let \(p>0\). Then there exists \(q \in (0,1)\), only depending on p and b, a family \(u_{r,s}:\mathbb {R}\rightarrow \mathbb {R}\) of functions and \(c_{r,s}\in \mathbb {R}\), both depending continuously on \((r,s)\in [0,1] \times [0,1]\) such that

(1)
\(u_{r,0}=id\) and \(u_{r,s}=id\) on \((\infty ,\frac{8}{10}a]\) for all r, s,

(2)
\(u_{r,s}(c_{r,s}) = b\),

(3)
\(u_{r,s}''\le pr\),

(4)
\(u_{r,s}''_{[\frac{8}{10}a,a]}\le 0\), \(u_{r,s}''_{[\frac{8}{10}c_{r,s},c_{r,s}]} \ge 0\) and \(u_{r,s}''=0\) outside these intervals,

(5)
\(u_{r,s}'=1sq\) on \([a,\frac{8}{10}c_{r,s}]\) and \(u_{r,s}' = (1sq+rsq)\) on \([c_{r,s},\infty )\),

(6)
\(0\le u_{r,s}' \le 1\) for all r, s.
We call \(u_{r,s}\) a sloping function with parameters a, b, p and q the resulting slope. The situation is depicted in the following figure.
Proof
We construct \(u_{r,s}\) by constructing its second derivative, and do this by first constructing a piecewise continuous approximation to the second derivative of \(u_{r,s}\). Choose \(q\le \frac{b}{10}p\). Define a piecewise continuous function \(w_{r,s}: \mathbb {R}\rightarrow \mathbb {R}\) by
where \(e_{r,s}\) is to be determined. Let \(v_{r,s} (x):= \int _0^x \int _0^t w_{r,s}(y)\mathrm{d}y\) and choose \(e_{r,s} \ge b\) to be the unique point such that \(v_{r,s}(\frac{8}{10} e_{r,s})= \frac{8}{10} b\). Now let \(\xi \ge 0\) be a smooth, even, nonnegative function with compact support and \(\int _\mathbb {R}\xi (x) \mathrm{d}x =1\) and let \(\xi _\epsilon (x):= \frac{1}{\epsilon }\xi (\frac{x}{\epsilon })\). The function
has, if \(\epsilon \) is sufficiently small, all desired properties. Finally, we define \(c_{r,s}\) as the unique point with \(u_{r,s}(c_{r,s})=b\). \(\square \)
Lemma 4.11
(Existence of bending functions) Let \(C>0\) and \(\beta >0\). Then there exists \(\alpha \in (0,\beta )\) and a family of functions \(v_{r,s}:\mathbb {R}\rightarrow \mathbb {R}\) and \(d_{r,s}\in \mathbb {R}\), depending continuously on \((r,s) \in (0,1] \times [0,1]\) such that

(1)
\(v_{r,0}=id\) and \(v_{r,s}=id\) on \((\infty ,\frac{\alpha }{2}]\),

(2)
\(v_{r,s}(d_{r,s})=\beta \),

(3)
\(v_{r,1}'\equiv 0\) near \(\alpha \),

(4)
\(v_{r,s}''\le C\frac{r}{t}\) and \(v_{r,s}''\le 0\) on the complement of \([2\alpha ,d_{r,s}]\),

(5)
\(v_{r,s}'\equiv 1s+rs\) on \([d_{r,s},\infty )\).

(6)
\(0\le v_{r,s}' \le 1\) for all r, s.
We call \(v_{r,s}\) a family of bending functions with parameters \(C,\beta \). The point \(\alpha \) is called the attacking point. The following figure depicts the situation.
Proof
This is by a similar method as the proof of Lemma 4.10. Let \(\gamma := \frac{\beta }{2}\) and \(\alpha := \frac{\beta }{4} e^{ \frac{1}{C}}\). We consider the piecewise continuous function
and set
A straightforward, but lengthy integral computation reveals that \(w_{r,s}\) has all the desired properties, except that it is only piecewise \(C^2\). For sufficiently small \(\epsilon \), consider the convoluted function
The point \(d_{r,s}\) is the unique point with \(v_{r,s}(d_{r,s})=\beta \). \(\square \)
Proof of Proposition 4.3
We may assume that \(G_0(x) = G_0(\frac{x}{\Vert x \Vert })\) for \(\Vert x \Vert \ge \frac{1}{2}\), otherwise we perform an obvious homotopy beforehand to achieve this. We write the metric \(G_0 (x)\) as \(g_N + g(x)\) for a rotationally symmetric metric g(x) on \(B_R^k\). Recall that \(B \in [0,\frac{1}{ \delta ^2} (k1)(k2))\) and \(\mathrm {scal}(g(x)) > B\) for all \(x \in D^n\). Let \(f_x: [0,R] \rightarrow \mathbb {R}\) be the warping function of \(G_0 (x)\). The proof begins with making some choices:

(1)
Pick
$$\begin{aligned} B< B'< B'' < \frac{1}{\delta ^2} (k1)(k2) \end{aligned}$$so that \(\mathrm {scal}(g(x)) \ge B''\) for all \(x \in D^n\).

(2)
By (4.6), there is \(S \in (0,R)\) such that \(f_x'\in [0,1]\) and \(f_x''\le 0 \) on [0, S] for all \(x \in D^n\). We can furthermore pick S so that \(B'' S^2 \le (k1)(k2)\) and \(S \le \delta \).

(3)
Let \(F:= \inf _{x\in D^n}f_x(\frac{8}{10}S)>0\) and \(p:=\frac{1}{2(k1)}(B''B')F\le \frac{8}{10}\frac{1}{2(k1)}(B''B')S\).

(4)
Let q be the resulting slope (see Lemma 4.10) of a sloping function with parameters \((\alpha ,S,p)\), for \(\alpha < \frac{8}{10} S\) (recall the constant q only depends on p and S, not on \(\alpha \), which we have to pick later).

(5)
Now we pick \(T \in (0, \frac{8}{10} S]\) and \(C>0\) so that
$$\begin{aligned} B' T^2 + 2(k1) C \le (k1)(k2) (1(1q)^2). \end{aligned}$$ 
(6)
Pick a family of bending functions \(v_{r,s}\) for the parameters (C, T) and let \(\alpha >0\) be the attacking point of this family of bending functions. The numbers \(d_{r,s} \in \mathbb {R}\) are as in Lemma 4.11.

(7)
Pick a family of sloping functions \(u_{r,s}\) for the parameters \((\alpha ,S,p)\). The numbers \(c_{r,s}\) are as in Lemma 4.10.
Now we construct the homotopy \(G: [0,1] \times D^n \rightarrow {\mathcal R}^+_{\mathrm {rot}}(M)\). We first construct it on the part \([0,1] \times D^n_{\frac{1}{2}}\), the disc of radius \(\frac{1}{2}\).

(1)
On \([0, \frac{1}{3}] \times D^n_{\frac{1}{2}}\), we define
$$\begin{aligned} G(\lambda ,x):= \Lambda (g(x), u_{1,3\lambda },c_{1,3\lambda }) \end{aligned}$$and claim that \(\mathrm {scal}(G(\lambda ,x)) \ge B'\) for all such x and \(\lambda \). In the region where \(u_{1,3 \lambda }'' \le 0\), there is no problem: there \(f_x(u_{1,3\lambda }) \le S\), and we picked S small enough to satisfy the first hypothesis of Lemma 4.8. In the region where \(u_{1,3 \lambda }'' \ge 0\), we have by construction \(u_{1,3 \lambda } \ge \frac{8}{10} S\), and hence \(f_x(u_{1,3\lambda }) \ge F\). Therefore
$$\begin{aligned} u_{1,3\lambda }'' \le p = \frac{F(B''B')}{2(k1)} \le \frac{B''B'}{2(k1)} f_x \end{aligned}$$and the claim follows from Lemma 4.8.

(2)
The warping function \(f=f_{x,\frac{1}{3}}\) of \(G(x,\frac{1}{3})\) satisfies \(f' \le 1q\) on the interval \([\alpha ,T]\). Furthermore, the scalar curvature of \(G(x,\frac{1}{3})\) is bounded from below by \(B'\). Now we define \(G: [\frac{1}{3},\frac{2}{3}] \times D^n_{\frac{1}{2}}\) by
$$\begin{aligned} G(\lambda ,x) := \Lambda (G(\frac{1}{3},x),v_{1,3\lambda 1}, d_{1,3\lambda 1}). \end{aligned}$$We claim that \(\mathrm {scal}(g(x,\lambda )) \ge B'\) for all such \(\lambda \) and x. Again, there is no problem in the region where \(v_{1,3\lambda 1}'' \le 0\). In the region where \(v_{1,3\lambda 1}'' \ge 0\), we have \(f' \le 1q\), \(0 \le v' \le 1\), \(f'' \le 0\) and \(f \le T\). Therefore,
$$\begin{aligned} (k1) \Bigl ( (k2) \frac{1f'^2 v'^2}{f^2}  2 \frac{f''}{f} v'^2  2 \frac{f'}{f} v'' \Bigr )  B' \end{aligned}$$$$\begin{aligned} \ge (k1) \Bigl ( (k2) \frac{1(1q)^2}{f^2}  2 \frac{f'}{f} v'' \Bigr )  B' \end{aligned}$$$$\begin{aligned} = \frac{1}{f^2} \Bigl ( (k1)(k2)(1(1q)^2)  2(k1) f f' v''  B' f^2 \Bigr ). \end{aligned}$$But now \(f' \le 1\) in the relevant region, which implies \(f(t) \le t\). Since \(0 \le v'' \le \frac{C}{t}\), the last term is bounded below by
$$\begin{aligned} \frac{1}{f^2} \Bigl ( (k1)(k2)(1(1q)^2)  2 (k1)t \frac{C}{t}  B' T^2 \Bigr ) = \frac{1}{f^2} \Bigl ( (k1)(k2)(1(1q)^2)  2 (k1) C  B' T^2 \Bigr ), \end{aligned}$$using that \(f \le T\). But this is nonnegative, by our choice of T.

(3)
Now we turn to the region \(\Vert x \Vert \ge \frac{1}{2}\). Here we have \(f_x=h_{\delta }\), the torpedo function of radius \(\delta \). In the region \(\frac{1}{2} \le \Vert x \Vert \le \frac{2}{3}\) and \(0 \le \lambda \frac{2}{3}\), we merely change the point where the warping function obtained by composition with \(v_{...}\) or \(u_{...}\) is glued to the original metric, until this gluing is done in the region where the warping function \(f_x=h_\delta \) is constant. There is no problem in doing this, as all the functions \(u_{1,s}\) and \(v_{1,s}\) are linear with slope 1 beyond \(c_{1,s}\) and \(d_{1,s}\). The concrete realization by formulas is
$$\begin{aligned} G(\lambda ,x){:}{=} {\left\{ \begin{array}{ll} \Lambda (g(x),u_{1,3\lambda }, c_{1,3\lambda }+ 6 (RS)\Vert x \Vert + 3(SR)) & \lambda \le \frac{1}{3}\\ \Lambda (g(\frac{1}{3},x),v_{1,3\lambda 1},d_{1,3\lambda 1} 3 (c_{1,1}+ RST) + 6 (c_{1,1}+RST) \Vert x \Vert ) & \frac{1}{3} \le \lambda \le \frac{2}{3}. \end{array}\right. } \end{aligned}$$For \(\Vert x \Vert =\frac{2}{3}\), we have
$$\begin{aligned} G(\lambda ,x){:}{=} {\left\{ \begin{array}{ll} \Lambda (g(x),u_{1,3\lambda }, c_{1,3\lambda }+ RS) & \lambda \le \frac{1}{3}\\ \Lambda (g(\frac{1}{3},x),v_{1,3\lambda 1},d_{1,3\lambda } + c_{1,1}+RST )& \frac{1}{3}\le \lambda \le \frac{2}{3}, \end{array}\right. } \end{aligned}$$and since \(u_{1,3\lambda } (c_{1,3\lambda } + RS)=R\) and \(v_{1,3\lambda 1}(d_{1,3\lambda 1} + c_{1,1}+RST) =T+ c_{1,1}+RST= c_{1,1}+RS\), the gluing now takes place in the region where \(f_x = h_\delta \) is constant. Hence (compare Lemma 4.4), we are now free to change the functions \(u_{1,3\lambda }\) and \(v_{1,3\lambda 1}\) by functions whose derivative at the relevant point is not equal to 1. We use this additional freedom to construct the homotopy in the region \(\Vert x \Vert \ge \frac{2}{3}\).

(4)
In the region \(\frac{2}{3} \le \Vert x \Vert \le \frac{5}{6}\), we use the first parameter in the sloping and bending function and “dampen” those. To that end, let us pick \(\eta \in (0,1)\) (we have to pick \(\eta \) small enough so that the next step goes through). We set, for \(\frac{2}{3}\le \Vert x \Vert \le \frac{5}{6}\),
$$\begin{aligned} G(\lambda ,x){:}{=} {\left\{ \begin{array}{ll} \Lambda (g(x),u_{6(\eta 1)\Vert x \Vert +54\eta ,3\lambda }, {\tilde{c}}_{\Vert x \Vert ,3\lambda }) & \lambda \le \frac{1}{3}\\ \Lambda (g(\frac{1}{3},x),v_{6(\eta 1)\Vert x \Vert +54\eta ,3\lambda 1},{\tilde{d}}_{\Vert x \Vert , 3\lambda }1 )& \frac{1}{3}\le \lambda \le \frac{2}{3}, \end{array}\right. } \end{aligned}$$where \({\tilde{c}}_{\Vert x \Vert ,3\lambda }\) is the unique point with \(u_{6(\eta 1)\Vert x \Vert +54\eta ,3\lambda }( {\tilde{c}}_{\Vert x \Vert ,3\lambda })=R\) and \({\tilde{d}}_{\Vert x \Vert ,3\lambda 1}\) is the unique point with \(v_{6(\eta 1)\Vert x \Vert +54\eta ,3\lambda 1}({\tilde{d}}_{\Vert x \Vert ,3\lambda } 1)= {\tilde{c}}_{\Vert x \Vert ,1}\). All the curvature estimates done in this proof so far apply as well when the sloping function \(u_{1,3\lambda }\) is replaced by \(u_{r,3\lambda }\) and the bending function \(v_{1,3\lambda 1 }\) is replaced by \(v_{r,3\lambda 1}\), for \(r >0\). Hence, the above formula defines metrics of positive scalar curvature. For \(\Vert x \Vert =\frac{5}{6}\), we can write
$$\begin{aligned} G(\lambda ,x)=\Lambda (g(x),h_\lambda , a_\lambda ), \end{aligned}$$where
$$\begin{aligned} h_\lambda := {\left\{ \begin{array}{ll} u_{\eta ,3\lambda } & \lambda \le \frac{1}{3}\\ u_{\eta ,1} \circ v_{\eta , 3\lambda 1} & \lambda \ge \frac{1}{3}, \end{array}\right. } \end{aligned}$$and \(a_\lambda \in (0,\infty )\) is the point with \(h_\lambda (a_\lambda )=R\). By Lemmas 4.10, 4.11 and the chain rule, we have
$$\begin{aligned} h''_\lambda \le \max \left\{\eta p , \eta \frac{C}{2 \alpha } \right\} = \eta \max \left\{ p , \frac{C}{2 \alpha } \right\}. \end{aligned}$$(4.12) 
(5)
In the region \(\frac{5}{6} \le \Vert x \Vert \le 1\), we change the function \(h_\lambda \) and “pull it away from zero to the region around R”. More precisely, we set
$$\begin{aligned} h_{\lambda ,s}(t):= h_\lambda (ts)+s \end{aligned}$$and let \(a_{\lambda ,s}\) be the point with \(h_{\lambda ,s}(a_{\lambda ,s})=R\). Now we put, for \(\lambda \in [0,\frac{2}{3}]\) and \(\frac{5}{6} \le \Vert x \Vert \le 1\):
$$\begin{aligned} G(\lambda ,x)=\Lambda (g(x),h_{\lambda ,6R\Vert x \Vert 5R}, a_{\lambda ,6R\Vert x \Vert 5R}). \end{aligned}$$(4.13)If \(\Vert x \Vert =1\), then \(h_{\lambda ,6R\Vert x \Vert 5R}\equiv {\text {id}}\) on [0, R] (Fig. 2). In other words, the metric \(G(\lambda ,x)\) coincides with the original metric on \(B_R^k\) (but it is changed outside this disc), so that we indeed get a relative homotopy. It remains to show that (4.13) defines a psc metric, and for this, we have to pick \(\eta \) sufficiently small. The functions \(h_{\lambda ,s}\) are just translated versions of \(h_\lambda \), and so their second derivatives still satisfies (4.12). But recall Lemma 4.8 and Remark 4.9: together, they show that (4.13) defines a psc metric, as long as we pick \(\eta \) small enough so that
$$\begin{aligned} \eta \max \left\{ p , \frac{C}{2 \alpha } \right\} \le \frac{B''B'}{2(k1)} \delta . \end{aligned}$$ 
(6)
Let us summarize what we have achieved so far: The map \(G: [0,\frac{2}{3}] \times D^n\rightarrow {\mathcal R}^+_{\mathrm {rot}}(M)\) is continuous, \(G([0,\frac{2}{3}]\times S^{n1})\subset {\mathcal R}^+ (M,\varphi )\). For \(\lambda = \frac{2}{3}\), the metric \(G(x,\frac{2}{3})\) has a warping function \(f_{\frac{2}{3},x}\), which we constructed in such a way that \(f_{\frac{2}{3},x}'\equiv 0\) near
$$\begin{aligned} \tau (x):= {\left\{ \begin{array}{ll} \alpha & \Vert x \Vert \le \frac{5}{6}\\ \max {R,\alpha + 6R \Vert x \Vert  5R } & \Vert x \Vert \ge \frac{5}{6}. \end{array}\right. } \end{aligned}$$ 
(7)
The last step is to stretch the collar around \(\tau (x)\). This does not require us to be careful anymore. Let \(\epsilon >0\) so that \(f_{\frac{2}{3},x}' \equiv 0\) on \([\tau (x)\epsilon ,\tau (x)+\epsilon ]\). Pick a family \((h_{\lambda ,x})_{(\lambda ,x)\in [\frac{2}{3},1]\times D^n}\) of smooth functions and \(a_{\lambda ,x}\in \mathbb {R}\), depending continuously on \(\lambda \) and x so that

\(h_{\frac{2}{3},x}={\text {id}}\),

\(h_{\lambda ,x} _{[0,\tau (x)\epsilon ]}={\text {id}}\) for all \(\lambda \),

\(h_{\lambda ,x}_{[\tau (x)+\epsilon ,\infty )}\equiv \tau (x)\) for \(\lambda \ge \frac{5}{6}\),

\(h''_{\lambda ,x}\le 0\), \(0 \le h'_{\lambda ,x} \le 1\) for all \(\lambda \).

\(a_{\lambda ,x}= \tau (x)\) for \(\lambda \in [\frac{2}{3},\frac{5}{6}]\),

\(a_{1,x}=R\) for all x,

\(a_{\lambda ,x}\) is monotone increasing in \(\lambda \).
The desired deformation of the metric on \([\frac{2}{3},1]\times D^n\) is
$$\begin{aligned} G(\lambda ,x):= \Lambda (g(\frac{2}{3},x), h_{\lambda ,x} , a_{x,\lambda }). \end{aligned}$$ 
\(\square \)
Deforming to a torpedo and adjusting widths
Now we are able to finish the proof of Proposition 4.1 and hence of Theorem 3.1. Consider a commutative diagram
By Proposition 4.3, we may assume that \(G_0(x)\) is given, on \(N \times B_R^k\), by \(g_N + \mathrm{d}t^2+ f_x (t)^2 \mathrm{d}\xi ^2\), where the warping function \(f_x\) satisfies

\(f_x' \equiv 0\) near R,

\(f_x \le \delta \), and we define \(\delta _x:= f_x (R)\),

\(0 \le f'_x \le 1\) and \(f_x'' \le 0\) on [0, R],

for \(\Vert x \Vert \ge \frac{1}{2}\), \(f_x\) is the \(\delta \)torpedo function \(h_\delta \) (in 4.3, this is only required for \(\Vert x \Vert =1\), but an obvious homotopy achieves this condition for \(\Vert x \Vert \ge \frac{1}{2}\)).
Furthermore, there are constants \( \frac{(k1)(k2)}{\delta ^2}>B''>B' >B\ge 0\) so that
Let us make three observations.
Observation 4.15
By a collar stretching homotopy as in the last step of the proof of Proposition 4.3, we may also assume that the metrics \(G_0 (x)\) are rotationally symmetric on a bigger disc \(B_{R_\infty }^k\) and the warping function is constant on \([R,R_\infty ]\), for \(R_\infty \) as large as we want. For a given \(R_\infty >R\), pick a smooth function \(a: \mathbb {R}\rightarrow [0,1]\) such that \(a_{(\infty ,R]} \equiv 0\) and \(a_{[R_\infty ,\infty )} \equiv 1\). For \(\beta \in (0,\delta ]\) and \(p,q\in [\beta ,\delta ]\), let
Then
So, if \(R_\infty \) is large enough, there exists a function a such that the latter term is at least \(B'\).
Observation 4.16
If \(f_0,f_1\) are two warping functions such that \(0 \le f'_i \le 1\) and \(f_i''\le 0\), and such that \(\sigma (f_i)>0\) on [0, R], then for any \(\lambda \in [0,1]\), \(\sigma ((1\lambda )f_0+\lambda f_1) >0\) on [0, R]. This follows from (4.2) and (4.6). Since by (4.6), we have \(((1\lambda )f_0(0)+\lambda f_1(0))'''<0\), it follows that \(((1\lambda )f_0(t)+\lambda f_1(t))'<1\) for \(t>0\) and \(((1\lambda )f_0(t)+\lambda f_1(t))''\le 0\). Hence the scalar curvature is positive.
Observation 4.17
For \(0<\theta \) and a warping function f, let \(f^\theta (t) := \theta f(\frac{t}{\theta })\). Then \(f^\theta (t)' = f'(\frac{t}{\theta })\) and \(f^\theta (t)'' = \frac{1}{\theta } f''(\frac{t}{\theta })\) and we get
Proof of Proposition 4.1
Consider a diagram as in (), with the properties provided by Proposition 4.3, and furthermore, by Observation 4.15, we may assume that the metric G(0, x) is given by a warping function \(f_x: [0,R_\infty ] \rightarrow \mathbb {R}\), with \(R_\infty \) as in 4.15. The function \(f_x\) is constant on \([R,R_\infty ]\), and it is convenient to extend it to all of \([0,\infty )\), by \(f(t):= f(R_\infty )\) for \(t>R_\infty \).
The goal is to deform \(f_x\) into a function which is equal to the torpedo function \(h_\delta \) on [0, R], while retaining this property if \(\Vert x \Vert =1\).
By 4.16, there exists \(A>0\), so that
for all \((x,\lambda )\in D^n \times [0,1]\). It follows from 4.17 that there is a continuous function \(\theta :D^n \rightarrow (0,1]\) such that
for all \(\lambda \in [0,1]\), \(x\in D^n\) and \(t\in [0,R]\). Since \(f_x = h_\delta \) when \(\Vert x \Vert \ge \frac{1}{2}\), we can, furthermore, assume that \(\theta (x)=1\) for \(\Vert x \Vert =1\).
The desired deformation of warping functions is given on the interval [0, R] by the formula (note that \(h_\delta ^{\theta }=h_{\theta \delta }\))
Now, let
and pick \(R_\infty >R\) large enough so that there exists an a as in 4.15. Finally, on the interval \([R,R_\infty ]\), we define
\(\square \)
The fibration theorem and Theorem 1.6
Proof of the fibration theorem
We now present the proof of Theorem 1.1.
Lemma 5.1
Let M be a closed manifold, P a compact space and \(G:P \times [0,1] \rightarrow {\mathcal R}^+ (M)\) be continuous. Then there is a continuous map
such that

(1)
C is smooth in tdirection,

(2)
all derivatives in M and tdirection are continuous,

(3)
for all \((p,t) \in P \times [0,1]\), we have \(C(p,0,t)=G(p,0)\),

(4)
for all \((p,s) \in P \times [0,1]\), we have \(C(p,s,0)= G(p,0)\), and \(C(p,s,1)= G(p,s)\),

(5)
if \(K \subset M\) is a codimension 0 submanifold and \(G(p,t)_{K}\) is independent of t, then \(C(p,s,t)_K\) is independent of s and t.
Moreover, there is a continuous function \(\Lambda : [0,1] \rightarrow (0, \infty ]\) with \(\Lambda (0)=\infty \), such that if \(k: \mathbb {R}\rightarrow [0,1]\) is a smooth function with \(k', k'' \le \Lambda (s)\), then the metric
on \(\mathbb {R}\times M\) has positive scalar curvature for all \(p \in P\).
Proof
To construct C, let \(U_{ni}= (\frac{i1}{n}, \frac{i+1}{n}) \cap [0,1]\) and let \(\mathcal {U}_n\) be the open cover \((U_{ni})_{i=0, \ldots ,n}\) of [0, 1]. Let \((\lambda _{ni})_{i=0,\ldots , n}\) be a subordinate smooth partition of unity. Define
This has all the desired properties, except that the scalar curvature of \(C_n (p,s,t)\) is not necessarily positive. Since \({\mathcal R}^+ (M) \subset {\mathcal R}(M)\) is open, a routine compactness argument shows that that for sufficiently large n, the scalar curvature of \(C_n (p,s,t)\) is positive for all p, s, t. Define \(C:= C_n\) for such an n.
The existence of the function \(\Lambda \) with the asserted property follows from the properties of C, from the compactness of P and from Lemma 2.5.
Proof of Theorem 1.1
Let P be a disc and consider a lifting problem
Since P is compact, we find \(\delta >0\) such that \(F (P \times \{0\}) \subset {\mathcal R}^+ (W)^{2 \delta }\). This follows from a general property of colimits [24][Lemma 3.6] which can be applied here as the inclusion maps \({\mathcal R}^+ (M)^b \rightarrow {\mathcal R}^+ (M)^c\) are closed embeddings when \(c<b\). We will construct a continuous map \(K: P \times [0,1] \rightarrow {\mathcal R}^+ ([0,\delta ] \times M)\) with the properties that

(1)
\(K(p,s)= G(p,s)\) near \(\{0\} \times M\),

(2)
\(K(p,s)= G(p,0)\) near \(\{\delta \} \times M\).
Then define \(H(p,s) \in {\mathcal R}^+ (W)\) to be equal to K(p, s) on \([0, \delta ] \times M\) and equal to F(p) on \(W {{\setminus }} ([0, \delta ] \times M)\). This is a solution to the lifting problem (5.2).
Let \(C: P \times [0,1] \times [0,1] \rightarrow {\mathcal R}^+ (M)\) and \(\Lambda : [0,1] \rightarrow (0,\infty ]\) be as in Lemma 5.1. Now let
and fix a smooth function \(f: \mathbb {R}\rightarrow [0,1]\) such that

(1)
\(f=0\) near \((\infty ,0]\), \(f=1\) near \([1,\infty )\),

(2)
\(f', f'' \le 3\).
With these choices, the Riemannian metric
on \(\mathbb {R}\times M\) has positive scalar curvature, is cylindrical near \((\infty ,0] \times M\) and near \([b,\infty )\times M\) and lies in \({\mathcal R}^+ ([0,b] \times M)_{G(p,0), G(p,s)}\). Choose a diffeomorphism \(h: [0, \delta ] \rightarrow [0,b]\) such that \(h'>0\), \(h'=1\) near 0 and \(\delta \). Then \((p,s) \mapsto K(p,s) := (h \times {\text {id}}_M)^* L(p,s)\) is the desired family of psc metrics on \([0,\delta ] \times M\). \(\square \)
Proof of Theorem 1.6
The proof uses an auxiliary construction. For \(r\ge 0\), we let \(W_r:= W \cup (M \times [0,r])\) be the result of gluing an external collar of length r to W and define \(N_r\) analogously. We extend the metric \(g_N\) on N to one denoted \(g_{N,r}\) on \(N_r\) cylindrically. The embedding \(\varphi : N\times \mathbb {R}^k \rightarrow W\) gets extended in the obvious way to an embedding \(\varphi _r: N_r \times \mathbb {R}^{k} \rightarrow W_r\). We let \({\mathcal R}^+ (W_r,\varphi _r) \subset {\mathcal R}^+ (W_r)\) be the space of psc metrics which are of the form \(g_{N,r}+g_\mathrm {tor}^k\) on \(\varphi _r (N_r \times B_R^k)\). Extending psc metrics cylindrically over \(M \times [0,r]\) defines maps \({\mathcal R}^+ (W_r) \rightarrow {\mathcal R}^+ (W_s)\) and \({\mathcal R}^+ (W_r,\varphi _r) \rightarrow {\mathcal R}^+ (W_s,\varphi _s)\) for \(s >r\). Restriction to the boundary of \(W_r\) defines restriction maps \(\mathrm {res}': {\mathcal R}^+ (W_r) \rightarrow {\mathcal R}^+ (M)\) and \({\mathcal R}^+ (W_r,\varphi _r) \rightarrow {\mathcal R}^+ (M,\partial \varphi )\) which are compatible. In the colimit, we obtain a commutative diagram
Lemma 5.5
The left vertical map in (5.4) is a Serre fibration.
Let us postpone the proof of Lemma 5.5 for the moment, and explain how to finish the proof of Theorem 1.6.
Proof of Theorem 1.6
The bottom horizontal map in (5.4) is a weak equivalence, by Theorem 1.2. The inclusion maps \({\mathcal R}^+ (W_r)\rightarrow {\mathcal R}^+ (W_s)\) are weak homotopy equivalences, and hence so is the inclusion map \({\mathcal R}^+ (W) \rightarrow {\text {colim}}_{r\rightarrow \infty } {\mathcal R}^+ (W_r)\). This is proven in the same way as the elementary [2, Lemma 2.1 and Corollary 2.3].
Each individual map \({\mathcal R}^+ (W_r,\varphi _r)\rightarrow {\mathcal R}^+ (W_r)\) is a weak equivalence, by Theorem 1.2 and hence so is the top horizontal map in (5.4). It follows that the inclusion \({\mathcal R}^+ (W,\varphi ) \rightarrow {\text {colim}}_{r \rightarrow \infty } {\mathcal R}^+ (W_r,\varphi _r)\) is a weak equivalence.
The right vertical map in (5.4) is a Serre fibration. This follows easily from Theorem 1.1 and a colimit argument.
Together with Lemma 5.5, it follows that the induced map on fibres is a weak equivalence. Over \(g \in {\mathcal R}^+ (M,\partial \varphi )\), this is the bottom map of the diagram
and we want to know that the top map is a weak equivalence. Thus to conclude the proof of Theorem 1.6, it enough to prove that the two vertical maps in (5.6) are weak equivalences. For the right hand vertical map, this follows immediately from [2][Lemma 2.1], and for the left hand side map, we use [5][Corollary 2.5.4] (whose proof is elementary, but slightly lengthy). \(\square \)
Proof of Lemma 5.5
This is similar to, but easier than the proof of Theorem 1.1. Let P be a disc and consider a lifting problem
By compactness of P, there is \(r\ge 0\) so that \(F(P \times \{0\}) \subset {\mathcal R}^+ (W_r,\varphi _r)\). Define L(p, s) by the formula (5.3) and let b as in loc.cit. Define \(H(p,s) \in {\mathcal R}^+ (W_{r+b},\varphi _{r+b})\) to be equal to L(P, s) on \(M \times [r,r+b]\) and equal to F(p, s) on \(W_r\). This has all the desired properties (H(p, s) lies in \( {\mathcal R}^+ (W_{r+b},\varphi _{r+b})\) because of property (5) of Lemma 5.1). \(\square \)
Cobordism invariance of the space of psc metrics
This section is devoted to the proof of Theorem 1.5.
Definition 6.1
Let \(M_0\) and \(M_1\) be closed \((d1)\)manifolds and let \(W:M_0 \leadsto M_1\) be a cobordism. We say that W has handle type [k, l] if there exists a handlebody decomposition of W relative to \(M_0\) all whose handles have index in \(\{k, k+1,\ldots ,l1,l\}\).
The first step in the proof of Theorem 1.5 is the following corollary of Theorem 1.2.
Corollary 6.2
(to Theorem 1.2) Let \(M_0\) and \(M_1\) be two closed \((d1)\)manifolds and assume that there is a cobordism \(W:M_0 \leadsto M_1\) of handle type \([0,d3]\). Then there exists a map \({\mathcal R}^+ (M_0) \rightarrow {\mathcal R}^+ (M_1)\), which can be chosen to be a weak homotopy equivalence if the handle type of W is \([3,d3]\).
Proof
Let M be a closed \((d1)\)manifold and let \(\phi : S^{m1} \times \mathbb {R}^{dm} \rightarrow M\) be an embedding. The result of a surgery on M is \(M_\phi := M {\setminus } (\phi (S^{m1} \times D^{dm}) \cup D^m \times S^{dm1}\). The opposite embedding of \(\phi \) is \(\phi ^{op}: \mathbb {R}^m \times S^{dm1} \rightarrow M_\phi \), and we obtain M back from \(M_\phi \) by a surgery on \(\phi ^{op}\). There is a zigzag of maps
By Theorem 1.2, the arrow pointing to the left is a weak equivalence if \(m \le d3\). By inverting the arrow up to homotopy, we obtain a map \({\mathcal R}^+ (M) \rightarrow {\mathcal R}^+ (M_\phi )\). If \(m \ge 3\), then the arrow pointing to the right is a weak equivalence, and so is the map \({\mathcal R}^+ (M) \rightarrow {\mathcal R}^+ (M_\phi )\).
If W has handle type \([0,d3]\), we can obtain \(M_1\) from \(M_0\) by a sequence of surgeries on embedded copies of \(S^{m1} \times \mathbb {R}^{dm}\) with \(dm \ge 3\), which gives the map, and if the handle type is \([3,d3]\), this map is a weak homotopy equivalence. \(\square \)
Because of Corollary 6.2, Theorem 1.5 follows from the next two results.
Proposition 6.3
Let \(\theta : B \rightarrow BO(d)\) be a fibration and let \(M_0\), \(M_1\) be two closed \((d1)\)dimensional \(\theta \)manifolds such that the structure maps \(M_i \rightarrow B\) are 2connected. Assume that \(d \ge 6\) and that there is a \(\theta \)cobordism \(W:M_0 \leadsto M_1\). Then there exists a \(\theta \)cobordism \(W': M_0 \leadsto M_1\) such that both inclusions \(M_i \rightarrow W'\) are 2connected.
Proposition 6.4
Let \(W: M_0 \leadsto M_1\) be a ddimensional cobordism between closed manifolds such that the inclusions \(M_i \rightarrow W\) are 2connected. Then

(1)
if \(d \ge 7\), W has handle type \([3,d3]\),

(2)
if \(d=6\), then there is r such that the connected sum \(W\sharp ^r (S^3 \times S^3)\) with sufficiently many copies of \(S^3 \times S^3\) has handle type [3, 3].
In both Propositions, the case \(B = B \mathrm {Spin}\) follows quickly from the proof of the hcobordism theorem for simply connected manifolds, which has found its way into textbooks [15, 17], and is described in [29]. The general case requires techniques from the proof of the scobordism theorem, which are not so well known. Therefore, we include the proof here, for sake of completeness.
Proof of Proposition 6.3
To simplify the notation, we assume that B is 0connected. If we could assume that the space is of type \((F_3)\) [25], we can perform \(\theta \)surgeries in the interior of W, giving a cobordism \(W'\) such that the structure map \(W' \rightarrow B\) is 3connected. It follows that the inclusion maps \(M_i \rightarrow W\) are both 2connected. However, the assumptions of the proposition only imply that B is of type \((F_2)\), and an additional argument is required (which goes back to [20][Theorem 2.2] and is explained also in [10]). By \(\theta \)surgeries in the interior of W, we can replace W by a cobordism \(W'\) so that \(W' \rightarrow B\) is 2connected. Hence we can assume, without loss of generality, that \(W\rightarrow B\) is 2connected. This condition implies that both inclusions \(M_i \rightarrow W\) induce isomorphisms on fundamental groups. Let \(\pi \) be the common fundamental group. The long exact homotopy sequence of the pair \((W,M_0)\) gives the diagram
Now \(\pi _2 (W,M_0)\) is a finitely generated \(\mathbb {Z}[\pi ]\)module, by [25][§1]. Using that the structure map \(M_0 \rightarrow B\) is 2connected, a diagram chase shows that there are elements \(x_1, \ldots ,x_r \in \pi _2 (W)\) whose image in \(\pi _2 (W,M_0)\) generate \(\pi _2(W,M_0)\) as a \(\mathbb {Z}[\pi ]\)module and which lie in the kernel of \((\ell _W)_*:\pi _2 (W) \rightarrow \pi _2 (B)\).
Because \(d \ge 5\), we can represent \(x_i\) by an embedded 2sphere. Because \((\ell _W)_*(x_i)=0\), it follows that the normal bundle of those embeddings is trivial, and that \(x_i\) is represented by an embedding \(S^{2} \times \mathbb {R}^{d2} \rightarrow W\). We may assume that those embeddings are disjoint, by general position. We can perform \(\theta \)surgeries on those spheres, and obtain a new \(\theta \)cobordism \(W'\) so that \(M_0 \rightarrow W'\) is 2connected. Rename \(W:=W'\).
To make the inclusion of \(M_1\) 2connected as well, we use the same argument with \(M_0\) replaced by \(M_1\), but we have to be careful to not destroy the 2connectivity of \(M_0 \rightarrow W\). For an embedding \(f: \coprod ^r S^2 \times D^{d2} \rightarrow W\), let \(W^{\circ }:= W {{\setminus } }{\text {Im}}(f)^{\circ }\) and \(W'= W^{\circ } \cup _{\partial {\text {Im}}(f)} (\coprod ^r D^3 \times S^{d3})\). By general position, the inclusion \(W^{\circ } \rightarrow W'\) is 2connected, and \(W^{\circ } \rightarrow W\) is \((d3) \ge 3\)connected (here we use that \(d \ge 6\)). The diagram
shows that \(M_0 \rightarrow W^{\circ }\) is 2connected, and so is \(M_0 \rightarrow W'\) \(\square \)
Proof of Proposition 6.4
Part (1) follows quickly from handle trading [14, 26]. If \(d=6\), handle trading implies that W is of handle type [2, 3]. But handle trading is not enough: we can only barter the 2handles for 4handles. In fact, it is not correct that a 6dimensional cobordism \(W:M_0 \leadsto M_1\) with both inclusions 2connected has handle type [3, 3]: look at a 6dimensional hcobordism with nontrivial Whitehead torsion to see why. To deal with part (2), we invoke the following result, whose proof is contained in the proof of [7, Lemma 6.21] (and which has its origins in [16]). Let \(W: M_0 \leadsto M_1\) be a cobordism of dimension \(2n \ge 6\) such that both inclusions \(M_i \rightarrow W\) are \((n1)\)connected. Then for sufficiently large r, the cobordism \(W \sharp ^r (S^n \times S^n)\) has handle type [n, n]. \(\square \)
Notes
\(\chi _S: X \rightarrow \{0,1\}\) denotes the characteristic function of a subset \(S \subset X\).
Note that there is a sign difference because Hoelzel uses a different sign convention for the second fundamental form: In his article, he defines \({\mathrm {I\!I}}(V,W) = g(\nabla _VW, \eta )\cdot \eta \) whereas we adapt to the convention \({\mathrm {I\!I}}(V,W) =  g(\nabla _V\eta ,W)\cdot \eta \). This difference is, however, not relevant to us since \(\langle \pi (E_i),E_j \rangle =0\) for \(i\not =j\).
This is where the error in [28] occurs: \(\left( {\begin{array}{c}k1\\ 2\end{array}}\right) =\frac{(k1)(k2)}{2}\) is miscounted as \((k1)(k2)\).
References
Bär, C.: Elementare Differentialgeometrie. De Gruyter Lehrbuch. Walter de Gruyter, Berlin (2001)
Botvinnik, Boris, Ebert, Johannes, RandalWilliams, Oscar: Infinite loop spaces and positive scalar curvature. Invent. Math. 209(3), 749–835 (2017)
Chernysh, V.: On the homotopy type of the space \(\cal{R}^+(M)\). arXiv Mathematics eprints (2004)
Chernysh, V.: A quasifibration of spaces of positive scalar curvature metrics. Proc. Am. Math. Soc. 134(9), 2771–2777 (2006). (electronic)
Ebert, J., RandalWilliams, O.: Infinite loop spaces and positive scalar curvature in the presence of a fundamental group. Geom. Topol. 23(3), 1549–1610 (2019)
Gajer, Paweł: Riemannian metrics of positive scalar curvature on compact manifolds with boundary. Ann. Glob. Anal. Geom. 5(3), 179–191 (1987)
Galatius, Søren, RandalWilliams, Oscar: Stable moduli spaces of highdimensional manifolds. Acta Math. 212(2), 257–377 (2014)
Mikhael, Gromov, Blaine Lawson, Jr, H.: The classification of simply connected manifolds of positive scalar curvature. Ann. Math. (2) 111(3), 423–434 (1980)
Hatcher, Allen: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Hebestreit, F., Joachim, M.: Twisted spin cobordism and positive scalar curvature. J. Topol. 13(1), 1–58 (2020)
Hirsch, M.W.: Differential Topology, Graduate Texts in Mathematics. Springer, New York (2012)
Hoelzel, Sebastian: Surgery stable curvature conditions. Math. Ann. 365(1–2), 13–47 (2016)
Jost, Jürgen: Riemannian Geometry and Geometric Analysis. Universitext, 2nd edn. Springer, Berlin (1998)
Kervaire, Michel A.: Le théorème de Barden–Mazur–Stallings. Comment. Math. Helv. 40, 31–42 (1965)
Kosinski, Antoni A.: Differential Manifolds. Pure and Applied Mathematics, vol. 138. Academic Press Inc, Boston (1993)
Kreck, Matthias: Surgery and duality. Ann. Math. (2) 149(3), 707–754 (1999)
Milnor, J.: Lectures on the HCobordism Theorem. Princeton Legacy Library. Princeton University Press, Princeton (2015)
Palais, Richard S.: Homotopy theory of infinite dimensional manifolds. Topology 5, 1–16 (1966)
Petersen, P.: Riemannian Geometry. Graduate Texts in Mathematics. Springer, New York (2006)
Rosenberg, J.: \(C^\ast \)algebras, positive scalar curvature and the Novikov conjecture. II. In: Geometric Methods in Operator Algebras (Kyoto, 1983), Pitman Res. Notes Math. Ser., vol. 123, pp. 341–374. Longman Sci. Tech., Harlow (1986)
Rosenberg, J., Stephan, S.: Metrics of positive scalar curvature and connections with surgery. In: Surveys on Surgery Theory, Vol. 2, Ann. of Math. Stud., vol. 149, pp. 353–386. Princeton Univ. Press, Princeton (2001)
Schoen, R., Yau, S.T.: On the structure of manifolds with positive scalar curvature. Manuscr. Math. 28(1–3), 159–183 (1979)
Stolz, Stephan: Simply connected manifolds of positive scalar curvature. Ann. Math. (2) 136(3), 511–540 (1992)
Neil Strickland.: Compactly generated Hausdorff spaces. http://neilstrickland.staff.shef.ac.uk/courses/homotopy/cgwh.pdf
Wall, C.T.C.: Finiteness conditions for CWcomplexes. Ann. Math. (2) 81, 56–69 (1965)
Wall, C.T.C.: Geometrical connectivity. I. J. Lond. Math. Soc. 2(3), 597–604 (1971)
Wall, C.T.C.: Differential Topology. Cambridge Studies in Advanced Mathematics, vol. 156. Cambridge University Press, Cambridge (2016)
Walsh, Mark: Metrics of positive scalar curvature and generalised Morse functions, Part I. Mem. Am. Math. Soc. 209(983), xviii+80 (2011)
Walsh, Mark: Cobordism invariance of the homotopy type of the space of positive scalar curvature metrics. Proc. Am. Math. Soc. 141(7), 2475–2484 (2013)
Acknowledgements
We thank Bernhard Hanke for pointing out a slight oversight in the proof of Lemma 3.11. J.E. was partially supported by the SFB 878 “Groups, Geometry and Actions”. G.F. was supported by the SFB 878 “Groups, Geometry and Actions”.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they do not have conflict of interests.
Ethical standard
This research complies with ethical standards
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Curvature calculation
Appendix A: Curvature calculation
A.1. Proof of Lemma 2.4
Fix a local coordinate system \((x_1, \ldots , x_d)\) on M and define a coordinate system on \(\mathbb {R}\times M\) by taking \(x_0 =t\), the \(\mathbb {R}\)variable. We now let \(g_{ij}\) be the components of g in these coordinates and \(h_{ij}\) those of h. Let \(g^{ij}\) and \(h^{ij}\) be the components of the inverses of the metric tensors. Note that
and
We write \(\Gamma _{ij}^k\), \(R^{i}_{jkl}\) and S for the Christoffel symbols, the components of the curvature tensor and the scalar curvature of h and use the symbols \(\gamma _{ij}^k\), \(r^{i}_{jkl}\) and s for those associated with g. Without any further comment, we use the Einstein summation convention. With these notations in place, we have, essentially by definition,
see [13, Corollary 3.3.1, (3.1.31), (3.3.6) and (3.3.19)]. The symmetry property
is obvious. The same formulas of course hold for g and its associated objects. Using these formulas, one computes
The relevant components of the curvature tensor are
and (for \(j,k,l \ne 0\))
Altogether, we obtain (making an exception of the rule that we use the summation convention)
(switching back to the summation convention)
A.2: Proof of Lemma 3.11
We fix an orthonormal frame \((E_1,\dots , E_d)\) at a point \(p\in Q_\gamma \subset N\times \mathbb {R}^k\times \mathbb {R}\) such that \(E_1 = \dot{\gamma }\), \(E_2,\dots ,E_k\) are tangent to \(S^{k1}(r)\) and \(E_{k+1},\dots , E_{d}\) are tangent to N. By the Gauß curvature equation, we have
We will now estimate the entries of second fundamental form. First we note that for \(\eta \) the normal vector field of \(Q_\gamma \) in \(N\times \mathbb {R}^k\times \mathbb {R}\) we have
We get for \(i\ge 2\):
Since \(Q_\gamma \) is a hypersurface, the direction of \({\mathrm {I\!I}}(E_i,E_j)\) is always \(\eta \) and we will omit this. We deduce for \(2\le i<j\):
where \({\mathrm {I\!I}}^M\) denotes the second fundamental form of \(N\times S^{k1}(r)\) in \(N\times \mathbb {R}^k\) with respect to the normal vector field \(\partial _r\). We have the following estimate on \({\mathrm {I\!I}}^M\) due to Hoelzel [12, Lemma 2.6]^{Footnote 2}:
where \(\pi :T(N\times S^{k1}(r))\rightarrow \mathscr {V}T(N\times S^{k1}(r))\) denotes the projection onto the vertical tangent bundle with respect to the map \(N\times S^{k1}(r)\rightarrow N\). Hence, \(\pi (E_i) = E_i\) if \(2\le i\le k\) and \(\pi (E_i) = 0\) for \(i\ge k+1\). This shows that \({\mathrm {I\!I}}^M(E_i,E_j) = O(1)\) if \(i\not =j\) or \(i,j\ge {k+1}\). For \(2\le i\le k\) we have \({\mathrm {I\!I}}^M(E_i,E_i) = \frac{1}{r} + O(r)\) (see [28][Appendix]). This assembles to
Therefore, we get^{Footnote 3}:
Rearranging all terms finishes the proof.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ebert, J., Frenck, G. The Gromov–Lawson–Chernysh surgery theorem. Bol. Soc. Mat. Mex. 27, 37 (2021). https://doi.org/10.1007/s4059002100310w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s4059002100310w
Keywords
 Positive scalar curvature
 Surgery
 Homotopy equivalence