정규·교대군의 안정 동류학을 다항식 계수로 풀다

본 논문은 유한체 k(특히 홀수 특성) 위에 정의된 정규군 Oₙ,ₙ(k)와 교대군 Sp₂ₙ(k)의 안정 동류학을, 일반적인 다항식 엔도펑터 F(예: 외부 멱 Λ^m, 대칭 멱 S^m, 분할 멱 Γ^m 등)로 뒤틀어 계산한다. 연구는 크게 네 부분으로 전개된다. 1. **형식적 프레임워크 구축** 저자들은 “작은 범주 C와 그 위의 객체 A”를 선택하고, Aut_C(A⊕n) 를 통해 정규·교대군을 재현한다. 이때 C는 대칭 모노이달 범주이며, A는 차원 2의 표준 이차형식(정규 혹은 교대)이다. F를 C→Ab(또는 Vect_k) 로 가는 펑터라 두고, 각 n에 대해 H_*(G(n);F(A⊕n)) 를 구성한다. 이 체인 복합체들의 직접극한(colim) 을 정의함으로써 “안정 동류학”을 얻는다. 이 과정에서 Charney의 안정화 결과가 기본 전제이며, 안정화가 언제 일어나는지 명시적인 차수 제한을 제공한다. 2. **스펙트럴 시퀀스와 두 번째 페이지** 저자들은 위의 설정을 이용해 Grothendieck‑type 스펙트럴 시퀀스를 만든다. E₂^{p,q}=Tor^{𝔈_deg q}_p(L_q,F) ⇒ H_{p+q}(E_q;F) 형태이며, 여기서 𝔈_deg q는 퇴화된 이차형식 범주, L_q는 그 포함 사상에 대한 좌/우 유도 펑터이다. L_q는 비가법적 Mackey functor 로 해석되며, 그 값은 O_∞(k) 혹은 Sp_∞(k)의 q 차원 동류학이다. 핵심은 L_q(0)=H_q(O_∞(k);k) 가 q>0일 때 0이라는 사실이다. 이는 Quillen‑Fiedorowicz‑Priddy의 동류학 소거 정리와 Djament‑Scorichenko‑Suslin의 “동류학적 소거” 결과를 결합해 증명한다. 따라서 E₂_{p,q}=0 (q>0) 가 되어 시퀀스는 2페이지에서 급격히 붕괴한다. 3. **두 번째 페이지의 Tor 계산** 2페이지에서 남는 항은 Tor^{𝔈^f(k)}_p(k