On graded characterizations of finite dimensionality for algebraic algebras

We observe that a finitely generated algebraic algebra R (over a field) is finite dimensional if and only if the associated graded ring \({{\text {gr}}}{R}\) is right noetherian, if and only if \({{\text {gr}}}{R}\) has right Krull dimension, if and only if \({{\text {gr}}}{R}\) satisfies a polynomial identity.     

Symmetric Pairs for Quantized Enveloping Algebras

Let θ be an involution of a semisimple Lie algebra g, let g^θ denote the fixed Lie subalgebra, and assume the Cartan subalgebra of g has been chosen in a suitable way. We construct a quantum analog of U(g^θ) which can be characterized as the unique subalgebra of the quantized enveloping algebra of g which is a maximal right coideal that specializes to U(g^θ).     

The homomorphism threshold of -free graphs

We determine the structure of -free graphs with n vertices and minimum degree larger than : such graphs are homomorphic to the graph obtained from a -cycle by adding all chords of length , for some k. This answers a question of Messuti and Schacht. We deduce that the homomorphism threshold of -free graphs is 1/5, thus answering a question of Oberkampf and Schacht.     

Noetherian Skew Inverse Power Series Rings

We study skew inverse power series extensions R[[y ^− 1; τ, δ]], where R is a noetherian ring equipped with an automorphism τ and a τ-derivation δ. We find that these extensions share many of the well known features of commutative power series rings. As an application of our analysis, we see that the iterated skew inverse power series rings corresponding to nth Weyl algebras are complete, local, noetherian, Auslander regular domains whose right Krull dimension, global dimension, and classical Krull dimension are all equal to 2n.     

Prime and Primitive Ideals in Graded Deformations of Algebraic Quantum Groups at Roots of Unity

Let G be a connected, simply connected complex semisimple Lie group of rank n. The deformations employed by Artin, Schelter and Tate, and Hodges, Levasseur and Toro can be applied to the single parameter quantizations, at roots of unity, of the Hopf algebra of regular functions on G. Each of the resulting complex multiparameter quantum groups F _,p [G] depends on both a suitable root of unity and an antisymmetric bicharacter p: Z ⁿ ×Z ⁿ C ^×. These quantizations differ significantly from their single parameter (root-of-unity) counterparts, and, in particular, may have infinite-dimensional irreducible representations. Our approach to F _,p [G] depends on a natural ×-action thereon, where is an n-torus, and our main result offers a classification of the primitive ideals: We use a multiparameter quantum Frobenius map to provide a bijection from (PrimF _,p [G])/× onto G/H×H, where H is a maximal torus of G. In the single parameter case, this bijection is a consequence of work by De Concini and Lyubashenko, and De Concini and Procesi; our results require their analysis. Our methods also exploit earlier work by Moeglin and Rentschler concerning actions of algebraic groups on complex Noetherian algebras. In contrast to generic quantizations of the coordinate ring of G, the primitive spectrum of F _,p [G] is not finitely stratified by the torus action.     

Macdonald difference operators and Harish-Chandra series

We analyse the centralizer of the Macdonald difference operatorin an appropriate algebra of Weyl group invariant differenceoperators. We show that it coincides with Cherednik's commutingalgebra of difference operators via an analog of the Harish-Chandraisomorphism. Analogs of Harish-Chandra series are defined andrealized as solutions to the system of basic hypergeometricdifference equations associated to the centralizer algebra.These Harish-Chandra series are then related to both Macdonaldpolynomials and Chalykh's Baker–Akhiezer functions.     

A remark on closed noncommutative subspaces

Given an abelian category with arbitrary products, arbitrary coproducts, and a generator, we show that the closed subspaces (in the sense of A. L. Rosenberg) are parameterized by a suitably defined poset of ideals in the generator. In particular, the collection of closed subspaces is itself a small poset.

     

Commutator Hopf Subalgebras and Irreducible Representations

Montgomery and Witherspoon proved that upper and lower semisolvable, semisimple, finite dimensional Hopf algebras are of Frobenius type when their dimensions are not divisible by the characteristic of the base field. In this note we show that a finite dimensional, semisimple, lower solvable Hopf algebra is always of Frobenius type, in arbitrary characteristic.