[논문 리뷰] Semigenerated step-3 Carnot algebras and applications to sub-Riemannian perimeter

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

Geometric Analysis and Curvature Flows참고 문헌 7인용 수 4

한 줄 요약

이 논문은 수평 반공간에서 생성된 이遍의 반공간이 수직 반공간이 되는 카르노 대수의 개념인 '반생성 카르노 대수'를 도입하고, 단계 3 군에 대해 완전한 특성화를 제공한다: 그들은 오직 엔젤 유형의 몫을 갖지 않을 때에만 반생성된다. 주요 기여는 이러한 군에서 유한 내재 둘레를 가진 집합에 대한 강력한 직선화 결과이며, 프랑치, 세라피وني, 세라 카사노의 이전 연구를 확장한다.

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 군에서의 반생성을 특성화한다.
• 기존의 M. 마르키의 유형 \/star\/ 군을 일반화한 새로운 카르노 군의 유형 \/Diamond\/을 정의한다.
• 내재 법선의 행동을 통해 내재 둘레를 가진 집합에 대한 직선화 결과를 도출하기 위해 이론을 적용한다.
• 카르노 군의 내재 기하학을 활용하여 군 연산에 따른 법선 벡터의 전파를 분석한다.

실험 결과

연구 질문

• RQ1 어떤 카르노 군에서 내재 법선 벡터장이 일정한 집합은 오직 수직 반공간 뿐인가?
• RQ2 카르노 군의 어떤 대수적 조건이 수평 반공간이 생성하는 이遍의 반공간이 수직 반공간이 되도록 보장하는가?
• RQ3 단계 3 카르노 군에서 엔젤 유형의 몫이 없는 것이 반생성과 동치가 되는가?
• RQ4 유형 \/star\/의 개념을 더 넓은 카르노 군의 범주로 일반화하여 반생성 조건을 보장할 수 있는가?
• RQ5 반생성 카르노 군에서 유한 내재 둘레를 가진 집합에 대해 어떤 직선화 성질이 성립하는가?

주요 결과

• 단계 3 카르노 군은 오직 엔젤 유형의 몫 대수를 갖지 않을 때에만 반생성된다.
• 엔젤 유형의 군을 도입함으로써 반생성에 대한 최소한의 장애물이 제공되며, 이는 가장 작은 반례가 된다.
• 유형 \/Diamond\/의 카르노 군은 유형 \/star\/ 군을 일반화한 것으로, 특정 조건 하에서 반생성을 보장한다.
• 유형 \/Diamond\/ 군과 엔젤 유형의 몰이 없는 단계 3 군에서는, 프랑치, 세라피وني, 세라 카사노의 의미에서 끝내기 유한 내재 둘레를 가진 집합이 직선화 가능하다.
• 이遍의 반공간 생성 성질은 이러한 군에서 내재 법선 필드의 기하학적 강성 조건을 완전히 특성화한다.
• 논문은 기존 결과를 더 넓은 범위의 카르노 군으로 확장하여, 유한 둘레 집합에 대해 강력한 직선화 결과를 확립한다.