单边挠对

由Beligiannis和Marmaridis引入的单边三角范畴(即左或右三角范畴)是三角范畴的自然推广. 挠理论在范畴的结构方面, 特别在导出范畴或更一般的三角范畴的研究中有着非常重要的作用. 本文引入单边三角范畴中的单边挠对概念, 讨论了这样一种单边挠理论与预三角范畴、稳定范畴以及三角范畴中相应概念的关系, 最后通过Abel范畴上的有界导出范畴D^b (A)给出例子表明存在非平凡单边挠对.     

纯奇点范畴中的Buchweitz定理

我们定义纯奇点范畴D_(psg)~b(R)为有界纯导出范畴D_(pur)~b(R)与纯投射模构成的有界同伦范畴K~b(■)的Verdier商,得到了纯奇点范畴D_(psg)~b(R)三角等价于相对纯投射模的Gorenstein范畴的稳定范畴■的一个充分必要条件.同时,还给出三角等价D_(psg)~b(R)≌D_(psg)~b(S)的充分条件,这里R和S都是环.     

三角矩阵代数上奇点范畴和Gorenstein亏范畴的2-粘合

设■是三角矩阵代数,其中A和B是Artin代数,_AM_B是A-B-双模.本文研究了T上奇点范畴和Gorenstein亏范畴的2-粘合结构.在恰当的假设下,我们给出了T上奇点范畴和Gorenstein亏范畴的2-粘合存在的充分必要条件.     

奇点模型范畴的Quillen等价

令R是左Gorenstein环.我们构造了奇点反导出模型范畴和奇点余导出模型范畴(见文[Models for singularity categories,Adv Math.,2014,254:187-232])之间的Quillen等价.作为应用,给出了投射,内射模的正合复形的同伦范畴之间的一个具体的等价■.     

态射和的Drazin逆

