[논문 리뷰] Bivariant theories in motivic stable homotopy

Frédéric Déglise|arXiv (Cornell University)|2017. 05. 03.

Algebraic Geometry and Number Theory참고 문헌 39인용 수 13

한 줄 요약

이 논문은 모티빅 스테이블 호모토피 이론에서 이변량 이론 프레임워크를 수립하여, 기저 체가 필요 없이 일반적인 스킴(특이 또는 비특이)에 대해 코homology와 호모로지의 통합을 가능하게 한다. 전역 완전교차 사상에 대한 표준 기본 클래스를 통해 Gysin 사상, 리만-로흐 공식, 이중성 동형사상 등을 구축한다. 이는 여섯 함수자 formalism과 절대 링 스펙트럼을 사용하여 수행된다.

ABSTRACT

The purpose of this work is to study the notion of bivariant theory introduced by Fulton and MacPherson in the context of motivic stable homotopy theory, and more generally in the broader framework of Grothendieck six functors formalism. We introduce several kinds of bivariant theory associated with a suitable ring spectrum and we construct a system of orientations (called fundamental classes) for global complete intersection morphisms between arbitrary schemes. This fundamental classes satisfies all the expected properties from classical intersection theory and lead to Gysin morphisms, Riemann-Roch formulas as well as duality statements, valid for general schemes, including singular ones and without need of a base field.

연구 동기 및 목표

• 플럿과 맥퍼슨의 이변량 형식론을 모티빅 스테이블 호모토피 이론과 여섯 함수자 형식론으로 확장한다.
• 기저 체가 없이도 일반적인 스킴(특이 스킴 포함)에서 전역 완전교차 사상에 대한 표준 기본 클래스를 구축한다.
• 기저 체 가정 없이 일반 스킴에 대해 유효한 Gysin 사상, 리만-로흐 공식, 이중성 정리들을 수립한다.
• 기본 및 일반화된 코homology 이론(예: 대수적 K-이론, 코버드리즘, 에테ール 코homology 등)을 하나의 이변량 프레임워크 안에서 통합한다.
• 절대 링 스펙트럼과 그 여섯 함수자 형식론과의 호환성을 통해 이변량 이론의 체계적인 다루기를 제공한다.

제안 방법

• 기하학적 삼각형 모티빅 범주에서 아벨 군의 교환 모노이드의 카르테시안 섹션으로서 절대 링 스펙트럼을 도입하며, A¹-호모토피 및 P¹-안정성 공리를 만족시킨다.
• 스킴 위의 섬세한 삼각형 범주에서 f*, f*, f!, f!, ⊗, 및 Hom을 사용하여 여섯 함수자 형식론을 통해 표현 가능한 코homology로부터 이변량 이론을 구성한다.
• 방향성 자료를 사용하여 전역 완전교차 사상에 대한 추상적 기본 클래스를 정의하고, 고전적 Gysin 사상의 일반화를 이룬다.
• 상대적 이중화 복합체를 통해 이중성 동형사상을 적용하여 Borel-Moore 코hom로지와 컴act support 코hom로지 이론 간의 동형사상을 확립한다.
• 링 스펙트럼 간의 토드 클래스 변환을 통해 리만-로흐 공식을 유도하며, 기저 변경 및 이중성과의 호환성을 확보한다.
• 여섯 함수자 형식론을 사용하여, 모든 네 종류의 이변량 이론(코homology, Borel-Moore, 컴팩트 지지, 이중)이 매끄럽고 닫힌 사상에서 표준 동형사상으로 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 플럿과 맥퍼슨의 이변량 형식론을 어떻게 모티빅 스테이블 호모토피 이론으로 확장할 수 있는가?
• RQ2 일반적인 스킴에서 전역 완전교차 사상에 대한 기본 클래스 존재를 보장하는 조건은 무엇인가?
• RQ3 기저 체가 없이도 이변량 구조에서 Gysin 사상과 리만-로흐 공식은 어떻게 유도되는가?
• RQ4 이중성 동형사상은 Borel-Moore, 컴팩트 지지, 이중 코hom로지 이론을 어떻게 통합하는가?
• RQ5 여섯 함수자 형식론과 절대 링 스펙트럼은 어떻게 표현 가능한 코homology를 이변량 이론으로 자연스럽게 확장하는가?

주요 결과

• 논문은 일반적인 스킴 간 전역 완전교차 사상에 대해 모든 고전적 교차 이론의 기대되는 성질을 만족하는 표준 기본 클래스를 구축한다.
• 전역 완전교차에 대한 방향성 체계(기본 클래스)를 수립하여, 매끄럽거나 기저 체가 없는 상황에서도 Gysin 사상의 정의를 가능하게 한다.
• 모든 매끄럽고 닫힌 사상 $ f: X o S $ 에 대해, 네 종류의 이변량 이론—코homology, Borel-Moore, 컴팩트 지지, 이중—은 표준 동형사상으로 일치한다.
• 이중성 동형사상은 고전적 결과(예: K-이론의 지지가 있는 이중성)를 복원하며, 이를 특이 스킴로까지 확장한다.
• 리만-로흐 공식은 전반적으로 증명되었으며, 기저 변경 및 이중성과 호환되는 토드 클래스 변환 $ ext{Td}_ ho $ 가 존재한다.
• 이중성 동형사상은 수신 호모로지와 컴팩트 지지가 있는 모티빅 코hom로지의 동일시를 가능하게 하여, 이전 결과를 특이 스킴에 대해 특이점 해소 없이까지 확장한다.