Liftable <Emphasis Type="Italic">D</Emphasis><Subscript>4</Subscript>-covers

Let k be an algebraically closed field of characteristic p and let G \hookrightarrow Aut_k(k[[ t ]] ){G \hookrightarrow {\rm Aut}_k(k\left[\kern-0.15em\left[ t \right]\kern-0.15em\right] )} be a faithful action on a local power series ring over k. Let R be a discrete valuation ring of characteristic 0 with residue field k. One asks, whether it is possible to find a faithful action G \hookrightarrow Aut_R(R[[ t ]] ){G \hookrightarrow {\rm Aut}_R(R\left[\kern-0.15em\left[ t \right]\kern-0.15em\right] )} which reduces to the given action, i.e., a lift to characteristic 0. We show that liftable actions exists in the case that G  =  D ₄ and p  =  2. In fact we introduce a family, the supersimple D ₄-actions, which can always be lifted to characteristic 0.     

Universal Deformation Rings of Modules for Algebras of Dihedral Type of Polynomial Growth

Let k be an algebraically closed field, and let Λ be an algebra of dihedral type of polynomial growth as classified by Erdmann and Skowroński. We describe all finitely generated Λ-modules V whose stable endomorphism rings are isomorphic to k and determine their universal deformation rings R(Λ, V). We prove that only three isomorphism types occur for R(Λ, V): k, k[[t]]/(t ²) and k[[t]].     

Homology of GL<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>: injectivity conjecture for GL<Subscript>4</Subscript>

The homology of GL _n (R) and SL _n (R) is studied, where R is a commutative ‘ring with many units’. Our main theorem states that the natural map H ₄(GL₃(R), k) → H ₄(GL₄(R), k) is injective, where k is a field with char(k) ≠ 2, 3. For an algebraically closed field F, we prove a better result, namely, is injective. We will prove a similar result replacing GL by SL. This is used to investigate the indecomposable part of the K-group K ₄(R).     

Universal deformation rings and dihedral 2-groups

Let k be an algebraically closed field of characteristic 2,and let W be the ring of infinite Witt vectors over k. Supposethat D is a dihedral 2-group. We prove that the universal deformationring R(D, V) of an endo-trivial kD-module V is always isomorphicto W [/2x/2]. As a consequence, we obtain a similar result formodules V with stable endomorphism ring k belonging to an arbitrarynilpotent block with defect group D. This confirms, for suchV, conjectures on the ring structure of the universal deformationring of V that had previously been shown for V belonging tocyclic blocks or to blocks with Klein four defect groups.     

Inducing <Emphasis Type="Italic">W</Emphasis>-graphs

 Let ℋ be the Hecke algebra associated with a Coxeter group W. Many interesting ℋ-modules can be described using the concept of a W-graph, as introduced in the influential paper [4] of Kazhdan and Lusztig. In particular, Kazhdan and Lusztig showed that the regular representation of ℋ has an associated W-graph. The purpose of this note is to show that if W _J is a parabolic subgroup of W and V is a module for the corresponding Hecke algebra ℋ _J , then a W _J -graph structure for V gives rise to a W-graph structure for the induced module ℋ⊗ _ℋJ V. In the case that W _J is the identity subgroup and V has dimension 1, our construction coincides with that given by Kazhdan and Lusztig for the regular representation. For arbitrary J and V of dimension 1 we recover the constructions of Couillens [1] and Deodhar [3]. Received: 14 June 2002; in final form: 13 August 2002 / Published online: 1 April 2003 Mathematics Subject Classification (2000): 20C08     

Finitely generated varieties of distributive double <Emphasis Type="Italic">p</Emphasis>-algebras universal modulo a group

For any monoid M, any universal variety contains arbitrarily large algebras whose endomorphism monoid is isomorphic to M. A variety universal modulo a group G contains arbitrarily large algebras whose endomorphism monoid is isomorphic to the direct product M x G. One of the results of this paper structurally characterizes all finitely generated varieties of distributive double p-algebras universal modulo a group, and shows that any unavoidable direct factor G is a Boolean group with at most eight elements.     

