Searcharxiv⌕ Search

arXiv subjects

Amnon Neeman

Publications and source records attributed to Amnon Neeman.

At least 37 records · Page 2Linked to original sources
arXiv2021

Uniqueness of enhancements for derived and geometric categories

We prove that the derived categories of abelian categories have unique enhancements -- all of them, the unbounded, bounded, bounded above and bounded below derived categories. The unseparated and left completed derived categories of a Grothendieck abelian category are also shown to have unique enhancements. Finally we show that the derived category of complexes with quasi-coherent cohomology and the category of perfect complexes have unique enhancements for quasi-compact and quasi-separated schemes.

math.AG↗
arXiv2018

The t-structures generated by objects

Let $\mathcal T$ be a well generated triangulated category, and let $S\subset\mathcal T$ be a set of objects. We prove that there is a t-structure on $\mathcal T$ with ${\mathcal T}^{\leq0}=\overline{\langle S\rangle}^{(-\infty,0]}$. This article is an improvement on the main result of a 2003 article by Alonso, Jeremias and Souto---in that article the theorem was proved under the assumption that $\mathcal T$ has a nice enough model. It should be mentioned that the theorem of Alonso, Jeremias and Souto has been influential---it turns out to be interesting to study all of these t-structures.

math.CT↗
arXiv2017

Big Cohen-Macaulay modules, morphisms of perfect complexes, and intersection theorems in local algebra

There is a well known link from the first topic in the title to the third one. In this paper we thread that link through the second topic. The central result is a criterion for the tensor nilpotence of morphisms of perfect complexes over commutative noetherian rings, in terms of a numerical invariant of the complexes known as their level. Applications to local rings include a strengthening of the Improved New Intersection Theorem, short direct proofs of several results equivalent to it, and lower bounds on the ranks of the modules in every finite free complex that admits a structure of differential graded module over the Koszul complex on some system of parameters.

math.AC↗
arXiv2017

The relation between Grothendieck duality and Hochschild homology

The article primarily surveys work that followed from the formulas discovered by Avramov and Iyengar in 2008, which permit one to compute certain Hochschild homology and cohomology modules as expressions involving dualizing complexes. One aspect of the formulas is that (so far) they are only known for maps of finite Tor-dimension---we specialize even further, for this survey we give the formulas only for flat maps. Recall that, for general maps of schemes $f:X\to Y$, the duality functor $f^!$ has traditionally been defined and studied only on the bounded-below derived category. Alonso, Jeremias and Lipman observed that, as long as we restrict to morphisms $f$ of finite Tor-dimension, there is an extension of $f^!$ to the unbounded derived category. But this extension was so poorly understood that the paper [19], revisiting the formulas of Avramov and Iyengar, was unable to prove the obvious extensions of the formulas to the unbounded setting. While most of the paper is a survey, sections 4 and 5 are new. They show how to use the results of [23] to remove the unnatural boundedness hypotheses from the formulas in [19]. This is the application that originally motivated [23].

math.AG↗
arXiv2017

Relative homological algebra via truncations

To do homological algebra with unbounded chain complexes one needs to first find a way of constructing resolutions. Spaltenstein solved this problem for chain complexes of R-modules by truncating further and further to the left, resolving the pieces, and gluing back the partial resolutions. Our aim is to give a homotopy theoretical interpretation of this procedure, which may be extended to a relative setting. We work in an arbitrary abelian category A and fix a class I of "injective objects". We show that Spaltenstein's construction can be captured by a pair of adjoint functors between unbounded chain complexes and towers of non-positively graded ones. This pair of adjoint functors forms what we call a Quillen pair and the above process of truncations, partial resolutions, and gluing, gives a meaningful way to resolve complexes in a relative setting up to a split error term. In order to do homotopy theory, and in particular to construct a well behaved relative derived category D(A; I), we need more: the split error term must vanish. This is the case when I is the class of all injective R-modules but not in general, not even for certain classes of injectives modules over a Noetherian ring. The key property is a relative analogue of Roos's AB4*-n axiom for abelian categories. Various concrete examples such as Gorenstein homological algebra and purity are also discussed.

