Related papers: The singularity category of a separable extension

We propose a definition of the category of hybrid systems in which executions are special types of morphisms. Consequently morphisms of hybrid systems send executions to executions. We plan to use this result to define and study networks of…

Let X be a normal variety such that $K_X$ is Q-Cartier, and let $f: X \rightarrow X$ be a finite surjective morphism of degree at least two. We establish a close relation between the irreducible components of the locus of singularities that…

We describe the structure of module categories of finite dimensional algebras over an algebraically closed field for which the cycles of nonzero nonisomorphisms between indecomposable finite dimensional modules are finite (do not belong to…

We consider the canonical pseudodistributive law between various free limit completion pseudomonads and the free coproduct completion pseudomonad. When the class of limits includes pullbacks, we show that this consideration leads to notions…

By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…

In this article we establish some formalism of Derived Witt-D\'evissage theory for resolving subcategories of abelian categories. Results directly apply to noetherian schemes.

Let R be a commutative Noetherian ring. We establish a close relationship between the strong generation of the singularity category of R and the nonvanishing of the annihilator of the singularity category of R. As an application, we prove…

We show that silting modules are closely related with localisations of rings. More precisely, every partial silting module gives rise to a localisation at a set of maps between countably generated projective modules and, conversely, every…

Given a Noetherian formal scheme $\hat X$ over ${\rm Spf}(R)$, where $R$ is a complete DVR, we first prove a theorem of meromorphic descent along a possibly infinite cover of $\hat{X}$. Using this we construct a specialization functor from…

We prove the finite generation of canonical rings of projective variety of general type defined over complex numbers.

A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of…

We develop a unified representation theory for the categories of finite subsets and relation-preserving maps of highly homogeneous relational structures classified by Cameron. For any commutative coefficient ring $k$, we extend the…

A generalization of the notion of an $\infty$-category is presented, allowing for ($\infty$-)cat(egorie)s that may have non-invertible higher morphisms.

We introduce the notion of independent sequences with respect to a monomial order by using the least terms of polynomials vanishing at the sequence. Our main result shows that the Krull dimension of a Noetherian ring is equal to the…

For any graded commutative noetherian ring, where the grading group is abelian and where commutativity is allowed to hold in a quite general sense, we establish an inclusion-preserving bijection between, on the one hand, the twist-closed…

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…

In this paper, we characterize several properties of commutative notherian local rings in terms of the left perpendicular category of the category of finitely generated modules of finite projective dimension. As an application we prove that…

This work studies conditions under which integral transforms induce exact functors on singularity categories between schemes that are proper over a Noetherian base scheme. A complete characterization for this behavior is provided, which…

We classify all compactly generated t-structures in the unbounded derived category of an arbitrary commutative ring, generalizing the result of [ATLJS10] for noetherian rings. More specifically, we establish a bijective correspondence…

Let A be an abelian hereditary category with Serre duality. We provide a classification of such categories up to derived equivalence under the additional condition that the Grothendieck group modulo the radical of the Euler form is a free…