[논문 리뷰] Algebraic (geometric) $n$-stacks

Carlos Simpson|ArXiv.org|1996. 09. 17.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 43

한 줄 요약

이 논문은 아르틴의 대수적 1-스택 정의를 스무스 사상이 포함된 n-스택의 범주에서 귀납적으로 일반화함으로써 대수적(기하적) $n$-스택의 정의를 제안한다. 주요 기여는 기하적 $n$-스택이 [Si5]의 의미에서 Presentable임을 입증하고, de Rham 코hom올로지 및 평면 배란스의 모듈리 공간의 맥락에서 가우스-마인 연결과 호지 필터링을 갖는다는 것이다.

ABSTRACT

We propose a generalization of Artin's definition of algebraic stack, which we call {\em geometric $n$-stack}. The main observation is that there is an inductive structure to the definition whereby the ingredients for the definition of geometric $n$-stack involve only $n-1$-stacks and so are already previously defined. We use this inductive structure to obtain some basic properties. We look at maps from a projective variety into certain such $n$-stacks, and obtain an interpretation of the Brill-Noether locus as the set of points of a geometric $n$-stack. At the end we explain how this provides a context for looking at de Rham theory for higher nonabelian cohomology, how one can define the Hodge filtration and so on.

연구 동기 및 목표

• 아르틴의 대수적 1-스택 정의를 높은 차수 $n$으로 일반화하여 대수적 $n$-스택 이론을 체계화하는 것.
• 스무스 사상 간의 귀납적 구조를 기반으로 기하적 $n$-스택을 정의하는 것.
• 기하적 $n$-스택이 [Si5]의 의미에서 Presentable임을 보여주어, 절단과 포스트니코프 타워 구성이 가능하도록 하는 것.
• 상대적 사상 스택을 통해 높은 차수의 비아벨 코hom올로지 스택으로 가우스-마인 연결과 호지 필터링을 확장하는 것.
• 이러한 구성이 분석적 및 대수적 설정으로 일반화되며, 평면 배란스의 모듈리 공간과 de Rham 코hom올로지에 적용됨을 보여주는 것.

제안 방법

• 스킴에서 $n$-스택으로의 스무스 사상이 존재하도록 하여, $(n-1)$-스택의 구조로 $n$-스택을 귀납적으로 정의한다.
• 1-스택의 경우를 일반화한 $n$-스택 간의 스무스 사상 개념을 사용하고, 끼워넣기 성질을 통해 기하적 사상들을 정의한다.
• 스스로의 [Si5] 프레임워크를 사용하여, 호모토피 섬멸 제품과 절단에 대한 닫힘을 보여줌으로써 기하적 $n$-스택의 Presentability를 확립한다.
• de Rham 사상 $X_{DR} \to S_{DR}$에 沿해 사상 스택의 당김을 통해 가우스-마인 연결을 구성하고, $S_{DR}$로의 내림을 보여준다.
• 연결된 매우 Presentable인 $n$-스택 $T$에 대해 $Hom(X_{DR}, T)$ 위의 호지 필터링을 정의하며, 고전적 de Rham 코호몰로지의 일반화를 제공한다.
• 로그arithmic 및 콪팩티피케이션된 설정으로의 확장을 위해 $\overline{X}_{\rm Hod}(\log D) \to \overline{S}_{\rm Hod}(\log E)$를 사용하여, 그리피스 전이성과 정규성의 통합을 이루는 것.

실험 결과

연구 질문

• RQ1 아르틴의 대수적 1-스택 정의는 스무스 사상에 기반한 귀납적 구조를 사용하여 높은 차수의 $n$-스택으로 일반화될 수 있는가?
• RQ2 기하적 $n$-스택의 개념은 절단에 대해 닫혀 있는가, 아니면 Presentability와 같은 더 강한 조건이 필요한가?
• RQ3 일반적인 $n$-스택 $T$에 대해, 높은 비아벨 코호몰로지 스택 $Hom(X_{DR}/S_{DR}, T)$로 가우스-마인 연결을 확장할 수 있는가?
• RQ4 T = K({\cal O}, n) 또는 T = BG일 때, $Hom(X_{DR}, T)$ 위의 호지 필터링은 고전적 de Rham 코호몰로지로 일반화되는가?
• RQ5 분석적 설정에서 상대 사상 스택 $Hom(X_{\rm Hod}/H^\mathrm{an}, T)$를 정의할 수 있으며, 이는 $S_{DR}$로 내림하는가?

주요 결과

• 기하적 $n$-스택은 [Si5]의 의미에서 Presentable이며, 이는 호모토피 섬멸 제품과 절단에 대해 닫혀 있음을 의미하여 포스트니코프 타워 구성이 가능하다.
• 모든 연결된 매우 Presentable인 $n$-스택 $T$에 대해, 사상 스택 $Hom(X_{DR}/S_{DR}, T) \to S_{DR}$는 기하적이다. 이는 가우스-마인 연결이 $S_{DR}$로 내림한다는 것을 보여준다.
• T = K({\cal O}, n) 또는 T = BG일 때, $Hom(X_{DR}, T)$ 위의 호지 필터링은 고전적 de Rham 코호몰로지의 일반화를 제공하며, 높은 비아벨 호모토피 이론의 대응을 이룬다.
• 로그arithmic 콱팩티피케이션된 설정에서, 사상 $Hom(\overline{X}_{\rm Hod}(\log D)/\overline{S}_{\rm Hod}(\log E), T) \to \overline{S}_{\rm Hod}(\log E)$는 기하적이다. 이는 그리피스 전이성과 정규성을 통합한다.
• 사상 스택 $Hom(X_{\rm Hod}/H^{\rm an}, T)$의 분석적 형태는 분석적 $n$-스택이며, $T$가 대수적일 경우 이는 대수적 사상 스택의 해석화이다.
• 가우스-마인 연결과 호지 필터링의 구성은 분석적 범주로 그대로 확장되며, 준정적 조건이 필요로 하지 않는다.