복잡 코버넌스 이론의 랜드베버 정확 형식군법을 이용한 매끄러운(cohomology) 확장

본 논문은 복잡 코버넌스 이론 MU의 차분(매끄러운) 확장을 체계적으로 구축하고, 이를 이용해 랜드베버 정확 형식군법을 만족하는 모든 MU\(^*\)-모듈에 대해 매끄러운 확장을 얻는 방법을 제시한다. 1. **배경 및 목표** 차분(cohomology) 확장은 일반화된 코호몰로지 이론에 미분 형식 데이터를 결합한 구조로, 기존에 CS85, Bry93, HS05 등에서 다양한 경우가 연구되었다. 복잡 코버넌스 MU는 복잡 구조와 정밀한 형식군법을 갖는 대표적인 복합 이론이며, 이에 대한 매끄러운 확장은 아직 완전히 정립되지 않았다. 저자들은 이를 보완하고, 곱 구조와 푸시다운(통합) 사상을 포함하는 완전한 모델을 제공한다. 2. **매끄러운 확장의 일반 정의** 정의 2.2와 2.3에서 매끄러운 확장은 세 개의 자연 변환 \(R:\hat{h}\to\Omega^{\text{closed}}\), \(I:\hat{h}\to h\), \(a:\Omega/\operatorname{im}d\to\hat{h}\)를 갖는 함자이며, 정확한 시퀀스와 교환법칙을 만족한다. 곱 구조가 존재하려면 \(\hat{h}\)가 링 함자이고, \(R\), \(I\)가 곱을 보존하며, \(a\)가 형태와 곱을 교환해야 한다. 3. **\(\hat{MU}\)의 사이클 모델** 저자들은 사이클을 “정상 번들에 U(n)‑구조와 연결을 부여한 적절한 차원 차이를 갖는 매끄러운 지도 \(W\to M\)” 로 정의한다. 등가 관계는 bordism이며, 정상 번들의 연결을 통해 차분 형식 \(\Omega\)와 연결한다. 이 모델은 기존의 스펙트럼적 정의와 동형이며, 곱 구조는 외적을 이용해 사이클을 합성함으로써 정의된다. 4. **매끄러운 MU‑오리엔테이션과 푸시다운** 정의 4.27에서 ‘매끄러운 MU‑오리엔테이션’은 정상 번들의 연결 형태 \(A(o_p)\in\Omega(V,R_R)\)를 제공한다. 이를 이용해 적분 사상 \(p_!:\hat{MU}(V)\to\hat{MU}(A)\)를 정의하고, 투사 공식 \(p_!(p^*x\cup y)=x\cup p_!y\), 베이스 체인지, 합성 공식 등을 증명한다. 이러한 구조는 차분 코호몰로지 이론에서 필수적인 ‘통합’ 연산을 완전히 구현한다. 5. **랜드베버 정확 함자 정리 적용** 랜드베버 정리(정리 2.1)는 MU‑코모듈 \(M\)와 랜드베버 정확 형식군법 \((R,g)\)에 대해 \(\operatorname{Tor}^{MU^*}_i(M,R)=0\)임을 보인다. 이를 이용해 \(\hat{R}(B):=\hat{MU}(B)\otimes_{MU^*}R\)가 매끄러운 확장의 구조 사상들을 텐서 곱으로 승계함을 증명한다. 특히 \(\Omega(B,R_R)\)와 \(\hat{R}(B)\) 사이의 정확한 시퀀스는 \(\operatorname{Tor}\) 소거에 의해 보장된다. 푸시다운 사상 역시 \(\hat{R}(V)=\hat{MU}(V)\otimes R\)에 대해 동일하게 정의되며, 투사 공식과 베이스 체인지, 합성 공식이 그대로 유지된다. 6. **다양한 예와 응용** - **매끄러운 K‑이론**: 복잡 K‑이론은 MU와의 복합 오리엔테이션을 통해 \(\hat{K}\)를 정의할 수 있다. 이는 기존 BS07, BS09에서 다룬 매끄러운 K‑이론과 동형이며, 여기서는 랜드베버 정확성을 이용해 자연스럽게 유도된다. - **타 형식군법**: 타원 코호몰로지, 복소 K‑이론 등 랜드베버 정확을 만족하는 다른 MU\(^*\)-모듈에도 동일한 절차를 적용할 수 있다. 7. **유일성 및 비교** 저자들은 이전 연구인 Hopkins‑Singer(HS05)와의 비교를 통해, 현재 구축한 \(\hat{MU}\)가 동일한 유일성 클래스를 갖지만, 여기서는 곱 구조와 적분을 명시적으로 구현한다는 점을 강조한다. 또한 BS09에서 제시한 일반적인 유일성 정리와도 일치한다. 8. **결론** 논문은 복잡 코버넌스 MU에 대한 매끄러운 확장을 사이클 모델로 명시적으로 구축하고, 랜드베버 정확 함자 정리를 통해 모든 랜드베버 정확 MU\(^*\)-모듈에 대해 곱 구조와 푸시다운을 보존하는 매끄러운 확장을 제공한다. 이는 차분 코호몰로지 이론의 범위를 크게 확장하며, 특히 매끄러운 K‑이론과 같은 중요한 예시를 새로운 관점에서 이해하게 한다.