[논문 리뷰] Quotients of Tannakian Categories

J. S. Milne|arXiv (Cornell University)|2005. 08. 24.

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

한 줄 요약

이 논문은 tannakian 분할 범주를 tannakian 부분범주로 나누는 몫을 분류하며, 이러한 몫이 존재하는 것은 부분범주가 중립적일 때에만 가능하며, 이 경우 몫은 부분범주 위의 k-값을 가진 섬유 함자에 의해 매개화됨을 증명한다. 주요 기여는 섬유 함자와 기본군을 통한 몫 범주의 특성화를 통해 텐서 범주에서의 몫 구성에 대해 tannakian 대칭을 확장한 것이다.

ABSTRACT

We classify the "quotients" of a tannakian category in which the objects of a tannakian subcategory become trivial, and we examine the properties of such quotient categories.

연구 동기 및 목표

• tannakian 범주 T를 tannakian 부분범주 S로 나누는 정확한 텐서 함자 q: T → Q를 분류함으로써, S에 속하는 대상들이 Q에서 자명해지는 조건을 만족시키는 것.
• 특히 부분범주 S의 중립성과 관련하여 이러한 몫 함자들이 존재하는 조건을 규명하는 것.
• 결과로 얻어진 몰입 범주 Q의 기본군, 섬유 함자, 그리고 극화를 분석하는 것.
• 기본군 π(T)의 부분군과 tannakian 부분범주 사이의 대응관계를 tannakian 대응을 통해 수립하는 것.
• 특히 모티프와代數기하학의 맥락에서, 몫 구성에 대해 tannakian 대칭을 확장하는 것.

제안 방법

• tannakian 부분범주와 기본군 π(T)의 부분군 사이의 tannakian 대응을 사용한다.
• 특히 섬유 함자 기반의 기르베 FIB(T)를 통해 섬유 함자와 그 올림을 분석하기 위해 기르베 이론과 밴드 이론을 적용한다.
• 범주 T에서의 아핀 군 스킴으로서의 기본군 π(T)를 사용하여, ω(π(T)) ≃ Aut⊗(ω)를 ω에 대해 자연스럽게 유도한다.
• S에 속하는 대상들이 Q에서 자명해지는 조건을 통해 몰입 함자 q: T → Q를 특성화한다: S에 속하는 대상들이 Q에서 자명해지는 것은 q에 의한 자명화와 동치이다.
• 기르베의 사상에 관련된 밴드의 정확한 수열을 사용하여 (ω₀↓G₁)의 구조와 tannakian 성질을 분석한다.
• 특히 타이트 트리플의 맥락에서 실수 대수군의 비등방성 조건을 통해 계층적 극화의 존재 조건을 적용한다.

실험 결과

연구 질문

• RQ1 언제 tannakian 범주가 tannakian 부분범주 S에 의해 나누어져, S에 속하는 대상들이 몰입에서 자명해지는가?
• RQ2 그러한 몰입 함자가 존재할 경우, 어떻게 분류할 수 있는가?
• RQ3 기본군 π(T)의 부분군과 T의 tannakian 부분범주 사이의 관계는 무엇인가?
• RQ4 T의 타이트 트리플에 대한 극화가 몰입 범주 Q에 대해 극화로 올라갈 조건은 무엇인가?
• RQ5 몰입 범주 Q의 기본군과 섬유 함자들은 원래 범주 T의 그것들과 어떻게 관련이 있는가?

주요 결과

• 조건 (a)와 (b)를 만족하는 몰입 함자 q: T → Q가 존재하는 것은 부분범주 S가 중립적일 때에만 가능하다.
• S가 중립적일 경우, 이러한 몰입 함자 q의 집합은 S 위의 k-값을 가진 섬유 함자들의 집합과 일대일 대응된다.
• 몰입 범주 Q의 기본군 π(Q)는 π(T) → π(Q)의 호모모르피즘 π(q)의 상과 동형이며, π(Q)는 H ⊂ π(T)에 대해 q(H)에 이sovolumetrically 사상된다.
• Q 위의 섬유 함자들은 q를 통해 T 위의 섬유 함자들을 당겨온 것으로 결정되며, Q의 밴드는 기르베 (ω₀↓G₁)와 관련된 밴드의 정확한 수열로부터 유도된다.
• T 위의 계층적 극화 Π가 Q 위의 극화 Π′로 올라가는 것은, 섬유 함자 ωΠ를 S에 제한한 것이 몰입에 관련된 섬유 함자 ωq와 동형일 때에만 가능하다.
• Q 위에 극화가 존재하는 것은, Q가 단순하고 H ⊃ w(Gm)일 때, Aut⊗(γV ◦ξΠ′ ◦q|Tw(Gm))의 실수 대수군이 비등방성일 때와 동치이다.