U‑다각형의 존재와 차수 ≥ 4 클래스: 사이클로토믹 모델 집합에서의 완전한 정리

본 논문은 평면에 존재하는 유한한 방향 집합 U와 점 집합 Λ에 대해, U‑다각형이라 불리는 특수한 다각형이 어떤 조건 하에 존재할 수 있는지를 체계적으로 규명한다. U‑다각형은 정의상 U의 각 방향에 대해, 그 방향을 따라 그 꼭짓점을 지나는 직선이 반드시 또 다른 꼭짓점을 만나야 하는 제약을 가진다. 이 제약은 곧 다각형의 모든 변이 U에 포함된 방향 중 하나와 평행함을 의미하고, 따라서 다각형은 2·|U| 또는 그 배수개의 변을 갖는다. 논문은 먼저 기존 연구에서 알려진 바와 같이, 방향이 두 개만 주어질 경우(즉, |U|=2) U‑다각형은 언제든 존재하지만, |U|≤3인 경우에는 항상 존재한다는 사실을 상기한다. 그러나 |U|≥4인 경우, 특히 c≥4인 클래스(연속된 c 개의 변이 서로 다른 U 방향에 대응하는 최대값)에서의 존재 여부는 훨씬 복잡해진다. 핵심 결과는 Theorem 3.1으로, 여기서는 Λ가 두 가지 중요한 성질을 만족한다고 가정한다. 첫째, (A) ‘모든 유한 부분집합 F⊂K_Λ에 대해, 비특이 선형 변환 Ψ가 존재하여 Ψ(F)⊂Λ’라는 선형 변환 가능성; 둘째, (Alg) ‘K_Λ=ℚ(Λ−Λ) 가 유한 차수 확장’이라는 대수적 유한성이다. 이러한 가정 하에 다음 네 조건이 서로 동치임을 보인다. 1. Λ에 c≥4인 U‑다각형이 m 개의 변을 가지고 존재한다. 2. 같은 m 개의 변을 가진 U‑다각형이 실제로는 Λ‑방향에 평행한 변을 가진 비특이 선형 변환을 통해 정규 m‑각형으로 바뀔 수 있다. 3. 실수 부분체 k_{m/2}=ℚ(ζ_{m/2}+ζ̄_{m/2}) 가 k_Λ에 포함된다. 여기서 k_Λ는 K_Λ의 실수 부분체이며, ζ_{m/2}는 m/2‑번째 원시 단위근이다. 4. Λ에 lcm(m/2, 2) 개의 변을 가진 비특이 정규 다각형이 존재한다. 증명은 먼저 Lemma 2.6을 이용해 (1)→(2)를 확보한다. (2)→(3)에서는 변의 기울기 교차비(cross‑ratio)를 이용한다. 교차비는 네 변의 기울기를 복소수 형태로 표현했을 때, ζ_{m/2}+ζ̄_{m/2}와 동등하게 되며, 이는 실수 체 k_{m/2}에 속한다. 따라서 교차비가 k_Λ에 포함된다는 사실은 (3)을 증명한다. (3)→(4)는