Generalized Exponents and Forms

We consider generalized exponents of a finite reflection group acting on a real or complex vector space V. These integers are the degrees in which an irreducible representation of the group occurs in the coinvariant algebra. A basis for each isotypic component arises in a natural way from a basis of invariant generalized forms. We investigate twisted reflection representations (V tensor a linear character) using the theory of semi-invariant differential forms. Springer’s theory of regular numbers gives a formula when the group is generated by dim V reflections. Although our arguments are case-free, we also include explicit data and give a method (using differential operators) for computing semi-invariants and basic derivations. The data give bases for certain isotypic components of the coinvariant algebra.     

Nichols-Woronowicz model of coinvariant algebra of complex reflection groups

We give a model of the coinvariant algebra of the complex reflection groups as a subalgebra of a braided Hopf algebra called Nichols-Woronowicz algebra.     

The double Coxeter arrangement

Let V be Euclidean space. Let be a finite irreducible reflection group. Let be the corresponding Coxeter arrangement. Let S be the algebra of polynomial functions on V. For choose such that . The arrangement is known to be free: the derivation module is a free S-module with generators of degrees equal to the exponents of W. In this paper we prove an analogous theorem for the submodule of defined by . The degrees of the basis elements are all equal to the Coxeter number. The module may be considered a deformation of the derivation module for the Shi arrangement, which is conjectured to be free. The proof is by explicit construction using a derivation introduced by K. Saito in his theory of flat generators. Received: March 13, 1997     

On the Divided Power Algebra and the Symplectic Group in Characteristic 2

Let V be an even dimensional vector space over a field K of characteristic 2 equipped with a nondegenerate alternating bilinear form f. The divided power algebra DV is considered as a complex with differential defined from f. We examine the cohomology modules as representations of the corresponding symplectic group.     

Words and Polynomial Invariants of Finite Groups in Non-Commutative Variables

Let V be a complex vector space with basis {x ₁, x ₂, . . . , x _n } and G be a finite subgroup of GL(V). The tensor algebra T(V) over the complex is isomorphic to the polynomials in the non-commutative variables x ₁, x ₂, . . . , x _n with complex coefficients. We want to give a combinatorial interpretation for the decomposition of T(V) into simple G-modules. In particular, we want to study the graded space of invariants in T(V) with respect to the action of G. We give a general method for decomposing the space T(V) into simple modules in terms of words in a Cayley graph of the group G. To apply the method to a particular group, we require a homomorphism from a subalgebra of the group algebra into the character algebra. In the case of G as the symmetric group, we give an example of this homomorphism from the descent algebra. When G is the dihedral group, we have a realization of the character algebra as a subalgebra of the group algebra. In those two cases, we have an interpretation for the graded dimensions and the number of free generators of the algebras of invariants in terms of those words.     

Descent Monomials, P-Partitions and Dense Garsia-Haiman Modules

A two-variable analogue of the descents monomials is defined and is shown to form a basis for the dense Garsia-Haiman modules. A two-variable generalization of a decomposition of a P-partition is shown to give the algorithm for the expansion into this descent basis. Some examples of dense Garsia-Haiman modules include the coinvariant rings associated with certain complex reflection groups.     

Exterior algebra structure on relative invariants of reflection groups

Let G be a reflection group acting on a vector space V (over a field with zero characteristic). We denote by S(V ^*) the coordinate ring of V, by M a finite dimensional G-module and by ?? a one-dimensional character of G. In this article, we define an algebra structure on the isotypic component associated to ?? of the algebra ${S(V^*) \otimes \Lambda(M^*)}$ . This structure is then used to obtain various generalizations of usual criterions on regularity of integers.     

Multiplicative Invariants and Semigroup Algebras

Let G be a finite group acting by automorphism on a lattice A, and hence on the group algebra S=k[A]. The algebra of G-invariants in S is called an algebra of multiplicative invariants. We present an explicit version of a result of Farkas stating that multiplicative invariants of finite reflection groups are semigroup algebras.     

Differential recursion relations for Laguerre functions on symmetric cones

Let Ω be a symmetric cone and V the corresponding simple Euclidean Jordan algebra. In our previous papers (some with G. Zhang) we considered the family of generalized Laguerre functions on Ω that generalize the classical Laguerre functions on R⁺. This family forms an orthogonal basis for the subspace of L-invariant functions in L²(Ω,dμν), where dμν is a certain measure on the cone and where L is the group of linear transformations on V that leave the cone Ω invariant and fix the identity in Ω. The space L²(Ω,dμν) supports a highest weight representation of the group G of holomorphic diffeomorphisms that act on the tube domain T(Ω)=Ω+iV. In this article we give an explicit formula for the action of the Lie algebra of G and via this action determine second order differential operators which give differential recursion relations for the generalized Laguerre functions generalizing the classical creation, preservation, and annihilation relations for the Laguerre functions on R⁺.     

Isomonodromic deformations and twisted Yangians arising in Teichmüller theory

In this paper we build a link between the Teichmüller theory of hyperbolic Riemann surfaces and isomonodromic deformations of linear systems whose monodromy group is the Fuchsian group associated to the given hyperbolic Riemann surface by the Poincaré uniformization. In the case of a one-sheeted hyperboloid with n orbifold points we show that the Poisson algebra Dn of geodesic length functions is the semiclassical limit of the twisted q-Yangian for the orthogonal Lie algebra on defined by Molev, Ragoucy and Sorba. We give a representation of the braid-group action on Dn in terms of an adjoint matrix action. We characterize two types of finite-dimensional Poissonian reductions and give an explicit expression for the generating function of their central elements. Finally, we interpret the algebra Dn as the Poisson algebra of monodromy data of a Frobenius manifold in the vicinity of a non-semi-simple point.     