math.AT↗
arXiv2017

On the fundamental class of an essentially smooth scheme-map

Let f: X -> Z be a separated essentially-finite-type flat map of noetherian schemes, and δ: X --> X \times_Z X the diagonal map. The fundamental class C_f (globalizing residues) is a map from the relative Hochschild functor Lδ^*δ_* f^* to the relative dualizing functor f^! A compatibility between this C_f and derived tensor product is shown. The main result is that, in a suitable sense, C_f generalizes Verdier's classical isomorphism for smooth f with fibers of dimension d, an isomorphism that binds f^! to relative d-forms.

math.AG↗
arXiv2015

One positive and two negative results for derived categories of algebraic stacks

Let $X$ be a quasi-compact and quasi-separated scheme. There are two fundamental and pervasive facts about the unbounded derived category of $X$: (1) $\mathsf{D}_{\mathrm{qc}}(X)$ is compactly generated by perfect complexes and (2) if $X$ is noetherian or has affine diagonal, then the functor $Ψ_X \colon \mathsf{D}(\mathsf{QCoh}(X)) \to \mathsf{D}_{\mathrm{qc}}(X)$ is an equivalence. Our main results are that for algebraic stacks in positive characteristic, the assertions (1) and (2) are typically false.

math.AG↗
arXiv2014

Relation between two twisted inverse image pseudofunctors in duality theory

Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\times when f is proper, but equal to the usual inverse image f^* when f is etale. We define and study a canonical map from the first pseudofunctor to the second. This map behaves well with respect to flat base change, and is taken to an isomorphism by "compactly supported" versions of standard derived functors. Concrete realizations are described, for instance for maps of affine schemes. Applications include proofs of reduction theorems for Hochschild homology and cohomology, and of a remarkable formula for the fundamental class of a flat map of affine schemes.

math.AG↗
arXiv2011

Non-left-complete derived categories

We give some examples of abelian categories A for which the derived category D(A) is not left-complete. Perhaps the most natural of these is where A is the category of representations of the additive group G_a over a field k of characteristic p>0.

math.CT↗
arXiv2008

Brown representability does not come for free

We exhibit a triangulated category T having both products and coproducts, and a triangulated subcategory S of T which is both localizing and colocalizing, for which neither a Bousfield localization nor a colocalization exists. It follows that neither the category S nor its dual satisfy Brown representability. Our example involves an abelian category whose derived category does not have small Hom-sets.

math.CT↗
arXiv2007

Quasi-perfect scheme-maps and boundedness of the twisted inverse image functor

For a map f: X -> Y of quasi-compact quasi-separated schemes, we discuss quasi-perfection, that is, the right adjoint f^\times of the derived functor Rf_* respects small direct sums. This is equivalent to the existence of a functorial isomorphism f^\times O_{Y} \otimes^L Lf^*(-) \to f^\times (-); to quasi-properness (preservation by Rf_* of pseudo-coherence, or just properness in the noetherian case) plus boundedness of Lf^* (finite tor-dimensionality), or of the functor f^\times; and to some other conditions. We use a globalization, previously known only for divisorial schemes, of the local definition of pseudo-coherence of complexes, as well as a refinement of the known fact that the derived category of complexes with quasi-coherent homology is generated by a single perfect complex.

math.AG↗
arXiv2004

Noncommutative localisation in algebraic K-theory I

