그룹의 근사가능성 및 안정성에 관한 새로운 결과

초록

이 논문은 유한 생성 정규 부분군이나 카자흐(Kazhdan) 성질을 가진 정규 부분군을 갖는 확장군에서, 소피시티, 유연한 P‑안정성, 유한 행동에 대한 안정성, 그리고 전군 C*‑대수의 유한 차원 근사성(RFD)과 같은 중요한 근사·안정성 특성이 어떻게 사상(quotient)으로 전달되는지를 체계적으로 조사한다. Rips 구성의 변형을 이용해 하이퍼볼릭 군들의 구체적인 반례도 제시한다.

상세 분석

논문은 먼저 짧은 정확한 정의들을 정리한다. 소피시티는 자유군의 자유군 F(S)에서 정의된 정규 부분군 N을 Hamming 거리로 구분할 수 있는 일련의 동형사상 존재 여부와 동치이며, 유연한 P‑안정성은 근사 동형사상이 거의 전부를 고정시키는 작은 집합을 제외하고는 실제 동형사상으로 교정될 수 있음을 의미한다. 저자는 N이 유한 생성이면 G가 유연한 P‑안정성을 가질 때, 자연적인 사상 π:G→Q=G/N을 통해 Q도 동일한 성질을 물려받는 것을 Lemma 2.2와 Lemma 2.3을 활용해 증명한다. 핵심 아이디어는 N의 생성원들이 Hamming 거리에서 거의 고정되면, 전체 집합의 대부분이 N‑궤도에 의해 고정된다는 점이다.

다음으로 Kazhdan 성질을 가진 정규 부분군 N을 가정한다. Kazhdan 군은 유한 집합 K에 대해 모든 단위표현이 거의 불변 벡터를 갖는다는 강력한 고정점 성질을 제공한다. 이를 Lemma 3.3에서 정량화하여, N이 작용하는 유한 집합을 K‑근사적으로 분할하면, 실제 N‑불변 분할로 교정할 수 있음을 보인다. 이 결과는 G가 잔여 유한(residually finite)이고 안정성(stability in finite actions)을 가질 때, Q 역시 같은 안정성을 갖는 Theorem 3.4의 핵심 논증에 사용된다. 구체적으로, G의 잔여 유한성으로부터 얻은 유한 인용체 Hₙ와의 곱 작용을 통해 Q의 근사 행동을 실제 유한 행동으로 근사시키고, Kazhdan 상수에 의존하는 오차 제어를 통해 최종적으로 Q의 안정성을 확보한다.

전군 C*‑대수의 Residually Finite‑Dimensional(RFD) 성질에 대해서는, N이 Kazhdan이면 G가 RFD일 때 Q도 RFD임을 Theorem A(iii)에서 증명한다. 여기서는 C*‑대수의 표현론적 분리성을 N‑불변성으로 끌어올리는 방법을 사용한다.

마지막으로, Rips 구성의 변형을 이용해 Wise와 Belegradek–Osin의 결과를 결합함으로써, (i) 유연한 P‑안정성을 갖지 않는 잔여 유한 하이퍼볼릭 군, (ii) 잔여 유한이면서도 유한 행동에 안정하지 않은 하이퍼볼릭 군, (iii) RFD가 아닌 하이퍼볼릭 군, (iv) 비소피시티(p.m.p. 행동이 소피시가 아닌) 하이퍼볼릭 군을 각각 존재함을 보인다. 이러한 예시는 기존에 알려지지 않았던 구조적 다양성을 드러내며, 근사가능성·안정성 이론이 하이퍼볼릭 군의 미세 구조와 깊게 연결되어 있음을 시사한다.

전체적으로 논문은 “정규 부분군이 갖는 강한 고정점 성질(Kazhdan) 혹은 유한 생성성”이라는 두 가지 조건이, 다양한 근사·안정성 성질을 사상으로 전달하는 충분조건임을 체계적으로 보여준다. 이는 기존에 개별적으로 다루어졌던 소피시티, P‑안정성, 유한 행동 안정성, RFD와 같은 개념들을 하나의 통합된 프레임워크 안에서 이해하게 해 주며, 특히 하이퍼볼릭 군과 Rips 구성 사이의 교차점에서 새로운 반례를 제공함으로써 향후 연구 방향을 제시한다.