{"title":"The Obata–Vétois argument and its applications","authors":"Jeffrey S. Case","doi":"10.1515/crelle-2024-0048","DOIUrl":null,"url":null,"abstract":"\n <jats:p>We extend Vétois’ Obata-type argument and use it to identify a closed interval <jats:inline-formula>\n <jats:alternatives>\n <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\">\n <m:msub>\n <m:mi>I</m:mi>\n <m:mi>n</m:mi>\n </m:msub>\n </m:math>\n <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_crelle-2024-0048_ineq_0001.png\"/>\n <jats:tex-math>I_{n}</jats:tex-math>\n </jats:alternatives>\n </jats:inline-formula>, <jats:inline-formula>\n <jats:alternatives>\n <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\">\n <m:mrow>\n <m:mi>n</m:mi>\n <m:mo>≥</m:mo>\n <m:mn>3</m:mn>\n </m:mrow>\n </m:math>\n <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_crelle-2024-0048_ineq_0002.png\"/>\n <jats:tex-math>n\\geq 3</jats:tex-math>\n </jats:alternatives>\n </jats:inline-formula>, containing zero such that if <jats:inline-formula>\n <jats:alternatives>\n <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\">\n <m:mrow>\n <m:mi>a</m:mi>\n <m:mo>∈</m:mo>\n <m:msub>\n <m:mi>I</m:mi>\n <m:mi>n</m:mi>\n </m:msub>\n </m:mrow>\n </m:math>\n <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_crelle-2024-0048_ineq_0003.png\"/>\n <jats:tex-math>a\\in I_{n}</jats:tex-math>\n </jats:alternatives>\n </jats:inline-formula> and <jats:inline-formula>\n <jats:alternatives>\n <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\">\n <m:mrow>\n <m:mo stretchy=\"false\">(</m:mo>\n <m:msup>\n <m:mi>M</m:mi>\n <m:mi>n</m:mi>\n </m:msup>\n <m:mo>,</m:mo>\n <m:mi>g</m:mi>\n <m:mo stretchy=\"false\">)</m:mo>\n </m:mrow>\n </m:math>\n <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_crelle-2024-0048_ineq_0004.png\"/>\n <jats:tex-math>(M^{n},g)</jats:tex-math>\n </jats:alternatives>\n </jats:inline-formula> is a compact conformally Einstein manifold with nonnegative scalar curvature and <jats:inline-formula>\n <jats:alternatives>\n <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\">\n <m:mrow>\n <m:msub>\n <m:mi>Q</m:mi>\n <m:mn>4</m:mn>\n </m:msub>\n <m:mo>+</m:mo>\n <m:mrow>\n <m:mi>a</m:mi>\n <m:mo></m:mo>\n <m:msub>\n <m:mi>σ</m:mi>\n <m:mn>2</m:mn>\n </m:msub>\n </m:mrow>\n </m:mrow>\n </m:math>\n <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_crelle-2024-0048_ineq_0005.png\"/>\n <jats:tex-math>Q_{4}+a\\sigma_{2}</jats:tex-math>\n </jats:alternatives>\n </jats:inline-formula> constant, then it is Einstein.\nWe also relax the scalar curvature assumption to the nonnegativity of the Yamabe constant under a more restrictive assumption on 𝑎.\nOur results allow us to compute many Yamabe-type constants and prove sharp Sobolev inequalities on compact Einstein manifolds with nonnegative scalar curvature.\nIn particular, we show that compact locally symmetric Einstein four-manifolds with nonnegative scalar curvature extremize the functional determinant of the conformal Laplacian, partially answering a question of Branson and Ørsted.</jats:p>","PeriodicalId":508691,"journal":{"name":"Journal für die reine und angewandte Mathematik (Crelles Journal)","volume":"29 5","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal für die reine und angewandte Mathematik (Crelles Journal)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1515/crelle-2024-0048","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
We extend Vétois’ Obata-type argument and use it to identify a closed interval InI_{n}, n≥3n\geq 3, containing zero such that if a∈Ina\in I_{n} and (Mn,g)(M^{n},g) is a compact conformally Einstein manifold with nonnegative scalar curvature and Q4+aσ2Q_{4}+a\sigma_{2} constant, then it is Einstein.
We also relax the scalar curvature assumption to the nonnegativity of the Yamabe constant under a more restrictive assumption on 𝑎.
Our results allow us to compute many Yamabe-type constants and prove sharp Sobolev inequalities on compact Einstein manifolds with nonnegative scalar curvature.
In particular, we show that compact locally symmetric Einstein four-manifolds with nonnegative scalar curvature extremize the functional determinant of the conformal Laplacian, partially answering a question of Branson and Ørsted.
我们扩展韦托伊斯的 Obata 型论证,用它来确定一个封闭区间 I n I_{n} , n≥ 3 n\geq 3 , 其中包含零。 , n ≥ 3 n\geq 3 , containing zero such that if a ∈ I n a\in I_{n} and ( M n , g ) (M^{n},g) is a compact conformally Einstein manifold with nonnegative scalar curvature and Q 4 + a σ 2 Q_{4}+a\sigma_{2} constant, then it is Einstein.We also relax the scalar curvature assumption to the nonnegativity of the Yamabe constant under a more restrictive assumption on 𝑎.Our results allow us to compute many Yamabe-type constants and prove sharp Sobolev inequalities on compact Einstein manifolds with nonnegative scalar curvature.In particular, we show that compact locally symmetric Einstein four-manifolds with nonnegative scalar curvature extremize the functional determinant of the conformal Laplacian, partially answering a question of Branson and Ørsted.