Separable functors for the category of Doi Hom-Hopf modules

Shuangjian Guo; Xiaohui Zhang

Displaying similar documents to “Separable functors for the category of Doi Hom-Hopf modules”

A construction of the Hom-Yetter-Drinfeld category

Haiying Li, Tianshui Ma (2014)

Colloquium Mathematicae

Similarity:

In continuation of our recent work about smash product Hom-Hopf algebras [Colloq. Math. 134 (2014)], we introduce the Hom-Yetter-Drinfeld category $_{H}^{H}$ via the Radford biproduct Hom-Hopf algebra, and prove that Hom-Yetter-Drinfeld modules can provide solutions of the Hom-Yang-Baxter equation and $_{H}^{H}$ is a pre-braided tensor category, where (H,β,S) is a Hom-Hopf algebra. Furthermore, we show that $(A ♮_{⋄} H, α \otimes β)$ is a Radford biproduct Hom-Hopf algebra if and only if (A,α) is a Hom-Hopf algebra in the category...

Category $𝒪$ for quantum groups

Henning Haahr Andersen, Volodymyr Mazorchuk (2015)

Journal of the European Mathematical Society

Similarity:

In this paper we study the BGG-categories $𝒪_{q}$ associated to quantum groups. We prove that many properties of the ordinary BGG-category $𝒪$ for a semisimple complex Lie algebra carry over to the quantum case. Of particular interest is the case when $q$ is a complex root of unity. Here we prove a tensor decomposition for both simple modules, projective modules, and indecomposable tilting modules. Using the known Kazhdan-Lusztig conjectures for $𝒪$ and for finite dimensional $U_{q}$ -modules we are able...

Yetter-Drinfeld-Long bimodules are modules

Daowei Lu, Shuan Hong Wang (2017)

Czechoslovak Mathematical Journal

Similarity:

Let $H$ be a finite-dimensional bialgebra. In this paper, we prove that the category $ℒℛ (H)$ of Yetter-Drinfeld-Long bimodules, introduced by F. Panaite, F. Van Oystaeyen (2008), is isomorphic to the Yetter-Drinfeld category $_{H \otimes H^{*}}^{H \otimes H^{*}} 𝒴𝒟$ over the tensor product bialgebra $H \otimes H^{*}$ as monoidal categories. Moreover if $H$ is a finite-dimensional Hopf algebra with bijective antipode, the isomorphism is braided. Finally, as an application of this category isomorphism, we give two results.

Base change for Picard-Vessiot closures

Andy R. Magid (2011)

Banach Center Publications

Similarity:

The differential automorphism group, over F, Π₁(F₁) of the Picard-Vessiot closure F₁ of a differential field F is a proalgebraic group over the field $C_{F}$ of constants of F, which is assumed to be algebraically closed of characteristic zero, and its category of $C_{F}$ modules is equivalent to the category of differential modules over F. We show how this group and the category equivalence behave under a differential extension E ⊃ F, where $C_{E}$ is also algebraically closed.

On the composition structure of the twisted Verma modules for $𝔰𝔩 (3, ℂ)$

Libor Křižka, Petr Somberg (2015)

Archivum Mathematicum

Similarity:

We discuss some aspects of the composition structure of twisted Verma modules for the Lie algebra $𝔰𝔩 (3, ℂ)$ , including the explicit structure of singular vectors for both $𝔰𝔩 (3, ℂ)$ and one of its Lie subalgebras $𝔰𝔩 (2, ℂ)$ , and also of their generators. Our analysis is based on the use of partial Fourier tranform applied to the realization of twisted Verma modules as $D$ -modules on the Schubert cells in the full flag manifold for $SL (3, ℂ)$ .

Some Results About Holonomic $ε$ -Modules

Jan-Erik Björk (1983)

Recherche Coopérative sur Programme n°25

Similarity:

Top-stable and layer-stable degenerations and hom-order

S. O. Smalø, A. Valenta (2007)

Colloquium Mathematicae

Similarity:

Using geometrical methods, Huisgen-Zimmermann showed that if M is a module with simple top, then M has no proper degeneration $M <_{d e g} N$ such that $^{t} M /^{t + 1} M ≃^{t} N /^{t + 1} N$ for all t. Given a module M with square-free top and a projective cover P, she showed that $d i m_{k} H o m (M, M) = d i m_{k} H o m (P, M)$ if and only if M has no proper degeneration $M <_{d e g} N$ where M/M ≃ N/N. We prove here these results in a more general form, for hom-order instead of degeneration-order, and we prove them algebraically. The results of Huisgen-Zimmermann follow as consequences from...

Derived endo-discrete artin algebras

Raymundo Bautista (2006)

Colloquium Mathematicae

Similarity:

Let Λ be an artin algebra. We prove that for each sequence ${(h_{i})}_{i \in ℤ}$ of non-negative integers there are only a finite number of isomorphism classes of indecomposables $X \in^{b} (Λ)$ , the bounded derived category of Λ, with $l e n g t h_{E (X)} H^{i} (X) = h_{i}$ for all i ∈ ℤ and E(X) the endomorphism ring of X in $^{b} (Λ)$ if and only if $^{b} (M o d Λ)$ , the bounded derived category of the category $M o d Λ$ of all left Λ-modules, has no generic objects in the sense of [4].

The correspondence between Barsotti-Tate groups and Kisin modules when $p = 2$

Tong Liu (2013)

Journal de Théorie des Nombres de Bordeaux

Similarity:

