Skew quasisymmetric Schur functions and noncommutative Schur functions

Recently a new basis for the Hopf algebra of quasisymmetric functions QSym, called quasisymmetric Schur functions, has been introduced by Haglund, Luoto, Mason, van Willigenburg. In this paper we extend the definition of quasisymmetric Schur functions to introduce skew quasisymmetric Schur functions. These functions include both classical skew Schur functions and quasisymmetric Schur functions as examples, and give rise to a new poset LC that is analogous to Young's lattice. We also introduce a new basis for the Hopf algebra of noncommutative symmetric functions NSym. This basis of NSym is dual to the basis of quasisymmetric Schur functions and its elements are the pre-image of the Schur functions under the forgetful map χ:NSym→Sym. We prove that the multiplicative structure constants of the noncommutative Schur functions, equivalently the coefficients of the skew quasisymmetric Schur functions when expanded in the quasisymmetric Schur basis, are nonnegative integers, satisfying a Littlewood–Richardson rule analogue that reduces to the classical Littlewood–Richardson rule under χ.As an application we show that the morphism of algebras from the algebra of Poirier–Reutenauer to Sym factors through NSym. We also extend the definition of Schur functions in noncommuting variables of Rosas–Sagan in the algebra NCSym to define quasisymmetric Schur functions in the algebra NCQSym. We prove these latter functions refine the former and their properties, and project onto quasisymmetric Schur functions under the forgetful map. Lastly, we show that by suitably labeling LC, skew quasisymmetric Schur functions arise in the theory of Pieri operators on posets.     

Finite Generation of Units in Alternative Loop Rings

Let L be an RA loop, that is, a loop whose loop ring in any characteristic is an alternative, but not associative, ring. Suppose that L is finite and that any noncommutative division algebra appearing as a simple component in the Wedderburn decomposition of Q L is the classical Cayley–Dickson algebra over Q. Then the unit loop of the alternative loop ring Z L of L over the ring of rational integers is finitely generated.     

Hecke Algebras of Group Extensions

Abstract

We describe the Hecke algebra ?(Γ,Γ₀) of a Hecke pair (Γ,Γ₀) in terms of the Hecke pair (N,Γ₀) where N is a normal subgroup of Γ containing Γ₀. To do this, we introduce twisted crossed products of unital *-algebras by semigroups. Then, provided a certain semigroup S ? Γ/N satisfies S ^?1 S = Γ/N, we show that ? (Γ,Γ₀) is the twisted crossed product of ? (N,Γ₀) by S. This generalizes a recent theorem of Laca and Larsen about Hecke algebras of semidirect products.     

Algebra Forms with $$d^{N} = 0$$ on Quantum Plane. Generalized Clifford Algebra Approach

We construct a q-analog of exterior calculus with a differential d satisfying d ^N = 0, where N ≥ 2 and q is a primitive Nth root of unity, on a noncommutative space and introduce a notion of a q-differential k-form. A noncommutative space we consider is a reduced quantum plane. Our construction of a q-analog of exterior calculus is based on a generalized Clifford algebra with four generators and on a graded q-differential algebra. We study the structure of the algebra of q-differential forms on a reduced quantum plane and show that the first order calculus induced by the differential d is a coordinate calculus. The explicit formulae for partial derivatives of this first order calculus are found.     

On ergodic theorems for free group actions on noncommutative spaces

We extend in a noncommutative setting the individual ergodic theorem of Nevo and Stein concerning measure preserving actions of free groups and averages on spheres s_2n of even radius. Here we study state preserving actions of free groups on a von Neumann algebra A and the behaviour of (s_2n(x)) for x in noncommutative spaces L^p(A). For the Cesàro means this problem was solved by Walker. Our approach is based on ideas of Bufetov. We prove a noncommutative version of Rota ``Alternierende Verfahren' theorem. To this end, we introduce specific dilations of the powers of some noncommutative Markov operators.     

Integral Schur algebras forGL 2

The structure of Schur algebrasS(2,r) over the integral domainZ is intensively studied from the quasi-hereditary algebra point of view. We introduce certain new bases forS(2,r) and show that the Schur algebraS(2,r) modulo any ideal in the defining sequence is still such a Schur algebra of lower degree inr. A Wedderburn-Artin decomposition ofS _K (2,r) over a fieldK of characteristic 0 is described. Finally, we investigate the extension groups between two Weyl modules and classify the indecomposable Weyl-filtered modules for the Schur algebrasS _Zp(2,r) withr<p ² . Research supported by ARC Large Grant L20.24210     

