Showing 1–50 of 61 results for author: Yekutieli, A

Rigid Dualizing Complexes over Commutative Rings and their Functorial Properties

Authors: Mattia Ornaghi, Saurabh Singh, Amnon Yekutieli

Abstract: In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid dualizing complexes have strong functorial properties, allowing us to construct the twisted induction pseudofunctor, which is our ring-theoretic version of the twist… ▽ More In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid dualizing complexes have strong functorial properties, allowing us to construct the twisted induction pseudofunctor, which is our ring-theoretic version of the twisted inverse pseudofunctor $f^{!}$. This is the first article of a bigger project, whose final goal is establishing Grothendieck Duality, including global duality for proper maps, for Deligne-Mumford stacks. △ Less

Submitted 11 February, 2024; originally announced February 2024.

Comments: 119 pages, 7 figures

MSC Class: Primary: 14F08. Secondary: 18G80; 13D09; 16E45

Derived Complete Complexes at Weakly Proregular Ideals

Authors: Amnon Yekutieli

Abstract: Weak proregularity of an ideal in a commutative ring is a subtle generalization of the noetherian property of the ring. Weak proregularity is of special importance for the study of derived completion, and it occurs quite often in non-noetherian rings arising in Hochschild and prismatic cohomologies. This paper is about several related topics: adically flat modules, recognizing derived complete c… ▽ More Weak proregularity of an ideal in a commutative ring is a subtle generalization of the noetherian property of the ring. Weak proregularity is of special importance for the study of derived completion, and it occurs quite often in non-noetherian rings arising in Hochschild and prismatic cohomologies. This paper is about several related topics: adically flat modules, recognizing derived complete complexes, the structure of the category of derived complete complexes, and a derived complete Nakayama theorem - all with respect to a weakly proregular ideal; and the preservation of weak proregularity under completion of the ring. △ Less

Submitted 8 March, 2024; v1 submitted 4 September, 2023; originally announced September 2023.

Comments: This version: 27 pages. Added some new theorems, deleted redundant material, improved presentation

MSC Class: 13D09

Improved Kunneth Tricks

Authors: Amnon Yekutieli

Abstract: The Kunneth trick is a formula for the top cohomology of the derived tensor product of two complexes of modules over a ring. In this note we present two improvements of this formula. The first improved Kunneth trick is a formula for the top cohomology of the plain tensor product of two DG modules over a nonpositive DG ring. The second trick handles the derived tensor product of two DG modules ov… ▽ More The Kunneth trick is a formula for the top cohomology of the derived tensor product of two complexes of modules over a ring. In this note we present two improvements of this formula. The first improved Kunneth trick is a formula for the top cohomology of the plain tensor product of two DG modules over a nonpositive DG ring. The second trick handles the derived tensor product of two DG modules over a nonpositive DG ring. The proofs are elementary. △ Less

Submitted 2 August, 2023; originally announced August 2023.

Comments: 4 pages

MSC Class: Primary: 16E45. Secondary: 16E35; 18G10; 18E30

Quasi-Isomorphisms of Commutative DG Rings and Divided Power Structures

Authors: Amnon Yekutieli

Abstract: We prove that a quasi-isomorphism $f : A \to B$ between commutative DG rings, where $B$ admits a divided power structure, can be factored as $f = \tilde{f} \circ e$, where $e : A \to \tilde{B}$ is a split injective quasi-isomorphism, and $\tilde{f} : \tilde{B} \to B$ is a surjective quasi-isomorphism. This result is used in our work on a DG approach to the cotangent complex, and our work on the… ▽ More We prove that a quasi-isomorphism $f : A \to B$ between commutative DG rings, where $B$ admits a divided power structure, can be factored as $f = \tilde{f} \circ e$, where $e : A \to \tilde{B}$ is a split injective quasi-isomorphism, and $\tilde{f} : \tilde{B} \to B$ is a surjective quasi-isomorphism. This result is used in our work on a DG approach to the cotangent complex, and our work on the derived category of commutative DG rings. △ Less

Submitted 21 October, 2023; v1 submitted 10 May, 2023; originally announced May 2023.

Comments: this version: 7 pages, minor improvements

MSC Class: primary 14F08; secondary 13D09

Rings of Bounded Continuous Functions

Authors: Yotam Svoray, Amnon Yekutieli

Abstract: We examine several classical concepts from topology and functional analysis, using methods of commutative algebra. We show that these various concepts are all controlled by BC R-rings and their maximal spectra. A BC R-ring is a ring A that is isomorphic to the ring of bounded continuous R-valued functions on some compact topological space X. These rings are not topologized. We prove that the c… ▽ More We examine several classical concepts from topology and functional analysis, using methods of commutative algebra. We show that these various concepts are all controlled by BC R-rings and their maximal spectra. A BC R-ring is a ring A that is isomorphic to the ring of bounded continuous R-valued functions on some compact topological space X. These rings are not topologized. We prove that the category of BC R-rings is dual to the category of compact topological spaces. Next we prove that for every topological space X the ring of bounded continuous functions on it is a BC R-ring. These theorems combined yield an algebraic construction of the Stone-Cech Compactification of an arbitrary topological space. There is a similar notion of BC C-ring. Every BC C-ring A has a canonical involution. The canonical hermitian subring of A is a BC R-ring, and this is an equivalence of categories from BC C-rings to BC R-rings. Let K be either R or C. We prove that a BC K-ring A has a canonical norm on it, making it into a Banach K-ring. We then prove that the forgetful functor is an equivalence from Banach^* K-rings (better known as commutative unital C^* K-algebras) to BC K-rings. The quasi-inverse of the forgetful functor endows a BC K-ring with its canonical norm, and the canonical involution when K = C. Stone topological spaces, also known as profinite topological spaces, are traditionally related to boolean rings - this is Stone Duality. We give a BC ring characterization of Stone spaces. From that we obtain a very easy proof of the fact that the Stone-Cech Compactification of a discrete space is a Stone space. Most of the results in this paper are not new. However, most of our proofs seem to be new - and our methods could potentially lead to genuine progress related to these classical topics. △ Less

Submitted 19 February, 2022; v1 submitted 16 February, 2022; originally announced February 2022.

Comments: 40 pages, pdflatex. This version: new abstract (caveat re originality)

Rigidity, Residues and Duality: Overview and Recent Progress

Authors: Amnon Yekutieli

Abstract: In this article we explain the theory of rigid residue complexes in commutative algebra and algebraic geometry, summarizing the background, recent results and anticipated future results. Unlike all previous approaches to Grothendiec Duality, the rigid approach concentrates on the construction of rigid residue complexes over rings, and their intricate yet robust properties. The geometrization, i.e.… ▽ More In this article we explain the theory of rigid residue complexes in commutative algebra and algebraic geometry, summarizing the background, recent results and anticipated future results. Unlike all previous approaches to Grothendiec Duality, the rigid approach concentrates on the construction of rigid residue complexes over rings, and their intricate yet robust properties. The geometrization, i.e. the passage to rigid residue complexes on schemes and Deligne-Mumford (DM) stacks, by gluing, is fairly easy. In the geometric part of the theory, the main results are the Rigid Residue Theorem and the Rigid Duality Theorem for proper maps between schemes, and for tame proper maps between DM stacks. △ Less

