AI 中文总结
研究在初始数据曲面上找到与爱因斯坦 Λ - 真空发展中特定单位向量场对应的微分方程组（uKID 方程），通过消除缩放自由度等方法得到相关方程并推广到规范联络形式，还用传播恒等式方法独立推导了 uKID 方程。
AI 中文摘要
我们在初始数据曲面上找到了一个微分方程组，其解与爱因斯坦 Λ - 真空发展中与 Killing 向量成比例的单位向量场一一对应。我们将这些条件称为“单位 Killing 初始数据”（uKID）方程，类似于经典的“Killing 初始数据”（KID）方程。uKID 方程在仅 Killing 向量的单位归一化部分在几何上有区别的情况下可能有用。我们消除了一般 Killing 向量的缩放自由度，得到了表征单位归一化 Killing 向量场的时空方程以及 uKID 方程。这些方程还被推广到规范联络形式，显示出它们的有限型特征。最后，我们通过重新审视传播恒等式方法独立推导了 uKID 方程，该方法此前已用于表征其他几何方程的初始数据。
英文摘要
We find a system of differential equations on an initial data surface whose solutions are in bijection with unit vector fields on the Einstein $Λ$-vacuum development that are proportional to a Killing vector. We refer to these conditions as the \textit{unit Killing initial data} (uKID) equations, analogous to the classical \textit{Killing initial data} (KID) equations. The uKID equations can be useful in a setting where only the unit-normalized part of the Killing vector is geometrically distinguished. We eliminate the scaling degree of freedom of a general Killing vector to obtain the space-time equations characterizing unit normalized Killing vector fields and also the uKID equations. These equations are also prolonged to canonical connection form, showing their finite type character. Finally, we obtain an independent derivation of the uKID equations by revisiting the propagation identity method, which has previously been used to characterize the initial data of other geometric equations.
Comments26 pages, no figures