Weakly Singular Integral Operators in Weighted L∞–Spaces

We study integral operators on (−1, 1) with kernels k(x, t) which may have weak singularities in (x, t) with x ∈N₁, t ∈N₂, or x=t, where N₁,N₂ are sets of measure zero. It is shown that such operators map weighted L^∞–spaces into certain weighted spaces of smooth functions, where the degree of smoothness is the higher the smoother the kernel k(x, t) as a function in x is. The spaces of smooth function are generalizations of the Ditzian-Totik spaces which are defined in terms of the errors of best weighted uniform approximation by algebraic polynomials.     

The formal theory of Hopf algebras Part II: The case of Hopf algebras

Abstract

The category Hopf_R of Hopf algebras over a commutative unital ring R is analyzed with respect to its categorical properties. The main results are: (1) For every ring R the category Hopf_R is locally presentable, it is coreflective in the category of bialgebras over R, over every R-algebra there exists a cofree Hopf algebra. (2) If, in addition, R is absoluty flat, then Hopf_R is reflective in the category of bialgebras as well, and there exists a free Hopf algebra over every R-coalgebra. Similar results are obtained for relevant subcategories of Hopf_R. Moreover it is shown that, for every commutative unital ring R, the so-called “dual algebra functor” has a left adjoint and that, more generally, universal measuring coalgebras exist.     

On the Hopf Algebraic Structure of Lie Group Integrators

A commutative but not cocommutative graded Hopf algebra H_N, based on ordered (planar) rooted trees, is studied. This Hopf algebra is a generalization of the Hopf algebraic structure of unordered rooted trees H_C, developed by Butcher in his study of Runge-Kutta methods and later rediscovered by Connes and Moscovici in the context of noncommutative geometry and by Kreimer where it is used to describe renormalization in quantum field theory. It is shown that H_N is naturally obtained from a universal object in a category of noncommutative derivations and, in particular, it forms a foundation for the study of numerical integrators based on noncommutative Lie group actions on a manifold. Recursive and nonrecursive definitions of the coproduct and the antipode are derived. The relationship between H_N and four other Hopf algebras is discussed. The dual of H_N is a Hopf algebra of Grossman and Larson based on ordered rooted trees. The Hopf algebra H_C of Butcher, Connes, and Kreimer is identified as a proper Hopf subalgebra of H_N using the image of a tree symmetrization operator. The Hopf algebraic structure of the shuffle algebra H_Sh is obtained from H_N by a quotient construction. The Hopf algebra H_P of ordered trees by Foissy differs from H_N in the definition of the product (noncommutative concatenation for H_P and shuffle for H_N) and the definitions of the coproduct and the antipode, however, these are related through the tree symmetrization operator.     

On Some Finite Dimensional Representations of Symplectic Reflection Algebras Associated to Wreath Products

Let Γ _N : = S _N  ? Γ ^N be the wreath product of Γ, a finite subgroup of SL(2,C), by the symmetric group of degree N. In this article we classify all the irreducible representations of S _N  ? Γ ^N that can be extended to a representation of the associated symplectic reflection algebra H _1,k,c (Γ _N ) (where k is a complex number and c a class function on the nontrivial elements of Γ) for nonzero values of k.     

Polynomial Identities of RA and RA2 Loop Algebras

Let F be an algebraically closed field of characteristic zero and L an RA loop. We prove that the loop algebra FL is in the variety generated by the split Cayley–Dickson algebra Z _F over F. For RA2 loops of type M(Dih(A), ^?1,g ₀), we prove that the loop algebra is in the variety generated by the algebra  ₃ which is a noncommutative simple component of the loop algebra of a certain RA2 loop of order 16. The same does not hold for the RA2 loops of type M(G, ^?1,g ₀), where G is a non-Abelian group of exponent 4 having exactly 2 squares.     

On formal quantum group laws

