How to construct a Hovey triple from two cotorsion pairs

James Gillespie

Displaying similar documents to “How to construct a Hovey triple from two cotorsion pairs”

Higher-dimensional Auslander-Reiten sequences

Jiangsha Li, Jing He (2024)

Czechoslovak Mathematical Journal

Similarity:

Zhou and Zhu have shown that if $𝒞$ is an $(n + 2)$ -angulated category and $𝒳$ is a cluster tilting subcategory of $𝒞$ , then the quotient category $𝒞 / 𝒳$ is an $n$ -abelian category. We show that if $𝒞$ has Auslander-Reiten $(n + 2)$ -angles, then $𝒞 / 𝒳$ has Auslander-Reiten $n$ -exact sequences.

Cotorsion pairs in comma categories

Yuan Yuan, Jian He, Dejun Wu (2024)

Czechoslovak Mathematical Journal

Similarity:

Let $𝒜$ and $ℬ$ be abelian categories with enough projective and injective objects, and $T : 𝒜 \to ℬ$ a left exact additive functor. Then one has a comma category $(ℬ ↓ T)$ . It is shown that if $T : 𝒜 \to ℬ$ is $𝒳$ -exact, then $(^{⊥} 𝒳, 𝒳)$ is a (hereditary) cotorsion pair in $𝒜$ and $(^{⊥} 𝒴, 𝒴)$ ) is a (hereditary) cotorsion pair in $ℬ$ if and only if $((\binom{^{⊥} 𝒳}{^{⊥} 𝒴})), 〈 𝐡 (𝒳, 𝒴) 〉)$ is a (hereditary) cotorsion pair in $(ℬ ↓ T)$ and $𝒳$ and $𝒴$ are closed under extensions. Furthermore, we characterize when special preenveloping classes in abelian categories $𝒜$ and $ℬ$ can induce special preenveloping...

On $n$ -exact categories

Said Manjra (2019)

Czechoslovak Mathematical Journal

Similarity:

An $n$ -exact category is a pair consisting of an additive category and a class of sequences with $n + 2$ terms satisfying certain axioms. We introduce $n$ -weakly idempotent complete categories. Then we prove that an additive $n$ -weakly idempotent complete category together with the class $𝒞_{n}$ of all contractible sequences with $n + 2$ terms is an $n$ -exact category. Some properties of the class $𝒞_{n}$ are also discussed.

On category $𝒪$ for cyclotomic rational Cherednik algebras

Iain G. Gordon, Ivan Losev (2014)

Journal of the European Mathematical Society

Similarity:

