[논문 리뷰] Tensorial schemes

Martin Brandenburg|arXiv (Cornell University)|2011. 10. 29.

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

한 줄 요약

이 논문은 사영 스킴에 대해, 모든 연속 텐서 함수 Qcoh(X) → Qcoh(Y)가 고유하게 스킴의 사상 Y → X에 의한 당김으로서 유도됨을 확립하며, Lurie의 '온전성 조건'을 제거함으로써 이를 가능하게 한다. 이는 '텐서 스킴'—이러한 성질을 갖는 스킴—의 개념을 도입하고, 사영 스킴이 텐서 스킴임을 증명함으로써 유도적 대수기하학의 스킴에 대한 함의적 접근법에서 발생하는 격차를 메운다.

ABSTRACT

Jacob Lurie (arXiv:math/0412266) has shown that for geometric stacks X,Y every cocontinuous tensor functor F : Qcoh(X) -> Qcoh(Y) is the pullback of a morphism Y -> X under the additional assumption that F is tame. In this note we get rid of this assumption if X is a projective scheme. In general, we call a scheme X tensorial if every cocontinuous tensor functor Qcoh(X) -> Qcoh(Y) is induced by a unique morphism Y -> X, show that projective schemes are tensorial and tensorial schemes are closed under various operations.

연구 동기 및 목표

• Lurie의 결과에서 Qcoh(X) → Qcoh(Y)인 연속 텐서 함수가 사상 Y → X에 의해 유도됨을 보장하는 '온전성 조건'을 제거하는 것.
• 스킴 X가 모든 연속 텐서 함수 Qcoh(X) → Qcoh(Y)가 고유한 사상 Y → X에 의해 유도됨을 만족할 때 '텐서 스킴'으로 정의하고, 이를 연구하는 것.
• 사영 스킴이 텐서 스킴임을 증명함으로써 Lurie의 결과를 더 넓은 스킴의 범주로 확장하는 것.
• 기하학적 연산(예: 기저 변경, 피어 볼트 등)에 대한 텐서 스킴의 닫힘 성질을 조사하는 것.

제안 방법

• 모든 연속 텐서 함수 Qcoh(X) → Qcoh(Y)가 고유한 사상 Y → X에 의해 유도됨을 만족할 때 스킴 X를 텐서 스킴로 정의한다.
• 온전성 조건 없이도 사영 스킴 위의 준층의 구조를 이용해 텐서 함수를 분석한다.
• Qcoh(P^n)가 선다발들에 의해 생성되며 잘 이해된 텐서 구조를 지닌다는 사실을 활용한다.
• 텐서 범주 이론 및 Tannakian 형식주의의 결과를 적용하여, 함수로부터 사상을 재구성한다.
• 텐서 스킴이 피어 볼트, 기저 변경 등 표준 연산에 대해 닫혀 있음을 보인다.
• 일반적인 사영 스킴로 결과를 확장하기 위해 사영 공간의 경우를 핵심 구성 요소로 사용한다.

실험 결과

연구 질문

• RQ1 사영 스킴에 대해서 Lurie의 정리에서 온전성 조건을 제거할 수 있는가?
• RQ2 어떤 스킴 X가 모든 연속 텐서 함수 Qcoh(X) → Qcoh(Y)가 고유한 사상 Y → X에 의해 유도됨을 만족하는가?
• RQ3 기저 변경이나 피어 볼트와 같은 기하학적 연산에서 텐서 스킴은 어떻게 행동하는가?
• RQ4 Qcoh(X)의 어떤 구조적 성질이 텐서 함수가 사상에 의해 표현됨을 보장하는가?
• RQ5 텐서 스킴의 범주는 대수기하학의 표준적 구성에 대해 닫혀 있는가?

주요 결과

• 사영 스킴의 준층 범주 간 모든 연속 텐서 함수는 온전성 조건 없이도 고유한 사상 Y → X에 의한 당김으로서 유도된다.
• 사영 스킴은 텐서 스킴이며, 이는 그 준층 범주가 텐서 함수를 통해 사상의 정보를 완전히 제어함을 의미한다.
• 텐서 스킴의 범주는 기저 변경, 피어 볼트, 기타 표준 구성에 대해 닫혀 있다.
• 이 결과는 사영 경우에서 온전성 조건을 제거함으로써 Lurie의 정리를 일반화한다.
• 텐서 스킴는 유도적 대수기하학에서 기하학적 사상이 준층 범주에 유도된 함수에 의해 완전히 결정되는 자연스러운 범주를 이룬다.