Rigid complexes via DG algebras

Amnon Yekutieli, James J. Zhang

Research output: Contribution to journalArticlepeer-review

12 Scopus citations

Abstract

Let A be a commutative ring, B a commutative A-algebra and M a complex of B-modules. We begin by constructing the square SqB/AM, which is also a complex of B-modules. The squaring operation is a quadratic functor, and its construction requires differential graded (DG) algebras. If there exists an isomorphism ρ M ≃ → SqB/AM, then the pair (M, ρ) is called a rigid complex over B relative to A (there are some finiteness conditions). There is an obvious notion of rigid morphism between rigid complexes. We establish several properties of rigid complexes, including their uniqueness, existence (under some extra hypothesis), and formation of pullbacks fb(M, ρ) (resp. f(M, ρ)) along a finite (resp. essentially smooth) ring homomorphism f* : B → C. In the subsequent paper, Rigid Dualizing Complexes over Commutative Rings, we consider rigid dualizing complexes over commutative rings, building on the results of the present paper. The project culminates in our paper Rigid Dualizing Complexes and Perverse Sheaves on Schemes, where we give a comprehensive version of Grothendieck duality for schemes. The idea of rigid complexes originates in noncommutative algebraic geometry, and is due to Van den Bergh (1997).

Original languageEnglish
Pages (from-to)3211-3248
Number of pages38
JournalTransactions of the American Mathematical Society
Volume360
Issue number6
DOIs
StatePublished - 1 Jun 2008

ASJC Scopus subject areas

  • General Mathematics
  • Applied Mathematics

Fingerprint

Dive into the research topics of 'Rigid complexes via DG algebras'. Together they form a unique fingerprint.

Cite this