Submitted 30 January, 2021; originally announced February 2021.

Comments: 20 pages

MSC Class: Primary: 14F08. Secondary: 18G80; 13D09; 14A20; 18F20; 16E45

Pythagorean Triples, Complex Numbers, Abelian Groups and Prime Numbers

Authors: Amnon Yekutieli

Abstract: It is well-known that pythagorean triples can be represented by points of the unit circle with rational coordinates. These points form an abelian group, and we describe its structure. This structural description yields, almost immediately, an enumeration of the normalized pythagorean triples with a given hypotenuse, and also to an effective method for producing all such triples. This effective met… ▽ More It is well-known that pythagorean triples can be represented by points of the unit circle with rational coordinates. These points form an abelian group, and we describe its structure. This structural description yields, almost immediately, an enumeration of the normalized pythagorean triples with a given hypotenuse, and also to an effective method for producing all such triples. This effective method seems to be new. This paper is intended for the general mathematical audience, including undergraduate mathematics students, and therefore it contains plenty of background material, some history and several examples and exercises. △ Less

Submitted 8 January, 2022; v1 submitted 28 January, 2021; originally announced January 2021.

Comments: 11 pages, 5 figures, to appear in American Mathematical Monthly

Weak Proregularity, Derived Completion, Adic Flatness, and Prisms

Authors: Amnon Yekutieli

Abstract: This paper has two parts. In the first part we recall the important role that weak proregularity of an ideal in a commutative ring has in derived completion and in adic flatness. We also introduce the new concepts of idealistic and sequential derived completion, and prove a few results about them, including the fact that these two concepts agree iff the ideal is weakly proregular. In the second… ▽ More This paper has two parts. In the first part we recall the important role that weak proregularity of an ideal in a commutative ring has in derived completion and in adic flatness. We also introduce the new concepts of idealistic and sequential derived completion, and prove a few results about them, including the fact that these two concepts agree iff the ideal is weakly proregular. In the second part we study the local nature of weak proregularity, and its behavior w.r.t. ring quotients. These results allow us to prove that weak proregularity occurs in the context of bounded prisms, in the sense of Bhatt and Scholze. We anticipate that the concept of weak proregularity will help simplify and improve some of the more technical aspects of the groundbreaking theory of perfectoid rings and prisms (that has transformed arithmetic geometry in recent years). △ Less

Submitted 7 May, 2021; v1 submitted 12 February, 2020; originally announced February 2020.

Comments: Version 5, final: 20 pages, minor changes, to appear in J. Algebra

MSC Class: 13J10 (Primary); 13B35; 13E05; 13C10; 13C11; 13D07 (Secondary)

Derived Categories

Authors: Amnon Yekutieli

Abstract: This is the fourth (and last) prepublication version of a book on derived categories, that will be published by Cambridge University Press. The purpose of the book is to provide solid foundations for the theory of derived categories, and to present several applications of this theory in commutative and noncommutative algebra. The emphasis is on constructions and examples, rather than on axiomati… ▽ More This is the fourth (and last) prepublication version of a book on derived categories, that will be published by Cambridge University Press. The purpose of the book is to provide solid foundations for the theory of derived categories, and to present several applications of this theory in commutative and noncommutative algebra. The emphasis is on constructions and examples, rather than on axiomatics. Here are the topics covered in the book: - A review of standard facts on abelian categories. - Differential graded algebra (DG rings, DG modules, DG categories and DG functors). - Triangulated categories and triangulated functors between them. How they arise from the DG background. The homotopy category K(A,M) of DG A-modules in M. - Localization of categories. The derived category D(A,M), which is the localization of K(A,M) with respect to the quasi-isomorphisms. - Left and right derived functors of a triangulated functor. - K-injective, K-projective and K-flat DG modules. Their roles, and their existence in several important algebraic situations. - Dualizing and residue complexes over commutative noetherian rings, including Van den Bergh rigidity. - Perfect DG modules and tilting DG bimodules over NC (noncommutative) DG rings. - NC connected graded rings, including Artin-Schelter regular rings. Derived torsion for NC connected graded rings, its relation to the chi condition of Artin-Zhang, and the NC MGM Equivalence. Balanced dualizing complexes, their uniqueness, existence and trace functoriality. - NC rigid dualizing complexes, following Van den Bergh. The uniqueness and existence of these complexes, a few examples, and their relation to Calabi-Yau rings. Readers of this preview version are urged to write to the author with any comments regarding errors, suggestions or questions. △ Less

Submitted 14 April, 2019; v1 submitted 30 October, 2016; originally announced October 2016.

Comments: Fourth (and last) prepublication version. To be published by CUP. This version: 459 pages, many changes (large and small)

MSC Class: 18E30 (Primary) 18G10; 16E45 ( Secondary)

Journal ref: Cambridge Studies in Advanced Mathematics (183), 2019

The Derived Category of Sheaves of Commutative DG Rings (Preview)

Authors: Amnon Yekutieli

Abstract: In this short paper we outline (mostly without proofs) our new approach to the derived category of sheaves of commutative DG rings. The proofs will appear in a subsequent paper. Among other things, we explain how to form the derived intersection of two closed subschemes inside a given algebraic scheme X, without recourse to simplicial or higher homotopical methods, and without any global assumpt… ▽ More In this short paper we outline (mostly without proofs) our new approach to the derived category of sheaves of commutative DG rings. The proofs will appear in a subsequent paper. Among other things, we explain how to form the derived intersection of two closed subschemes inside a given algebraic scheme X, without recourse to simplicial or higher homotopical methods, and without any global assumptions on X. △ Less

Submitted 15 August, 2016; originally announced August 2016.

Comments: 15 pages

Weak Proregularity, Weak Stability, and the Noncommutative MGM Equivalence

Authors: Rishi Vyas, Amnon Yekutieli

