[论文解读] Smoothness Conditions in Cohomogeneity manifolds

Luigi Verdiani, Wolfgang Ziller|arXiv (Cornell University)|Apr 12, 2018

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

一句话总结

本文提出了一种系统方法，用于确定具有奇异轨道的流形上共余维一度量的光滑性条件，将问题简化为在截面中分析有限个二维平面。关键结果是通过度量分量的多项式条件表征光滑延拓：$Σ_{i,j}a_{ij}^{k}g_{ij}(t) = t^{d_k}φ_k(t^2)$，其中$φ_k$是$t=0$处的光滑函数，整数$a_{ij}^k$和$d_k$由李代数数据导出。

ABSTRACT

In this paper we discuss the smoothness conditions for metrics on a cohomogeneity one manifold, i.e. metrics invariant under a Lie group whose generic orbits are hypersurfaces. Along these hypersurfaces one describes the metrics in terms of a collection of functions defined along a geodesic normal to the hypersurfaces. In a neighborhood of a lower dimensional orbit the functions must satisfy certain smoothness conditions for the metric to extend smoothly. In general these can be quite complicated. We present a method that makes it straightforward to compute them, and illustrate it in several examples. This second version contains some improvements in exposition and a reformulation of Theorem B, with a proof added.

研究动机与目标

• 推导出共余维一度量在流形正则部分定义时，其在奇异轨道上光滑延拓的显式、可计算条件。
• 通过利用各向同性表示的不可约分量，将光滑性问题简化为在截面中有限个二维平面条件。
• 为涉及爱因斯坦度量、孤立子度量或曲率约束度量的几何构造中验证光滑性，提供一种实用且可算法化的框架。
• 用更易处理的度量分量多项式方程组，替代早期工作中复杂的泰勒多项式条件。

提出的方法

• 该方法将光滑性条件简化为检查有限个二维平面$P_i = \{\dot{c}(0), v_i\}$上的不变性，每个不可约分量对应一个。
• 对每个此类二维平面，相应一参数子群$L_i = \exp(\theta v_i)$将法空间分解为$\mathbb{C}$-不变子空间，其权值为$n_i$，从而确定光滑性条件中的整数$d_k$。
• 要求度量分量$g_{ij}(t)$满足$\sum_{i,j}a_{ij}^k g_{ij}(t) = t^{d_k} \phi_k(t^2)$，其中$\phi_k$是$t=0$处定义的光滑函数，系数$a_{ij}^k$由李括号$[X_i, X_j]$导出。
• 该方法适用于紧致与非紧致共余维一流形，非紧致情况下方程在$[0,\infty)$上成立，紧致情况下在第二奇异轨道的补集上成立。
• 通过具体示例说明该方法，包括$G_2/S_2$、$F_4/Spin(8)$和$Spin(9)/Spin(7)$，其中整数$a_{ij}^k$和$d_k$由李代数结构显式计算得出。
• 该框架用[EW]中抽象的泰勒多项式条件替代为具体且代数化的系统，便于在曲率与存在性问题中分析。

实验结果

研究问题

• RQ1 共余维一度量的分量必须满足何种显式条件，才能在奇异轨道上光滑延拓？
• RQ2 如何将光滑性条件从无限维要求简化为截面中有限个二维平面条件？
• RQ3 光滑性条件在度量分量$g_{ij}(t)$和李代数数据下的精确代数形式是什么？
• RQ4 光滑性条件中的整数$a_{ij}^k$和$d_k$如何与李括号结构及各向同性表示权值相关联？
• RQ5 该方法能否用于分类曲率齐次度量，或求解爱因斯坦/孤立子度量的初值问题？

主要发现

• 共余维一度量在奇异轨道处的光滑性，等价于：对各向同性表示的每个不可约分量，度量分量满足形如$\sum_{i,j}a_{ij}^k g_{ij}(t) = t^{d_k}\phi_k(t^2)$的多项式方程，其中$\phi_k$在$t=0$处光滑。
• 所需二维平面条件的数量最多为四个，对应于$K/H$各向同性表示中不可约分量的数量。
• 整数$a_{ij}^k$由法空间$\mathfrak{n}$中基向量的李括号$[X_i, X_j]$确定，而指数$d_k$则源于$L_i$-作用在法空间上的权值$n_i$。
• 在$G_2/S_2$示例中，方法得出二维平面$\{\dot{c}(0), F\}$的$a=1$，$L$-不变子空间$\ell_1'$的$d_1' = 1$，而$d_7' = -1$需通过基底反转以确保$d_k \geq 0$。
• 在$Spin(9)/Spin(7)$情形中，需两个一参数子群：$L_1 = \exp(\theta Z_2)$给出$a=2$，$d_k'=1$（$k=1,3,5$），而$d_7'=-1$（通过基底重排更正为$+1$）；$L_2 = \exp(\theta S_{19})$给出$a=1$，$d_k'=1$（$k=2,\dots,8$）。
• 该框架使求解爱因斯坦与孤立子度量初值问题的方法系统化，如作者后续工作[VZ4]所示，通过这些代数约束确保在奇异轨道处的光滑性。