Source author record

Amnon Neeman

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

ResearcherUnclaimed source record

math.AG alg-geom math.CT math.KT math.RA

Catalog footprint

What is connected

7works

5topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2021arXiv

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.

preprint2015arXiv

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.

preprint2011arXiv

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.

preprint2007arXiv

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.

preprint2004arXiv

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

preprint1994arXiv

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.

preprint1992arXiv

On the stable rationality of $X/G$

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.