Related papers: On the composition of two spherical twists

We prove coherence theorems for bicategories, pseudofunctors and pseudonatural transformations. These theorems boil down to proving the coherence of some free $(4,2)$-categories. In the case of bicategories and pseudofunctors, existing…

Euler's continuants are universal polynomials expressing the numerator and denominator of a finite continued fraction whose entries are independent variables. We introduce their categorical lifts which are natural complexes (more precisely,…

Let X be a smooth toric variety defined by the fan {\Sigma} . We consider {\Sigma} as a finite set with topology and define a natural sheaf of graded algebras A_{\Sigma} on {\Sigma} . The category of modules over A_{\Sigma} is studied…

The Morita context provided by an exact module category over a finite tensor category gives a two-object bicategory with duals. Right and left duals of objects in the module category are given by internal Homs and coHoms, respectively. We…

Let $\mathsf{T}$ be a triangulated category with shift functor $\Sigma \colon \mathsf{T} \to \mathsf{T}$. Suppose $(\mathsf{A},\mathsf{B})$ is a co-t-structure with coheart $\mathsf{S} = \Sigma \mathsf{A} \cap \mathsf{B}$ and extended…

We introduce a new class of autoequivalences that act on the derived categories of certain vector bundles over Grassmannians. These autoequivalences arise from Grassmannian flops: they generalize Seidel-Thomas spherical twists, which can be…

We classify all edge-to-edge spherical isohedral 4-gonal tilings such that the skeletons are pseudo-double wheels. For this, we characterize these spherical tilings by a quadratic equation for the cosine of an edge-length. By the…

Given a split $\mathbb{P}$-functor $F:\mathcal{D}^b(X) \to \mathcal{D}^b(Y)$ between smooth projective varieties, we provide necessary and sufficient conditions, in terms of the Hochschild cohomology of $X$, for it to become spherical on…

For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…

For a variety X which admits a Cox ring we introduce a functor from the category of quasi-coherent sheaves on $X$ to the category of graded modules over the homogeneous coordinate ring of $X$. We show that this functor is right-adjoint to…

We show that the $\mathbb{P}$-twist associated to any $\mathbb{P}$-object of a smooth project variety is not conjugate to a standard autoequivalence. This result is obtained by computing the categorical entropy functions of…

First, we show that a compact object $C$ in a triangulated category, which satisfies suitable conditions, induces a $t$-structure. Second, in an abelian category we show that a complex $P^{\centerdot}$ of small projective objects of term…

We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We…

The aim of this paper is to introduce a tensor structure for the Serre quotient category of an abelian monoidal category with biexact tensor product to make the canonical functor a monoidal functor. In this tensor product, the Serre…

We prove that a large class of natural transformations (consisting roughly of those constructed via composition from the "functorial" or "base change" transformations) between two functors of the form $\cdots f^* g_* \cdots$ actually has…

Let $k$ be a regular ring, and let $A,B$ be essentially finite type $k$-algebras. For any functor $F:{D}(A)\times\dots\times{D}(A)\to{D}(B)$ between their derived categories, we define its twist…

We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…

Given a contraction of a variety X to a base Y, we enhance the locus in Y over which the contraction is not an isomorphism with a certain sheaf of noncommutative rings D, under mild assumptions which hold in the case of (1) crepant partial…

The concept of a morphism determined by an object provides a method to construct or classify morphisms in a fixed category. We show that this works particularly well for triangulated categories having Serre duality. Another application of…

In a triangulated symmetric monoidal closed category, there are natural dualities induced by the internal Hom. Given a monoidal functor f^* between two such catgories and adjoint couples (f^*,f_*) and (f_*,f^!), we prove the necessary…