Kazhdan-Lusztig Cells and the Murphy Basis

Let H be the Iwahori–Hecke algebra associated with S_n,the symmetric group on n symbols. This algebra has two importantbases: the Kazhdan–Lusztig basis and the Murphy basis.We establish a precise connection between the two bases, allowingus to give, for the first time, purely algebraic proofs fora number of fundamental properties of the Kazhdan–Lusztigbasis and Lusztig's results on the a-function. 2000 MathematicsSubject Classification 20C08.     

Modular Branching Rules and the Mullineux Map for Hecke Algebras of Type A

We prove the quantum version - for Hecke algebras H A_n of typeA at roots of unity - of Kleshchev's modular branching rulefor symmetric groups. This result describes the socle of therestriction of an irreducible H A_n-module to the subalgebraH A_n–1. As a consequence, we describe the quantum versionof the Mullineux involution describing the irreducible moduleobtained on twisting an irreducible module with the sign representation.1991 Mathematics Subject Classification: 20C05, 20G05.     

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.     

Specht Filtrations for Hecke Algebras of Type A

Let H_q(d) be the Iwahori–Hecke algebra of the symmetricgroup, where q is a primitive 1th root of unity. Using resultsfrom the cohomology of quantum groups and recent results aboutthe Schur functor and adjoint Schur functor, it is proved that,contrary to expectations, for l 4 the multiplicities in a Spechtor dual Specht module filtration of an H_q(d)-module are welldefined. A cohomological criterion is given for when an H_q(d)-modulehas such a filtration. Finally, these results are used to givea new construction of Young modules that is analogous to theDonkin–Ringel construction of tilting modules. As a corollary,certain decomposition numbers can be equated with extensionsbetween Specht modules. Setting q = 1, results are obtainedfor the symmetric group in characteristic p 5. These resultsare false in general for p = 2 or 3.     

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.     

The Heat Flow of the CCR Algebra

Let Pf(x) = –if'(x) and Qf(x) = xf(x) be the canonicaloperators acting on an appropriate common dense domain in L²(R).The derivations D_P(A) = i(PA–AP) and D_Q(A) = i(QA–AQ)act on the *-algebra A of all integral operators having smoothkernels of compact support, for example, and one may considerthe noncommutative ‘Laplacian’, L = + , as a linear mapping of A into itself. L generates a semigroup of normal completely positive linearmaps on B(L₂(R)), and this paper establishes some basic propertiesof this semigroup and its minimal dilation to an E₀-semigroup.In particular, the author shows that its minimal dilation ispure and has no normal invariant states, and he discusses thesignificance of those facts for the interaction theory introducedin a previous paper. There are similar results for the canonical commutation relationswith n degrees of freedom, where 1 n < . 2000 MathematicsSubject Classification 46L57 (primary), 46L53, 46L65 (secondary).     

Small Deviations of Riemann-Liouville Processes In lq Spaces With Respect To Fractal Measures

We investigate Riemann–Liouville processes R_H, with H> 0, and fractional Brownian motions B_H, for 0 < H <1, and study their small deviation properties in the spacesL_q([0, 1], µ). Of special interest here are thin (fractal)measures µ, that is, those that are singular with respectto the Lebesgue measure. We describe the behavior of small deviationprobabilities by numerical quantities of µ, called mixedentropy numbers, characterizing size and regularity of the underlyingmeasure. For the particularly interesting case of self-similarmeasures, the asymptotic behavior of the mixed entropy is evaluatedexplicitly. We also provide two-sided estimates for this quantityin the case of random measures generated by subordinators. While the upper asymptotic bound for the small deviation probabilityis proved by purely probabilistic methods, the lower bound isverified by analytic tools concerning entropy and Kolmogorovnumbers of Riemann–Liouville operators. 2000 MathematicsSubject Classification 60G15 (primary), 47B06, 47G10, 28A80(secondary).     

A WKB analysis of the buckling condition for a cylindrical shell of arbitrary thickness subjected to an external pressure

