[论文解读] Semigenerated step-3 Carnot algebras and applications to sub-Riemannian perimeter

Enrico Le Donne, Terhi Moisala|arXiv (Cornell University)|Apr 18, 2020

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

一句话总结

本文引入了半生成卡诺代数的概念——即卡诺群中，每个水平半空间生成的半群为垂直半空间的群——并为3步群提供了完整刻画：当且仅当其无恩格尔型商代数时，该群为半生成。主要贡献是此类群中有限内在周长集的强可矩形化结果，扩展了Franchi、Serapioni与Serra-Cassano的先前工作。

ABSTRACT

This paper contributes to the study of sets of finite intrinsic perimeter in Carnot groups. Our intent is to characterize in which groups the only sets with constant intrinsic normal are the vertical half-spaces. Our viewpoint is algebraic: such a phenomenon happens if and only if the semigroup generated by each horizontal half-space is a vertical half-space. We call \emph{semigenerated} those Carnot groups with this property. For Carnot groups of nilpotency step 3 we provide a complete characterization of semigeneration in terms of whether such groups do not have any Engel-type quotients. Engel-type groups, which are introduced here, are the minimal (in terms of quotients) counterexamples. In addition, we give some sufficient criteria for semigeneration of Carnot groups of arbitrary step. For doing this, we define a new class of Carnot groups, which we call type $(\Diamond)$ and which generalizes the previous notion of type $(\star)$ defined by M. Marchi. As an application, we get that in type $ (\Diamond) $ groups and in step 3 groups that do not have any Engel-type algebra as a quotient, one achieves a strong rectifiability result for sets of finite perimeter in the sense of Franchi, Serapioni, and Serra-Cassano.

研究动机与目标

• 确定卡诺群的类别，使得其唯一具有常数内在法向量场的集合为垂直半空间。
• 理解水平半空间在半群运算下生成垂直半空间的代数条件。
• 通过商群分析，对3步卡诺群的半生成性提供完整刻画。
• 将类型$(\star)$群的概念推广至类型$(\Diamond)$群，以扩大其在半生成性判别中的适用范围。
• 在半生成卡诺群中，建立有限内在周长集的强可矩形化结果。

提出的方法

• 通过水平半空间在半群下生成垂直半空间的方式，定义半生成卡诺代数。
• 引入恩格尔型商代数作为半生成性失效的最小反例，尤其在3步群中。
• 利用代数结构理论，通过排除恩格尔型商代数，刻画3步群中的半生成性。
• 定义一类新的卡诺群类型$(\Diamond)$，推广M. Marchi的类型$(\star)$群。
• 应用该理论，通过内在法向量行为推导有限周长集的可矩形化结果。
• 利用卡诺群的内在几何性质，分析法向量在群运算下的传播特性。

实验结果

研究问题

• RQ1 哪些卡诺群中，唯一具有常数内在法向量场的集合是垂直半空间？
• RQ2 卡诺群的何种代数条件可确保水平半空间生成的半群为垂直半空间？
• RQ3 对于3步卡诺群，何时无恩格尔型商代数等价于半生成性？
• RQ4 如何将类型$(\star)$的概念推广至更广泛的卡诺群类，以保证半生成性？
• RQ5 在半生成卡诺群中，有限内在周长集具有何种可矩形化性质？

主要发现

• 3步卡诺群为半生成当且仅当其无恩格尔型商代数。
• 引入恩格尔型群作为半生成性的最小障碍，构成最小反例。
• 类型$(\Diamond)$卡诺群类推广了类型$(\star)$群，并在特定条件下确保半生成性。
• 在类型$(\Diamond)$群及无恩格尔型商代数的3步群中，有限内在周长集在Franchi、Serapioni与Serra-Cassano的意义下是可矩形化的。
• 半群生成性质完全刻画了这些群中内在法向量场的几何刚性。
• 本文建立了有限周长集的强可矩形化结果，将已知结果推广至更广泛的卡诺群类。