Related papers: Relative rigid objects in triangulated categories
We prove that an object $U$ in a triangulated category with coproducts is silting if and only if it is a (weak) generator of the category, the orthogonal class $U^{\perp_{>0}}$ contains $U$, and $U^{\perp_{>0}}$ is closed under direct sums.…
Let $\mathscr{C}$ be an extriangulated category with enough projectives and injectives. We give a new definition of tilting subcategories of $\mathscr{C}$ and prove it coincides with the definition given in [19]. As applications, we…
We give necessary and sufficient conditions for stratification and costratification to descend along a coproduct preserving, tensor-exact $R$-linear functor between $R$-linear tensor-triangulated categories which are rigidly-compactly…
We give a characterization of extremal irreducible discrete subfactors $(N\subseteq M, E)$ where $N$ is type ${\rm II}_1$ in terms of connected W*-algebra objects in rigid C*-tensor categories. We prove an equivalence of categories where…
We prove the existence of tight frames whose elements lie on an arbitrary ellipsoidal surface within a real or complex separable Hilbert space H, and we analyze the set of attainable frame bounds. In the case where H is real and has finite…
We introduce and investigate (dual) relative split objects with respect to a fully invariant short exact sequence in abelian categories. We compare them with (dual) relative Rickart objects, and we study their behaviour with respect to…
In this note, I define a notion of a compactly supported object in a triangulated category. I prove a number of propositions relating this to traditional notions of support and give an application to the theory of derived Morita…
For a finite group $G$ and an arbitrary commutative ring $R$, Brou\'e has placed a Frobenius exact structure on the category of finitely generated $RG$-modules by taking the exact sequences to be those that split upon restriction to the…
Using computations in the bidual of $\mathbb{B}(L^2M)$ we develop a new technique at the von Neumann algebra level to upgrade relative proper proximality to full proper proximality. This is used to structurally classify subalgebras of…
We consider the homotopy category of complexes of projective modules over any gentle algebra. We prove that indecomposable $\Sigma$-pure-injective objects in s must be shifts of string or band complexes. We begin with a survey of purity in…
Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include…
Exact categories are a natural generalisation of abelian categories and provide a fertile ground to develop relative homological algebra. In this paper, starting from a class of relative Gorenstein projective objects in an exact category…
Let $\C$ be a triangulated category with a cluster tilting subcategory $\T$. We introduce the notion of $\T[1]$-cluster tilting subcategories (also called ghost cluster tilting subcategories) of $\C$, which are a generalization of cluster…
Let $T=\left( \begin{array}{cc} R & M 0 & S \end{array} \right) $ be a triangular matrix ring with $R$ and $S$ rings and $_RM_S$ an $R$-$S$-bimodule. We describe Gorenstein projective modules over $T$. In particular, we refine a result of…
We investigate the homological behaviour of compactly generated triangulated categories under separable extensions. We show that homological invariants (finiteness of global dimension, gorensteinness and regularity) are preserved under such…
The present paper focuses on the study of the stable category of vector bundles for the weighted projective lines of weight triple. We find some important triangles in this category and use them to construct tilting objects with tubular…
Formalized $1$-category theory forms a core component of various libraries of mathematical proofs. However, more sophisticated results in fields from algebraic topology to theoretical physics, where objects have "higher structure," rely on…
Let $Q$ be a finite quiver of Dynkin type and $\Lambda=\Lambda_Q$ be the preprojective algebra of $Q$ over an algebraically closed field $k$. Let $\mathcal {T}_\Lambda$ be the mutation graph of maximal rigid $\Lambda$ modules. Geiss,…
Let $T$ be an infinitely generated tilting module of projective dimension at most one over an arbitrary associative ring $A$, and let $B$ be the endomorphism ring of $T$. In this paper, we prove that if $T$ is good then there exists a ring…
Let $\Gamma$ be a weakly irreducible higher rank lattice. In this paper, we will prove various rigidity results for the $\Gamma$-action following a philosophy of the Zimmer program. We provide new rigidity results including local and global…