On Derived Equivalences for Selfinjective Algebras

We show that if A is a representation-finite selfinjective Artin algebra, then every P ^? ? K ^b(𝒫 _A ) with Hom _K(Mod?A)(P ^?,P ^?[i]) = 0 for i ≠ 0 and add(P ^?) = add(νP ^?) is a direct summand of a tilting complex, and that if A, B are derived equivalent representation-finite selfinjective Artin algebras, then there exists a sequence of selfinjective Artin algebras A = B ₀, B ₁,…, B _m  = B such that, for any 0 ≤ i < m, B _i+1 is the endomorphism algebra of a tilting complex for B _i of length ≤ 1.     

S-Noetherian Rings of the Forms 𝒜[X] and 𝒜[[X]]

Let 𝒜 = (A _n ) _n≥0 be an ascending chain of commutative rings with identity, S ? A ₀ a multiplicative set of A ₀, and let 𝒜[X] (respectively, 𝒜[[X]]) be the ring of polynomials (respectively, power series) with coefficient of degree i in A _i for each i ∈ ?. In this paper, we give necessary and sufficient conditions for the rings 𝒜[X] and 𝒜[[X]] to be S ? Noetherian.     

Über Die Assoziierten Primideale des Bidualen

Let (R, 𝔪) be a commutative, noetherian, local ring, E the injective hull of the residue field R/𝔪, and M ^○○ = Hom _R (Hom _R (M, E), E) the bidual of an R-module M. We investigate the elements of Ass(M ^○○) as well as those of Coatt(M) = {𝔭 ∈ Spec(R)|𝔭 = Ann _R (Ann _M (𝔭))} and provide criteria for equality in one of the two inclusions Ass(M) ? Ass(M ^○○) ? Coatt(M). If R is a Nagata ring and M a minimax module, i.e., an extension of a finitely generated R-module by an artinian R-module, we show that Ass(M ^○○) = Ass(M) ∪ {𝔭 ∈ Coatt(M)| R/𝔭 is incomplete}.     

On Galois Comodules

Generalizing the notion of Galois corings, Galois comodules were introduced as comodules P over an A-coring 𝒞 for which P _A is finitely generated and projective and the evaluation map μ𝒞:Hom ^𝒞 (P, 𝒞) ?  _S P → 𝒞 is an isomorphism (of corings) where S = End ^𝒞 (P). It has been observed that for such comodules the functors ? ?  _A 𝒞 and Hom _A (P, ?) ?  _S P from the category of right A-modules to the category of right 𝒞-comodules are isomorphic. In this note we use this isomorphism related to a comodule P to define Galois comodules without requiring P _A to be finitely generated and projective. This generalises the old notion with this name but we show that essential properties and relationships are maintained. Galois comodules are close to being generators and have common properties with tilting (co)modules. Some of our results also apply to generalised Hopf Galois (coalgebra Galois) extensions.     

Classification des Objets Galoisiens de U q (𝔤) à Homotopie PrèS

Pour toute algèbre enveloppante quantique U_q(𝔤) de Drinfeld–Jimbo et toute famille λ = (λ_ij)1≤i ∈ k^? d'éléments inversibles du corps de base, nous construisons explicitement par générateurs et relations un objet galoisien A_λ de U_q(𝔤) et nous montrons que tout objet galoisien de U_q(𝔤) est homotope à un unique objet de la forme A_λ.

For any Drinfeld–Jimbo quantum enveloping algebra U_q(𝔤) and for any family λ = (λ_ij)_{1≤i ∈ k^? of invertible elements of the base field, we explicitly construct a Galois object Aλ of Uq(𝔤) by generators and relations and we prove that any Galois object of Uq(𝔤) is homotopic to a unique object of type Aλ.}     

Monomorphism Operator and Perpendicular Operator

For a quiver Q, a k-algebra A, and an additive full subcategory 𝒳 of A-mod, the monomorphism category Mon(Q, 𝒳) is introduced. The main result says that if T is an A-module such that there is an exact sequence 0 → T _m  → … → T ₀ → D(A _A ) → 0 with each T _i  ∈ add(T), then Mon(Q, ^⊥ T) =^⊥(kQ ? _k T); and if T is cotilting, then kQ ? _k T is a unique cotilting Λ-module, up to multiplicities of indecomposable direct summands, such that Mon(Q, ^⊥ T) =^⊥(kQ ? _k T).

As applications, the category of the Gorenstein-projective (kQ ? _k A)-modules is characterized as Mon(Q, 𝒢𝒫(A)) if A is Gorenstein; the contravariantly finiteness of Mon(Q, 𝒳) can be described; and a sufficient and necessary condition for Mon(Q, A) being of finite type is given.     

