Related papers: The morphism axiom for n-angulated categories
We show that any nonconstant morphism of a threefold admits a relative Chow-Kuenneth decomposition. As a corollary we get sufficient conditions for threefolds to admit an absolute Chow-Kuenneth decomposition. In case the image of the…
We give a criterion for cohomological symmetry in a triangulated category. As an application, we show that such cohomological symmetry holds for all pairs of modules over any exterior algebra.
We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is…
These notes provide an introduction to the theory of localization for triangulated categories. Localization is a machinery to formally invert morphisms in a category. We explain this formalism in some detail and we show how it is applied to…
In this article, a new construction of derived equivalences is given. It relates different endomorphism rings and more generally cohomological endomorphism rings - including higher extensions - of objects in triangulated categories. These…
We record an explicit proof of the theorem that lifts a two-variable adjunction to the arrow categories of its domains.
The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and…
We define a concept which we call multiplicity. First, multiplicity of a morphism is defined. Then the multiplicity of an object over another object is defined to be the minimum of the multiplicities of all morphisms from one to another.…
We prove that a Hom-finite additive category having determined morphisms on both sides is a dualizing variety. This complements a result by Krause. We prove that in a Hom-finite abelian category having Serre duality, a morphism is right…
Using deformation theory of rational curves, we prove a conjecture of Sommese on the extendability of morphisms from ample subvarieties when the morphism is a smooth (or mildly singular) fibration with rationally connected fibers. We apply…
In this paper, we prove that the deformation theory of an object in an $n$-category is controlled by the its $n$-fold endomorphism algebra. This recovers Lurie's results on deforming objects and categories. We also generalize a previous…
This paper explores a new perspective on the universality of the vertical lift in tangent categories by presenting a categorification of the dimension of smooth manifolds. The universality of the vertical lift is a key part of the axioms of…
In this paper we generalise the notion of linearity (in the sense of Lawvere) to a category C equipped with a compatible sum structure and product structure. In this context, any morphism f from an n-fold sum to an n-fold product has a…
We describe a procedure for constructing morphisms in additive categories, combining Auslander's concept of a morphism determined by an object with the existence of flat covers. Also, we show how flat covers are turned into projective…
Dilatations modify categories by imposing that some morphisms factorize through some others. This is formalized by a universal property. This text is devoted to introduce and study this construction. Examples of dilatations of categories…
If $X$ is a quasi-projective variety over a field $k$ and $\phi$ a birational endomorphism of $X$ that is injective outside a closed subset of codimension $\geq 2$, we prove that $\phi$ is an automorphism. This generalizes an old theorem of…
The splitting principle states that morphisms in a derived category do not "split" accidentally. This has been successsfully applied in several characterizations of rational, DB, and other singularities. In this article I prove a general…
We show that the triangulated category of bounded constructible complexes on an algebraic variety X over an algebraically closed field is equivalent to the bounded derived category of the abelian category of constructible sheaves on X,…
The Grothendieck universe axiom asserts that every set is a member of some set-theoretic universe U that is itself a set. One can then work with entities like the category of all U-sets or even the category of all locally U-small…
It is well known that, given two curves $\mathcal{X}: y^p+cy=x^m$ and $\mathcal{Y}:y^p+cy=x^n$, defined over $\F_p$, if $n$ divides $m$ then there exists a nonconstant morphism $\mathcal{X} \longrightarrow \mathcal{Y}$. In this paper we are…