Related papers: Grothendieck duality and Q-Gorenstein morphisms
The generalisation of the well-known (Hilbert polynomial) criterion for flatness of a projective morphism of Noetherian schemes is given for the case of nonreduced base of the morphism.
We discuss a connection between coherent duality and Verdier duality via a Gersten-type complex of sheaves on real schemes, and show that this construction gives a dualizing object in the derived category, which is compatible with the…
Divided into three parts, the first marks out enormous geometric issues with the notion of quasi-freenss of an algebra and seeks to replace this notion of formal smoothness with an approximation by means of a minimal unital commutative…
We prove that the derived category of a Grothendieck abelian category has a unique dg enhancement. Under some additional assumptions, we show that the same result holds true for its subcategory of compact objects. As a consequence, we…
In this paper we show that any Noetherian $F$-finite scheme has a dualizing complex $\omega^{\bullet}_{X}$ with the property that for all finite type maps $f \colon X \to Y$ between $F$-finite Noetherian schemes there is a canonical…
The recently introduced manifestly covariant canonical quantization scheme is applied to gravity. New diffeomorphism anomalies generating a multi-dimensional generalization of the Virasoro algebra arise. This does not contradict theorems…
In this paper we study orders over Cohen-Macaulay rings. We discuss desirable properties for these orders if they are to represent NCCRs of the base rings. While some definitions have been made, we discuss an alternate definition and the…
Distinctive characteristics of Iwanaga--Gorenstein rings are typically understood through their intrinsic symmetry. We show that several of those that pertain to the Gorenstein global dimensions carry over to the one-sided situation, even…
We answer a question of Celikbas, Dao, and Takahashi by establishing the following characterization of Gorenstein rings: a commutative noetherian local ring $(R,\mathfrak m)$ is Gorenstein if and only if it admits an integrally closed…
It is well known that the Grauert-Riemenschneider canonical sheaf $\mathcal{K}_X$ of holomorphic square-integrable $n$-forms is a central tool in $L^2$-theory for the $\overline\partial$-operator on a singular complex space $X$ of pure…
We show that any complete local (normal) domain admits a module-finite quasi-Gorenstein normal (complete local) domain extension. In the geometric vein, we show that any normal projective variety $X$ over a field admits a finite surjective…
We describe the mod $p^r$ pro $K$-groups $\{K_n(A/I^s)/p^r\}_s$ of a regular local $\mathbb F_p$-algebra $A$ modulo powers of a suitable ideal $I$, in terms of logarithmic Hodge-Witt groups, by proving pro analogues of the theorems of…
We define a nonabelian version of particle-vortex duality, by dimensionally extending usual (1+1)-dimensional nonabelian T-duality to (2+1) dimensions. While we will explicitly describe a global $SU(2)$ symmetry, our methods can also be…
Let $(A,\mathfrak{m})$ be an excellent Gorenstein local ring of dimension $d \geq 2$ which is an isolated singularity. Let $\widehat{A}$ denote the completion of $A$. If $G(A)$ is the Grothendieck group of $A$ then by $G(A)_\mathbb{Q}$ we…
We introduce a theory of geometry for nonnoetherian commutative algebras with finite Krull dimension. In particular, we establish new notions of normalization and height: depiction (a special noetherian overring) and geometric codimension.…
We analyse infinitesimal deformations of morphisms of locally free sheaves on a smooth projective variety $X$ over an algebraically closed field of characteristic zero. In particular, we describe a differential graded Lie algebra…
This paper gives a necessary and sufficient condition for Gorensteinness in Rees algebras of the $d$-th power of parameter ideals in certain Noetherian local rings of dimension $d\ge 2$. The main result of this paper produces many…
A semi-dualizing module over a commutative noetherian ring A is a finitely generated module C with RHom_A(C,C) \simeq A in the derived category D(A). We show how each such module gives rise to three new homological dimensions which we call…
We explore the canonical Grothendieck topology in some specific circumstances. First we use a description of the canonical topology to get a variant of Giraud's Theorem. Then we explore the canonical Grothendieck topology on the categories…
We present in the context of Gorenstein homological algebra the notion of a "G-Gorenstein complex" as the counterpart of the classical notion of a Gorenstein complex. In particular, we investigate equivalences between the category of…