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.     

SCALED ASYMPTOTICS FOR SOME q-SERIES

This work, investigates the asymptotics for Euler’s q-exponentialE_q(z), Ramanujan’s function A_q(z), Jackson’s q-Besselfunction J_v⁽²⁾ (z; q), the Stieltjes–Wigert orthogonalpolynomials S_n(x; q) and q-Laguerre polynomials L_n⁽⁾ (x; q)as q approaches 1.     

A Hilbert Basis Theorem for Quantum Groups

A noncommutative version of the Hilbert basis theorem is usedto show that certain R-symmetric algebras S_R(V) are Noetherian.This result applies in particular to the coordinate ring ofquantum matrices A_R(V) associated with an R-matrix R operatingon the tensor square of a vector space V, to show that, undera natural set of hypotheses on R, the algebra A_R(V) is Noetherianand its augmentation ideal has a polynormal set of generators.As a corollary we deduce that these properties hold for thegeneric quantized function algebras R_q[G] over any field ofcharacteristic zero, for G an arbitrary connected, simply connected,semisimple group over C. That R_q[G] is Noetherian recovers aresult due to Joseph [10], with a different proof.1991 MathematicsSubject Classification 17B37, 16P40.     

Essentially infinite colourings of hypergraphs

We consider edge colourings of the complete r-uniform hypergraphK_n^(r)on n vertices. How many colours may such a colouring haveif we restrict the number of colours locally? The local restrictionis formulated as follows: for a fixed hypergraph H and an integerk we call a colouring (H, k)-local if every copy of H in thecomplete hypergraph K_n^(r) receives at most k different colours. We investigate the threshold for k that guarantees that every(H, k)-local colouring of K_n^(r) must have a globally boundednumber of colours as n , and we establish this threshold exactly.The following phenomenon is also observed: for many H (at leastin the case of graphs), if k is a little over this threshold,the unbounded (H, k)-local colourings exhibit their colourfulnessin a ‘sparse way’; more precisely, a bounded numberof colours are dominant while all other colours are rare. Hencewe study the threshold k₀ for k that guarantees that every (H,k)-local colouring n of K_n^(r) with k k₀ must have a globallybounded number of colours after the deletion of up to n^r edgesfor any fixed > 0 (the bound on the number of colours isallowed to depend on H and only); we think of such colouringsn as ‘essentially finite’. As it turns out, everyessentially infinite colouring is closely related to a non-monochromaticcanonical Ramsey colouring of Erdös and Rado. This secondthreshold is determined up to an additive error of 1 for everyhypergraph H. Our results extend earlier work for graphs byClapsadle and Schelp [‘Local edge colorings that are global’,J. Graph Theory 18 (1994) 389–399] and by the first twoauthors and Schelp [‘Essentially infinite colourings ofgraphs’, J. London Math. Soc. (2) 61 (2000) 658–670].We also consider a related question for colourings of the integersand arithmetic progressions.

---

2000 Mathematics Subject Classification 05D10 (primary), 05C35(secondary). The first author was partially supported by NSF grants CCR 0225610and DMS 0505550. The second author was partially supported byFAPESP and CNPq through a Temático–ProNEx project(Proc. FAPESP 2003/09925–5) and by CNPq (Proc. 306334/2004–6and 479882/2004–5). The third author was partially supportedby NSF grant DMS 0300529. The fourth author was partly supportedby the DFG within the European graduate program ‘Combinatorics,Geometry, and Computation’ (No. GRK 588/2) and by DFGgrant SCHA 1263/1–1. This work was supported in part bya CAPES/DAAD collaboration grant.     

Oscillation Properties of a Semi-discrete Approximation to the Beam Equation with a Second Order Term

The solution of the equation w(x)u_tt+[p(x)u_xx]_xx–[p(x)u_x]_x=0, 0< x < L, t > 0, where it is assumed that w, p,and q are positive on the interval [0, L], is approximated bythe method of straight lines. The resulting approximation isa linear system of differential equations with coefficient matrixS. The matrix S is studied under a variety of boundary conditionswhich result in a conservative system. In all cases the matrixS is shown to be similar to an oscillation matrix.     

