고전군의 동질성 안정성 연구

초록

본 논문은 사흐(Chih‑Han Sah)의 방법을 따라, 무한 중심을 갖는 스큐필드 위의 일반선형군과 실·복소·사원수 체 위의 표준 유니터리군에 대해 동질성 안정성 정리를 증명한다. 두 경우의 증명 구조를 비교·대조하면서, 스펙트럴 시퀀스와 오더드 심플렉스 체인 복합체의 무순환성, 그리고 Suslin‑Witt 이론을 핵심 도구로 사용한다.

상세 분석

논문은 먼저 군 호몰로지를 전통적인 자유 해석(standard resolution)과 텐서 곱을 이용해 정의하고, Shapiro 보조정리와 Suslin‑Witt 동형정리를 통해 계층적 구조를 파악한다. 핵심 기술은 두 종류의 스펙트럴 시퀀스를 구축하는데, 이는 이중 복합체(double complex)에서 유도되는 ‘가로’와 ‘세로’ 필터링에 기반한다. 가로 시퀀스는 stabilizer 서브그룹들의 호몰로지를 계산하고, 세로 시퀀스는 orbit 체인 복합체의 무순환성을 보여준다. 특히, ordered simplicial chain complex (C_*(X))가 언제든지 acyclic함을 보이는 Lemma 1.5는 이후 전이(map)와 장착(attachment) 단계에서 필수적인 역할을 한다.

일반선형군 (GL_n(F)) (여기서 (F)는 무한 중심을 가진 스큐필드)에서는 Witt 정리의 일반화인 “field embedding non‑existence” 결과를 이용해, (GL_n(F))의 점 안정자(point stabilizer)가 (GL_{n-1}(F))와 동형임을 보인다. 이는 행렬의 행·열 교환을 통해 직접적인 포함 (i_n:GL_n(F)\hookrightarrow GL_{n+1}(F))를 구성하고, 이 포함이 호몰로지 차원 (q)에서 동형이 되기 위한 임계값 (n\ge 2q+1)을 얻는다.

유니터리군 (U_n(\mathbb{K})) ((\mathbb{K}= \mathbb{R},\mathbb{C},\mathbb{H}))의 경우, 사원수 체의 비가환성 때문에 스큐필드 경우와는 다른 기술이 필요하다. 여기서는 Hermitian 형식에 대한 Witt 정리를 사용해, (U_n(\mathbb{K}))의 점 안정자가 (U_{n-1}(\mathbb{K}))와 동형임을 보이고, 동일한 스펙트럴 시퀀스 구조를 적용한다. 차이점은 stabilizer 서브그룹의 호몰로지가 외부 텐서 대수(예: exterior algebra)와 연결되는 부분에서 나타난다.

두 증명 모두 “persistence of smaller groups” 단계에서, 작은 차원의 군이 큰 차원의 군 안에서 동일한 호몰로지 클래스를 생성한다는 사실을 귀납적으로 이용한다. 이는 5.4절의 induction argument에 의해 체계화되며, base case는 (n=1) 혹은 (n=0)에서 직접 계산한 호몰로지(주로 (H_0)와 (H_1))를 사용한다. 최종적으로, 논문은 다음과 같은 두 메인 정리를 얻는다.

1. 일반선형군 안정성: (H_q(GL_n(F))\xrightarrow{\cong} H_q(GL_{n+1}(F))) for (n\ge 2q+1).
2. 유니터리군 안정성: (H_q(U_n(\mathbb{K}))\xrightarrow{\cong} H_q(U_{n+1}(\mathbb{K}))) for (n\ge 2q+1).

이러한 결과는 기존의 “homological stability for classical groups” 문헌과 일치하지만, 사흐의 원본 증명을 상세히 재구성하고, 두 경우의 공통 구조와 차이점을 명확히 드러낸다는 점에서 학술적 가치를 가진다.