We consider the plane-strain buckling of a cylindrical shellof arbitrary thickness which is made of a Varga material andis subjected to an external hydrostatic pressure on its outersurface. The WKB method is used to solve the eigenvalue problemthat results from the linear bifurcation analysis. We show thatthe circular cross-section buckles into a non-circular shapeat a value of µ₁ which depends on A₁/A₂ and a mode number,where A₁ and A₂ are the undeformed inner and outer radii, andµ₁ is the ratio of the deformed inner radius to A₁. Inthe large mode number limit, we find that the dependence ofµ₁ on A₁/A₂ has a boundary layer structure: it is constantover almost the entire region of 0 < A₁/A₂ < 1 and decreasessharply from this constant value to unity as A₁/A₂ tends tounity. Our asymptotic results for A₁ – 1 = O(1) and A₁– 1 = O(1/n) are shown to agree with the numerical resultsobtained by using the compound matrix method.     

From Endomorphisms to Automorphisms and Back: Dilations and Full Corners

When S is a discrete subsemigroup of a discrete group G suchthat G = S^–1S, it is possible to extend circle-valuedmultipliers from S to G, to dilate (projective) isometric representationsof S to (projective) unitary representations of G, and to dilate/extendactions of S by injective endomorphisms of a C*-algebra to actionsof G by automorphisms of a larger C*-algebra. These dilationsare unique provided they satisfy a minimality condition. The(twisted) semigroup crossed product corresponding to an actionof S is isomorphic to a full corner in the (twisted) crossedproduct by the dilated action of G. This shows that crossedproducts by semigroup actions are Morita equivalent to crossedproducts by group actions, making powerful tools available tostudy their ideal structure and representation theory. The dilationof the system giving the Bost–Connes Hecke C*-algebrafrom number theory is constructed explicitly as an application:it is the crossed product C₀(A_f)Q*₊, corresponding to the multiplicativeaction of the positive rationals on the additive group A_f offinite adeles.     

Zagier Duality for the Exponents of Borcherds Products for Hilbert Modular Forms

A certain sequence of weight modular forms arises in the theoryof Borcherds products for modular forms for SL₂(Z). Zagier proveda family of identities between the coefficients of these weight forms and a similar sequence of weight 3/2 modular forms, whichinterpolate traces of singular moduli. We obtain the analogousresults for modular forms arising from Borcherds products forHilbert modular forms.     

On the Algorithmic Complexity of Minkowski's Reconstruction Theorem

In 1903 Minkowski showed that, given pairwise different unitvectors µ₁, ..., µ_m in Euclidean n-space Rⁿ whichspan Rⁿ, and positive reals µ₁, ..., µ_m such that^m_i=1µ_iµ_i = 0, there exists a polytope P in Rⁿ, uniqueup to translation, with outer unit facet normals µ₁, ...,µ_m and corresponding facet volumes µ₁, ..., µ_m.This paper deals with the computational complexity of the underlyingreconstruction problem, to determine a presentation of P asthe intersection of its facet halfspaces. After a natural reformulationthat reflects the fact that the binary Turing-machine modelof computation is employed, it is shown that this reconstructionproblem can be solved in polynomial time when the dimensionis fixed but is #P-hard when the dimension is part of the input. The problem of ‘Minkowski reconstruction’ has variousapplications in image processing, and the underlying data structureis relevant for other algorithmic questions in computationalconvexity.     

Totaro's Question on Zero-Cycles on G2, F4 and E6 Torsors

In a 2004 paper, Totaro asked whether a G-torsor X that hasa zero-cycle of degree d > 0 will necessarily have a closedétale point of degree dividing d, where G is a connectedalgebraic group. This question is closely related to severalconjectures regarding exceptional algebraic groups. Totaro gavea positive answer to his question in the following cases: Gsimple, split, and of type G₂, type F₄, or simply connectedof type E₆. We extend the list of cases where the answer is‘yes’ to all groups of type G₂ and some nonsplitgroups of type F₄ and E₆. No assumption on the characteristicof the base field is made. The key tool is a lemma regardinglinkage of Pfister forms.     

Binary Quadratic Forms with Large Discriminants and Sums of Two Squareful Numbers II

Let F = (F₁, ..., F_m) be an m-tuple of primitive positive binaryquadratic forms and let U_F(x) be the number of integers notexceeding x that can be represented simultaneously by all theforms F_j, j = 1, ... , m. Sharp upper and lower bounds for U_F(x)are given uniformly in the discriminants of the quadratic forms. As an application, a problem of Erds is considered. Let V(x)be the number of integers not exceeding x that are representableas a sum of two squareful numbers. Then V(x) = x(log x)^–+o(1)with = 1 – 2^–1/3 = 0.206....     

