Showing 1–37 of 37 results for author: Neeman, A

Strong uniqueness of enhancements for the dual numbers: a case study

Authors: Alberto Canonaco, Amnon Neeman, Paolo Stellari

Abstract: We prove that the bounded and bounded below derived categories of (all) modules over the dual numbers have strongly unique (dg) enhancements. To this end we relate those categories to the category of sequences of vector spaces, which allows a complete classification of indecomposable objects. Along the way we also prove that all the derived categories of any hereditary category have strongly uniqu… ▽ More We prove that the bounded and bounded below derived categories of (all) modules over the dual numbers have strongly unique (dg) enhancements. To this end we relate those categories to the category of sequences of vector spaces, which allows a complete classification of indecomposable objects. Along the way we also prove that all the derived categories of any hereditary category have strongly unique enhancements. △ Less

Submitted 15 May, 2025; originally announced May 2025.

Comments: 26 pages. Comments are welcome

Excellent metrics on triangulated categories, and the involutivity of the map taking $\mathcal{S}$ to $\mathfrak{S}({\mathcal{S})^{\mathrm{op}}}$

Authors: Amnon Neeman

Abstract: In the article arXiv:1806.06471 we defined good metrics on triangulated categories, and then studied the construction, that began with a triangulated category $\mathcal{S}$ together with a good metric $\{\mathcal{M}_i,\,i\in\mathbb{N}\}$, and out of it cooked up another triangulated category $\mathfrak(\mathcal{S})$. We went on to study examples, and produced many for which the construction is inv… ▽ More In the article arXiv:1806.06471 we defined good metrics on triangulated categories, and then studied the construction, that began with a triangulated category $\mathcal{S}$ together with a good metric $\{\mathcal{M}_i,\,i\in\mathbb{N}\}$, and out of it cooked up another triangulated category $\mathfrak(\mathcal{S})$. We went on to study examples, and produced many for which the construction is involutive. By this we mean that, if you let $\mathcal{T}=\mathfrak{S}(\mathcal{S})^{\mathrm{op}}$, then there is a choice of metric on $\mathcal{T}$ for which $\mathcal{S}=\mathfrak{S}(\mathcal{T})^{\mathrm{op}}$. In this article we study this phenomenon much more carefully, with the focus being on understanding the metrics for which involutivity occurs. As it turns out there is a large class of them, the excellent metrics on triangulated categories. At the end we will produce a few new examples of excellent metrics. And our reason for going to all this trouble is that the results of this article will permit us to prove new and surprising statements about uniqueness of enhancements. Those results will come in a sequel to this article, which is joint with Canonaco and Stellari. △ Less

Submitted 14 May, 2025; originally announced May 2025.

MSC Class: Primary 18G80

Weakly approximable triangulated categories and enhancements: a survey

Authors: Alberto Canonaco, Amnon Neeman, Paolo Stellari

Abstract: This paper surveys some recent results, concerning the intrinsicness of natural subcategories of weakly approximable triangulated categories. We also review the results about uniqueness of enhancements of triangulated categories, with the aim of showing the fruitful interplay. In particular, we show how this leads to a vast generalization of a result by Rickard about derived invariance for schemes… ▽ More This paper surveys some recent results, concerning the intrinsicness of natural subcategories of weakly approximable triangulated categories. We also review the results about uniqueness of enhancements of triangulated categories, with the aim of showing the fruitful interplay. In particular, we show how this leads to a vast generalization of a result by Rickard about derived invariance for schemes and rings. △ Less

Submitted 27 December, 2024; v1 submitted 8 July, 2024; originally announced July 2024.

Comments: Final version to appear in Bollettino dell'Unione Matematica Italiana. 26 pages

VCR: Video representation for Contextual Retrieval

Authors: Oron Nir, Idan Vidra, Avi Neeman, Barak Kinarti, Ariel Shamir

