[论文解读] Pseudo-Riemannian metrics with prescribed scalar curvature

Marc Nardmann|ArXiv.org|Sep 22, 2004

Geometric Analysis and Curvature Flows参考文献 81被引用 9

一句话总结

该论文通过构建一个新颖的椭圆型偏微分方程，将黎曼几何中的Yamabe型方程推广至伪黎曼几何，从而解决了伪黎曼度量下的预定标量曲率问题。证明了在维度 $ n \geq 5 $ 的紧致流形上，任意光滑函数 $ s $ 均可作为指标 $ q \in \{3, \dots, n-3\} $ 的度量的标量曲率；对于指标 1 或 2 的情形，若 $ s $ 在某处为正，且满足适当的拓扑条件，则结论依然成立。关键创新在于提出了一套新的椭圆型PDE框架，避免了朴素推广带来的非椭圆性，使得通过子解与超解方法以及巴拿赫空间中的隐函数定理实现解的存在性成为可能。

ABSTRACT

We consider the following generalisation of a well-known problem in Riemannian geometry: When is a smooth real-valued function s on a given compact n-dimensional manifold M (with or without boundary) the scalar curvature of some smooth pseudo-Riemannian metric of index q on M? We prove that this is the case for every s if 2

研究动机与目标

• 将经典的预定标量曲率问题从黎曼几何推广至伪黎曼几何，特别是针对指标 $ q \in \{1, \dots, n-1\} $ 的度量。
• 克服在伪黎曼设定下标准椭圆型PDE方法失效的问题，原因在于朴素推广导致椭圆性丧失。
• 构造一个真正椭圆的新型PDE，其在黎曼情形退化为原方程，并在伪黎曼背景下产生预定标量曲率问题的解。
• 利用子解与超解方法以及隐函数定理等分析工具，建立在紧致流形（带或不带边界）上实现标量曲率的存在性定理。
• 通过精心构造背景黎曼度量与非可积分布，解决低指标情形（特别是 $ q = 1, 2 $）下的拓扑与几何障碍。

提出的方法

• 构造一个新型椭圆型偏微分方程，其推广了黎曼情形下的标量曲率方程，并在伪黎曼设定下保持良好性质。
• 利用背景黎曼度量与微分拓扑中的分布（切丛的子丛）来定义PDE中的系数函数。
• 采用子解与超解方法，在背景数据满足适当条件时证明PDE解的存在性。
• 在巴拿赫空间中应用隐函数定理，并借鉴Kazdan与Warner在黎曼情形下的方法，使用微分同胚轨道在 $ L^p $ 拓扑下的闭包定理。
• 利用Gromov的h-原理与凸积分技巧，构造PDE中所需的非可积分布，尤其在维度 $ \geq 4 $ 时。
• 对于带边界的二维洛伦兹度量，直接应用变分法中的经典方法求解PDE。

实验结果

研究问题

• RQ1 在任意紧致流形上，每个光滑实值函数是否都能实现为给定指标 $ q $ 的伪黎曼度量的标量曲率？
• RQ2 如何在伪黎曼设定下构造一个保持椭圆性且可解的PDE，以避免黎曼方程朴素推广所导致的非椭圆性？
• RQ3 流形与背景数据需满足何种拓扑与几何条件，才能保证新PDE解的存在性？
• RQ4 为何指标为1或2的情形相较于更高指标情形显著更困难？
• RQ5 在何种程度上可以保证合适背景黎曼度量的存在性，特别是在洛伦兹情形下？

主要发现

• 对于任意紧致 $ n $-维流形 $ M $，其中 $ n \geq 5 $，且对任意 $ q \in \{3, \dots, n-3\} $，指标为 $ q $ 的伪黎曼度量空间的每个连通分支均包含一个具有预定标量曲率 $ s \in C^\infty(M, \mathbb{R}) $ 的度量。
• 当 $ q = 1 $ 或 $ 2 $ 时，若 $ M $ 为紧致、连通，且 $ s $ 在至少一点为正，则指标为 $ q $ 的度量空间的每个连通分支均包含一个具有标量曲率 $ s $ 的度量。
• 在紧致、可定向的4维流形上，若其边界非空且 $ q = 1 $，则时间定向的洛伦兹度量空间的每个连通分支均包含一个具有标量曲率 $ s $ 的度量，前提是 $ s $ 在某处为正。
• 新PDE的构造依赖于背景黎曼度量与非可积分布；在维度 $ \geq 4 $ 时，此类分布的存在性由Gromov的h-原理保证，而在三维情形则通过经典接触结构理论保证。
• PDE中的系数函数由背景数据控制；当这些数据被适当地选择时，PDE变为椭圆型，并可通过子解与超解方法获得解。
• 本文提出一个一般性猜想：在维度 $ \geq 4 $ 时，合适的背景黎曼度量在一般情形下存在，若该猜想成立，将在温和的拓扑假设下完全解决洛伦兹情形。