相关论文: Grothendieck duality and Q-Gorenstein morphisms

In this paper we study the deformation and Q-Gorenstein deformation theory of schemes with non-isolated singularities. We obtain obstruction spaces for the existence of deformations and also for local deformations to exist globally. Finally…

The Gorenstein property in local algebra admits several characterizations via its module category. The goal of this paper is to collect and generalize such characterizations to the relative setting, i.e., to Gorenstein morphisms as defined…

We give several related versions of global Grothendieck Duality for unbounded complexes on noetherian formal schemes. The proofs, based on a non-trivial adaptation of Deligne's method for the special case of ordinary schemes, are reasonably…

Let $f:X\to Y$ be a Cohen-Macaulay map of finite type between Noetherian schemes, and $:Y'\to Y$ a base change map, with $Y'$ Noetherian. Let $f'$ be the base change of $f$ under $g$ and $g'$ the base change of $g$ under $f$. We show that…

Let $\mathbb{X}$ be a semiseparated Noetherian scheme with a dualizing complex $D$. We lift some well-known triangulated equivalences associated with Grothendieck duality to Quillen equivalences of model categories. In the process we are…

Let $R$ be a Cohen--Macaulay normal domain with a canonical module $\omega_R$. It is proved that if $R$ admits a noncommutative crepant resolution (NCCR), then necessarily it is $\mathbb{Q}$-Gorenstein. Writing $S$ for a Zariski local…

(Partial) Gorenstein silting modules are introduced and investigated. It is shown that for finite dimensional algebras of finite CM-type, partial Gorenstein silting modules are in bijection with {\tau}_G-rigid modules; Gorenstein silting…

We use the anti-equivalence between Cohen-Macaulay complexes and coherent sheaves on formal schemes to shed light on some older results and prove new results. We bring out the relations between a coherent sheaf M satisfying an S_2 condition…

We generalize the adjunction between the functors $Rf_*$ and $f^!$ of derived categories of quasi-coherent sheaves for proper morphisms $f\colon X \to Y$ of Noetherian schemes to the following situation: Let $f$ be a finite type morphism…

Grothendieck proved in EGA IV that if any integral scheme of finite type over a locally noetherian scheme X admits a desingularization, then X is quasi-excellent, and conjectured that the converse is probably true. We prove this conjecture…

A procedure for constructing bivariant theories by means of Grothendieck duality is developed. This produces, in particular, a bivariant theory of Hochschild (co)homology on the category of schemes that are flat, separated and essentially…

Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…

Relations between Gorenstein derived categories, Gorenstein defect categories and Gorenstein stable categories are established. Using these, the Gorensteinness of an algebra $A$ and invariants with respect to recollements of the bounded…

We obtain some fundamental results, as Bokstedt-Neeman Theorem and Grothendieck duality, about the derived category of modules on a finite ringed space. Then we see how these results are transfered to schemes in a simple way and generalized…

We study criteria for a ring - or more generally, for a small category - to be Gorenstein and for a module over it to be of finite projective dimension. The goal is to unify the universal coefficient theorems found in the literature and to…

We introduce quasi-Gorenstein morphisms of commutative local dg-algebras and use a Gorenstein version of the virtually small property to characterize them, a result which is new even for homomorphisms of local rings. In a different…

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived…

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…

In the recent paper "The Nakayama functor and its completion for Gorenstein algebras", a class of Gorenstein algebras over commutative noetherian rings was introduced, and duality theorems for various categories of representations were…

Revised Version. An example of a locally smoothable stable surface that does not have a global smoothing has been added.