[논문 리뷰] Semmes surfaces and intrinsic Lipschitz graphs in the Heisenberg group

Katrin Fässler, Tuomas Orponen외 1명|arXiv (Cornell University)|2018. 03. 13.

Mathematical Dynamics and Fractals참고 문헌 33인용 수 19

한 줄 요약

이 논문은 히젠베르크 군 H^k 내의 Semmes 표면이 하향 아호르스-정규성과 내재된 리프시츠 그래프의 큰 조각들(BPiLG)을 갖는다는 것을 증명하며, 클래식한 유클리드 결과인 데이비드의 결과를 일반화한다. 증명은 양의 비단조화성과 부분리만노이드 설정에 적응된 이중측 약한 기하학 레미마를 사용하며, 유클리드 Semmes 표면에 대한 BPiLG 성질에 대한 새로운 증명도 이끌어낸다.

ABSTRACT

A Semmes surface in the Heisenberg group is a closed set $S$ that is upper Ahlfors-regular with codimension one and satisfies the following condition, referred to as Condition B. Every ball $B(x,r)$ with $x \in S$ and $0 < r < \operatorname{diam} S$ contains two balls with radii comparable to $r$ which are contained in different connected components of the complement of $S$. Analogous sets in Euclidean spaces were introduced by Semmes in the late $80$'s. We prove that Semmes surfaces in the Heisenberg group are lower Ahlfors-regular with codimension one and have big pieces of intrinsic Lipschitz graphs. In particular, our result applies to the boundary of chord-arc domains and of reduced isoperimetric sets.

연구 동기 및 목표

• 히젠베르크 군 H^k 내 Semmes 표면에 대한 하향 아호르스-정규성과 BPiLG 성질을 확립하기.
• 내재된 리프시츠 그래프를 기본 요소로 사용하여, 부분리만노이드 설정으로의 정량적 직선성 이론을 확장하기.
• 동일한 기하학적 및 분석적 도구를 사용하여 유클리드 공간 내 Semmes 표면에 대한 BPiLG 성질에 대한 새로운 증명을 제공하기.
• H^k 내 현저한 곡률 도메인의 경계와 축소된 등적도형 집합이 BPiLG 조건을 만족함을 보여주기.

제안 방법

• 체거, 클리너, 나오르, 영의 정량적 비단조화성 개념을 히젠베르크 군 설정으로 적응하기.
• H^k 내 수평 폭과 평면에 대한 비단조화성의 개념을 도입하며, 직선들의 공간에 자연스러운 측도를 사용하기.
• H^k 내 수직 평면에 대해 이중측 약한 기하학 레미마(BWGL)를 증명하며, 집합이 모든 척도에서 평탄함에서 얼마나 떨어져 있는지를 제어하기.
• BWGL과 하향 아호르스-정규성을 사용하여, 내재된 리프시츠 그래프 기반의 커버링 추론을 통해 BPiLG 성질을 유도하기.
• BPiLG 및 하향 정규성 조건의 상수들이 오직 차원 k와 상향 아호르스-정규성 및 조건 B 상수에만 의존한다는 것을 증명하기.
• 해당 방법을 유클리드 설정으로 이식하여, R^n 내 Semmes 표면에 대한 BWGL 및 BPiLG의 새로운 증명을 얻기.

실험 결과

연구 질문

• RQ1 히젠베르크 군 H^k 내 Semmes 표면은 유클리드 경우와 유사하게 BPiLG 성질을 만족하는가?
• RQ2 정량적 비단조화성의 개념이 H^k의 부분리만노이드 기하학에 효과적으로 적응되어 직선성 결과를 증명할 수 있는가?
• RQ3 H^k 내 Semmes 표면의 하향 아호르스-정규성은 환경 기하학과 독립적으로 조건 B만으로 유도되는가?
• RQ4 H^k 내 내재된 리프시츠 그래프에 대해 이중측 약한 기하학 레미마가 성립하는가, 그리고 이를 통해 BPiLG를 유도할 수 있는가?
• RQ5 H^k에서 사용된 동일한 기하학적 및 분석적 프레임워크를 유클리드 공간으로 적용하여 기존 결과, 예를 들어 Semmes 표면에 대한 BWGL 및 BPiLG를 복원할 수 있는가?

주요 결과

• H^k 내 Semmes 표면은 차원 2k+1을 가지며 하향 아호르스-정규성이며, 하향 정규성 상수는 오직 k와 조건 B 상수에만 의존한다.
• H^k 내 Semmes 표면은 BPiLG 성질을 만족하며, 상수 L과 c는 오직 k와 상향 아호르스-정규성 및 조건 B 상수에만 의존한다.
• 증명은 H^k 내 수직 평면에 대해 이중측 약한 기하학 레미마(BWGL)를 확립하며, 이는 표면이 모든 척도에서 평탄함에서 얼마나 떨어져 있는지를 제어한다.
• 이 방법은 유클리드 공간 내 Semmes 표면에 대한 BWGL 및 BPiLG 성질에 대한 새로운 증명을 제공하며, 원래의 局소 대칭을 사용한 추론과 독립적이다.
• BPiGL 성질은 H^k 내 (2k+1)-차원 H-직선성을 함의하며, 이는 집합이 가측도가 0인 가산 수의 내재된 리프시츠 그래프로 커버링될 수 있음을 의미한다.
• 결과는 H^k 내 현저한 곡률 도메인의 경계와 축소된 등적도형 집합에도 적용되며, 이들은 이미 조건 B와 상향 아호르스-정규성을 만족함이 알려져 있다.