Homotopy invariance of the space of metrics with positive scalar curvature on manifolds with singularities

Let M be a smooth closed simply connected manifold of dimension n\geq 5.

=0pt

1. (i) If M is spin, then M admits a psc-metric if and only if the index \alpha(M)\in KO^{-n} of the Dirac operator on M vanishes.

2. (ii) If M is not spin, then M always admits a psc-metric.

The construction of g_{X_{\Sigma}} above yields a smooth (singular) metric of non-negative scalar curvature on X_{\Sigma}.

Let X be a simply connected spin manifold with nonempty \eta-singularity of dimension n\geq 7. Then X admits a metric of positive scalar curvature if and only if \alpha^{\eta}([X])=0 in the group KO_n^{\eta} \cong KU_n.

Let X_{\Sigma}= X\cup N(\beta X) be a simply connected spin manifold with fibred \eta-singularity (i.e., X and \beta X are simply-connected and spin) of dimension n\geq 7. Then {\mathcal R}^{\mathrm{psc}}(X_{\Sigma})\neq\varnothing if and only if \alpha^{\eta\mbox{-}\mathrm{fb}}([X_{\Sigma}])=0 in the group KO^{\eta\mbox{-}\mathrm{fb}}_n.

Let (X, \partial X, f) define a closed (L,G)-singular spin manifold X_\Sigma. Assume that X, \beta X, and G are all simply connected, that n-\ell\ge 6, and suppose that L is a spin boundary, say L=\partial\bar L, with the standard metric g_L on L extending to a psc-metric on \bar L, and with the G-action on L extending to a G-action on \bar L. Assume that the two obstructions \alpha(\beta X)\in KO_{n-\ell-1} and \alpha_{{\rm cyl}}(X)\in KO_n both vanish. Then X_\Sigma admits a well-adapted psc-metric.

Let (X, \beta X, f) define a closed (L,G)-singular spin manifold X_\Sigma, with L=\mathbb{HP}^{2k} and G={\rm Sp}(2k+1), n\ge 1. Assume that \partial X = \beta X \times L, i.e., the L-bundle over \beta X is trivial, or in other words that the singularities are of Baas–Sullivan type. Then if X and \beta X are both simply connected and n-8k\ge 6, X_\Sigma has an adapted psc-metric if and only if the \alpha-invariants \alpha(\beta X) \in KO_{n-8k-1} and \alpha_{{\rm cyl}}(X) \in KO_n both vanish.

Let X_{\Sigma}=X\cup_{\partial X} -N(\beta X) be a pseudo-manifold with (L,G)-singularities, with \operatorname{{\text{\rm dim}}} X = n, \operatorname{{\text{\rm dim}}} L=\ell.

=0pt

1. (i) Let i\colon S^p\subset X be a sphere with trivial normal bundle, and X_{\Sigma}' be the result of surgery on X_{\Sigma} along S^p. Then if 2\leq p\leq n-3, the spaces {\mathcal R}^{\mathrm{psc}}(X_{\Sigma}) and {\mathcal R}^{\mathrm{psc}}(X_{\Sigma}') are weakly homotopy equivalent.

2. (ii) Let i\colon S^p\subset \beta X be a sphere with trivial normal bundle, and with f\circ \iota\colon S^p \to BG homotopic to zero. Let \bar B be a trace of the surgery along S^p\subset \beta X with \partial \bar B = \beta X\sqcup -\beta X_1 and a structure map \bar f\colon \bar B\to BG. Then if 2\leq p \leq n-\ell-3, the spaces {\mathcal R}^{\mathrm{psc}}(X_{\Sigma}) and {\mathcal R}^{\mathrm{psc}}(X_{\Sigma,1}) are homotopy equivalent, where X_{\Sigma,1} is given by (?).

Let X_{\Sigma} be a spin (\left<k\right>\!\mbox{-}\mathrm{fb})-manifold. Assume \operatorname{{\text{\rm dim}}} X\geq 7 and that X and \beta X are simply-connected. Then the homotopy type of the space {\mathcal R}^{\mathrm{psc}}(X_{\Sigma}) is a bordism invariant and depends only on the bordism class [X_{\Sigma}]\in \Omega^{\mathrm{spin},\left<k\right>\mbox{-}\mathrm{fb}}_n.

Let X_{\Sigma} be a spin (\eta\mbox{-}\mathrm{fb})-manifold. Assume \operatorname{{\text{\rm dim}}} X\geq 9 and that X and \beta X are simply-connected. Then the homotopy type of the space {\mathcal R}^{\mathrm{psc}}(X_{\Sigma}) is a bordism invariant and depends only on the bordism class [X_{\Sigma}]\in \Omega^{\mathrm{spin},\eta\mbox{-}\mathrm{fb}}_n.

