[논문 리뷰] Characterizations of uniformly differentiable co-horizontal intrinsic graphs in Carnot groups

Gioacchino Antonelli, Daniela Di Donato외 2명|arXiv (Cornell University)|2020. 05. 22.

Geometric Analysis and Curvature Flows참고 문헌 33인용 수 6

한 줄 요약

이 논문은 카르노 군 내에서 균일하게 내재적으로 미분 가능한(UID) 공수평 내재적 그래프의 특성화를 제시하며, 내재적 미분 가능성과 왼쪽으로 불변하는 벡터장의 투영을 沿한 그래프의 헬더 연속성 간의 연결을 통해 수행한다. 주요 기여는 단계 2 카르노 군에서 UID 정규성과 광범위한* 헬더 정규성 간의 완전한 동치성을 확립하는 것으로, 실수 값을 갖는 UID 사상에 대해 명시적인 면적 공식을 제공한다.

ABSTRACT

In arbitrary Carnot groups we study intrinsic graphs of maps with horizontal target. These graphs are $C^1_H$ regular exactly when the map is uniformly intrinsically differentiable. Our first main result characterizes the uniformly intrinsic differentiability by means of Hölder properties along the projections of left-invariant vector fields on the graph. We strengthen the result in step-2 Carnot groups for intrinsic real-valued maps by only requiring horizontal regularity. We remark that such a refinement is not possible already in the easiest step-3 group. As a by-product of independent interest, in every Carnot group we prove an area-formula for uniformly intrinsically differentiable real-valued maps. We also explicitly write the area element in terms of the intrinsic derivatives of the map.

연구 동기 및 목표

• 임의의 카르노 군 내에서 내재적 벡터장에 沿한 헬더 유형 정규성에 의해 균일하게 내재적으로 미분 가능한(UID) 내재적 그래프를 특성화하는 것.
• 단계 2 카르노 군에서, 내재적 $ C^1_{\rm H} $ 표면의 정규성 이론을 개선하여, 내재적 도함수의 수평 정규성이 UID 정규성으로 이어진다는 것을 보여주는 것.
• 임의의 카르노 군 내에서 균일하게 내재적으로 미분 가능한 실수 값을 갖는 사상에 대해 일반적인 면적 공식을 수립하여, 면적 요소가 내재적 도함수로 명시적으로 표현되도록 하는 것.
• 높은 단계의 군에서는 단계 2 군에서 광범위한* 정규성에서 작은 헬더 정규성으로의 개선이 불가능하다는 것을 보여주며, 이는 구조적 제약을 드러내는 것.

제안 방법

• 좌측 불변 벡터장의 수평 부분군에서 유도된 내재적 투영된 벡터장 $ D^\varphi $ 를 도입하여 내재적 그래프의 정규성을 분석한다.
• 분포의 의미에서 내재적 도함수의 행동을 캡처하는 일반화된 정규성 개념인 광범위한* 해를 정의한다.
• 작은 헬더 연속성($ h^\alpha $)의 개념을 사용하여 $ D^\varphi $ 의 적분 곡선을 따라 맵 $ \varphi $ 의 정규성을 특성화하고, 이를 UID 정규성과 연결한다.
• 내재적 도함수 $ \mathrm{d}^\varphi\varphi $ 를 이용해 codimension-one 내재적 그래프의 면적 공식을 적용하여 하우스도르프 측도를 표현함으로써 명시적인 면적 요소를 도출한다.
• 주요 동치성을 단계 2 자유 카르노 군으로의 좌표 식별을 통한 축소를 통해 단계 2 경우에 증명한다.
• UID 정규성과 연속 함수 $ \omega \in C(U;\mathbb{R}^{m-1}) $ 의 존재성 간의 동치성을 증명하며, 이때 $ D^\varphi\varphi = \omega $ 는 광범위한* 의미에서 성립한다.

실험 결과

연구 질문

• RQ1 임의의 카르노 군 내에서 균일하게 내재적으로 미분 가능한 내재적 그래프는 무엇으로 특성화되는가?
• RQ2 내재적 그래프의 정규성은 왼쪽으로 불변하는 벡터장의 투영을 따라 맵의 헬더 정규성으로만 특성화될 수 있는가?
• RQ3 단계 2 카르노 군에서, 내재적 도함수의 수평 정규성이 균일하게 내재적으로 미분 가능한 성질로 이어지는가?
• RQ4 높은 단계의 카르노 군에서 UID 사상의 특성화에 있어 광범위한* 정규성을 작은 헬더 정규성으로 대체할 수 있는가?
• RQ5 일반적인 카르노 군 내에서 균일하게 내재적으로 미분 가능한 실수 값을 갖는 사상에 대해 면적 공식의 명시적 형태는 무엇인가?

주요 결과

• 임의의 카르노 군에서 맵 $ \varphi $ 는 $ D^\varphi $ 의 적분 곡선을 따라 제한된 경우에만 작은 헬더 연속성이면 균일하게 내재적으로 미분 가능하다.
• 단일 차원 수평 타겟을 갖는 단계 2 카르노 군에서 UID 정규성은 연속 함수 $ \omega \in C(U;\mathbb{R}^{m-1}) $ 가 존재하여 $ D^\varphi\varphi = \omega $ 가 광범위한* 의미에서 성립하는 것과 동치이다.
• codimension-one UID 내재적 그래프의 면적 공식은 그래프의 $ \mathscr{S}^n $-측도를 내재적 도함수 $ \mathrm{d}^\varphi\varphi $ 로 표현하며, 내재적 도함수의 자코비안을 포함하는 명시적인 면적 요소를 포함한다.
• 단계 2 군에서 광범위한* 정규성에서 작은 헬더 정규성으로의 개선은 최적이다: 가장 단순한 단계 3 카르노 군에서는 이러한 개선이 실패함으로써 결과가 날카롭다는 것을 보여준다.
• 임의의 카르노 군 내 실수 값을 갖는 맵에 대해 면적 공식은 면적 요소가 $ \sqrt{1 + \sum_{j=1}^{m-k} |\nabla^\varphi_j \varphi|^2} $ 로 주어짐으로써 성립한다. 여기서 $ \nabla^\varphi_j \varphi $ 는 내재적 편미분이다.
• 단계 2 군에서 UID와 광범위한* 해 사이의 동치성은 리 대수의 구조와 지수 좌표를 활용한 자유 카르노 군으로의 축소를 통해 확립된다.