Quadratic addition rules for quantum integers

For every positive integer n, the quantum integer [n]_q is the polynomial [n]_q=1+q+q²+?+q^n-1. A quadratic addition rule for quantum integers consists of sequences of polynomials , , and such that for all m and n. This paper gives a complete classification of quadratic addition rules, and also considers sequences of polynomials that satisfy the associated functional equation .     

Compactness via symmetrization

Consider two types of translation-invariant functionals and on , and a sequence of functions f_n whose corresponding symmetric rearrangements are convergent. We show that f_n themselves converge up to translations if either or . These compactness results lead to applications in variational problems and stability problems in stellar dynamics.     

Classification of quasifinite modules over the Lie algebras of Weyl type

For a nondegenerate additive subgroup Γ of the n-dimensional vector space over an algebraically closed field of characteristic zero, there is an associative algebra and a Lie algebra of Weyl type spanned by all differential operators uD₁^m₁?D_n^m_n for (the group algebra), and m₁,…,m_n?0, where D₁,…,D_n are degree operators. In this paper, it is proved that an irreducible quasifinite -module is either a highest or lowest weight module or else a module of the intermediate series; furthermore, a classification of uniformly bounded -modules is completely given. It is also proved that an irreducible quasifinite -module is a module of the intermediate series and a complete classification of quasifinite -modules is also given, if Γ is not isomorphic to .     

Systems of orthogonal polynomials arising from the modular j-function

Let be the polynomial whose zeros are the j-invariants of supersingular elliptic curves over . Generalizing a construction of Atkin described in a recent paper by Kaneko and Zagier (Computational Perspectives on Number Theory (Chicago, IL, 1995), AMS/IP 7 (1998) 97-126), we define an inner product on for every . Suppose a system of orthogonal polynomials {P_n,ψ(x)}_n=0^∞ with respect to exists. We prove that if n is sufficiently large and ψ(x)P_n,ψ(x) is p-integral, then over . Further, we obtain an interpretation of these orthogonal polynomials as a p-adic limit of polynomials associated to p-adic modular forms.     

Universal factorization property of certain polycyclic groups

Let H be a torsion-free strongly polycyclic (torsion-free virtually polycyclic, resp.) group. Let G be any group with maximal condition. We show that there exists a torsion-free strongly polycyclic (torsion-free virtually polycyclic, resp.) group and an epimorphism such that for any homomorphism ?:G→H, it factors through , i.e., there exists a homomorphism such that . We show that this factorization property cannot be extended to any finitely generated group G. As an application of factorization, we give necessary and sufficient conditions for N(f,g)=R(f,g) to hold for maps f,g:X→Y between closed orientable n-manifolds where π₁(X) has the maximal condition, Y is an infra-solvmanifold, N(f,g) and R(f,g) denote the Nielsen and Reidemeister coincidence numbers, respectively.     

Ratio asymptotic of Hermite-Padé orthogonal polynomials for Nikishin systems. II

We prove ratio asymptotic for sequences of multiple orthogonal polynomials with respect to a Nikishin system of measures N(σ₁,…,σm) such that for each k, σk has constant sign on its support consisting on an interval , on which almost everywhere, and a set without accumulation points in .     

Zeros of linear combinations of Laguerre polynomials from different sequences

We study interlacing properties of the zeros of two types of linear combinations of Laguerre polynomials with different parameters, namely and . Proofs and numerical counterexamples are given in situations where the zeros of R_n, and S_n, respectively, interlace (or do not in general) with the zeros of , , k=n or n−1. The results we prove hold for continuous, as well as integral, shifts of the parameter α.     

Kloosterman's uniformly distributed sequence

Applying the theory of uniform distribution, especially the Erdös-Turán-Koksma inequality and the Koksma-Hlawka inequality, to the two-dimensional Kloosterman sequence , j=1,2,…,?(n) (where , and ?(n) is the Euler function) we find an estimation for the discrepancy of this sequence and an error term for the Kth moment, K=1,2,…, of the sequence of distances as

     

Explicit formulae for the Brenti's polynomials γa1,…,ar

We introduce two kinds of generalized Catalan numbers and χ(a₁,…,a_r;h) . They can be interpreted as the numbers of certain bounded lattice paths in a lattice point set Δ_n (n?1). Three explicit formulae for the Brenti's polynomials γ_a1,…,ar are given in terms of generalized Catalan numbers. By these formulae, we study the properties of γ_a1,…,ar and answer some problems of Brenti.     

A new majorization between functions, polynomials, and operator inequalities

Let P₊ be the set of all non-negative operator monotone functions defined on [0,∞), and put . Then and . For a function and a strictly increasing function h we write if is operator monotone. If and and if and , then . We will apply this result to polynomials and operator inequalities. Let and be non-increasing sequences, and put for t≧a₁ and for t≧b₁. Then v₊?u₊ if m≦n and : in particular, for a sequence of orthonormal polynomials, (p_n-1)₊?(p_n)₊. Suppose 0<r,p and s=0 or 1≦s≦1+p/r. Then 0≦A≦B implies for 0<α≦r/(p+r).     

On the Spaltenstein correspondence

In the article [Spa1], N. Spaltenstein has established a bijection between the irreducible components of _χ, the space of full flags fixed by a nilpotent element χ ? M(n, k), where k is an algebraically closed field, and the standard tableaux associated to the Young diagram of χ. In this present work we determine, when χ is of hook type, for each irreducible component X of _χ, the unique Schubert cell _X of the full flag manifold = (V) (where V is vector space of dimension n over k), such that X ∩ _X is a dense subspace in X. This result will allow us to optimize the computation of _χ and when k = is the complex field, to see that the graph resolution of the partition (2, 1, …, 1) of n is related to the Dynkin diagram of sl(n, ).