Closed geodesics on compact nilmanifolds with Chevalley rational structure

We study the distribution of closed geodesics on nilmanifolds Γ \ N arising from a 2-step nilpotent Lie algebra constructed from an irreducible representation of a compact semisimple Lie algebra on a real finite dimensional vector space U. We determine sufficient conditions on the semisimple Lie algebra for Γ \ N to have the density of closed geodesics property where Γ is a lattice arising from a Chevalley rational structure on .     

Matrix representations of octonions and their applications

As is well-known, the real quaternion division algebra ℍ is algebraically isomorphic to a 4-by-4 real matrix algebra. But the real division octonion algebra can not be algebraically isomorphic to any matrix algebras over the real number field ℝ, because is a non-associative algebra over ℝ. However since is an extension of ℍ by the Cayley-Dickson process and is also finite-dimensional, some pseudo real matrix representations of octonions can still be introduced through real matrix representations of quaternions. In this paper we give a complete investigation to real matrix representations of octonions, and consider their various applications to octonions as well as matrices of octonions.     

A note on the fundamental theorem of algebra for the octonions

This paper is a revision of a portion of the author's doctoral dissertation submitted to the University of Oregon. Using elementary concepts of K$K$-theory, the Brouwer degree of the power map in the octonions is computed. Later, a proof of a weaker version of the fundamental theorem of algebra for polynomials with coefficients in the octonions is given. As a partial complement, a lower bound to the number of solutions of a homogeneous monomial equation over the octonions is obtained.     

Coloured peak algebras and Hopf algebras

For G a finite abelian group, we study the properties of general equivalence relations on G _n = G ⁿ ⋊ _n , the wreath product of G with the symmetric group _n , also known as the G-coloured symmetric group. We show that under certain conditions, some equivalence relations give rise to subalgebras of G _n as well as graded connected Hopf subalgebras of ⨁ _{n≥ o} G _n . In particular we construct a G-coloured peak subalgebra of the Mantaci-Reutenauer algebra (or G-coloured descent algebra). We show that the direct sum of the G-coloured peak algebras is a Hopf algebra. We also have similar results for a G-colouring of the Loday-Ronco Hopf algebras of planar binary trees. For many of the equivalence relations under study, we obtain a functor from the category of finite abelian groups to the category of graded connected Hopf algebras. We end our investigation by describing a Hopf endomorphism of the G-coloured descent Hopf algebra whose image is the G-coloured peak Hopf algebra. We outline a theory of combinatorial G-coloured Hopf algebra for which the G-coloured quasi-symmetric Hopf algebra and the graded dual to the G-coloured peak Hopf algebra are central objects. 2000 Mathematics Subject Classification Primary: 16S99; Secondary: 05E05, 05E10, 16S34, 16W30, 20B30, 20E22Bergeron is partially supported by NSERC and CRC, CanadaHohlweg is partially supported by CRC     

New results on the peak algebra

The peak algebra is a unital subalgebra of the symmetric group algebra, linearly spanned by sums of permutations with a common set of peaks. By exploiting the combinatorics of sparse subsets of [n−1] (and of certain classes of compositions of n called almost-odd and thin), we construct three new linear bases of . We discuss two peak analogs of the first Eulerian idempotent and construct a basis of semi-idempotent elements for the peak algebra. We use these bases to describe the Jacobson radical of and to characterize the elements of in terms of the canonical action of the symmetric groups on the tensor algebra of a vector space. We define a chain of ideals of , j = 0,..., , such that is the linear span of sums of permutations with a common set of interior peaks and is the peak algebra. We extend the above results to , generalizing results of Schocker (the case j = 0). Aguiar supported in part by NSF grant DMS-0302423 Orellana supported in part by the Wilson Foundation     

The Cohomology of Exotic 2-local Finite Groups

There exist spaces BSol(q) which are the classifying spaces of a family of 2-local finite groups based on certain fusion system over the Sylow 2-subgroups of Spin₇(q). In this paper we calculate the cohomology of BSol(q) as an algebra over the Steenrod algebra . We also provide the calculation of the cohomology algebra over of the finite group of Lie type G₂(q).     

The Schrödinger-Virasoro Lie Group and Algebra: Representation Theory and Cohomological Study

