선형 발산을 품은 군과 그래프들의 새로운 전개

초록

본 논문은 유한 생성 군과 그래프에서 선형 발산(linear divergence) 현상이 나타나는 다양한 사례들을 체계적으로 제시한다. 구체적으로, 일반적인 웨러프(wreath) 곱, 퍼뮤테이션 웨러프 곱, 허우딩(halo) 곱, 후톤(Houghton) 군, 바우스라그-솔리타스(Baumslag‑Solitar) 군, 디에스텔‑리더(Dieste­l‑Leader) 그래프 및 그 일반화인 호로사이클릭(horocyclic) 곱에 대해 선형 발산을 증명한다. 또한, 큰 규모에서 교환성을 만족하는 허우딩 곱에 대한 필요조건을 논의하고, 선형 발산이 플로이드 경계와 비절단점(asymptotic cone) 성질과 연결됨을 강조한다.

상세 분석

논문은 먼저 발산(divergence)의 정의를 Gersten‑Gersten‑Gromov 체계에 따라 정리하고, 일단일(end) 공간에서의 발산이 무한이 아닌 경우는 반드시 선형 이하임을 상기한다. 그런 뒤, Drutu‑Mozes‑Sapir의 결과를 활용해 “한 점에서 일정 거리 안에 bi‑Lipschitz 무한 경로가 존재하면 발산은 quasi‑isometry 불변이며, 파라메터 γ,δ에 무관하게 ≍ 관계로 정의된다”는 기본 정리를 제시한다. 이 기반 위에 저자는 웨러프 곱 G = H ≀ F 의 구조를 상세히 분석한다. 여기서 H는 램프(lamp) 군, F는 베이스(base) 군이며, 원소는 (k,f) 형태의 유한 지지 함수와 베이스 원소의 쌍으로 표현된다. 저자는 “최적 표현(optimal expression)”을 도입해 |(k,f)|₍G₎ = |f|₍F₎ + Σ|e_i|₍F₎ + Σ|h_j|₍H₎ 로 길이를 계산하고, 램프가 켜져 있는 위치 x∈F 에서는 반드시 |x|₍F₎ ≤ |(k,f)|₍G₎ 라는 기본 부등식을 얻는다(Lemma 2).

주요 증명 전략은 두 원소 g,g′∈G 가 동일한 거리 n을 가질 때, 중심 1_G 를 반경 n/6 이하의 구 B_G(1_G,n/6) 를 피하면서 선형 길이 O(n) 로 연결할 수 있음을 보이는 것이다. 이를 위해 고정된 기준 원소 g* = f* h₀ (f*∈F, |f*|₍F₎=n‑1, h₀∈H) 를 잡고, 임의의 g 를 단계별로 변형한다. 경우 분석은 (1) g 가 이미 f* 램프를 켜고 있는 경우, (2) g 의 어느 램프가 거리 ≥ n/6 인 경우, (3) 모든 켜진 램프가 거리 < n/6 이면서 |f|₍F₎≥ n/6 인 경우 등으로 나뉜다. 각 경우마다 “베이스 이동 → 램프 켜기/끄기 → 다시 베이스 이동” 순서로 경로를 구성하고, Lemma 2 로 보장된 거리 하한을 이용해 구 내부에 진입하지 않음을 확인한다. 최악의 경우에도 6n 이하의 단계만 필요하므로 선형 발산이 성립한다.

퍼뮤테이션 웨러프 곱 H ≀ₓ F (행동이 quasi‑transitive) 에 대해서는 베이스 집합 X 가 유한 궤도(finitely many orbits)를 갖는 경우, 동일한 “멀리 떨어진 램프” 개념을 적용해 동일한 증명을 전이한다(정리 2). 허우딩 곱은 Genevois‑Tessera가 정의한 대로 “halo”가 큰 규모에서 교환성을 만족하면, 램프와 베이스 사이의 교환 관계가 멀리 떨어진 원소들 사이에서 거의 자유롭게 작용함을 이용해 동일한 선형 경로 구성을 가능하게 한다(정리 7). 여기서 교환성 가정이 없을 경우,