[论文解读] Origami rings

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

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

一句话总结

本文研究在复平面上通过固定角度重复进行直线交点的几何作图，表明当角度集合构成一个至少包含三个元素的群时，所得点集形成一个子环。关键结果为：当 n ≥ 3 时，若角度等距分布，则生成的环为 ℤ[ζₙ]（当 n 为素数时），或 ℤ[1/n, ζₙ]（当 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 个等距方向 kπ/n（n ≥ 3）时，刻画所生成环的结构。

提出的方法

• 定义 Lα(p) 为复平面上过点 p 且与实轴夹角为 α 的直线。
• 通过递归方式构造集合 RU：从 0 和 1 开始，不断添加由先前构造的点 p, q 与不同角度 α, β ∈ 固定集合 U 所确定的直线 Lα(p) ∩ Lβ(q) 的交点。
• 证明：若 U 是一个至少包含三个元素的角度群，则 RU 对复数加法与乘法封闭，因此构成一个子环。
• 利用单位根的性质与群结构，分析当 U 由 n 个等距角度 kπ/n 构成时 RU 的环结构。
• 利用代数数论与封闭性论证，证明当 n 为素数时 RU = ℤ[ζₙ]，当 n 为合数时 RU = ℤ[1/n, ζₙ]。
• 利用角度的群结构确保几何运算下的封闭性，从而实现对 RU 的完整刻画。

实验结果

研究问题

• RQ1 在什么条件下，角度集合 U 使得集合 RU 对复数加法与乘法封闭？
• RQ2 当 U 由 n 个等距角度 kπ/n（n ≥ 3）构成时，RU 的代数结构是什么？
• RQ3 n 的素性如何影响 RU 的环结构？
• RQ4 能否利用单位根完全刻画由类似折纸的直线交点所生成的环？
• RQ5 当 U 是一个至少包含三个元素的角度群时，RU 是否总是子环？

主要发现

• 若 U 是一个至少包含三个元素的角度群，则 RU 是复平面上的子环，对加法与乘法封闭。
• 当 n ≥ 3 时，若允许的角度为 kπ/n（0 ≤ k < n），则当 n 为素数时，环 RU 等于 ℤ[ζₙ]。
• 当 n 为合数时，环 RU 等于 ℤ[1/n, ζₙ]，表明 n 的逆元被包含在内。
• 当 n 为素数时，该构造过程生成了分圆域 ℚ(ζₙ) 中的所有代数整数；当 n 为合数时，生成的是更大的环。
• 角度的群结构对于确保封闭性并实现对 RU 的完整刻画至关重要。