Higher Order Peak Algebras

Using the theory of noncommutative symmetric functions, we introduce the higher order peak algebras (Sym(N))_N≥1, a sequence of graded Hopf algebras which contain the descent algebra and the usual peak algebra as initial cases (N=1 and N=2). We compute their Hilbert series, introduce and study several combinatorial bases, and establish various algebraic identities related to the multisection of formal power series with noncommutative coefficients. Received November 19, 2004     

Generalized inverses over Banach algebras

LetA be a matrix over a complex commutative unital Banach algebra. We give necessary and sufficient conditions forA to have a generalized inverse. Moreover, if the Banach algebra has a symmetric involution, these are also necessary and sufficient conditions forA to admit the Moore-Penrose inverse.Partially supported by NSF Grant DMS-8802593     

Young's natural idempotents as polynomials

Coding permutations as monomials, one obtains a compact expression of representatives of Young's natural idempotents for the symmetric group, or ofq-idempotents in the Hecke algebra.     

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.     

Young modules and filtration multiplicities for Brauer algebras

We define permutation modules and Young modules for the Brauer algebra B _k (r,δ), and show that if the characteristic of the field k is neither 2 nor 3 then every permutation module is a sum of Young modules, respecting an ordering condition similar to that for symmetric groups. Moreover, we determine precisely in which cases cell module filtration multiplicities are well-defined, as done by Hemmer and Nakano for symmetric groups. Supported by the European Community through Marie Curie fellowship MCFI 2002-01325 Supported by EPSRC grant GR/S18151/01     

On a subalgebra of the centre of a group ring II

Let p be a prime, G a finite group with p | |G| and F a field of characteristic p. By we denote the F-subspace of the centre of the group ring FG spanned by the p-regular conjugacy class sums. J. Murray proved that is an algebra, if G is a symmetric or alternating group. This can be used for the computation of the block idempotents of FG. We proved that is an algebra if the Sylow-p-subgroups of G are abelian. Recently, Y. Fan and B. Külshammer generalized this result to blocks with abelian defect groups. Here, we show that is an algebra if the Sylow-2-subgroups of G are dihedral. Therefore and are algebras for all primes p and all prime powers q. Furthermore we prove that is an algebra for the simple Suzuki-groups Sz(q), where q is a certain power of 2 and p is an arbitrary prime dividing |Sz(q)|. Received: 18 May 2007     

Symmetric centres of braided monoidal categories

This paper introduces the concept of ‘symmetric centres’ of braided monoidal categories. LetH be a Hopf algebra with bijective antipode over a fieldk. We address the symmetric centre of the Yetter-Drinfel’d module category: and show that a left Yetter-Drinfel’d moduleM belongs to the symmetric centre of and only ifM is trivial. We also study the symmetric centres of categories of representations of quasitriangular Hopf algebras and give a sufficient and necessary condition for the braid of, _Hℳ to induce the braid of , or equivalently, the braid of , whereA is a quantum commutativeH-module algebra     

Murphy Operators and the Centre of the Iwahori-Hecke Algebras of Type A

In this paper we introduce a family of polynomials indexed by pairs of partitions and show that if these polynomials are self-orthogonal then the centre of the Iwahori-Hecke algebra of the symmetric group is precisely the set of symmetric polynomials in the Murphy operators.     

Symmetric topological*-algebras

V. Pták's inequality is valid for every hermitian completeQ locallym-convex (:l.m.c.) algebra. Every algebra of the last kind is, in particular, symmetric. Besides, a (Hausdorff) locallyC ^*-algebra (being always symmetric) with the propertyQ is, within a topological algebraic isomorphism, aC ^*-algebra. Furthermore, a type of Raikov's criterion for symmetry is also valid for non-normed topological^*-algebras. Concerning topological tensor products, one gets that symmetry of the-completed tensor product of two unital Fréchet l.m.c.^*-algebrasE, F ( denotes the projective tensorial topology) is always passed toE, F, while the converse occurs when moreover either ofE, F is commutative.     