In both of the cases described in (3) and (4), the homotopy type of the space {\mathcal R}^{\mathrm{psc}}(X_{\Sigma}) is a bordism invariant and depends on the bordism class [X_{\Sigma}]\in \Omega^{\mathrm{spin},(L,G)\mbox{-}\mathrm{fb}}_n, provided n-\ell \geq 6 (where \ell =2k in the case (4)).

Let g_0\in {\mathcal R}^+(Y_0) be any metric. Assume q\geq 2. Then there exist metrics g_1\in {\mathcal R}^+(Y_1) and \bar g\in {\mathcal R}^+(Z,\partial Z)_{g_0,g_1} such that (Z,\bar g)\colon (Y_0,g_0)\rightsquigarrow (Y_1,g_1) is a psc-bordism.

Let Z\colon Y_0\rightsquigarrow Y_1 be an elementary bordism as above with p,q\geq 2. Then for any metric g_0\in {\mathcal R}^+(Y_0) there exist metrics g_1\in {\mathcal R}^+(Y_1) and \bar g\in {\mathcal R}^+(Z,\partial Z)_{g_0,g_1} such that the map

defined by (?), is a weak homotopy equivalence.

The space \mathcal{HD}(p) is convex.

For any horizontal distributions, \mathcal{H}, \mathcal{H}'\in \mathcal{HD}(p), the maps \mathcal{S}_{\mathcal{H}}^{\mathrm{psc}} and \mathcal{S}_{\mathcal{H}'}^{\mathrm{psc}} are homotopy equivalent.

The maps \mathcal{B} and \mathcal{S}_{\mathcal{H}}^{\mathrm{psc}} are homotopy inverse, thus determining a homotopy equivalence:

Let \bar{p}\colon \bar{E}\to \bar{B} denote the bundle described above with structure map \bar{f}\colon\bar{B}\to BG and fibre L, equipped with a fixed metric g_L of non-negative scalar curvature. Let

be a psc-Riemannian submersion with respect to the fibre (L, \tau_0 g_L) for some constant \tau_0>0, and horizontal distribution \mathcal{H}_0\in\mathcal{HD}(p_0). For compact spaces K_1 and K_2, let \bar{h}(x)\in {\mathcal R}^{\mathrm{psc}}\big(\bar{B}, \partial \bar{B}\big), be a continuous family of psc-bordism metrics on \bar{B}, indexed by x\in K_1, and let \bar{\mathcal{H}}(y)\in \mathcal{HD}_{\mathrm{adm}}(\bar{p}) be a continuous family of admissible horizontal distributions indexed by y\in K_2. We further assume that, for all x\in K_1 and y\in K_2, \bar{h}(x)|_{B_0}=h_0 and \bar{\mathcal{H}}(y)|_{E_0}=\mathcal{H}_0.

Then there is a constant \bar{\tau}_{\operatorname*{{\text{\rm min}}}}>0 and a corresponding family of psc-metrics \bar{g}(x,y), (x,y)\in K_1\times K_2 on \bar{E} which satisfies the following conditions.

=0pt

1. (i) \bar{p}\colon \big(\bar{E}, \bar{g}(x,y)\big)\to \big(\bar{B},\bar{h}(x)\big) is a Riemannian submersion with respect to the horizontal distribution \bar{\mathcal{H}}(y).

2. (ii) Each psc-metric \bar{g}(x,y) takes the form of a product {g}_{i}(x,y)+{\rm d}t^{2} near the boundary components E_i, and satisfies {g}_{0}(x,y)=g_0 on E_0.

3. (iii) The Riemannian submersion obtained by restriction to E_1,

   \begin{gathered} p_1=\bar{p}|_{E_1}\colon\ \big(E_1, g_1(x,y):=\bar{g}(x,y)|_{E_1}\big)\to\big(B_1, h_1(x):=\bar{h}(x)|_{B_1}\big), \end{gathered}

   has fibre (L, \bar{\tau}_{\operatorname*{{\text{\rm min}}}} g_L).

For any constant \tau>0, the smooth function \gamma_{\tau} above can be chosen so that the metric g({\gamma_{\tau}(t)})+{\rm d}t^{2} has positive scalar curvature.

The restriction map \mathrm{res}\colon {\mathcal R}^{\mathrm{psc}}(X, \partial X) \to {\mathcal R}^{\mathrm{psc}}(\partial X) is a Serre fibre bundle.

The spaces \mathcal{F}(\mathcal{HD}(p_0), \mathcal{HD}_{\mathrm{adm}}(\bar{p})) and \mathcal{F}_0(\mathcal{HD}(p_0), \mathcal{HD}_{\mathrm{adm}}(\bar{p})) are convex.

