자기유사군과 Farrell‑Jones 추측: 수축과 비양의 곡률 커버

초록

수축하는 자기유사군은 그 보편적 수축 커버가 CAT(0) 공간을 작용할 경우 Farrell‑Jones 추측을 만족한다. 특히, 유한한 비선형 성장 제한을 가진 유계 자기유사군은 모두 이 추측을 만족한다.

상세 분석

본 논문은 자기유사군(self‑similar groups)과 보다 일반적인 유사군(similar groups)의 구조를 정밀히 분석하고, 이들에 대한 Farrell‑Jones(K‑이론·L‑이론) 추측의 성립 조건을 제시한다. 핵심 아이디어는 ‘보편적 수축 커버(universal contracting cover)’라는 개념을 도입해, 원래의 군 G를 이 커버 F의 적절한 정규 폐쇄 K∞ 로 나눈 몫 G ≅ F/K∞ 로 표현하는 것이다. F는 유한 생성·관계로 정의된 군이며, 그 자체는 수축성을 갖는 ‘핵(nucleus)’ N을 통해 재귀적으로 자기유사 구조 φ: F → F ≀ d 로 정의된다. 논문은 먼저 F가 CAT(0) 군, 즉 비양의 곡률을 갖는 공간에 작용하는 경우 Farrell‑Jones 추측이 이미 알려져 있음을 상기한다. 그런 뒤, 다음 두 가지 상속 성질을 활용한다. 첫째, Farrell‑Jones 추측은 유한 직·자유곱, 그리고 유한 위레스트(wreath) 곱에 대해 닫혀 있다(‘with wreathing’). 둘째, 군의 직접극한(colimit)에서도 추측이 보존된다. 이를 통해 F/Kⁿ (n 단계의 핵을 나눈 몫) 들이 모두 추측을 만족하면, 극한인 G 역시 만족한다는 결론을 얻는다. 핵심 명제는 “F가 모든 단계에서 Farrell‑Jones 추측을 위레스트 곱까지 포함해 만족하면, G도 만족한다”는 것이다. 구체적인 증명에서는 φⁿ(g) 가 충분히 큰 n 에 대해 핵 N의 원소들만을 포함하게 되는 수축성 조건을 이용해, g 가 K∞ 에 속함을 보인다. 마지막으로, 알레신‑그리고르추크, 구프타‑시드키, 그리고 일반적인 유계 자기유사군들의 보편적 커버가 자유 곱 형태의 유한 군들의 CAT(0) 군임을 확인함으로써, 이들 모두가 Farrell‑Jones 추측을 만족함을 즉시 얻는다. 논문은 또한 ‘유사군’이라는 일반화를 통해, 동일한 논리를 더 넓은 클래스(예: 가변 차수 dₙ을 갖는 연속적인 자기유사 구조)에도 적용 가능함을 보여준다. 전체적으로, 복잡한 재귀적 군 구조를 보다 단순한 CAT(0) 커버로 환원함으로써, 기존에 알려지지 않았던 많은 자기유사군에 대한 Farrell‑Jones 추측의 성립을 체계적으로 증명한다.