{"title":"Nonnegative scalar curvature on manifolds with at least two ends","authors":"Simone Cecchini, Daniel Räde, Rudolf Zeidler","doi":"10.1112/topo.12303","DOIUrl":null,"url":null,"abstract":"<p>Let <math>\n <semantics>\n <mi>M</mi>\n <annotation>$M$</annotation>\n </semantics></math> be an orientable connected <math>\n <semantics>\n <mi>n</mi>\n <annotation>$n$</annotation>\n </semantics></math>-dimensional manifold with <math>\n <semantics>\n <mrow>\n <mi>n</mi>\n <mo>∈</mo>\n <mo>{</mo>\n <mn>6</mn>\n <mo>,</mo>\n <mn>7</mn>\n <mo>}</mo>\n </mrow>\n <annotation>$n\\in \\lbrace 6,7\\rbrace$</annotation>\n </semantics></math> and let <math>\n <semantics>\n <mrow>\n <mi>Y</mi>\n <mo>⊂</mo>\n <mi>M</mi>\n </mrow>\n <annotation>$Y\\subset M$</annotation>\n </semantics></math> be a two-sided closed connected incompressible hypersurface that does not admit a metric of positive scalar curvature (abbreviated by psc). Moreover, suppose that the universal covers of <math>\n <semantics>\n <mi>M</mi>\n <annotation>$M$</annotation>\n </semantics></math> and <math>\n <semantics>\n <mi>Y</mi>\n <annotation>$Y$</annotation>\n </semantics></math> are either both spin or both nonspin. Using Gromov's <math>\n <semantics>\n <mi>μ</mi>\n <annotation>$\\mu$</annotation>\n </semantics></math>-bubbles, we show that <math>\n <semantics>\n <mi>M</mi>\n <annotation>$M$</annotation>\n </semantics></math> does not admit a complete metric of psc. We provide an example showing that the spin/nonspin hypothesis cannot be dropped from the statement of this result. This answers, up to dimension 7, a question by Gromov for a large class of cases. Furthermore, we prove a related result for submanifolds of codimension 2. We deduce as special cases that, if <math>\n <semantics>\n <mi>Y</mi>\n <annotation>$Y$</annotation>\n </semantics></math> does not admit a metric of psc and <math>\n <semantics>\n <mrow>\n <mo>dim</mo>\n <mo>(</mo>\n <mi>Y</mi>\n <mo>)</mo>\n <mo>≠</mo>\n <mn>4</mn>\n </mrow>\n <annotation>$\\dim (Y) \\ne 4$</annotation>\n </semantics></math>, then <math>\n <semantics>\n <mrow>\n <mi>M</mi>\n <mo>:</mo>\n <mo>=</mo>\n <mi>Y</mi>\n <mo>×</mo>\n <mi>R</mi>\n </mrow>\n <annotation>$M := Y\\times \\mathbb {R}$</annotation>\n </semantics></math> does not carry a complete metric of psc and <math>\n <semantics>\n <mrow>\n <mi>N</mi>\n <mo>:</mo>\n <mo>=</mo>\n <mi>Y</mi>\n <mo>×</mo>\n <msup>\n <mi>R</mi>\n <mn>2</mn>\n </msup>\n </mrow>\n <annotation>$N := Y \\times \\mathbb {R}^2$</annotation>\n </semantics></math> does not carry a complete metric of uniformly psc, provided that <math>\n <semantics>\n <mrow>\n <mo>dim</mo>\n <mo>(</mo>\n <mi>M</mi>\n <mo>)</mo>\n <mo>⩽</mo>\n <mn>7</mn>\n </mrow>\n <annotation>$\\dim (M) \\leqslant 7$</annotation>\n </semantics></math> and <math>\n <semantics>\n <mrow>\n <mo>dim</mo>\n <mo>(</mo>\n <mi>N</mi>\n <mo>)</mo>\n <mo>⩽</mo>\n <mn>7</mn>\n </mrow>\n <annotation>$\\dim (N) \\leqslant 7$</annotation>\n </semantics></math>, respectively. This solves, up to dimension 7, a conjecture due to Rosenberg and Stolz in the case of orientable manifolds.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/topo.12303","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/topo.12303","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4
Abstract
Let be an orientable connected -dimensional manifold with and let be a two-sided closed connected incompressible hypersurface that does not admit a metric of positive scalar curvature (abbreviated by psc). Moreover, suppose that the universal covers of and are either both spin or both nonspin. Using Gromov's -bubbles, we show that does not admit a complete metric of psc. We provide an example showing that the spin/nonspin hypothesis cannot be dropped from the statement of this result. This answers, up to dimension 7, a question by Gromov for a large class of cases. Furthermore, we prove a related result for submanifolds of codimension 2. We deduce as special cases that, if does not admit a metric of psc and , then does not carry a complete metric of psc and does not carry a complete metric of uniformly psc, provided that and , respectively. This solves, up to dimension 7, a conjecture due to Rosenberg and Stolz in the case of orientable manifolds.