[논문 리뷰] Scalar Extension of Abelian and Tannakian Categories

Nicolas Stalder|ArXiv.org|2008. 06. 02.

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

한 줄 요약

이 논문은 유한체 확장 $F'/F$에 따라 $F$-선형 아벨 범주에 대한 일반적인 스칼라 확장 함자 $\mathscr{A} \otimes_F F'$를 정의하며, 이는 $F'$-선형 아벨 범주 $\mathscr{A} \otimes_F F'$와 유일한 정확한 $F$-선형 함자 $t: \mathscr{A} \to \mathscr{A} \otimes_F F'$를 구성한다. 주요 기여는 다음과 같은 보편 성질: 임의의 $F'$-선형 아벨 범주로의 오른쪽 정확한 $F$-선형 함자는 $t$를 통해 유일하게 인자화된다는 점이며, 이는 탄나키안 대칭 이론과 모노드로미 군 이론에의 적용을 가능하게 한다.

ABSTRACT

We introduce and develop the notion of scalar extension for abelian categories. Given a field extension F'/F, to every F-linear abelian category A satisfying a suitable finiteness condition we associate an F'-linear abelian category A' and an exact F-linear functor t: A --> A'. This functor is universal among F-linear right exact functors with target an F'-linear abelian category. We discuss various basic properties of this concept, among others compatibilities with multilinear endofunctors such as tensor products, and the permanence of favourable properties of the functors and categories involved. We obtain the notion of scalar extension for Tannakian categories, which allows us to deduce consequences for the algebraic monodromy groups of Tannakian categories.

연구 동기 및 목표

• 체 확장 $F'/F$에 따라 $F$-선형 아벨 범주에 대한 보편 스칼라 확장 함자를 정의하고 구성하는 것.
• 오른쪽 정확한 $F$-선형 함자들에 대한 $\mathscr{A} \to \mathscr{A} \otimes_F F'$ 함자 $t$의 보편 성질을 확립하는 것.
• 구성 과정을 탄나키안 범주로 확장하고, 대수적 모노드로미 군에 관한 결과를 도출하는 것.
• 전임성 및 부분몫 대상에 대한 닫힘성 등의 성질이 스칼라 확장 하에 어떻게 유지되는지 조사하는 것.
• 강한 텐서 범주에서의 텐서 곱과 쌍대를 고려할 수 있는 범주론적 프레임워크를 제공하는 것.

제안 방법

• 종만성 완비화와 자기 동형 대수의 스칼라 확장을 통해 $\mathscr{A} \otimes_F F'$를 $F'$-선형 아벨 범주로 구성한다.
• 객체와 사상에 대한 표준적인 스칼라 확장을 통해 $t: \mathscr{A} \to \mathscr{A} \otimes_F F'$를 보편 함자로 정의한다.
• 모든 오른쪽 정확한 $F$-선형 함자 $V: \mathscr{A} \to \mathscr{B}$가 $\mathscr{B}$가 $F'$-선형 아벨 범주일 경우 $t$를 통해 유일하게 인자화된다는 보편 성질을 증명한다.
• 모듈 $E$-모듈과 $\mathscr{A}$ 내의 $S$-이소타입 대상 사이의 동치를 이용해, 단순 대상이 스칼라 확장 하에서 어떻게 분해되는지 분석한다.
• 강한 텐서 범주에서 스칼라 확장이 텐서 곱과 쌍대와의 호환성을 유지함을 확립한다.
• 탄나키안 범주에 적용하여 $\mathscr{T} \otimes_F F'$가 $F'$-위에서의 모노드로미 군 $G_\omega(\mathscr{T})$의 유한차원 표현 범주와 동치임을 보인다.

실험 결과

연구 질문

• RQ1 체 확장 $F'/F$에 따라 $F$-선형 아벨 범주에 대해 스칼라 확장을 어떻게 보편적으로 정의할 수 있는가?
• RQ2 오른쪽 정확한 $F$-선형 함자 $V: \mathscr{A} \to \mathscr{B}$가 $\mathscr{B}$가 $F'$-선형일 경우, $\mathscr{A} \otimes_F F'$로 어떻게 유일하게 확장될 수 있는가?
• RQ3 스칼라 확장 함자 $t: \mathscr{A} \to \mathscr{A} \otimes_F F'$가 $F'$-위에서 전임성임을 보장하는 조건은 무엇이며, 이는 대수기하학에서 타이트 추측에 어떤 의미를 갖는가?
• RQ4 스칼라 확장은 탄나키안 범주에서 텐서 곱과 쌍대와 어떻게 상호작용하는가?
• RQ5 탄나키안 범주의 모노드로미 군과 $\mathscr{A} \otimes_F F'$의 구조 사이의 관계는 무엇인가?

주요 결과

• 모든 $F$-유한 아벨 범주 $\mathscr{A}$에 대해 스칼라 확장 $\mathscr{A} \otimes_F F'$는 $F'$-선형 아벨 범주로 구성되며, 오른쪽 정확한 $F$-선형 함자에 대해 보편 성질을 만족한다.
• 보편 함자 $t: \mathscr{A} \to \mathscr{A} \otimes_F F'$는 $F'/F$-전임성임을 보이며, 이는 기저 변경 후 호모로지 공간에 대해 동형을 유도한다.
• 단순 대상 $S$가 $\mathscr{A}$에 있으며, 그 자기 동형 대수가 $E$일 경우, 스칼라 확장 $t(S)$는 $\mathscr{A} \otimes_F F'$ 내에서 $S \otimes_F F'$에 대응하며, $t(S)$의 부분대상들은 $E \otimes_F F'$의 오른쪽 이상과 일대일 대응된다.
• 강한 텐서 범주에서는 오른쪽 정확한 함자가 자동으로 정확하므로, 함자의 확장이 간단해지고 텐서 구조와의 호환성이 보장된다.
• 탄나키안 범주에 대해 $\mathscr{T} \otimes_F F'$는 $F'$-위에서의 모노드로미 군 $G_\omega(\mathscr{T})$의 유한차원 표현 범주와 동치이며, 이는 비중심 탄나키안 대칭 이론의 약한 형태를 이룬다.
• 구성 과정은 필수적인 범주론적 구조를 유지한다: 텐서 곱, 쌍대, 부분몫 대상 등으로, 이는 대수기하학과 갈루아 표현 이론에의 적용을 가능하게 한다.