[논문 리뷰] Tensor categorical foundations of algebraic geometry

Martin Brandenburg|arXiv (Cornell University)|2014. 10. 07.

Algebraic structures and combinatorial models인용 수 27

한 줄 요약

이 논문은 준층의 텐서 범주로부터 스킴과 대수적 스택을 재구성할 수 있음을 보여줌으로써 대수기하학에 대한 텐서 범주적 기반을 수립한다. 완비 텐서 범주를 사용하여, 애매한 사상, 사영 매입, 블로우업, 피복 곱과 같은 고전적 구성들을 보편 성질을 통해 일반화한다. 이는 모듈리 공간이 그 보편 성질을 통해 텐서 범주와 대응됨을 드러낸다.

ABSTRACT

Tannaka duality and its extensions by Lurie, Schäppi et al. reveal that many schemes as well as algebraic stacks may be identified with their tensor categories of quasi-coherent sheaves. In this thesis we study constructions of cocomplete tensor categories (resp. cocontinuous tensor functors) which usually correspond to constructions of schemes (resp. their morphisms) in the case of quasi-coherent sheaves. This means to globalize the usual local-global algebraic geometry. For this we first have to develop basic commutative algebra in an arbitrary cocomplete tensor category. We then discuss tensor categorical globalizations of affine morphisms, projective morphisms, immersions, classical projective embeddings (Segre, Plücker, Veronese), blow-ups, fiber products, classifying stacks and finally tangent bundles. It turns out that the universal properties of several moduli spaces or stacks translate to the corresponding tensor categories.

연구 동기 및 목표

• 지역-전반 원리의 일반화를 위한 전역적, 텐서 범주적 프레임워크를 개발하는 것.
• 고전적 기하학적 구성(예: 블로우업, 사영 매입)이 완비 텐서 범주 내에서 보편 성질로부터 재구성될 수 있음을 보이는 것.
• 타난카 이중성과 루리에의 작업을 확장하여, 준층의 텐서 범주를 통해 스킴과 대수적 스택을 특성화하는 것.
• 임의의 완비 텐서 범주 내에서 내림내림, 국소화, 코homology에 대한 형식화를 제공하는 것.
• 모듈리 공간과 분류 스택이 그에 대응하는 텐서 범주의 보편 성질을 통해 기하학적 구조를 어떻게 나타내는지 보여주는 것.

제안 방법

• 완비 텐서 범주에서의 교환 대수학을 다루며, 대수, 모듈, 아이디얼, 이중가능한 대상 등을 포함한다.
• 자유 구성, 예를 들어 완비화, 인디제이션, 주어진 범주 위의 텐서 범주를 도입한다.
• 스택과 완비 텐서 범주 사이의 수반 관계를 적용하여 기하학적 대상을 그 텐서 범주로부터 재구성한다.
• 아이디얼과 절단에서의 국소화 기법을 사용하여, 텐서 범주로부터 스킴을 일반화한 구성법을 확장한다.
• 모노이드 모나드와 그 모듈을 이론화하여, 피복 곱, 탄젠트 범주와 같은 기하학적 대상을 정의하고 연구한다.
• 보편 성질을 사용하여, 세그레, 베론네, 플루커 매입과 같은 구성들을 텐서 범주적 맥락에서 정의하고 특성화한다.

실험 결과

연구 질문

• RQ1 대수기하학의 고전적 기하학적 구성이, 그에 대응하는 텐서 범주의 보편 성질만으로 재구성될 수 있는가?
• RQ2 준층의 범주가 완비 텐서 범주로 간주될 때, 스킴이나 대수적 스택의 개념을 어떻게 일반화할 수 있는가?
• RQ3 완비 텐서 범주 내에서 어떤 보편 성질이 블로우업, 피복 곱, 사영 매입과 같은 표준 기하 연산과 대응하는가?
• RQ4 코homology, 내림내림, 국소화가 임의의 완비 텐서 범주 내에서 얼마나 포괄적으로 형식화될 수 있는가?
• RQ5 모듈리 공간과 분류 스택은 그에 대응하는 텐서 범주의 보편 성질을 통해 어떻게 기하학적 구조를 나타내는가?

주요 결과

• 논문은 스킴과 대수적 스택이 완비 텐서 범주인 준층의 텐서 범주에 의해 완전히 결정됨을 수립하며, 가브리엘의 재구성 정리의 일반화를 이룬다.
• 애매한 사상, 임베딩, 사영 사상은 텐서 범주적 프레임워크 내에서 보편 성질을 통해 특성화된다.
• 고전적 사영 매입—세그레, 베론네, 플루커—는 완비 텐서 범주 내에서 보편 구성으로 재구성된다.
• 블로우업은 텐서 범주적 맥락에서 보편 성질을 통해 특성화되며, 고전적 구성의 일반화를 이룬다.
• 스킴의 피복 곱은 완비 텐서 범주의 텐서 기반의 변경을 통해 복원된다.
• 스킴의 탄젠트 번들은 준층의 텐서 범주에 대한 탄젠트 범주의 텐서 범주적 구성으로 실현된다.