[논문 리뷰] A Marstrand-type restricted projection theorem in $\mathbb{R}^{3}$

Antti Käenmäki, Tuomas Orponen외 1명|arXiv (Cornell University)|2017. 08. 16.

Advanced Topology and Set Theory참고 문헌 13인용 수 10

한 줄 요약

이 논문은 R³에서 비부분공간 2차원 평면에 제한된 직선으로의 사영에 대해 마르슈탄드 유형의 사영 정리를 수립한다. 분석적 집합 K ⊂ R³에 대해, 단위 구면과 고정된 2차원 평면 V의 교차부분에 속한 H¹-거의 모든 방향 e에 대해, 사영 πₑ(K)의 하우스도르프 차원은 min{dimₕK, 1}임을 증명한다. 이 결과는 방향을 곡선형 가.family로 제한함으로써 고전적 사영 정리를 더욱 정밀하게 다듬으며, 첨단의 측도 이론적 인cidenc bound와 원 및 사인파에 대한 곡률 기반 추정을 사용하여 접선과 사영 행동을 제어한다.

ABSTRACT

Marstrand's projection theorem from $1954$ states that if $K \subset \mathbb{R}^{3}$ is an analytic set, then, for $\mathcal{H}^{2}$ almost every $e \in S^{2}$, the orthogonal projection $π_{e}(K)$ of $K$ to the line spanned by $e$ has Hausdorff dimension $\min\{\dim_{\mathrm{H}} K,1\}$. This paper contains the following sharper version of Marstrand's theorem. Let $V \subset \mathbb{R}^{3}$ be any $2$-plane, which is not a subspace. Then, for $\mathcal{H}^{1}$ almost every $e \in S^{2} \cap V$, the projection $π_{e}(K)$ has Hausdorff dimension $\min\{\dim_{\mathrm{H}} K,1\}$. For $0 \leq t < \dim_{\mathrm{H}} K$, we also prove an upper bound for the Hausdorff dimension of those vectors $e \in S^{2} \cap V$ with $\dim_{\mathrm{H}} ρ_{e}(K) \leq t < \dim_{\mathrm{H}} K$.

연구 동기 및 목표

• 고정된 2차원 평면 V ⊂ R³가 부분공간이 아닌 경우, 사영 방향의 집합을 이 평면에 제한함으로써 마르슝의 고전적 사영 정리의 더 강력한 형태를 수립하는 것.
• 특정 곡선 γ(θ) = (1/√2)(cos θ, sin θ, 1)에 대해 추측 1.1을 해결하는 것. 이 곡선은 단위 구면 위에 비퇴화된 원을 그린다.
• 분석적 집합 K ⊂ R³에 대해, dimₕπₑ(K) < dimₕK 를 만족하는 방향 e ∈ S² ∩ V 의 예외 집합의 하우스도르프 차원에 대한 수량적 추정을 제공하는 것.

제안 방법

• 곡선(원 또는 사인파)이 사영 선과 얼마나 가까이 정렬되어 있는지를 측정하는 기하학적 접선 매개변수를 도입하여, 사영 행동을 제어한다.
• 원형 및 삼각함수적 구성에 특화된 Wolff의 인cidenc bound 및 Schlag의 레마의 측도 이론적 변형을 개발한다.
• 사영 매개변수를 이진 간격으로 분해하고, 커버링 추론을 적용하여 차원이 낮아지는 예외 집합의 크기를 추정한다.
• 점 w ∈ R² 에서 많은 곡선이 가까이 지나가는 정도를 세는 다중도 함수 mμ₅δ(w) 를 적용하여, 사영에 대한 역상의 측도와 연결한다.
• 커버링 추론 기반의 모순 증명: 너무 많은 저차원 사영이 존재한다고 가정하면, δ-튜브 내에서 과다 계산이 발생하여 측도 추정을 위반한다.
• 원형 카케야 문제의 기법(특히 Wolff의 1997년 결과)을 곡률과 인cidenc 제어를 통해 사영 설정에 적응한다.

실험 결과

연구 질문

• RQ1 사영 방향이 S² 전체가 아니라 비부분공간 2차원 평면 V ⊂ R³ 에 제한될 경우, 마르슝의 사영 정리는 여전히 성립하는가?
• RQ2 분석적 집합 K ⊂ R³ 에 대해, dimₕπₑ(K) < dimₕK 를 만족하는 방향 e ∈ S² ∩ V 의 하우스도르프 차원은 얼마인가?
• RQ3 원과 사인파에 대한 곡률 기반 인cidenc bound 는 사영 정리에서 예외 집합의 크기를 제어하는 데 적응 가능한가?
• RQ4 K의 차원과 제한된 가족 내 사영 방향의 예외 집합의 차원 사이에 수량적 관계가 존재하는가?
• RQ5 원형 카케야 문제를 해결하는 데 쓰인 기법들을 R³에서 제한된 사영 정리를 증명하는 데 재활용할 수 있는가?

주요 결과

• 모든 분석적 집합 K ⊂ R³ 에 대해 0 < dimₕK ≤ 1 이고, 모든 비부분공간 2차원 평면 V ⊂ R³ 에 대해, H¹-거의 모든 e ∈ S² ∩ V 에 대해 dimₕπₑ(K) = min{dimₕK, 1} 이다.
• dimₕπₑ(K) ≤ t < dimₕK 를 만족하는 방향 e ∈ S² ∩ V 의 예외 집합 E 는 dimₕE ≤ (dimₕK + t)/(2 dimₕK) < 1 으로 유계이다.
• 이 결과는 특정 곡선 (1.2) 뿐 아니라, 척도와 차원을 유지하는 선형 변환에 대해 불변인, V ∩ S² 의 비퇴화된 원 η 에 대해서도 성립한다.
• 이 증명은 Wolff의 Kakeya 문제 연구에서 유도된 새로운 측도 이론적 인cidenc bound 를 기반으로 한다.
• 논문은 예외 집합의 크기에 대한 수량적 추정을 확립하여, dimₕK > 1 인 경우에도 전체 방향 집합보다 엄밀히 작다는 것을 보여준다.
• 이 방법은 반원에도 적용 가능하며, 원의 분석적 가족의 합집합에 대한 차원 공식 dimₕ(∪S) = min{dimₕS + 1, 2} 에 대한 새로운 증명을 제공한다.