This article is devoted to an extensive study of an infinite-dimensional Lie algebra , introduced in [14] in the context of non-equilibrium statistical physics, containing as subalgebras both the Lie algebra of invariance of the free Schr?dinger equation and the central charge-free Virasoro algebra Vect(S¹). We call the Schr?dinger-Virasoro Lie algebra. We study its representation theory: realizations as Lie symmetries of field equations, coadjoint representation, coinduced representations in connection with Cartan’s prolongation method (yielding analogues of the tensor density modules for Vect(S¹)). We also present a detailed cohomological study, providing in particular a classification of deformations and central extensions; there appears a non-local cocycle. Communicated by Petr Kulish Daniel Arnaudon, in memoriam Submitted: January 17, 2006; Accepted: March 21, 2006     

On the negative cyclic homology of <Emphasis Type="Italic">shc</Emphasis>-algebras

Let be a field of characteristic and S ¹ the unit circle. We prove that the shc-structure on a cochain algebra (A,d _A ) induces an associative product on the negative cyclic homology HC _*⁻ A. When the cochain algebra (A,d _A ) is the algebra of normalized cochains of the simply connected topological space X with coefficients in , then HC _*⁻ A is isomorphic as a graded algebra to the S ¹-equivariant cohomology algebra of LX, the free loop space of X. We use the notion of shc-formality introduced in Topology 41, 85–106 (2002) to compute the S ¹-equivariant cohomology algebras of the free loop space of the complex projective space when n + 1 = 0 [p] and of the even spheres S ²ⁿ when p = 2.      

BRST Operator for Quantum Lie Algebras and Differential Calculus on Quantum Groups

For a Hopf algebra , we define the structures of differential complexes on two dual exterior Hopf algebras: (1) an exterior extension of and (2) an exterior extension of the dual algebra ^*. The Heisenberg double of these two exterior Hopf algebras defines the differential algebra for the Cartan differential calculus on . The first differential complex is an analogue of the de Rham complex. When ^* is a universal enveloping algebra of a Lie (super)algebra, the second complex coincides with the standard complex. The differential is realized as an (anti)commutator with a BRST operator Q. We give a recursive relation that uniquely defines the operator Q. We construct the BRST and anti-BRST operators explicitly and formulate the Hodge decomposition theorem for the case of the quantum Lie algebra U _q(gl(N)).     

On the R-Matrix Realization of Yangians and their Representations

We study the Yangians associated with the simple Lie algebras of type B, C or D. The algebra can be regarded as a quotient of the extended Yangian whose defining relations are written in an R-matrix form. In this paper we are concerned with the algebraic structure and representations of the algebra . We prove an analog of the Poincaré–Birkhoff–Witt theorem for and show that the Yangian can be realized as a subalgebra of . Furthermore, we give an independent proof of the classification theorem for the finite-dimensional irreducible representations of which implies the corresponding theorem of Drinfeld for the Yangians . We also give explicit constructions for all fundamental representation of the Yangians. Communicated by Petr Kulish Dedicated to Daniel Arnaudon Submitted: November 22, 2005; Accepted: February 1, 2006     

Poset algebras over well quasi-ordered posets

A new class of partial order-types, class is defined and investigated here. A poset P is in the class iff the poset algebra F(P) is generated by a better quasi-order G that is included in L(P). The free Boolean algebra F(P) and its free distributive lattice L(P) have been defined in [ABKR]. The free Boolean algebra F(P) contains the partial order P and is generated by it: F(P) has the following universal property. If B is any Boolean algebra and f is any order-preserving map from P into a Boolean algebra B, then f can be extended to a homomorphism of F(P) into B. We also define L(P) as the sublattice of F(P) generated by P. We prove that if P is any well quasi-ordering, then L(P) is well founded, and is a countable union of well quasi-orderings. We prove that the class is contained in the class of well quasi-ordered sets. We prove that is preserved under homomorphic image, finite products, and lexicographic sum over better quasi-ordered index sets. We prove also that every countable well quasi-ordered set is in . We do not know, however if the class of well quasi-ordered sets is contained in . Additional results concern homomorphic images of posets algebras. The third author was supported by the following institutions: Israel Science Foundation (postdoctoral positions at Ben Gurion University 2000–2002), The Fields Institute (Toronto 2002–2004), and by The Nato Science Fellowship (University Paris VII, CNRS-UMR 7056, 2004).     

