{"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":56114,"journal":{"name":"Journal of Topology","volume":"16 3","pages":"855-876"},"PeriodicalIF":0.8000,"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\":56114,\"journal\":{\"name\":\"Journal of Topology\",\"volume\":\"16 3\",\"pages\":\"855-876\"},\"PeriodicalIF\":0.8000,\"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\":\"Journal of Topology\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1112/topo.12303\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Topology","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/topo.12303","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","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.
期刊介绍:
The Journal of Topology publishes papers of high quality and significance in topology, geometry and adjacent areas of mathematics. Interesting, important and often unexpected links connect topology and geometry with many other parts of mathematics, and the editors welcome submissions on exciting new advances concerning such links, as well as those in the core subject areas of the journal.
The Journal of Topology was founded in 2008. It is published quarterly with articles published individually online prior to appearing in a printed issue.