[논문 리뷰] Comparison of cobordism theories

Marc Levine|ArXiv.org|2008. 07. 14.

Algebraic Geometry and Number Theory참고 문헌 3인용 수 11

한 줄 요약

이 논문은 특성 0인 체 위의 모든 준사영 대상에 대해 대수적 코버던스 $Ω_*$가 Borel-Moore 호몰로지 이론 $τ_{’}^{\text{MGL}}_{2*,*}$ 와 동형임을 입증한다. 이는 Hopkins-Morel 스펙트럴 시퀀스와 차원에 대한 귀납법을 사용하여 이루어지며, 동형사상은 자연스럽고 기존에 알려진 체 위에서의 동형사상으로 확장된다. 이는 대수적 코버던스가 이 설정에서 유일한 방향이 부여된 Borel-Moore 호몰로지 이론임을 확인한다.

ABSTRACT

Relying on results of Hopkins-Morel, we show that, for $X$ a quasi-projective variety over a field of characteristic zero, the canonical map $Ω_n(X) o MGL_{2n,n}'(X)$ is an isomorphism. Here $Ω_*(X)$ is the theory of algebraic cobordism defined by Levine-Morel, and $MGL_{*,*}'$ is the Borel-Moore homology version of the theory of algebraic cobordism defined via the algebraic Thom complex in the Morel-Voevodsky motivic stable homotopy category.

연구 동기 및 목표

• 특성 0인 체 위의 모든 준사영 대상으로부터 기존의 대수적 코버던스와 $τ^{ ext{MGL}}_{2*,*}$ 사이의 동형사상을 체에서 일반화한다.
• 준사영 $k$-스키마의 범주에서 자연 변환 $τ_{’}^{ ext{MGL}}: Ω_* \to \operatorname{MGL}'_{2*,*}$ 가 동형임을 입증한다.
• 차원에 대한 귀납법을 사용하여, 모티브 코hom로지의 국소화 시퀀스와 경계 사상들을 통해 이를 증명한다.
• Hopkins-Morel 스펙트럴 시퀀스를 활용하여, 체 $k$ 위의 유한 생성 체 $F$ 에 대해 $τ^{ ext{MGL}}_{2n,n}(F)$ 와 $τ^{ ext{MGL}}_{2n-1,n}(F)$ 의 생성자를 계산한다.
• τ^{ ext{MGL}}_{*,*}$-이론의 경계 사상에 상응하는 기하적 디바이저 클래스 사상 $Ω_*$ 에서 정의하여, 동형사상과의 호환성을 확보한다.

제안 방법

• 체 $F$ 가 $k$ 위의 유한 생성 체일 때, $τ^{ ext{MGL}}_{2n,n}(F)$ 와 $τ^{ ext{MGL}}_{2n-1,n}(F)$ 의 생성자를 계산하기 위해 Hopkins-Morel 스펙트럴 시퀀스 $E^{p,q}_2(n) = H^{p-q,n-q}(F) \otimes \mathbb{L}^q \Rightarrow \operatorname{MGL}^{p+q,n}(F)$ 를 사용한다.
• 스키마 $X$ 의 차원에 대한 귀납법을 적용하여, 국소화 시퀀스를 통해 동형사상의 주장이 낮은 차원의 스트라타로 환원된다.
• 잔여 체에서의 단위원에 대응하는 클래스를 정의하기 위해, 블로우업과 당김을 사용하여 ${\rm div}^\Omega_i: \mathbb{Z}[k(x_i)^\times] \otimes \mathbb{L}_* \to \Omega_{*+d-1}^{(1)}(X)$ 라는 기하적 디바이저 사상을 구성한다.
• Gysin 시퀀스와 푸시포워드의 자연성에 기반하여, 디바이저 사상이 $τ^{ ext{MGL}}_{*,*}$-이론의 경계 사상과 호환됨을 확보한다.
• 디바이저 사상과 $τ^{ ext{MGL}}_{*,*}$-이론의 경계 사상 사이를 연결하는 핵심 다이어그램 (6.1) 이 교차함을 검증하여, 변환의 단사성을 증명한다.
• Hopkins-Morel 스펙트럴 시퀀스의 존재에 의존하며, 이는 전체 구축이 완료된 상태에서의 결과로 간주된다.

실험 결과

연구 질문

• RQ1 특성 0인 체 위의 모든 준사영 대상에 대해 자연 변환 $\vartheta_{\text{MGL}'}: \Omega_* \to \operatorname{MGL}'_{2*,*}$ 는 동형인가?
• RQ2 체 위에서의 대수적 코버던스와 $τ^{ ext{MGL}}_{2*,*}$ 사이의 동형사상은 차원에 대한 귀납법을 통해 모든 준사영 스킴으로 확장 가능한가?
• RQ3 $τ^{ ext{MGL}}_{*,*}$-이론의 경계 사상은 $Ω_*$ 에서의 기하적 디바이저 클래스와 어떻게 관련되는가?
• RQ4 Hopkins-Morel 스펙트럴 시퀀스는 $k$ 위의 유한 생성 체 $F$ 에 대해 $τ^{ ext{MGL}}_{2n,n}(F)$ 와 $τ^{ ext{MGL}}_{2n-1,n}(F)$ 의 호몰로지 군을 계산하는 데 어떤 역할을 하는가?
• RQ5 $τ^{ ext{MGL}}_{*,*}$-이론의 경계 사상에 상응하는 기하적 디바이저 클래스 사상을 $Ω_*$ 에서 정의할 수 있으며, 이는 푸시포워드와의 호환성을 유지하는가?

주요 결과

• 특성 0인 체 $k$ 를 가진 모든 준사영 $k$-스키마에서 자연 변환 $\vartheta_{\text{MGL}'}: \Omega_* \to \operatorname{MGL}'_{2*,*}$ 는 동형이다.
• 동형사상은 차원에 대한 귀납법을 통해 증명되며, $\Omega_*$ 에 대한 국소화 시퀀스의 우측 완전성과 경계 사상과의 호환성에 기반한다.
• 경계 사상 $\partial: \operatorname{MGL}'_{2n+1,n}(k(X)) \to \varinjlim_{W \subset X} \operatorname{MGL}'_{2n,n}(W)$ 는 [3] 에서의 디바이저 클래스로 표현되며, 핵의 기하적 제어를 가능하게 한다.
• 디바이저 클래스 사상 ${\rm div}^\Omega_i$ 는 $\mathbb{Z}[k(x_i)^\times] \otimes \mathbb{L}_*$ 에서 잘 정의되며, $i_* \circ {\rm div}^\Omega_i = 0$ 를 만족하여, codimension-one 스트라타의 포함과의 호환성을 보장한다.
• 다이어그램 (6.1) 이 교차하므로, $\Omega_*$ 에서의 기하적 디바이저 사상이 $\operatorname{MGL}'_{*,*}$ 의 경계 사상으로 올라간다. 이는 단사성을 증명하는 데 필수적이다.
• 결과는 Hopkins-Morel 스펙트럴 시퀀스의 존재에 의존하므로, 이의 전체 구축에 의존한다. 그러나 프레임워크는 그 외에는 완전하고 자율적이다.