检测球面乘积上的爱因斯坦度量
Detecting Einstein metrics on products of spheres
AI总结：
在特定球面乘积上构造无穷多非等距的实解析爱因斯坦度量，通过里奇平坦极限的振荡相位与符号变化匹配，证明闭合条件无穷多次成立。
AI中文摘要：
我们在 \\( S^5\times S^2,\\ S^5\times S^3,\\ S^5\times S^4,\\ S^7\times S^2 \\) 上构造了无穷多对两两非等距的实解析爱因斯坦度量。在舍弃有限多个成员后，没有一个度量与黎曼乘积或经典的双加项玻姆度量等距或位似。这些度量具有形式 \\( dt^2+a(t)^2g_{S^p}+b(t)^2g_{S^p}+c(t)^2g_{S^q} \\)，其中 \\( p,q\ge2,\\ 2p+q\le8 \\)。构造始于在一条奇异轨道上两个非坍缩半径非常小的解。放大该区域后，爱因斯坦方程趋近于一个里奇平坦问题，其解通过衰减振荡趋于锥。关键点在于精确确定该振荡的哪一部分能在流形另一端的闭合条件中被观察到。我们不采用完整的、振荡日益加剧的打靶映射，而是从里奇平坦极限中提取两个响应量。一个决定共同的振荡相位；在移除该相位后，第二个闭合条件简化为标量符号变化。一个一致的内-外匹配论证将该极限符号变化转移到精确的爱因斯坦方程。当初始尺度趋于零时，相位任意多次转动，因此闭合条件被满足无穷多次。
英文摘要：
On \[ S^5\times S^2,\qquad S^5\times S^3,\qquad S^5\times S^4,\qquad S^7\times S^2, \] we construct infinitely many pairwise non-isometric real-analytic Einstein metrics. After discarding finitely many members, none is isometric or homothetic to a Riemannian product or to a classical two-summand Böhm metric. The metrics have the form \[ dt^2+a(t)^2g_{S^p}+b(t)^2g_{S^p}+c(t)^2g_{S^q}, \qquad p,q\ge2,\qquad 2p+q\le8. \] The construction starts with solutions for which the two non-collapsing radii at one singular orbit are very small. After magnifying this region, the Einstein equations approach a Ricci-flat problem whose solutions tend to a cone by a decaying oscillation. The main point is to determine exactly which part of this oscillation can still be seen by the closing conditions at the other end of the manifold. Rather than following the full, increasingly oscillatory shooting map, we extract two response quantities from the Ricci-flat limit. One determines the common oscillatory phase; after that phase has been removed, the second closing condition is reduced to a scalar sign change. A uniform inner--outer matching argument transfers this limiting sign change to the exact Einstein equations. As the initial scale tends to zero, the phase makes arbitrarily many turns, and the closing conditions are therefore met infinitely many times.
