[논문 리뷰] Sheafification of linear functors

Fabio Tonini|arXiv (Cornell University)|2014. 09. 14.

Algebraic structures and combinatorial models참고 문헌 12인용 수 6

한 줄 요약

이 논문은 프로젝티브 스킴 위의 군형 모듈러에 대한 고전적 층화와 군 스킴에 대한 Tannaka dualit에 대한 일반화된 층화 유도자 함수를 도입한다. 이는 Yoneda 유형의 함수 $Ω^*$에 대한 왼쪽 수반 함수로, 린어 모나드 선형 함수에서 스택 위의 준가역 층의 대수로 가는 함수를 정의하며, 해석적 성질 조건 하에서 전부 충실성과 본질적 상사의 특성화를 증명한다.

ABSTRACT

We introduce ``sheafification'' functors from categories of (lax monoidal) linear functors to categories of quasi-coherent sheaves (of algebras) of stacks. They generalize the homogeneous sheafification of graded modules for projective schemes.

연구 동기 및 목표

• 프로젝티브 스킴 위의 군형 모듈러에 대한 고전적 층화와 군 스킴에 대한 Tannaka dualit를 동일한 프레임워크로 통합하기 위해.
• Yoneda 함수 $Ω^*$에 대한 왼쪽 수반 함수로 층화 유도자 함수를 정의하여, 군형 모듈러의 동차 층화를 일반화하기 위해.
• Yoneda 함수 $Ω^*$가 전부 충실하고 왼쪽 수반 함수를 가지는 조건을 설정하기 위해.
• 스택이 해석적 성질을 갖는 경우 $Ω^*$의 본질적 상사가 왼쪽 완전 함수로 특성화되는 조건을 규명하기 위해.
• Tannaka dualit의 맥락에서 준가역 층의 대수와 린어 모나드 함수 사이의 대응을 확장하기 위해.

제안 방법

• 고정된 층의 카테고리 $\mathcal{C}$에 대해, 각 층 $\mathcal{F}$에 대해 함수 $\mathcal{E} \mapsto \operatorname{Hom}_{\mathcal{X}}(\pi^*\mathcal{E}, \mathcal{F})$를 할당하는 Yoneda 함수 $Ω^*:\operatorname{QCoh}(\mathcal{X}_A) \to \textup{L}_R(\mathcal{C},A)$를 정의한다.
• $\mathcal{C}$가 본질적으로 소인 경우, $\u03a9^*$에 대한 왼쪽 수반 함수로 작용하는 층화 유도자 함수 $\mathcal{F}_{*,\mathcal{C}}:\textup{L}_R(\mathcal{C},A) \to \operatorname{QCoh}(\mathcal{X}_A)$를 구성한다.
• $\mathcal{F}_{*,\mathcal{C}}$가 전부 충실하고, $\mathcal{F}_{*,\mathcal{C}} \circ \u03a9^*$가 $\operatorname{QCoh}(\mathcal{X}_A)$ 위에서 항등함수와 자연스럽게 동치임을 증명하여 고전적 층화를 일반화한다.
• Yoneda 구성에 기반하여, $\mathcal{X}$ 위의 준가역 층의 대수와 린어 모나드 함수 사이의 대응을 수립한다.
• 스택 $\mathcal{X} = \operatorname{B}_R G$의 해석적 성질을 활용하여, $\u03a9^*$가 $\operatorname{QAlg}^G A$에서 $\operatorname{ML}_R(\mathcal{C},A)$로 제한되었을 때 전부 충실한 함수가 되며, 본질적 상사는 왼쪽 완전 함수로 구성됨을 보인다.
• 군 스킴 $G$의 이중성과 평탄성 조건을 활용하여, $\mathcal{C} = \operatorname{Vect}^G R$가 $\operatorname{QCoh}(\operatorname{B}_R G)$를 생성함을 보장함으로써, 수반 관계의 구성이 가능하게 한다.

실험 결과

연구 질문

• RQ1 준가역 층에서 선형 함수로 가는 Yoneda 함수 $\u03a9^*$가 왼쪽 수반 함수를 가지는가? 이는 고전적 층화를 일반화하는가?
• RQ2 $\u03a9^*$가 전부 충실한 조건는 무엇이며, 그 본질적 상사는 어떤 조건에서 왼쪽 완전성으로 특성화되는가?
• RQ3 프로젝티브 경우를 초월하여 준가역 층의 대수와 린어 모나드 함수 사이의 대응을 확장할 수 있는가?
• RQ4 스택 $\mathcal{X}$가 평탄한 아핀 군 스킴 $G$에 대한 분류 스킴 $\operatorname{B}_R G$일 경우, 층화 유도자 함수는 어떻게 행동하는가?
• RQ5 스택 $\mathcal{X}$의 해석적 성질과 잘 정의된 층화 유도자 함수 존재 사이의 정확한 관계는 무엇인가?

주요 결과

• 모든 $\mathcal{C}$가 본질적으로 소일 경우, 층화 유도자 함수 $\mathcal{F}_{*,\mathcal{C}}$는 $\u03a9^*$에 대한 왼쪽 수반 함수로 존재하며, 고전적 층화를 일반화한다.
• 스택 $\mathcal{X}$가 프로젝티브 스킴일 경우, $\u03a9^*$는 Serre 함수 $\Gamma_*$와 일치하며, $\mathcal{F}_{*,\mathcal{C}}$는 군형 모듈러의 동차 층화를 복원한다.
• $\mathcal{X} = \operatorname{B}_R G$이고 $G$가 평탄하며 $R[G]$가 $\operatorname{Vect}(\operatorname{B}_R G)$ 내의 $G$-코모듈의 직접 극한일 경우, 해석적 성질이 성립하여 층화가 잘 정의됨을 보장한다.
• $\u03a9^*$의 $\operatorname{QAlg}^G A$ 위에서의 본질적 상사는 $\operatorname{ML}_R(\mathcal{C},A)$ 내에서 $\operatorname{Vect}^G R$의 짧은 완전 수열에서 왼쪽 완전 함수로 정확히 구성되며, 해석적 성질 조건 하에서 전부 충실함이 보장된다.
• 군 $G$가 선형적으로 재구성 가능할 경우, 함수 $M \mapsto (-\otimes_R M)^G$는 $\operatorname{Mod}^G R$에서 $\operatorname{QAdd}^G A$로 가는 전부 충실 함수이며, $\u03a9^*$의 상과 동치임을 보여 Tannaka dualit를 린어 모나드 맥락으로 확장한다.
• 이 구성은 자연 동치 $\mathcal{F}_{*,\mathcal{C}} \circ \u03a9^* \cong \text{id}_{\operatorname{QCoh}(\mathcal{X}_A)}$를 수립하여, 층화가 원래 층을 동치류로 회복함을 확인한다.