Homology stability for classical regular semisimple varieties

We use techniques from homotopy theory, in particular the connection between configuration spaces and iterated loop spaces, to give geometric explanations of stability results for the cohomology of the varieties of regular semisimple elements in the simple complex Lie algebras of classical type A, B or C, as well as in the group . We show that the cohomology spaces of stable versions of these varieties have an algebraic stucture, which identifies them as “free Poisson algebras” with suitable degree shifts. Using this, we are able to give explicit formulae for the corresponding Poincaré series, which lead to power series identities by comparison with earlier work. The cases of type B and C involve ideas from equivariant homotopy theory. Our results may be interpreted in terms of the actions of a Weyl group on its coinvariant algebra (i.e. the coordinate ring of the affine space on which it acts, modulo the invariants of positive degree; this space coincides with the cohomology ring of the flag variety of the associated Lie group) and on the cohomology of its associated complex discriminant variety. Received August 31, 1998; in final form August 1, 1999 / Published online October 30, 2000     

Length functions and Demazure operators for G(e,1,n), II

This note is the first part of consecutive two papers concerning with a length function and Demazure operators for the complex reflection group W = G(e, 1, n). In this first part, we study the word problem on W based on the work of Bremke and Malle [BM]. We show that the usual length function ?(W) associated to a given generator set S is completely described by the function n(W), introduced in [BM], associated to the root system of W.In the second part, we will study the Demazure operators of W on the symmetric algebra. We define a graded space H_W in terms of Demazure operators, and show that H_W is isomorphic to the coinvariant algebra S_W, which enables us to define a homogeneous basis on S_W parametrized by w?W.     

Quadratic forms for a 1-form on an isolated complete intersection singularity

We consider a holomorphic 1-form ω with an isolated zero on an isolated complete intersection singularity (V,0). We construct quadratic forms on an algebra of functions and on a module of differential forms associated to the pair (V,ω). They generalize the Eisenbud–Levine–Khimshiashvili quadratic form defined for a smooth V. Partially supported by the DFG-programme 'Global methods in complex geometry' (Eb 102/4–3) grants RFBR–04–01–00762, NSh–1972.2003.1.     

Derivation algebra and automorphism group of generalized Ramond N = 2 superconformal algebra

In this paper, we give the definition of the generalized Ramond N = 2 superconformal algebras and discuss the derivation algebra and the automorphism group.     

Howe Duality for Lie Superalgebras

We study a dual pair of general linear Lie superalgebras in the sense of R. Howe. We give an explicit multiplicity-free decomposition of a symmetric and skew-symmetric algebra (in the super sense) under the action of the dual pair and present explicit formulas for the highest-weight vectors in each isotypic subspace of the symmetric algebra. We give an explicit multiplicity-free decomposition into irreducible gl(m|n)-modules of the symmetric and skew-symmetric algebras of the symmetric square of the natural representation of gl(m|n). In the former case, we also find explicit formulas for the highest-weight vectors. Our work unifies and generalizes the classical results in symmetric and skew-symmetric models and admits several applications.     

Symmetry breaking of systems of linear second-order ordinary differential equations with constant coefficients

We show that the structure of the Lie symmetry algebra of a system of n linear second-order ordinary differential equations with constant coefficients depends on at most n-1 parameters. The tools used are Jordan canonical forms and appropriate scaling transformations. We put our approach to test by presenting a simple proof of the fact that the dimension of the symmetry Lie algebra of a system of two linear second-order ordinary differential with constant coefficients is either 7, 8 or 15. Also, we establish for the first time that the dimension of the symmetry Lie algebra of a system of three linear second-order ordinary differential equations with constant coefficients is 10, 12, 13 or 24.     

Chiral equivariant cohomology I

We construct a new equivariant cohomology theory for a certain class of differential vertex algebras, which we call the chiral equivariant cohomology. A principal example of a differential vertex algebra in this class is the chiral de Rham complex of Malikov-Schechtman-Vaintrob of a manifold with a group action. The main idea in this paper is to synthesize the algebraic approach to classical equivariant cohomology due to H. Cartan,² with the theory of differential vertex algebras, by using an appropriate notion of invariant theory. We also construct the vertex algebra analogues of the Mathai-Quillen isomorphism, the Weil and the Cartan models for equivariant cohomology, and the Chern-Weil map. We give interesting cohomology classes in the new theory that have no classical analogues.     

On Isotypic Decompositions for Non-Semisimple Hopf Algebras

In this paper we study the isotypic decomposition of the regular module of a finite-dimensional Hopf algebra over an algebraically closed field of characteristic zero. For a semisimple Hopf algebra, the idempotents realizing the isotypic decomposition can be explicitly expressed in terms of characters and the Haar integral. In this paper we investigate Hopf algebras with the Chevalley property, which are not necessarily semisimple. We find explicit expressions for idempotents in terms of Hopf-algebraic data, where the Haar integral is replaced by the regular character of the dual Hopf algebra. For a large class of Hopf algebras, these are shown to form a complete set of orthogonal idempotents. We give an example which illustrates that the Chevalley property is crucial.