모델 필리포름 군에서의 공액자 길이 함수와 다항식 성장

초록

본 논문은 이산 모델 필리포름 군 Γₙ = ℤⁿ ⋊ϕ ℤ(ϕ는 a_i↦a_i a{i+1})의 공액자 길이 함수(CL)를 연구한다. 저자들은 CL( n )이 차수 n 의 다항식임을 보이며, 특히 하한은 t^{r}가 a_{n‑1}을 a_{n‑1}a_{n}^{r}로 공액시키는 최단 원소임을 이용하고, 상한은 중심을 이용한 귀납적 구조와 중앙화자·루트 길이 분석을 통해 nⁿ 차수의 다항식 상한을 얻는다. 결과적으로 임의 차수의 다항식이 유한 제시군의 공액자 길이 함수로 나타날 수 있음을 증명한다.

상세 분석

논문은 먼저 공액자 길이 함수(CL)의 정의를 상기한다. CL(n)은 길이 ≤ n 인 두 원소가 서로 공액될 때, 그 공액자를 찾을 수 있는 최소 길이 N을 의미한다. 기존 연구에서는 Dehn 함수와 달리 CL이 어떤 함수군을 이루는지 거의 알려지지 않았으며, 특히 다항식 차수가 자유롭게 조절되는 예는 부족했다. 저자들은 이러한 공백을 메우기 위해 모델 필리포름 군 Γ_d = ℤ^d ⋊ϕ ℤ을 선택한다. 여기서 ϕ는 기준 기저 a₁,…,a_d 에 대해 a_d를 고정하고 a_i↦a_i a{i+1} (i<d) 로 정의된다. 이 군은 nilpotent이며, 중심이 무한 순환군 ⟨a_d⟩이고, 중심을 몫으로 취하면 Γ_{d‑1}과 동형이 되는 귀납 구조를 가진다.

하한을 보이기 위해 저자들은 a_{d‑1}을 a_{d‑1}a_d^{r}로 공액시키는 원소가 정확히 t^{r}임을 증명한다. 이는 t가 a_{d‑1}에 작용할 때마다 a_d가 한 번씩 곱해지는 사실을 이용한 것으로, 거리 d(1, a_{d‑1}a_d^{n})가 ≍ n^{1/(d‑1)}임을 Hilbert‑Waring 정리와 Carnot‑Carathéodory 거리와 연결시켜 정량화한다. 따라서 CL( n ) ≳ n^{d}가 된다.

상한을 얻기 위해서는 복잡한 귀납적 절차가 필요하다. 먼저 Γ_{d‑1}에 대해 이미 CL이 차수 d‑1 다항식임을 가정한다. 두 원소 u, v∈Γ_d가 공액될 때, 그 이미지 (\bar u,\bar v)가 Γ_{d‑1}에서 공액되는 경우, 길이 ≤ C n^{d‑1}인 원소 θ∈⟨t,a₁,…,a_{d‑1}⟩가 존재한다. 이때 θ^{-1}uθ = v a_d^{r}이며, r의 절대값은 Dehn 함수(≈ n^{d})에 의해 ≤ C n^{d(d‑1)}으로 제한된다.

다음 단계는 a_d^{r}를 없애는 것이다. 저자들은 a_{d‑1}의 거듭제곱 a_{d‑1}^{M} (M≈n^{d(d‑1)})을 이용해 r을 크게 감소시킨다. a_{d‑1}의 왜곡이 차수 d‑1 다항식이므로, 이 과정에 필요한 공액자의 길이는 ≲ n^{d}. 남은 r는 매우 작아져서, 중앙화자 C(v)와의 작용을 분석한다. 정의 7.4의 동형 ζ_v: C(v)→ℤ을 이용해, 작은 r에 대해 v와 v a_d^{r}를 연결하는 공액자를 길이 O(n^{d}) 안에 찾을 수 있음을 보인다.

핵심 기술은 (1) 중앙화자의 구조를 정확히 파악하고, (2) 루트(즉, x^{p}=γ 형태의 방정식)의 길이를 제어하는 섹션 5의 결과, (3) Hilbert‑Waring 정리를 활용한 a_d^{p}의 표현을 통한 길이 추정이다. 이 세 가지 도구를 조합하면, 모든 경우에 대해 |x| ≲ n^{d}인 공액자를 구성할 수 있다. 따라서 CL_Γ_d(n) ≍ n^{d}가 성립한다.

결과적으로, 모델 필리포름 군은 차수 d 다항식 형태의 공액자 길이 함수를 구현하는 대표적인 예가 되며, 이는 “임의 차수의 다항식이 유한 제시군의 CL이 될 수 있다”는 일반 명제의 구체적 증거가 된다. 또한, 중심을 통한 귀납 구조와 중앙화자·루트 길이 분석이 복잡한 군의 공액 문제를 다루는 강력한 방법론임을 보여준다.