Coxeter group actions on <Subscript>4</Subscript><Emphasis Type="Italic">F</Emphasis><Subscript>3</Subscript>(1) hypergeometric series

In this paper we investigate a certain linear combination K([(x)\vec])=K(a;b,c,d;e,f,g)K(\vec{x})=K(a;b,c,d;e,f,g) of two Saalschutzian hypergeometric series of type ₄ F ₃(1). We first show that K([(x)\vec])K(\vec{x}) is invariant under the action of a certain matrix group G _K , isomorphic to the symmetric group S ₆, acting on the affine hyperplane V={(a,b,c,d,e,f,g)∈ℂ⁷:e+f+g−a−b−c−d=1}. We further develop an algebra of three-term relations for K(a;b,c,d;e,f,g). We show that, for any three elements μ ₁,μ ₂,μ ₃ of a certain matrix group M _K , isomorphic to the Coxeter group W(D ₆) (of order 23040) and containing the above group G _K , there is a relation among K(m₁[(x)\vec])K(\mu_{1}\vec{x}), K(m₂[(x)\vec])K(\mu_{2}\vec{x}), and K(m₃[(x)\vec])K(\mu_{3}\vec{x}), provided that no two of the μ _j ’s are in the same right coset of G _K in M _K . The coefficients in these three-term relations are seen to be rational combinations of gamma and sine functions in a,b,c,d,e,f,g.     

Higher Algebraic <Emphasis Type="Italic">K</Emphasis>-theory of Ring Epimorphisms

Given a homological ring epimorphism from a ring R to another ring S, we show that if the left R-module S has a finite-type resolution, then the algebraic K-group K _n (R) of R splits as the direct sum of the algebraic K-group K _n (S) of S and the algebraic K-group K _n (R) of a Waldhausen category R determined by the ring epimorphism. This result is then applied to endomorphism rings, matrix subrings, rings with idempotent ideals, and universal localizations which appear often in representation theory and algebraic topology.     

The permutation projective dimension of the quaternionic group

Abstract

Let R be a commutative Noetherian local Gorenstein ring with residue field k. We show that G(k), the Gorenstein injective envelope of k, is an artinian R-module, and we compute G(k) in the case where R = k[[S]] is a semigroup ring and S is symmetric. We also show that a certain subring of the endomorphism ring of G(k) is a complete local (but possibly non-commutative) ring.     

Polynomial inequalities on sets with <Emphasis Type="Italic">k</Emphasis><Subscript><Emphasis Type="Italic">m</Emphasis></Subscript>-concave weighted measures

Let μ be a measurewith a k-concave density W on an open convex set V in R^m, that is, W is an integrable weight satisfying the condition

$$W(ax + (1 - a)y) \geqslant {(a{W^K}(x) + (1 - a){W^K}(y))^{1/k}},k \in ( - 1/m,\infty ]$$

for all x ∈ V, y ∈ V, and α ∈ [0, 1]. In this paper, we first show that the Fradelizi μ-distributional inequalities for polynomials P of m variables are sharp for each m and k ∈ (?1/m,∞]. Classes of extremal sets V, weights W, and polynomials P for these inequalities are presented. Sharpness of the Bobkov-Nazarov-Fradelizi dilation-type inequalities is established as well. Second, we find efficient conditions for k-concavity of a weight W and obtain new sharp polynomial inequalities.

     

Periodic groups saturated by finite simple groups <Emphasis Type="Italic">U</Emphasis><Subscript>3</Subscript>(2<Superscript>m</Superscript>)

Let {ie166-01} be a set of finite groups. A group G is said to be saturated by the groups in {ie166-02} if every finite subgroup of G is contained in a subgroup isomorphic to a member of {ie166-03}. It is proved that a periodic group G saturated by groups in a set {U₃(2^m) | m = 1, 2, …} is isomorphic to U₃(Q) for some locally finite field Q of characteristic 2; in particular, G is locally finite. __________ Translated from Algebra i Logika, Vol. 47, No. 3, pp. 288–306, May–June, 2008.     