Let $K$ be a finite extension over $ℚ_{2}$ and $𝒪_{K}$ the ring of integers. We prove the equivalence of categories between the category of Kisin modules of height 1 and the category of Barsotti-Tate groups over $𝒪_{K}$ .

Melkersson condition on Serre subcategories

Reza Sazeedeh, Rasul Rasuli (2016)

Colloquium Mathematicae

Similarity:

Let R be a commutative noetherian ring, let be an ideal of R, and let be a subcategory of the category of R-modules. The condition $C_{}$ , defined for R-modules, was introduced by Aghapournahr and Melkersson (2008) in order to study when the local cohomology modules relative to belong to . In this paper, we define and study the class $_{}$ consisting of all modules satisfying $C_{}$ . If and are ideals of R, we get a necessary and sufficient condition for to satisfy $C_{}$ and $C_{}$ simultaneously. We also...

Lifting $D$ -modules from positive to zero characteristic

João Pedro P. dos Santos (2011)

Bulletin de la Société Mathématique de France

Similarity:

We study liftings or deformations of $D$ -modules ( $D$ is the ring of differential operators from EGA IV) from positive characteristic to characteristic zero using ideas of Matzat and Berthelot’s theory of arithmetic $D$ -modules. We pay special attention to the growth of the differential Galois group of the liftings. We also apply formal deformation theory (following Schlessinger and Mazur) to analyze the space of all liftings of a given $D$ -module in positive characteristic. At the end we compare...

The affineness criterion for quantum Hom-Yetter-Drinfel'd modules

Shuangjian Guo, Shengxiang Wang (2016)

Colloquium Mathematicae

Similarity:

Quantum integrals associated to quantum Hom-Yetter-Drinfel’d modules are defined, and the affineness criterion for quantum Hom-Yetter-Drinfel’d modules is proved in the following form. Let (H,α) be a monoidal Hom-Hopf algebra, (A,β) an (H,α)-Hom-bicomodule algebra and $B = A^{c o H}$ . Under the assumption that there exists a total quantum integral γ: H → Hom(H,A) and the canonical map $β : A \otimes_{B} A \to A \otimes H$ , $a \otimes_{B} b \mapsto S^{- 1} (b_{[1]}) α (b_{[0] [- 1]}) \otimes β^{- 1} (a) β (b_{[0] [0]})$ , is surjective, we prove that the induction functor $A \otimes_{B} - : ̃ {(_{k})}_{B} \to_{A}^{H}$ is an equivalence of categories.

(Strongly) Gorenstein injective modules over upper triangular matrix Artin algebras

Chao Wang, Xiao Yan Yang (2017)

Czechoslovak Mathematical Journal

Similarity:

Let $Λ = (\begin{matrix} A & M \\ 0 & B \end{matrix})$ be an Artin algebra. In view of the characterization of finitely generated Gorenstein injective $Λ$ -modules under the condition that $M$ is a cocompatible $(A, B)$ -bimodule, we establish a recollement of the stable category $\bar{Ginj (Λ)}$ . We also determine all strongly complete injective resolutions and all strongly Gorenstein injective modules over $Λ$ .

Recollements induced by good (co)silting dg-modules

Rongmin Zhu, Jiaqun Wei (2023)

Czechoslovak Mathematical Journal

Similarity:

Let $U$ be a dg- $A$ -module, $B$ the endomorphism dg-algebra of $U$ . We know that if $U$ is a good silting object, then there exist a dg-algebra $C$ and a recollement among the derived categories $𝐃 (C, d)$ of $C$ , $𝐃 (B, d)$ of $B$ and $𝐃 (A, d)$ of $A$ . We investigate the condition under which the induced dg-algebra $C$ is weak nonpositive. In order to deal with both silting and cosilting dg-modules consistently, the notion of weak silting dg-modules is introduced. Thus, similar results for good cosilting dg-modules are obtained....

Stratified modules over an extension algebra

Erzsébet Lukács, András Magyar (2018)

Czechoslovak Mathematical Journal

Similarity:

Let $A$ be a standard Koszul standardly stratified algebra and $X$ an $A$ -module. The paper investigates conditions which imply that the module ${Ext}_{A}^{*} (X)$ over the Yoneda extension algebra $A^{*}$ is filtered by standard modules. In particular, we prove that the Yoneda extension algebra of $A$ is also standardly stratified. This is a generalization of similar results on quasi-hereditary and on graded standardly stratified algebras.

Separable $ℵ_{k}$ -free modules with almost trivial dual

Daniel Herden, Héctor Gabriel Salazar Pedroza (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

An $R$ -module $M$ has an almost trivial dual if there are no epimorphisms from $M$ to the free $R$ -module of countable infinite rank $R^{(ω)}$ . For every natural number $k > 1$ , we construct arbitrarily large separable $ℵ_{k}$ -free $R$ -modules with almost trivial dual by means of Shelah’s Easy Black Box, which is a combinatorial principle provable in ZFC.

Relative tilting modules with respect to a semidualizing module

Maryam Salimi (2019)

Czechoslovak Mathematical Journal

Similarity:

Let $R$ be a commutative Noetherian ring, and let $C$ be a semidualizing $R$ -module. The notion of $C$ -tilting $R$ -modules is introduced as the relative setting of the notion of tilting $R$ -modules with respect to $C$ . Some properties of tilting and $C$ -tilting modules and the relations between them are mentioned. It is shown that every finitely generated $C$ -tilting $R$ -module is $C$ -projective. Finally, we investigate some kernel subcategories related to $C$ -tilting modules.