Reduction of derived Hochschild functors over commutative algebras and schemes

We study functors underlying derived Hochschild cohomology, also called Shukla cohomology, of a commutative algebra S essentially of finite type and of finite flat dimension over a commutative noetherian ring K. We construct a complex of S-modules D, and natural reduction isomorphisms for all complexes of S-modules N and all complexes M of finite flat dimension over K whose homology H(M) is finitely generated over S; such isomorphisms determine D up to derived isomorphism. Using Grothendieck duality theory we establish analogous isomorphisms for any essentially finite-type flat map of noetherian schemes, with f^!OY in place of D.     

Noetherianity and Ext

Let R=R₀⊕R₁⊕R₂⊕? be a graded algebra over a field K such that R₀ is a finite product of copies of K and each R_i is finite dimensional over K. Set J=R₁⊕R₂⊕? and . We study the properties of the categories of graded R-modules and S-modules that relate to the noetherianity of R. We pay particular attention to the case when R is a Koszul algebra and S is the Koszul dual to R.     

Coactions on Hochschild homology of Hopf-Galois extensions and their coinvariants

Let B⊆A be an H-Galois extension, where H is a Hopf algebra over a field K. If M is a Hopf bimodule then , the Hochschild homology of A with coefficients in M, is a right comodule over the coalgebra C_H=H/[H,H]. Given an injective left C_H-comodule V, our aim is to understand the relationship between and . The roots of this problem can be found in Lorenz (1994) [15], where and are shown to be isomorphic for any centrally G-Galois extension. To approach the above mentioned problem, in the case when A is a faithfully flat B-module and H satisfies some technical conditions, we construct a spectral sequence

     

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.     

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.     

The realization space of a Π-algebra: a moduli problem in algebraic topology

A Π-algebra A is a graded group with all of the algebraic structure possessed by the homotopy groups of a pointed connected topological space. We study the moduli space R(A) of realizations of A, which is defined to be the disjoint union, indexed by weak equivalence classes of CW-complexes X with , of the classifying space of the monoid of self homotopy equivalences of X. Our approach amounts to a kind of homotopical deformation theory: we obtain a tower whose homotopy limit is R(A), in which the space at the bottom is BAut(A) and the successive fibres are determined by Π-algebra cohomology. (This cohomology is the analog for Π-algebras of the Hochschild cohomology of an associative ring or the André-Quillen cohomology of a commutative ring.) It seems clear that the deformation theory can be applied with little change to study other moduli problems in algebra and topology.     

Automorphism groups of generalized triangular matrix rings

We call a ring strongly indecomposable if it cannot be represented as a non-trivial (i.e. M≠0) generalized triangular matrix ring , for some rings R and S and some R-S-bimodule _RM_S. Examples of such rings include rings with only the trivial idempotents 0 and 1, as well as endomorphism rings of vector spaces, or more generally, semiprime indecomposable rings. We show that if R and S are strongly indecomposable rings, then the triangulation of the non-trivial generalized triangular matrix ring is unique up to isomorphism; to be more precise, if is an isomorphism, then there are isomorphisms ρ:R→R^′ and ψ:S→S^′ such that χ:=φ_∣M:M→M^′ is an R-S-bimodule isomorphism relative to ρ and ψ. In particular, this result describes the automorphism groups of such upper triangular matrix rings      

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.     

Graded polynomial identities and codimensions: Computing the exponential growth

Let G be a finite abelian group and A a G-graded algebra over a field of characteristic zero. This paper is devoted to a quantitative study of the graded polynomial identities satisfied by A. We study the asymptotic behavior of , n=1,2,…, the sequence of graded codimensions of A and we prove that if A satisfies an ordinary polynomial identity, exists and is an integer. We give an explicit way of computing such integer by proving that it equals the dimension of a suitable finite dimension semisimple G×Z₂-graded algebra related to A.     

Toric complexes and Artin kernels

A simplicial complex L on n vertices determines a subcomplex TL of the n-torus, with fundamental group the right-angled Artin group GL. Given an epimorphism χ:GL→Z, let be the corresponding cover, with fundamental group the Artin kernel Nχ. We compute the cohomology jumping loci of the toric complex TL, as well as the homology groups of with coefficients in a field k, viewed as modules over the group algebra kZ. We give combinatorial conditions for to have trivial Z-action, allowing us to compute the truncated cohomology ring, . We also determine several Lie algebras associated to Artin kernels, under certain triviality assumptions on the monodromy Z-action, and establish the 1-formality of these (not necessarily finitely presentable) groups.     

Relative copure injective and copure flat modules

