[논문 리뷰] A characterization of categories of coherent sheaves of certain algebraic stacks

Daniel Schäppi|arXiv (Cornell University)|2012. 06. 13.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 22

한 줄 요약

이 논문은 약한 Tannakian 범주에 대한 일반화된 Tannakian 인식 정리에 의해 특정 대수적 스택 위의 일관성 섹션 범주의 특성화를 수립한다. 이는 이러한 범주들이 Adams Hopf 대수체 위의 comodule 범주로 나타남을 증명하며, 대수적 스택의 섹션 범주로부터의 범주적 재구성과 Richard Pink의 Fontaine–Laffaille 필터링 모듈에 대한 추측을 해결한다.

ABSTRACT

Under certain conditions, a scheme can be reconstructed from its category of quasi-coherent sheaves. The Tannakian reconstruction theorem provides another example where a geometric object can be reconstructed from an associated category, in this case the category of its finite dimensional representations. Lurie's result that the pseudofunctor which sends a geometric stack to its category of quasi-coherent sheaves is fully faithful provides a conceptual explanation for why this works. In this paper we prove a generalized Tannakian recognition theorem, in order to characterize a part of the image of the extension of the above pseudofunctor to algebraic stacks in the sense of Naumann. This allows us to further investigate a conjecture by Richard Pink about categories of filtered modules, which were defined by Fontaine and Laffaille to construct p-adic Galois representations. In order to do this we give a new characterization of Adams Hopf algebroids, which also allows us to answer a question posed by Mark Hovey.

연구 동기 및 목표

• 약한 Tannakian 범주를 사용하여 대수적 스택 위의 일관성 섹션 범주에 대한 범주적 특성화를 제공한다.
• 기하학적 스택을 대칭 모노이드 아벨 범주로의 Lurie의 준함수적 통합을, 섹션 함수를 통한 방법으로 대수적 스택으로 일반화한다.
• Richard Pink이 제기한 Fontaine–Laffaille 필터링 모듈의 범주에 관한 추측을, Adams 스택의 2-범주 내에서의 bicolimit로 식별하여 해결한다.
• Tannakian dual리를 사용하여 Adams Hopf 대수체의 새로운 특성화를 제시하며, Mark Hovey가 제기한 질문에 답한다.

제안 방법

• 기본환 R 위의 대칭 모노이드 아벨 범주이자, 어떤 R-대수 B에 대한 Mod_B로의 섹션 함수를 갖는 약한 Tannakian 범주 개념을 도입한다.
• 일반화된 Tannakian 인식 정리를 적용하여 모든 약한 Tannakian 범주는 대수적 스택 위의 일관성 섹션 범주와 동치임을 보인다.
• 좌측 칸 확장과 Beck의 comonadicity 정리를 사용하여 Hopf 대수체 위의 comodule 범주의 보편 성질을 확립한다.
• 내부 군의 범주를 이용하여 스택을 이중 범주적 국소화로 특성화하며, 모나드의 형식 이론과 준함수를 활용한다.
• 인식 정리를 대칭 모노이드 아벨 범주의 2-범주에 적용하여 대수적 스택을 완전 충실하게 통합한다.
• 커버링의 핵심 쌍에 대한 내림내림 데이터를 사용하여 Adams 스택의 다이어그램의 bicolimit를 계산함으로써, 필터링 모듈의 범주를 bilimit로 실현한다.

실험 결과

연구 질문

• RQ1 어떤 대칭 모노이드 아벨 범주가 대수적 스택 위의 일관성 섹션 범주로 나타나는가?
• RQ2 Fontaine–Laffaille 이론의 필터링 모듈의 범주는 2-범주인 Adams 스택 내에서 어떻게 범주적으로 특성화될 수 있는가?
• RQ3 어떤 조건이 Hopf 대수체의 comodule 범주가 약한 Tannakian이 되도록 보장하는가?
• RQ4 대수적 스택 위의 일관성 섹션 범주는 그 섹션 함수와 dualizability 조건으로부터 재구성될 수 있는가?
• RQ5 Fontaine–Laffaille 이론에서 필터링 모듈의 범주가 지닌 정확한 범주적 구조는 무엇인가?

주요 결과

• 모든 약한 Tannakian 범주는 기본환 R 위의 대수적 스택 위의 일관성 섹션 범주와 동치이다.
• 평탄한 Hopf 대수체 (A, Γ)에 관련된 스택 위의 일관성 섹션 범주는 A가 일관성일 경우, (A, Γ) 위의 comodule 범주와 동치이다.
• Fontaine–Laffaille 이론의 필터링 모듈의 범주는 Adams 스택의 2-범주 내에서 bicolimit로 실현되며, 이는 Pink의 추측을 확인한다.
• Adams Hopf 대수체는 comodule 범주가 약한 Tannakian이면서, 풍부한 섹션 함수를 갖는 Hopf 대수체로 특성화된다.
• 기하학적 스택을 그의 준가환 섹션 범주로 보내는 준함수는 완전 충실하며, Lurie의 결과를 대수적 스택으로 확장한다.
• 초확장적 사이트 위의 준함수의 관련 스택은 이중 범주적 국소화에 대해 보존되며, 이는 내림내림과 쌍기둥의 호환성을 보장한다.