거친 미분과 비동형 사상: 비가역 분해 가능 솔버블 리 군의 구조적 강직성

본 논문은 비가역(unimodular)·비퇴화(non‑degenerate)·분할 아벨리안‑아벨리안(split abelian‑by‑abelian) 형태의 솔버블 리 군 G에 대해, 서로 다른 두 군 G와 G′ 사이의 쿼시동형(Quasi‑Isometry, 이하 QI) φ가 어떻게 군 구조를 보존하는지를 정밀히 분석한다. 1. **배경 및 목표** - 솔버블 리 군 L은 일반적으로 L = U → L → R^s → 1이라는 확장으로 표현되며, 여기서 U는 최대 정상 닐포텐트 부분군, R^s는 카르탄(Cartan) 부분군의 아벨리안화이다. - Osin의 결과에 따르면, 닐포텐트 부분군 안에 지수적으로 왜곡된 원소들의 집합 R_exp(L)이 정상 부분군을 이룬다. 저자는 이 구조를 이용해, ‘지수 급진(radical)’이 닐포텐트와 일치하고, 그 위에 아벨리안 카르탄이 반직접곱(semi‑direct product)으로 작용하는 군을 연구한다. - 목표는 두 군 사이의 QI가 ‘표준 지도(standard map)’와 유한 거리 이내에 존재함을 보이고, 이를 통해 QI 군의 전체 구조를 기술하는 것이다. 2. **군의 구체적 모델** - G는 H ⋊_ϕ A 형태이며, H와 A는 각각 아벨리안이며, ϕ: A→Aut(H) 가 주입적이다. - 루트 집합 Δ={α_i}⊂A*가 존재하고, H=⊕_{α∈Δ} V_α 로 분해된다. 각 V_α는 ϕ(t) 가 e^{α(t)} N(α(t)) 형태의 상삼각 행렬(대각항은 e^{α(t)}이고, 비대각항은 다항식)으로 작용한다. - 비가역성은 모든 t∈A에 대해 tr(ad t)=0, 즉 det ϕ(t)=1을 의미한다. 3. **거리 구조와 메트릭** - 좌측 불변 Riemannian 메트릭을 정의하고, 이를 양립 가능한 Finsler 메트릭 |dt|+∑_{α}e^{-α(t)} |dx_{α}| 형태로 표현한다. 여기서 dt는 A‑좌표, dx_{α}는 V_α‑좌표이며, 다항식 Q_i,α가 보정항으로 들어간다. - 이 메트릭은 ‘가중 하이퍼볼릭’ 구조와 유사하며, 각 V_α는 ‘루트 가중 하이퍼볼릭 공간’으로 해석된다. 4. **거친 미분과 스케일 분석** - Eskin‑Fisher‑Whyte(EFW)의 ‘coarse differentiation’ 기법을 차용한다. 이는 큰 스케일에서 쿼시‑지오데식(Quasi‑geodesic)들의 행동을 선형(또는 단순) 모델에 근사시키는 방법이다. - 저자는 ‘효율적 스케일(efficient scale)’과 ‘단조 스케일(monotone scale)’을 정의하고, 각각에 대해 ‘약하게 단조 구간(weakly monotone segment)’이 존재함을 보인다. 이는 쿼시‑지오데식이 일정 구간에서 거의 직선처럼 행동한다는 의미다. 5. **박스 타일링과 평균화** - G의 ‘큰 박스’ B(Ω) 를 정의하고, 이를 ‘등거리 복제’인 B(ρΩ) 로 타일링한다. 비가역성 덕분에 B(Ω)의 경계 부피가 전체 부피에 비해 차원보다 낮은 차수이므로, 평균화 과정에서 경계 효과를 무시할 수 있다. - 각 타일에 대해 φ가 표준 지도와 η‑정밀도로 근접함을 보이기 위해, 타일 내부에서 φ가 보존하는 ‘플랫(flat)’과 ‘호리즌(horocycle)’ 구조를 분석한다. 6. **표준 지도와 주요 정리** - **정리 1.1**: (κ, C)‑QI φ: G→G′에 대해, 충분히 큰 Ω와 적절한 파라미터 δ, η, \tildeη를 잡으면, 대부분(측도 1−ν)의 타일 I₀⊂I에 대해 φ|_{P₀(ω_i)}는 표준 지도 g_i×f_i와 Hausdorff 거리 ≤ \hatη·diam(B(ω_i)) 이내에 있다. 여기서 f_i는 A→A′의 아핀 변환, g_i는 각 V_α→V'_α′의 비리츠치 변환이다. - **정리 2 (정리 3.1의 증명)**: 위 정리를 이용해 φ 전체가 유한 거리 내에서 전역적인 표준 지도와 근접함을 얻는다. 7. **QI 군의 구조** - 각 루트 클래스