[论文解读] The atomic structure of ancient grain boundaries

Theodora Bourni, Mat Langford+1 more|arXiv (Cornell University)|Jun 29, 2020

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

一句话总结

该论文通过格里姆超平面的配置，在所有维度 $ n \geq 2 $ 下构造了大量新的凸古代解与永恒解。它通过证明非平移型永恒解的存在，解决了怀特的猜想，并建立了向后渐近分解为标准格里姆平面配置的结果，从而在平 slab 区域内得出关于凸古代解的刚性与对称性结果。

ABSTRACT

Democritus and the early atomists held that "the material cause of all things that exist is the coming together of atoms and void. Atoms are eternal and have many different shapes, and they can cluster together to create things that are perceivable. Differences in shape, arrangement, and position of atoms produce different phenomena". Like the atoms of Democritus, the Grim Reaper solution to curve shortening flow is eternal and indivisible -- it does not split off a line, and is itself its only "asymptotic translator". Confirming the heuristic described by Huisken and Sinestrari [J. Differential Geom. 101, 2 (2015), 267-287], we show that it gives rise to a great diversity of convex ancient and translating solutions to mean curvature flow, through the evolution of families of Grim hyperplanes in suitable configurations. We construct, in all dimensions $n\ge 2$, a large family of new examples, including both symmetric and asymmetric examples, as well as many eternal examples that do not evolve by translation. The latter resolve a conjecture of White [J. Amer. Math. Soc. 16, 1 (2003), 123-138]. We also provide a detailed asymptotic analysis of convex ancient solutions in slab regions in general. Roughly speaking, we show that they decompose "backwards in time" into a canonical configuration of Grim hyperplanes which satisfies certain necessary conditions. An analogous decomposition holds "forwards in time" for eternal solutions. One consequence is a new rigidity result for translators. Another is that, in dimension two, solutions are necessarily reflection symmetric across the mid-plane of their slab.

研究动机与目标

• 在所有维度 $ n \geq 2 $ 下构造凸古代解与永恒解的新例子，包括非平移型解。
• 通过构造非平移型例子，解决怀特猜想，即所有凸永恒解必为平移子。
• 对局限于平 slab 区域内的凸古代解进行详细的渐近分析，表明其在时间反向趋于分解为格里姆超平面的标准配置。
• 建立局限于 slab 区域内的古代解的刚性与反射对称性结果，特别是在二维情形下。
• 通过将其与格里姆杀手解及其高维类比联系起来，拓展对古代解渐近行为的理解。

提出的方法

• 以格里姆杀手解作为平移孤立子的模型，并通过‘格里姆超平面’的概念将其推广至高维。
• 应用‘下压’（squash-downs）的概念，分析局限于 slab 区域的古代解的渐近行为，将其与格里姆平面的极限行为关联。
• 采用紧致性论证与缩放流的子列收敛性，推导出极限平移子，通过 Huisken–Sinestrari 的启发式方法证明其为格里姆平面。
• 结合最大值原理与倾斜超平面 $ \pi^{i}_{\varepsilon} $，控制角度函数 $ \alpha(p,t) $，并将边界处的估计扩展至凸区域内部。
• 应用命题 6.5，即在适当的几何条件下，流收敛于平移子，从而排除无穷远处非退化的角度行为。
• 结合极限格里姆平面的凸性与反射对称性，对违反所需角度估计的序列导出矛盾。

实验结果

研究问题

• RQ1 能否在维度 $ n \geq 2 $ 下构造出非平移型永恒凸解，从而解决怀特猜想？
• RQ2 局限于 slab 区域的凸古代解在 $ t \to -\infty $ 时的行为如何？能否在时间反向渐近分解为格里姆超平面的标准配置？
• RQ3 古代解在 slab 区域内的向后渐近结构会产生何种几何约束？这些约束如何导致刚性或对称性结果？
• RQ4 古代解的渐近行为在多大程度上约束其整体几何结构，特别是在二维情形下？
• RQ5 能否利用缩放流收敛于平移子的性质，排除非紧致古代解在无穷远处的病态角度行为？

主要发现

• 作者在所有维度 $ n \geq 2 $ 下构造了一个庞大的新凸古代解与永恒解家族，包括对称与非对称的例子，以及众多非平移演化解。
• 非平移型永恒解的存在性解决了怀特猜想，即所有凸永恒解必为平移子。
• 每个局限于 slab 区域的凸古代解在时间反向均分解为满足特定几何条件的标准格里姆超平面配置。
• 对于永恒解，类似分解在时间正向也成立，将整体结构与格里姆平面的渐近行为相联系。
• 在二维情形下，局限于 slab 区域的凸古代解必然关于 slab 的中平面具有反射对称性。
• 提出了一项新的刚性结果：在某些几何有界条件下，古代解由其格里姆超平面的渐近配置唯一确定。