텐서적 스키마: 프로젝트 스킴의 재구성과 일반화

초록

이 논문은 “텐서적”이라는 새로운 개념을 도입한다. 즉, 모든 코연속 텐서 함수 Qcoh(X)→Qcoh(Y)가 Y→X 형태의 구조사상에 의해 유도되는 경우를 말한다. 저자는 프로젝트 스킴이 언제든지 텐서적임을 증명하고, 이 성질이 폐쇄적인 연산(폐쇄 부분스킴, 아핀 스킴 등)에도 유지된다는 사실을 보여준다.

상세 분석

논문은 먼저 텐서 범주와 코완전 텐서 범주의 기본 정의를 정리한다. 여기서 중요한 점은 텐서 곱이 각각의 변수에 대해 연속(colimit을 보존)해야 한다는 조건이다. 저자는 작은 텐서 범주의 코완전화(프레시베 전개)를 이용해 “보편적 코완전 텐서 범주”를 구성한다. 구체적으로, 작은 텐서 범주 C에 대해 프레시베 범주 ̂C=Hom(C^op,Mod(R))에 텐서 구조를 전이시키고, 이는 C의 코완전 텐서 범주적 자유 대수라고 본다. 이 과정에서 두 가지 핵심 예시가 등장한다. 첫 번째는 일반적인 아핀 스킴 Spec S에 대한 경우로, ̂{S}≅Mod(S)이며, 코연속 텐서 함수 Hom_c⊗(Mod(S),𝒞)가 R‑알gebra 사상 S→End(1_𝒞)와 일대일 대응함을 보인다. 두 번째는 G‑그레이드 알gebra S=⊕_{g∈G}S_g에 대한 경우로, ̂