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子范畴.     

回路范畴的平凡扩张与冲积

根据加法范畴D上加法函子F,定义回路范畴ΩD上加法函子ΩF,并给出一族范畴等价Ω(D∝F)≌ΩD∝ΩF;证明了k上小范畴(G-分次范畴)的回路范畴仍为k上小范畴(G-分次范畴),同时给出了一族范畴等价(ΩD)#G≌Ω(D#G).     

k上G-分次范畴的平凡扩张

设G为群,X为k上G-分次范畴.在定义C上k-函子F的基础上,证明了平凡扩张范畴C∝F仍为k上G-分次范畴;当F为X上分次k-函子时,给出了一族范畴同构,即r∈N(G),有(C#G)∝(F#r)(C∝F)r#G.     

S2O分子的基态和低激发态的离解及预离解

目的应用GAMESS[14]程序和新的多参考态组态相互作用(MRCISD)对S2O分子基态和与基态具有相同对称性及多重度的两个低激发态的离解进行研究。方法采用完全活性空间自洽场(CASSCF),沿着S-S伸缩振动坐标详细地解析基态X珘1A’和两个激发态C珘1A’和珟D1A’的离解以及C珘1A’预离解。结果采用不同的方法,珟D1A’态所获得的离解模式不同。对于非态平均的CASSCF方法,C珘1A’态与珟D1A’态的离解极限都为SO(1Δ)+S(1D)。对于态平均的完全活性空间自洽场(SA-CASSCF)方法,珟D1A’态离解极限与基态X珘1A’相同,均为SO(3Σ-)+S(3P),而C珘1A’态的离解极限为SO(1Δ)+S(1D)。X珘1A’态的离解能在MRCISD水平约为3.10 eV,比热化学值3.45±0.01 eV小0.35±0.01 eV。结论计算的C珘1A’态的预离解极限存在于S-S伸缩振动的26谱带附近,与实验值吻合得很好。     

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

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

函子范畴与范畴的平凡扩张

设C为小范畴,D为预加法范畴,根据范畴D上自加法函子F,定义函子范畴F上自加法函子f,并给出一族范畴同构(D∝F)C≌D∝F     

对称算子空间上Jordan-triple初等映射的可加性

目的 主要刻画对称算子空间上的2个映射M:J(H)→K(H)和M*:K(H)→J(H)是可加的,其中J(H)和K(H)分别表示H上的J-对称算子全体和K-对称算子全体.方法 利用M和M*的性质以及对称算子分块的性质进行证明.结果 与结论证明了若映射M:J(H)→K(H)和M*:K(H)→ J(H)满足{M(AM*(B)C+CM*(B)A)=M(A)BM(C)+M(C)BM(A),M*(BM(A)D+DM(A)B)=M*(B)AM*(D)+M*(D)AM*(B)且M和M*是满射,则M和M*是可加的.     

算子代数上的初等映射

设(R)和(R)'为给定的两个环,映射M:(R) → (R)'和M*:(R)'→(R)是满射且满足{M(AM*(B)C)=M(A)BM(C) M*(BM(A)D)=M*(B)AM*(D)(V)A,C∈(R),(V)B,D∈(R) 在一定条件下证明了存在环同构N:(R)→(R)'使得M(A)=N(A)M(I),M*(B)=N-1(BM(I)).利用此结论将刻画(X)上的初等映射.     

泛态射范畴的平凡扩张

设C,D是加法范畴, S:D→C, F:C→C是两个加法函子,且范畴C关于S具有足够多泛态射,则平凡扩张范畴C■F具有足够多的泛态射.进一步地,得到泛态射范畴的平凡扩张与范畴的平凡扩张的泛态射范畴等价.     

连通分次代数上投射模范畴的三角结构

首先将一般的Quasi-Frobenius环的刻画推广到分次Quasi-Frobenius环上.接下来,给出了投射模范畴有三角结构的连通分次代数的一个刻画.反之,当连通分次代数满足一定条件时,给出了投射模范畴的三角结构,并证明了这些三角结构全体和k中非零元素全体之间的一一对应关系.最后,证明了具有不同三角结构的投射模范畴作为三角范畴是等价的.     

三角范畴的有界t-结构与遗传Abel范畴

研究三角范畴有界t-结构的心.证明了对于给定的三角范畴D的有界t-结构(D≤0,D≥0),如果对于D中任意的一个不可分解对象X,满足X∈D≤0,或者X∈D≥1,则此t-结构的心是遗传的.进一步地,得到了由遗传Abel范畴A的可裂挠对(T,F)导出的Db(A)上有界t-结构的心也是遗传的Abel范畴.     

Turaev辫子群范畴和Doi-Hopf模

设G是一个群.利用Turaev辫子群范畴的性质,在Doi-Hopf数据(H,A,C)上构造一个Turaev辫子G-范畴,其中H,A,C是Hopf代数.进一步,当C为有限维时,在一簇Smash积代数{A#~HC~*(α)}_(α∈G)上构造一个拟三角Turaev G-余代数A#~HC~*,其表示范畴与_AM~C(H)是同构的.     

范畴中的拟-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的。     

半群分次范畴的Smash积

设S为有单位元1的可消半群,引入半群S-分次范畴的Smash积的概念,分别证明半群S-分次范畴C的Smash积C#S的商范畴(C#S)/S与范畴C同构,以及自由半群S-范畴B的商范畴B/S的Smash积范畴(B/S)#S与范畴B同构.从而说明半群分次范畴的Smash积与自由半群作用范畴的商在半群分次范畴和自由半群作用范畴之间是互逆的结构.     

多目标规划的像问题及其应用

设X,Y,Z皆为拓扑向量空间,C和D分别是Y和Z中的闭凸锥.Z中由D规定的偏序如下:对任意z_1,z_2∈Z,当且仅当z_2-z_1∈D时,z_1≤z_2考虑下述多目标规划问题min f(x);s.t.x∈R(?){x ∈X且g(x)∈C},其中,f:X→Z;g:X→Y.定义1 设(?)∈R,如果(f(?)-D)∩(f(R)\{f(?)}=?,则f(?)称为(1)式的有效点.当f(?)是(1)式的有效点时,称(?)是(1)式的有效解.任给(?)∈R,作映射F(?):X→Z×Y为F(?)(x)=(f(?)-f(x)),g(x)).记H=(D\{0})×C,K(?)={F(?)(x)|x∈X},E(?)=K(?)-c1H.定义2称     

函子范畴的本质(多余)子对象

设C是小范畴,则范畴D中的本质(多余)子对象构造出函子范畴DC中相应的本质(多余)子对象。反之,设F,G是函子范畴DC中的两个常值函子,若F是G的一个本质(多余)子对象,则对任意x∈obC,在范畴D中有F(x)是G(x)的一个本质(多余)子对象。     

分次余代数的余理想

设C是分次余代数,讨论D是C的分次子余代数的充要条件是D的垂直正交补D┴是R的分次理想;D是C的分次余理想的充要条件是D的垂直正交补D┴是R的分次子代数;D是C的分次右(左) 余理想的充要条件是D的垂直正交补D┴是R的分次右(左)理想.特别地,分别取D与C的子空间De与Ce,它们也有一定的关系.     

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

主要证明如下结论:如果(C,T,Δ)是三角范畴,则C是Abelian范畴的充分且必要条件是C中三角是由同构于如下形式的态射图构成:U⊕V(00/01)→W⊕V(00/10)→T(U)⊕W(10/00)T(U)⊕T(V).由此得到:如果C是一个Abelian范畴,T是C上的可逆加法自函子,则有且仅有一种方式使(C,T)构成三角范畴.另外,还通过Abelian范畴C上的Serre类,研究局部化范畴C[S-1]是Abelian三角范畴的条件.     

有限生成半单分次模情形的群分次环

对有限生成半单分次模情形下的G-分次环进行了探讨。如果X=i∈FXi,Xi为单G-分次R-模,F为一个有限集合,Mod(E(X))表示E(X)-模范畴,则X=i∈F,Xi∈SXi为Mod(R|X)的有限生成投射生成子。而-E(X)X与HomR(X,-)在Mod(R|X)限制下构成的Abel范畴Mod(E(X))及Mod(R|X)间的范畴为互逆范畴。     

拟阵(M-Z1)/Z2在Z+中的(F-Z1)-可流性

研究幼阵M′在Z+中的F′-可流性.首先给出M是一个在Z+中的F-可流拟阵的定义,由定义证明了,若对任意的非负整数函数p′,使得当对任意D′∈C((M′)*)都有p′(D′∩F′)≤p′(D′-F′)被满足时,总可以找到满足{∑e∈C′,C′∈C′(F′)Φ′(C′)≥p′(e),若e∈F-Z1,∑e∈C′,C′∈C(F′)Φ′(C′)≤p′(e),若e∈E-(F-Z1). 的非负整数值函数Φ′(C′);E→Z+,从而M′是在Z+的F′-可流拟阵.