[논문 리뷰] Gerbes and Brauer groups over stacks

Cristiana Bertolin, Federica Galluzzi|arXiv (Cornell University)|2017. 05. 03.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 1

한 줄 요약

이 논문은 일반적인 스택에 대한 브라우어 군 이론을 기수를 기본 도구로 사용하여 개발하며, 1-모티브에 대한 일반화된 큐브 정리(Generalized Theorem of the Cube)를 확립하고, 정규 기저 스킴 위에서 H^2_et(M, G_m)의 토르션 계열 중 단위 섹션을 통해의 당김이 자명한 것이 아즈마야 대수로부터 유래됨을 증명한다; 대수적으로 닫힌 체 위에서는 이러한 모든 계열이 아즈마야 대수로부터 유래된다.

ABSTRACT

The aim of this paper is to develop the theory of Brauer groups for stacks, which are not necessarily algebraic, using gerbes as foundamental tools. As an application, we focus our attention on Brauer theory for mixed motives: in particular, over a normal base scheme, we prove the generalized Theorem of the Cube for 1-motives and that a torsion class of the H^2_et(M,G_m) of a 1-motive M, whose pull-back via the unit section is zero, comes from an Azumaya algebra. Over an algebraically closed field, all classes of H^2_et(M,G_m) come from Azumaya algebras.

연구 동기 및 목표

• 기하학적 스택이 아닐 수도 있는 스택으로 브라우어 군 이론을 확장하고, 기수를 기본 도구로 사용한다.
• 혼합 모티브의 맥락에서 브라우어 군의 구조를 조사한다.
• 정규 기저 스킴 위에서 1-모티브에 대한 일반화된 큐브 정리를 확립한다.
• H^2_et(M, G_m)의 토르션 계열이 아즈마야 대수로부터 유래되는 조건을 규명한다.
• 대수적으로 닫힌 체 위에서 H^2_et(M, G_m)의 모든 계열이 아즈마야 대수로 실현됨을 보인다.

제안 방법

• 기하학적 도구로 기수를 중심에 두고 스택의 브라우어 군을 정의하고 분석한다.
• 1-모티브 M에 대해 H^2_et(M, G_m)을 연구하기 위해 에탈 코hom로지 기법을 적용한다.
• 토르션 계열의 당김 조건을 분석하기 위해 단위 섹션을 활용한다.
• 1-모티브의 구조를 이용해 코hom로지적 제약 조건과 업그레이드 성질을 유도한다.
• 내림내림 이론과 스택 이론적 방법을 사용해 고전적 브라우어 이론을 일반화한다.
• 결합 모티브 이론을 기반으로 결과를 산술기하학의 맥락에 둔다.

실험 결과

연구 질문

• RQ1 기수를 사용하여 기하학적 스택이 아닐 수 있는 스택으로 브라우어 군을 어떻게 일반화할 수 있는가?
• RQ2 1-모티브 M에 대해 H^2_et(M, G_m)의 토르션 계열이 아즈마야 대수로부터 유래되기 위한 조건은 무엇인가?
• RQ3 정규 기저 스킴 위에서 1-모티브에 대해 일반화된 큐브 정리가 성립하는가?
• RQ4 H^2_et(M, G_m)의 모든 계열이 아즈마야 대수로부터 유래되기 위한 조건은 무엇인가?
• RQ5 단위 섹션을 통한 당김이 아즈마야 대수로 실현 가능한 코hom로지 계열에 어떤 영향을 미치는가?

주요 결과

• 정규 기저 스킴 위에서 1-모티브에 대한 일반화된 큐브 정리가 확립되었다.
• 단위 섹션을 통한 당김이 자명한 H^2_et(M, G_m)의 토르션 계열은 아즈마야 대수로부터 유래된다.
• 대수적으로 닫힌 체 위에서는 H^2_et(M, G_m)의 모든 계열이 아즈마야 대수로 실현된다.
• 기수 이론은 비기하학적 스택 위에서 브라우어 군을 정의하는 견고한 프레임워크를 제공한다.
• 결과는 고전적 브라우어 이론을 혼합 모티브와 1-모티브의 맥락으로 일반화한다.
• 단위 섹션에 대한 코hom로지 조건은 계열을 아즈마야 대수로 업그레이드하는 데 핵심적인 장벽으로 작용한다.