[논문 리뷰] Virtual fundamental classes of derived stacks I

Adeel A. Khan|arXiv (Cornell University)|2019. 09. 03.

Algebraic Geometry and Number Theory참고 문헌 36인용 수 16

한 줄 요약

이 논문은 에테ール 동역학적 Borel–Moore 호모로지와 유도된 내재 정규 쌍곡선의 변형을 사용하여 준가역적 유도된 아르틴 스택에 대한 가상 기본류를 구성한다. 이는 유도된 대수적 기하학의 틀에서 함수적 성질, 기저 변경, 여유 교차, 그로텐디크–리만–로흐 공식을 수립하며, 비전이적 베조우 정리와 아르틴 스택에 대한 절대 투명성의 증명을 제시하여, 가브너의 결과를 고전적 경우를 초월하여 일반화한다.

ABSTRACT

We construct the étale motivic Borel-Moore homology of derived Artin stacks. Using a derived version of the intrinsic normal cone, we construct fundamental classes of quasi-smooth derived Artin stacks and demonstrate functoriality, base change, excess intersection, and Grothendieck-Riemann-Roch formulas. These classes also satisfy a general cohomological Bézout theorem which holds without any transversity hypotheses. The construction is new even for classical stacks and as one application we extend Gabber's proof of the absolute purity conjecture to Artin stacks.

연구 동기 및 목표

• 유도 대수기하학을 사용하여 준가역적 유도된 아르틴 스택에 대한 가상 기본류 이론을 개발하기 위해.
• 내재 정규 쌍곡선의 구성 방식을 유도 스택으로 일반화하여, 비에르렌–판테키의 이론에 대한 유도된 변형을 가능하게 하기 위해.
• 유도된 설정에서 가상 클래스에 대한 함수적 성질, 기저 변경, 여유 교차 공식을 수립하기 위해.
• 전이 조건 없이 코homological 베조우 정리를 제시하고, 고전적 교차 이론을 확장하기 위해.
• 유도 방법을 사용하여 가브너의 절대 투명성 추측을 아르틴 스택의 설정으로 확장하기 위해.

제안 방법

• 바이오바드스키의 안정 모티브 호모토피 체계와 그 유도 스킴로의 확장을 사용하여, 유도된 아르틴 스택에 대한 에테ール 모티브 호모로지를 구성한다.
• 기존 구성의 일반화로서, 유도된 내재 정규 쌍곡선을 유도 스택 위의 벡터 번들의 스택으로서 도입한다.
• 정규 번들의 스택으로의 변형을 사용하여 전문화 사상을 정의하고, 가상 기본류의 구성에 이를 활용한다.
• 전문화 사상에 의해 유도된 고스킨 맵을 사용하여, 가상 기본류를 호모로지의 단위 원소의 상으로 정의한다.
• 벡터 번들의 스택에 대한 호모토피 불변성과 푸앵카레 dual을 활용하여, 가상 클래스가 내재 기하학적 자료와 관련됨을 밝힌다.
• 기저 변경과 투명성 포함한 여섯 연산 프레임워크를 유도된 아르틴 스택에 적용하여 함수적 성질 및 호환성 결과를 증명한다.

실험 결과

연구 질문

• RQ1 준가역적 유도된 아르틴 스택에 대해 가상 기본류를 어떻게 구성할 수 있으며, 이는 고전적 경우를 일반화할 수 있는가?
• RQ2 내재 정규 쌍곡선의 유도된 동반체는 무엇이며, 기저 변경과 복합에 대해 어떻게 행동하는가?
• RQ3 전이 조건 없이 유도된 설정에서 비전이적 베조우 정리를 어떻게 제시하고 증명할 수 있는가?
• RQ4 여섯 연산 프레임워크는 어떻게 확장되어 모티브 호모로지와 고스킨 맵을 지원하는가?
• RQ5 유도 대수기하학을 사용하여 가브너의 절대 투명성 추측을 아르틴 스택로 확장할 수 있는가?

주요 결과

• 가상 기본류 $[\mathcal{X}/\mathcal{Y}]^{\mathrm{vir}}$ 는 정규 번들의 스택으로의 변형에 의해 유도된 고스킨 맵에 의해 모티브 Borel–Moore 호모로지의 단위 원소의 상으로 구성된다.
• 이 구성은 함수적 성질과 기저 변경을 만족하며, 고스킨 맵 $f^!$ 은 전문화 사상과 호모토피 불변성을 통해 정의된다.
• 전이 조건 없이 일반적인 코homological 베조우 정리가 성립하며, 가상 클래스는 임의의 기저 변경에 대해 안정적이다.
• 가상 클래스는 여유 교차 공식 및 그로텐디크–리만–로흐 공식과 호환되며, 고전 결과를 유도 설정으로 확장한다.
• 논문은 유도 기법과 모티브 호모토피 이론에서의 여섯 연산을 사용하여 가브너의 증명을 확장함으로써 아르틴 스택에 대한 절대 투명성을 증명한다.
• 유도된 여섯 연산, 특히 투명성과 기저 변경은 유도된 아르틴 스택로 확장되었으며, 역전환 변환과 오일러 클래스는 모티브 카테고리 위의 자연 변환을 통해 정의된다.