[논문 리뷰] The Rectangular Peg Problem

Joshua Evan Greene, Andrew Lobb|arXiv (Cornell University)|2020. 05. 19.

Mathematics and Applications참고 문헌 10인용 수 6

한 줄 요약

이 논문은 유클리드 평면 내의 모든 매끄러운 조르당 곡선이 주어진 사각형 R와 유사한 직사각형의 네 꼭짓점을 포함함을 증명한다. 증명은 심플렉틱 기하학을 사용하여 C² 내에 라그랑주 곡면과 모비우스 띠를 구성하고, C² 내에 매끄러운 라그랑주 클라인 병이 존재하지 않는다는 셰브치신의 정리를 적용하여, 내접한 직사각형에 대응하는 교차를 유도한다.

ABSTRACT

For every smooth Jordan curve $γ$ and rectangle $R$ in the Euclidean plane, we show that there exists a rectangle similar to $R$ whose vertices lie on $γ$. The proof relies on Shevchishin's theorem that the Klein bottle does not admit a smooth Lagrangian embedding in $\mathbb{C}^2$.

연구 동기 및 목표

• 주어진 사각형 R과 유사한 내접 직사각형을 포함함을 증명함으로써 매끄러운 조르당 곡선에 대한 사각형 페그 문제를 해결하는 것.
• 라그랑주 부분다양체와 그들의 교차를 통해 내접 직사각형을 탐지할 수 있는 심플렉틱 기하학적 프레임워크를 수립하는 것.
• C² 내에 라그랑주 클라인 병을 임베드할 수 없음을 보여주는 셰브치신의 비임베딩 정리를 핵심 장애물로 활용하여 내접 직사각형의 존재를 강제하는 것.
• 모든 매끄러운 조르당 곡선과 연속 함수 φ(r)에 대해, 지름이 r이고 대각선 각도가 φ(r)인 직사각형이 곡선에 내접함을 보여주는 일반화된 결과를 도출하는 것.

제안 방법

• 복소수 및 극좌표를 사용하여 C²에 심플렉틱 구조를 정의하고, ω = dx ∧ dy + r dr ∧ dθ로 표현한다.
• 매핑 l(z,w) = ((z+w)/2, (z−w)/2)를 사용하여 곡선의 곱 γ×γ를 C² 내의 라그랑주 곡면 L로 변환한다.
• 회전 매핑 Rϕ(z,r,θ) = (z,r,θ+ϕ)를 적용하여, Rπ에 관해 불변인 다른 라그랑주 곡면 Lϕ = Rϕ(L)를 얻는다.
• L과 Lϕ를 변형하여 C×{0}를 제외한 곳에서 라그랑주가 되는 모비우스 띠 M과 Mϕ를 구성한다.
• M과 Mϕ의 공통 경계 γ×{0}를 따라 라그랑주 스무딩을 수행하여, 매끄럽고 임베딩된 라그랑주 클라인 병 K를 생성한다.
• 셰브치신의 정리(심플렉틱 C² 내에 매끄러운 라그랑주 클라인 병이 존재하지 않음)를 적용하여, M과 Mϕ가 γ×{0} 이외의 점에서 반드시 교차함을 유도하고, 이는 곡선 γ에 내접한 직사각형의 존재를 의미한다.

실험 결과

연구 질문

• RQ1 평면 내의 모든 매끄러운 조르당 곡선이 주어진 사각형 R과 유사한 직사각형을 이루는 네 점을 포함하는가?
• RQ2 심플렉틱 위상수학을 사용하여 라그랑주 부분다양체의 교차를 분석함으로써 내접 직사각형을 탐지할 수 있는가?
• RQ3 조르당 곡선과 관련된 두 라그랑주 모비우스 띠로부터 라그랑주 클라인 병을 구성할 수 있는가?
• RQ4 심플렉틱 호환성 Rπ는 스무딩된 라그랑주 표면에 대해 고정점이 없는 작용을 보장하는 데 어떤 역할을 하는가?
• RQ5 이 방법을 일반화하여, 임의의 연속 함수 φ(r)에 대해 지름이 r이고 대각선 각도가 φ(r)인 직사각형이 매끄러운 조르당 곡선에 내접함을 보일 수 있는가?

주요 결과

• 모든 매끄러운 조르당 곡선 γ와 주어진 사각형 R에 대해, γ 위에 R와 유사한 직사각형의 꼭짓점이 존재한다.
• 이 증명은 더 강력한 결과를 도출한다: 임의의 매끄러운 조르당 곡선 γ와 연속 함수 φ: [0,∞) → (0,π)에 대해, r > 0가 존재하여 γ가 지름이 r이고 대각선 각도가 φ(r)인 직사각형을 포함한다.
• 이 구성은 두 모비우스 띠 M과 Mϕ의 합집합을 스무딩하여 C² 내에 매끄럽고 임베딩된 라그랑주 클라인 병을 생성한다. 이 두 모비우스 띠는 심플렉틱 매핑을 통해 라그랑주 곡면의 이미지이다.
• 이러한 클라인 병의 존재는 셰브치신의 정리와 모순되며, M과 Mϕ가 γ×{0} 이외의 점에서 교차함을 강제한다. 이 교차는 곡선 γ에 내접한 직사각형에 대응한다.
• 이 방법은 아르놀트-기벨탈 콘저렉처를 증명하지 않으며, 라그랑주 클라인 병의 임베딩 불가능성이라는 위상적 장애물을 이용하여 교차점을 유도한다.
• 결과적으로, 모든 비율 각도 φ ∈ (0, π/2]에 대해 내접 직사각형의 존재가 확인되며, 이는 제곱형(φ = π/2)의 경우를 포함한다. 또한 투겔마이어의 이전 부분 결과를 일반화한다.