[논문 리뷰] Characterizations of $k$-rectifiability in homogenous groups

Kennedy Obinna Idu, Valentino Magnani외 1명|arXiv (Cornell University)|2020. 09. 08.

Advanced Topology and Set Theory참고 문헌 19인용 수 4

한 줄 요약

이 논문은 임의의 동차군에서, 보렐 집합이 $k$-직선화 가능하다고 할 때, $\mathcal{H}^k$에 거의 everywhere에서 $(k,\mathbb{G})$-근사 접속군을 갖는 것과 동치임을 확립한다. 저자들은 거의 everywhere에서 이러한 근사 접속군의 존재가 $k$-직선화 가능성을 특징짓는다는 것을 증명하며, 순수하게 비직선화 가능한 집합에 대한 접측도와 밀도 추정을 사용하여, 고전적인 유클리드 결과를 동차군의 부분리만 기하학적 설정으로 일반화한다.

ABSTRACT

A well known notion of $k$-rectifiable set can be formulated in any metric space using Lipschitz images of subsets of $\mathbb{R}^k$. We prove some characterizations of $k$-rectifiability, when the metric space is an arbitrary homogeneous group. In particular, we show that the a.e. existence of the $(k,\mathbb{G})$-approximate tangent group implies $k$-rectifiability.

연구 동기 및 목표

• 임의의 동차군에서 기하측도론 도구를 사용하여 $k$-직선화 가능 집합을 특징짓는 것.
• 근사 접선 평면을 통한 고전적 직선화 가능성의 특징을 부분리만 기하학적 설정인 동차군으로 확장하는 것.
• 거의 everywhere에서 $(k,\mathbb{G})$-근사 접속군의 존재가 $k$-직선화 가능성을 이끌어낸다는 것을 증명하며, 분할 리 군에서 기하측도론의 핵심 문제를 해결하는 것.
• 헤이젠베르크 군과 기타 동차 공간에서의 이전 결과들을 통합하고 일반화하기 위해, 강력하고 내재적인 접속군의 개념을 도입하는 것.

제안 방법

• 저자들은 척도 조정된 측도의 약한 극한을 통해 정의된 $(k,\mathbb{G})$-근사 접속군의 개념을 사용하여 동차군 내에서의 직선화 가능성을 특징짓는다.
• 측도의 행동을 제어하기 위해 순수하게 비직선화 가능한 집합에 대한 접측도와 밀도 추정을 활용한다.
• 수직 그라스만다이언 $\mathcal{H}(\mathbb{G},k)$의 컴acts를 이용하여, 모델 접속군 주위에 유한한 수의 콘으로 집합을 덮는다.
• 핵심 기술적 단계로는 내재 거리와 수평 투영을 활용하여 서로 다른 부분군으로부터의 거리를 비교하며, 부등식 $d(x,\mathbb{T}) \geq c_\mathbb{G} \| \pi_\mathbb{T}(x)^{-1} \pi_{\mathbb{T}^\perp}(x) \pi_\mathbb{T}(x) \|$를 활용한다.
• 저자들은 페더러의 직선화 가능성 기준을 적용하여, 접속군 주위의 콘에서 $\mathcal{H}^k \llcorner E$의 밀도가 스케일 0에서 사라짐을 보이며, 이는 비직선화 가능한 부분에서의 영 $\mathcal{H}^k$-측도를 이끌어낸다.
• $\mathcal{H}^k \llcorner E$가 국소적으로 유한하다는 사실을 활용하고 고정된 광범위를 가진 콘을 사용한 커버링 추론을 통해 측도 감쇠를 제어한다.

실험 결과

연구 질문

• RQ1 동차군에서 $\mathcal{H}^k$-거의 everywhere에서 $(k,\mathbb{G})$-근사 접속군의 존재는 $k$-직선화 가능성을 유도하는가?
• RQ2 근사 접선 평면을 통한 고전적 직선화 가능성의 특징은 비유클리드 동차군으로 확장될 수 있는가?
• RQ3 부분리만 기하공간 내의 순수하게 비직선화 가능한 집합에서 밀도 추정과 접측도는 어떻게 상호작용하는가?
• RQ4 $\mathcal{H}^k$-거의 모든 점에서 유일한 $(k,\mathbb{G})$-근사 접속군이 존재하는 것이 $k$-직선화 가능성을 특징짓는 데 충분한가?
• RQ5 내재 기하학적 구조, 예를 들어 수평 그라스만다이언과 내재 콘은 분할 리 군에서 직선화 가능성의 개념을 어느 정도 정교화하는가?

주요 결과

• 집합 $E$의 $\mathcal{H}^k$-거의 모든 점 $p$에서 $(k,\mathbb{G})$-근사 접속군이 존재하면, $E$는 $k$-직선화 가능하다.
• 임의의 동차군에서 $k$-직선화 가능성과 $\mathcal{H}^k$-거의 everywhere에서 $(k,\mathbb{G})$-근사 접속군의 존재는 동치이다.
• 증명 과정에서 내재 거리와 수평 투영을 통해 콘의 감쇠를 제어함으로써, $E$의 순수하게 비직선화 가능한 부분의 $\mathcal{H}^k$-측도가 0임을 보였다.
• 고정된 광범위를 가진 콘을 사용한 커버링 추론을 통해, 순수하게 비직선화 가능한 부분에서의 밀도 $\Theta^{*k}(E,p)$가 0임을 입증하였다.
• 이 결과는 동차군으로의 프라이스 타입 정리들을 일반화하며, 직선화 가능성은 근사 접속군의 존재에 의해 특징지워진다는 것을 보였다.
• 핵심 부등식 $\| \pi_{\mathbb{T}_p}(x)^{-1} \pi_{\mathbb{T}_p^\perp}(x) \pi_{\mathbb{T}_p}(x) \| \geq \left( \frac{2}{3} - \frac{\epsilon_0}{c_\mathbb{G}} \right) \|x\|$는 작은 $\epsilon_0$에 대해 $X(p,\mathbb{V}_i^\perp,\epsilon_0)$의 점들이 $X(p,\mathbb{T}_p,\epsilon_0)$ 외부에 있음을 보장하며, 이는 콘 비교를 가능하게 한다.