Strong Weighted Mean Summability and Kuttner's Theorem

In this paper we study sequence spaces that arise from the conceptof strong weighted mean summability. Let q = (q_n) be a sequenceof positive terms and set Q_n = ⁿ_k=1q_k. Then the weighted meanmatrix M_q = (a_nk) is defined by if kn, a_nk=0 if k>n. It is well known that M_q defines a regular summability methodif and only if Q_n. Passing to strong summability, we let 0<p<.Then , are the spaces of all sequences that are strongly M_q-summablewith index p to 0, strongly M_q-summable with index p and stronglyM_q-bounded with index p, respectively. The most important specialcase is obtained by taking M_q = C₁, the Cesàro matrix,which leads to the familiar sequence spaces w₀(p), w(p) and w(p), respectively, see [4, 21]. We remark that strong summabilitywas first studied by Hardy and Littlewood [8] in 1913 when theyapplied strong Cesàro summability of index 1 and 2 toFourier series; orthogonal series have remained the main areaof application for strong summability. See [32, 6] for furtherreferences. When we abstract from the needs of summability theory certainfeatures of the above sequence spaces become irrelevant; forinstance, the q_k simply constitute a diagonal transform. Hence,from a sequence space theoretic point of view we are led tostudy the spaces     

Geometric Approximation Of The Fibre Of The Freudenthal Suspension

Let Rat_k(CPⁿ) denote the space of based holomorphic maps ofdegree k from the Riemannian sphere S² to the complex projectivespace CPⁿ. The basepoint condition we assume is that f()=[1,..., 1]. Such holomorphic maps are given by rational functions: Rat_k(CPⁿ) ={(p₀(z), ..., p_n(z)):each p_i(z) is a monic, degree-kpolynomial and such that there are no roots common to all p_i(z)}.(1.1) The study of the topology of Rat_k(CPⁿ) originated in [10]. Later,the stable homotopy type of Rat_k(CPⁿ) was described in [3] interms of configuration spaces and Artin's braid groups. LetW(S²ⁿ) denote the homotopy theoretic fibre of the Freudenthalsuspension E:S²ⁿ S²ⁿ⁺¹. Then we have the following sequenceof fibrations: ²S²ⁿ⁺¹ W(S²ⁿ)S²ⁿ S²ⁿ⁺¹. A theorem in [10] tellsus that the inclusion Rat_k(CPⁿ) ²_kCP^{n 2}S²ⁿ⁺¹ is a homotopy equivalenceup to dimension k(2n–1). Thus if we form the direct limitRat(CPⁿ)= lim_k Rat_k(CPⁿ), we have, in particular, that Rat(CPⁿ)is homotopy equivalent to ²S²ⁿ⁺¹. If we take the results of [3] and [10] into account, we naturallyencounter the following problem: how to construct spaces X_k(CPⁿ),which are natural generalizations of Rat_k(CPⁿ), so that X(CPⁿ)approximates W(S²ⁿ). Moreover, we study the stable homotopytype of X_k(CPⁿ). The purpose of this paper is to give an answer to this problem.The results are stated after the following definition. 1991Mathematics Subject Classification 55P35.     

On the Number of Solutions of an Equation Over a Finite Field

The Stöhr–Voloch approach is used to obtain a newbound for the number of solutions in (F_q)² of an equation f(X,Y) = 0, where f(X, Y) is an absolutely irreducible polynomialwith coefficients in a finite field F_q.     

SIMULTANEOUS DIOPHANTINE APPROXIMATION BY SQUARE-FREE NUMBERS

Let ₁, ...,_r R be ‘not very well approximable’,for example, Q-linearly independent real algebraic numbers.Then there are infinitely many positive square-free integersn such that ||n_i|| << n^–(2/3r)+(1 i r), where||·|| denotes distance to the nearest integer.     

