R-analogue of the Burnside ring of profinite groups and free Lie algebras

Let R be a finite-dimensional torsion-free special λ-ring. In this paper we generalize the results in Dress and Siebeneicher (Adv. in Math. 70 (1988) 89; 78 (1989) 1) by constructing R-analogue of the Burnside ring of profinite groups . In particular, we remark that the (Grothendieck) Lie-module denominator identity of free Lie algebras in Oh (Necklace rings and logarithmic functions, preprint, KIAS, 2003) is closely related to the canonical isomorphism between and Grothendieck's ring of formal power series with coefficients in R and constant term 1.     

Representation of certain logarithmic functions as polynomials with a small number of nonzero coefficients

We study an element of the ring of algebraic integers having the special form 1 ? zλ. We obtain a formula for calculating its logarithmic functions. Thus, we verify the conjecture that logarithmic functions of the element 1 ? zλ are polynomials in z such that z appears only in powers that are divisors of the number of the logarithmic function.     

Quillen-Barr-Beck (co-) homology for restricted Lie algebras

In this paper we use Quillen-Barr-Beck's theory of (co-) homology of algebras in order to define (co-) homology for the category RLie of restricted Lie algebras over a field k of characteristic p≠0. In contrast with the cases of groups, associative algebras and Lie algebras we do not obtain Hochschild (co-) homology shifted by 1.Precisely, we determine for L∈RLie the category of Beck L-modules and the group of Beck derivations of g∈RLie/L to a Beck L-module M. Moreover, we prove a classification theorem which gives a one-to-one correspondence between the one cohomology and the set of equivalent classes of p-extensions. Finally, a universal coefficient theorem is proved, relating the homology to the Hochschild homology via a short exact sequence. This shows that the new homology determines the Hochschild homology.     

Tensor factorization and Spin construction for Kac-Moody algebras

In this paper we discuss the “Factorization phenomenon” which occurs when a representation of a Lie algebra is restricted to a subalgebra, and the result factors into a tensor product of smaller representations of the subalgebra. We analyze this phenomenon for symmetrizable Kac-Moody algebras (including finite-dimensional, semi-simple Lie algebras). We present a few factorization results for a general embedding of a symmetrizable Kac-Moody algebra into another and provide an algebraic explanation for such a phenomenon using Spin construction. We also give some application of these results for semi-simple, finite-dimensional Lie algebras.We extend the notion of Spin functor from finite-dimensional to symmetrizable Kac-Moody algebras, which requires a very delicate treatment. We introduce a certain category of orthogonal g-representations for which, surprisingly, the Spin functor gives a g-representation in Bernstein-Gelfand-Gelfand category O. Also, for an integrable representation, Spin produces an integrable representation. We give the formula for the character of Spin representation for the above category and work out the factorization results for an embedding of a finite-dimensional, semi-simple Lie algebra into its untwisted affine Lie algebra. Finally, we discuss the classification of those representations for which Spin is irreducible.     

A categorical approach to Weyl modules

Global and local Weyl modules were introduced via generators and relations in the context of affine Lie algebras in [CP2] and were motivated by representations of quantum affine algebras. In [FL] a more general case was considered by replacing the polynomial ring with the coordinate ring of an algebraic variety and partial results analogous to those in [CP2] were obtained. In this paper we show that there is a natural definition of the local and global Weyl modules via homological properties. This characterization allows us to define the Weyl functor from the category of left modules of a commutative algebra to the category of modules for a simple Lie algebra. As an application we are able to understand the relationships of these functors to tensor products, generalizing results in [CP2] and [FL]. We also analyze the fundamental Weyl modules and show that, unlike the case of the affine Lie algebras, the Weyl functors need not be left exact.     

Twisted cocycles of lie algebras and corresponding invariant functions

We consider finite-dimensional complex Lie algebras. Using certain complex parameters we generalize the concept of cohomology cocycles of Lie algebras. A special case is generalization of 1-cocycles with respect to the adjoint representation - so called (α,β,γ)-derivations. Parametric sets of spaces of cocycles allow us to define complex functions which are invariant under Lie isomorphisms. Such complex functions thus represent useful invariants - we show how they classify three and four-dimensional Lie algebras as well as how they apply to some eight-dimensional one-parametric nilpotent continua of Lie algebras. These functions also provide necessary criteria for existence of 1-parametric continuous contraction.     

The Lie theory of the Rankin-Cohen brackets and allied bi-differential operators