Let R be a ring, n a fixed nonnegative integer and I_n (F_n) the class of all left (right) R-modules of injective (flat) dimension at most n. A left R-module M (resp., right R-module F) is called n-copure injective (resp., n-copure flat) if (resp., ) for any N∈I_n. It is shown that a left R-module M over any ring R is n-copure injective if and only if M is a kernel of an I_n-precover f:A→B of a left R-module B with A injective. For a left coherent ring R, it is proven that every right R-module has an F_n-preenvelope, and a finitely presented right R-module M is n-copure flat if and only if M is a cokernel of an F_n-preenvelope K→F of a right R-module K with F flat. These classes of modules are also used to construct cotorsion theories and to characterize the global dimension of a ring under suitable conditions.     

On Wohlfahrt series and wreath products

Suppose that a group A contains only a finite number of subgroups of index d for each positive integer d. Let G?Sn be the wreath product of a finite group G with the symmetric group Sn on {1,…,n}. For each positive integer n, let Kn be a subgroup of G?Sn containing the commutator subgroup of G?Sn. If the sequence satisfies a certain compatible condition, then the exponential generating function of the sequence takes the form of a sum of exponential functions.     

Localization and duality in topology and modular representation theory

We develop a duality theory for localizations in the context of ring spectra in algebraic topology. We apply this to prove a theorem in the modular representation theory of finite groups.Let G be a finite group and k be an algebraically closed field of characteristic p. If p is a homogeneous nonmaximal prime ideal in H^∗(G,k), then there is an idempotent module κ_p which picks out the layer of the stable module category corresponding to p, and which was used by Benson, Carlson and Rickard [D.J. Benson, J.F. Carlson, J. Rickard, Thick subcategories of the stable module category, Fund. Math. 153 (1997) 59-80] in their development of varieties for infinitely generated kG-modules. Our main theorem states that the Tate cohomology is a shift of the injective hull of H^∗(G,k)/p as a graded H^∗(G,k)-module. Since κ_p can be constructed using a version of the stable Koszul complex, this can be viewed as a statement of localized Gorenstein duality in modular representation theory. Various consequences of this theorem are given, including the statement that the stable endomorphism ring of the module κ_p is the p-completion of cohomology , and the statement that κ_p is a pure injective kG-module.In the course of proving the theorem, we further develop the framework introduced by Dwyer, Greenlees and Iyengar [W.G. Dwyer, J.P.C. Greenlees, S. Iyengar, Duality in algebra and topology, Adv. Math. 200 (2006) 357-402] for translating between the unbounded derived categories and . We also construct a functor to the full stable module category, which extends the usual functor and which preserves Tate cohomology. The main theorem is formulated and proved in , and then translated to and finally to .The main theorem in can be viewed as stating that a version of Gorenstein duality holds after localizing at a prime ideal in H^∗(BG;k). This version of the theorem holds more generally for a compact Lie group satisfying a mild orientation condition. This duality lies behind the local cohomology spectral sequence of Greenlees and Lyubeznik for localizations of H^∗(BG;k).In a companion paper [D.J. Benson, Idempotent kG-modules with injective cohomology, J. Pure Appl. Algebra 212 (7) (2008) 1744-1746], a more recent and shorter proof of the main theorem is given. The more recent proof seems less natural, and does not say anything about localization of the Gorenstein condition for compact Lie groups.     

Morphic rings and unit regular rings

A ring R is called left morphic if for every a∈R. A left and right morphic ring is called a morphic ring. If M_n(R) is morphic for all n≥1 then R is called a strongly morphic ring. A well-known result of Erlich says that a ring R is unit regular iff it is both (von Neumann) regular and left morphic. A new connection between morphic rings and unit regular rings is proved here: a ring R is unit regular iff R[x]/(xⁿ) is strongly morphic for all n≥1 iff R[x]/(x²) is morphic. Various new families of left morphic or strongly morphic rings are constructed as extensions of unit regular rings and of principal ideal domains. This places some known examples in a broader context and answers some existing questions.     

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 .     

Finite depth and Jacobson-Bourbaki correspondence

We introduce a notion of depth three tower C⊆B⊆A with depth two ring extension A|B being the case B=C. If and B|C is a Frobenius extension with A|B|C depth three, then A|C is depth two. If A, B and C correspond to a tower G>H>K via group algebras over a base ring F, the depth three condition is the condition that K has normal closure K^G contained in H. For a depth three tower of rings, a pre-Galois theory for the ring and coring (A⊗_BA)^C involving Morita context bimodules and left coideal subrings is applied to specialize a Jacobson-Bourbaki correspondence theorem for augmented rings to depth two extensions with depth three intermediate division rings.     

On the Whitehead group of Novikov rings associated to irrational homomorphisms

Given a homomorphism ξ:G→R we show that the natural map from the Whitehead group of G to the Whitehead group of the Novikov ring is surjective. The group is of interest for the simple chain homotopy type of the Novikov complex. It also contains the Latour obstruction for the existence of a nonsingular closed 1-form within a fixed cohomology class ξ∈H¹(M;R), where M is a closed connected smooth manifold.