BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Amnon Yekutieli

Amnon Yekutieli appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGmath.KTmath.ACmath.CTmath.QAmath.RAmath.ATmath.NTalg-geommath.DGmath.HO

Catalog footprint

What is connected

25works
11topics
3close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

25 published item(s)

preprint2022arXiv

Pythagorean Triples, Complex Numbers, Abelian Groups and Prime Numbers

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Rigidity, Residues and Duality: Overview and Recent Progress

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Rigid Dualizing Complexes on Schemes

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.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Derived Categories

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Duality and Tilting for Commutative DG Rings

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Introduction to Derived Categories

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Nonabelian Multiplicative Integration on Surfaces

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The Squaring Operation for Commutative DG Rings

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Local Beilinson-Tate Operators

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Twisted Deformation Quantization of Algebraic Varieties

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Cohomologically Cofinite Complexes

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Completion by Derived Double Centralizer

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].

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Deformations of Affine Varieties and the Deligne Crossed Groupoid

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

MC Elements in Pronilpotent DG Lie Algebras

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On the Homology of Completion and Torsion

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Twisted Deformation Quantization of Algebraic Varieties (Survey)

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.

0 citations0 reviewsNo code linkedOpen access
preprint1995arXiv

Traces and Differential Operators over Beilinson Completion Algebras

A Beilinson completion algebra (BCA) A is a complete semilocal algebra over a perfect field k, whose residue fields are high dimensional local fields. In addition A is a semi-topological algebra. The completion of the structure sheaf of an algebraic k-variety along a saturated chain of points is the prototypical example of a BCA. We single out two kinds of homomorphisms between BCAs: morphisms and intensifications. The first kind includes residually finite local homomorphisms, whereas the second kind is a sort of localization. We prove that every BCA A has a dual module K(A), and these dual modules are contravariant w.r.t. morphisms and covariant w.r.t. intensifications. For any semi-topological A-module M we define its dual Dual_{A} M := Hom_{A}^{cont}(M, K(A)). This duality operation has the remarkable property of respecting differential operators: given a continuous DO D : M --> N, there is a dual DO Dual_{A}(D) : Dual_{A} N --> Dual_{A} M. The results above are used (in a subsequent paper) to construct the Grothendieck residue complex K_{X}^{.} on any finite type k-scheme X, and to derive many of its properties.

0 citations0 reviewsNo code linkedOpen access