Hypersurface Singularities with 2-Dimensional Critical Locus

Consider an analytic germ f:(C^m, 0)(C, 0) (m3) whose criticallocus is a 2-dimensional complete intersection with an isolatedsingularity (icis). We prove that the homotopy type of the Milnorfiber of f is a bouquet of spheres, provided that the extendedcodimension of the germ f is finite. This result generalizesthe cases when the dimension of the critical locus is zero [8],respectively one [12]. Notice that if the critical locus isnot an icis, then the Milnor fiber, in general, is not homotopicallyequivalent to a wedge of spheres. For example, the Milnor fiberof the germ f:(C⁴, 0)(C, 0), defined by f(x₁, x₂, x₃, x₄) =x₁x₂x₃x₄ has the homotopy type of S¹xS¹xS¹. On the other hand,the finiteness of the extended codimension seems to be the rightgeneralization of the isolated singularity condition; see forexample [9–12, 17, 18]. In the last few years different types of ‘bouquet theorems’have appeared. Some of them deal with germs f:(X, x)(C, 0) wheref defines an isolated singularity. In some cases, similarlyto the Milnor case [8], F has the homotopy type of a bouquetof (dim X–1)-spheres, for example when X is an icis [2],or X is a complete intersection [5]. Moreover, in [13] Siersmaproved that F has a bouquet decomposition FF₀Sⁿ...Sⁿ (whereF₀ is the complex link of (X, x)), provided that both (X, x)and f have an isolated singularity. Actually, Siersma conjecturedand Tibr proved [16] a more general bouquet theorem for thecase when (X, x) is a stratified space and f defines an isolatedsingularity (in the sense of the stratified spaces). In thiscase F_iF_i, where the F_i are repeated suspensions of complexlinks of strata of X. (If (X, x) has the ‘Milnor property’,then the result has been proved by Lê; for details see[6].) In our situation, the space-germ (X, x) is smooth, but f hasbig singular locus. Surprisingly, for dim Sing f^–1(0)2,the Milnor fiber is again a bouquet (actually, a bouquet ofspheres, maybe of different dimensions). This result is in thespirit of Siersma's paper [12], where dim Sing f^–1(0)= 1. In that case, there is only a rather small topologicalobstruction for the Milnor fiber to be homotopically equivalentto a bouquet of spheres (as explained in Corollary 2.4). Inthe present paper, we attack the dim Sing f^–1(0) = 2 case.In our investigation some results of Zaharia are crucial [17,18].     

Hammocks and the Nazarova-Roiter Algorithm

Hammocks have been considered by Brenner [1], who gave a numericalcriterion for a finite translation quiver to be the Auslander–Reitenquiver of some representation-finite algebra. Ringel and Vossieck[11] gave a combinatorial definition of left hammocks whichgeneralised the concept of hammocks in the sense of Brenner,as a translation quiver H and an additive function h on H (calledthe hammock function) satisfying some conditions. They showedthat a thin left hammock with finitely many projective verticesis just the preprojective component of the Auslander–Reitenquiver of the category of S-spaces, where S is a finite partiallyordered set (abbreviated as ‘poset’). An importantrole in the representation theory of posets is played by twodifferentiation algorithms. One of the algorithms was developedby Nazarova and Roiter [8], and it reduces a poset S with amaximal element a to a new poset S'=_aS. The second algorithmwas developed by Zavadskij [13], and it reduces a poset S witha suitable pair (a, b) of elements a, b to a new poset S'=_(a,b)S.The main purpose of this paper is to construct new left hammocksfrom a given one, and to show the relationship between thesenew left hammocks and the Nazarova–Roiter algorithm. Ina later paper [5], we discuss the relationship between hammocksand the Zavadskij algorithm.     

On Waring's Problem in Number Fields

