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.     

On the relation between cluster and classical tilting

Let be a triangulated category with a cluster tilting subcategory U. The quotient category is abelian; suppose that it has finite global dimension.We show that projection from to sends cluster tilting subcategories of to support tilting subcategories of , and that, in turn, support tilting subcategories of can be lifted uniquely to weak cluster tilting subcategories of .     

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.     

Exponentiable monomorphisms in categories of domains

We give a characterization of exponentiable monomorphisms in the categories of ω-complete posets, of directed complete posets and of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (ω-chain in the case of ) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:X→B in (, ) exponentiable in w.r.t. the Scott topology is exponentiable also in (, ). We prove that the converse is true in the category , but neither in , nor in .     

The phantom cover of a module

A morphism of left R-modules is a phantom morphism if for any morphism , with A finitely presented, the composition fg factors through a projective module. Equivalently, Tor₁(X,f)=0 for every right R-module X. It is proved that every R-module possesses a phantom cover, whose kernel is pure injective.If is the category of finitely presented right R-modules modulo projectives, then the association M?Tor₁(−,M) is a functor from the category of left R-modules to that of the flat functors on . The phantom cover is used to characterize when this functor is faithful or full. It is faithful if and only if the flat cover of every module has a pure injective kernel; this is equivalent to the flat cover being the phantom cover. The question of fullness is only reasonable when the functor is restricted to the subcategory of cotorsion modules. This restriction is full if and only if every phantom cover of a cotorsion module is pure injective.     

On cohomology rings of infinite groups

Let R be any ring (with 1), G a torsion free group and RG the corresponding group ring. Let be the cohomology ring associated with the RG-module M. Let H be a subgroup of finite index of G. The following is a special version of our main Theorem: Assume the profinite completion of G is torsion free. Then an element is nilpotent (under Yoneda’s product) if and only if its restriction to is nilpotent. In particular this holds for the Thompson group.There are torsion free groups for which the analogous statement is false.     

Gabriel-Popescu type theorems and applications

In this paper we obtain a general version of Gabriel-Popescu theorem representing any Grothendieck category as a quotient category of the category of modules over a ring (not necessarily with unit) with enough idempotents to right using a family of generators (U_i)_i∈I of where U_i are not supposed to be small. Applications to locally finite categories are obtained. In particular, for a coalgebra C (over a field) we prove that C is right semiperfect if and only if the category has the AB4∗ condition.     

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.     

On duality between étale groupoids and Hopf algebroids

For any étale Lie groupoid G over a smooth manifold M, the groupoid convolution algebra of smooth functions with compact support on G has a natural coalgebra structure over the commutative algebra which makes it into a Hopf algebroid. Conversely, for any Hopf algebroid A over we construct the associated spectral étale Lie groupoid over M such that is naturally isomorphic to G. Both these constructions are functorial, and is fully faithful left adjoint to . We give explicit conditions under which a Hopf algebroid is isomorphic to the Hopf algebroid of an étale Lie groupoid G.     

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.     

Density of constant radius normal binary covering codes

A binary code with covering radius R is a subset C of the hypercube Q_n={0,1}ⁿ such that every x∈Q_n is within Hamming distance R of some codeword c∈C, where R is as small as possible. For a fixed coordinate i∈[n], define to be the set of codewords with a b in the ith position. Then C is normal if there exists an i∈[n] such that for any v∈Q_n, the sum of the Hamming distances from v to and is at most 2R+1. We newly define what it means for an asymmetric covering code to be normal, and consider the worst-case asymptotic densities ν^*(R) and of constant radius R symmetric and asymmetric normal covering codes, respectively. Using a probabilistic deletion method, and analysis adapted from previous work by Krivelevich, Sudakov, and Vu, we show that and , giving evidence that minimum size constant radius covering codes could still be normal.     

Homology of artinian and Matlis reflexive modules, I

Let R be a commutative local noetherian ring, and let L and L^′ be R-modules. We investigate the properties of the functors and . For instance, we show the following:

(a)

if L and L^′ are artinian, then is artinian, and is noetherian over the completion ;

(b)

if L is artinian and L^′ is Matlis reflexive, then , , and are Matlis reflexive.

Also, we study the vanishing behavior of these functors, and we include computations demonstrating the sharpness of our results.     

On the topological Helly theorem

The main result of this paper is the following theorem, related to the missing link in the proof of the topological version of the classical result of Helly: Let be any family of simply connected compact subsets of R² such that for every i,j∈{0,1,2} the intersections Xi∩Xj are path connected and is nonempty. Then for every two points in the intersection there exists a cell-like compactum connecting these two points, in particular the intersection is a connected set.