[논문 리뷰] Motivic Homotopy Theory of Algebraic Stacks

Chirantan Chowdhury|arXiv (Cornell University)|2021. 11. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 3

한 줄 요약

이 논문은 Lurie의 ∞-카테고리 프레임워크와 Liu-Zheng의 개선된 연산 맵을 사용하여, 준분리된 대수적 공간, 몫 스택, 배럴의 모듈리 스택 등 광범위한 대수적 스택의 클래스로 모티빅 호모토피 이론을 확장한다. (2,1)-카테고리 Nis-locSt에서 모티빅 안정 호모토피 카테고리 SH⊗_ext에 대한 여섯 연산 형식을 구축하며, 호모토피 불변성, 국소화, 순수성과 같은 핵심 성질을 증명한다.

ABSTRACT

In this thesis, we extend the definition of motivic homotopy theory from schemes to a large class of algebraic stacks and establish a six functor formalism. The class of algebraic stacks that we consider includes many interesting examples: quasi-separated algebraic spaces, local quotient stacks and moduli stacks of vector bundles. We use the language of ∞-categories developed by Lurie to extend the definition of motivic homotopy theory. Morever, we use the so-called 'enhanced operation map' due to Liu and Zheng to extend the six functor formalism from schemes to our class of algebraic stacks. We also prove that six functors satisfy properties like homotopy invariance, localization and purity.

연구 동기 및 목표

• 스킴에서 광범위한 대수적 스택으로 모티빅 안정 호모토피 카테고리 SH⊗를 확장하는 것.
• ∞-카테고리 프레임워크를 사용하여 대수적 스택에서 SH⊗에 대한 여섯 연산 형식을 구성하는 것.
• 모티빅 호모토피 이론에서 에탈레 내림내림의 실패 문제를 해결하기 위해, 니스네비치 국소 섹션을 갖는 스무스 아틀라스의 클래스를 식별하는 것.
• 확장된 형식에서 핵심 성질인 호모토피 불변성, 국소화, 순수성이 유지됨을 증명하는 것.
• 타이드 조건 없이도 몰입 스택에 대한 SH의 표현 독립적 구성법을 제공하는 것.

제안 방법

• 비함수적 토포의 기술적 문제를 피하기 위해 Lurie의 ∞-카테고리 프레임워크를 사용하여 내림내림과 함의성을 다루는 것.
• 니스네비치 국소 섹션을 갖는 아틀라스를 갖는 대수적 스택의 (2,1)-카테고리 Nis-locSt를 도입하는 것.
• Liu와 Zheng의 개선된 연산 맵을 적용하여 여섯 연산을 스킴에서 Nis-locSt로 확장하는 것.
• ∞-카테고리 설정에서 개선된 연산 맵을 모델링하기 위해 다중단순형 및 다중타일링 단순형 세트를 사용하는 것.
• 니스네비치 국소 섹션을 갖는 스무스 아틀라스의 체호르 네트워크에 대한 극한으로 SH⊗_ext를 구성하는 것.
• abstract 내림내림 이론을 ∞-카테고리에서 사용하여 내림내림과 함의성을 증명하고, 아틀라스 선택에 대한 독립성을 보장하는 것.

실험 결과

연구 질문

• RQ1 모티빅 호모토피 이론은 여섯 연산 형식을 유지하면서 스킴에서 광범위한 대수적 스택으로 확장될 수 있는가?
• RQ2 모티빅 호모토피 이론에서 에탈레 내림내림의 실패 문제를 극복하여 대수적 스택에 대한 SH를 정의할 수 있는가?
• RQ3 ∞-카테고리와 개선된 연산을 사용하여 여섯 연산 f∗, f∗, f!, f!, ⊗, 그리고 Hom을 대수적 스택으로 확장할 수 있는가?
• RQ4 확장된 형식은 호모토피 불변성, 국소화, 순수성과 같은 기본 성질을 만족하는가?
• RQ5 특히 타이드 조건 없이도 몰입 스택에 대한 SH의 구성은 표현의 선택에 독립적인가?

주요 결과

• 모티빅 안정 호모토피 함자 SH⊗는 CAlg(PrL_stb)를 값으로 갖는 ND•(Nis-locSt)op 상의 함자 SH⊗_ext로 확장된다.
• 확장된 형식은 모노이드성, 투사 공식, 기저 변경 동형을 만족한다.
• 호모토피 불변성은 성립한다: π: A1_X → X에 대해 π∗는 전형적이다.
• 국소화가 성립한다: 열린 포함 i: U → X와 닫힌 포함 j: Z → X에 대해, j!j! → id → i∗i∗ 및 i!i! → id → j∗j∗ 형태의 코프라이어 시퀀스가 존재한다.
• 순수성이 성립한다: 스무스하고 분리되고 유한형인 f: X → Y에 대해, Twf라는 자기동형사상이 존재하여 Twf ◦ f! ≅ f∗가 성립한다.
• 정규 번들의 스모스 토포는 Th(Nf) ≅ 1Y(d)[2d] ⊗ − 를 만족하며, 이는 f#(−) ≅ f!(1X(d)[2d] ⊗ −) 를 이끈다.