The symmetry of the CS condition on one-sided ideals in a prime ring

Let R be a prime ring and e∈R be an idempotent. We show that eR_R is nonsingular, CS and if and only if is nonsingular, CS and .     

Polynomial identities and noncommutative versal torsors

To any cleft Hopf Galois object, i.e., any algebra obtained from a Hopf algebra H by twisting its multiplication with a two-cocycle α, we attach two “universal algebras” and . The algebra is obtained by twisting the multiplication of H with the most general two-cocycle σ formally cohomologous to α. The cocycle σ takes values in the field of rational functions on H. By construction, is a cleft H-Galois extension of a “big” commutative algebra . Any “form” of can be obtained from by a specialization of and vice versa. If the algebra is simple, then is an Azumaya algebra with center . The algebra is constructed using a general theory of polynomial identities that we set up for arbitrary comodule algebras; it is the universal comodule algebra in which all comodule algebra identities of are satisfied. We construct an embedding of into ; this embedding maps the center of into when the algebra is simple. In this case, under an additional assumption, , thus turning into a central localization of . We completely work out these constructions in the case of the four-dimensional Sweedler algebra.     

Castelnuovo-Mumford regularity for complexes and weakly Koszul modules

Let A be a noetherian AS-regular Koszul quiver algebra (if A is commutative, it is essentially a polynomial ring), and the category of finitely generated graded left A-modules. Following Jørgensen, we define the Castelnuovo-Mumford regularity of a complex in terms of the local cohomologies or the minimal projective resolution of M^•. Let A^! be the quadratic dual ring of A. For the Koszul duality functor , we have . Using these concepts, we interpret results of Martinez-Villa and Zacharia concerning weakly Koszul modules (also called componentwise linear modules) over A^!. As an application, refining a result of Herzog and Römer, we show that if J is a monomial ideal of an exterior algebra E=?〈y₁,…,y_d〉, d≥3, then the (d−2)nd syzygy of E/J is weakly Koszul.     

On a relation between certain cohomological invariants

Let G be a group, the supremum of the projective lengths of the injective ZG-modules and the supremum of the injective lengths of the projective ZG-modules. The invariants and were studied in [T.V. Gedrich, K.W. Gruenberg, Complete cohomological functors on groups, Topology Appl. 25 (1987) 203-223] in connection with the existence of complete cohomological functors. If is finite then [T.V. Gedrich, K.W. Gruenberg, Complete cohomological functors on groups, Topology Appl. 25 (1987) 203-223] and , where is the generalized cohomological dimension of G [B.M. Ikenaga, Homological dimension and Farrell cohomology, J. Algebra 87 (1984) 422-457]. Note that if G is of finite virtual cohomological dimension. It has been conjectured in [O. Talelli, On groups of type Φ, Arch. Math. 89 (1) (2007) 24-32] that if is finite then G admits a finite dimensional model for , the classifying space for proper actions.We conjecture that for any group G and we prove the conjecture for duality groups, fundamental groups of graphs of finite groups and fundamental groups of certain finite graphs of groups of type .     

Auslander-Reiten correspondence for tilting pairs

Let A be an Artin algebra. A pair (C,T) of A-modules is tilting provided that C and T are (finitely generated) self-orthogonal, and . Particularly, T is a tilting module if and only if (A,T) is a tilting pair. In the note, we will extend the Auslander-Reiten correspondence for tilting modules to the context of tilting pairs.     

Finiteness of graded local cohomology modules

Let R=?_n∈N0R_n be a Noetherian homogeneous ring with local base ring (R₀,m₀) and irrelevant ideal R₊, let M be a finitely generated graded R-module. In this paper we show that is Artinian and is Artinian for each i in the case where R₊ is principal. Moreover, for the case where , we prove that, for each i∈N₀, is Artinian if and only if is Artinian. We also prove that is Artinian, where and c is the cohomological dimension of M with respect to R₊. Finally we present some examples which show that and need not be Artinian.     

Almost fully decomposable infinite rank lattices over orders

Let Λ be an order over a Dedekind domain R with quotient field K. An object of , the category of R-projective Λ-modules, is said to be fully decomposable if it admits a decomposition into (finitely generated) Λ-lattices. In a previous article [W. Rump, Large lattices over orders, Proc. London Math. Soc. 91 (2005) 105-128], we give a necessary and sufficient criterion for R-orders Λ in a separable K algebra A with the property that every is fully decomposable. In the present paper, we assume that is separable, but that the p-adic completion A_p is not semisimple for at least one . We show that there exists an , such that KL admits a decomposition KL=M₀⊕M₁ with finitely generated, where L∩M₁ is fully decomposable, but L itself is not fully decomposable.     

Applications of stratifying systems to the finitistic dimension

Given an Ext-injective stratifying system of Λ-modules satisfying that the projective dimension of Y is finite, we prove that the finitistic dimension of the algebra Λ is equal to the finitistic dimension of the category . Moreover, using the theory of stratifying systems we obtain bounds for the finitistic dimension of Λ. In particular, we get the optimal bound 2n-2 for the finitistic dimension of a standardly stratified algebra with n simples.     

