[論文レビュー] The Rectangular Peg Problem

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

Mathematics and Applications参考文献 10被引用数 6

ひとこと要約

この論文は、ユークリッド平面上の任意の滑らかなジョルダン曲線が、任意に与えられた長方形 R に似た長方形の4つの頂点を含むことを証明している。証明はシンプレクティック幾何学を用い、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) を得る。
• 写像 g を構成し、L と Lϕ をそれぞれモビウスの帯 M と Mϕ に写像する。これらは C×{0} を除いてラグランジュ的である。
• M と Mϕ の共通境界 γ×{0} に沿ってラグランジュ的滑らかさを施し、滑らかで埋め込まれたラグランジュ的クラインボトル K を得る。
• シェフチシンの定理（C² に滑らかなラグランジュ的クラインボトルは存在しない）を用いて、M と Mϕ が γ×{0} 以外の点で交わらざるを得ないことを示し、これにより内接長方形の存在を導く。

実験結果

リサーチクエスチョン

• RQ1 平面上の任意の滑らかなジョルダン曲線は、任意に与えられた長方形 R に似た長方形の4つの頂点を含むか？
• RQ2 シンプレクティックトポロジーを用いて、ラグランジュ部分多様体の交点を分析することで、内接長方形を検出できるか？
• RQ3 ジョルダン曲線に関連する2つのラグランジュ的モビウスの帯から、ラグランジュ的クラインボトルを構成することは可能か？
• RQ4 シンプレクティックな対合 Rπ は、滑らかに修正されたラグランジュ的曲面に固定点のない作用を保証するために果たす役割は何か？
• RQ5 この手法を一般化し、任意の連続関数 φ(r) に対して、直径 r と対角線のなす角 φ(r) を持つ長方形が滑らかなジョルダン曲線に内接することを示せるか？

主な発見

• 任意の滑らかなジョルダン曲線 γ と任意の長方形 R に対して、γ 上に R に似た長方形の4つの頂点が存在する。
• 証明はより強い結果を示している：任意の滑らかなジョルダン曲線 γ と任意の連続関数 φ: [0,∞) → (0,π) に対して、r > 0 が存在し、γ に直径 r と対角線のなす角 φ(r) を持つ長方形が内接する。
• 2つのモビウスの帯 M と Mϕ の和集合を滑らかに修正することで、C² に滑らかで埋め込まれたラグランジュ的クラインボトル K が構成される。M と Mϕ はラグランジュ的トーラスのシンプレクティック写像の像である。
• このようなクラインボトルの存在はシェフチシンの定理に反するため、M と Mϕ が γ×{0} 以外の点で交わらざるを得ず、これは γ における内接長方形に対応する。
• アーノルド＝ギヴィンタル予想を直接証明するのを避けるために、ラグランジュ的クラインボトルの非埋め込みという位相的障害を用いて交点を導出する。
• 結果として、すべてのスケール角 φ ∈ (0, π/2]（特に正方形 φ = π/2 の場合）に対して内接長方形が存在することが確認され、ハゲルマイヤーの以前の部分的結果が拡張される。