A Matrix Setting for the q-Schur Algebra

The Schur algebra S(n, r) has a basis (described in [6, 2.3])consisting of certain elements _i,j, where i, jI(n, r), the setof all ordered r-tuples of elements from the set n={1, 2, ...,n}. The multiplication of two such basis elements is given bya formula known as Schur's product rule. In recent years, aq-analogue S_q(n, r) of the Schur algebra has been investigatedby a number of authors, particularly Dipper and James [3, 4].The main result of the present paper, Theorem 3.6, shows howto embed the q-Schur algebra in the rth tensor power T^r(M_n)of the nxn matrix ring. This embedding allows products in theq-Schur algebra to be computed in a straightforward manner,and gives a method for generalising results on S(n, r) to S_q(n,r). In particular we shall make use of this embedding in subsequentwork to prove a straightening formula in S_q(n, r) which generalisesthe straightening formula for codeterminants due to Woodcock[12]. We shall be working mainly with three types of algebra: thequantized enveloping algebra U(gl_n) corresponding to the Liealgebra gl_n, the q-Schur algebra S_q(n, r), and the Hecke algebra,H(A_r–1). It is often convenient, in the case of the q-Schuralgebra and the Hecke algebra, to introduce a square root ofthe usual parameter q which will be denoted by v, as in [5].This corresponds to the parameter v in U(gl_n). We shall denotethis ‘extended’ version of the q-Schur algebra byS_v(n, r), and we shall usually refer to it as the v-Schur algebra.All three algebras are associative and have multiplicative identities,and the base field will be the field of rational functions,Q(v), unless otherwise stated. The symbols n and r shall bereserved for the integers given in the definitions of thesethree algebras.     

The Coradical Filtration for Quantized Enveloping Algebras

We determine the coradical filtration on a quantized envelopingalgebra U_q(g) = U defined over Q(q). As applications, we determinethe biideals of U and describe the group of Hopf algebra automorphismsof U.     

Nonembeddable Factors of the Enveloping Algebras of Semisimple Lie Algebras

It is shown that the enveloping algebra of every (finite dimensional,complex) semisimple Lie algebra has a factor ring which cannotbe embedded in any Artinian ring. The proof helps to clarifythe connection between primary decomposition and embeddability,which was obscured in the original proof [3] that U(sl₂(C))admits a nonembeddable factor.     

Spectra of Analytic Toeplitz Tuples on Hardy Spaces

Let A be a complex algebra (with unit e), X a left A moduleand a = (a₁, ..., a_m) a commuting tuple of elements in A. FollowingTaylor [8], we have to consider the Koszul complex K_•(a,X) in order to define the joint spectrum of the tuple a. 1991Mathematics Subject Classification 47A13.     

Crystal Bases for Quantum Generalized Kac-Moody Algebras

In this paper, we develop the crystal basis theory for quantumgeneralized Kac–Moody algebras. For a quantum generalizedKac–Moody algebra U_q(g), we first introduce the categoryO_int of U_q(g)-modules and prove its semisimplicity. Next, wedefine the notion of crystal bases for U_q(g)-modules in thecategory O_int and for the subalgebra . We then prove the tensor product rule and the existence theoremfor crystal bases. Finally, we construct the global bases forU_q(g)-modules in the category O_int and for the subalgebra . 2000 Mathematics Subject Classification17B37, 17B67.     

Implicit finite difference schemes for a linear model of well-reservoir coupling

Standard reservoir models usually consider wells as Dirac measuresover an interval length. Moreover, the well-reservoir couplingis taken into account under quite simplified assumptions. Mostrecently, however, attention has been drawn to the fact thatin some situations, such as those related to non-vertical wells,these simplifications do not allow us to model some relevantmechanisms of the coupled flow. Therefore, more complex alternativemodels have been proposed recently in the oil reservoir simulationliterature. A linearized version for the well-reservoir couplingcan be written, in an appropriate functional setting, in theform U'(t) + AU(t) = F(t). In this work we discuss implicitin time discretizations of this equation, of the form { Uⁿ⁺¹_h - Uⁿ_h÷+A_hUⁿ⁺¹_h = Fⁿ⁼¹_h, U⁰_h=U_0.h We propose two different approximations, corresponding to first-and second-order spatial truncation errors, and we establishthe convergence of both approximations.     

