[논문 리뷰] Homotopical and Higher Categorical Structures in Algebraic Geometry

Bertrand Toën|arXiv (Cornell University)|2003. 12. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 18

한 줄 요약

이 논문은 세갈 카테고리, 쿠아지-카테고리, 및 $S$-카테고리들을 통해 호모토피론적이고 고차원 카테고리적 구조를 대수적 기하학에 도입하며, 유도된, 비유계의, 그리고 브레이브 뉴 대수적 기하학을 통합한다. 이는 호모토피론적 모델 간의 추측적 퀼렌 동치를 수립함으로써 고차원 대수적 기하학과 호모토피론적 맥락에서의 탄카니안 이중성 이론을 위한 프레임워크를 제공한다.

ABSTRACT

This a slightly expended version of my habilitation thesis, which is an overview of my research activities during the last 4 years, written in a rather informal style.

연구 동기 및 목표

• 고전적 구조를 고차원 카테고리적 및 호모토피론적 환경으로 확장함으로써 대수적 기하학을 위한 호모토피론적 프레임워크를 개발한다.
• 유도된, 비유계의, 브레이브 뉴 대수적 기하학을 동일한 고차원 카테고리어진 언어로 통합한다.
• 세갈 카테고리에 대한 탄카니안 이중성 이론을 수립함으로써 고전적 탄카니안 이중성의 일반화를 시도한다.
• 스키마티제이션과 호지 이론적 관점에서 대수적 다양체의 호모토피 유형을 연구한다.
• 모델 범주와 도리피어를 통해 호모토피 이론, 고차원 카테고리, 대수적 기하학 간의 상호작용을 탐색한다.

제안 방법

• $(∞,1)$-카테고리에 대한 모델로 세갈 카테고리를 사용하며, 세갈 조건을 만족하는 단순 공간으로 정의된다.
• 등차원자와 텐서곱을 통해 쿠아지-카테고리, 완전한 세갈 공간, 및 $S$-카테고리 간의 수반 관계를 수립한다.
• $S$-카테고리에서 코프리미티브 해상 함수자 ($\Gamma^*$)를 적용하여 $CSS$와 $S$-카테고리 간의 관계를 규명한다.
• 단순 첨가 함수자와 모델 구조를 사용하여 세갈 토포이의 호모토피 유형을 정의하고 그 성질을 연구한다.
• 함수자 $\Pi$를 통한 $PrCat$의 단순 첨가 구조를 도입함으로써 단순 모델 범주 구조를 정의한다.
• 쿠아지-카테고리, 완전한 세갈 공간, $S$-카테고리의 모델 범주 간에 추측적 퀄렌 동치를 제안한다.

실험 결과

연구 질문

• RQ1 고전적 대수적 기하학은 어떻게 호모토피론적이고 고차원 카테고리적 구조를 통합할 수 있는가?
• RQ2 대수적 기하학의 맥락에서 쿠아지-카테고리, 완전한 세갈 공간, $S$-카테고리 간의 정확한 관계는 무엇인가?
• RQ3 탄카니안 이중성은 세갈 카테고리로 일반화될 수 있으며, 고전적 탄카니안 이중성과의 관계는 어떠한가?
• RQ4 대수적 다양체에 관련된 호모토피 유형은 무엇이며, 호지 이론과 어떻게 관련되는가?
• RQ5 세갈 카테고리, 완전한 세갈 공간, $S$-카테고리의 모델 범주는 $(∞,1)$-카테고리에 대한 퀄렌 동치 모델을 얼마나 잘 형성하는가?

주요 결과

• 논문은 쿠아지-카테고리의 모델 범주와 세갈 카테고리의 모델 범주 간에 추측적 퀄렌 동치를 제안한다.
• 완전한 세갈 공간과 $S$-카테고리 간에 퀄렌 동치를 추측하며, 이는 고차원 카테고리에 대한 통합적 프레임워크를 시사한다.
• $CSS$와 $S$-카테고리 간의 수반 관계는 $\Gamma^*$-해상과 $\Gamma$ 위에서의 텐서곱을 포함하는 등차원자를 통해 구성되며, 추측적 퀄렌 동치를 수반한다.
• 함수자 $\Pi$를 사용하여 $PrCat$에 단순 모델 범주 구조를 정의함으로써 카테고리의 호모토피론적 첨가를 가능하게 한다.
• 세갈 카테고리에 대한 탄카니안 이중성 이론이 개발되었으며, 이는 고전적 결과를 호모토피론적 맥락으로 일반화한다.
• 논문은 고차원 대수적 기하학을 위한 개념적 프레임워크를 제공하며, 유도된, 비유계의, 브레이브 뉴 대수적 기하학을 동일한 고차원 카테고리어진 언어로 통합한다.