Related papers: Almost Split Triangles and Morphisms Determined by…

We will establish a nearby and vanishing cycle formalism for the arithmetic $\mathscr{D}$-module theory following Beilinson's philosophy. As an application, we define smooth objects in the framework of arithmetic $\mathscr{D}$-modules whose…

We study polynomial functors of degree 2, called quadratic, with values in the category of abelian groups $Ab$, and whose source category is an arbitrary category $\C$ with null object such that all objects are colimits of copies of a…

Let $R$ be a commutative Noetherian ring with identity and $C$ a semidualizing module for $R$. Let $\mathscr{P}_C(R)$ and $\mathscr{I}_C (R)$ denote, respectively, the classes of $C$-projective and $C$-injective $R$-modules. We show that…

We define exact weights on a triangulated category to be nonnegative functions on objects satisfying a subadditivity condition with respect to exact triangles. Such weights induce a metric on objects in the triangulated category, which we…

Right triangulated categories can be thought of as triangulated categories whose shift functor is not an equivalence. We give intrinsic characterisations of when such categories have a natural extriangulated structure and are appearing as…

We propose new structures called almost o-minimal structures and $\mathfrak X$-structures. The former is a first-order expansion of a dense linear order without endpoints such that the intersection of a definable set with a bounded open…

For every functor $\mathcal{F} : \mathcal{K} \to \mathbf{C}$, where $\mathcal{K}$ is a small category and $\mathbf{C}$ is a model category which satisfies some mild hypotheses, we define a model category $\mathbf{C}^m$ of…

For a rigid object $M$ in an algebraic triangulated category $\mathcal{T}$, a functor pr$(M)\to\mathcal{H}^{[-1,0]}({\rm proj}\, A)$ is constructed, which essentially takes an object to its `presentation', where pr$(M)$ is the full…

Let $k$ be a commutative $\mathbb{Q}$-algebra. We study families of functors between categories of finitely generated $R$-modules which are defined for all commutative $k$-algebras $R$ simultaneously and are compatible with base changes.…

\emph{Proto-exact categories}, introduced by Dyckerhoff and Kapranov, are a generalization of Quillen exact categories which provide a framework for defining algebraic K-theory and Hall algebras in a \emph{non-additive} setting. This…

In this survey we explain the results of the recent article arXiv:1806.06471. Following a 1973 article by Lawvere one can define metrics on categories, and following Kelly's 1982 book one can complete a category with respect to its metric.…

We classify the $(\mathfrak{g},K)$-modules generated by nearly holomorphic Hilbert-Siegel modular forms by the global method. As an application, we study the image of projection operators on the space of nearly holomorphic Hilbert-Siegel…

We explain how, under some hypotheses, one can construct a sequence of finite dimensional $kG$-modules that lie in certain prescribed additive subcategories, but whose direct limits do not. We use these to show that many of the triangulated…

A category is called {\em split} if for every morphism $s\colon X\to Y$ there exists a morphism $t\colon Y\to X$ such that $s\circ t\circ s = s$. Let $C$ be a finite split category, let $k$ be a field of characteristic 0 and let $\alpha$ be…

Recall that the definition of the $K$-theory of an object C (e.g., a ring or a space) has the following pattern. One first associates to the object C a category A_C that has a suitable structure (exact, Waldhausen, symmetric monoidal, ...).…

We prove that if the Auslander-Reiten triangles generate the relations for the Grothendieck group of a Hom-finite Krull-Schmidt triangulated category with a (co)generator, then the category has only finitely many isomorphism classes of…

We provide various ways to characterise $\Sigma$-pure-injective objects in a compactly generated triangulated category. These characterisations mimic analogous well-known results from the model theory of modules. The proof involves two…

Let $A$ be the path algebra of a quiver of Dynkin type $\mathbb{A}_n$. The module category $\text{mod}\,A$ has a combinatorial model as the category of diagonals in a polygon $S$ with $n+1$ vertices. The recently introduced notion of almost…

Stratifying systems, which have been defined for module, triangulated and exact categories previously, were developed to produce examples of standardly stratified algebras. A stratifying system $\Phi$ is a finite set of objects satisfying…

Let $A$ be a Noetherian ring and let $\mathcal{R} = \bigoplus_{n \geq 0}\mathcal{R}_n$ be a standard graded ring with $\mathcal{R}_0 = A$. We define a category $\mathfrak{A}(\mathcal{R})$ of graded $\mathcal{R}$-modules (not necessarily…