A Class of Infinite Dimensional Simple Lie Algebras

Let A be an abelian group, F be a field of characteristic 0,and , ß be linearly independent additive maps fromA to F, and let ker()\{0}. Then there is a Lie algebra L = L(A,, ß, ) = _xA Fe_x under the product [e_x, e_y]]=(x–y)e_x+y+(ß) (x, y) e_x+y–. If, further, ß() = 1, and ß(A) = Z, thereis a subalgebra L⁺:=L(A⁺, , ß, ) = _xA⁺ Fe_x, whereA⁺ = {xA|ß(x)0}. The necessary and sufficient conditionsare given for L' = [L, L] and L⁺ to be simple, and all semi-simpleelements in L' and L⁺ are determined. It is shown that L' andL⁺ cannot be isomorphic to any other known Lie algebras andL' is not isomorphic to any L⁺, and all isomorphisms betweentwo L' and all isomorphisms between two L⁺ are explicitly described.     

A Geometric Invariant for Metabelian Pro-p Groups

In [2] Bieri and Strebel introduced a geometric invariant forfinitely generated abstract metabelian groups that determineswhich groups are finitely presented. For a valuable survey oftheir results, see [6]; we recall the definition briefly inSection 4. We shall introduce a similar invariant for pro-pgroups. Let F be the algebraic closure of F_p and U be the formal powerseries algebra F[T], with group of units U^x. Let Q be a finitelygenerated abelian pro-p group. We write Z_p[Q] for the completedgroup algebra of Q over Z_p. Let T(Q) be the abelian group Hom(Q,U^x) of continuous homomorphisms from Q to U^x. We write 1 forthe trivial homomorphism. Each vT(Q) extends to a unique continuousalgebra homomorphism from Z_p[Q]to U.     

Cohomology Actions and Centralisers in Unitary Reflection Groups

In an earlier work, the second author proved a general formulafor the equivariant Poincaré polynomial of a linear transformationg which normalises a unitary reflection group G, acting on thecohomology of the corresponding hyperplane complement. Thisformula involves a certain function (called a Z-function below)on the centraliser CG(g), which was proved to exist only incertain cases, for example, when g is a reflection, or is G-regular,or when the centraliser is cyclic. In this work we prove theexistence of Z-functions in full generality. Applications includereduction and product formulae for the equivariant Poincarépolynomials. The method is to study the poset L(C_G(g)) of subspaceswhich are fixed points of elements of C_G(g). We show that thisposet has Euler characteristic 1, which is the key propertyrequired for the definition of a Z-function. The fact aboutthe Euler characteristic in turn follows from the ‘join-atom’property of L(C_G(g)), which asserts that if [X₁,..., X_k} isany set of elements of L(C_G(g)) which are maximal (set theoretically)then their setwise intersection lies in L(C_G(g)). 2000 Mathematical Subject Classification:primary 14R20, 55R80; secondary 20C33, 20G40.     

Noether Numbers for Subrepresentations of Cyclic Groups of Prime Order

Let W be a finite-dimensional Z/p-module over a field, k, ofcharacteristic p. The maximum degree of an indecomposable elementof the algebra of invariants, k[W]^Z/p, is called the Noethernumber of the representation, and is denoted by rß(W).A lower bound for rß(W) is derived, and it is shownthat if U is a Z/p submodule of W, then rß(U) rß(W).Aset of generators, in fact a SAGBI basis, is constructed fork[V₂ V₃]^Z/p, where V_n is the indecomposable Z/p-module of dimensionn. 2000 Mathematics Subject Classification 13A50, 20J06.     

Cocroissance Des Groupes A Petite Simplification