The Lie theoretic nature of the Rankin-Cohen brackets is here uncovered. These bilinear operations, which, among other purposes, were devised to produce a holomorphic automorphic form from any pair of such forms, are instances of SL(2,R)-equivariant holomorphic bi-differential operators on the upper half-plane. All of the latter are here characterized and explicitly obtained, by establishing their one-to-one correspondence with singular vectors in the tensor product of two sl(2,C) Verma modules. The Rankin-Cohen brackets arise in the generic situation where the linear span of the singular vectors of a given weight is one-dimensional. The picture is completed by the special brackets which appear for the finite number of pairs of initial lowest weights for which the above space is two-dimensional. Explicit formulæ for basis vectors in both situations are obtained and universal Lie algebraic objects subsuming all of them are exhibited. A few applications of these results and Lie theoretic approach are then considered. First, a generalization of the latter yields Rankin-Cohen type brackets for Hilbert modular forms. Then, some Rankin-Cohen brackets are shown to intertwine the tensor product of two holomorphic discrete series representations of SL(2,R) with another such representation occurring in the tensor product decomposition. Finally, the sought for precise relationship between the Rankin-Cohen brackets and Gordan's transvection processes of the nineteenth century invariant theory is unveiled.     

PRME AND k-PRIME IDEALS IN Ω-GROUPS

Abstract

In this paper we define two concepts of prime ideals for Ω-groups. The first generalizes the definitions of prime ideal in rings, nearrings, Γ-rings, associative algebras and Lie algebras. The second generalizes a concept defined for groups by ??ukin ([21]). We show that both lead to radicals in the sense of Hoehnke ([10]). Furthermore in the case of rings, Γ-rings, abelian zero-symmetric nearrings and cubic rings these two definitions coincide, thus obtaining a new characterization for the prime ideal. Zero-symmetric Ω-groups are defined analogously to the nearring case and a new characterization in term of ideals is given.     

The sixth and eighth moments of Fourier coefficients of cusp forms

Let λ(n) be the nth normalized Fourier coefficient of a holomorphic Hecke eigencuspform f(z) of even integral weight k for the full modular group. In this paper we are able to prove the following results.

(i)

For any ε>0, we have

     

On a Plus-Construction for Algebras over an Operad

We prove a analogous to Quillen's plus-construction in the category of algebras over an operad. For that purpose we prove that this category is a closed model category and prove the existence of an obstruction theory. We apply further this plus-construction for the specific cases of Lie algebras and Leibniz algebras which are a noncommutative version of Lie algebras: let sl(A) be the kernel of the trace map gl(A)A/[A,A], where A is an associative algebra with unit and gl(A) is the Lie algebra of matrices over A. Then the homotopy of slA)⁺ in the category of Lie algebras is the cyclic homology of A whereas it is the Hochschild homology of A in the category of Leibniz algebras.     

Compatible actions of Lie algebras

Abstract

We study compatible actions (introduced by Brown and Loday in their work on the non-abelian tensor product of groups) in the category of Lie algebras over a fixed ring. We describe the Peiffer product via a new diagrammatic approach, which specializes to the known definitions both in the case of groups and of Lie algebras. We then use this approach to transfer a result linking compatible actions and pairs of crossed modules over a common base object L from groups to Lie algebras. Finally, we show that the Peiffer product, naturally endowed with a crossed module structure, has the universal property of the coproduct in XMod_L(Lie_R).     

IDEALS OF τ-MEASURABLE OPERATORS

Abstract

It is proven that, in general, the free algebras of an equational class, considered as an abstract category, are not definable strictly in the language of categories. As a concrete counterexample, a categorical equivalence between the categories of 2-rings and 3-rings is constructed without the axiom of choice. Isomorphism follows, as well as the non-correspondence of free algebras. An assortment of similar negative results and two open questions close the paper.     

ON THE STRUCTURE OF COHOMOLOGY RINGS OF p-NILPOTENT LIE ALGEBRAS

In this paper the authors investigate the structure of the restricted Lie algebra cohomology of p-nilpotent Lie algebras with trivial p-power operation. Our study is facilitated by a spectral sequence whose E ₂-term is the tensor product of the symmetric algebra on the dual of the Lie algebra with the ordinary Lie algebra cohomology and converges to the restricted cohomology ring. In many cases this spectral sequence collapses, and thus, the restricted Lie algebra cohomology is Cohen–Macaulay. A stronger result involves the collapsing of the spectral sequence and the cohomology ring identifying as a ring with the E ₂-term. We present criteria for the collapsing of this spectral sequence and provide some examples where the ring isomorphism fails. Furthermore, we show that there are instances when the spectral sequence does not collapse and yields cohomology rings which are not Cohen-Macaulay.     

