다항적 제한 동류를 위한 스펙트럴 시퀀스

논문은 다항적 제한 동류 \(H_P^*(G)\)를 중심으로, 그룹 확장에 대한 스펙트럴 시퀀스 이론을 새롭게 전개한다. 서론에서는 Connes‑Moscovici가 제시한 두 가지 조건—Rapid Decay(RD)와 다항적 성장 코사이클이 모든 동류 클래스를 대표한다는 조건—을 소개하고, 이러한 조건이 Novikov 추측을 증명하는 데 핵심임을 설명한다. 이어서 기존의 LHS 스펙트럴 시퀀스와 Noskov이 정의한 ‘다항적 확장’ 개념을 연결한다. 2장에서는 bornology라는 개념을 상세히 정의한다. bornology는 ‘bounded’ 집합을 위상 대신 다루는 구조로, Fréchet 공간과 DF 공간 사이의 기술적 어려움을 회피한다. 저자는 완비 bornological 텐서곱 \( \widehat\otimes \)가 adjoint성을 갖는 점을 이용해, 일반적인 스펙트럴 시퀀스 구성에 필요한 바운드된 사상들의 연속성을 보장한다. 특히, Lemma 2.1을 통해 \( \operatorname{bHom}(A\widehat\otimes B, C) \cong \operatorname{bHom}(A, \operatorname{bHom}(B,C)) \)라는 동형을 얻어, 복합체 간의 사상들을 bornological 관점에서 자유롭게 다룰 수 있음을 보여준다. 3장에서는 필터링된 미분 복합체 \((A,F,d)\)에 대한 bornological 스펙트럴 시퀀스의 일반 이론을 전개한다. 필터링이 bounded이면 \(E_1^{p,q}=H^{p+q}(F^pA/F^{p+1}A)\)가 되고, 이후 \(E_r\)‑항을 재귀적으로 정의한다. Lemma 3.2와 3.3을 통해 각 단계에서 바운드된 사상들의 이미지와 커널이 적절히 보존됨을 증명하고, 최종적으로 \(E_\infty^{p,q}\cong F^pH^{p+q}(A)/F^{p+1}H^{p+q}(A)\)임을 확인한다. 4장에서는 다항적 제한 동류를 정의하고, 이를 bornological 복합체와 연결한다. 길이 함수 \(\ell\)에 의해 정의된 ‘다항적 성장’ 조건을 만족하는 체인 복합체 \(C_{pol}^*(G)\)를 구성하고, 그 동류가 일반 동류와 비교되는 사상 \(\iota:H_P^*(G)\to H^*(G)\)를 도입한다. 이 사상이 전사이면 그룹을 ‘이소동류(isocohomological)’라 부른다. 핵심 결과는 Theorem 1이다. 0 → H → G → Q → 0이 다항적 확장이며, Q가 \(HF^\infty\) 타입이고 H와 Q가 모두 이소동류이면, bornological 스펙트럴 시퀀스가 존재하고 \