Calculus of Functorial Morphisms

We prove that, if F, G: 𝒞 → 𝒟 are two right exact functors between two Grothendieck categories such that they commute with coproducts and U is a generator of 𝒞, then there is a bijection between Nat(F, G) and the centralizer of Hom_𝒟(F(U), G(U)) considered as an Hom_𝒞(U, U)-Hom_𝒞(U, U)-bimodule. We also prove a dual of this result and give applications to Frobenius functors between Grothendieck categories.     

When is the Diagonal Functor Frobenius?

Given a complete, cocomplete category 𝒞, we investigate the problem of describing those small categories I such that the diagonal functor Δ: 𝒞 → Functors(I, 𝒞) is a Frobenius functor. This condition can be rephrased by saying that the limits and the colimits of functors I → 𝒞 are naturally isomorphic. We find necessary conditions on I for a certain class of categories 𝒞, and, as an application, we give both necessary and sufficient conditions in the two special cases 𝒞 =Set or _R ?, the category of left modules over a ring R.     

Invertibility of Matrices Over Subrings

Given rings R ? S, consider the division closure 𝒟(R, S) and the rational closure ?(R, S) of R in S. If S is commutative, then 𝒟(R, S) = ?(R, S) = RT ^?1, where T = {t ∈ R | t ^?1 ∈ S}. We show that this is also true if we assume only that R is commutative.     

TORSION THEORIES FOR FINITE VON NEUMANN ALGEBRAS

ABSTRACT

The study of modules over a finite von Neumann algebra 𝒜 can be advanced by the use of torsion theories. In this work, some torsion theories for 𝒜 are presented, compared, and studied. In particular, we prove that the torsion theory (T, P) (in which a module is torsion if it is zero-dimensional) is equal to both Lambek and Goldie torsion theories for 𝒜.

Using torsion theories, we describe the injective envelope of a finitely generated projective 𝒜-module and the inverse of the isomorphism K ₀(𝒜) → K ₀ (𝒰), where 𝒰 is the algebra of affiliated operators of 𝒜. Then the formula for computing the capacity of a finitely generated module is obtained. Lastly, we study the behavior of the torsion and torsion-free classes when passing from a subalgebra ? of a finite von Neumann algebra 𝒜 to 𝒜. With these results, we prove that the capacity is invariant under the induction of a ?-module.     

Sequentially Cohen-Macaulay Modules Under Base Change

ABSTRACT

Assume that ?:(R, ± 𝔪) → (S, ± 𝔫) is a local flat homomorphism between commutative Noetherian local rings R and S. Let M be a finitely generated R-module. We investigate the ascent and descent of sequentially Cohen-Macaulay properties between the R-module M and the S-module M ? _R  S.     

Nonlinear generalized Lie triple derivation on triangular algebras

Let ? be a commutative ring with identity and let 𝔄 = Tri(𝒜,?,?) be a triangular algebra consisting of unital algebras 𝒜,? over ? and an (𝒜,?)-bimodule ? which is faithful as a left 𝒜-module as well as a right ?-module. In this paper, we prove that under certain assumptions every nonlinear generalized Lie triple derivation G_L:𝔄→𝔄 is of the form G_L = δ+τ, where δ:𝔄→𝔄 is an additive generalized derivation on 𝔄 and τ is a mapping from 𝔄 into its center which annihilates all Lie triple products [[x,y],z].     

On Finite Maximal Chains of Weak Baer Going-Down Rings

Some recent results of Ayache on going-down domains and extensions of domains that either are residually algebraic or have DCC on intermediate rings are generalized to the context of extensions of commutative rings. Given a finite maximal chain 𝒞 of R-subalgebras of a weak Baer ring T, it is shown how a “min morphism” hypothesis can be used to transfer the “going-down ring” property from R to each member of 𝒞. The integral minimal ring extensions which are min morphisms are classified. The ring extensions satisfying FCP (i.e., for which each chain of intermediate rings is finite) are characterized as the strongly affine extensions with DCC on intermediate rings. In the relatively integrally closed case, such extensions R ? T induce open immersions Spec(S) → Spec(R) for each R-subalgebra S of T.     

THE STRUCTURE OF THE TANGENT CONE: AN INTERESTING BIJECTION#

ABSTRACT