Abstract: Streamlining content discovery within media archives requires integrating advanced data representations and effective visualization techniques for clear communication of video topics to users. The proposed system addresses the challenge of efficiently navigating large video collections by exploiting a fusion of visual, audio, and textual features to accurately index and categorize video content th… ▽ More Streamlining content discovery within media archives requires integrating advanced data representations and effective visualization techniques for clear communication of video topics to users. The proposed system addresses the challenge of efficiently navigating large video collections by exploiting a fusion of visual, audio, and textual features to accurately index and categorize video content through a text-based method. Additionally, semantic embeddings are employed to provide contextually relevant information and recommendations to users, resulting in an intuitive and engaging exploratory experience over our topics ontology map using OpenAI GPT-4. △ Less

Submitted 12 February, 2024; originally announced February 2024.

The passage among the subcategories of weakly approximable triangulated categories

Authors: Alberto Canonaco, Christian Haesemeyer, Amnon Neeman, Paolo Stellari

Abstract: In this article we prove that all the inclusions between the 'classical' and naturally defined full triangulated subcategories of a weakly approximable triangulated category are intrinsic (in one case under a technical condition). This extends all the existing results about subcategories of weakly approximable triangulated categories. Together with a forthcoming paper about uniqueness of enhanceme… ▽ More In this article we prove that all the inclusions between the 'classical' and naturally defined full triangulated subcategories of a weakly approximable triangulated category are intrinsic (in one case under a technical condition). This extends all the existing results about subcategories of weakly approximable triangulated categories. Together with a forthcoming paper about uniqueness of enhancements, our result allows us to generalize a celebrated theorem by Rickard which asserts that if $R$ and $S$ are left coherent rings, then a derived equivalence of $R$ and $S$ is "independent of the decorations". That is, if $D^?(R\text{-}\square)$ and $D^?(S\text{-}\square)$ are equivalent as triangulated categories for some choice of decorations $?$ and $\square$, then they are equivalent for every choice of decorations. But our theorem is much more general, and applies also to quasi-compact and quasi-separated schemes -- even to the relative version, in which the derived categories consist of complexes with cohomology supported on a given closed subscheme with quasi-compact complement. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Comments: Main paper by Alberto Canonaco, Amnon Neeman and Paolo Stellari with an appendix by Christian Haesemeyer. 65 pages

Finite approximations as a tool for studying triangulated categories

Authors: Amnon Neeman

Abstract: Small, finite entities are easier and simpler to manipulate than gigantic, infinite ones. Consequently huge chunks of mathematics are devoted to methods reducing the study of big, cumbersome objects to an analysis of their finite building blocks. The manifestation of this general pattern, in the study of derived and triangulated categories, dates back almost to the beginnings of the subject -- mor… ▽ More Small, finite entities are easier and simpler to manipulate than gigantic, infinite ones. Consequently huge chunks of mathematics are devoted to methods reducing the study of big, cumbersome objects to an analysis of their finite building blocks. The manifestation of this general pattern, in the study of derived and triangulated categories, dates back almost to the beginnings of the subject -- more precisely to articles by Illusie in SGA6, way back in the early 1970s. What's new, at least new in the world of derived and triangulated categories, is that one gets extra mileage from analysing more carefully and quantifying more precisely just how efficiently one can estimate infinite objects by finite ones. This leads one to the study of metrics on triangulated categories, and of how accurately an object can be approximated by finite objects of bounded size. △ Less

Submitted 12 November, 2022; originally announced November 2022.

Comments: To appear in the proceedings of the 2022 ICM

Obstructions to the existence of Bounded {\it t}--structures

Authors: Amnon Neeman

Abstract: In a striking 2019 article, Antieau, Gepner and Heller found {\it K--}theoretic obstructions to bounded t-structures. We will survey their work, as well as some progress since. The focus will be on the open problems that arise from this. In a striking 2019 article, Antieau, Gepner and Heller found {\it K--}theoretic obstructions to bounded t-structures. We will survey their work, as well as some progress since. The focus will be on the open problems that arise from this. △ Less

Submitted 12 November, 2022; v1 submitted 14 August, 2022; originally announced August 2022.

Comments: This improved version has been cleaned up following many kind suggestions by readers

Report number: HIM-Spectral-2022