Regularity and Substructures of Hom

ABSTRACT

We define “regular” for maps in a Hom group. This notion specializes to the well-known notions of (Von Neumann) regular in rings and modules. A map f ∈ Hom _R (A,M) is regular if and only if Ker(f) ?^⊕ A and Im(f) ?^⊕ M. There exists a unique maximal regular End(M)-End(A)-submodule in Hom _R (A,M). We study regularity in Hom _R (A ₁ ⊕ A ₂, M ₁ ⊕ M ₂). The existence of a regular function Hom _R (A,M) implies the existence of projective summands of Hom _R (A,M) _{End R (A)} and of _{End R ( M )} Hom _R (A,M). We consider regularity in endomorphism rings, and generalize a theorem of Ware-Zelmanowitz. We examine connections between the maximum regular bimodule and other substructures of Hom, mention two generalizations of regularity, and raise some questions.     

Completely 𝒲-Resolved Complexes

Let R be a ring and 𝒲 a self-orthogonal class of left R-modules which is closed under finite direct sums and direct summands. A complex C of left R-modules is called a 𝒲-complex if it is exact with each cycle Z ⁿ (C) ∈ 𝒲. The class of such complexes is denoted by 𝒞_𝒲. A complex C is called completely 𝒲-resolved if there exists an exact sequence of complexes D _· = … → D _?1 → D ₀ → D ₁ → … with each term D _i in 𝒞_𝒲 such that C = ker(D ₀ → D ₁) and D _· is both Hom(𝒞_𝒲, ?) and Hom(?, 𝒞_𝒲) exact. In this article, we show that C = … → C ^?1 → C ⁰ → C ¹ → … is a completely 𝒲-resolved complex if and only if C ⁿ is a completely 𝒲-resolved module for all n ∈ ?. Some known results are obtained as corollaries.     

Localization of Monoid Objects and Hochschild Homology

Let A be a (not necessarily commutative) monoid object in an abelian symmetric monoidal category (C, ?,1) satisfying certain conditions. In this paper, we continue our study of the localization M _S of any A-module M with respect to a subset S ? Hom _A?Bimod (A, A) that is closed under composition. In particular, we prove the following theorem: if P is an A-bimodule such that P is symmetric as a bimodule over the center Z(A) of A, we have isomorphisms HH _*(A, P) _S  ? HH _*(A, P _S ) ? HH _*(A _S , P _S ) of Hochschild homology groups.     

On the Support Problem for Drinfeld Modules

Let Φ be a Drinfeld A-module over an A-field K of generic characteristic. We will prove the following two results which are analogous to ones in number fields. Case 1. Φ is of rank one. Suppose that P and Q are two nontorsion points in Φ(K). If for any element a ? A and almost all prime ideals 𝒫 in  one has that Φ _a (P) ≡ 0 (mod 𝒫) ? Φ _a (Q) ≡ 0 (mod 𝒫), then Q = Φ _m (P) for some m ? A. Case 2. Φ is of general rank ≥ 1. Let x, y ? Φ(K) be two K-rational points. Denote  = End _K (Φ) which is commutative and Λ =  · y which is a cyclic -module. Let red _v :Φ(K) → Φ(k _v ) be the reduction map at a place v of K with residue field k _v . If red _v (x) ? red _v (Λ) for almost all places v of K. Then f(x) = g(y), for some nonzero elements f and g in .     

Frobenius Extensions and Tilting Complexes

Let n ≥ 1 be an integer and π a permutation of I = {1, ⋯ ,n}. For any ring R, we provide a systematic construction of rings A which contain R as a subring and enjoy the following properties: (a) 1 = ∑  _i ∈ I e _i with the e _i orthogonal idempotents; (b) e _i x = xe _i for all i ∈ I and x ∈ R; (c) e _i A e _j  ≠ 0 for all i, j ∈ I; (d) e _i A _A  ≇ e _j A _A unless i = j; (e) every e _i Ae _i is a local ring whenever R is; (f) e _i A _A  ≅ Hom _R (Ae _π(i),R _R ) and _A Ae _π(i) ≅  _A Hom _R (e _i A, _R R) for all i ∈ I; and (g) there exists a ring automorphism η ∈ Aut(A) such that η(e _i ) = e _π(i) for all i ∈ I. Furthermore, for any nonempty π-stable subset J of I, the mapping cone of the multiplication map is a tilting complex. Dedicated to Takeshi Sumioka on the occasion of his 60th birthday.     

Irreducibility Criterion Over Finite Fields

