Two results of $n$-exangulated categories

Jian He; Jing He; Panyue Zhou

Displaying similar documents to “Two results of $n$ -exangulated categories”

$n$ -angulated quotient categories induced by mutation pairs

Zengqiang Lin (2015)

Czechoslovak Mathematical Journal

Similarity:

Geiss, Keller and Oppermann (2013) introduced the notion of $n$ -angulated category, which is a “higher dimensional” analogue of triangulated category, and showed that certain $(n - 2)$ -cluster tilting subcategories of triangulated categories give rise to $n$ -angulated categories. We define mutation pairs in $n$ -angulated categories and prove that given such a mutation pair, the corresponding quotient category carries a natural $n$ -angulated structure. This result generalizes a theorem of Iyama-Yoshino...

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

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

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

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

The categories of presheaves containing any category of algebras

V. Trnková, J. Reiterman

Similarity:

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

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

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

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.

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.

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

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

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

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

A localization property for $B_{p q}^{s}$ and $F_{p q}^{s}$ spaces

Hans Triebel (1994)

Studia Mathematica

Similarity:

Let $f^{j} = \sum_{k} a_{k} f (2^{j + 1} x - 2 k)$ , where the sum is taken over the lattice of all points k in $ℝ^{n}$ having integer-valued components, j∈ℕ and $a_{k} \in ℂ$ . Let $A_{p q}^{s}$ be either $B_{p q}^{s}$ or $F_{p q}^{s}$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on $ℝ^{n} .$ The aim of the paper is to clarify under what conditions $∥ f^{j} | A_{p q}^{s} ∥$ is equivalent to $2^{j (s - n / p)} (\sum_{k} | a_{k} |^{p})^{1 / p} ∥ f | A_{p q}^{s} ∥$ .

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

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

Hardness of embedding simplicial complexes in $ℝ^{d}$

Jiří Matoušek, Martin Tancer, Uli Wagner (2011)

Journal of the European Mathematical Society

Similarity:

Let ${𝙴𝙼𝙱𝙴𝙳}_{k \to d}$ be the following algorithmic problem: Given a ﬁnite simplicial complex $K$ of dimension at most $k$ , does there exist a (piecewise linear) embedding of $K$ into $ℝ^{d}$ ? Known results easily imply polynomiality of ${𝙴𝙼𝙱𝙴𝙳}_{k \to 2}$ ( $k = 1, 2$ ; the case $k = 1, d = 2$ is graph planarity) and of ${𝙴𝙼𝙱𝙴𝙳}_{k \to 2 k}$ for all $k \geq 3$ . We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${𝙴𝙼𝙱𝙴𝙳}_{d \to d}$ and ${𝙴𝙼𝙱𝙴𝙳}_{(d - 1) \to d}$ are undecidable for each $_{d} \geq 5$ . Our main result is NP-hardness of ${𝙴𝙼𝙱𝙴𝙳}_{2 \to 4}$ and, more generally, of ${𝙴𝙼𝙱𝙴𝙳}_{k \to d}$ for all...

On operators from $ℓ_{s}$ to $ℓ_{p} \otimes ̂ ℓ_{q}$ or to $ℓ_{p} \hat{\otimes ̂} ℓ_{q}$

Christian Samuel (2010)

Colloquium Mathematicae

Similarity:

We show that every operator from $ℓ_{s}$ to $ℓ_{p} \otimes ̂ ℓ_{q}$ is compact when 1 ≤ p,q < s and that every operator from $ℓ_{s}$ to $ℓ_{p} \hat{\otimes ̂} ℓ_{q}$ is compact when 1/p + 1/q > 1 + 1/s.

Displaying similar documents to “Two results of n -exangulated categories”

Displaying similar documents to “Two results of $n$ -exangulated categories”