Abstract: Let A be a commutative ring, and let \a = \frak{a} be a finitely generated ideal in it. It is known that a necessary and sufficient condition for the derived \a-torsion and \a-adic completion functors to be nicely behaved is the weak proregularity of \a. In particular, the MGM Equivalence holds. Because weak proregularity is defined in terms of elements of the ring (specifically, it involves lim… ▽ More Let A be a commutative ring, and let \a = \frak{a} be a finitely generated ideal in it. It is known that a necessary and sufficient condition for the derived \a-torsion and \a-adic completion functors to be nicely behaved is the weak proregularity of \a. In particular, the MGM Equivalence holds. Because weak proregularity is defined in terms of elements of the ring (specifically, it involves limits of Koszul complexes), it is not suitable for noncommutative ring theory. In this paper we introduce a new condition on a torsion class T in a module category: weak stability. Our first main theorem is that in the commutative case, the ideal \a is weakly proregular if and only if the corresponding torsion class T_{\a} is weakly stable. We then study weak stability of torsion classes in module categories over noncommutative rings. There are three main theorems in this context: - For a torsion class T that is weakly stable, quasi-compact and finite dimensional, the right derived torsion functor is isomorphic to a left derived tensor functor. - The Noncommutative MGM Equivalence, under the same assumptions on T. - A theorem about symmetric derived torsion for complexes of bimodules. This last theorem is a generalization of a result of Van den Bergh from 1997, and corrects an error in a paper of Yekutieli-Zhang from 2003. △ Less

Submitted 27 July, 2018; v1 submitted 11 August, 2016; originally announced August 2016.

Comments: 49 pages. Final version, a few minor improvements, to appear in J. Algebra

MSC Class: 18G10 (Primary); 13D45; 16S90; 16E35 (Secondary)

Journal ref: Weak proregularity, weak stability, and the noncommutative MGM equivalence, J. Algebra 513, (2018), 265-325

Flatness and Completion Revisited

Authors: Amnon Yekutieli

Abstract: We continue investigating the interaction between flatness and $\mathfrak{a}$-adic completion for infinitely generated modules over a commutative ring $A$. We introduce the concept of $\mathfrak{a}$-adic flatness, which is weaker than flatness. We prove that $\mathfrak{a}$-adic flatness is preserved under completion when the ideal $\mathfrak{a}$ is weakly proregular. We also prove that when $A$ is… ▽ More We continue investigating the interaction between flatness and $\mathfrak{a}$-adic completion for infinitely generated modules over a commutative ring $A$. We introduce the concept of $\mathfrak{a}$-adic flatness, which is weaker than flatness. We prove that $\mathfrak{a}$-adic flatness is preserved under completion when the ideal $\mathfrak{a}$ is weakly proregular. We also prove that when $A$ is noetherian, $\mathfrak{a}$-adic flatness coincides with flatness (for complete modules). An example is worked out of a non-noetherian ring $A$, with a weakly proregular ideal $\mathfrak{a}$, for which the completion $\hat{A}$ is not flat. We also study $\mathfrak{a}$-adic systems, and prove that if the ideal $\mathfrak{a}$ is finitely generated, then the limit of any $\mathfrak{a}$-adic system is a complete module. △ Less

Submitted 6 September, 2017; v1 submitted 6 June, 2016; originally announced June 2016.

Comments: 21 pages. Final version, minor corrections, to appear in ART

MSC Class: 13J10 (Primary); 13B35; 13E05; 13C10; 13C11; 13D07 (Secondary)

Errata: On the Homology of Completion and Torsion

Authors: Marco Porta, Liran Shaul, Amnon Yekutieli

Abstract: In this note we correct two errors in our paper "On the Homology of Completion and Torsion", arXiv:1010.4386, that appeared in Algebras and Representation Theory (2014). In this note we correct two errors in our paper "On the Homology of Completion and Torsion", arXiv:1010.4386, that appeared in Algebras and Representation Theory (2014). △ Less

Submitted 19 June, 2015; originally announced June 2015.

Comments: 5 pages

Introduction to Derived Categories

Authors: Amnon Yekutieli

Abstract: Derived categories were invented by Grothendieck and Verdier around 1960, not very long after the "old" homological algebra (of derived functors between abelian categories) was established. This "new" homological algebra, of derived categories and derived functors between them, provides a significantly richer and more flexible machinery than the "old" homological algebra. For instance, the importa… ▽ More Derived categories were invented by Grothendieck and Verdier around 1960, not very long after the "old" homological algebra (of derived functors between abelian categories) was established. This "new" homological algebra, of derived categories and derived functors between them, provides a significantly richer and more flexible machinery than the "old" homological algebra. For instance, the important concepts of dualizing complex and tilting complex do not exist in the "old" homological algebra. This paper is an edited version of the notes for a two-lecture minicourse given at MSRI in January 2013. Sections 1-5 are about the general theory of derived categories, and the material is taken from my manuscript "A Course on Derived Categories" (available online). Sections 6-9 are on more specialized topics, leaning towards noncommutative algebraic geometry. △ Less

Submitted 27 January, 2015; originally announced January 2015.

Comments: 18 pages, to appear in MSRI volume on Noncommutative Algebraic Geometry

The Squaring Operation for Commutative DG Rings

Authors: Amnon Yekutieli

Abstract: Let A -> B be a homomorphism of commutative rings. The squaring operation is a functor Sq_{B/A} from the derived category D(B) of complexes B-modules into itself. The squaring operation is needed for the definition of rigid complexes (in the sense of Van den Bergh), that in turn leads to a new approach to Grothendieck duality for rings, schemes and even DM stacks. In our paper with J.J. Zhang fr… ▽ More Let A -> B be a homomorphism of commutative rings. The squaring operation is a functor Sq_{B/A} from the derived category D(B) of complexes B-modules into itself. The squaring operation is needed for the definition of rigid complexes (in the sense of Van den Bergh), that in turn leads to a new approach to Grothendieck duality for rings, schemes and even DM stacks. In our paper with J.J. Zhang from 2008 we introduced the squaring operation, and explored some of its properties. Unfortunately some of the proofs in that paper had severe gaps in them. In the present paper we reproduce the construction of the squaring operation. This is done in a somewhat more general context than in the first paper: here we consider a homomorphism A -> B of commutative DG rings. Our first main result is that the square Sq_{B/A}(M) of a DG B-module M is independent of the resolutions used to present it. Our second main result is on the trace functoriality of the squaring operation. We give precise statements and complete correct proofs. In a subsequent paper we will reproduce the remaining parts of the 2008 paper that require fixing. This will allow us to proceed with the other papers, mentioned in the bibliography, on the rigid approach to Grothendieck duality. The proofs of the main results require a substantial amount of foundational work on commutative and noncommutative DG rings, including a study of semi-free DG rings, their lifting properties, and their homotopies. This part of the paper could be of independent interest. △ Less

Submitted 24 October, 2015; v1 submitted 13 December, 2014; originally announced December 2014.

Comments: This version: 44 pages, minor corrections, to appear in J. Algebra

MSC Class: Primary: 16E45. Secondary: 16E35; 18G10; 13D03; 18E30

Another Proof of a Theorem of Van den Bergh about Graded-Injective Modules

Authors: Amnon Yekutieli

Abstract: M. Van den Bergh proved that if A is a left noetherian N-graded ring, and I is a graded-injective left A-module, then the injective dimension of I in the ungraded sense is at most 1. In this note we give another proof of this result. Our proof follows the same strategy as the original proof by Van den Bergh, yet it is somewhat more conceptual, in that it isolates the precise "reason" for the dimen… ▽ More M. Van den Bergh proved that if A is a left noetherian N-graded ring, and I is a graded-injective left A-module, then the injective dimension of I in the ungraded sense is at most 1. In this note we give another proof of this result. Our proof follows the same strategy as the original proof by Van den Bergh, yet it is somewhat more conceptual, in that it isolates the precise "reason" for the dimension jump. △ Less

Submitted 22 July, 2014; originally announced July 2014.

Comments: 6 pages

Local Beilinson-Tate Operators

Authors: Amnon Yekutieli

Abstract: In 1968 Tate introduced a new approach to residues on algebraic curves, based on a certain ring of operators that acts on the completion at a point of the function field of the curve. This approach was generalized to higher dimensional algebraic varieties by Beilinson in 1980. However Beilinson's paper had very few details, and his operator-theoretic construction remained cryptic for many years. C… ▽ More In 1968 Tate introduced a new approach to residues on algebraic curves, based on a certain ring of operators that acts on the completion at a point of the function field of the curve. This approach was generalized to higher dimensional algebraic varieties by Beilinson in 1980. However Beilinson's paper had very few details, and his operator-theoretic construction remained cryptic for many years. Currently there is a renewed interest in the Beilinson-Tate approach to residues in higher dimensions. Our paper presents a variant of Beilinson's operator-theoretic construction. We consider an n-dimensional topological local field K, and define a ring of operators E(K) that acts on K, which we call the ring of local Beilinson-Tate operators. Our definition is of an analytic nature (as opposed to the original geometric definition of Beilinson). We study various properties of the ring E(K). In particular we show that E(K) has an n-dimensional cubical decomposition, and this gives rise to a residue functional in the style of Beilinson-Tate. Presumably this residue functional coincides with the residue functional that we had constructed in 1992; but we leave this as a conjecture. △ Less

Submitted 27 December, 2014; v1 submitted 25 June, 2014; originally announced June 2014.

Comments: 39 pages. Final version, to appear in Algebra and Number Theory

MSC Class: primary: 12J25; secondary: 32A27; 13J05; 11R56; 46A13; 46H30

Journal ref: Algebra Number Theory 9 (2015) 173-224

Duality and Tilting for Commutative DG Rings

Authors: Amnon Yekutieli

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)$. A… ▽ More 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. △ Less