Bounded t-structures on the category of perfect complexes

Authors: Amnon Neeman

Abstract: Let $X$ be a finite-dimensional, noetherian scheme. Antieau, Gepner and Heller conjectured that its derived category of perfect complexes has a bounded t-structure if and only if $X$ is regular. We prove a generalization, and to do so we sharpen some of the techniques so far obtained in the theory of approximable triangulated categories. Let $X$ be a finite-dimensional, noetherian scheme. Antieau, Gepner and Heller conjectured that its derived category of perfect complexes has a bounded t-structure if and only if $X$ is regular. We prove a generalization, and to do so we sharpen some of the techniques so far obtained in the theory of approximable triangulated categories. △ Less

Submitted 19 December, 2024; v1 submitted 17 February, 2022; originally announced February 2022.

Comments: This is the final, published version. Contains many improvements on the earlier version

MSC Class: Primary 14F08; secondary 18G80; 19D35

Journal ref: Acta Mathematica, Vol. 233, Issue 2 (2024), pp. 239-284

Uniqueness of enhancements for derived and geometric categories

Authors: Alberto Canonaco, Amnon Neeman, Paolo Stellari

Abstract: 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 t… ▽ More 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. △ Less

Submitted 12 January, 2021; originally announced January 2021.

Comments: 69 pages

A counterexample to vanishing conjectures for negative $K$-theory

Authors: Amnon Neeman

Abstract: In a 2006 article Schlichting conjectured that the negative {\it K--}theory of any abelian category must vanish. This conjecture was generalized in a 2019 article by Antieau, Gepner and Heller, who hypothesized that the negative {\it K--}theory of any category with a bounded {\it t--}structure must vanish. Both conjectures will be shown to be false. In a 2006 article Schlichting conjectured that the negative {\it K--}theory of any abelian category must vanish. This conjecture was generalized in a 2019 article by Antieau, Gepner and Heller, who hypothesized that the negative {\it K--}theory of any category with a bounded {\it t--}structure must vanish. Both conjectures will be shown to be false. △ Less

Submitted 30 January, 2021; v1 submitted 30 June, 2020; originally announced June 2020.

Comments: This is the final version, to appear soon in Inventiones Mathematica. There are a few improvements in response to comments on the original submission. Most importantly: the title of the article changed to be more informative

MSC Class: Primary 19D35; secondary 18E30; 14F05

Metrics on triangulated categories

Authors: Amnon Neeman

Abstract: In this survey we explain the results of the recent article arXiv:1806.06471. Following a 1973 article by Lawvere one can define metrics on categories, and following Kelly's 1982 book one can complete a category with respect to its metric. We specialize these general constructions to triangulated categories, and restrict our attention to "good metrics". And the remarkable new theorem is that, when… ▽ More In this survey we explain the results of the recent article arXiv:1806.06471. Following a 1973 article by Lawvere one can define metrics on categories, and following Kelly's 1982 book one can complete a category with respect to its metric. We specialize these general constructions to triangulated categories, and restrict our attention to "good metrics". And the remarkable new theorem is that, when we start with a triangulated category $\mathcal S$ with a good metric, its completion $\mathfrak{L}(\mathcal{S})$ contains an interesting subcategory $\mathfrak{S}(\mathcal{S})$ which is always triangulated. As special cases we obtain $\mathcal{H}^0(\mathrm{Perf}(X))$ and $D^b_{\mathrm{coh}}(X)$ from each other. We also give a couple of other examples. △ Less

Submitted 24 June, 2021; v1 submitted 5 January, 2019; originally announced January 2019.

Comments: Final pre-publication version

MSC Class: 18E30

Journal ref: J. Pure Appl. Algebra 224 (2020), no. 4, 106206, 13

The t-structures generated by objects

Authors: Amnon Neeman

Abstract: 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… ▽ More 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. △ Less

Submitted 15 August, 2018; originally announced August 2018.

MSC Class: primary 18E30; secondary 16G99

Approximable triangulated categories

Authors: Amnon Neeman

