Teimuraz Pirashvili
We prove that the 2-category of symmetric categorical groups have enough projective and injective objects. This was conjectured by Bourn and Vitale in 2002 and was anounced recently by Fang Huang, Shao-Han Chen, Wei Chen and Zhu-Jun Zheng in arXiv:1006.4677 with wrong proof.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Let $\mathcal{X}$ be a class of $R$-modules. In this paper, we investigate \;$\mathcal{X}$-(f.g.)injective ((f.g.)projective) and DG-$\mathcal{X}$-injective (projective) complexes which are generalizations of injective (projective) and DG-injective (projective) complexes. We prove that some known results can be extended to the class of \;$\mathcal{X}$-(f.g.)injective ((f.g.)projective) and DG-$\mathcal{X}$-injective (projective) complexes for this general settings.
This paper characterizes the injective and projective objects in the category of directed multigraphs, or quivers. Further, the injective envelope and projective cover of any quiver in this category is constructed.
We construct injective hulls and projective covers in categories of generalized uniform hypergraphs which generalizes the constructions in the category of quivers and the category of undirected graphs. While the constructions are not functorial, they are "sub-functorial", meaning they are subobjects of functorial injective and projective refinements.
In the enriched setting, the notions of injective and projective model structures on a category of enriched diagrams also make sense. In this paper, we prove the existence of these model structures on enriched diagram categories under local presentability, accessibility, and "acyclicity" conditions, using the methods of lifting model structures from an adjunction introduced by Garner, Hess, Kedziorek, Riehl, and Shipley.
We give a result of Auslander-Ringel-Tachikawa type for Gorenstein-projective modules over a complete Gorenstein order. In particular, we prove that a complete Gorenstein order is of finite Cohen-Macaulay representation type if and only if every indecomposable pure-injective object in the stable category of Gorenstein-projective modules is compact.
The cotorsion pair generated by the Gorenstein projective modules and $λ$-pure-injective modules
本文研究由Gorenstein投射模与λ-纯内射模生成的余挠对，证明其在特定纯内射条件下的完备性，并揭示在0^♯不存在时λ-纯内射性等同于纯内射性，从而刻画右纯半单环。
We prove a uniqueness result of dg-lifts for the derived pushforward and pullback functors of a flat morphism between separated Noetherian schemes, between the unbounded or bounded below derived categories of quasi-coherent sheaves. The technique is purely algebraic-categorical and involves reconstructing dg-lifts uniquely from their restrictions to the subcategories of injective objects.
It is proved that, for a left hereditary ring, an arbitrary left module has a representation in the form of the direct sum of a stable left module and indecomposable projective left modules (if and only if an arbitrary left module has a representation in the form of the direct sum of a stable left module and a projective left module) if and only if the ring is left perfect and right coherent. In that case, the above-mentioned representations are unique up to isomorphism; the latter representation is also functorial. The essential ingredient in the proofs of the above-mentioned statements is a …
Theory of Interpretations II. Categorical equivalence of projective logical geometries
该研究引入射影逻辑几何，证明两个代数结构强双可解释的条件是其射影逻辑集范畴或射影可定义集范畴相对于特定函子类等价，推广了相关概念，用范畴方法为解释理论带来新视角并建立基本结果。
This paper is a sequel to "T-structures and twisted complexes on derived injectives" by the same author with W. Lowen and M. Van den Bergh. We define a dg-category of unbounded twisted complexes on a dg-category, which is particularly interesting in the case of dg-categories of derived injectives or derived projectives associated to a t-structure. On such unbounded twisted complexes we define a natural "injective" and dually a "projective" t-structure. This is intended as a direct generalization of the homotopy categories of injective or projective objects of an abelian category.
Let $\mathscr{A}$ be an abelian category having enough projective and injective objects, and let $\mathscr{T}$ be an additive subcategory of $\mathscr{A}$ closed under direct summands. A known assertion is that in a short exact sequence in $\mathscr{A}$, the $\mathscr{T}$-projective (respectively, $\mathscr{T}$-injective) dimensions of any two terms can sometimes induce an upper bound of that of the third term by using the same comparison expressions. We show that if $\mathscr{T}$ contains all projective (respectively, injective) objects of $\mathscr{A}$, then the above assertion holds true if…
We introduce a general notion of flabby objects in elementary toposes and study their basic properties. In the special case of localic toposes, this notion reduces to the common notion of flabby sheaves, yielding a site-independent characterization of flabby sheaves. Continuing a line of research started by Roswitha Harting, we use flabby objects to show that an internal notion of injective objects coincides with the corresponding external notion, in stark contrast with the situation for projective objects. We show as an application that higher direct images can be understood as internal cohom…
Level Inequalities for Complexes
本文证明诺特环上同调有界复形的各类同调水平（投射、内射、平坦及Gorenstein型）均受其同调模直和的相应维数加一或二界定，并应用于正则及Gorenstein局部环，得到最优界及Bass公式版本。
Homological algebra of pro-Lie Polish abelian groups
该研究从同调代数角度研究pro-Lie波兰阿贝尔群，推广型分解并刻画多类波兰阿贝尔群范畴的内射、投射对象及同调维数，推进拓扑群同调代数研究。
We investigate unital, subtractive and strongly unital regular categories with enough projectives and give characterizations of their projective covers. The categorical equation "strongly unital = unital + subtractive" is explored: this leads to proofs of their varietal characterizations in terms of the categorical properties of the corresponding algebraic theories.
We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it preserves and reflects Gorenstein projective objects. We give conditions on when a Frobenius functor preserves the stable categories of Gorenstein projective objects, the singularity categories and the Gorenstein defect categories, respectively. In the appendix, we give a direct proof of the following known result: for an abelian category with enough projectives and injectives, its global Gorenstein projective dimension coincides with its global Gor…
We discuss the relationship between (co)homology groups and categorical diagonalization. We consider the category of chain complexes in the category of finitely generated free modules on a commutative ring. For a fixed chain complex with zero maps as an object, a chain map from the object to another chain complex is defined, and the chain map introduce a mapping cone. We found that the fixed object is isomorphic to the (co)homology groups of the codomain of the chain map if and only if the chain map is injective to the cokernel of differentials of the codomain chain complex and the mapping con…
In this paper, we introduce and study relative phantom morphisms in extriangulated categories defined by Nakaoka and Palu. Then using their properties, we show that if $(\C,\E,\s)$ is an extriangulated category with enough injective objects and projective objects, then there exists a bijective correspondence between any two of the following classes: (1) special precovering ideals of $\C$; (2) special preenveloping ideals of $\C$; (3) additive subfunctors of $\E$ having enough special injective morphisms; and (4) additive subfunctors of $\E$ having enough special projective morphisms. Moreover,…
We initiate the study of derived functors in the setting of extriangulated categories. By using coends, we adapt Yoneda's theory of higher extensions to this framework. We show that, when there are enough projectives or enough injectives, thus defined extensions agree with the ones defined earlier via projective or injective resolutions. For categories with enough projective or enough injective morphisms, we prove that these are right derived functors of the $\operatorname{Hom}$-bifunctor in either argument. Since $\operatorname{Hom}$ is only half-exact in each argument, it is natural to expec…
Fp-projective periodicity
本研究推广已有结果，证明FpProj-周期模为弱fp-投射模，且在局部有限表现Grothendieck范畴中该结论对对象成立，同时给出非纯PProj-周期模不必为纯投射模的反例。
We consider the category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves where $\mathbb{X}$ is a weighted noncommutative regular projective curve over a field $k$. This category is a hereditary, locally noetherian Grothendieck category. We classify all indecomposable pure-injective sheaves and all cotilting sheaves of slope $\infty$. In the cases of nonnegative orbifold Euler characteristic this leads to a classification of pure-injective indecomposable sheaves and a description of all large cotilting sheaves in $\operatorname{Qcoh}\mathbb{X}$.
In this paper we consider the locally self-injective property of the product FI$^m$ of the category FI of finite sets and injections. Explicitly, we prove that the external tensor product commutes with the coinduction functor, and hence preserves injective modules. As corollaries, every projective FI$^m$-modules over a field of characteristic 0 is injective, and the Serre quotient of the category of finitely generated FI$^m$-modules by the category of finitely generated torsion FI$^m$-modules is equivalent to the category of finite dimensional FI$^m$-modules.
Categorical matrix factorizations and monomorphism categories
本文在纯范畴背景下推广了Eisenbud和Yoshino关于矩阵分解与超曲面环上最大Cohen-Macaulay模的对应关系，通过引入超曲面范畴和Frobenius精确子范畴，证明分解稳定范畴与单射链范畴之间存在三角等价。
In this paper we prove Homological Projective Duality for crepant categorical resolutions of several classes of linear determinantal varieties. By this we mean varieties that are cut out by the minors of a given rank of a n x m matrix of linear forms on a given projective space. As applications, we obtain pairs of derived-equivalent Calabi-Yau manifolds, and address a question by A. Bondal asking whether the derived category of any smooth projective variety can be fully faithfully embedded in the derived category of a smooth Fano variety. Moreover we discuss the relation between rationality an…
Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a proper class $ξ$ of $\mathbb{E}$-triangles. In this paper, we study complete cohomology of objects in $(\mathcal{C},\mathbb{E},\mathfrak{s})$ by applying $ξ$-projective resolutions and $ξ$-injective coresolutions constructed in $(\mathcal{C},\mathbb{E},\mathfrak{s})$. Vanishing of complete cohomology detects objects with finite $ξ$-projective dimension and finite $ξ$-injective dimension. As a consequence, we obtain some criteria for the validity of the Wakamatsu Tilting Conjecture and give a necessary and sufficie…
Gorenstein categories relative to G-admissible triples
本文引入相对于 G-容许三元组的 Gorenstein 范畴，构造相应遗传 Abel 模型结构，并联系倾斜理论给出相对同调维数关系及应用示例。
For any ring R we construct two triangulated categories, each admitting a functor from R-modules that sends projective and injective modules to 0. When R is a quasi-Frobenius or Gorenstein ring, these triangulated categories agree with each other and with the usual stable module category. Our stable module categories are homotopy categories of Quillen model structures on the category of R-modules. These model categories involve generalizations of Gorenstein projective and injective modules that we derive by replacing finitely presented modules by modules of type FP-infinity. Along the way, we …
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 Qco(X) of quasi-coherent sheaves on $X$ is such a category and so has these features.
Quillen equivalence for chain homotopy categories induced by balanced pairs
研究平衡对诱导的链同伦范畴的三角等价条件，通过模型范畴的同调范畴实现，并应用于余内射态射、Gorenstein射影与内射模及纯射影与纯内射对象。
Invertible projective 2-representations from invertible 2d TQFTs with defects
研究利用带缺陷的拓扑量子场论语言探讨可逆射影表示及其 2 - 范畴类似物，通过克利福德代数和福克双模的可逆性，恢复了克利福德/福克构造是拉格朗日对应范畴射影 2 - 表示这一结果。
For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy projective complexes of projective objects. We also show that the derived category $\mathsf D(\mathsf B)$ is generated, as a triangulated category with coproducts, by the projective generator of $\mathsf B$. For a Grothendieck abelian category $\mathsf A$, we construct the injective derived and coderived model structures on complexes. Assuming Vopenka's prin…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。