Let X = Spec(R) be a reduced equidimensional algebraic variety over an algebraically closed field k. Let Y = Spec(R/𝔮) be a codimension one ordinary multiple subvariety, where 𝔮 is a prime ideal of height 1 of R. If U is a nonempty open subset of Y and 𝔪 a closed point of U, we denote by A ? R _𝔪 its local ring in X, by 𝔭 the extension of 𝔮 in A, and by K the algebraic closure of the residue field k(𝔭).

Then there exists a bijection γ^𝔪:Proj(G _𝔭(A) ?  _A/𝔭 k) → Proj(G(A _𝔭) ?  _k(𝔭)K) such that for every subset Σ of Proj(G _𝔭(A) ?  _A/𝔭 k), the Hilbert function of Σ coincides with the Hilbert function of γ^𝔪(Σ). We examine some applications. We study the structure of the tangent cone at a closed point of a codimension one ordinary multiple subvariety.     

Global Well-Posedness of mKdV in L 2 (𝕋, ℝ)

ABSTRACT

We show that the Miura map L ²(𝕋) → H ^?1(𝕋), r?r _x  + r ² is a global fold and then apply our results on global well-posedness of KdV in H ^?1(𝕋) to show that mKdV is globally well-posed in L ²(𝕋).     

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.     

Some remarks on Bridgeland’s Hall algebras

We study the functorial properties of Bridgeland’s Hall algebras. Specifically, let 𝒜 and ? be two categories satisfying certain conditions for the definitions of Bridgeland’s Hall algebras, and let F:𝒜→? be a fully faithful exact functor, which preserves projectives, then F induces an embedding of algebras from the Bridgeland’s Hall algebra of 𝒜 to the one of ?. In addition, let A be a finite-dimensional algebra over a finite field and B some special quotient algebra of A, then the Bridgeland’s Hall algebra of B is the quotient algebra of the one of A. Moreover, we consider the BGP-reflection functors on the category of 2-cyclic complexes and obtain some homomorphisms of algebras among the subalgebras of Bridgeland’s Hall algebras.     

A GENERALIZATION OF AUSLANDER–BUCHSBAUM AND BASS FORMULAS

Abstract

Given a contravariant functor F : 𝒞 → 𝒮ets for some category 𝒞, we say that F (𝒞) (or F) is generated by a pair (X, x) where X is an object of 𝒞 and x ∈ F(X) if for any object Y of 𝒞 and any y ∈ F(Y), there is a morphism f : Y → X such that F(f)(x) = y. Furthermore, when Y = X and y = x, any f : X → X such that F(f)(x) = x is an automorphism of X, we say that F is minimally generated by (X, x). This paper shows that if the ring R is left noetherian, then there exists a minimal generator for the functor ?xt (?, M) : ? → 𝒮ets, where M is a left R-module and ? is the class (considered as full subcategory of left R-modules) of injective left R-modules.     

On a Hereditary Radical Property Relating to the Reducedness

In this note, a hereditary radical property, called homomorphically reduced rings, is introduced, observed, and applied. The dual concept of this property is also studied with the help of Courter, proving that any ring R (possibly without identity) has an ideal S such that S/K is not homomorphically reduced for each proper ideal K of S; and if L is an ideal of R with L ? S, then L/H is homomorphically reduced for some ideal H of R with H ? L. The concept of the homomorphical reducedness is shown to be equivalent to the left (right) weak regularity and the (strong) regularity for one-sided duo rings. It is proved that homomorphically reduced rings have several useful properties similar to those of (weakly) regular rings. It is proved that the homomorphical reducedness can go up to classical quotient rings. It is shown that if R is a reduced right Ore ring with the ascending chain condition (ACC) for annihilator ideals, then the maximal right quotient ring of R is strongly regular (hence homomorphically reduced).     

Range-Inclusive Maps in Rings with Idempotents

Let 𝒜 be a ring, let ? be an 𝒜-bimodule, and let 𝒞 be the center of ?. A map F:𝒜 → ? is said to be range-inclusive if [F(x), 𝒜] ? [x, ?] for every x ∈ 𝒜. We show that if 𝒜 contains idempotents satisfying certain technical conditions (which we call wide idempotents), then every range-inclusive additive map F:𝒜 → ? is of the form F(x) = λx + μ(x) for some λ ∈ 𝒞 and μ:𝒜 → 𝒞. As a corollary we show that if 𝒜 is a prime ring containing an idempotent different from 0 and 1, then every range-inclusive additive map from 𝒜 into itself is commuting (i.e., [F(x), x] = 0 for every x ∈ 𝒜).     