Abstract: In this survey we present the relatively new concept of \emph{approximable triangulated categories.} We will show that the definition is natural, that it leads to powerful new results, and that it throws new light on old, familiar objects. In particular: a recent theorem says that the category $D_{\text{qc}}(X)$ is approximable whenever $X$ is a quasicompact separated scheme. As corollaries of t… ▽ More In this survey we present the relatively new concept of \emph{approximable triangulated categories.} We will show that the definition is natural, that it leads to powerful new results, and that it throws new light on old, familiar objects. In particular: a recent theorem says that the category $D_{\text{qc}}(X)$ is approximable whenever $X$ is a quasicompact separated scheme. As corollaries of this (seemingly technical) statement one can prove striking improvements on old theorems by Bondal, Rickard, Rouquier and Van den Bergh, about the (much smaller) categories $D^{\text{perf}}(X)$ and $D^b_{\text{coh}}(X)$. △ Less

Submitted 24 June, 2021; v1 submitted 18 June, 2018; originally announced June 2018.

Comments: Final pre-publication version

MSC Class: Primary 18E30; secondary 18G55

Journal ref: In: Representations of Algebras, Geometry and Physics, Contemp. Math., vol. 769, Amer. Math. Soc., Providence, RI, 2021, pp. 111-155

The categories ${\mathcal T}^c$ and ${\mathcal T}^b_c$ determine each other

Authors: Amnon Neeman

Abstract: Given an essentially small triangulated category it is possible to give a metric on it, to complete it with respect to the metric, and to look at the subcategory of objects in the completion which are compactly supported with respect to the metric. The main theorem says that this procedure produces a new triangulated category. And then we give examples: for example we learn that it is possible, fo… ▽ More Given an essentially small triangulated category it is possible to give a metric on it, to complete it with respect to the metric, and to look at the subcategory of objects in the completion which are compactly supported with respect to the metric. The main theorem says that this procedure produces a new triangulated category. And then we give examples: for example we learn that it is possible, for suitable choices of metrics, to produce the categories $D^b(R-\text{mod})$ and $K^b(R-\text{proj})$ out of each other. △ Less

Submitted 14 May, 2025; v1 submitted 17 June, 2018; originally announced June 2018.

Comments: Paper revised, to include lemmas needed in subsequent papers

MSC Class: Primary 18E30; secondary 18G55

The category $\big[{\mathcal T}^c\big]^{\text{op}}$ as functors on ${\mathcal T}^b_c$

Authors: Amnon Neeman

Abstract: We revisit an old assertion due to Rouquier, characterizing the perfect complexes as bounded homological functors on the bounded complexes of coherent sheaves. The new results vastly generalize the old statement---first of all the ground ring is not restricted to be a field, any commutative, noetherian ring will do. But the generalization goes further, to the abstract world of approximable triangu… ▽ More We revisit an old assertion due to Rouquier, characterizing the perfect complexes as bounded homological functors on the bounded complexes of coherent sheaves. The new results vastly generalize the old statement---first of all the ground ring is not restricted to be a field, any commutative, noetherian ring will do. But the generalization goes further, to the abstract world of approximable triangulated categories. △ Less

Submitted 14 May, 2025; v1 submitted 14 June, 2018; originally announced June 2018.

Comments: This article has been combined with the old arXiv:1804.02240

MSC Class: Primary 18E30; secondary 14F05

Gluing Approximable Triangulated Categories

Authors: Jesse Burke, Amnon Neeman, Bregje Pauwels

Abstract: Given a bounded-above cochain complex of modules over a ring, it is standard to replace it by a projective resolution, and it is classical that doing so can be very useful. Recently, a modified version of this was introduced in triangulated categories other than the derived category of a ring. A triangulated category is approximable if this modified procedure is possible. Not surprisingly this has… ▽ More Given a bounded-above cochain complex of modules over a ring, it is standard to replace it by a projective resolution, and it is classical that doing so can be very useful. Recently, a modified version of this was introduced in triangulated categories other than the derived category of a ring. A triangulated category is approximable if this modified procedure is possible. Not surprisingly this has proved a powerful tool. For example: the fact that the derived category of a quasi compact, separated scheme is approximable has led to major improvements on old theorems due to Bondal, Van den Bergh and Rouquier. In this article we prove that, under weak hypotheses, the recollement of two approximable triangulated categories is approximable. In particular, this shows many of the triangulated categories that arise in noncommutative algebraic geometry are approximable. Furthermore, the lemmas and techniques developed in this article form a powerful toolbox which has interesting applications in existing and forthcoming work by the authors. △ Less

