[논문 리뷰] Duality and Tilting for Commutative DG Rings

Amnon Yekutieli|arXiv (Cornell University)|2013. 12. 22.

Algebraic structures and combinatorial models참고 문헌 32인용 수 19

한 줄 요약

이 논문은 교환적 미분가환(graded, DG) 링에 대한 이중성과 기울임(duality 및 tilting)의 기초 결과를 수립하며, 완전, 기울임, 이중, 코hen-맥컬레이, 강성 DG 가환 모듈을 도입하고 분석한다. 기하학적으로 완전한 DG 모듈이 대수적으로 완전하다는 것을 증명하고, DG 링의 유도 피카르 군이 그 제로차 코호몰로지 링의 유도 피카르 군으로 이글리로 사라지는 것을 증명하며, 강성 이중 DG 모듈이 강성 동형사상에 대해 유일하다는 것을 보이며, 유도 대수기하학에서 그로텐디크 이중성에 핵심적인 도구를 제공한다.

ABSTRACT

We consider commutative DG rings (better known as nonpositive strongly commutative associative unital DG algebras). For such a DG ring $A$ we define the notions of perfect, tilting, dualizing, Cohen-Macaulay and rigid DG $A$-modules. Geometrically perfect DG modules are defined by a local condition on $\operatorname{Spec} \bar{A}$, where $\bar{A} := \operatorname{Spec} \, \operatorname{H}^0(A)$. Algebraically perfect DG modules are those that can be obtained from $A$ by finitely many shifts, direct summands and cones. Tilting DG modules are those that have inverses w.r.t. the derived tensor product; their isomorphism classes form the derived Picard group $\operatorname{DPic}(A)$. Dualizing DG modules are a generalization of Grothendieck's original definition (and here $A$ has to be cohomologically pseudo-noetherian). Cohen-Macaulay DG modules are the duals (w.r.t. a given dualizing DG module) of finite $\bar{A}$-modules. Rigid DG $A$-modules, relative to a commutative base ring $K$, are defined using the squaring operation, and this is a generalization of Van den Bergh's original definition. The techniques we use are the standard ones of derived categories, with a few improvements. We introduce a new method for studying DG $A$-modules: Cech resolutions of DG $A$-modules corresponding to open coverings of $\operatorname{Spec} \bar{A}$. Here are some of the new results obtained in this paper:... [truncated] The functorial properties of Cohen-Macaulay DG modules that we establish here are needed for our work on rigid dualizing complexes over commutative rings, schemes and Deligne-Mumford stacks. We pose several conjectures regarding existence and uniqueness of rigid DG modules over commutative DG rings.

연구 동기 및 목표

• 교환적 DG 링에 대한 이중성과 기울임의 종합적 이론을 개발하여, 고전적 교환적 대수학의 개념을 DG 설정으로 일반화한다.
• 특히 그로텐디크 이중성의 맥락에서, 완전, 기울임, 이중, 코hen-맥컬레이, 강성 DG 모듈에 대한 기초 결과를 수립한다.
• 특히 기초 링이 체가 아닌 산술적 맥락에서, 교환적 DG 링에 대한 강성 이중 복합체를 위한 프레임워크를 제공한다.
• 특정 링 $ar{A} = ext{H}^0(A)$ 위에서 DG 모듈의 국소 및 전역 성질을 연구하기 위한 새로운 기술적 도구로, DG 모듈에 대한 체흐 해상법을 도입한다.
• 표준 사상 $ ext{DPic}(A) o ext{DPic}(ar{A})$ 의 전단사성과, 강성 이중 DG 모듈이 강성 동형사상에 대해 유일하다는 것을 증명한다.

제안 방법

• 기하학적 완전 DG 모듈을 $ ext{Spec}ar{A}$ 상에서 국소 조건으로 정의하고, 대수적 완전 DG 모듈을 이동, 직접합성분, 콘의 유한 조합으로 정의한다.
• 유도 텐서곱에 대한 역원을 갖는 모듈로 기울임 DG 모듈를 정의하며, 이는 유도 피카르 군 $ ext{DPic}(A)$ 를 이룬다.
• 코호몰로지적으로 준노에터 링인 DG 링에 대해 이중 DG 모듈를 정의하며, 그로텐디크의 원래 정의를 일반화한다.
• 고정된 이중 DG 모듈에 대한 쌍대를 통해 유한 $ar{A}$-모듈인 것으로 정의된 코hen-맥컬레이 DG 모듈를 도입한다.
• 기저 링 $b{K}$ 에 대해 제곱 연산 $ ext{Sq}_{A/b{K}}(M) = ext{RHom}_{ ilde{A} ensor ilde{A}}(A, M ensor^{b{L}}_{b{K}} M)$ 를 사용하여, $ ilde{A} o A$ 가 K-평탄 해체일 때, 강성 DG 모듈를 정의한다.
• 특정 $ ext{Spec}ar{A}$ 의 열린 덮개에 대응하는 DG 모듈에 대한 체흐 해상법을 새로운 기술적 도구로 사용하여 국소-전역 성질을 분석한다.

실험 결과

연구 질문

• RQ1 기하학적으로 완전한 DG 모듈은 교환적 DG 링에서 대수적으로 완전한 모듈과 동치인가?
• RQ2 교환적 DG 링 $A$ 에 대해 표준 군 준동형사상 $ ext{DPic}(A) o ext{DPic}(ar{A})$ 는 전단사인가?
• RQ3 유도 피카르 군 $ ext{DPic}(A)$ 는 이중 DG $A$-모듈의 동형류 집합에 대해 단순히 추이적으로 작용하는가?
• RQ4 코호몰로지적으로 전성인 DG 링 준동형사상에 대해 코hen-맥컬레이 DG 모듈은 불변인가?
• RQ5 교환적 DG 링에 대한 강성 이중 DG 모듈은 강성 동형사상에 대해 유일한가?

주요 결과

• 기하학적으로 완전한 DG 모듈은 대수적으로 완전하다. 이는 DG 설정에서 핵심적인 동치를 확립한다.
• 표준 사상 $ ext{DPic}(A) o ext{DPic}(ar{A})$ 는 전단사이다. 이는 DG 링의 유도 피카르 군과 그 제로차 코호몰로지 링의 유도 피카르 군을 연결한다.
• 유도 피카르 군 $ ext{DPic}(A)$ 는 이중 DG $A$-모듈의 동형류 집합에 대해 단순히 추이적으로 작용한다.
• 코hen-맥컬레이 DG 모듈는 코호몰로지적으로 전성인 DG 링 준동형사상에 대해 민감하지 않다. 이는 특정 사상에 대해 강건함을 시사한다.
• 강성 이중 DG 모듈은 강성 동형사상에 대해 유일하다. 이는 기본적인 유일성 결과이다.
• 추측 9.8은 강성 이중 DG 모듈가 코호몰로지적으로 본질적으로 평탄하거나 유한형 사상에 沿해 올라갈 수 있음을 제안하며, 기존 결과를 DG 설정으로 확장한다.