Canonical curves in P3

Let Hilb^6t–3(P³) be the Hilbert scheme of closed 1-dimensionalsubschemes of degree 6 and arithmetic genus 4 in P³. Let H bethe component of Hilb^6t–3(P³) whose generic point correspondsto a canonical curve, that is, a complete intersection of aquadric and a cubic surface in P³. Let F be the vector spaceof linear forms in the variables z₁, z₂, z₃, z₄. Denote by F_dthe vector space of homogeneous forms of degree d. Set X = (f₂,f₃)where f₂ P(F₂) is a quadric surface, and f₃ P(F₃/f₂ ·F) is a cubic modulo f₂. Wehave a rational map, : X ... Hdefined by (f₂,f₃) f₂ f₃. It fails to be regular along thelocus where f₂ and f₃ acquire a common linear component. Ourmain result gives an explicit resolution of the indeterminaciesof as well as of the singularities of H. 2000 Mathematical Subject Classification: 14C05, 14N05, 14N10,14N15.     

Spectral Multipliers for Hardy Spaces Associated with Schrodinger Operators with Polynomial Potentials

Let T_t be the semigroup of linear operators generated by a Schrödingeroperator – A = – V, where V is a non-negative polynomial,and let be the spectral resolution of A. We say that f is an element of if the maximal function Mf(x) = sup_t>0|T_tf(x)| belongs toL_p. We prove a criterion of Mihlin type on functions F whichimplies boundedness of the operators on , 0 < p 1. 1991 MathematicsSubject Classification 42B30, 35J10.     

On the Discreteness and Convergence in n-Dimensional Mobius Groups

Throughout this paper, we adopt the same notations as in [1,6, 8] such as the Möbius group M(Rⁿ), the Clifford algebraC_n–1, the Clifford matrix group SL(2, _n), the Cliffordnorm of ||A||=(|a|²+|b|²+|c|²+|d|²) (1) and the Clifford metric of SL(2, _n) or of the Möbius groupM(Rⁿ) d(A₁,A₂)=||A₁–A₂||(|a₁–a₂|²+|b₁–b₂|²+|c₁–c₂|²+|d₁–d₂|²)(2) where |·| is the norm of a Clifford number and represents f_i M(), i = 1,2, and so on. In addition, we adopt some notions in [6, 12]:the elementary group, the uniformly bounded torsion, and soon. For example, the definition of the uniformly bounded torsionis as follows.     

Geometrical relations and plethysms in the Homfly skein of the annulus

Let _m be the closure of the Hecke algebra with m strings, H_m,in the oriented framed Homfly skein of the annulus, which providesthe natural parameter space for the Homfly satellite invariantsof a knot. The submodule ₊ spanned by the union _{m 0 m} isan algebra, isomorphic to the algebra of the symmetric functions.Turaev's geometrical basis for ₊ consists of monomials in closedm-braids A_m, the closure of the braid _m–1·...·₂₁.We collect and expand formulae relating elements expressed interms of symmetric functions to Turaev's basis. We reformulatethe formulae of Rosso and Jones for quantum sl(N) invariantsof cables in terms of plethysms of symmetric functions, anduse the connection between quantum sl(N) invariants and theskein ₊ to give a formula for the satellite of a cable as anelement of the Homfly skein ₊. We can then analyse the casewhere a cable is decorated by the pattern P_d which correspondsto a power sum in the symmetric function interpretation of ₊to get direct relations between the Homfly invariants of somediagrams decorated by power sums     

An error bound for the modified successive overrelaxation method

In this paper we consider the modified successive overrelaxation(MSOR)methodto appropriate the solution of the linear system D^-1/2 Ax =D^-1/2b, where A is a symmetric, positive definite and consistentlyordered matrix and D is a diagonal matrix with the diagonalidentical to that of A. The main purpose of this paper is to obtain some theoreticalresults, namely a bound for the norm of _n = v –v_n in termsof the norms _n –v_n-1, _n+1 –v_n and their inner product,where v =D^-1/2 x and v_n is the nth iteration vector, obtainedusing the (MSOR)method.