다항식 제한 동류와 ℓ¹ 노보코프 추측의 강력 증명

1. 서론에서는 노보코프 추측(NC)과 그 강한 형태(SNC)의 역사적 배경을 소개하고, ℓ¹‑NC(π) 라는 새로운 버전을 정의한다. 기존 연구에서 PC(Polynomially Controlled) 조건을 만족하는 군들만이 ℓ¹‑NC 를 만족함이 알려졌지만, 많은 유한히 제시된 군이 이 조건을 위반한다는 점을 강조한다. 따라서 새로운 방법론이 필요함을 제시한다. 2. 예비 섹션에서는 Hochschild·Cyclic (co)homology, 위상적 K‑이론 스펙트럼 K^t(A), 그리고 ℓ¹‑급감 대수 H₁,∞^L(π)의 기본 성질을 정리한다. 특히, ℓ¹‑급감 대수는 ℓ¹(π) 의 닫힌 부분대수이며, 단어 길이 함수에 대해 다항식적으로 제한된 군 동형사상에 대해 함자적임을 보인다. 3. ‘심플렉셜 급감 대수’ 구축이 본 논문의 핵심이다. 3.1 절에서는 p‑bounded simplicial group Γ· 에 대해 ℓ¹‑급감 대수 H₁,∞^L(Γ·) 를 정의하고, 이 대수가 심플렉셜 프레셰 대수 구조를 갖도록 만든다. 3.2 절에서는 Connes‑Moscovici 대수 C_M(π)를 일반화하여, 급감 조건을 만족하는 군에 대해 ‘ℓ¹‑버전’ C_M^ℓ¹(π)를 정의한다. 3.3 절에서는 자유 군 F 에 대해 ‘최대’ Connes‑Moscovici 대수 HCMm(F)를 도입하고, 이는 프레셰 대수로서 (f.p.groups) → (Frechet algebras) 함자성을 가진다. 이는 이후 강직성 가설을 기술하는 데 필수적이다. 4. 조립 지도 검출 섹션에서는 Hochschild·Cyclic (co)homology 의 스펙트럴 시퀀스를 이용해, 심플렉셜 급감 대수의 위상적 Hochschild·Cyclic 복합체를 분석한다. 자유 심플렉셜 해석 Γ· → π 로부터 유도된 필터링이 K‑이론과 조립 지도 사이의 관계를 명확히 한다. 5. 국소 체르니 특성 구축(4.2 절)에서는 임의의 정수 동류 클래스 x∈H_n(Bπ;ℚ) 에 대해, Baum‑Retopologization 정리와 Tillmann 의 미세 위상 대수 Chern character, Goodwillie 의 강직성 결과를 결합해 ‘국소 Chern character’ ch_x 를 정의한다. 이 특성은 K^t(ℓ¹(π)) 와 K^t(C*(π)) 양쪽에 작용하며, 조립 지도 아래에서 x 의 이미지와 정확히 대응한다. 6. 메인 정리 증명(4.3 절)에서는 위에서 만든 스펙트럴 시퀀스와 국소 체르니 특성을 이용해, ℓ¹‑NC(π)의 유리 삽입성을 보인다. 구체적으로, E²‑항에서 발생하는 차단을 분석하고, 차단이 사라지는 것을 보임으로써 조립 지도가 유리적으로 단사임을 얻는다. 7. ‘최대’ Connes‑Moscovici 대수에 대한 추가 결과(4.4 절)에서는 위상적 Hochschild·Cyclic 동형사상의 강직성을 가정하면, 강한 노보코프 추측이 모든 유한히 제시된 군에 대해 성립한다는 감소 명제를 제시한다. 이는 HCMm(G) 의 위상적 Hochschild·Cyclic 동형사상이 강직성을 만족하면, 기존의 강한 노보코프 추측을 증명할 수 있음을 의미한다. 8. 부록에서는 Baum‑Retopologization 정리와 Tillmann 의 Chern character 의 상세 증명을 제공하고, 기술적 보조 정리들을 정리한다. 9. 결론에서는 본 연구가 ℓ¹‑버전 강한 노보코프 추측을 모든 유한히 제시된 군에 대해 성립시킨 최초의 결과임을 강조하고, ‘최대’ Connes‑Moscovici 대수의 강직성 가설이 향후 강한 노보코프 추측 전체 증명에 핵심적인 역할을 할 것임을 전망한다. 또한, 다항식 제한 공동동류와 급감 대수 이론이 Banach 대수 수준에서도 강력한 K‑이론 도구가 될 수 있음을 시사한다.