Submitted 19 December, 2023; v1 submitted 13 June, 2018; originally announced June 2018.

Comments: 18 pages

Journal ref: Forum Math. Sigma11(2023), Paper No. e110

Grothendieck duality made simple

Authors: Amnon Neeman

Abstract: It has long been accepted that the foundations of Grothendieck duality are complicated. This has changed recently. By "Grothendieck duality" we mean what, in the old literature, used to go by the name "coherent duality". This isn't to be confused with what is nowadays called "Verdier duality", and used to pass as "$\ell$-adic duality". It has long been accepted that the foundations of Grothendieck duality are complicated. This has changed recently. By "Grothendieck duality" we mean what, in the old literature, used to go by the name "coherent duality". This isn't to be confused with what is nowadays called "Verdier duality", and used to pass as "$\ell$-adic duality". △ Less

Submitted 24 June, 2021; v1 submitted 8 June, 2018; originally announced June 2018.

Comments: Final pre-publication version

MSC Class: 14F05 (Primary); 13D09; 18G10 (secondary)

Journal ref: K-theory in Algebra, Analysis and Topology, Contemp. Math., vol. 749, Amer. Math. Soc., Providence, RI, 2020, pp. 279-325

Triangulated categories with a single compact generator and two Brown representability theorems

Authors: Amnon Neeman

Abstract: We develop the general formalism of approximable triangulated categories, and prove two representability theorems. We develop the general formalism of approximable triangulated categories, and prove two representability theorems. △ Less

Submitted 14 May, 2025; v1 submitted 6 April, 2018; originally announced April 2018.

Comments: Two old manuscripts, arXiv:1804.02240 and arXiv:1806.05777, were merged into one. Also: the new paper contains substantial improvements suggested by an anonymous referee, and updates on work done since the original manuscripts were posted

MSC Class: Primary 18E30; secondary 14F05

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

Authors: Luchezar L. Avramov, Srikanth B. Iyengar, Amnon Neeman

Abstract: 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… ▽ More 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. △ Less

Submitted 10 November, 2017; originally announced November 2017.

Comments: 16 pages

MSC Class: 13D22 (primary); 13D02; 13D09 (secondary)

Journal ref: Doc. Math. 23, 1601-1619 (2018)

The relation between Grothendieck duality and Hochschild homology

Authors: Amnon Neeman

Abstract: 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… ▽ More 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]. △ Less

Submitted 20 June, 2017; originally announced June 2017.

Comments: 30 pages, to appear in the proceedings of the TIFR international colloquium, 2016

MSC Class: 14F05 (Primary); 13D09; 18G10 (Secondary)

Strong generators in $D^{perf}(X)$ and $D^b_{coh}(X)$

Authors: Amnon Neeman

Abstract: We characterize the separated schemes for which the derived category of perfect complexes is strongly generated, proving a conjecture of Bondal and Van den Bergh. And we also prove the strong generation of the bounded derived category of coherent sheaves under mild conditions. In the proof we introduce techniques that have shown themselves to have powerful consequences in other contexts. In this… ▽ More We characterize the separated schemes for which the derived category of perfect complexes is strongly generated, proving a conjecture of Bondal and Van den Bergh. And we also prove the strong generation of the bounded derived category of coherent sheaves under mild conditions. In the proof we introduce techniques that have shown themselves to have powerful consequences in other contexts. In this final, pre-publication version of the manuscript there is a (very brief) survey of subsequent, followup articles. △ Less

Submitted 24 June, 2021; v1 submitted 13 March, 2017; originally announced March 2017.

Comments: Final pre-publication version

