Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userHigher Auslanders defect and classifying substructures of n-exangulated categories
100
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Herschend-Liu-Nakaoka introduced the notion of $n$-exangulated categories. It is not only a higher dimensional analogue of extriangulated categories defined by Nakaoka-Palu, but also gives a simultaneous generalization of $n$-exact categories and $(n+2)$-angulated categories. In this article, we give an $n$-exangulated version of Auslanders defect and Auslander-Reiten duality formula. Moreover, we also give a classification of substructures (=closed subbifunctors) of a given skeletally small $n$-exangulated category by using the category of defects.
rate research
Read More
The notion of right semi-equivalence in a right $(n+2)$-angulated category is defined in this article. Let $mathscr C$ be an $n$-exangulated category and $mathscr X$ is a strongly covariantly finite subcategory of $mathscr C$. We prove that the standard right $(n+2)$-angulated category $mathscr C/mathscr X$ is right semi-equivalence under a natural assumption. As an application, we show that a right $(n+2)$-angulated category has an $n$-exangulated structure if and only if the suspension functor is right semi-equivalence. Besides, we also prove that an $n$-exangulated category $mathscr C$ has the structure of a right $(n+2)$-angulated category with right semi-equivalence if and only if for any object $Xinmathscr C$, the morphism $Xto 0$ is a trivial inflation.
Let $mathcal{M}$ be a small $n$-abelian category. We show that the category of finitely presented functors $mod$-$mathcal{M}$ modulo the subcategory of effaceable functors $mod_0$-$mathcal{M}$ has an $n$-cluster tilting subcategory which is equivalent to $mathcal{M}$. This gives a higher-dimensional version of Auslanders formula.
Let $mathscr{F}$ be an $(n+2)$-angulated Krull-Schmidt category and $mathscr{A} subset mathscr{F}$ an $n$-extension closed, additive and full subcategory with $operatorname{Hom}_{mathscr{F}}(Sigma_n mathscr{A}, mathscr{A}) = 0$. Then $mathscr{A}$ naturally carries the structure of an $n$-exact category in the sense of Jasso, arising from short $(n+2)$-angles in $mathscr{F}$ with objects in $mathscr{A}$ and there is a binatural and bilinear isomorphism $operatorname{YExt}^{n}_{(mathscr{A},mathscr{E}_{mathscr{A}})}(A_{n+1},A_0) cong operatorname{Hom}_{mathscr{F}}(A_{n+1}, Sigma_n A_{0})$ for $A_0, A_{n+1} in mathscr{A}$. For $n = 1$ this has been shown by Dyer and we generalize this result to the case $n > 1$. On the journey to this result, we also develop a technique for harvesting information from the higher octahedral axiom (N4*) as defined by Bergh and Thaule. Additionally, we show that the axiom (F3) for pre-$(n+2)$-angulated categories, introduced by Geiss, Keller and Oppermann and stating that a commutative square can be extended to a morphism of $(n+2)$-angles, implies a stronger version of itself.
The Auslander correspondence is a fundamental result in Auslander-Reiten theory. In this paper we introduce the category $operatorname{mod_{mathsf{adm}}}(mathcal{E})$ of admissibly finitely presented functors and use it to give a version of Auslander correspondence for any exact category $mathcal{E}$. An important ingredient in the proof is the localization theory of exact categories. We also investigate how properties of $mathcal{E}$ are reflected in $operatorname{mod_{mathsf{adm}}}(mathcal{E})$, for example being (weakly) idempotent complete or having enough projectives or injectives. Furthermore, we describe $operatorname{mod_{mathsf{adm}}}(mathcal{E})$ as a subcategory of $operatorname{mod}(mathcal{E})$ when $mathcal{E}$ is a resolving subcategory of an abelian category. This includes the category of Gorenstein projective modules and the category of maximal Cohen-Macaulay modules as special cases. Finally, we use $operatorname{mod_{mathsf{adm}}}(mathcal{E})$ to give a bijection between exact structures on an idempotent complete additive category $mathcal{C}$ and certain resolving subcategories of $operatorname{mod}(mathcal{C})$.
Let $mathscr C$ be a Krull-Schmidt $(n+2)$-angulated category and $mathscr A$ be an $n$-extension closed subcategory of $mathscr C$. Then $mathscr A$ has the structure of an $n$-exangulated category in the sense of Herschend-Liu-Nakaoka. This construction gives $n$-exangulated categories which are not $n$-exact categories in the sense of Jasso nor $(n+2)$-angulated categories in the sense of Geiss-Keller-Oppermann in general. As an application, our result can lead to a recent main result of Klapproth.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
