Freyd范畴的一点注记

设(,Σ,Δ)是三角范畴,记Δ0是所有可裂三角构成Δ的满子范畴.给出Freyd范畴U()和V()与范畴B()=Δ/Δ0之间的关系.     

Cluster倾斜子范畴导出的Abel范畴的recollement和thick子范畴

设T是三角范畴D的cluster倾斜子范畴.首先,如果D具有一个关于三角范畴D′和D″的recollement,且满足i*i*(T)T,j*j*(T)T,则给出了这个recollement诱导Abel范畴D/T关于Abel范畴D′/(i*T)和D″/(j*T)的recollement的充分必要条件;其次,如果H是D的thick子范畴,i*表示自然嵌入函子i*:H→D的左伴随函子,且i*TT,那么Abel范畴A′=H/(i*T)是Abel范畴A=D/T的thick子范畴.     

范畴中的拟-morphic对象

本文引入了范畴中的拟-morphic对象,给出了其在p-exact范畴Abelian范畴中的一些性质。主要证明设A是p-exact范畴中的拟-morphic对象,则A的任一子对象均同构于A的一个像当且仅当A的任一像均同构于A的任一子对象;设C和D是Abelian范畴,F:C→D是完全忠实正合函子,且A∈Ob C,则A是拟-morphic的当且仅当F(A)是拟-morphic的。     

满忠实函子诱导的三角范畴中心间的态射

设(F,ξ):C→D为三角范畴间的满忠实三角函子,Z*(C)和Z*(D)分别为三角范畴C和D的分次中心。则F自然诱导了从一个分次同态珘F:Z*(D)→Z*(C),且给出了珘F的具体形式。     

关于左三角范畴的一个注记

设C是abelian范畴,W、X是C的反变有限子范畴,且w∈x,则加法范畴（C／w）／（x／w）是一个左三角范畴。     

关于稳定范畴的一个注记

设C是abelian范畴,Ω■■X是反变有限子范畴,则加法范畴(C/Ω)/(/Ω)≈X/有左三角结构,从而也是一个左三角范畴.     

全序群范畴的Hom函子

设 A 是 Abelian 格序群,B 是 Abelian 全序群,本文证明了 Hom(A,B)是 Abelian 全序群,Hom(A,·)是 Abelian 全序群及其保序同态的范畴(?)到自身的共变函子,同时在全序模及其保序同态的范畴上得到了类似的结果.     

Banach空间上算子矩阵外逆的表示

设X,Y为Banach空间,B(X,Y)为X到Y的有界线性算子全体,A,B,C,D∈B(X,Y),U,V分别为空间X⊕X,Y⊕Y的子空间.借助于外逆的扰动,得到算子矩阵R=(A B C D)∈B(X⊕X,Y⊕Y)的外逆R(2)U,V的表示.     

三角代数上的一类非全局高阶可导非线性映射

设T=Tri(A,M,B)是三角代数,{δ_n}_(n∈N):T→T是一列映射(没有可加性的假设,其中δ_0是恒等映射)。若对任意的U,V∈T且U与V中至少有一个是幂等元,有δ_n(UV)=■,则{δ_n}_(n∈N)是T上可加的高阶导子。     

一类算子的谱理论(Ⅲ)—(AC)算子、可分解算子和譜算子

本文是文献[9],[10]的继续。在本文中,我们研究了(AC)算子,可分解算子,谱算子以及它们之间的关系。证明了:(1)若T∈B(X)是(AC)算子,对于每个E,F∈F,有则T是可分解算子。(2)T∈B(X)是谱算子当且仅当T是(AC)算子且满足下述条件:(ⅰ)对每个Borel子集δ,δ∈B,有X_T(δ)=X_T((δ∩δ)⊕此处⊕表示直接和;(ⅱ)对每个x∈X,数集是有界的,此处(3)若是(H)空间,是可分解算子,则下述条件是等价的:(ⅰ)(E)(ⅱ)①从推出(此处P_F是从到_T(F)上直交射影,⊕表示直交和)。它是B.L.Wadhwa定理的新形式。     

三角范畴的Recollement与Abel化

首先给出了加法范畴的Abel化与幂等完备化的关系,证明了加法范畴的幂等完备化范畴是其Abel化范畴的投射子范畴;在此基础上,证明了三角范畴recollement的Abel化是Abel范畴的右recollement。     

乘积构形的良划分性

已知乘积构形为超可解构形充要条件是每个因子构形都是超可解构形,将此结论推广到良划分构形,证明了乘积构形(A1×…×Ak,V1…Vk)为良划分构形的充要条件是因子构形(Ai,Vi),1≤i≤k都是良划分构形。     

关于Abel群内射性的注记

证明了一个Abel群在可消交换半群范畴中内射当且仅当是可除Abel群。     

多圆盘上Hardy空间之间复合算子列的总体紧性

设φ:Dm→D为全纯映射,对ξ=(ξ1,ξ2,…ξm)∈Tm,文章利用切片函φξ:D→D,φξ(z)=φ(zξ)定义的计数函数Nφ(z)=∫TmNξ(z)dσ(ξ)研究复合算子列Cφn:H2(D)→H2(Dm)n的总体紧性。得到了如下定理:设φn:Dm→D为全纯映射列,Cφn:H2(D)→H2(Dm)为一致有界复合算子列,则η∞({n})=0当且仅当lim n→∞∣z∣→-Nφn(z)-log∣z∣=0。     

Gorenstein范畴的一个推广

主要介绍并研究强W-Gorenstein范畴SG(W)。进而证明了M是W-Gorenstein范畴中的对象当且仅当M是强W-Gorenstein范畴SG(W)中对象的直和因子。     

三角范畴上t-结构的Ki-群

结合t-结构的性质,讨论三角范畴的K_i-群与其t-结构K_i-群之间的关系,得到若t-结构是稳定t-结构,则三角范畴的K_i-群同构于其t-结构K_i- 群的直和(i=0,1)。     

套代数上的非线性三元Lie导子

证明了套代数上的每个非线性的三元Lie导子,是一个可加导子与一个到其中心上的映射的和,而该映射将三元积映成0。     

负DG范畴的导出范畴上的t结构

作者给出了负微分分次范畴A的导出范畴D(A)上的一个自然t-结构,并证明了D(A)与由该t-结构的heart生成的关于同构、直和与直积封闭的三角满子范畴一致,进一步地,如果A还是同调有界的,那么该heart为D(A)的生成子的集合.     

三角范畴中八面体公理的几个等价命题

三角范畴是一个带有自同构(称为平移)的加法范畴,并且满足4条公理,其中的一条重要公理是八面体公理.作者结合一个自同构T定义了quasi-pushout与pushout,证明了在三角范畴中其它三条公理满足之下,quasi-pushout或pushout与八面体公理等价.