We study equivalences for category $𝒪_{p}$ of the rational Cherednik algebras $𝐇_{p}$ of type $G_{ℓ} (n) = {(μ_{ℓ})}^{n} ⋊ 𝔖_{n}$ : a highest weight equivalence between $𝒪_{p}$ and $𝒪_{σ (p)}$ for $σ \in 𝔖_{ℓ}$ and an action of $𝔖_{ℓ}$ on an explicit non-empty Zariski open set of parameters $p$ ; a derived equivalence between $𝒪_{p}$ and $𝒪_{p^{'}}$ whenever $p$ and $p^{'}$ have integral difference; a highest weight equivalence between $𝒪_{p}$ and a parabolic category $𝒪$ for the general linear group, under a non-rationality assumption on the parameter $p$ . As a consequence, we confirm special cases...

On the structure of triangulated categories with finitely many indecomposables

Claire Amiot (2007)

Bulletin de la Société Mathématique de France

Similarity:

We study the problem of classifying triangulated categories with finite-dimensional morphism spaces and finitely many indecomposables over an algebraically closed field $k$ . We obtain a new proof of the following result due to Xiao and Zhu: the Auslander-Reiten quiver of such a category $𝒯$ is of the form $ℤ Δ / G$ where $Δ$ is a disjoint union of simply-laced Dynkin diagrams and $G$ a weakly admissible group of automorphisms of $ℤ Δ$ . Then we prove that for ‘most’ groups $G$ , the category $𝒯$ is standard, ...

Hall algebras of two equivalent extriangulated categories

Shiquan Ruan, Li Wang, Haicheng Zhang (2024)

Czechoslovak Mathematical Journal

Similarity:

For any positive integer $n$ , let $A_{n}$ be a linearly oriented quiver of type $A$ with $n$ vertices. It is well-known that the quotient of an exact category by projective-injectives is an extriangulated category. We show that there exists an extriangulated equivalence between the extriangulated categories $ℳ_{n + 1}$ and $ℱ_{n}$ , where $ℳ_{n + 1}$ and $ℱ_{n}$ are the two extriangulated categories corresponding to the representation category of $A_{n + 1}$ and the morphism category of projective representations of $A_{n}$ , respectively. As a...

Limits and colimits in certain categories of spaces of continuous functions

Marvin W. Grossman

Similarity:

CONTENTSIntroduction................................................................................................................................................................................5§ 1. Notation and preliminaries.............................................................................................................................................6§ 2. Epimorphisms and monomorphisms.........................................................................................................................7§...

Stable tubes in extriangulated categories

Li Wang, Jiaqun Wei, Haicheng Zhang (2022)

Czechoslovak Mathematical Journal

Similarity:

Let $𝒳$ be a semibrick in an extriangulated category. If $𝒳$ is a $τ$ -semibrick, then the Auslander-Reiten quiver $Γ (ℱ (𝒳))$ of the filtration subcategory $ℱ (𝒳)$ generated by $𝒳$ is $ℤ 𝔸_{\infty}$ . If $𝒳 = {X_{i}}_{i = 1}^{t}$ is a $τ$ -cycle semibrick, then $Γ (ℱ (𝒳))$ is $ℤ 𝔸_{\infty} / τ_{𝔸}^{t}$ .

The Roquette category of finite $p$ -groups

Serge Bouc (2015)

Journal of the European Mathematical Society

Similarity:

Let $p$ be a prime number. This paper introduces the Roquette category $ℛ_{p}$ of finite $p$ -groups, which is an additive tensor category containing all finite $p$ -groups among its objects. In $ℛ_{p}$ , every finite $p$ -group $P$ admits a canonical direct summand $\partial P$ , called the edge of $P$ . Moreover $P$ splits uniquely as a direct sum of edges of Roquette $p$ -groups, and the tensor structure of $ℛ_{p}$ can be described in terms of such edges. The main motivation for considering this category is that the additive functors...

Two results of $n$ -exangulated categories

Jian He, Jing He, Panyue Zhou (2024)

Czechoslovak Mathematical Journal

Similarity:

M. Herschend, Y. Liu, H. Nakaoka introduced $n$ -exangulated categories, which are a simultaneous generalization of $n$ -exact categories and $(n + 2)$ -angulated categories. This paper consists of two results on $n$ -exangulated categories: (1) we give an equivalent characterization of axiom (EA2); (2) we provide a new way to construct a closed subfunctor of an $n$ -exangulated category.

Number of solutions in a box of a linear equation in an Abelian group

Maciej Zakarczemny (2016)

Colloquium Mathematicae

Similarity:

For every finite Abelian group Γ and for all $g, a ₁, . . ., a_{k} \in Γ$ , if there exists a solution of the equation $\sum_{i = 1}^{k} a_{i} x_{i} = g$ in non-negative integers $x_{i} \leq b_{i}$ , where $b_{i}$ are positive integers, then the number of such solutions is estimated from below in the best possible way.

On almost complex structures from classical linear connections

Jan Kurek, Włodzimierz M. Mikulski (2017)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

Let $ℳ f_{m}$ be the category of $m$ -dimensional manifolds and local diffeomorphisms and let $T$ be the tangent functor on $ℳ f_{m}$ . Let $𝒱$ be the category of real vector spaces and linear maps and let $𝒱_{m}$ be the category of $m$ -dimensional real vector spaces and linear isomorphisms. We characterize all regular covariant functors $F : 𝒱_{m} \to 𝒱$ admitting $ℳ f_{m}$ -natural operators $\tilde{J}$ transforming classical linear connections $\nabla$ on $m$ -dimensional manifolds $M$ into almost complex structures $\tilde{J} (\nabla)$ on $F (T) M = ⋃_{x \in M} F (T_{x} M)$ .

On the derived length of units in group algebra

Dishari Chaudhuri, Anupam Saikia (2017)

Czechoslovak Mathematical Journal

Similarity:

Let $G$ be a finite group $G$ , $K$ a field of characteristic $p \geq 17$ and let $U$ be the group of units in $K G$ . We show that if the derived length of $U$ does not exceed $4$ , then $G$ must be abelian.

One-sided Gorenstein subcategories

Weiling Song, Tiwei Zhao, Zhaoyong Huang (2020)

Czechoslovak Mathematical Journal

Similarity:

We introduce the right (left) Gorenstein subcategory relative to an additive subcategory $𝒞$ of an abelian category $𝒜$ , and prove that the right Gorenstein subcategory $r 𝒢 (𝒞)$ is closed under extensions, kernels of epimorphisms, direct summands and finite direct sums. When $𝒞$ is self-orthogonal, we give a characterization for objects in $r 𝒢 (𝒞)$ , and prove that any object in $𝒜$ with finite $r 𝒢 (𝒞)$ -projective dimension is isomorphic to a kernel (or a cokernel) of a morphism from an object in $𝒜$ with finite $𝒞$ -projective...

Self-small products of abelian groups

Josef Dvořák, Jan Žemlička (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $A$ and $B$ be two abelian groups. The group $A$ is called $B$ -small if the covariant functor $Hom (A, -)$ commutes with all direct sums $B^{(κ)}$ and $A$ is self-small provided it is $A$ -small. The paper characterizes self-small products applying developed closure properties of the classes of relatively small groups. As a consequence, self-small products of finitely generated abelian groups are described.

Quasicontinuous spaces

Jing Lu, Bin Zhao, Kaiyun Wang, Dong Sheng Zhao (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We lift the notion of quasicontinuous posets to the topology context, called quasicontinuous spaces, and further study such spaces. The main results are: (1) A $T_{0}$ space $(X, τ)$ is a quasicontinuous space if and only if $S I (X)$ is locally hypercompact if and only if $(τ_{S I}, \subseteq)$ is a hypercontinuous lattice; (2) a $T_{0}$ space $X$ is an $S I$ -continuous space if and only if $X$ is a meet continuous and quasicontinuous space; (3) if a $C$ -space $X$ is a well-filtered poset under its specialization order, then $X$ is a quasicontinuous...

Bipartite coalgebras and a reduction functor for coradical square complete coalgebras

Justyna Kosakowska, Daniel Simson (2008)

Colloquium Mathematicae

Similarity:

Let C be a coalgebra over an arbitrary field K. We show that the study of the category C-Comod of left C-comodules reduces to the study of the category of (co)representations of a certain bicomodule, in case C is a bipartite coalgebra or a coradical square complete coalgebra, that is, C = C₁, the second term of the coradical filtration of C. If C = C₁, we associate with C a K-linear functor $ℍ_{C} : C - C o m o d \to H_{C} - C o m o d$ that restricts to a representation equivalence $ℍ_{C} : C - c o m o d \to H_{C} - c o m o d_{s p}^{•}$ , where $H_{C}$ is a coradical square complete hereditary...