The aim of this article is to prove the irreducibility of the polynomial Λ(Y) = Y ^d  + λ _d?1 Y ^d?1 + … + λ₀ over 𝔽 _q [X] where λ _i ∈ 𝔽 _q [X] and deg λ _d?1 > deg λ _i for each i ≠ d ? 1. We discuss in particular connections between the irreducible polynomials Λ and the number of Pisot elements in the case of formal power series.     

Some Results for Decomposition Numbers for the Hecke Algebra of Type A with q = −1

Let ? = ?_{?, ?1}(𝔖 _n ) be the Hecke algebra of the symmetric group 𝔖 _n . For partitions λ and ν with ν 2 ? regular, define the Specht module S(λ) and the irreducible module D(ν). Define d _λν = [S(λ): D(ν)] to be the composition multiplicity of D(ν) in S(λ). In this paper we compute the decomposition numbers d _λν for all partitions of the form λ = (a, c, 1 ^b ) and ν 2 ? regular.     

Vertex Poisson Algebras Associated with Courant Algebroids

We study relationships between vertex Poisson algebras and Courant algebroids. For any ?-graded vertex Poisson algebra A = ? _n∈? A _(n), we show that A ₍₁₎ is a Courant A ₍₀₎-algebroid. On the other hand, for any Courant 𝒜-algebroid ?, we construct an ?-graded vertex Poisson algebra A = ? _n∈? A _(n) such that A ₍₀₎ is 𝒜 and the Courant 𝒜-algebroid A ₍₁₎ is isomorphic to ? as a Courant 𝒜-algebroid.     

Localization and Catenarity in Iterated Differential Operator Rings

ABSTRACT

Let k be a field, R an associative k-algebra with identity, Δ a finite set of derivations of R, and R[Θ₁, δ₁] ··· [Θ _n , δ _n ] an iterated differential operator k-algebra over R such that δ _j (Θ _i ) ∈ R[Θ₁, δ₁] ··· [Θ _i?1, δ _i?1]; 1 ≤ i < j ≤ n. If R is Noetherian Δ-hypercentral, then every prime ideal P of A is classically localizable. The aim of this article is to show that under some additional hypotheses on the Δ-prime ideals of R, the local ring A _P is regular in the sense of Robert Walker. We use this result to study the catenarity of A and to compute the numbers μ _i of Bass. Let g be a nilpotent Lie algebra of finite dimension n acting on R by derivations and U(g) the enveloping algebra of g. Then the crossed product of R by U(g) is an iterated differential operator k-algebra as above. In this particular case, our results are known if k has characteristic zero.     

Constructing New Braided T-Categories Over Regular Multiplier Hopf Algebras

Let A be a regular multiplier Hopf algebra, and let Aut(A) denote the set of all isomorphisms α from A to itself that are algebra maps satisfying (Δ ○ α)(a) = (α ? α) ○ Δ(a) for all a ∈ A. Let G be a certain crossed product group Aut(A) × Aut(A). The main purpose of this article is to provide a class of new braided T-categories in the sense of Turaev [\citealp9]. For this, we introduce a class of new categories _A 𝒴𝒟 ^A (α, β) of (α, β)-Yetter–Drinfel'd modules with α, β ∈Aut(A), and we show that the category ?𝒴𝒟(A) = { _A 𝒴𝒟 ^A (α, β)}_{(α, β)∈G} becomes a braided T-category over G, generalizing the main constructions by Panaite and Staic [6 Panaite , F. , Staic , M. D. ( 2007 ). Generalized (anti) Yetter–Drinfel'd modules as components of a braided T-category . Israel J. Math. 158 : 349 – 365 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Characterization of Lie Derivations on Prime Rings

Let ? be a unital prime ring with characteristic not 2 and containing a nontrivial idempotent P. It is shown that, under some mild conditions, an additive map L on ? satisfies L([A, B]) = [L(A), B] + [A, L(B)] whenever AB = 0 (resp., AB = P) if and only if it has the form L(A) = ?(A) + h(A) for all A ∈ ?, where ? is an additive derivation on ? and h is an additive map into its center.     

Generalized Skew Derivations with Nilpotent Values in Prime Rings

Let ? be a prime ring, 𝒞 the extended centroid of ?, ? a Lie ideal of ?, F be a nonzero generalized skew derivation of ? with associated automorphism α, and n ≥ 1 be a fixed integer. If (F(xy) ? yx) ⁿ  = 0 for all x, y ∈ ?, then ? is commutative and one of the following statements holds:

(1) Either ? is central;

(2) Or ? ? M ₂(𝒞), the 2 × 2 matrix ring over 𝒞, with char(𝒞) = 2.