Generalized symmetric functions and invariants of matrices

We generalize the classical isomorphism between symmetric functions and invariants of a matrix. In particular, we show that the invariants over several matrices are given by the abelianization of the symmetric tensors over the free associative algebra. The main result is proved by finding a characteristic free presentation of the algebra of symmetric tensors over a free algebra. The author is supported by research grant Politecnico di Torino n.119, 2004.     

Weyl group action and semicanonical bases

Let U be the enveloping algebra of a symmetric Kac–Moody algebra. The Weyl group acts on U, up to a sign. In addition, the positive subalgebra U⁺ contains a so-called semicanonical basis, with remarkable properties. The aim of this paper is to show that these two structures are as compatible as possible.     

Poisson identities of enveloping algebras

Let L be a restricted Lie algebra. The symmetric algebra S_p(L) of the restricted enveloping algebra u(L) has the structure of a Poisson algebra. We give necessary and sufficient conditions on L in order for the symmetric algebra S_p(L) to satisfy a multilinear Poisson identity. We also settle the same problem for the symmetric algebra S(L) of a Lie algebra L over an arbitrary field. The first author was partially supported by MIUR of Italy. The second author was partially supported by Grant RFBR-04-01- 00739. Received: 31 October 2005     

A Criterion for Bases of the Ring of Symmetric Functions

We give a criterion for bases of the ring of symmetric functions in n indeterminates over a commutative ring R with identity. A related algorithm is presented in the last section. Received April 13, 2004     

The q-Analogue of the Alternating Group and Its Representations

We define the new algebra. This algebra has a parameter q. The defining relations of this algebra at q = 1 coincide with the basic relations of the alternating group. We also give the new subalgebra of the Hecke algebra of type A which is isomorphic to this algebra. This algebra is free of rank half that of the Hecke algebra. Hence this algebra is regarded as a q-analogue of the alternating group.All the isomorphism classes of the irreducible representations of this algebra and the q-analogue of the branching rule between the symmetric group and the alternating group are obtained.     

Non-Trivial t-Intersection in the Function Lattice

The function lattice, or generalized Boolean algebra, is the set of ℓ-tuples with the ith coordinate an integer between 0 and a bound n_i. Two ℓ-tuples t-intersect if they have at least t common nonzero coordinates. We prove a Hilton–Milner type theorem for systems of t-intersecting ℓ-tuples.Received September 29, 2004     

On the -module structure of the noncommutative harmonics

Using a noncommutative analog of Chevalley's decomposition of polynomials into symmetric polynomials times coinvariants due to Bergeron, Reutenauer, Rosas, and Zabrocki we compute the graded Frobenius characteristic for their two sets of noncommutative harmonics with respect to the left action of the symmetric group (acting on variables). We use these results to derive the Frobenius series for the enveloping algebra of the derived free Lie algebra in n variables.     

Clifford-algebraic random walks on the hypercube

The n-dimensional hypercube is a simple graph on 2ⁿ vertices labeled by binary strings, or words, of length n. Pairs of vertices are adjacent if and only if they differ in exactly one position as binary words; i.e., the Hamming distance between the words is one. A discrete-time random walk is easily defined on the hypercube by “flipping” a randomly selected digit from 0 to 1 or vice-versa at each time step. By associating the words as blades in a Clifford algebra of particular signature, combinatorial properties of the geometric product can be used to represent this random walk as a sequence within the algebra. A closed-form formula is revealed which yields probability distributions on the vertices of the hypercube at any time k ≥ 0 by a formal power series expansion of elements in the algebra. Furthermore, by inducing a walk on a larger Clifford algebra, probabilities of self-avoiding walks and expected first hitting times of specific vertices are recovered. Moreover, because the Clifford algebras used in the current work are canonically isomorphic to fermion algebras, everything appearing here can be rewritten using fermion creation/annihilation operators, making the discussion relevant to quantum mechanics and/or quantum computing.