$n$-angulated quotient categories induced by mutation pairs

Zengqiang Lin

Displaying similar documents to “ $n$ -angulated quotient categories induced by mutation pairs”

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.

The categories of presheaves containing any category of algebras

V. Trnková, J. Reiterman

Similarity:

ContentsIntroduction.................................................................................................................................................. 5I. Preliminaries........................................................................................................................................... 6II. Main theorem.......................................................................................................................................... 8III. The...

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

Yetter-Drinfeld-Long bimodules are modules

Daowei Lu, Shuan Hong Wang (2017)

Czechoslovak Mathematical Journal

Similarity:

Let $H$ be a finite-dimensional bialgebra. In this paper, we prove that the category $ℒℛ (H)$ of Yetter-Drinfeld-Long bimodules, introduced by F. Panaite, F. Van Oystaeyen (2008), is isomorphic to the Yetter-Drinfeld category $_{H \otimes H^{*}}^{H \otimes H^{*}} 𝒴𝒟$ over the tensor product bialgebra $H \otimes H^{*}$ as monoidal categories. Moreover if $H$ is a finite-dimensional Hopf algebra with bijective antipode, the isomorphism is braided. Finally, as an application of this category isomorphism, we give two results.

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

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

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

How to construct a Hovey triple from two cotorsion pairs

James Gillespie (2015)

Fundamenta Mathematicae

Similarity:

Let be an abelian category, or more generally a weakly idempotent complete exact category, and suppose we have two complete hereditary cotorsion pairs $(, \tilde{})$ and $(\tilde{},)$ in satisfying $\tilde{} \subseteq$ and $\cap \tilde{} = \tilde{} \cap$ . We show how to construct a (necessarily unique) abelian model structure on with (resp. $\tilde{}$ ) as the class of cofibrant (resp. trivially cofibrant) objects, and (resp. $\tilde{}$ ) as the class of fibrant (resp. trivially fibrant) objects.

Derived endo-discrete artin algebras

Raymundo Bautista (2006)

Colloquium Mathematicae

Similarity:

Let Λ be an artin algebra. We prove that for each sequence ${(h_{i})}_{i \in ℤ}$ of non-negative integers there are only a finite number of isomorphism classes of indecomposables $X \in^{b} (Λ)$ , the bounded derived category of Λ, with $l e n g t h_{E (X)} H^{i} (X) = h_{i}$ for all i ∈ ℤ and E(X) the endomorphism ring of X in $^{b} (Λ)$ if and only if $^{b} (M o d Λ)$ , the bounded derived category of the category $M o d Λ$ of all left Λ-modules, has no generic objects in the sense of [4].

The correspondence between Barsotti-Tate groups and Kisin modules when $p = 2$

Tong Liu (2013)

Journal de Théorie des Nombres de Bordeaux

Similarity:

Let $K$ be a finite extension over $ℚ_{2}$ and $𝒪_{K}$ the ring of integers. We prove the equivalence of categories between the category of Kisin modules of height 1 and the category of Barsotti-Tate groups over $𝒪_{K}$ .

Generic representations of orthogonal groups: projective functors in the category $ℱ_{q u a d}$

Christine Vespa (2008)

Fundamenta Mathematicae

Similarity:

We continue the study of the category of functors $ℱ_{q u a d}$ , associated to ₂-vector spaces equipped with a nondegenerate quadratic form, initiated in J. Pure Appl. Algebra 212 (2008) and Algebr. Geom. Topology 7 (2007). We define a filtration of the standard projective objects in $ℱ_{q u a d}$ ; this refines to give a decomposition into indecomposable factors of the first two standard projective objects in $ℱ_{q u a d}$ : $P_{H ₀}$ and $P_{H ₁}$ . As an application of these two decompositions, we give a complete description of the polynomial...

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

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 Definition of $2$ -Category of $2$ -Knots

V. M. Kharlamov, V. G. Turaev (1993)

Recherche Coopérative sur Programme n°25

Similarity:

Definable orthogonality classes in accessible categories are small

Joan Bagaria, Carles Casacuberta, A. R. D. Mathias, Jiří Rosický (2015)

Journal of the European Mathematical Society

Similarity:

We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopěnka’s principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Lévy hierarchy. For example, the statement that, for a class $𝒮$ of morphisms in a locally presentable category $𝒞$ of structures, the orthogonal class of objects...

