유도 매니폴드와 교차 이론의 새로운 장

본 논문은 매끄러운 다양체의 범주를 확장해, 전치가 아닌 교차까지도 범주 수준에서 의미 있게 다룰 수 있는 ‘유도 매니폴드(dMan)’라는 새로운 구조를 제시한다. 저자들은 먼저 Lawvere가 제안한 C^∞‑링 이론을 기반으로, simplicial C^∞‑링(동차적인 C^∞‑함수들의 체)을 도입한다. 이러한 simplicial C^∞‑링은 모델 범주론에서 fibrant 객체로 간주되며, 이를 통해 로컬 C^∞‑링드 공간을 정의한다. ‘affine derived manifold’은 유클리드 공간 ℝ^n 위에 유한 개의 매끄러운 함수 f_i: ℝ^n → ℝ를 두고, 그 동차 영집합 Z(f_1,…,f_k)을 고려한 뒤, 해당 영집합에 대한 simplicial C^∞‑링 구조를 부여한 것이다. 이러한 affine 조각들을 가역적으로 패치(patching)함으로써 전역적인 유도 매니폴드가 형성된다. 정의 6.15에서 dMan의 정확한 구성을 제시하고, 이 범주가 simplicial(즉, mapping space가 Kan 복합체)임을 증명한다. 다음으로 저자들은 dMan이 ‘기하학적’ 범주라는 네 가지 공리를 만족함을 보인다. (1) 모든 사상공간이 fibrant simplicial set이며, (2) 전통적인 매니폴드 범주 Man을 완전하게 포함한다. (3) 전치 교차에 대해 기존의 fiber product와 동형인 homotopy pullback을 보존하고, terminal 객체(점)도 보존한다. (4) 기본적인 underlying space functor U: dMan → CG(Compactly generated Hausdorff spaces)가 존재해 위상적 구조를 유지한다. 이러한 공리를 바탕으로, 두 부분매니폴드 A, B ⊂ M (M은 매니폴드) 사이에 전치 여부와 관계없이 homotopy pullback A×_M B가 존재한다. 이를 ‘유도 교차’라 부르며, 전통적인 교차가 매니폴드가 되지 못하는 경우에도 로컬 C^∞‑링 구조가 보존되어 미분기하학적 의미를 유지한다. 유도 매니폴드에 대한 법선 번들(stable normal bundle)을 정의하고, 이를 이용해 모든 유도 매니폴드가 충분히 높은 차원의 Euclidean 공간 ℝ^N에 매립될 수 있음을 증명한다. 이 매립 정리는 Whitney 임베딩 정리와 유사하지만, 유도 구조를 보존하는 강한 형태이다. 코보딤 이론을 확장하기 위해 ‘derived cobordism’이라는 새로운 동형 관계를 도입한다. dMan의 컴팩트 객체들 사이에 정의된 이 관계는 전통적인 코보딤 링 Ω와 자연스럽게 연결되며, i_*: Ω → Ω^der이 주입(injection)임을 보인다. Pontrjagin‑Thom 전개를 유도 매니폴드에 적용해, Ω^der와 Ω가 동형임을 증명한다(정리 2.6, 정리 3.13 등). 따라서 모든 유도 매니폴드에는 고전 코보딤과 동일한 기본 클래스가 존재한다. 가장 중요한 결과는 컵곱 공식 \