Let K be an algebraic number field of degree n over the rationals,and denote by J_k the subring of K generated by the kth powersof the integers of K. Then G_K(k) is defined to be the smallests1 such that, for all totally positive integers vJ_k of sufficientlylarge norm, the Diophantine equation (1.1) is soluble in totally non-negative integers _i of K satisfying N(_i)<<N(v)^1/k (1is). (1.2) In (1.2) and throughout this paper, all implicit constants areassumed to depend only on K, k, and s. The notation G_K(k) generalizesthe familiar symbol G(k) used in Waring's problem, since wehave G_Q(k) = G(k). By extending the Hardy–Littlewood circle method to numberfields, Siegel [8, 9] initiated a line of research (see [1–4,11]) which generalized existing methods for treating G(k). Thistypically led to upper bounds for G_K(k) of approximate strengthnB(k), where B(k) was the best contemporary upper bound forG(k). For example, Eda [2] gave an extension of Vinogradov'sproof (see [13] or [15]) that G(k)(2+o(1))k log k. The presentpaper will eliminate the need for lengthy generalizations assuch, by introducing a new and considerably shorter approachto the problem. Our main result is the following theorem.     

Hypersurfaces in a Unit Sphere Sn+1(1) with Constant Scalar Curvature

The paper considers n-dimensional hypersurfaces with constantscalar curvature of a unit sphere S^n–1(1). The hypersurfaceS^k(c₁)xS^n–k(c₂) in a unit sphere Sⁿ⁺¹(1) is characterized,and it is shown that there exist many compact hypersurfaceswith constant scalar curvature in a unit sphere Sⁿ⁺¹(1) whichare not congruent to each other in it. In particular, it isproved that if M is an n-dimensional (n > 3) complete locallyconformally flat hypersurface with constant scalar curvaturen(n–1)r in a unit sphere Sⁿ⁺¹(1), then r > 1–2/n,and (1) when r (n–2)/(n–1), if then M is isometric to S¹xS^n–1(c),where S is the squared norm of the second fundamental form ofM; (2) there are no complete hypersurfaces in Sⁿ⁺¹(1) with constantscalar curvature n(n–1)r and with two distinct principalcurvatures, one of which is simple, such that r = (n–2)/(n–1)and      

A Necessary and Sufficient Condition for a Linear Differential System to be Strongly Monotone

In order to present the results of this note, we begin withsome definitions. Consider a differential system [formula] where IR is an open interval, and f(t, x), (t, x)IxRⁿ, is acontinuous vector function with continuous first derivativesf_r/x_s, r, s=1, 2, ..., n. Let D_xf(t, x), (t, x)IxRⁿ, denote the Jacobi matrix of f(t,x), with respect to the variables x₁, ..., x_n. Let x(t, t₀,x₀), tI(t₀, x₀) denote the maximal solution of the system (1)through the point (t₀, x₀)IxRⁿ. For two vectors x, yRⁿ, we use the notations x>y and x>>yaccording to the following definitions: [formula] An nxn matrix A=(a_rs) is called reducible if n2 and there existsa partition [formula] (p1, q1, p+q=n) such that [formula] The matrix A is called irreducible if n=1, or if n2 and A isnot reducible. The system (1) is called strongly monotone if for any t₀I, x₁,x₂Rⁿ [formula] holds for all t>t₀ as long as both solutions x(t, t₀, x_i),i=1, 2, are defined. The system is called cooperative if forall (t, x)IxRⁿ the off-diagonal elements of the nxn matrix D_xf(t,x) are nonnegative. 1991 Mathematics Subject Classification34A30, 34C99.     

On the Growth of Ideals and Submodules

All rings in this paper are commutative, with identity. If thering R is either finitely generated, or semi-local (by whichI mean Noetherian and possessing only finitely many maximalideals), then R has only a finite number of ideals of each finiteindex. Thus it makes sense to study the function na_n(R), wherea_n(R) denotes the number of ideals of index n in R. In an earliernote [10], I determined a_n(R) for certain 2-dimensional domainsR. The results to be discussed here are less precise, but moregeneral; in particular, they deal with submodules of a finitelygenerated module. This makes it possible to translate them intoresults about the growth of normal subgroups in certain metabeliangroups, the original motivation for this work: for example,we determine the finitely generated metabelian groups with ‘polynomialnormal subgroup growth’ (Theorem 6.1).     