Stability of unitary SK<Subscript>1</Subscript> of Azumaya algebras

For an Azumaya algebra A with center C of rank n ² and a unitary involution τ, we study the stability of the unitary SK₁ under reduction. We show that if R = C ^τ is a Henselian ring with maximal ideal \mathfrakm{\mathfrak{m}} and 2 and n are invertible in R then SK₁(A, t) @ SK₁(A/ \mathfrakm A, overline t){{{\rm SK}_1}(A, \tau) \cong {{\rm SK}_1}(A/ \mathfrak{m} A, overline \tau)}.     

Free <Emphasis Type="Bold">C</Emphasis><Subscript>+</Subscript>-actions on <Emphasis Type="Bold">C</Emphasis><Superscript>3</Superscript> are translations

Let X be a smooth contractible three-dimensional affine algebraic variety with a free algebraic C₊-action on it such that S=X//C₊ is smooth. We prove that X is isomorphic to S×C and the action is induced by a translation on the second factor. As a consequence we show that any free algebraic C₊-action on C³ is a translation in a suitable coordinate system.     

An Upper Bound for the Poisson Kernel on Higher Rank <Emphasis Type="Italic">NA</Emphasis> Groups

Let S be a semi direct product S=N\rtimes AS=N\rtimes A where N is a connected and simply connected nilpotent Lie group and A is isomorphic with ℝ ^k , k > 1. We obtain an upper bound for the Poisson kernel for the class of second order left-invariant differential operators on S.     

On the cohomology of orbit space of free ℤ<Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-actions on lens spaces

Let G = ℤ _p , p an odd prime, act freely on a finite-dimensional CW-complex X with mod p cohomology isomorphic to that of a lens space L ^2m−1(p; q ₁, …, q _m ). In this paper, we determine the mod p cohomology ring of the orbit space X/G, when p ² ∤ m.     

Galois actions on torsion points of one-dimensional formal modules

Let F be a local non-Archimedean field with ring of integers o and uniformizer ?, and fix an algebraically closed extension k of the residue field of o. Let X be a one-dimensional formal o-module of F-height n over k. By the work of Drinfeld, the universal deformation X of X is a formal group over a power series ring R₀ in n−1 variables over Wo(k). For h∈{0,…,n−1} let Uh⊂Spec(R₀) be the locus where the connected part of the associated ?-divisible module X[?^∞] has height h. Using the theory of Drinfeld level structures we show that the representation of π₁(Uh) on the Tate module of the étale quotient is surjective.     

On s-Semipermutable Maximal and Minimal Subgroups of Sylow p-Subgroups of Finite Groups

Let R be a Noetherian algebra over a field k. A formula is given for the Krull dimension of the ring R?_k k(X) in terms of the heights of simple modules with large endomorphism rings.     

Degree sequences of <Emphasis Type="Italic">k</Emphasis>-multi-hypertournaments

Let n and k（n ≥ k 〉 1） be two non-negative integers.A k-multi-hypertournament on n vertices is a pair（V,A）,where V is a set of vertices with ｜V｜=n,and A is a set of k-tuples of vertices,called arcs,such that for any k-subset S of V,A contains at least one（at most k!） of the k! k-tuples whose entries belong to S.The necessary and suffcient conditions for a non-decreasing sequence of non-negative integers to be the out-degree sequence（in-degree sequence） of some k-multi-hypertournament are given.     

Annihilator Properties of Skew Monoid Rings

Let R be a ring with an endomorphism σ and F ∪ {0} the free monoid generated by U = {u ₁,…, u _t } with 0 added, and M a factor of F setting certain monomial in U to 0, enough so that, for some n, M ⁿ  = 0. In this article, we study various annihilator properties and a variety of conditions and related properties that the skew monoid ring R[M; σ] is inherited from R.