고전군의 동차 안정성 연구

초록

본 논문은 약한 구면 티츠 체계(weak spherical Tits system)를 갖는 차수 n+1 군과 그에 대응하는 차수 n 부분군 사이에 상대 스펙트럴 시퀀스를 구축한다. 레비 부분군이 종종 작은 군들의 반직접곱으로 분해되는 사실을 이용해, 무한 중심을 가진 나눗체 위의 유니터리 군, 무한 체 위의 특수선형군 및 특수직교군에 대해 동차 안정성 결과를 증명한다.

상세 분석

논문의 핵심은 “약한 구면 티츠 체계(weak spherical Tits system)”를 전제로 한 상대 스펙트럴 시퀀스의 구성에 있다. 티츠 체계는 건축물(빌딩)과 같은 기하학적 구조를 군에 부여하는 도구이며, 특히 구면형(Tits building)이 존재하면 레비 부분군(Levi subgroup)의 구조를 명확히 파악할 수 있다. 저자들은 차수 n+1인 군 G와 차수 n인 부분군 H 사이에 자연스러운 포함 H↪G를 고려하고, 이 포함에 대한 상대 호몰로지 H_∗(G, H) 를 계산하기 위해 E₂ 페이지가 H_p(Levi_q, M) 형태인 스펙트럴 시퀀스를 도입한다. 여기서 Levi_q는 G와 H의 레비 부분군들의 교집합이며, M은 적절히 선택된 계수 모듈이다.

특히 중요한 점은 대부분의 레비 부분군이 “반직접곱(semi‑direct product)” 구조를 갖는다는 사실이다. 예를 들어, 유니터리 군 U_n(D) (D는 무한 중심을 가진 나눗체)에서는 레비 부분군이 일반 선형 군 GL_k(D)와 가환적인 상삼각 행렬군의 반직접곱으로 분해된다. 이러한 분해는 호몰로지 계산을 두 단계로 나눌 수 있게 해준다: (1) 작은 차원의 고전군에 대한 기존의 동차 안정성 결과를 적용하고, (2) 가환적인 부분에 대해서는 바르바시(Bar) 복합체나 푸앵카레 시퀀스를 이용해 호몰로지를 소거한다.

저자들은 이 과정을 일반적인 “분해‑정리(decomposition theorem)” 형태로 정리하고, 스펙트럴 시퀀스의 차원 제한(d‑range)을 정밀히 추정한다. 핵심적인 불등식은
\