Submitted 22 March, 2016; v1 submitted 22 December, 2013; originally announced December 2013.

Comments: This version: 52 pages. Improved discussion of tilting DG modules (removal of an unnecessary finiteness condition). The author has decided not to submit this version of the paper to a peer reviewed journal

MSC Class: Primary: 13D09; Secondary: 13D07; 18G10; 16E45

A Separated Cohomologically Complete Module is Complete

Authors: Amnon Yekutieli

Abstract: We prove two theorems on cohomologically complete complexes. These theorems are inspired by, and yield an alternative proof of, a recent theorem of P. Schenzel on complete modules. We prove two theorems on cohomologically complete complexes. These theorems are inspired by, and yield an alternative proof of, a recent theorem of P. Schenzel on complete modules. △ Less

Submitted 29 April, 2014; v1 submitted 10 December, 2013; originally announced December 2013.

Comments: 6 pages. Final version, to appear in Comm. Algebra

MSC Class: 13B35; Secondary: 18G10; 13J10

Deformations of Affine Varieties and the Deligne Crossed Groupoid

Authors: Amnon Yekutieli

Abstract: Let X be a smooth affine algebraic variety over a field K of characteristic 0, and let R be a complete parameter K-algebra (e.g. R = K[[h]]). We consider associative (resp. Poisson) R-deformations of the structure sheaf O_X. The set of R-deformations has a crossed groupoid (i.e. strict 2-groupoid) structure. Our main result is that there is a canonical equivalence of crossed groupoids from the Del… ▽ More Let X be a smooth affine algebraic variety over a field K of characteristic 0, and let R be a complete parameter K-algebra (e.g. R = K[[h]]). We consider associative (resp. Poisson) R-deformations of the structure sheaf O_X. The set of R-deformations has a crossed groupoid (i.e. strict 2-groupoid) structure. Our main result is that there is a canonical equivalence of crossed groupoids from the Deligne crossed groupoid of normalized polydifferential operators (resp. polyderivations) of X to the crossed groupoid of associative (resp. Poisson) R-deformations of O_X. The proof relies on a careful study of adically complete sheaves. In the associative case we also have to use ring theory (Ore localizations) and the properties of the Hochschild cochain complex. The results of this paper extend previous work by various authors. They are needed for our work on twisted deformation quantization of algebraic varieties. △ Less

Submitted 27 September, 2012; originally announced September 2012.

Comments: 29 pages. This material was part of arXiv:0905.0488v3, now made into a separate paper with improved presentation

MSC Class: 53D55 (Primary) 14B10; 16S80; 17B40; 18B05 (Secondary)

Cohomologically Cofinite Complexes

Authors: Marco Porta, Liran Shaul, Amnon Yekutieli

Abstract: Let A be a commutative noetherian ring, and \a an ideal in it. In this paper we continue the study, begun in [PSY1], of the derived \a-adic completion and the derived \a-torsion functors. Here are our results: (1) a structural characterization of bounded above cohomologically complete complexes; (2) the Cohomologically Complete Nakayama Theorem; and (3) a characterization of cohomologically cofini… ▽ More Let A be a commutative noetherian ring, and \a an ideal in it. In this paper we continue the study, begun in [PSY1], of the derived \a-adic completion and the derived \a-torsion functors. Here are our results: (1) a structural characterization of bounded above cohomologically complete complexes; (2) the Cohomologically Complete Nakayama Theorem; and (3) a characterization of cohomologically cofinite complexes. △ Less

Submitted 20 June, 2013; v1 submitted 20 August, 2012; originally announced August 2012.

Comments: 16 pages, final version, to appear in Comm. Algebra

Completion by Derived Double Centralizer

Authors: Marco Porta, Liran Shaul, Amnon Yekutieli

Abstract: Let A be a commutative ring, and let \a be a weakly proregular ideal in A. (If A is noetherian then any ideal in it is weakly proregular.) Suppose M is a compact generator of the category of cohomologically \a-torsion complexes. We prove that the derived double centralizer of M is isomorphic to the \a-adic completion of A. The proof relies on the MGM equivalence from [PSY] and on derived Morita eq… ▽ More Let A be a commutative ring, and let \a be a weakly proregular ideal in A. (If A is noetherian then any ideal in it is weakly proregular.) Suppose M is a compact generator of the category of cohomologically \a-torsion complexes. We prove that the derived double centralizer of M is isomorphic to the \a-adic completion of A. The proof relies on the MGM equivalence from [PSY] and on derived Morita equivalence. Our result extends earlier work of Dwyer-Greenlees-Iyengar [DGI] and Efimov [Ef]. △ Less

Submitted 21 January, 2013; v1 submitted 3 July, 2012; originally announced July 2012.

Comments: 13 pages; minor changes; final version, to appear in Algebr. Represent. Theor

MSC Class: 13D07 (Primary) 13B35; 13C12; 13D09; 18E30 (Secondary)

A Course on Derived Categories

Authors: Amnon Yekutieli

Abstract: These are notes for an advanced course given at Ben Gurion University in Spring 2012. These are notes for an advanced course given at Ben Gurion University in Spring 2012. △ Less

Submitted 7 May, 2015; v1 submitted 28 June, 2012; originally announced June 2012.

Comments: 97 pages, 2 figures. This version: a few small corrections

Combinatorial Descent Data for Gerbes

Authors: Amnon Yekutieli

