부분선형 빌립스키 동등성과 용해 리 군의 준동형 분류

초록

본 논문은 부분선형 빌립스키 동등성(O(u)‑bilipschitz equivalence)에 대한 곱 정리를 증명하고, 이를 이용해 차원·콘 디멘션·Dehn 함수가 동일한 여러 용해 리 군을 부분선형 수준에서 구별한다. 특히, 완전 용해 군의 ρ₁‑축소가 직접 곱으로 분해될 때, 두 군이 부분선형 빌립스키 동등하면 그 축소는 동형이며, 이로써 고차원 비가환, 비정규화 용해 리 군의 준동형 클래스가 셀 수 없이 많다는 사실을 재현한다.

상세 분석

논문은 먼저 “부분선형 빌립스키 동등성”(O(u)‑bilipschitz equivalence)의 개념을 정밀히 정의한다. 여기서 u는 lim r→∞ u(r)/r = 0을 만족하는 부분선형 함수이며, 두 지도 f,g가 O(u)‑가깝다는 것은 거리 차이가 |x|에 대해 u‑함수 이하로 제한된다는 뜻이다. 기존의 KKL 정리(Kapovich‑Kleiner‑Leeb, 1998)는 O(1)‑quasi‑isometry가 곱 구조를 유한 오차 내에서 보존함을 보였지만, 저자들은 이를 u‑함수 수준으로 일반화한다. 핵심은 Theorem A(곱 정리)와 Theorem C(비대칭 원뿔에서 곱 구조 보존)이다. Theorem A는 X = M × ∏X_i, Y = N × ∏Y_j (각 X_i, Y_j는 KKL이 정의한 coarse type I 혹은 II) 사이의 O(u)‑동등이면, M,N은 차원이 같고, 인덱스 집합도 일대일 대응한다는 것을 보인다. 더 나아가 각 인자 사이에 O(u)‑동등인 지도 ϕ_i가 존재하고, 전체 지도는 각 ϕ_i의 곱으로 O(v)‑가깝게 근사된다(v는 또 다른 부분선형 함수). 이때 사용되는 거리 구조는 ℓ₂‑곱이지만, ℓ₁ 등 동등한 거리에도 적용 가능하다.

Theorem C는 위 결과를 비대칭 원뿔(Cone) 수준으로 끌어올린다. 즉, ϕ가 O(u)‑동등이고, 모든 u‑허용 원뿔에서 Cone(ϕ)가 곱 구조를 보존한다면, ϕ는 실제 공간에서도 각 인자 사이에 O(u)‑동등인 ϕ_i를 갖는다. 이 단계에서 KKL의 “non‑translatability” 가정을 피하고, 대신 부분선형 오차를 제어하기 위해 부가적인 가정(예: subadditivity, monotonicity)을 도입한다.

이러한 일반화는 Cornulier가 제시한 ρ₁‑축소와 결합된다. 완전 용해 군 S에 대해 R exp S를 가장 큰 정상 NILPOTENT 부분군으로 잡고, S를 R exp S ⋊ α_σ(S/R exp S) 형태로 분해한다. ρ₁(S) = R exp S ⋊ α_σ(S/R exp S)는 “C₁” 클래스에 속하는 군이며, Cornulier는 S와 ρ₁(S)가 O(log)‑동등임을 증명했다. 논문은 여기서 O(u)‑동등을 가정하면, ρ₁(S)와 ρ₁(S′)가 직접 곱 Rⁿ × P × ∏H_i 형태로 분해될 때, 각 인자들의 차원·구조가 일치함을 보인다(Theorem D). 특히 P는 반단순 군의 최대 완전 용해 부분군(예: AN), H_i는 부정곡률을 갖는 Heintze 군이며, 각 H_i는 아벨리안 파생군을 갖는다.

이 결과를 이용해 저자들은 4차원 예시(G₀⁴,⁹와 R × G_α³,⁵)를 구별하고, 5차원 경우에는 동일한 cone‑dimension(2)과 quadratic Dehn function을 공유하지만, ρ₁‑구조가 서로 달라서 quasi‑isometry로 구분되지 않는 무수히 많은 군군을 구축한다(Corollary E). 이는 Bourdon‑Rémy가 다른 방법(L^p‑cohomology)으로 얻은 결과와 일치하지만, 여기서는 부분선형 빌립스키 동등성을 핵심 도구로 사용한다는 점에서 새롭다.

전체적으로 논문은 “부분선형 수준에서의 곱 구조 보존”이라는 새로운 기술을 도입해, 기존 quasi‑isometry 분류가 미처 구분하지 못했던 용해 리 군들의 미세한 차이를 드러낸다. 이는 비가역적인 대칭성, 비정규화, 고차원 비가환 구조를 가진 리 군들의 대수·기하학적 분류에 중요한 도구가 될 것으로 기대된다.