Let be a group presented by e₁,...,e_m|r₁,...,r_k, L the freegroup generated by e₁,...,e_m, and N = Ker(L). Let c_n be thenumber of elements of length n in N. We know that c = lim sup(c_n)^1/n exists and that (2m–1) < c 2m – 1. ifN {1}. We prove that if the group satisfies a condition slightlyweaker than the small cancellation condition C^'() with <1/6, then c(2m–1) when the lengths of the relations r_itend to infinity. A consequence of this result is a theoremof Grigorchuk.     

A Lie Theoretic Approach to Thompson's Theorems on Singular Values-Diagonal Elements and Some Related Results

Thompson's famous theorems on singular values–diagonalelements of the orbit of an nxn matrix A under the action (1)U(n) U(n) where A is complex, (2) SO(n) SO(n), where A isreal, (3) O(n) O(n) where A is real are fully examined. Coupledwith Kostant's result, the real semi-simple Lie algebra so_n,n yields (2) and hence (3) and the sufficient part (the hardpart) of (1). In other words, the curious subtracted term(s)are well explained. Although the diagonal elements correspondingto (1) do not form a convex set in Cⁿ, the projection of thediagonal elements into Rⁿ (or iRⁿ) is convex and the characterizationof the projection is related to weak majorization. An elementaryproof is given for this hidden convexity result. Equivalentstatements in terms of the Hadamard product are also given.The real simple Lie algebra su_{n, n} shows that such a convexityresult fits into the framework of Kostant's result. Convexityproperties and torus relations are studied. Thompson's resultson the convex hull of matrices (complex or real) with prescribedsingular values, as well as Hermitian matrices (real symmetricmatrices) with prescribed eigenvalues, are generalized in thecontext of Lie theory. Also considered are the real simple Liealgebras so_{p, q} and so_{p, q}, p < q, which yield the rectangularcases. It is proved that the real part and the imaginary partof the diagonal elements of complex symmetric matrices withprescribed singular values are identical to a convex set inRⁿ and the characterization is related to weak majorization.The convex hull of complex symmetric matrices and the convexhull of complex skew symmetric matrices with prescribed singularvalues are given. Some questions are asked.     

Isomorphisms of Group Algebras

Let G₁ and G₂ be locally compact groups. If T is an algebraisomorphism of L¹(G₁) onto L¹(G₂) with ||T|| (1+3), then G₁and G₂ are isomorphic. This improves on earlier results, and,in a certain sense, is best possible. However, the main conjecturethat the groups are isomorphic if ||T|| < 2 remains unsolvedexcept for abelian groups and for connected groups. Similarresults are given for the measure algebra M(G) and for the algebraC(G) of continuous functions when the group G is compact.     

A non-conforming finite element method with anisotropic mesh grading for the Stokes problem in domains with edges

The solution of the Stokes problem in three-dimensional domainswith edges has anisotropic singular behaviour which is treatednumerically by using anisotropic finite element meshes. Thevelocity is approximated by Crouzeix–Raviart (nonconformingP₁ ) elements and the pressure by piecewise constants. Thismethod is stable for general meshes (without minimal or maximalangle condition). Denoting by N_e the number of elements in themesh, the interpolation and consistency errors are of the optimalorder h N_e^–1/3 which is proved for tensor product meshes.As a by-product, we analyse also nonconforming prismatic elementswith P₁ [oplus ] span {x₃²} as the local space for the velocitywhere x₃ is the direction of the edge.     

Algebras with Collapsing Monomials

A semigroup S is called collapsing if there exists a positiveinteger n such that for every subset of n elements in S, atleast two distinct words of length n on these letters are equalin S. In particular, S is collapsing whenever it satisfies alaw. Let U(A) denote the group of units of a unitary associativealgebra A over a field k of characteristic zero. If A is generatedby its nilpotent elements, then the following conditions areequivalent: U(A) is collapsing; U(A) satisfies some semigrouplaw; U(A) satisfies the Engel condition; U(A) is nilpotent;A is nilpotent when considered as a Lie algebra.     

Nest Representations of Directed Graph Algebras

