와류곱 사상과 자유 부분군, SQ‑보편성, 자동사상의 새로운 연결

초록

본 논문은 유한히 제시된 군 G가 와류곱 A ∘ B 로 사상될 때, 이미지가 충분히 크면 핵에 비아벨 자유군이 존재하고 사상이 아실리드리컬 하이퍼볼릭 군의 몫을 통해 인수분해됨을 보인다. 이를 이용해 와류곱의 유한히 제시된 부분군을 완전히 분류하고, (비자명) ∘ (무한) 형태의 와류곱을 몫으로 갖는 군은 SQ‑보편임을 증명한다. 마지막으로, 이러한 결과를 활용해 와류곱의 자동군 구조를 기술하고, 이는 군링에서의 Kaplansky 단위 추측과 흥미로운 연관을 가진다.

상세 분석

논문은 먼저 기존의 Baumslag‑Cornulier‑Kar 결과를 일반화하는 형태로, 유한히 제시된 군 G와 두 군 A, B에 대해 사상 ϕ : G → A ∘ B 를 고려한다. 여기서 A ∘ B 는 표준 와류곱 L_B A ∘ B 로 정의되며, B 위의 좌측 이동을 통해 A의 복수 복사본을 배열한다. 저자는 “이미지가 충분히 크다”는 조건을 두 가지 경우로 나눈다. 첫 번째는 ϕ(G) 가 B 에 대한 무한 사영을 가지면서 L_B A 와 비자명하게 교차하는 경우이며, 두 번째는 ϕ(G) 가 B 에 대한 무한 사영을 가지지만 B 의 공액군 안에 포함되지 않는 경우이다.

첫 번째 경우, 핵 ker(ϕ) 가 비아벨 자유군을 포함한다는 것을 보이기 위해 그래프 곱(그래프 프로덕트) 이론과 그래프 곱의 HNN‑확장 구조를 이용한다. 구체적으로, 와류곱의 무한 프레젠테이션을 적절히 절단(truncation)하면, 그 절단은 A의 복수 복사본과 B의 작용을 결합한 반직접곱 형태가 된다. 이때, G 가 유한히 제시되었으므로 ϕ는 이러한 절단 중 하나를 통해 인수분해되고, 절단의 핵은 자유군을 포함한다는 고전적인 결과(Osi02, Lemma 3.2)를 적용한다.

두 번째 경우에는 ϕ(G) 가 B 의 공액군에 포함되지 않으면서도 B 위에 무한 사영을 갖는 상황을 다룬다. 여기서는 G 가 CAT(0) 큐브 복합체에 유한 차원으로 작용하면서 무한 궤도를 갖는다는 것을 보인다. 이 작용은 하이퍼플레인(stabiliser)들이 A의 유한 거듭제곱에 가상적으로 포함된다는 추가 정보를 제공한다. 특히 A 가 유한하면 G 가 다중‑끝(multi‑ended) 군이 되며, 이는 기존의 “large” 개념보다 약하지만 SQ‑보편성(SQ‑universality)을 보장한다.

주요 정리(정리 1.1)는 위 두 경우를 포괄적으로 기술한다. 정리의 직접적인 귀결로는 다음과 같다.

1. 근접 단사 사상: ϕ의 핵이 비아벨 자유군을 포함하지 않을 경우, ϕ(G) 가 B 로 동형 사영되거나, 어떤 유한 부분군 F ≤ B 에 대해 L_B A ∘ F 안에 포함된다. 이를 이용해 유한히 제시된 군이 와류곱에 전사(injective)하게 포함될 수 있는 경우를 완전히 분류한다(정리 1.2).

2. SQ‑보편성: A가 비자명하고 B가 무한일 때, A ∘ B 를 몫으로 갖는 모든 유한히 제시된 군은 SQ‑보편이다(정리 1.3). 이는 Baumslag의 “large” 결과를 일반화한 것으로, 여기서는 아실리드리컬 하이퍼볼릭 군이 SQ‑보편성을 갖는다는 DGO17 결과를 활용한다.

3. 예외와 한계: A ∘ B 를 몫으로 갖지만 “large”가 아닌 군들의 존재를 예시(A ∗ B 등)와 함께 제시하고, 이러한 경우에도 SQ‑보편성만이 보장된다는 점을 강조한다.

4. Burnside 군의 비유한 제시성: 와류곱을 이용해 Burnside 군 B(m+1, kn) 이 무한이면 유한히 제시될 수 없음을 보인다(정리 1.6). 이는 기존의 Burnside 군 비유한성 결과와 연결된다.

5. 고정점 성질(FW_fin): (FW_fin) 성질을 만족하는 군(예: Kazhdan T 성질, Thompson T, V 등)은 와류곱으로의 “큰” 사상을 거의 허용하지 않는다(정리 1.7).

6. 자동군 구조: B가 일단일(1‑ended)이고 유한히 제시된 경우, 모든 자동사상은 B를 자신의 공액군으로 보내는 강제성을 얻는다. 이를 바탕으로 A가 유한 순환군일 때 자동군 Aut(A ∘ B)의 구조를 정확히 기술한다(정리 1.8). 여기서는 Aut(A ∘ B) ≅ (Inn A ∘ B) ⋉ (A