Superdecomposable E(R)-Algebras

ABSTRACT

An E-ring is a ring that is naturally isomorphic to the endomorphism ring of its additive group. E-rings with various properties have been constructed in the literature; we now consider superdecomposable E-rings. More generally, we construct superdecomposable algebras A over integral domains R, which are at the same time E(R)-algebra in the sense that the ring of R-endomorphisms of the underlying R-module structure is canonically isomorphic to A. We also establish the existence of arbitrarily large superdecomposable modules over such algebras.     

On the codimension of modules over skew power series rings with applications to Iwasawa algebras

The first purpose of this paper is to set up a general notion of skew power series rings S over a coefficient ring R, which are then studied by filtered ring techniques. The second goal is the investigation of the class of S-modules which are finitely generated as R-modules. In the case that S and R are Auslander regular we show in particular that the codimension of M as S-module is one higher than the codimension of M as R-module. Furthermore its class in the Grothendieck group of S-modules of codimension at most one less vanishes, which is in the spirit of the Gersten conjecture for commutative regular local rings. Finally we apply these results to Iwasawa algebras of p-adic Lie groups.     

Quantization of Lie bialgebras, II

This paper is a continuation of [EK]. We show that the quantization procedure of [EK] is given by universal acyclic formulas and defines a functor from the category of Lie bialgebras to the category of quantized universal enveloping algebras. We also show that this functor defines an equivalence between the category of Lie bialgebras over k [[h]] and the category of quantized universal enveloping (QUE) algebras.     

On Anosov automorphisms of nilmanifolds

The only known examples of Anosov diffeomorphisms are hyperbolic automorphisms of infranilmanifolds, and the existence of such automorphisms is a really strong condition on the rational nilpotent Lie algebra determined by the lattice, so called an Anosov Lie algebra. We prove that n⊕?⊕n (s times, s≥2) has an Anosov rational form for any graded real nilpotent Lie algebra n having a rational form. We also obtain some obstructions for the types of nilpotent Lie algebras allowed, and use the fact that the eigenvalues of the automorphism are algebraic integers (even units) to show that the types (5,3) and (3,3,2) are not possible for Anosov Lie algebras.     

Dirac submanifolds and Poisson involutions

Dirac submanifolds are a natural generalization in the Poisson category of the symplectic submanifolds of a symplectic manifold. They correspond to symplectic subgroupoids of the symplectic groupoid of the given Poisson manifold. In particular, Dirac submanifolds arise as the stable loci of Poisson involutions. In this paper, we make a general study of these submanifolds including both local and global aspects.In the second part of the paper, we study Poisson involutions and the induced Poisson structures on their stable loci. In particular, we discuss the Poisson involutions on a special class of Poisson groups, and more generally Poisson groupoids, called symmetric Poisson groups, and symmetric Poisson groupoids. Many well-known examples, including the standard Poisson group structures on semi-simple Lie groups, Bruhat Poisson structures on compact semi-simple Lie groups, and Poisson groupoid structures arising from dynamical r-matrices of semi-simple Lie algebras are symmetric, so they admit a Poisson involution. For symmetric Poisson groups, the relation between the stable locus Poisson structure and Poisson symmetric spaces is discussed. As a consequence, we prove that the Dubrovin Poisson structure on the space of Stokes matrices U₊ (appearing in Dubrovin's theory of Frobenius manifolds) is a Poisson symmetric space.     

Lie isomorphisms of reflexive algebras

A Lie isomorphism ? between algebras is called trivial if ?=ψ+τ, where ψ is an (algebraic) isomorphism or a negative of an (algebraic) anti-isomorphism, and τ is a linear map with image in the center vanishing on each commutator. In this paper, we investigate the conditions for the triviality of Lie isomorphisms from reflexive algebras with completely distributive and commutative lattices (CDCSL). In particular, we prove that a Lie isomorphism between irreducible CDCSL algebras is trivial if and only if it preserves I-idempotent operators (the sum of an idempotent and a scalar multiple of the identity) in both directions. We also prove the triviality of each Lie isomorphism from a CDCSL algebra onto a CSL algebra which has a comparable invariant projection with rank and corank not one. Some examples of Lie isomorphisms are presented to show the sharpness of the conditions.