This paper is a comprehensive study of the nest representationsfor the free semigroupoid algebra L_G of a countable directedgraph G as well as its norm-closed counterpart, the tensor algebraT⁺(G). We prove that the finite-dimensional nest representations separatethe points in L_G, and a fortiori, in T⁺(G). The irreduciblefinite-dimensional representations separate the points in L_Gif and only if G is transitive in components (which is equivalentto being semisimple). Also the upper triangular nest representationsseparate points if and only if for every vertex x T(G) supportinga cycle, x also supports at least one loop edge. We also study faithful nest representations. We prove that L_G(or T⁺(G) admits a faithful irreducible representation if andonly if G is strongly transitive as a directed graph. More generally,we obtain a condition on G which is equivalent to the existenceof a faithful nest representation. We also give a conditionthat determines the existence of a faithful nest representationfor a maximal type N nest. 2000 Mathematics Subject Classification47L80, 47L55, 47L40.     

Rigid representations of a double quiver of type A, and Richardson elements in seaweed Lie algebras

In this paper, we show that there is always an open adjointorbit in the nilpotent radical of a seaweed Lie algebra in gl_n(k),thus answering positively in this gl_n(k) case to a questionraised independently by Michel Duflo and Dmitri Panyushev. Theproof gives an explicit construction, using -filtered modulesof quasi-hereditary algebras arising from quotients of the doubleof quivers of type A. An example of a seaweed Lie algebra ina simple Lie algebra of type E₈ not admitting an open orbitin its nilpotent radical is given.     

Lie Powers of Modules for Groups of Prime Order

Let L(V) be the free Lie algebra on a finite-dimensional vectorspace V over a field K, with homogeneous components Lⁿ(V) forn 1. If G is a group and V is a KG-module, the action of Gextends naturally to L(V), and the Lⁿ(V) become finite-dimensionalKG-modules, called the Lie powers of V. In the decompositionproblem, the aim is to identify the isomorphism types of indecomposableKG-modules, with their multiplicities, in unrefinable directdecompositions of the Lie powers. This paper is concerned withthe case where G has prime order p, and K has characteristicp. As is well known, there are p indecomposables, denoted hereby J₁,...,J_p, where J_r has dimension r. A theory is developedwhich provides information about the overall module structureof LV) and gives a recursive method for finding the multiplicitiesof J₁,...,J_p in the Lie powers Lⁿ(V). For example, the theoryyields decompositions of L(V) as a direct sum of modules isomorphiceither to J₁ or to an infinite sum of the form J_r J_{p-1} J_{p-1} ... with r 2. Closed formulae are obtained for the multiplicitiesof J₁,..., J_p in Lⁿ(J_p and Lⁿ(J_{p-1). For r < p-1, the indecomposableswhich occur with non-zero multiplicity in Lⁿ(J_r) are identifiedfor all sufficiently large n. 2000 Mathematical Subject Classification:17B01, 20C20.     

A Multiplicative Property of Quantum Flag Minors II

Let U⁺ be the plus part of the quantized enveloping algebraof a simple Lie algebra of type A_n and let B^* be the dual canonicalbasis of U⁺. Let b, b' be in B^*, and suppose that one of thetwo elements is a q-commuting product of quantum flag minors.It is shown that b and b' are multiplicative if and only ifthey q-commute.     

A continuous path of singular masas in the hyperfinite II1 factor

Using methods of Tauer, we exhibit an uncountable family ofsingular masas in the hyperfinite II₁ factor R all with Pukánszkyinvariant {1}, no pair of which is conjugate by an automorphismof R. This is done by introducing an invariant (A) for a masaA in a II₁ factor N as the maximal size of a projection eA forwhich A e contains non-trivial centralizing sequences for eNe. The masas produced give rise to a continuous map from theinterval [0, 1] into the singular masas in R equipped with thed_{, 2}-metric. A result is also given showing that the Pukánszky invariantis d_{, 2}-upper semi-continuous. As a consequence, the sets ofmasas with Pukánszky invariant {n} are all closed.