가상 초월 공간에서의 보우디치 표현: 성장 조건, 외부 자동군 동역학 및 인식 알고리즘

초록

본 논문은 자유군 F₂의 표현을 Gromov‑초월 공간의 등거리군으로 보내는 경우, 원시 원소들의 안정 노름이 일정 임계값 이하인 원소가 유한개만 존재한다는 “BQ‑조건”을 일반화한다. 이를 통해 원시 원소 길이와 안정 노름 사이의 선형 성장 관계를 보이고, 여러 동등한 특성을 제시한다. 또한 이러한 보우디치 표현이 문자 다양체에서 열린 불연속성 영역을 이루며, 외부 자동군 Out(F₂)의 작용이 적절히 불연속임을 증명한다. 마지막으로, 보우디치 표현을 유한 인증서로 판별할 수 있는 알고리즘적 절차를 제시한다.

상세 분석

이 연구는 기존에 SL(2,ℂ)‑표현에 대해 정의된 BQ‑조건을, 거리 공간 X가 δ‑초월(δ‑hyperbolic)이며 가시성(visibility)과 측지(geodesic) 성질을 갖는 일반적인 경우로 확장한다. 핵심 도구는 등거리 변환 A∈Isom(X)의 안정 노름 l_S(A)=lim_{n→∞} (1/n) d(Aⁿx₀,x₀)이며, 이는 Hⁿ에서는 변위 길이와 상수 차이만 있다. 저자는 K_δ=329 δ라는 명시적 상수를 구축해, (BQa)–(BQd) 네 가지 조건이 서로 동치임을 증명한다.

• (BQa)와 (BQb)는 모든 원시 원소 γ에 대해 ρ(γ)가 초월이며, l_S(ρ(γ))≤K_δ인 원시 원소가 유한개임을 요구한다.
• (BQc)는 K≥K_δ에 대해 “트리 T_ρ(K)”가 유한함을 의미한다. 여기서 T_ρ(K)는 원시 원소들의 축을 이중화한 Farey‑tree의 부분 트리이며, 축 간 거리와 교차 구조를 이용해 정의된다.
• (BQd)는 선형 성장 부등식 l_S(ρ(γ))≥(1/C)·|γ|−D를 제시한다. 저자는 (BQa)⇒(BQd) (D=0) 를 증명하고, 반대로 (BQd)⇒(BQa)도 성립함을 보인다.

증명 핵심은 다음과 같다. 첫째, 초월 변환의 축이 서로 멀리 떨어져 있으면 축 사이 거리와 안정 노름의 곱이 일정 이하임을 보이는 “길이 곱” 보조정리를 이용한다(섹션 4). 둘째, 축이 근접할 경우에는 교차점에서의 거리와 각도 제어를 통해 안정 노름이 선형적으로 증가함을 보인다(섹션 5). 셋째, 이러한 지역적 결과를 Farey‑tree 구조와 결합해 전역적인 성장 부등식을 얻는다.

또한, 저자는 이 조건들이 “원시‑안정(primitive‑stable)”과 동치임을 확인한다. 원시‑안정은 모든 원시 원소의 축이 궤도 지도 τ_ρ에 의해 (C,D)‑준지오데식으로 보존된다는 정의이며, 기존 연구(LX19, Ser19, Ser20)와 일치한다. 따라서 보우디치 표현은 원시‑안정 표현의 정확한 일반화이며, 이는 Gromov‑초월 공간 전반에 적용된다.

동역학적 측면에서는 Out(F₂)의 작용이 (BQa) 영역에서 적절히 불연속임을 보인다. 구체적으로, 임의의 컴팩트 집합 K⊂χ(F₂,Isom(X))에 대해 Φ∈Out(F₂)가 K와 교차하는 경우는 유한개뿐이다. 이는 트리 T_ρ(K) 의 유한성 및 축의 이동 거리 제어를 통해 증명된다.

마지막으로, 보우디치 표현을 판별하기 위한 “인증서” 알고리즘을 제시한다. 핵심 아이디어는 K_δ보다 작은 안정 노름을 갖는 원시 원소들을 열거하고, 그 수가 유한함을 확인하면 (BQa) 가 성립한다는 점이다. 실제 구현에서는 원시 원소를 Farey‑tree의 깊이‑우선 탐색으로 생성하고, 각 원소에 대해 안정 노름을 계산해 제한된 깊이까지 검증한다. 이는 결정적이며, 복잡도는 K_δ와 δ에만 의존한다.

전반적으로, 이 논문은 초월 공간에서의 표현 이론을 확장하고, 기하‑동역학적 구조와 알고리즘적 인식을 연결하는 중요한 교량을 제공한다.