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”

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§...

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)$ .

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...

Almost everywhere convergence of convolution powers on compact abelian groups

Jean-Pierre Conze, Michael Lin (2013)

Annales de l'I.H.P. Probabilités et statistiques

Similarity:

It is well-known that a probability measure $μ$ on the circle $𝕋$ satisfies $∥ μ^{n} {* f - \int f d m ∥}_{p} \to 0$ for every $f \in L_{p}$ , every (some) $p \in [1, \infty)$ , if and only if $| \hat{μ} (n) | l t; 1$ for every non-zero $n \in ℤ$ ( $μ$ is strictly aperiodic). In this paper we study the a.e. convergence of $μ^{n} * f$ for every $f \in L_{p}$ whenever $p g t; 1$ . We prove a necessary and sufficient condition, in terms of the Fourier–Stieltjes coefficients of $μ$ , for the strong sweeping out property (existence of a Borel set $B$ with $lim sup μ^{n} * 1_{B} = 1$ a.e. and $lim inf μ^{n} * 1_{B} = 0$ a.e.). The results are extended to general compact Abelian groups...

On the structure of sequences with forbidden zero-sum subsequences

W. D. Gao, R. Thangadurai (2003)

Colloquium Mathematicae

Similarity:

We study the structure of longest sequences in $ℤ ₙ^{d}$ which have no zero-sum subsequence of length n (or less). We prove, among other results, that for $n = 2^{a}$ and d arbitrary, or $n = 3^{a}$ and d = 3, every sequence of c(n,d)(n-1) elements in $ℤ ₙ^{d}$ which has no zero-sum subsequence of length n consists of c(n,d) distinct elements each appearing n-1 times, where $c (2^{a}, d) = 2^{d}$ and $c (3^{a}, 3) = 9$ .

Non-supersingular hyperelliptic jacobians

Yuri G. Zarhin (2004)

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

Similarity:

Let $K$ be a field of odd characteristic $p$ , let $f (x)$ be an irreducible separable polynomial of degree $n \geq 5$ with big Galois group (the symmetric group or the alternating group). Let $C$ be the hyperelliptic curve $y^{2} = f (x)$ and $J (C)$ its jacobian. We prove that $J (C)$ does not have nontrivial endomorphisms over an algebraic closure of $K$ if either $n \geq 7$ or $p \neq 3$ .

Some Additive $2 - (v, 5, λ)$ Designs

Andrea Caggegi (2015)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

Given a finite additive abelian group $G$ and an integer $k$ , with $3 \leq k \leq | G |$ , denote by $𝒟_{k} (G)$ the simple incidence structure whose point-set is $G$ and whose blocks are the $k$ -subsets $C = {c_{1}, c_{2}, \dots, c_{k}}$ of $G$ such that $c_{1} + c_{2} + \dots + c_{k} = 0$ . It is known (see [Caggegi, A., Di Bartolo, A., Falcone, G.: Boolean 2-designs and the embedding of a 2-design in a group arxiv 0806.3433v2, (2008), 1–8.]) that $𝒟_{k} (G)$ is a 2-design, if $G$ is an elementary abelian $p$ -group with $p$ a prime divisor of $k$ . From [Caggegi, A., Falcone, G., Pavone, M.: On the additivity...

The basic construction from the conditional expectation on the quantum double of a finite group

Qiaoling Xin, Lining Jiang, Zhenhua Ma (2015)

Czechoslovak Mathematical Journal

Similarity:

Let $G$ be a finite group and $H$ a subgroup. Denote by $D (G; H)$ (or $D (G)$ ) the crossed product of $C (G)$ and $ℂ H$ (or $ℂ G$ ) with respect to the adjoint action of the latter on the former. Consider the algebra $〈 D (G), e 〉$ generated by $D (G)$ and $e$ , where we regard $E$ as an idempotent operator $e$ on $D (G)$ for a certain conditional expectation $E$ of $D (G)$ onto $D (G; H)$ . Let us call $〈 D (G), e 〉$ the basic construction from the conditional expectation $E : D (G) \to D (G; H)$ . The paper constructs a crossed product algebra $C (G / H \times G) ⋊ ℂ G$ , and proves that there is an algebra isomorphism between...

Multifractal analysis of the divergence of Fourier series

Frédéric Bayart, Yanick Heurteaux (2012)

Annales scientifiques de l'École Normale Supérieure

Similarity:

A famous theorem of Carleson says that, given any function $f \in L^{p} (𝕋)$ , $p \in (1, + \infty)$ , its Fourier series $(S_{n} f (x))$ converges for almost every $x \in 𝕋$ . Beside this property, the series may diverge at some point, without exceeding $O (n^{1 / p})$ . We define the divergence index at $x$ as the infimum of the positive real numbers $β$ such that $S_{n} f (x) = O (n^{β})$ and we are interested in the size of the exceptional sets $E_{β}$ , namely the sets of $x \in 𝕋$ with divergence index equal to $β$ . We show that quasi-all functions in $L^{p} (𝕋)$ have a multifractal behavior with respect to...