Related papers: Grothendieck duality and Q-Gorenstein morphisms
We study the geography of Gorenstein stable log surfaces and prove two inequalities for their invariants: the stable Noether inequality and the $P_2$-inequality. By constructing examples we show that all invariants are realised except…
In this paper we develop the formalism of the Grothendieck six operations on o-minimal sheaves. The Grothendieck formalism allows us to obtain o-minimal versions of: (i) derived projection formula; (ii) universal coefficient formula; (iii)…
We consider the possible covariant external algebra structures for Cartan's 1-forms on GL_q(N) and SL_q(N). We base upon the following natural postulates: 1. the invariant 1-forms realize an adjoint representation of quantum group; 2. all…
In this paper, we introduce the notions of dualizing complexes and balanced dualizing complexes over $\mathbb{Z}$-algebras. We prove that a noetherian connected $\mathbb{Z}$-algebra $A$ admits a balanced dualizing complex if and only if $A$…
We investigate when a commutative ring spectrum $R$ satisfies a homotopical version of local Gorenstein duality, extending the notion previously studied by Greenlees. In order to do this, we prove an ascent theorem for local Gorenstein…
A comma category, exemplified in algebraic geometry by coherent systems, combines two categories over a third through morphisms between their objects. We establish sufficient conditions for it to be abelian, compute its Grothendieck group,…
This article focuses on three main contributions. Firstly, we provide an in-depth overview of the nonlocal Lagrangian formalism. Secondly, we introduce an extended version of the second Noether's theorem tailored for nonlocal Lagrangians.…
Given an abelian category, we introduce a categorical concept of (strongly) Gorenstein projective (resp., injective) objects, by defining a new special class of objects. Then we study the transfer of these properties when passing to an…
We study Gorenstein categories. We show that such a category has Tate cohomological functors and Avramov-Martsinkovsky exact sequences connecting the Gorenstein relative, the absolute and the Tate cohomological functors. We show that such a…
A conjecture of Hirose, Watanabe, and Yoshida offers a characterization of when a standard graded strongly $F$-regular ring is Gorenstein, in terms of an $F$-pure threshold. We prove this conjecture under the additional hypothesis that the…
Cohen-Macaulay dimension for modules over a commutative noetherian local ring has been defined by A. A. Gerko. That is a homological invariant sharing many properties with projective dimension and Gorenstein dimension. The main purpose of…
We extend Furstenberg's structure theorem to any standard Borel $G$-space, where $G$ is any locally compact second countable Noetherian module over a syndetic ring.
We construct the Cartier duality equivalence for affine commutative group schemes $G$ whose coordinate ring is a flat Mittag-Leffler module over an arbitrary base ring $R$. The dual $G^\vee$ of $G$ turns out to be an ind-finite ind-scheme…
A procedure which obviates the constraint imposed by the conflict between consistent quantization and the invariance of the Hamiltonian description under nonlinear canonical transformation is proposed. This new quantization scheme preserves…
Let $u:A\to B$ be a morphism of noetherian local rings. We obtain smoothness criteria for algebras with differential bases, in the case of rings containing a field of characteristic $p>0.$ We also give smoothness criteria for reduced…
The main purpose of this paper is to describe various phenomena and certain constructions arising in the process of studying derived noncommutative schemes. Derived noncommutative schemes are defined as differential graded categories of a…
New homotopy invariant finiteness conditions on modules over commutative rings are introduced, and their properties are studied systematically. A number of finiteness results for classical homological invariants like flat dimension,…
We generalize Friedman's notion of d-semistability, which is a necessary condition for spaces with normal crossings to admit smoothings with regular total space. Our generalization deals with spaces that locally look like the boundary…
The $q$-Schur category is a $\mathbb{Z}[q,q^{-1}]$-linear monoidal category closely related to the $q$-Schur algebra. We explain how to construct it from coordinate algebras of quantum $GL_n$ for all $n \geq 0$. Then we use Donkin's work on…
We develop a graded version of the theory of cyclotomic q-Schur algebras, in the spirit of the work of Brundan-Kleshchev on Hecke algebras and of Ariki on q-Schur algebras. As an application, we identify the coefficients of the canonical…