잔여유한군의 등거리 작용에 대한 유한 지역 근사

초록

잔여유한군 G의 모든 등거리 작용은 임의의 유한 부분집합과 허용 오차 ε에 대해 유한 거리공간으로 근사될 수 있다. 이를 통해 G‑작용을 갖는 모든 거리공간은 유한 G‑작용들의 메트릭 울트라프로덕트에 등거리로 삽입된다. 결과는 소피그성 및 Rosendal의 Ribes–Zalesskii 성질과의 관계를 조명한다.

상세 분석

본 논문은 잔여유한(residually finite) 군 G에 대해, G가 어떤 등거리 작용 φ : G↷(X,d)를 가질 때, 임의의 유한 부분집합 X₀⊂X, 유한 군 원소 집합 A⊂G, 그리고 양의 실수 ε에 대해, 유한 거리공간 (Y,η)와 등거리 G‑작용 ψ : G↷Y, 그리고 지도 f : X₀→Y를 구성함으로써
|d(φ_g(x),φ_h(y))−η(ψ_g(f(x)),ψ_h(f(y)))|≤ε
가 모든 g,h∈A, x,y∈X₀에 대해 성립하도록 한다. 핵심 아이디어는 G의 잔여유한성을 이용해 A의 k제곱집합 B=A^k에 대해 일대일 사상인 유한 몫 π:G→H를 선택하고, H₀=⟨π(A)⟩을 생성한다. 그 후 Y₀=H₀×X₀에 가중 그래프 구조를 부여하여 각 정점 (qπ(g),x)와 (qπ(h),y) 사이에 가중치 d_ε((g,x),(h,y))=d(φ_g(x),φ_h(y))+ε·δ_{(g,x)≠(h,y)}를 놓는다. 여기서 δ는 이산 메트릭이다. 이 가중 그래프의 최단경로 길이 η가 정의된 후, H‑불변적으로 확장하여 전체 Y=H×X₀에 적용한다.

증명에서는 η와 원래의 가중치 d_ε가 동일함을 보이기 위해, η가 d_ε보다 작다고 가정하고 최소 길이 경로를 분석한다. 경로의 길이 n은 ε⁻¹·m보다 작아 k/2 이하가 되며, 이때 경로가 나타내는 군 원소들의 곱이 원래의 g⁻¹h와 동일함을 보인다. 잔여유한성에 의해 π가 B에 대해 일대일이므로, 경로가 실제로는 d_ε와 일치해야 함을 모순으로 얻는다. 따라서 η와 d_ε는 정확히 일치하고, 최종적으로 원하는 근사 부등식이 성립한다.

이 결과는 두 가지 중요한 파생 효과를 낳는다. 첫째, 임의의 세미노름 s:G→