Rings Over which the Krull Dimension and the Noetherian Dimension of All Modules Coincide

We denote by 𝒜(R) the class of all Artinian R-modules and by 𝒩(R) the class of all Noetherian R-modules. It is shown that 𝒜(R) ? 𝒩(R) (𝒩(R) ? 𝒜(R)) if and only if 𝒜(R/P) ? 𝒩(R/P) (𝒩(R/P) ? 𝒜(R/P)), for all centrally prime ideals P (i.e., ab ∈ P, a or b in the center of R, then a ∈ P or b ∈ P). Equivalently, if and only if 𝒜(R/P) ? 𝒩(R/P) (𝒩(R/P) ? 𝒜(R/P)) for all normal prime ideals P of R (i.e., ab ∈ P, a, b normalize R, then a ∈ P or b ∈ P). We observe that finitely embedded modules and Artinian modules coincide over Noetherian duo rings. Consequently, 𝒜(R) ? 𝒩(R) implies that 𝒩(R) = 𝒜(R), where R is a duo ring. For a ring R, we prove that 𝒩(R) = 𝒜(R) if and only if the coincidence in the title occurs. Finally, if Q is the quotient field of a discrete valuation domain R, it is shown that Q is the only R-module which is both α-atomic and β-critical for some ordinals α,β ≥ 1 and in fact α = β = 1.     

Quasi-Frobenius Corings and Quasi-Frobenius Extensions

In this article, the notions of a Frobenius pair of functors and Frobenius corings are generalized to an l-QF pair of functors and l-QF corings. We prove that an extension ι:B → A is left quasi-Frobenius if and only if (F ₁,G ₁) is an l-QF pair of functors, where F ₁: _A ? →  _B ? is the restriction of scalars functors, and G ₁ = A? _{B ^?} : _B ? →  _A ? is the induction functor. For an A-coring , we prove that  is an l-QF coring if and only if A → ? is an l-QF extension and _A  is a finitely generated projective modules if and only if (G ₂,F ₂) is an l-QF pair of functors, where G ₂ =  ? _{A ^?} : _A ? →  ? is the induction functor, F ₂:  ? →  _A ? is the forgetful functor, the result of Brzezinski is generalized.     

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.     

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.     

A Family of Complex Irreducible Characters Possessed by Unitary and Special Unitary Groups Defined over Local Rings

Abstract

Let 𝒪 be a discrete valuation ring whose residue field 𝒪/𝔭 is finite and has odd characteristic. Let l be a positive integer. Set R = 𝒪/𝔭 ^l and let R = R[θ] be the ring obtained by adjoining to R a square root of a non-square unit. Consider the involution σ of R that fixes R elementwise and sends θ to ? θ. Let V be a free R-module of rank n > 0 endowed with a non-degenerate hermitian form ( , ) relative to σ. Let U _n (R) be the subgroup of GL(V) that preserves ( , ). Let SU _n (R) be the subgroup of all g ∈ U _n (R) whose determinant is equal to one. Let Ψ be the Weil character of U _n (R).

All irreducible constituents of Ψ are determined. An explicit character formula is given for each of them. In particular, all character degrees are computed. For n > 2 the corresponding results are also obtained for the restriction of Ψ to SU _n (R).     

Boolean Algebras,Generalized Abelian Rings,and Grothendieck Groups

ABSTRACT

A ring R is called generalized Abelian if for each idempotent e in R, eR and (1 ? e)R have no isomorphic nonzero summands. The class of generalized Abelian rings properly contains the class of Abelian rings. We denote by GAERS ? 1 the class of generalized Abelian exchange rings with stable range 1. In this article we prove, by introducing Boolean algebras, that for any R ∈ GAERS ? 1, the Grothendieck group K ₀(R) is always an Archimedean lattice-ordered group, and hence is torsion free and unperforated, which generalizes the corresponding results of Abelian exchange rings. Our main technical tool is the use of the ordered structure of K ₀(R)⁺, which provides a new method in the study of Grothendieck groups.