상대 고정점 이론: 이중 레프셰츠 수와 레이데머 트레이스의 새로운 접근

이 논문은 “상대 고정점 이론”이라는 주제로, 부분공간 A⊂B를 보존하는 연속사상 f:(B,A)→(B,A) 에 대해 기존 Lefschetz 이론을 확장한다. 서론에서는 Lefschetz 고정점 정리와 그 역정리의 기본 형태를 소개하고, 특히 f가 A를 보존할 때 단순히 전체 공간 B에 대한 Lefschetz 수 L(f)만으로는 충분한 정보를 제공하지 못한다는 점을 지적한다. 예시로 원 S¹의 항등사상이 전체 Lefschetz 수는 0이지만, 특정 부분구간을 보존하도록 제한하면 고정점이 존재하게 된다는 사실을 들어, 상대적인 불변량의 필요성을 강조한다. 본 논문의 핵심은 두 가지 상대 불변량, 즉 **상대 Lefschetz 수**와 **상대 Reidemeister trace** 를 bicategory with shadows 라는 범주론적 틀 안에서 정의하고, 이들을 이용해 **Theorem A**(상대 Lefschetz 고정점 정리)와 **Theorem B**(그 역정리)를 증명하는 데 있다. 1. **예비 개념** - **상대 지도**와 **taut** 조건을 도입해, A⊂B가 cofibration 일 때 모든 상대 지도는 동형동형적으로 taut 로 바꿀 수 있음을 보인다. 이는 고정점 분석을 B\A와 A로 분리하는 데 필수적이다. - **대칭 단조범주**와 **bicategory** 의 기본 정의를 복습하고, dualizability 와 trace 의 일반적 정의를 제시한다. 특히, 대칭 단조범주에서는 trace 가 Lefschetz 수와 동일함을 상기한다. 2. **bicategory with shadows** - 0‑cell: 공간(또는 ENR) - 1‑cell: 적절한 bimodule 혹은 enriched distributor (V‑enriched functor) - 2‑cell: 자연 변환 - **shadow** ⟨–⟩: B(A,A)→T 로, 각 1‑cell에 대해 “trace 대상”을 제공한다. 이 구조는 base‑point 선택 없이도 trace 를 정의할 수 있게 한다. 3. **상대 Lefschetz 수 정의** - B와 A를 각각 cone(B∪CA)와 cone(A∪CA) 형태의 복합체로 보고, 이들에 대한 dual (예: (ℝⁿ\A)∪C(ℝⁿ\B)) 를 구성한다. - 평가 ε와 공평 η 를 이용해 dual pair (X,Y)를 만든 뒤, f가 유도하는 1‑cell X→X 에 대해 shadow 를 적용해 trace 를 구한다. - 이 trace 를 L_rel(f) 로 명명하고, f가 상대 고정점을 전혀 갖지 않을 경우 L_rel(f)=0 임을 보인다. 이는 Theorem A 로 정리된다. 4. **상대 Reidemeister trace 정의** - bicategory Mod 의 일반화인 enriched distributor 를 사용한다. f가 만든 2‑cell Q⊙X→X⊙P 를 shadow 로 보내고, dualizable 1‑cell X와 그 dual Y 를 이용해 trace 를 만든다. - 이 trace 를 R_rel(f) 로 두고, R_rel(f)=0 ⇔ f가 A를 보존하면서 B 전체에서 상대적으로 고정점이 없는 지도와 동형동형적임을 보인다. 이는 Theorem B (역정리)와 일치한다. 5. **Functoriality와 일치성** - symmetric monoidal functor F:StableHomotopy→ChainComplex 등 여러 경우에 대해, F(tr(f))=tr(F(f)) 가 성립함을 증명한다. 이를 통해 상대 Lefschetz 수와 Reidemeister trace 가 서로 다른 모델(동형론, 체인 복합체, stable homotopy 등)에서 동일한 불변량임을 확인한다. - 또한, 기존 문헌에서 제시된 여러 상대 Lefschetz 수·Reidemeister trace 정의와 비교하여, 현재 정의가 “trace‑like” 성질을 가장 완전하게 만족하고, 동시에 Nielsen 수와의 연계도 유지함을 논한다. 6. **역정리 증명** - Klein‑Williams 의 “dual‑pair” 기법을 차용해, 상대 고정점이 없을 경우에 대응하는 상대 Reidemeister trace 가 0임을 보이고, 반대로 trace 가 0이면 적절한 상대 동형을 구성해 고정점을 없앨 수 있음을 증명한다. - 증명 과정에서 cofibration 가정, 차원 제한(dim B≥3, codim A≥2) 등을 이용해 필요한 전이와 압축을 수행한다. 7. **예시와 응용** - 원 S¹와 그 부분구간, 고차원 매니폴드와 하위 매니폴드의 경우를 들어 구체적인 계산을 제시한다. 특히, 항등사상의 상대 Lefschetz 수가 0이 아니며, 이에 대응하는 Reidemeister trace 역시 비제로임을 확인한다. - 또한, Nielsen 수와의 관계를 통해 상대 고정점 하한을 얻는 방법도 간략히 언급한다. 결론적으로, 이 논문은 bicategory with shadows 라는 현대적인 범주론 도구를 이용해 상대 고정점 이론을 체계화하고, 기존의 여러 정의들을 통합·일치시킴으로써 보다 강력하고 계산 가능한 불변량을 제공한다. 이는 고정점 이론, 동형론, 그리고 응용 위상수학(예: 동역학계, 매니폴드 분류) 등 다양한 분야에 새로운 연구 방향을 제시한다.