[論文レビュー] Origami rings

Joe Buhler, Steve Butler+2 more|arXiv (Cornell University)|Nov 11, 2010

Geometric and Algebraic Topology参考文献 5被引用数 5

ひとこと要約

本稿では、固定された角度で繰り返し直線を交差させるという幾何的構成を、複素平面で考察し、角度の集合が3つ以上の元をもつ群をなす場合、その結果として得られる点の集合が部分環になると示している。主な結果として、n ≥ 3 に対して等間隔のn個の角度を用いる場合、nが素数のときは生成される環が ℤ[ζₙ] に等しく、nが合成数のときは ℤ[1/n, ζₙ] に等しくなることが示され、特定の折り紙の構成問題が解決される。

ABSTRACT

Motivated by a question in origami, we consider sets of points in the complex plane constructed in the following way. Let $L_\alpha(p)$ be the line in the complex plane through $p$ with angle $\alpha$ (with respect to the real axis). Given a fixed collection $U$ of angles, let $\RU$ be the points that can be obtained by starting with $0$ and $1$, and then recursively adding intersection points of the form $L_\alpha(p) \cap L_\beta(q)$, where $p, q$ have been constructed already, and $\alpha, \beta$ are distinct angles in $U$. Our main result is that if $U$ is a group with at least three elements, then $\RU$ is a subring of the complex plane, i.e., it is closed under complex addition and multiplication. This enables us to answer a specific question about origami folds: if $n \ge 3$ and the allowable angles are the $n$ equally spaced angles $k\pi/n$, $0 \le k < n$, then $\RU$ is the ring $\Z[\zeta_n]$ if $n$ is prime, and the ring $\Z[1/n,\zeta_{n}]$ if $n$ is not prime, where $\zeta_n := \exp(2\pi i/n)$ is a primitive $n$-th root of unity.

研究の動機と目的

• 繰り返しの折り紙に類似た直線の交点によって生成される代数的構造を理解すること。
• このような構成が閉じた代数的構造（環）を生じる条件を特定すること。
• 折り紙における特定の問題を解決すること：指定された角度での折り目のみを用いて、どの複素数が構成可能か。
• n ≥ 3 に対して、n等分された方向 kπ/n を許容する角度の集合であるとき、生成される環の特徴を明らかにすること。

提案手法

• 複素平面における点 p を通る角度 α の直線を Lα(p) と定義する。
• 0 と 1 を初期点とし、再帰的に、以前に構成された点 p, q と異なる角度 α, β ∈ 固定された集合 U に対して、直線 Lα(p) ∩ Lβ(q) の交点を追加することで、集合 RU を構成する。
• U が3つ以上の元をもつ角度の群であるならば、RU は複素加法と乗法について閉じており、したがって部分環であることを証明する。
• 単位根の性質と群構造を用いて、U が n 個の等間隔の角度 kπ/n からなる場合の RU の環構造を分析する。
• n が素数のときは RU = ℤ[ζₙ]、n が合成数のときは RU = ℤ[1/n, ζₙ] であることを、代数的整数論と閉包の議論を用いて示す。
• 角度の群構造を活用して、幾何的演算における閉包を保証し、RU の完全な特徴付けを可能にする。

実験結果

リサーチクエスチョン

• RQ1 角度の集合 U がどのような条件下で、集合 RU が複素加法と乗法について閉じるか。
• RQ2 n ≥ 3 に対して、U が n 個の等間隔の角度 kπ/n からなるとき、RU の代数的構造は何か。
• RQ3 n の素数性が RU の環構造にどのように影響するか。
• RQ4 単位根を用いて、折り紙に類似た直線の交点によって生成される環を完全に特徴付けられるか。
• RQ5 U が3つ以上の元をもつ角度の群であるとき、RU は常に部分環か。

主な発見

• U が3つ以上の元をもつ角度の群であるならば、RU は複素平面の部分環であり、加法と乗法について閉じている。
• n ≥ 3 に対して、許容される角度が 0 ≤ k < n の kπ/n であるとき、n が素数であれば RU = ℤ[ζₙ] に等しい。
• n が合成数のとき、RU = ℤ[1/n, ζₙ] に等しく、n の逆数が含まれていることが示される。
• n が素数のとき、構成プロセスは ℚ(ζₙ) のすべての代数的整数を生成するが、n が合成数のときはより大きな環が得られる。
• 角度の群構造が、閉包の確保と RU の完全な特徴付けを可能にする上で不可欠である。