Nonnegative scalar curvature and area decreasing maps on complete foliated manifolds
Let be a noncompact complete Riemannian manifold of dimension , and let be an integrable subbundle of . Let be the restricted metric on and let be the associated leafwise scalar curvature. Let be a smooth area decreasing map along , which is locally constant near infinity and of non-zero degree. We show that if on the support of , and either or is spin, then . As a consequence, we prove Gromov's sharp foliated -twisting conjecture. Using the same method, we also extend two famous non-existence results due to Gromov and Lawson about -enlargeable metrics (and/or manifolds) to the foliated case.