There exist natural generalizations of the concept of formal groups laws for noncommutative power series. This is a note on formal quantum group laws and quantum group law chunks. Formal quantum group laws correspond to noncommutative (topological) Hopf algebra structures on free associative power series algebras ká áx₁,...,x_m ? ?k\langle\! \langle x_1,\dots,x_m \rangle\! \rangle , k a field. Some formal quantum group laws occur as completions of noncommutative Hopf algebras (quantum groups). By truncating formal power series, one gets quantum group law chunks. ¶If the characteristic of k is 0, the category of (classical) formal group laws of given dimension m is equivalent to the category of m-dimensional Lie algebras. Given a formal group law or quantum group law (chunk), the corresponding Lie structure constants are determined by the coefficients of its chunk of degree 2. Among other results, a classification of all quantum group law chunks of degree 3 is given. There are many more classes of strictly isomorphic chunks of degree 3 than in the classical case.     

Perron Conditions for Uniform Exponential Expansiveness of Linear Skew-Product Flows

 We present necessary and sufficient conditions for uniform exponential expansiveness of discrete skew-product flows, in terms of uniform complete admissibility of the pair (c ₀(N, X), c ₀(N, X)). We give discrete and continuous characterizations for uniform exponential expansiveness of linear skew-product flows, using the uniform complete admissibility of the pairs (c ₀(N, X), c ₀(N, X)) and (C ₀(R ₊, X), C ₀(R ₊, X)), respectively. We generalize an expansiveness theorem due to Van Minh, R?biger and Schnaubelt, for the case of linear skew-product flows. Received August 10, 2001; in revised form June 25, 2002     

Automorphisms of Free Left Nilpotent Leibniz Algebras and Fixed Points

ABSTRACT

Let F _m (N) be the free left nilpotent (of class two) Leibniz algebra of finite rank m, with m ≥ 2. We show that F _m (N) has non-tame automorphisms and, for m ≥ 3, the automorphism group of F _m (N) is generated by the tame automorphisms and one more non-tame IA-automorphism. Let F(N) be the free left nilpotent Leibniz algebra of rank greater than 1 and let G be an arbitrary non-trivial finite subgroup of the automorphism group of F(N). We prove that the fixed point subalgebra F(N) ^G is not finitely generated.     

On differential Rota-Baxter algebras

A Rota-Baxter operator of weight λ is an abstraction of both the integral operator (when λ=0) and the summation operator (when λ=1). We similarly define a differential operator of weight λ that includes both the differential operator (when λ=0) and the difference operator (when λ=1). We further consider an algebraic structure with both a differential operator of weight λ and a Rota-Baxter operator of weight λ that are related in the same way that the differential operator and the integral operator are related by the First Fundamental Theorem of Calculus. We construct free objects in the corresponding categories. In the commutative case, the free objects are given in terms of generalized shuffles, called mixable shuffles. In the noncommutative case, the free objects are given in terms of angularly decorated rooted forests. As a byproduct, we obtain structures of a differential algebra on decorated and undecorated planar rooted forests.     

F-Polynomials in Quantum Cluster Algebras

F-polynomials and g-vectors were defined by Fomin and Zelevinsky to give a formula which expresses cluster variables in a cluster algebra in terms of the initial cluster data. A quantum cluster algebra is a certain noncommutative deformation of a cluster algebra. In this paper, we define and prove the existence of analogous quantum F-polynomials for quantum cluster algebras. We prove some properties of quantum F-polynomials. In particular, we give a recurrence relation which can be used to compute them. Finally, we compute quantum F-polynomials and g-vectors for a certain class of cluster variables, which includes all cluster variables in type A_n\mbox{A}_{n} quantum cluster algebras.     

The 2-primary torsion on elliptic curves in the Z p -extensions of Q

Let E be an elliptic curve over Q and p a prime number. Denote by Q_p,∞ the Z_p-extension of Q. In this paper, we show that if p≠3, then where E(Q_p,∞)₍₂₎ is the 2-primary part of the group E(Q_p,∞) of Q_p,∞-rational points on E. More precisely, in case p=2, we completely classify E(Q_2,∞)₍₂₎ in terms of E(Q)₍₂₎; in case p≥5 (or in case p=3 and E(Q)₍₂₎≠{O}), we show that E(Q_p,∞)₍₂₎=E(Q)₍₂₎.     

Almost Sure Convergence of the Minimum Bipartite Matching Functional in Euclidean Space

Let L _N = L _MBM (X ₁, . . .,X _N ;Y ₁, . . . , Y _N ) be the minimum length of a bipartite matching between two sets of points in R ^d , where X ₁,...,X _N , . . . and Y ₁, . . . , Y _N , . . . are random points independently and uniformly distributed in [0, 1] ^d . We prove that for d 3, L _N /N ^1–1/d converges with probability one to a constant _MBM (d) > 0 as N .