Abstract: We consider descent data in cosimplicial crossed groupoids. This is a combinatorial abstraction of the descent data for gerbes in algebraic geometry. The main result is this: a weak equivalence between cosimplicial crossed groupoids induces a bijection on gauge equivalence classes of descent data. We consider descent data in cosimplicial crossed groupoids. This is a combinatorial abstraction of the descent data for gerbes in algebraic geometry. The main result is this: a weak equivalence between cosimplicial crossed groupoids induces a bijection on gauge equivalence classes of descent data. △ Less

Submitted 1 May, 2014; v1 submitted 9 September, 2011; originally announced September 2011.

Comments: 13 pages, 2 figures. Final version, to appear in J. Noncommutative Geometry

MSC Class: 18G50 (Primary) 18G30; 20L05 (Secondary)

MC Elements in Pronilpotent DG Lie Algebras

Authors: Amnon Yekutieli

Abstract: Consider a pronilpotent DG (differential graded) Lie algebra over a field of characteristic 0. In the first part of the paper we introduce the reduced Deligne groupoid associated to this DG Lie algebra. We prove that a DG Lie quasi-isomorphism between two such algebras induces an equivalence between the corresponding reduced Deligne groupoids. This extends the famous result of Goldman- Millson (at… ▽ More Consider a pronilpotent DG (differential graded) Lie algebra over a field of characteristic 0. In the first part of the paper we introduce the reduced Deligne groupoid associated to this DG Lie algebra. We prove that a DG Lie quasi-isomorphism between two such algebras induces an equivalence between the corresponding reduced Deligne groupoids. This extends the famous result of Goldman- Millson (attributed to Deligne) to the unbounded pronilpotent case. In the second part of the paper we consider the Deligne 2-groupoid. We show it exists under more relaxed assumptions than known before (the DG Lie algebra is either nilpotent or of quasi quantum type). We prove that a DG Lie quasi-isomorphism between such DG Lie algebras induces a weak equivalence between the corresponding Deligne 2-groupoids. In the third part of the paper we prove that an L-infinity quasi-isomorphism between pronilpotent DG Lie algebras induces a bijection between the sets of gauge equivalence classes of Maurer-Cartan elements. This extends a result of Kontsevich and others to the pronilpotent case. △ Less

Submitted 9 February, 2012; v1 submitted 5 March, 2011; originally announced March 2011.

Comments: 23 pages, 2 figures. New version: change of title, other minor changes. Version 3: 31 pages, added material on the Deligne 2-groupoid. Version 4: minor changes, final, to appear in JPAA

MSC Class: 53D55 (Primary) 17B40; 14B10; 18D05 (Secondary)

On the Homology of Completion and Torsion

Authors: Marco Porta, Liran Shaul, Amnon Yekutieli

Abstract: Let A be a commutative ring, and \a a weakly proregular ideal in A. This includes the noetherian case: if A is noetherian then any ideal in it is weakly proregular; but there are other interesting examples. In this paper we prove the MGM equivalence, which is an equivalence between the category of cohomologically \a-adically complete complexes and the category of cohomologically \a-torsion complex… ▽ More Let A be a commutative ring, and \a a weakly proregular ideal in A. This includes the noetherian case: if A is noetherian then any ideal in it is weakly proregular; but there are other interesting examples. In this paper we prove the MGM equivalence, which is an equivalence between the category of cohomologically \a-adically complete complexes and the category of cohomologically \a-torsion complexes. These are triangulated subcategories of the derived category of A-modules. Our work extends earlier work by Alonso- Jeremias-Lipman, Schenzel and Dwyer-Greenlees. △ Less

Submitted 16 October, 2012; v1 submitted 21 October, 2010; originally announced October 2010.

Comments: This version: 33 pages. Final version, to appear in Algebras and Representation Theory. Minor changes in text

MSC Class: 13D07 (Primary) 13B35; 13C12; 13D09; 18E30 (Secondary)

Nonabelian Multiplicative Integration on Surfaces

Authors: Amnon Yekutieli

Abstract: We construct a 2-dimensional twisted nonabelian multiplicative integral. This is done in the context of a Lie crossed module (an object composed of two Lie groups interacting), and a pointed manifold. The integrand is a connection-curvature pair, that consists of a Lie algebra valued 1-form and a Lie algebra valued 2-form, satisfying a certain differential equation. The geometric cycle of the inte… ▽ More We construct a 2-dimensional twisted nonabelian multiplicative integral. This is done in the context of a Lie crossed module (an object composed of two Lie groups interacting), and a pointed manifold. The integrand is a connection-curvature pair, that consists of a Lie algebra valued 1-form and a Lie algebra valued 2-form, satisfying a certain differential equation. The geometric cycle of the integration is a kite in the pointed manifold. A kite is made up of a 2-dimensional simplex in the manifold, together with a path connecting this simplex to the base point of the manifold. The multiplicative integral is an element of the second Lie group in the crossed module. We prove several properties of the multiplicative integral. Among them is the 2-dimensional nonabelian Stokes Theorem, which is a generalization of Schlesinger's Theorem. Our main result is the 3-dimensional nonabelian Stokes Theorem. This is a totally new result. The methods we use are: the CBH Theorem for the nonabelian exponential map; piecewise smooth geometry of polyhedra; and some basic algebraic topology. The motivation for this work comes from twisted deformation quantization and descent for nonabelian gerbes. Similar questions arise in nonabelian gauge theory. △ Less

Submitted 6 March, 2015; v1 submitted 7 July, 2010; originally announced July 2010.

Comments: 140 pages, 38 figures; some small changes and updated bibliography. To appear as book with World Scientific. Dec 2015, ISBN: 978-981-4663-84-7, http://www.worldscientific.com/worldscibooks/10.1142/9537

MSC Class: 22E30 (Primary); 22E60; 57Q15; 57R19; 58A10; 53C08 (Secondary)

Derived Equivalences Between Associative Deformations

Authors: Amnon Yekutieli

Abstract: We prove that if two associative deformations (parameterized by the same complete local ring) are derived Morita equivalent, then they are Morita equivalent (in the classical sense). We prove that if two associative deformations (parameterized by the same complete local ring) are derived Morita equivalent, then they are Morita equivalent (in the classical sense). △ Less

Submitted 12 July, 2009; originally announced July 2009.

Comments: 10 pages

MSC Class: 53D55 (Primary) 18E30; 16S80; 16D90 (Secondary)

Twisted Deformation Quantization of Algebraic Varieties

Authors: Amnon Yekutieli

Abstract: Let X be a smooth algebraic variety over a field K containing the real numbers. We introduce the notion of twisted associative (resp. Poisson) deformation of the structure sheaf of X. These are stack-like versions of usual deformations. We prove that there is a twisted quantization operation from twisted Poisson deformations to twisted associative deformations, which is canonical and bijective on… ▽ More Let X be a smooth algebraic variety over a field K containing the real numbers. We introduce the notion of twisted associative (resp. Poisson) deformation of the structure sheaf of X. These are stack-like versions of usual deformations. We prove that there is a twisted quantization operation from twisted Poisson deformations to twisted associative deformations, which is canonical and bijective on gauge equivalence classes. This result extends work of Kontsevich, and our own earlier work, on deformation quantization of algebraic varieties. △ Less

Submitted 5 September, 2014; v1 submitted 4 May, 2009; originally announced May 2009.

Comments: Final version, to appear in Adv. Math. 50 pages, 3 figures

MSC Class: 53D55 (Primary); 14B10; 16S80; 17B40; 18B05 (Secondary)

On Flatness and Completion for Infinitely Generated Modules over Noetherian Rings

Authors: Amnon Yekutieli

Abstract: Let A be a noetherian commutative ring, and let I be an ideal in A. We study questions of flatness and I-adic completeness for infinitely generated A-modules. This is done using the notions of decaying function and I-adically free A-module. Let A be a noetherian commutative ring, and let I be an ideal in A. We study questions of flatness and I-adic completeness for infinitely generated A-modules. This is done using the notions of decaying function and I-adically free A-module. △ Less

Submitted 12 February, 2010; v1 submitted 25 February, 2009; originally announced February 2009.

Comments: Minor improvements. Final version, to appear in Comm. Algebra

MSC Class: 13J10 (Primary); 13E05; 13C10; 13C11 (Secondary)

Twisted Deformation Quantization of Algebraic Varieties (Survey)

Authors: Amnon Yekutieli

Abstract: Let X be a smooth algebraic variety over a field of characteristic 0. We introduce the notion of twisted associative (resp. Poisson) deformation of the structure sheaf O_X. These are stack-like versions of usual deformations. We prove that there is a twisted quantization map from twisted Poisson deformations to twisted associative deformations, which is canonical and bijective on equivalence class… ▽ More Let X be a smooth algebraic variety over a field of characteristic 0. We introduce the notion of twisted associative (resp. Poisson) deformation of the structure sheaf O_X. These are stack-like versions of usual deformations. We prove that there is a twisted quantization map from twisted Poisson deformations to twisted associative deformations, which is canonical and bijective on equivalence classes. △ Less

Submitted 27 July, 2011; v1 submitted 21 January, 2008; originally announced January 2008.

Comments: Lecture notes made into a survey article. 19 pages. To appear in Cont. Math. (Goodearl Conference Proceedings)

Central Extensions of Gerbes

Authors: Amnon Yekutieli

Abstract: We introduce the notion of central extension of gerbes on a topological space. We then show that there are obstruction classes to lifting objects and isomorphisms in a central extension. We also discuss pronilpotent gerbes. These results are used in a subsequent paper to study twisted deformation quantization on algebraic varieties. We introduce the notion of central extension of gerbes on a topological space. We then show that there are obstruction classes to lifting objects and isomorphisms in a central extension. We also discuss pronilpotent gerbes. These results are used in a subsequent paper to study twisted deformation quantization on algebraic varieties. △ Less

Submitted 18 February, 2010; v1 submitted 29 December, 2007; originally announced January 2008.

Comments: 36 pages. Many improvements, Theorem 4.6 corrected

MSC Class: 20L05 (Primary) 18G50; 20J06; 18F20 (Secondary)

Rigid Dualizing Complexes via Differential Graded Algebras (Survey)

Authors: Amnon Yekutieli

Abstract: In this article we survey recent results on rigid dualizing complexes over commutative algebras. We begin by recalling what are dualizing complexes. Next we define rigid complexes, and explain their functorial properties. Due to the possible presence of torsion, we must use differential graded algebras in the constructions. We then discuss rigid dualizing complexes. Finally we show how rigid com… ▽ More In this article we survey recent results on rigid dualizing complexes over commutative algebras. We begin by recalling what are dualizing complexes. Next we define rigid complexes, and explain their functorial properties. Due to the possible presence of torsion, we must use differential graded algebras in the constructions. We then discuss rigid dualizing complexes. Finally we show how rigid complexes can be used to understand Cohen-Macaulay homomorphisms and relative dualizing sheaves. △ Less

Submitted 20 July, 2008; v1 submitted 13 September, 2007; originally announced September 2007.

Comments: 9 pages, minor changes, final version (to appear proc. Conf. Triangulated Categories, Leeds 2006)

MSC Class: 18E30

Erratum to: Deformation Quantization in Algebraic Geometry

Authors: Amnon Yekutieli

Abstract: This note contains a correction of the proofs of the main results of the paper [A. Yekutieli, Deformation quantization in algebraic geometry, Adv. Math. 198 (2005), 383-432]. The results are correct as originally stated. This note contains a correction of the proofs of the main results of the paper [A. Yekutieli, Deformation quantization in algebraic geometry, Adv. Math. 198 (2005), 383-432]. The results are correct as originally stated. △ Less

Submitted 13 August, 2007; originally announced August 2007.

Comments: Erratum to paper published in Adv. Math

MSC Class: 53D55 (Primary); 14D15; 13D10; 16S80 (Secondary)

Rigid Complexes via DG Algebras

Authors: Amnon Yekutieli, James J. Zhang

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 Sq_{B/A} M, 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 \iso Sq_{B/A} M then the pair (M,ρ) is called a rigid complex over B relative t… ▽ More Let A be a commutative ring, B a commutative A-algebra and M a complex of B-modules. We begin by constructing the square Sq_{B/A} M, 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 \iso Sq_{B/A} M 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 f^{\flat}(M,ρ) (resp. f^{\sharp}(M,ρ)) along a finite (resp. essentially smooth) ring homomorphism f^* : B \to C. In a subsequent paper we consider rigid dualizing complexes over commutative rings, building on the results of the present paper. The project culminates in a third paper, 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. △ Less

Submitted 18 December, 2006; v1 submitted 31 March, 2006; originally announced March 2006.

Comments: 38 pages, AMSLaTeX, xypic figures. Final version, minor changes, to appear in Tran. AMS

MSC Class: Primary: 18E30; Secondary: 18G10; 16E45; 18G15

Rigid Dualizing Complexes over Commutative Rings

Authors: Amnon Yekutieli, James J. Zhang

Abstract: In this paper we present a new approach to Grothendieck duality over commutative rings. Our approach is based on the idea of rigid dualizing complexes, which was introduced by Van den Bergh in the context of noncommutative algebraic geometry. The method of rigidity was modified to work over general commutative base rings in our paper [YZ5]. In the present paper we obtain many of the important lo… ▽ More In this paper we present a new approach to Grothendieck duality over commutative rings. Our approach is based on the idea of rigid dualizing complexes, which was introduced by Van den Bergh in the context of noncommutative algebraic geometry. The method of rigidity was modified to work over general commutative base rings in our paper [YZ5]. In the present paper we obtain many of the important local features of Grothendieck duality, yet manage to avoid lengthy and difficult compatibility verifications. Our results apply to essentially finite type algebras over a regular noetherian finite dimensional base ring, and hence are suitable for arithmetic rings. In the sequel paper [Ye4] these results will be used to construct and study rigid dualizing complexes on schemes. △ Less

Submitted 7 August, 2007; v1 submitted 26 January, 2006; originally announced January 2006.

Comments: 30 pages, AMSLaTeX, xypic diagrams. Final version, to appear in Algebras and Representation Theory. Minor changes

MSC Class: 14F05 (Primary); 14B25; 14F10; 13D07; 18G10; 16E45 (Secondary)

An Averaging Process for Unipotent Group Actions

Authors: Amnon Yekutieli

Abstract: We present an averaging process for sections of a torsor under a unipotent group. This process allows one to integrate local sections of such a torsor into a global simplicial section. The results of this paper have applications to deformation quantization of algebraic varieties. We present an averaging process for sections of a torsor under a unipotent group. This process allows one to integrate local sections of such a torsor into a global simplicial section. The results of this paper have applications to deformation quantization of algebraic varieties. △ Less

Submitted 12 January, 2006; v1 submitted 10 May, 2005; originally announced May 2005.

Comments: 11 pages, 1 eps figure, some xypic figures. Final version, to appear in Representation Theory

MSC Class: Primary: 14L30; Secondary: 18G30; 20G15

Mixed Resolutions and Simplicial Sections

Authors: Amnon Yekutieli

Abstract: We introduce the notions of mixed resolutions and simplicial sections, and prove a theorem relating them. This result is used (in another paper) to study deformation quantization in algebraic geometry. We introduce the notions of mixed resolutions and simplicial sections, and prove a theorem relating them. This result is used (in another paper) to study deformation quantization in algebraic geometry. △ Less

Submitted 8 December, 2005; v1 submitted 10 February, 2005; originally announced February 2005.

Comments: 20 pages, xypic figures, one eps file. Some minor corrections

MSC Class: Primary: 14L30; Secondary: 18G30; 14F10; 18G10

Continuous and Twisted L_infinity Morphisms

Authors: Amnon Yekutieli

Abstract: The purpose of this paper is to develop a suitable notion of continuous L_infinity morphism between DG Lie algebras, and to study twists of such morphisms. The purpose of this paper is to develop a suitable notion of continuous L_infinity morphism between DG Lie algebras, and to study twists of such morphisms. △ Less

Submitted 6 September, 2005; v1 submitted 7 February, 2005; originally announced February 2005.

Comments: 29 pages, xypic figures. Final version, to appear in J. Pure Appl. Algebra

Homological Transcendence Degree

Authors: Amnon Yekutieli, James J. Zhang

Abstract: Let D be a division algebra over a base field k. The homological transcendence degree of D, denoted by Htr D, is defined to be the injective dimension of the envelo** algebra of D. We show that Htr has several useful properties which the classical transcendence degree has. We extend some results of Resco, Rosenberg, Schofield and Stafford, and compute Htr for several classes of division algebr… ▽ More Let D be a division algebra over a base field k. The homological transcendence degree of D, denoted by Htr D, is defined to be the injective dimension of the envelo** algebra of D. We show that Htr has several useful properties which the classical transcendence degree has. We extend some results of Resco, Rosenberg, Schofield and Stafford, and compute Htr for several classes of division algebras. The main tool for the computation is Van den Bergh's rigid dualizing complex. △ Less

Submitted 6 August, 2005; v1 submitted 1 December, 2004; originally announced December 2004.

Comments: 31 pages. Final version, to appear in Proc. London Math. Soc

MSC Class: 16A39; 16K40; 16E10; 16W50

Rigid Dualizing Complexes on Schemes

Authors: Amnon Yekutieli, James J. Zhang

Abstract: In this paper we present a new approach to Grothendieck duality on schemes. Our approach is based on the idea of rigid dualizing complexes, which was introduced by Van den Bergh in the context of noncommutative algebraic geometry. We obtain most of the important features of Grothendieck duality, yet manage to avoid lengthy and difficult compatibility verifications. Our results apply to finite type… ▽ More In this paper we present a new approach to Grothendieck duality on schemes. Our approach is based on the idea of rigid dualizing complexes, which was introduced by Van den Bergh in the context of noncommutative algebraic geometry. We obtain most of the important features of Grothendieck duality, yet manage to avoid lengthy and difficult compatibility verifications. Our results apply to finite type schemes over a regular noetherian finite dimensional base ring, and hence are suitable for arithmetic geometry. △ Less

Submitted 4 June, 2020; v1 submitted 29 May, 2004; originally announced May 2004.

Comments: This preprint is withdrawn because it is sketchy, and the proofs in it are far from complete. The authors are presently working on an improved version of this material (both correct and enhanced). Until then the interested reader can look up: (1) Section 13.5 of the book "Derived Catgeories", Cambridge U. Press 2019, prepublication version arXiv:1610.09640v4. (2) The lecture notes "Residues and Duality for Schemes and Stacks" at https://www.math.bgu.ac.il/~amyekut/lectures/resid-stacks/abstract.html

MSC Class: Primary: 14F05; Secondary: 14B25; 14F10; 13D07; 18G10; 16E45

On the Structure of Behaviors

Authors: Amnon Yekutieli

Abstract: A behavior is a closed shift invariant subspace of the space of sequences with entries in a field k. We work out an explicit duality for k-modules. This duality is then used to derive properties of behaviors, and their high dimensional and noncommutative generalizations. A behavior is a closed shift invariant subspace of the space of sequences with entries in a field k. We work out an explicit duality for k-modules. This duality is then used to derive properties of behaviors, and their high dimensional and noncommutative generalizations. △ Less

Submitted 28 May, 2004; v1 submitted 11 January, 2004; originally announced January 2004.

Comments: 19 pages, minor changes

MSC Class: Primary: 93C05; Secondary: 93B25; 16W80; 13J10; 16P40

Deformation Quantization in Algebraic Geometry

Authors: Amnon Yekutieli

Abstract: We study deformation quantizations of the structure sheaf O_X of a smooth algebraic variety X in characteristic 0. Our main result is that when X is D-affine, any formal Poisson structure on X determines a deformation quantization of O_X (canonically, up to gauge equivalence). This is an algebro-geometric analogue of Kontsevich's celebrated result. We study deformation quantizations of the structure sheaf O_X of a smooth algebraic variety X in characteristic 0. Our main result is that when X is D-affine, any formal Poisson structure on X determines a deformation quantization of O_X (canonically, up to gauge equivalence). This is an algebro-geometric analogue of Kontsevich's celebrated result. △ Less

Submitted 9 July, 2005; v1 submitted 24 October, 2003; originally announced October 2003.

Comments: AMSLaTeX, 41 pages, XYpic and eps figures. Final version; to appear in Advances Math (Michael Artin issue). Several new technical results and remarks in this version

MSC Class: (Classification 2000) Primary: 53D55; Secondary: 14D15; 13D10; 16S80

Multiplicities of Indecomposable Injectives

Authors: Amnon Yekutieli, James J. Zhang

Abstract: Let A be a noncommutative noetherian with dualizing complex R. We study the multiplicities of indecomposable injectives in a minimal injective resolution of R. In particular when A is a Gorenstein ring we get information on minimal injective resolutions of A. Let A be a noncommutative noetherian with dualizing complex R. We study the multiplicities of indecomposable injectives in a minimal injective resolution of R. In particular when A is a Gorenstein ring we get information on minimal injective resolutions of A. △ Less

Submitted 6 March, 2004; v1 submitted 14 May, 2003; originally announced May 2003.

Comments: 20 pages, amslatex. Minor changes

MSC Class: 16D90; 16E99; 16P40

Dualizing Complexes and Perverse Modules over Differential Algebras

Authors: Amnon Yekutieli, James J. Zhang

Abstract: A differential algebra of finite type over a field k is a filtered algebra A, such that the associated graded algebra is finite over its center, and the center is a finitely generated k-algebra. The prototypical example is the algebra of differential operators on a smooth affine variety, when char k = 0. We study homological and geometric properties of differential algebras of finite type. The m… ▽ More A differential algebra of finite type over a field k is a filtered algebra A, such that the associated graded algebra is finite over its center, and the center is a finitely generated k-algebra. The prototypical example is the algebra of differential operators on a smooth affine variety, when char k = 0. We study homological and geometric properties of differential algebras of finite type. The main results concern the rigid dualizing complex over such an algebra A: its existence, structure and variance properties. We also define and study perverse A-modules, and show how they are related to the Auslander property of the rigid dualizing complex of A. △ Less

Submitted 14 July, 2004; v1 submitted 28 January, 2003; originally announced January 2003.

Comments: 38 pages; minor changes; final version, to appear in Compositio Math

MSC Class: Primary: 16D90; Secondary: 18G10; 16S32; 16W70; 16U20

Dualizing Complexes and Perverse Sheaves on Noncommutative Ringed Schemes

Authors: Amnon Yekutieli, James J. Zhang

Abstract: A quasi-coherent ringed scheme is a pair (X,A), where X is a scheme, and A is a noncommutative quasi-coherent O_X-ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated differential quasi-coherent ringed scheme of finite type over a field, we prove existence and uniqueness of a rigid dualizing complex. In the proof we use the theory… ▽ More A quasi-coherent ringed scheme is a pair (X,A), where X is a scheme, and A is a noncommutative quasi-coherent O_X-ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated differential quasi-coherent ringed scheme of finite type over a field, we prove existence and uniqueness of a rigid dualizing complex. In the proof we use the theory of perverse coherent sheaves in order to glue local pieces of the rigid dualizing complex into a global complex. △ Less

Submitted 6 April, 2006; v1 submitted 20 November, 2002; originally announced November 2002.

Comments: 36 pages, AMSLaTeX. Final version, to appear in Selecta Math. (minor changes)

MSC Class: (MSC 2000) Primary: 14A22; Secondary: 14F05; 14J32; 16E30; 16D90; 18E30

The Action of Adeles on the Residue Complex

Authors: Amnon Yekutieli

Abstract: Let X be a scheme of finite type over a perfect field k. In this paper we study the relation between two important objects associated to X: the Grothendieck residue complex and the Beilinson adeles complex. It is known that the complex of adeles is a DGA (differential graded algebra). Our first main result is that the residue complex is a right DG module over the adeles complex. The second main… ▽ More Let X be a scheme of finite type over a perfect field k. In this paper we study the relation between two important objects associated to X: the Grothendieck residue complex and the Beilinson adeles complex. It is known that the complex of adeles is a DGA (differential graded algebra). Our first main result is that the residue complex is a right DG module over the adeles complex. The second main result is that the de Rham residue complex is a DG module over the de Rham adeles complex. This action gives rise to the cap product in de Rham (co)homology. △ Less

Submitted 24 July, 2002; v1 submitted 2 May, 2002; originally announced May 2002.

Comments: 19 pages, LaTeX with xypic package; final version, to appear in Comm. Algebra (Steven Kleiman issue)

MSC Class: 14F05

The Continuous Hochschild Cochain Complex of a Scheme

Authors: Amnon Yekutieli

Abstract: Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we assign the complex Hom^{cont}_X(C(X),M) of continuous Hochschild cochains with values in M. Our first main result is that when X is smooth over K there is a func… ▽ More Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we assign the complex Hom^{cont}_X(C(X),M) of continuous Hochschild cochains with values in M. Our first main result is that when X is smooth over K there is a functorial isomorphism between the complex of continuous Hochschild cochains and RHom_{X2}(O_X,M), in the derived category D(Mod(O_{X2})). The second main result is that if X is smooth of relative dimension n and n! is invertible in K, then the standard map from Hochschild chains to differential forms induces a decomposition of Hom^{cont}_X(C(X),M) in derived category D(Mod(O_X)). When M = O_X this is the precisely the quasi-isomorphism underlying the Kontsevich Formality Theorem. Combining the two results above we deduce a decomposition of the global Hochschild cohomology with values in M. △ Less

Submitted 8 November, 2001; originally announced November 2001.

Comments: 16 pages, AMSLaTeX, replaces math.AG/0005127

MSC Class: Primary 16E40; Secondary 14F10; 18G10; 13H10

Dualizing Complexes and Tilting Complexes over Simple Rings

Authors: Amnon Yekutieli, James J. Zhang

Abstract: We prove that two-sided tilting complexes, and dualizing complexes, over simple Goldie rings (with some technical conditions) are always shifts of invertible bimodules. This allows us to describe the derived Picard groups of such rings, and to deduce these are Gorenstein (and sometimes even Auslander-Gorenstein Cohen-Macaulay) rings. We prove that two-sided tilting complexes, and dualizing complexes, over simple Goldie rings (with some technical conditions) are always shifts of invertible bimodules. This allows us to describe the derived Picard groups of such rings, and to deduce these are Gorenstein (and sometimes even Auslander-Gorenstein Cohen-Macaulay) rings. △ Less

Submitted 30 September, 2001; originally announced October 2001.

Comments: 9 pages, no figures

MSC Class: 16D90

Residue Complexes over Noncommutative Rings

Authors: Amnon Yekutieli, James J. Zhang

Abstract: Residue complexes were introduced by Grothendieck in algebraic geometry. These are canonical complexes of injective modules that enjoy remarkable functorial properties (traces). In this paper we study residue complexes over noncommutative rings. These objects are even more complicated than in the commutative case, since they are complexes of bimodules. We develop methods to prove uniqueness, e… ▽ More Residue complexes were introduced by Grothendieck in algebraic geometry. These are canonical complexes of injective modules that enjoy remarkable functorial properties (traces). In this paper we study residue complexes over noncommutative rings. These objects are even more complicated than in the commutative case, since they are complexes of bimodules. We develop methods to prove uniqueness, existence and functoriality of residue complexes. For a noetherian affine PI algebra over a field (admitting a noetherian connected filtration) we prove existence of the residue complex and describe its structure in detail. △ Less

Submitted 3 June, 2002; v1 submitted 13 March, 2001; originally announced March 2001.

Comments: 37 pages, AMSLaTeX with XYpic figures; some changes in Section 3; final version, to appear in Algebr. Represent. Theory

MSC Class: Primary: 16D90; Secondary: 16E30; 16D50; 16D20; 16P50