设C 是加法范畴, 态射φ,η： X→ X 是C上的态射. 若φ,η 具有Drazin逆且φη =0, 则φ+η 也具有Drazin逆. 若φ具有Drazin逆φ^D 且1_X+φ^Dη 可逆, 作者讨论f =φ+η 的Drazin逆( 群逆)并且给出 f ^D(f ^#}=(1_X+φ^Dη)^-1φ^D的充分必要条件. 最后, 把Huylebrouck的结果从群逆推广到了Drazin逆.     

三角范畴的coherent函子范畴的recollement

文章研究了三角范畴D及其coherent函子范畴A(D)的recollement之间的关系.利用D的recollement可以诱导A(D)的prerecollement,文章证明了该prerecollement是recollement的充分必要条件是D的recollement是可裂的;并且D的recollement可以诱导A(D)的prerecollement.     

赋范线性空间中包含方程可解性定理的推广及弱切锥的应用

本文首先在一般的赋范线性空间中研究了集值映射F;X→Y的平衡点的存在性问题,证明了包含问题O∈F(X)的三个可解性定理.然后在无穷维空间中研究了弱相依锥T_k^σ(x)的直接像,弱相依导数D^σF(x,y)的一个链式法则以及偏y弱导数D_y^σF(x,y)的弱Lip连续性.最后,作为应用,给出并证明了用弱相依导数D^σF(x,y)及弱P导数P^σF(x,y)判定无穷维     

Hénon映射的奇怪吸引子和吸引域的结构

考虑Hnon映射T_a.b,对于正测度的参数集合,构造了T_a.b的拓扑可迁的奇怪吸引子Λ_a.b的一个捕捉区G,证明Λ_a.b=T_a.bⁿG,同时证明Λ_a.b的吸引域恰好就是那些边界包含在W^u(P)∪W^s(P)中的区域的并以及W^s(P),从而肯定地回答了Benedicks和Carleson关于奇怪吸引子的吸引域的猜测。     

单位球上正规权 Dirichlet型空间上的一种积分算子*

设 μ 是 [0, 1)上的正规函数,B_n 是 n 维复空间 Cⁿ 上的单位球, ψ 是 B_n 上的一个全纯函数,? 是 B_n 上的全纯自映射. 作者考虑如下一种积分算子:T_?,ψ(f)(z) =Z01f[?(tz)]Rψ(tz)dt/t, z ∈ B_n.作者主要刻画了正规权Dirichlet型空间D^p_μ(B_nn) (0 < p ≤ 1) 上 T_?,ψ 的有界性和紧性.同时, 本文利用Carleson 方块和Bergman球的测度讨论了正规权Bergman型空间A^p_μ(B_n) 到 D^p_μ(B_n) (p > 0)的同样问题. 对讨论的情形本文均给出了充要条件.     

逻辑导数与逻辑积分(Ⅱ)

在[4]中我们对空间LR+q、1≤q≤2,讨论了函数的逻辑导数与积分。例如,建立了下列公式D(1)(I(1)f)=f,I(1)(D(1)f)=f. 但那里的方法不能用于q>2情形。本文是[4]的继续.对2R+q的Walsh-Fourie     

Gorenstein categories and Tate cohomology on projective schemes

We study Gorenstein categories. We show that such a category has Tate cohomological functors and Avramov–Martsinkovsky exact sequences connecting the Gorenstein relative, the absolute and the Tate cohomological functors. We show that such a category has what Hovey calls an injective model structure and also a projective model structure in case the category has enough projectives. As examples we show that if X is a locally Gorenstein projective scheme then the category ??????(X) of quasi‐coherent sheaves on X is such a category and so has these features. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Gorenstein范畴上的一个问题

设■是阿贝尔范畴,■是■的子范畴.Sather-Wagstaff, Sharif和White引入了Gorenstein子范畴的概念,记为■.我们用■(相应地,■)代表纯投射R-模类(相应地,投射R-模类).本文给出了一类满足条件"■"的环,由此给出了当■是■的子范畴时,■是否包含在■中的一个否定回答.进一步,刻画了包含关系■和■何时成立.     

Cotorsion Pairs and Stable Categories over Triangular Matrix Rings北大核心CSCD

In general, the properties of modules over a triangular matrix ring T = (0ABU) are studied via modules over diagonal “small rings” A and B. However, we use model structures on the category of T-modules to characterize the stable categories GP(A), GP(B) of Gorenstein projective modules over A and B. To this end, we introduce two subcategories of Gorenstein T-modules, and obtain two corresponding complete cotorsion pairs. Moreover, cotorsion pairs of modules are lifted to T-complexes, and the equivalences and recollements of homotopy categories of complexes are studied. © 2022 Chinese Academy of Sciences. All rights reserved.     

Relative singularity categories with respect to gorenstein flat modules

Let R be a right coherent ring and D~b(R-Mod) the bounded derived category of left R-modules. Denote by D~b(R-Mod)_([G F,C]) the subcategory of D~b(R-Mod) consisting of all complexes with both finite Gorenstein flat dimension and cotorsion dimension and K~b(F ∩ C) the bounded homotopy category of flat cotorsion left R-modules. We prove that the quotient triangulated category D~b(R-Mod)_([G F,C])/K~b(F ∩ C) is triangle-equivalent to the stable category GF ∩ C of the Frobenius category of all Gorenstein flat and cotorsion left R-modules.     

Gorenstein正则环、奇点范畴和Ding模

本文证明了任意环的整体Ding投射维数和整体Ding内射维数一致,研究了奇点范畴和相对于Ding模的稳定范畴间的关系,并刻画了Gorenstein (正则)环以及环的整体维数的有限性.     

Foxby equivalences associated to Gorenstein categories 𝒢(𝒳,𝒴,𝒵)

In this paper, we establish some new Foxby equivalences between some Gorenstein subcategories in the Auslander class 𝒜_C(R) and that in the Bass class ?_C(S) in a general setting. Our results provide a unification and generalization of some known results and generate some new Foxby equivalences of categories.     

Finiteness conditions in the stable module category

We study groups whose cohomology functors commute with filtered colimits in high dimensions. We relate this condition to the existence of projective resolutions which exhibit some finiteness properties in high dimensions, and to the existence of Eilenberg–Mac Lane spaces with finitely many n-cells for all sufficiently large n. To that end, we determine the structure of completely finitary Gorenstein projective modules over group rings. The methods are inspired by representation theory and make use of the stable module category, in which morphisms are defined through complete cohomology. In order to carry out these methods, we need to restrict ourselves to certain classes of hierarchically decomposable groups.     

Totally acyclic complexes over noetherian schemes

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves on a semi-separated noetherian scheme, and study these complexes using the pure derived category of flat quasi-coherent sheaves. We prove that a scheme is Gorenstein if and only if every acyclic complex of flat quasi-coherent sheaves is totally acyclic. Our formalism also removes the need for a dualising complex in several known results for rings, including Jørgensen's proof of the existence of Gorenstein projective precovers.