On varieties parametrizing graded complex Lie algebras

We study spaces parametrizing graded complex Lie algebras from geometric as well as algebraic point of view. If R is a finite-dimensional complex Lie algebra, which is graded by a finite abelian group of order n, then a graded contraction of R, denoted by , is defined by a complex n × n-matrix , i, j = 1, . . . , n. In order for to be a Lie algebra, should satisfy certain homogeneous equations. In turn, these equations determine a projective variety X _R . We compute the first homology group of an irreducible component M of X _R , under some assumptions on M. We look into algebraic properties of graded Lie algebras where .      

Gelfand-Hille type theorems in ordered Banach algebras

We consider the Gelfand-Hille Theorems, specifically conditions under which an element in an ordered Banach algebra (A,C) with spectrum {1} is the identity of the algebra. In particular we show that for , where C is a closed normal algebra cone, if and x is doubly Abel bounded then x = 1. Furthermore in the case where and C is a closed proper algebra cone, then x = 1 if and only if x^L is Abel bounded and for some .      

On the Structure of the C *-Algebra Generated by Toeplitz Operators with Piece-wise Continuous Symbols

We study the C ^*-algebra generated by Toeplitz operators with piece-wise continuous symbols acting on the Bergman space on the unit disk in . We describe explicitly each operator from this algebra and characterize Toeplitz operators which belong to the algebra. To the memory of G. S. Litvinchuk     

Zeta functions of three-dimensional <Emphasis Type="Italic">p</Emphasis>-adic Lie algebras

We give an explicit formula for the subalgebra zeta function of a general three-dimensional Lie algebra over the p-adic integers . To this end, we associate to such a Lie algebra a ternary quadratic form over . The formula for the zeta function is given in terms of Igusa’s local zeta function associated to this form. We acknowledge support from the Mathematisches Forschungsinstitut Oberwolfach and the Nuffield Foundation.     

Lie group structures on groups of smooth and holomorphic maps on non-compact manifolds

We study Lie group structures on groups of the form C ^∞(M, K), where M is a non-compact smooth manifold and K is a, possibly infinite-dimensional, Lie group. First we prove that there is at most one Lie group structure with Lie algebra for which the evaluation map is smooth. We then prove the existence of such a structure if the universal cover of K is diffeomorphic to a locally convex space and if the image of the left logarithmic derivative in is a smooth submanifold, the latter being the case in particular if M is one-dimensional. We also obtain analogs of these results for the group of holomorphic maps on a complex manifold with values in a complex Lie group K. We further show that there exists a natural Lie group structure on if K is Banach and M is a non-compact complex curve with finitely generated fundamental group.      

On Constantive Simple and Order-Primal Algebras

A finite algebra is said to be order-primal if its clone of all term operations is the set of all operations defined on A which preserve a given partial order ≤ on A. In this paper we study algebraic properties of order-primal algebras for connected ordered sets (A; ≤). Such order-primal algebras are constantive, simple and have no non-identical automorphisms. We show that in this case cannot have only unary fundamental operations or only one at least binary fundamental operation. We prove several properties of the varieties and the quasi-varieties generated by constantive and simple algebras and apply these properties to order-primal algebras. Further, we use the properties of order-primal algebras to formulate new primality criteria for finite algebras.* Research supported by the Hungarian research grant No. TO34137 and by the János Bolyai grant.** Research supported by the Thailand Research Fund.     

Schur–Weyl duality for higher levels

We extend Schur–Weyl duality to an arbitrary level l ≥ 1, level one recovering the classical duality between the symmetric and general linear groups. In general, the symmetric group is replaced by the degenerate cyclotomic Hecke algebra over parametrized by a dominant weight of level l for the root system of type A_∞. As an application, we prove that the degenerate analogue of the quasi-hereditary cover of the cyclotomic Hecke algebra constructed by Dipper, James and Mathas is Morita equivalent to certain blocks of parabolic category for the general linear Lie algebra.