The homotopy type of the map \mu_{(\bar B,\bar f, \bar h^{\beta})} is invariant of the psc-isotopy type of the base metric \bar h^{\beta}, as well as the choice of distribution map \xi\in \mathcal{F}_0(\mathcal{HD}(p_0), \mathcal{HD}_{\mathrm{adm}}(\bar{p})).

Let (X,\beta X, f) be a manifold with fibred singularities, i.e., the boundary \partial X is a total space of an (L,G)-fibration \partial X\to \beta X given by the structure map f\colon \beta X \to BG, where \operatorname{{\text{\rm dim}}} X = n, \operatorname{{\text{\rm dim}}} L= \ell. Furthermore, we assume \big(\bar B,\bar f\big)\colon (B_0,f_0)\rightsquigarrow (B_1,f_1) is an elementary bordism with p,q\geq 2, where B_0=\beta X. Then for any psc-metric h^{\beta}_0 on B_0 there exist psc-metrics h^{\beta}_1 on B_1 and \bar h^{\beta}\in {\mathcal R}^{\mathrm{psc}}\big(\bar B\big)_{h^{\beta}_0,h^{\beta}_1} such that the map

defined as in (?) above, is a weak homotopy equivalence.

Let n\geq3, \delta>0 and \lambda, \lambda_1, \lambda_2\geq 0.

=0pt

1. (i) The metrics g_{\mathrm{torp}}^{n}(\delta)_{\lambda}, g_{\mathrm{torp}+}^{n}(\delta)_{\lambda} and \hat{g}_{\mathrm{torp}}^{n}(\delta)_{\lambda_1, \lambda_2} have positive scalar curvature.

2. (ii) For any constant b\geq 0 and any \lambda, \lambda_1, \lambda_2\geq 0, there exists \delta>0 so that the scalar curvature of the metrics g_{\mathrm{torp}}^{n}(\delta)_{\lambda}, g_{\mathrm{torp}+}^{n}(\delta)_{\lambda} and \hat{g}_{\mathrm{torp}}^{{n}}(\delta)_{\lambda_1, \lambda_2} is bounded below by b.

Assume M is a spin manifold with \operatorname{{\text{\rm dim}}} M \geq 5 and {\mathcal R}^{\mathrm{psc}}(M)\neq \varnothing with a base point g_0\in {\mathcal R}^{\mathrm{psc}}(M). Then the index-diffence map (?) induces a non-trivial homomorphism in the homotopy groups

when the target group KO_{q+n+1} is non-trivial.

Let X_\Sigma be an (L,G)-fibred compact pseudo-manifold with L a simply connected homogeneous space of a compact semisimple Lie group. Assume {\mathcal R}^{\mathrm{psc}}(X_{\Sigma})\neq \varnothing. Then there exists a section s\colon \mathcal{R}^{\mathrm{psc}}(\beta X)\to \mathcal{R}^{\mathrm{psc}} (X_\Sigma) to \mathrm{res}_{\Sigma}. In particular, there is a split short exact sequence:

Let X_\Sigma be an (L,G)-fibred compact pseudo-manifold with L a simply connected homogeneous space of a compact semisimple Lie group, and n-\ell-1\geq 5, where \operatorname{{\text{\rm dim}}} X=n, \operatorname{{\text{\rm dim}}} L =\ell. Let g_0\in {\mathcal R}^{\mathrm{psc}}(X_{\Sigma})\neq \varnothing be a base point giving corresponding base points, the metrics g_{\beta X,0}\in {\mathcal R}^{\mathrm{psc}}(\beta X), g_{\partial X,0}\in {\mathcal R}^{\mathrm{psc}}(\partial X) and g_{X,0}\in {\mathcal R}^{\mathrm{psc}}(X)_{g_{\partial X,0}}.

If M_\Sigma is spin and simply connected, then we have the following commutative diagram:

where the homomorphisms \mathrm{inddiff}_{g_{X,0}} and \mathrm{inddiff}_{g_{\beta X,0}} are both nontrivial whenever the target groups are. In particular, the homomorphism

is surjective rationally and surjective onto the torsion of KO_{q+n+1}\oplus KO_{q+n-\ell}.

Attaching \big(\big[0, \frac{1}{2}\big]\times L, g_{C(L)}\big) to \big([0, 1]\times L, g_{\mathrm{att}(L)}\big) by identifying \big\{\frac{1}{2}\big\}\times L in the former with \{0\}\times L in the latter determines a smooth metric of non-negative scalar curvature g_{\mathrm{att}(L)}\cup g_{C(L)}.