선형군의 무정렬 해상도와 동형 안정성

초록

이 논문은 일반선형군 GLₙ(F)의 동형 안정성을 새로운 무정렬 해상도(ordered‑free resolution) 기법으로 재증명한다. 기존 방법보다 직접적이지만, 결과는 (n‑1)!을 역원으로 하는 계수에서만 성립한다. 이를 통해 Milnor K‑군과의 연결 및 Mirzaii와 Suslin의 추측과의 연관성을 밝힌다.

상세 분석

논문은 먼저 전통적인 위치 복합(position complex) Aₖ를 정의하고, 이를 GLₙ(F)‑모듈 구조와 오른쪽 대칭군 Sₖ의 부호 작용을 결합해 무정렬 복합 eAₖ를 만든다. 핵심은 Aₖ와 eAₖ가 모두 acyclic(동형)임을 보이는 것으로, 이는 “i‑type general position condition”을 만족하는 행렬들의 자유 아벨 군을 이용해 직접적인 경계 연산을 구성함으로써 증명된다. 특히 i=n인 경우, 무한체 F의 무한성으로부터 새로운 벡터 ã를 선택해 사이클을 경계로 표현하는 간단한 사각형 논증이 핵심이다.

다음 단계에서는 Quillen의 스펙트럴 시퀀스 프레임워크를 적용한다. 복합 eAₙ을 이용하면 E₁ 페이지가 H_q(GLₙ; eAₙₚ) 형태가 되며, acyclicity 때문에 전체 시퀀스는 0으로 수렴한다. 여기서 중요한 것은 (n‑1)!을 역원으로 하는 계수링을 도입함으로써, Sₖ‑작용에 의해 발생하는 반대칭 관계가 완전히 소거된다는 점이다. Lemma 4.5와 4.6은 전치(전입) 작용이 동형류에 미치는 영향을 분석해, k!을 역원으로 만들면 H_*(GLₙ; eAₙₖ)가 사라짐을 보인다. 이는 “무정렬 해상도”가 실제로 GLₙ‑모듈의 자유 부분을 잡아내고, 남은 부분은 고차 동형에만 기여한다는 의미다.

또한, Lemma 4.7을 통해 k≥n+1인 경우 eAₙₖ의 GLₙ‑동치류가 바로 고차 동형 H_{*+1}(eAₙₖ)와 일치함을 확인한다. 이 결과는 복합이 자유 모듈이므로 고차 동형이 사라지는 현상을 정밀히 기술한다.

결과적으로 Theorem 1.1과 Corollary 1.2가 도출된다. (n‑1)!을 역원으로 하는 정수 계수에서 GLₙ₋₁→GLₙ이 i≤n‑1까지 동형을 이루고, 첫 번째 비동형 단계에서는 Milnor Kₙ(F)와 정확히 연결되는 장Exact sequence가 얻어진다. 이는 기존 Quillen‑van der Kallen‑Nesterenko‑Suslin 결과와 일치하지만, 증명이 훨씬 간결하고 “무정렬 해상도”라는 새로운 도구를 도입했다는 점에서 의의가 크다. 또한 (n‑1)! 역원화가 Mirzaii의 K‑이론 관련 추측 및 Suslin의 injectivity conjecture와 깊은 연관을 가질 가능성을 시사한다.