[논문 리뷰] Noncommutative deformations of sheaves and presheaves of modules

Eivind Eriksen|arXiv (Cornell University)|2004. 05. 13.

Algebraic structures and combinatorial models참고 문헌 8인용 수 2

한 줄 요약

이 논문은 고리로 된 공간 위의 모듈러스의 프리층과 층에 대한 비아벨 변형 이론을 개발하며, 대수의 모듈러스에 대한 Laudal의 변형 이론을 일반화한다. 전역 Hochschild 코homology를 사용하여 장애 이론을 수립하고, 양호한 $τ$-아핀 열린 덮개에 대해, 준계승 층과 프리층의 비아贝尔 변형 함의가 서로 동형임을 증명하여, 스킴과 D-스킴에서 프리층 수준의 방법을 통해 구체적인 계산이 가능하게 한다.

ABSTRACT

We describe a noncommutative deformation theory for presheaves and sheaves of modules that generalizes the commutative deformation theory of these global algebraic structures, and the noncommutative deformation theory of modules over algebras due to Laudal. In the first part of the paper, we describe a noncommutative deformation functor for presheaves of modules on a small category, and an obstruction theory for this functor in terms of global Hochschild cohomology. An important feature of this obstruction theory is that it can be computed in concrete terms in many interesting cases. In the last part of the paper, we describe noncommutative deformation functors for sheaves and quasi-coherent sheaves of modules on a ringed space $(X, \mathcal{A})$. We show that for any good $\mathcal{A}$-affine open cover $\mathsf{U}$ of $X$, the forgetful functor $\mathsf{QCoh}(\mathcal{A}) o \mathsf{PreSh}(\mathsf{U}, \mathcal{A})$ induces an isomorphism of noncommutative deformation functors. \emph{Applications.} We consider noncommutative deformations of quasi-coherent $\mathcal{A}$-modules on $X$ when $(X, \mathcal{A}) = (X, \mathcal{O}_X)$ is a scheme or $(X, \mathcal{A}) = (X, \mathcal{D})$ is a D-scheme in the sense of Beilinson and Bernstein. In these cases, we may use any open affine cover of $X$ closed under finite intersections to compute noncommutative deformations in concrete terms using presheaf methods. We compute the noncommutative deformations of the left $\mathcal{D}_X$-module $\mathcal{O}_X$ when $X$ is an elliptic curve as an example.

연구 동기 및 목표

• 대수의 모듈러스에서 비아贝尔 변형 이론을 대수의 모듈러스에서 소형 범주에 대한 프리층과 층으로 확장한다.
• 전역 Hochschild 코homology를 사용하여 프리층의 비아벨 변형에 대한 장애 이론을 개발한다.
• 좋은 아핀 덮개에서, 준계승 층과 프리층의 비아벨 변형 함의 간의 함의론적 동형을 확립한다.
• 스킴과 D-스킴에서 아핀 덮개의 프리층 수준의 방법을 통해 비아벨 변형을 구체적으로 계산할 수 있도록 한다.

제안 방법

• 소형 범주 위의 프리층의 모듈러스에 대한 비아벨 변형 함의를 정형화한다.
• 전역 Hochschild 코호몰로지 군을 사용하여 이 함의에 대한 장애 이론을 구축한다.
• 고리로 된 공간 $(X, \mathcal{A})$ 위의 층과 준계승 층에 대한 비아벨 변형 함의를 정의한다.
• 임의의 양호한 $τ$-아핀 열린 덮개 $\mathsf{U}$에 대해, $\mathsf{QCoh}(\mathcal{A})$에서 $\mathsf{PreSh}(\mathsf{U}, \mathcal{A})$로의 忘却 함의가 변형 함의 간의 동형을 유도함을 증명한다.
• 이 틀을 사용하여 타원 곡선에서 $\mathcal{O}_X$가 왼쪽 $\mathcal{D}_X$-모듈러스로 비아벨 변형을 계산한다.
• 유한 교차를 포함하는 아핀 덮개를 사용하여 전역 변형 문제를 국소적 프리층 계산으로 환원한다.

실험 결과

연구 질문

• RQ1 비아벨 변형 이론은 대수의 모듈러스에서 소형 범주에 대한 프리층과 층의 모듈러스로 어떻게 확장될 수 있는가?
• RQ2 프리층의 비아벨 변형에 대한 장애 이론은 무엇이며, Hochschild 코호몰로지를 사용하여 구체적으로 계산할 수 있는가?
• RQ3 어떤 조건에서 고리로 된 공간 위의 준계승 층과 프리층의 비아벨 변형 함의가 일치하는가?
• RQ4 스킴 또는 D-스킴에서 준계승 $\mathcal{A}$-모듈러스의 비아벨 변형은 아핀 덮개에서 프리층 수준의 방법으로 계산할 수 있는가?
• RQ5 X가 타원 곡선일 때, $\mathcal{O}_X$가 왼쪽 $\mathcal{D}_X$-모듈러스로 비아벨 변형되는 것은 무엇인가?

주요 결과

• 소형 범주 위의 프리층의 비아벨 변형 함의는 전역 Hochschild 코호몰로지를 통해 계산되는 장애 이론을 갖으며, 많은 경우에 구체적인 계산이 가능하다.
• 임의의 양호한 $\mathcal{A}$-아핀 열린 덮개 $\mathsf{U}$에 대해, 고리로 된 공간 $(X, \mathcal{A})$에서, 忘却 함의는 $\mathsf{QCoh}(\mathcal{A})$와 $\mathsf{PreSh}(\mathsf{U}, \mathcal{A})$의 비아벨 변형 함의 간의 동형을 유도한다.
• 스킴 $(X, \mathcal{O}_X)$와 D-스킴 $(X, \mathcal{D})$에서, 준계승 $\mathcal{A}$-모듈러스의 비아벨 변형은 임의의 아핀 열린 덮개(유한 교차를 포함)를 사용하여 프리층 수준의 방법으로 계산할 수 있다.
• X가 타원 곡선일 때, 왼쪽 $\mathcal{D}_X$-모듈러스 $\mathcal{O}_X$의 비아벨 변형은 명시적으로 계산되었으며, 이는 이 틀의 적용 가능성을 보여준다.
• 프리층의 장애 이론은 스킴와 D-스킴과 같은 구체적인 기하적 설정에서 효과적이고 계산 가능하다.
• 변형 함의 간의 동형은 전역 변형 문제를 준계승 층에서 아핀 덮개 위의 국소적 프리층 계산으로 환원할 수 있음을 암시한다.