Journal ref: Ann. of Math. (2) 193 (2021), no. 3, 689-732

Relative homological algebra via truncations

Authors: Wojciech Chacholski, Amnon Neeman, Wolfgang Pitsch, Jerome Scherer

Abstract: 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 relat… ▽ More 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. △ Less

Submitted 17 February, 2017; originally announced February 2017.

Comments: 42 pages (including a 10 page long appendix)

MSC Class: 55S45; 55R15; 55R70; 55P20; 22F50

On the fundamental class of an essentially smooth scheme-map

Authors: Joseph Lipman, Amnon Neeman

Abstract: 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 genera… ▽ More 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. △ Less

Submitted 13 January, 2017; v1 submitted 5 January, 2015; originally announced January 2015.

Comments: Minor corrections. 31 pages. To appear in Algebraic Geometry

MSC Class: 14F05; 14F10; 13D03

Journal ref: Algebraic Geometry 5 (2) (2018) 131-159

An example of a non-Fourier-Mukai functor between derived categories of coherent sheaves

Authors: Alice Rizzardo, Michel Van den Bergh, Amnon Neeman

Abstract: Orlov's famous representability theorem asserts that any fully faithful exact functor between the bounded derived categories of coherent sheaves on smooth projective varieties is a Fourier-Mukai functor. In this paper we show that this result is false without the full faithfulness hypothesis. Orlov's famous representability theorem asserts that any fully faithful exact functor between the bounded derived categories of coherent sheaves on smooth projective varieties is a Fourier-Mukai functor. In this paper we show that this result is false without the full faithfulness hypothesis. △ Less

Submitted 3 March, 2019; v1 submitted 15 October, 2014; originally announced October 2014.

Comments: 55 pages Appendix by Amnon Neeman

MSC Class: 13D09; 18E30; 14A22

An improvement on the base-change theorem and the functor $f^!$

Authors: Amnon Neeman

Abstract: The major improvement in this paper is that we can extend the functor $(-)^!$ of Grothendieck duality to the unbounded derived category of sufficiently nice algebraic stacks. The original motivation came from formulas discovered by Avramov and Iyengar, linking Grothendieck duality with Hochscild homology and cohomology. The major improvement in this paper is that we can extend the functor $(-)^!$ of Grothendieck duality to the unbounded derived category of sufficiently nice algebraic stacks. The original motivation came from formulas discovered by Avramov and Iyengar, linking Grothendieck duality with Hochscild homology and cohomology. △ Less

Submitted 5 December, 2023; v1 submitted 29 June, 2014; originally announced June 2014.

Comments: 159 pages. This is the final, published version

MSC Class: 14F05 (Primary); 13D09; 18G10 (Secondary)

Journal ref: Bulletin of the Iranian Mathematical Society (2023) 49:25

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

Authors: Jack Hall, Amnon Neeman, David Rydh

Abstract: 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 resu… ▽ More 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. △ Less

Submitted 3 December, 2015; v1 submitted 8 May, 2014; originally announced May 2014.

Comments: main results strengthened in the noetherian situation; rewrite of Introduction; additional details on well-generation

MSC Class: Primary 14F05; secondary 13D09; 14A20; 18G10

Relation between two twisted inverse image pseudofunctors in duality theory

Authors: Srikanth B. Iyengar, Joseph Lipman, Amnon Neeman

Abstract: 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, a… ▽ More 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. △ Less

Submitted 17 October, 2014; v1 submitted 26 July, 2013; originally announced July 2013.

Comments: Final version, to appear in Compositio Math. A few misprints fixed. 30 pages

MSC Class: 14F05; 13D09 (Primary); 13D03 (Secondary)

Journal ref: Compositio Math. 151 (2015) 735-764

Non-left-complete derived categories

Authors: Amnon Neeman

Abstract: 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. 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. △ Less

Submitted 28 March, 2011; originally announced March 2011.

Brown representability does not come for free

Authors: Carles Casacuberta, Amnon Neeman

Abstract: 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… ▽ More 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. △ Less

Submitted 11 July, 2008; originally announced July 2008.