This article establishes, for an appropriate localisation of associative rings, a long exact sequence in algebraic K-theory. The main result goes as follows. Let A be an associative ring and let A-->B be the localisation with respect to a set sigma of maps between finitely generated projective A-modules. Suppose that Tor_n^A(B,B) vanishes for all n>0. View each map in sigma as a complex (of length 1, meaning one non-zero map between two non-zero objects) in the category of perfect complexes D^perf(A). Denote by the thick subcategory generated by these complexes. Then the canonical functor D^perf(A)-->D^perf(B) induces (up to direct factors) an equivalence D^perf(A)/ --> D^perf(B). As a consequence, one obtains a homotopy fibre sequence K(A,sigma)-->K(A)-->K(B) (up to surjectivity of K_0(A)-->K_0(B)) of Waldhausen K-theory spectra. In subsequent articles we will present the K- and L-theoretic consequences of the main theorem in a form more suitable for the applications to surgery. For example if, in addition to the vanishing of Tor_n^A(B,B), we also assume that every map in sigma is a monomorphism, then there is a description of the homotopy fiber of the map K(A)-->K(B) as the Quillen K-theory of a suitable exact category of torsion modules.

math.RA↗
arXiv2002

Representations of algebras as universal localizations

Every finitely presented algebra S is shown to be Morita equivalent to the universal localization σ^{-1}R of a finite dimensional algebra R. The construction provides many examples of universal localizations which are not stably flat, i.e. Tor^R_i(σ^{-1}R,σ^{-1}R) is non-zero for some i>0. It is also shown that there is no algorithm to determine if two Malcolmson normal forms represent the same element of σ^{-1}R.

math.RA↗
arXiv2001

Failure of Brown representability in derived categories

Let T be a triangulated category with coproducts, C the full subcategory of compact objects in T. If T is the homotopy category of spectra, Adams proved the following in [Adams71]: All contravariant homological functors C --> Ab are the restrictions of representable functors on T, and all natural transformations are the restrictions of morphisms in T. It has been something of a mystery, to what extent this generalises to other triangulated categories. In [Neeman97], it was proved that Adams' theorem remains true as long as C is countable, but can fail in general. The failure exhibited was that there can be natural transformations not arising from maps in T. A puzzling open problem remained: Is every homological functor the restriction of a representable functor on T? In a recent paper, Beligiannis made some progress. But in this article, we settle the problem. The answer is no. There are examples of derived categories T = D(R) of rings, and contravariant homological functors C --> Ab which are not restrictions of representables.

math.AT↗
arXiv2001

Noncommutative localization and chain complexes I. Algebraic K- and L-theory

The noncommutative (Cohn) localization S^{-1}R of a ring R is defined for any collection S of morphisms of f.g. projective left R-modules. We exhibit S^{-1}R as the endomorphism ring of R in an appropriate triangulated category. We use this expression to prove that if S^{-1}R is "stably flat over R" (meaning that Tor^R_i(S^{-1}R,S^{-1}R)=0 for i>0) then every bounded f.g. projective S^{-1}R-module chain complex D with [D] \in im(K_0(R)-->K_0(S^{-1}R)) is chain equivalent to S^{-1}C for a bounded f.g. projective R-module chain complex C, and that there is a localization exact sequence in higher algebraic K-theory >... --> K_n(R) --> K_n(S^{-1}R) --> K_n(R,S) --> K_{n-1}(R) --> ..., extending to the left the sequence obtained for n<2 by Schofield. For a noncommutative localization S^{-1}R of a ring with involution R there are analogous results for algebraic L-theory, extending the results of Vogel from quadratic to symmetric L-theory.

math.RA↗
arXiv1994

Grothendieck duality via homotopy theory

Grothendieck proved that if $f:X\longrightarrow Y$ is a proper morphism of nice schemes, then $Rf_*$ has a right adjoint, which is given as tensor product with the relative canonical bundle. The original proof was by patching local data. Deligne proved the existence of the adjoint by a global argument, and Verdier showed that this global adjoint may be computed locally. In this article we show that the existence of the adjoint is an immediate consequence of Brown's representability theorem. It follows almost as immediately, by ``smashing'' arguments, that the adjoint is given by tensor product with a dualising complex. Verdier's base change theorem is an immediate consequence.

alg-geom↗