arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2108.04596math.RTmath.CT
收藏

$n$ -由$(n+2)$产生的精确范畴-成角范畴

$n$-Exact categories arising from $(n+2)$-angulated categories

Carlo Klapproth

摘要:

设$\mathscr{F}$是一个$(n+2)$ -角Krull-Schmidt范畴,$\mathscr{A} \subset \mathscr{F}$是一个$n$ -扩张闭的、可加的、满的子范畴,且有$\operatorname{Hom}_{\mathscr{F}}(Σ_n \mathscr{A}, \mathscr{A}) = 0$ .然后$\mathscr{A}$自然进行结构的$n$ -确切范畴的意义上的Jasso,产生于短$(n+2)$ -角度在$\mathscr{F}$与对象在$\mathscr{A}$和有一个双自然和双线性同构$\operatorname{YExt}^{n}_{(\mathscr{A},\mathscr{E}_{\mathscr{A}})}(A_{n+1},A_0) \cong \operatorname{Hom}_{\mathscr{F}}(A_{n+1}, Σ_n A_{0})$为$A_0, A_{n+1} \in \mathscr{A}$。对于$n = 1$,Dyer已经证明了这一点,我们将这一结果推广到$n > 1$的情况。在这个结果的旅程中,我们还开发了一种技术,用于从Bergh和Thule定义的更高八面体公理(N4*)中获取信息。此外,我们表明公理(F3)的前$(n+2)$ -角范畴,介绍了由Geiss,Keller和Oppermann,并说明交换平方可以扩展到态射的$(n+2)$ -角,意味着一个更强的版本本身。

英文摘要:

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}}(Σ_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}, Σ_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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