Comments: 5 pages

MSC Class: 18E30; 55U35

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

Authors: Joseph Lipman, Amnon Neeman

Abstract: 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… ▽ More 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. △ Less

Submitted 17 August, 2007; v1 submitted 24 November, 2006; originally announced November 2006.

Comments: Thanks to a theorem of Bondal and van den Bergh, previously unknown to us, we can now prove our main results for quasi-compact quasi-separated (rather than just separated) schemes. To appear in Illinois J. Math. 27 pages

MSC Class: 14A15

Noncommutative localisation in algebraic K-theory I

Authors: Amnon Neeman, Andrew Ranicki

Abstract: 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 leng… ▽ More 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 <sigma> 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)/<sigma>--> 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. △ Less

Submitted 29 October, 2004; originally announced October 2004.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol8/paper38.abs.html

MSC Class: 18F25; 19D10; 55P60

Journal ref: Geom. Topol. 8 (2004) 1385-1425

Representations of algebras as universal localizations

Authors: Amnon Neeman, Andrew Ranicki, Aidan Schofield

Abstract: 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… ▽ More 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. △ Less

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

Comments: v2 (minor revision of v1). 15 pages, LATEX, to be published in the Mathematical Proceedings of the Cambridge Philosophical Society

MSC Class: 16A08; 18E35

Journal ref: Math. Proc. Camb. Phil. Soc. 136, 105-117 (2004)

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

Authors: Amnon Neeman, Andrew Ranicki

Abstract: 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-modu… ▽ More 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. △ Less

Submitted 18 September, 2001; originally announced September 2001.

Comments: 75 pages

MSC Class: 16S10; 18E30; 19D50; 57R67

Failure of Brown representability in derived categories

Authors: J. Daniel Christensen, Bernhard Keller, Amnon Neeman

Abstract: 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 wha… ▽ More 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. △ Less

Submitted 20 September, 2001; v1 submitted 10 January, 2000; originally announced January 2000.

Comments: 22 pages, to appear in Topology. http://jdc.math.uwo.ca Lots of minor revisions. This version should closely match the published version

Journal ref: Topology 40 (2001), 1339-1361

K-Theory for Triangulated Categories III(A): The Theorem of the Heart

Authors: Amnon Neeman

Abstract: This is the fourth installment of a series. The main point of the entire series is the following: given a triangulated category T, it is possible to attach to it a K-theory space. This is the fourth installment of a series. The main point of the entire series is the following: given a triangulated category T, it is possible to attach to it a K-theory space. △ Less

Submitted 21 January, 1999; originally announced January 1999.

Comments: 94 pages

Journal ref: Asian Journal of Mathematics Volume 2 number 3 p 495-589

Grothendieck duality via homotopy theory

Authors: Amnon Neeman

Abstract: 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… ▽ More 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. △ Less

Submitted 27 December, 1994; originally announced December 1994.

Comments: 31 pages, AMS-LaTeX. To appear in Jour. AMS.

On the stable rationality of $X/G$

Authors: Amnon Neeman

Abstract: Let $G$ be a connected, reductive algeraic group whose Dynkin diagram contains no components of type $G_2,$ $F_4,$ $E_6,$ $E_7$ or $E_8.$ That is, all the components are of classical type. Suppose $X$ is an affine variety, and suppose $G$ acts freely on $X.$ Then $X$ and $X/G$ are stably birationally equivalent. Let $G$ be a connected, reductive algeraic group whose Dynkin diagram contains no components of type $G_2,$ $F_4,$ $E_6,$ $E_7$ or $E_8.$ That is, all the components are of classical type. Suppose $X$ is an affine variety, and suppose $G$ acts freely on $X.$ Then $X$ and $X/G$ are stably birationally equivalent. △ Less

Submitted 14 December, 1992; v1 submitted 4 December, 1992; originally announced December 1992.

Comments: 38 pages, LaTeX. I have to retract my manuscript: There is a serious error in the proof of Lemma 4.3.3. In the proof, I incorrectly identify two covering spaces of $Π_Y^r(Z).$