[논문 리뷰] Hom stacks

Masao Aoki|arXiv (Cornell University)|2005. 03. 17.

Algebraic Geometry and Number Theory인용 수 19

한 줄 요약

이 논문은 아르틴의 대수화 가능성 기준을 사용하여, 적절한 조건 하에서 대수적 스택 간 1-준동형사상들을 매개변수화하는 Hom 2-함수는 대수적 스택에 의해 표현 가능하다고 밝힌다. 주요 응용으로, 대수적 스택 위의 선다발을 분류하는 피카르 2-함수 역시 대수적 스택에 의해 표현 가능하다는 것을 증명한다.

ABSTRACT

We study Hom 2-functors parameterizing 1-morphisms of algebraic stacks, and prove that it is representable by an algebraic stack under certain conditions, using Artin's criterion. As an application we study Picard 2-functors which parameterizes line bundles on algebraic stacks.

연구 동기 및 목표

• 대수적 스택 간 1-준동형사상들을 매개변수화하는 Hom 2-함수의 표현 가능성을 조사한다.
• 이 Hom 2-함수가 대수적 스택에 의해 표현 가능해지는 조건을 규명한다.
• 표현 가능성 결과를 대수적 스택 위의 선다발을 분류하는 피카르 2-함수에 적용한다.
• 대수적 스택을 이용해 고차 카테고리적 구조로의 고전적 모듈리 이론을 확장한다.
• 2-카테고리적 방법을 통해 선다발과 준동형사상을 연구하기 위한 기초 프레임워크를 제공한다.

제안 방법

• 아르틴의 대수화 가능성 기준을 적용하여 Hom 2-함수의 표현 가능성을 확립한다.
• 대수적 스택 간 1-준동형사상의 2-함수를 큰 fppf 위상에 대한 스택으로 분석한다.
• 데오퍼메이션 이론과 무한소 올림 성질을 사용하여 아르틴의 기준 조건을 검증한다.
• Hom 2-함수가 필요한 국소 유한성 및 일반화된 가족의 열린 성질 조건을 만족함을 확립한다.
• 표현 가능성 결과를 피카르 2-함수에 적용하기 위해 동일한 기준을 만족함을 보인다.
• 피카르 2-함수가 Hom 2-함수와 동일한 조건 하에서 대수적 스택에 의해 표현 가능하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 대수적 스택 간 1-준동형사상들의 Hom 2-함수가 어떤 조건에서 대수적 스택에 의해 표현 가능해지는가?
• RQ2 아르틴의 기준이 대수적 스택의 맥락에서 Hom 2-함수의 표현 가능성을 증명하는 데 적용될 수 있는가?
• RQ3 대수적 스택 위의 선다발을 분류하는 피카르 2-함수는 대수적 스택에 의해 표현 가능한가?
• RQ4 준동형사상의 데오퍼메이션 이론적 성질이 Hom 2-함수의 표현 가능성에 어떤 영향을 미치는가?
• RQ5 대수적 스택의 어떤 구조적 성질이 Hom 및 피카르와 같은 모듈리 2-함수의 표현 가능성을 보장하는가?

주요 결과

• 대상 스택이 국소적으로 유한형이고 대각선이 국소적으로 유한형일 경우, 대수적 스택 간 1-준동형사상들을 매개변수화하는 Hom 2-함수는 대수적 스택에 의해 표현 가능하다.
• Hom 2-함수의 표현 가능성은 데오퍼메이션 이론과 장애 이론에 기반한 아르틴의 기준을 통해 확립된다.
• 각 스킴에 대해 스택의 당김 위의 선다발의 그룹화를 할당하는 피카르 2-함수도 동일한 조건 하에서 대수적 스택에 의해 표현 가능하다.
• 증명은 피카르 2-함수가 대수화 가능성에 필요한 조건, 즉 일반화된 가족의 열린 성질과 효과적인 형식적 붙임 조건을 만족함을 보여준다.
• 결과는 고전적 표현 가능성 정리들을 2-카테고리적 맥락인 대수적 스택로 확장한다.
• 이 프레임워크는 고차 대수기하학에서 준동형사상과 선다발의 모듈리 공간을 체계적으로 구성하는 데에 유용한 방법을 제공한다.