$A F$ -algebras and topology of mapping tori

Igor Nikolaev (2015)

Czechoslovak Mathematical Journal

Similarity:

The paper studies applications of $C^{*}$ -algebras in geometric topology. Namely, a covariant functor from the category of mapping tori to a category of $A F$ -algebras is constructed; the functor takes continuous maps between such manifolds to stable homomorphisms between the corresponding $A F$ -algebras. We use this functor to develop an obstruction theory for the torus bundles of dimension $2$ , $3$ and $4$ . In conclusion, we consider two numerical examples illustrating our main results.

Epics in the category of $T_{2}$ k-groups need not have dense range

W. F. Lamartin (1976)

Colloquium Mathematicae

Similarity:

Schur-Finite Motives and Trace Identities

Alessio Del Padrone, Carlo Mazza (2009)

Bollettino dell'Unione Matematica Italiana

Similarity:

We provide a sufficient condition that ensures the nilpotency of endomorphisms universally of trace zero of Schur-finite objects in a category of homological type, i.e., a $\mathbb{Q}$ -linear $\otimes$ -category with a tensor functor to super vector spaces. We present some applications in the category of motives, where our result generalizes previous results about finite-dimensional objects, in particular by Kimura. We also present some facts which suggest that this might be the best generalization possible...

Singularity categories of skewed-gentle algebras

Xinhong Chen, Ming Lu (2015)

Colloquium Mathematicae

Similarity:

Let K be an algebraically closed field. Let (Q,Sp,I) be a skewed-gentle triple, and let $(Q^{s g}, I^{s g})$ and $(Q^{g}, I^{g})$ be the corresponding skewed-gentle pair and the associated gentle pair, respectively. We prove that the skewed-gentle algebra $K Q^{s g} / ⟨ I^{s g} ⟩$ is singularity equivalent to KQ/⟨I⟩. Moreover, we use (Q,Sp,I) to describe the singularity category of $K Q^{g} / ⟨ I^{g} ⟩$ . As a corollary, we find that $g l d i m K Q^{s g} / ⟨ I^{s g} ⟩ < \infty$ if and only if $g l d i m K Q / ⟨ I ⟩ < \infty$ if and only if $g l d i m K Q^{g} / ⟨ I^{g} ⟩ < \infty$ .

Compatibility of the theta correspondence with the Whittaker functors

Vincent Lafforgue, Sergey Lysenko (2011)

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

Similarity:

We prove that the global geometric theta-lifting functor for the dual pair $(H, G)$ is compatible with the Whittaker functors, where $(H, G)$ is one of the pairs $({S 𝕆}_{2 n}, {𝕊 p}_{2 n})$ , $({𝕊 p}_{2 n}, {S 𝕆}_{2 n + 2})$ or $({𝔾 L}_{n}, {𝔾 L}_{n + 1})$ . That is, the composition of the theta-lifting functor from $H$ to $G$ with the Whittaker functor for $G$ is isomorphic to the Whittaker functor for $H$ .

Base change for Picard-Vessiot closures

Andy R. Magid (2011)

Banach Center Publications

Similarity:

The differential automorphism group, over F, Π₁(F₁) of the Picard-Vessiot closure F₁ of a differential field F is a proalgebraic group over the field $C_{F}$ of constants of F, which is assumed to be algebraically closed of characteristic zero, and its category of $C_{F}$ modules is equivalent to the category of differential modules over F. We show how this group and the category equivalence behave under a differential extension E ⊃ F, where $C_{E}$ is also algebraically closed.

Differentiation and splitting for lattices over orders

Wolfgang Rump (2001)

Colloquium Mathematicae

Similarity:

We extend our module-theoretic approach to Zavadskiĭ’s differentiation techniques in representation theory. Let R be a complete discrete valuation domain with quotient field K, and Λ an R-order in a finite-dimensional K-algebra. For a hereditary monomorphism u: P ↪ I of Λ-lattices we have an equivalence of quotient categories $\partial ̃_{u} : Λ - l a t / [ℋ] ⭇ δ_{u} Λ - l a t / [B]$ which generalizes Zavadskiĭ’s algorithms for posets and tiled orders, and Simson’s reduction algorithm for vector space categories. In this article we replace...

Equalizers and coactions of groups

Martin Arkowitz, Mauricio Gutierrez (2002)