Perpendicular categories of infinite dimensional partial tilting modules and transfers of tilting torsion classes

Let R be a ring and P be an (infinite dimensional) partial tilting module. We show that the perpendicular category of P is equivalent to the full module category where and ?R is the Bongartz complement of P modulo its P-trace. Moreover, there is a ring epimorphism φ:R→S. We characterize the case when φ is a perfect localization. By [Riccardo Colpi, Alberto Tonolo, Jan Trlifaj, Partial cotilting modules and the lattices induced by them, Comm. Algebra 25 (10) (1997) 3225-3237], there exist mutually inverse isomorphisms μ^′ and ν^′ between the interval in the lattice of torsion classes in , and the lattice of all torsion classes in . We provide necessary and sufficient conditions for μ^′ and ν^′ to preserve tilting torsion classes. As a consequence, we show that these conditions are always satisfied when R is a Dedekind domain, and if P is finitely presented and R is an artin algebra, then the conditions reduce to the trivial ones, namely that each value of μ^′ and ν^′ contains all injectives.     

Quantifications des algèbres de Hopf d'arbres plans décorés et lien avec les groupes quantiques

We introduce a functor from the category of braided spaces into the category of braided Hopf algebras which associates to a braided space V a braided Hopf algebra of planar rooted trees . We show that the Nichols algebra of V is a subquotient of . We construct a Hopf pairing between and , generalising one of the results of [Bull. Sci. Math. 126 (2002) 193-239]. When the braiding of c is given by c(v_i⊗v_j)=q_i,jv_j⊗v_i, we obtain a quantification of the Hopf algebras introduced in [Bull. Sci. Math. 126 (2002) 193-239; 126 (2002) 249-288]. When q_i,j=q^a_i,j, with q an indeterminate and (a_i,j)_i,j the Cartan matrix of a semi-simple Lie algebra , then is a subquotient of . In this case, we construct the crossed product of with a torus and then the Drinfel'd quantum double of this Hopf algebra. We show that is a subquotient of .     

Vanishing of derived limits of non-standard inverse systems

It is proved that for certain non-standard versions of inverse systems G of R-modules, we have for n>0.The result is applied to define a reasonably canonical non-standard resolution for an arbitrary inverse system G of R-modules, such that the application of the inverse limit functor yields a complex whose cohomology groups are isomorphic to the derived limits, limn. Furthermore, the non-standard resolution gives also the maps limng, and the connecting homomorphisms to a reasonable degree.We also prove that for miscellaneous types of inverse systems H of modules, the system H is a direct summand of .     

Nilpotent orbits and some small unitary representations of indefinite orthogonal groups

For 2?m?l/2, let G be a simply connected Lie group with as Lie algebra, let be the complexification of the usual Cartan decomposition, let K be the analytic subgroup with Lie algebra , and let be the universal enveloping algebra of . This work examines the unitarity and K spectrum of representations in the “analytic continuation” of discrete series of G, relating these properties to orbits in the nilpotent radical of a certain parabolic subalgebra of .The roots with respect to the usual compact Cartan subalgebra are all ±e_i±e_j with 1?i<j?l. In the usual positive system of roots, the simple root e_m−e_m+1 is noncompact and the other simple roots are compact. Let be the parabolic subalgebra of for which e_m−e_m+1 contributes to and the other simple roots contribute to , let L be the analytic subgroup of G with Lie algebra , let , let be the sum of the roots contributing to , and let be the parabolic subalgebra opposite to .The members of are nilpotent members of . The group acts on with finitely many orbits, and the topological closure of each orbit is an irreducible algebraic variety. If Y is one of these varieties, let R(Y) be the dual coordinate ring of Y; this is a quotient of the algebra of symmetric tensors on that carries a fully reducible representation of .For , let . Then λ_s defines a one-dimensional module . Extend this to a module by having act by 0, and define . Let be the unique irreducible quotient of . The representations under study are and , where and Π_S is the Sth derived Bernstein functor.For s>2l−2, it is known that π_s=π_s′ and that π_s′ is in the discrete series. Enright, Parthsarathy, Wallach, and Wolf showed for m?s?2l−2 that π_s=π_s′ and that π_s′ is still unitary. The present paper shows that π_s′ is unitary for 0?s?m−1 even though π_s≠π_s′, and it relates the K spectrum of the representations π_s′ to the representation of on a suitable R(Y) with Y depending on s. Use of a branching formula of D. E. Littlewood allows one to obtain an explicit multiplicity formula for each K type in π_s′; the variety Y is indispensable in the proof. The chief tools involved are an idea of B. Gross and Wallach, a geometric interpretation of Littlewood's theorem, and some estimates of norms.It is shown further that the natural invariant Hermitian form on π_s′ does not make π_s′ unitary for s<0 and that the K spectrum of π_s′ in these cases is not related in the above way to the representation of on any R(Y).A final section of the paper treats in similar fashion the simply connected Lie group with Lie algebra , 2?m?l/2.