The (Q, q)-Schur Algebra

In this paper we use the Hecke algebra of type B to define anew algebra S which is an analogue of the q-Schur algebra. Weshow that S has ‘generic’ basis which is independentof the choice of ring and the parameters q and Q. We then constructWeyl modules for S and obtain, as factor modules, a family ofirreducible S-modules defined over any field. 1991 MathematicsSubject Classification: 16G99, 20C20, 20G05.     

Stability in the Sense of Bounded Average Power

An R^m-valued sequence (x_k): = (x_k : k = 1, 2, ...), e.g. generatedrecursively by x_k = f_k (x_k–_k, U_k), is called ‘averagepth power bounded’ if (1/K) is bounded uniformly in K= 1, 2,.... (The case p = 2 may correspond to ‘power’in the physical sense.) This is a notion of stability. Givenestimates of the form: f_k (x, u) < a x + ¶ _k conditionsare obtained on the coefficient sequence (a_k) and the inputestimates e_k:=¶_k (u_k) which ensure this form of stabilityfor the output (x_k). In particular, a condition (utilized inan application to adaptive control) is obtained which imposes(i) a bound b on (a_k) and a ‘sparsity measure’ m(K) on #{kK: a_k>} as K ( >1) (ii) average pth power boundednesson (e_k), and (iii) a growth condition on (e_k) related to b andm (•). This condition is sharp.     

Necessary and Sufficient Tauberian Conditions, Under Which Convergence Follows From Summability (C, 1)

Let (s_k: k = 0, 1, ...) be a sequence of real numbers whichis summable (C, 1) to a finite limit. We prove that (s_k) isconvergent if and only if the following two conditions are satisfied: where _n denotes the integer part of the productn. Both conditions are clearly satisfied if (s_k) is slowly decreasingin the sense of R. Schmidt and G. H. Hardy. The symmetric counterparts of the conditions above are thosewhen ‘limsup’ and ‘liminf’ are interchangedon the left-hand sides, while the inequality sign ‘ ’is changed for the opposite ‘ ’ in them. Next, let (s_k) be a sequence of complex numbers which is summable(C, 1) to a finite limit. We prove that (s_k) is convergent ifand only if one of the following conditions is satisfied: We also prove a general Tauberian theorem forsequences in ordered linear spaces.     

Geometrical Spines of Lens Manifolds

We introduce the concept of ‘geometrical spine’for 3-manifolds with natural metrics, in particular, for lensmanifolds. We show that any spine of L_p,q that is close enoughto its geometrical spine contains at least E(p,q) – 3vertices, which is exactly the conjectured value for the complexityc(L_p,q). As a byproduct, we find the minimal rotation distance(in the Sleator–Tarjan–Thurston sense) between atriangulation of a regular p-gon and its image under rotation.     

Specht modules and semisimplicity criteria for Brauer and Birman–Murakami–Wenzl algebras

A construction of bases for cell modules of the Birman–Murakami–Wenzl (or B–M–W) algebra B _n (q,r) by lifting bases for cell modules of B _n−1(q,r) is given. By iterating this procedure, we produce cellular bases for B–M–W algebras on which a large Abelian subalgebra, generated by elements which generalise the Jucys–Murphy elements from the representation theory of the Iwahori–Hecke algebra of the symmetric group, acts triangularly. The triangular action of this Abelian subalgebra is used to provide explicit criteria, in terms of the defining parameters q and r, for B–M–W algebras to be semisimple. The aforementioned constructions provide generalisations, to the algebras under consideration here, of certain results from the Specht module theory of the Iwahori–Hecke algebra of the symmetric group. Research supported by Japan Society for Promotion of Science.