강한 동형유사성의 새로운 관점

초록

본 논문은 유한 CW 복합체 X(컴팩트)와 Y 사이의 지도 집합

상세 분석

논문은 먼저 ‘앙상블’ ⟨W⟩ 를 자유 아벨 군으로 보고, 증강 사상 ε:⟨W⟩→ℤ 를 통해 ε(S)=1 인 경우를 ‘affine’ 라 정의한다. 이때 ‘분열 가능한(fissile)’ 앙상블은 모든 두 원소가 서로 교차하지 않는 부분집합 A에 대해 제한된 앙상블이 결합 연산 ⊔ 로 재구성되는 성질을 만족한다. 이러한 구조는 이후 지도 공간 Y^X 에서 ΔE(단순체) 위의 함수들을 다룰 때 핵심적인 역할을 한다.

강한 r‑유사성 a r≈b 의 정의는 임의의 비공허 유한 집합 E 에 대해, a 를 기준으로 한 ‘분열 가능한’ 앙상블 S∈⟨(Y^X_a)(ΔE)⟩ 가 존재하고, <ΞΔE(b)>−S 가 (r+1)‑차 필터 ⟨(Y^X)(ΔE)⟩(r+1)_X 에 속함을 요구한다. 여기서 Ξ는 상수 지도에 대한 전단 사상이며, 필터 ⟨(Y^X)(U)⟩(s)_X 은 이전 논문