聆听 $\mathbb{R}^{4}$ 中古老非坍缩流的形状

我们考虑 $\mathbb{R}^4$ 中古老非坍缩平均曲率流，其在 $-\infty$ 处的切流为泡片（bubble-sheet）。我们对泡片函数 $u$ 进行精细谱分析，该函数度量重整化流偏离圆柱 $\mathbb{R}^2 \times S^1(\sqrt{2})$ 的程度，并证明当 $\tau\to -\infty$ 时我们有精细渐近式 $u(y,\theta,\tau)= (y^\top Qy -2\textrm{tr}(Q))/|\tau| + o(|\tau|^{-1})$，其中 $Q=Q(\tau)$ 是一个对称 $2\times 2$ 矩阵，其特征值被量子化为 0 或 $-1/\sqrt{8}$。这自然地将 $\mathbb{R}^4$ 中一般古老非坍缩流的分类问题按 $Q$ 的秩分为三种情形。在 $\mathrm{rk}(Q)=0$ 的情形下，推广 Choi、Hershkovits 与第二作者先前的结果，我们证明该流要么是圆缩圆柱，要么是 $\mathbb{R}\times$2维碗（2d-bowl）。在 $\mathrm{rk}(Q)=1$ 的情形下，在流要么分裂出一条直线、要么是自相似平移的附加假设下，作为 Angenent、Brendle、Choi、Daskalopoulos、Hershkovits、Sesum 与第二作者近期工作的推论，我们证明该流必为 $\mathbb{R}\times$2维椭圆（2d-oval）或分别属于 Hoffman-Ilmanen-Martin-White 构造的单参数族 3维椭圆碗（3d oval-bowls）。最后，在 $\mathrm{rk}(Q)=2$ 的情形下，我们证明该流是紧的且 $\mathrm{SO}(2)$-对称的，并且当 $\tau\to-\infty$ 时具有与 Hershkovits 与第二作者构造的 $\mathrm{O}(2)\times\mathrm{O}(2)$-对称古老椭圆（ancient ovals）相同的尖锐渐近式。完整的分类问题将在基于本文结果的后继论文中予以解决。