{"title":"具有至少两个端点的流形上的非负标量曲率","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":"{\"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}","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}
Nonnegative scalar curvature on manifolds with at least two ends
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.