Equivalences between categories of modules and categories of comodules

We show the close connection between apparently different Galois theories for comodules introduced recently in [J. Gomez-Torrecillas and J. Vercruysse, Comatrix corings and Galois Comodules over firm rings, Algebr. Represent. Theory, 10 （2007）, 271 306] and [Wisbauer, On Galois comodules, Comm. Algebra 34 （2006）, 2683-2711]. Furthermore we study equivalences between categories of comodules over a coring and modules over a firm ring. We show that these equivalences are related to Galois theory for comodules.     

On corepresentations of multiplier Hopf algebras

We present a general construction producing a unitary corepresentation of a multiplier Hopf algebra in itself and study RR-corepresentations of twisted tensor coproduct multiplier Hopf algebra. Then we investigate some properties of functors, integrals and morphisms related to the categories of the crossed modules and covariant modules over multiplier Hopf algebras. By doing so, we can apply our theory to the case of group-cograded multiplier Hopf algebras, in particular, the case of Hopf group-coalgebras.     

弱相关Hopf模范畴及函子

该文给出了弱相关Hopf模范畴和余不变子模范畴之间的关系,以及余不变函子(·)~(coH)有和诱导Ind=·_B A的一些应用,并且证明了弱相关Hopf模范畴_AM~(H*)同构于弱smash积模范畴_(A#H)M.     

On the set of grouplikes of a coring

We focus our attention to the set Gr(■) of grouplike elements of a coring ■ over a ring A.We do some observations on the actions of the groups U(A) and Aut(■) of units of A and of automorphisms of corings of ■,respectively,on Gr(■),and on the subset Gal(■) of all Galois grouplike elements.Among them,we give conditions on ■ under which Gal(■) is a group,in such a way that there is an exact sequence of groups {1} → U(Ag) → U(A) → Gal(■) → {1},where Ag is the subalgebra of coinvariants for some g ∈ Gal(■).     

Monoidal Entwined模范畴上的张量积恒等式

本文研究了monoidal entwined模范畴上的张量积恒等式.利用了monoidal entwined模范畴的性质及Doi-Hopf模范畴上的张量积恒等式的研究方法,获得了monoidal entwined模范畴上的一些张量积恒等式,并证明了entwined模范畴有足够的内射对象,结果推广了Doi-Hopf模范畴的结论.     

构造群缠绕模范畴成为辫子张量范畴

该文研究了群缠绕模范畴怎样构造成张量范畴,给出的充分条件是要求群缠绕模中的代数和群余代数分别是双代数和半-Hopf群余代数,并满足一些相容条件.作者在张量群缠绕模范畴上构造了辫子.该文结果包括了拟三角和余拟三角Hopf代数(Hopf群余代数),Doi-Hopf群模等情况.     

三角Hopf余模范畴上的张量余代数

在三角Ｈｏｐｆ代数余模范畴上研究张量余代数．主要给出三角Ｈｏｐｆ代数余模范畴上的张量余代数的结构．     

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.     

A Radical Theory for Additive Categories

In[1], Liu Shaoxue investigated the structure of the additive categories. Nowwe give consideration to the weakly additive category A=∪_αA_β, in which thering _αA_α need not contains unity element. In this paper, we construct radicals of weakly additive categories using twomethods, one by module-theoretic characterization and the other by generalizationof radical properties of rings. In consequence, we get the known results of theradicals of additive categories. We also define some new radicals by means of theradical properties of rings. This is the application of the radical-theoretic method     

Solutions for Schr?dinger-Poisson system involving nonlocal term and critical exponent

In this paper, we consider the following Kirchhoff-Schr?dinger-Poisson system:■the nonlinear growth of |u|⁴u reaches the Sobolev critical exponent. By combining the variational method with the concentration-compactness principle of Lions, we establish the existence of a positive solution and a positive radial solution to this problem under some suitable conditions.The nonlinear term includes the nonlinearity f(u)^|u|^q-2u for the well-studied case q ∈ [4, 6),and th...     

Comatrix Coring Generalized and Equivalences of Categories of Comodules

We extend the comatrix coring to the case of a quasi-finite bicomodule. We also generalize some of its interesting properties. We study equivalences between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings. We apply our results to corings coming from entwining structures and graded structures, and we obtain new results in the setting of entwining structures and in the graded ring theory.     

Adjoint and Frobenius Pairs of Functors for Corings

We investigate adjoint and Frobenius pairs between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings, which leads to a reasonable notion of Frobenius coring extension. When applied to corings stemming from entwining structures, we obtain new results in this setting and in graded ring theory.     

A note on coinduction functors between categories of comodules for corings

In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case oflocally projective corings as a composition of suitable “Trace” and “Hom” functors and show how to derive it from a moregeneral coinduction functor between categories of type σ[M]. In special cases (e.g. the corings morphism is part of a morphism of measuringa-pairings or the corings have the same base ring), a version of our functor is shown to be isomorphic to the usual coinduction functor obtained by means of the cotensor product. Our results in this note generalize previous results of the author on coinduction functors between categories of comodules for coalgebras over commutative base rings.     

Group Corings

We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the G-comodules over a Galois group coring is given. We study (graded) Morita contexts associated to a group coring. Our theory is applied to group corings associated to a comodule algebra over a Hopf group coalgebra. This research was supported by the research project G.0622.06 “Deformation quantization methods for algebras and categories with applications to quantum mechanics” from Fonds Wetenschappelijk Onderzoek-Vlaanderen. The third author was partially supported by the SRF (20060286006) and the FNS (10571026).     

广义Comma范畴的Recollement

本文研究广义Comma范畴上Recollement问题.利用Abel范畴上Recollement及其伴随函子,诱导出广义Comma范畴,并利用比较函子构造出广义Comma范畴上的Recollement.这些结果推广了一般Abel范畴上的Recollement,丰富了Comma范畴研究.     

Morita contexts and Galois theory for weak Hopf comodulelike algebras

We investigate the Morita context and graded cases for weak group corings and derive some equivalent conditions for μ to be surjective. Furthermore, we develop Galois theory for weak group corings. As an application, we give Galois theory for comodulelike algebras over a weak Hopf group coalgebra.     

The Picard Group of Corings

We introduce and study the Picard group of a coring. We give an exact sequence relating the Picard group of a coring and its automorphisms generalizing the known exact sequences associated to an algebra and a coalgebra over a field. We also extend to corings the Aut–Pic property and we give some new corings satisfying this property.     

Co-Frobenius corings and adjoint functors

We study co-Frobenius and more generally quasi-co-Frobenius corings over arbitrary base rings and over PF base rings in particular. We generalize some results about co-Frobenius and quasi-co-Frobenius coalgebras to the case of non-commutative base rings and give several new characterizations for co-Frobenius and more generally quasi-co-Frobenius corings, some of them are new even in the coalgebra situation. We construct Morita contexts to study Frobenius properties of corings and a second kind of Morita contexts to study adjoint pairs. Comparing both Morita contexts, we obtain our main result that characterizes quasi-co-Frobenius corings in terms of a pair of adjoint functors (F,G) such that (G,F) is locally quasi-adjoint in a sense defined in this note.     

Semicorings and Semicomodules

In this paper, we introduce and investigate semicorings over associative semirings and their categories of semicomodules. Our results generalize old and recent ones on corings over rings and their categories of comodules. The generalization is not straightforward and even subtle at several places due to the nature of the base category of commutative monoids which is neither Abelian (not even additive) nor homological, and has no nonzero injective objects. To overcome these and other difficulties, a combination of methods and techniques from categorical, homological and universal algebra is used including a new notion of exact sequences of semimodules over semirings.     

The bicategories of corings

To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule such as separability and the Frobenius properties are reflected in the induced base ring extension coring. Any bimodule that is finitely generated and projective on one side, together with a map of corings over the same base ring, lead to the notion of a module-morphism, which extends the notion of a morphism of corings (over different base rings). A module-morphism of corings induces functors between the categories of comodules. These functors are termed pull-back and push-out functors, respectively, and thus relate categories of comodules of different corings. We study when the pull-back functor is fully faithful and when it is an equivalence. A generalised descent associated to a morphism of corings is introduced. We define a category of module-morphisms, and show that push-out functors are naturally isomorphic to each other if and only if the corresponding module-morphisms are mutually isomorphic. All these topics are studied within a unifying language of bicategories and the extensive use is made of interpretation of corings as comonads in the bicategory Bim of bimodules and module-morphisms as 1-cells in the associated bicategories of comonads in Bim.