Fundamenta Mathematicae

Similarity:

If f:G → H is a group homomorphism and p,q are the projections from the free product G*H onto its factors G and H respectively, let the group $_{f} \subseteq G * H$ be the equalizer of fp and q:G*H → H. Then p restricts to an epimorphism $p_{f} {= p |}_{f} :_{f} \to G$ . A right inverse (section) $G \to_{f}$ of $p_{f}$ is called a coaction on G. In this paper we study $_{f}$ and the sections of $p_{f}$ . We consider the following topics: the structure of $_{f}$ as a free product, the restrictions on G resulting from the existence of a coaction, maps of coactions and...

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

Path coalgebras of profinite bound quivers, cotensor coalgebras of bound species and locally nilpotent representations

Daniel Simson (2007)

Colloquium Mathematicae

Similarity:

We prove that the study of the category C-Comod of left comodules over a K-coalgebra C reduces to the study of K-linear representations of a quiver with relations if K is an algebraically closed field, and to the study of K-linear representations of a K-species with relations if K is a perfect field. Given a field K and a quiver Q = (Q₀,Q₁), we show that any subcoalgebra C of the path K-coalgebra K◻Q containing $K^{◻} Q ₀ \oplus K^{◻} Q ₁$ is the path coalgebra $K^{◻} (Q,)$ of a profinite bound quiver (Q,), and the category...

The general rigidity result for bundles of $A$ -covelocities and $A$ -jets

Jiří M. Tomáš (2017)

Czechoslovak Mathematical Journal

Similarity:

Let $M$ be an $m$ -dimensional manifold and $A = 𝔻_{k}^{r} / I = ℝ \oplus N_{A}$ a Weil algebra of height $r$ . We prove that any $A$ -covelocity $T_{x}^{A} f \in T_{x}^{A *} M$ , $x \in M$ is determined by its values over arbitrary $max {width A, m}$ regular and under the first jet projection linearly independent elements of $T_{x}^{A} M$ . Further, we prove the rigidity of the so-called universally reparametrizable Weil algebras. Applying essentially those partial results we give the proof of the general rigidity result $T^{A *} M ≃ T^{r *} M$ without coordinate computations, which improves and generalizes the partial...

Incidence coalgebras of interval finite posets of tame comodule type

Zbigniew Leszczyński, Daniel Simson (2015)

Colloquium Mathematicae

Similarity:

The incidence coalgebras $K^{□} I$ of interval finite posets I and their comodules are studied by means of the reduced Euler integral quadratic form $q^{•} : ℤ^{(I)} \to ℤ$ , where K is an algebraically closed field. It is shown that for any such coalgebra the tameness of the category $K^{□} I - c o m o d$ of finite-dimensional left $K^{□} I$ -modules is equivalent to the tameness of the category $K^{□} I - C o m o d_{f c}$ of finitely copresented left $K^{□} I$ -modules. Hence, the tame-wild dichotomy for the coalgebras $K^{□} I$ is deduced. Moreover, we prove that for an interval finite...

The "Full Clarkson-Erdős-Schwartz Theorem" on the closure of non-dense Müntz spaces

Tamás Erdélyi (2003)

Studia Mathematica

Similarity:

Denote by spanf₁,f₂,... the collection of all finite linear combinations of the functions f₁,f₂,... over ℝ. The principal result of the paper is the following. Theorem (Full Clarkson-Erdős-Schwartz Theorem). Suppose ${(λ_{j})}_{j = 1}^{\infty}$ is a sequence of distinct positive numbers. Then $s p a n 1, x^{λ ₁}, x^{λ ₂}, . . .$ is dense in C[0,1] if and only if $\sum_{j = 1}^{\infty} (λ_{j}) / (λ_{j} ² + 1) = \infty$ . Moreover, if $\sum_{j = 1}^{\infty} (λ_{j}) / (λ_{j} ² + 1) < \infty$ , then every function from the C[0,1] closure of $s p a n 1, x^{λ ₁}, x^{λ ₂}, . . .$ can be represented as an analytic function on z ∈ ℂ ∖ (-∞, 0]: |z| < 1 restricted to (0,1). This result improves an...

Displaying similar documents to “ n -angulated quotient categories induced by mutation pairs”

Displaying similar documents to “ $n$ -angulated quotient categories induced by mutation pairs”