Showing 1–29 of 29 results for author: Gordon, I

Gaudin Algebras, RSK and Calogero-Moser Cells in Type A

Authors: Adrien Brochier, Iain Gordon, Noah White

Abstract: We study the spectrum of a family of algebras, the inhomogeneous Gaudin algebras, acting on the $n$-fold tensor representation $\mathbb{C}[x_1, \ldots, x_r]^{\otimes n}$ of the Lie algebra $\mathfrak{gl}_r$. We use the work of Halacheva-Kamnitzer-Rybnikov-Weekes to demonstrate that the Robinson-Schensted-Knuth correspondence describes the behaviour of the spectrum as we move along special paths in… ▽ More We study the spectrum of a family of algebras, the inhomogeneous Gaudin algebras, acting on the $n$-fold tensor representation $\mathbb{C}[x_1, \ldots, x_r]^{\otimes n}$ of the Lie algebra $\mathfrak{gl}_r$. We use the work of Halacheva-Kamnitzer-Rybnikov-Weekes to demonstrate that the Robinson-Schensted-Knuth correspondence describes the behaviour of the spectrum as we move along special paths in the family. We apply the work of Mukhin-Tarasov-Varchenko, which proves that the rational Calogero-Moser phase space can be realised as a part of this spectrum, to relate this to behaviour at $t=0$ of rational Cherednik algebras of $\mathfrak{S}_n$. As a result, we confirm for symmetric groups a conjecture of Bonnafé-Rouquier which proposes an equality between the Calogero-Moser cells they defined and the well-known Kazhdan-Lusztig cells. △ Less

Submitted 18 December, 2020; originally announced December 2020.

Comments: 24 pages

The Auslander-Gorenstein property for Z-algebras

Authors: I. G. Gordon, J. T. Stafford

Abstract: We provide a framework for part of the homological theory of Z-algebras and their generalizations, directed towards analogues of the Auslander-Gorenstein condition and the associated double Ext spectral sequence that are useful for enveloping algebras of Lie algebras and related rings. As an application, we prove the equidimensionality of the characteristic variety of an irreducible representation… ▽ More We provide a framework for part of the homological theory of Z-algebras and their generalizations, directed towards analogues of the Auslander-Gorenstein condition and the associated double Ext spectral sequence that are useful for enveloping algebras of Lie algebras and related rings. As an application, we prove the equidimensionality of the characteristic variety of an irreducible representation of the Z-algebra, and for related representations over quantum symplectic resolutions. In the special case of Cherednik algebras of type A, this answers a question raised by the authors. △ Less

Submitted 26 February, 2013; originally announced February 2013.

Comments: 31 pages

MSC Class: 14A22; 16A62; 16W70; 18G40; 20C08

Journal ref: Journal of Algebra 399C (2014), pp. 102-130

Nonstandard analysis of the behavior of ergodic means of dynamical systems on very big finite probability spaces

Authors: E. I. Gordon, L. Yu. Glebsky, C. W. Henson

Abstract: The trivial proof of the ergodic theorem for a finite set $Y$ and a permutation $T:Y\to Y$ shows that for an arbitrary function $f:Y\to{\mathbb R}$ the sequence of ergodic means $A_n(f,T)$ stabilizes for $n \gg |T|$. We show that if $|Y|$ is very large and $|f(y)| \ll |Y|$ for almost all $y$, then $A_n(f,T)$ stabilizes for significantly long segments of very large numbers $n$ that are, however,… ▽ More The trivial proof of the ergodic theorem for a finite set $Y$ and a permutation $T:Y\to Y$ shows that for an arbitrary function $f:Y\to{\mathbb R}$ the sequence of ergodic means $A_n(f,T)$ stabilizes for $n \gg |T|$. We show that if $|Y|$ is very large and $|f(y)| \ll |Y|$ for almost all $y$, then $A_n(f,T)$ stabilizes for significantly long segments of very large numbers $n$ that are, however, $\ll |T|$. This statement has a natural rigorous formulation in the setting of nonstandard analysis, which is, in fact, equivalent to the ergodic theorem for infinite probability spaces. Its standard formulation in terms of sequences of finite probability spaces is complicated. We also discuss some other properties of the sequence $A_n(f,T)$ for very large finite $|Y|$ and $n$. A special consideration is given to the case, when a very big finite space $Y$ and its permutation $T$ approximate a dynamical system $(X,ν, τ)$, where $X$ is compact metric space, $ν$ is a Borel measure on $X$ and $τ:X\to X$ is a measure preserving transformation. The definition of approximation introduced here is new to our knowledge. △ Less

Submitted 26 January, 2012; originally announced January 2012.

Comments: arXiv admin note: substantial text overlap with arXiv:1104.0237

MSC Class: 37A30; 26E35; 28E05

On category O for cyclotomic rational Cherednik algebras

Authors: Iain Gordon, Ivan Losev

Abstract: We study equivalences for category O_p of the rational Cherednik algebras H_p of type G_l(n) = μ_l^n\rtimes S_n: a highest weight equivalence between O_p and O_{σ(p)} for σ\in S_l and an action of S_l on a non-empty Zariski open set of parameters p; a derived equivalence between O_p and O_{p'} whenever p and p' have integral difference; a highest weight equivalence between O_p and a parabolic cate… ▽ More We study equivalences for category O_p of the rational Cherednik algebras H_p of type G_l(n) = μ_l^n\rtimes S_n: a highest weight equivalence between O_p and O_{σ(p)} for σ\in S_l and an action of S_l on a non-empty Zariski open set of parameters p; a derived equivalence between O_p and O_{p'} whenever p and p' have integral difference; a highest weight equivalence between O_p and a parabolic category O for the general linear group, under a non-rationality assumption on the parameter p. As a consequence, we confirm special cases of conjectures of Etingof and of Rouquier. △ Less

Submitted 3 August, 2013; v1 submitted 11 September, 2011; originally announced September 2011.

Comments: 61 pages; v2 64 pages, new material added; to appear J. Eur. Math. Soc

MSC Class: 16G99

Cell modules and canonical basic sets for Hecke algebras from Cherednik algebras

Authors: Maria Chlouveraki, Iain Gordon, Stephen Griffeth

Abstract: In this note we are interested in labelling the irreducible representations of non-semisimple specialisations of Hecke algebras of complex reflection groups. We will use category O for the rational Cherednik algebra and the KZ functor together with elementary algebraic and combinatorial arguments to construct "canonical basic sets" in many cases. We will also show that the images of the standard m… ▽ More In this note we are interested in labelling the irreducible representations of non-semisimple specialisations of Hecke algebras of complex reflection groups. We will use category O for the rational Cherednik algebra and the KZ functor together with elementary algebraic and combinatorial arguments to construct "canonical basic sets" in many cases. We will also show that the images of the standard modules through the KZ functor agree with the appropriate cell modules, whenever the Hecke algebra has a cellular structure. △ Less

Submitted 18 July, 2011; v1 submitted 20 April, 2011; originally announced April 2011.

Comments: Minor corrections to the revised version

MSC Class: 20C08; 16G; 05E10

Ergodic theorem for a Loeb space and hyperfinite approximations of dynamical systems

Authors: L. Yu. Glebsky, E. I. Gordon, C. W. Henson

Abstract: Although the G.Birkhoff Ergodic Theorem (BET) is trivial for finite spaces, this does not help in proving it for hyperfinite Loeb spaces. The proof of the BET for this case, suggested by T. Kamae, works, actually, for arbitrary probability spaces, as it was shown by Y. Katznelson and B. Weiss. In this paper we discuss the reason why the usual approach, based on transfer of some simple facts abou… ▽ More Although the G.Birkhoff Ergodic Theorem (BET) is trivial for finite spaces, this does not help in proving it for hyperfinite Loeb spaces. The proof of the BET for this case, suggested by T. Kamae, works, actually, for arbitrary probability spaces, as it was shown by Y. Katznelson and B. Weiss. In this paper we discuss the reason why the usual approach, based on transfer of some simple facts about arbitrary large finite spaces on infinite spaces using nonstandard analysis technique, does not work for the BET. We show that the the BET for hyperfinite spaces may be interpreted as some qualitative result for very big finite spaces. We introduce the notion of a hyperfinite approximation of a dynamical system and prove the existence of such an approximation. The standard versions of the results obtained in terms of sequences of finite dynamical systems are formulated. △ Less

Submitted 1 April, 2011; originally announced April 2011.

Comments: 31 page, to be submitted in journal of Symbolic Logic

MSC Class: 26E35; 28E05; 28D05

Catalan numbers for complex reflection groups

Authors: Iain Gordon, Stephen Griffeth

Abstract: We construct (q,t)-Catalan polynomials and q-Fuss-Catalan polynomials for any irreducible complex reflection group W. The two main ingredients in this construction are Rouquier's formulation of shift functors for the rational Cherednik algebras of W, and Opdam's analysis of permutations of the irreducible representations of W arising from the Knizhnik-Zamolodchikov connection. We construct (q,t)-Catalan polynomials and q-Fuss-Catalan polynomials for any irreducible complex reflection group W. The two main ingredients in this construction are Rouquier's formulation of shift functors for the rational Cherednik algebras of W, and Opdam's analysis of permutations of the irreducible representations of W arising from the Knizhnik-Zamolodchikov connection. △ Less

Submitted 8 December, 2009; originally announced December 2009.

Comments: 9 pages

MSC Class: 05E10 (Primary) 16G99 (Secondary)

Differential operators and Cherednik algebras

Authors: V. Ginzburg, I. Gordon, J. T. Stafford

Abstract: We establish a link between two geometric approaches to the representation theory of rational Cherednik algebras of type A: one based on a noncommutative Proj construction, used in [GS]; the other involving quantum hamiltonian reduction of an algebra of differential operators, used in [GG]. In the present paper, we combine these two points of view by showing that the process of hamiltonian red… ▽ More We establish a link between two geometric approaches to the representation theory of rational Cherednik algebras of type A: one based on a noncommutative Proj construction, used in [GS]; the other involving quantum hamiltonian reduction of an algebra of differential operators, used in [GG]. In the present paper, we combine these two points of view by showing that the process of hamiltonian reduction intertwines a naturally defined geometric twist functor on D-modules with the shift functor for the Cherednik algebra. That enables us to give a direct and relatively short proof of the key result, [GS, Theorem 1.4] without recourse to Haiman's deep results on the n! theorem. We also show that the characteristic cycles defined independently in these two approaches are equal, thereby confirming a conjecture from [GG]. △ Less

Submitted 23 March, 2008; originally announced March 2008.

Comments: 37 pp

Symplectic reflection algebras

Authors: Iain Gordon

Abstract: We survey recent results on the representation theory of symplectic reflection algebras, focusing particularly on connections with symplectic quotient singularities and their resolutions, spaces of representations of quivers, and on category O. We survey recent results on the representation theory of symplectic reflection algebras, focusing particularly on connections with symplectic quotient singularities and their resolutions, spaces of representations of quivers, and on category O. △ Less

Submitted 10 December, 2007; originally announced December 2007.

Comments: Submitted to the ICRA XII Book "Trends in Representation Theory of Algebras and Related Topics"

MSC Class: 16G

The real loci of Calogero-Moser spaces, representations of rational Cherednik algebras and the Shapiro conjecture

Authors: Iain Gordon, Emil Horozov, Milen Yakimov

Abstract: We prove a criterion for the reality of irreducible representations of the rational Cherednik algebras H_{0,1}(S_n). This is shown to imply a criterion for the real loci of the Calogero-Moser spaces C_n in terms of the Etingof-Ginzburg finite maps Υ\colon C_n \to C^n/S_n \times C^n/S_n, recovering a result of Mikhin, Tarasov, and Varchenko [MTV2]. As a consequence we obtain a criterion for the r… ▽ More We prove a criterion for the reality of irreducible representations of the rational Cherednik algebras H_{0,1}(S_n). This is shown to imply a criterion for the real loci of the Calogero-Moser spaces C_n in terms of the Etingof-Ginzburg finite maps Υ\colon C_n \to C^n/S_n \times C^n/S_n, recovering a result of Mikhin, Tarasov, and Varchenko [MTV2]. As a consequence we obtain a criterion for the real locus of the Wilson's adelic Grassmannian of rank one bispectral solutions of the KP hierarchy. Using Wilson's first parametrisation of the adelic Grassmannian, we give a new proof of a result of [MTV2] on real bases of spaces of quasi polynomials. The Shapiro Conjecture for Grassmannians is equivalent to a special case of our result for Calogero-Moser spaces, namely for the fibres of Υover C^n/S_n \times 0. △ Less

Submitted 27 November, 2007; originally announced November 2007.

Comments: 19 pages

Gelfand-Kirillov conjecture for symplectic reflection algebras

Authors: Iain Gordon

Abstract: We construct functorially a class of algebras using the formalism of double derivations. These algebras extend to higher dimensions Crawley-Boevey and Holland's construction of deformed preprojective algebras and encompass symplectic reflection algebras associated to wreath products. We use this construction to show that the quotient field of a symplectic reflection algebra is "rational", confirmi… ▽ More We construct functorially a class of algebras using the formalism of double derivations. These algebras extend to higher dimensions Crawley-Boevey and Holland's construction of deformed preprojective algebras and encompass symplectic reflection algebras associated to wreath products. We use this construction to show that the quotient field of a symplectic reflection algebra is "rational", confirming a pair of conjectures of Etingof and Ginzburg. △ Less

Submitted 12 August, 2010; v1 submitted 7 October, 2007; originally announced October 2007.

Comments: The generators and relations given in 2.4 are not correct. Specifically the commutation relation (3) needs to be changed. I do not know how to do this in general, and so the preprint is incorrect as it stands. Corollary 6.3 is correct, however, and is used in arXiv:0709.2338

Calogero-Moser space, reduced rational Cherednik algebras, and two-sided cells

Authors: I. G. Gordon, M. Martino

Abstract: We conjecture that the "nilpotent points" of Calogero-Moser space for reflection groups are parametrised naturally by the two-sided cells of the group with unequal parameters. The nilpotent points correspond to blocks of restricted Cherednik algebras and we describe these blocks in the case G(m,1,n) and show that in type B our description produces an existing conjectural description of two-sided… ▽ More We conjecture that the "nilpotent points" of Calogero-Moser space for reflection groups are parametrised naturally by the two-sided cells of the group with unequal parameters. The nilpotent points correspond to blocks of restricted Cherednik algebras and we describe these blocks in the case G(m,1,n) and show that in type B our description produces an existing conjectural description of two-sided cells. △ Less

Submitted 6 March, 2007; originally announced March 2007.

Quiver varieties, category O for rational Cherednik algebras, and Hecke algebras

Authors: Iain Gordon

Abstract: We relate the representations of the rational Cherednik algebras associated with the complex reflection group G(m,1,n) to sheaves on Nakajima quiver varieties associated with extended Dynkin gaphs via a Z-algebra construction. As the parameters defining the Cherednik algebra vary, the stability conditions defining the quiver variety change. We interpret the ordering on category O geometrically u… ▽ More We relate the representations of the rational Cherednik algebras associated with the complex reflection group G(m,1,n) to sheaves on Nakajima quiver varieties associated with extended Dynkin gaphs via a Z-algebra construction. As the parameters defining the Cherednik algebra vary, the stability conditions defining the quiver variety change. We interpret the ordering on category O geometrically using this relationship; we also relate the geometry to the a-function for Hecke algebras with unequal parameters. △ Less

Submitted 6 March, 2007; originally announced March 2007.

Cherednik, Hecke and quantum algebras as free Frobenius and Calabi-Yau extensions

Authors: K. A. Brown, I. G. Gordon, C. H. Stroppel

Abstract: We show how the existence of a PBW-basis and a large enough central subalgebra can be used to deduce that an algebra is Frobenius. This is done by considering the examples of rational Cherednik algebras, Hecke algebras, quantised universal enveloping algebras, quantum Borels and quantised function algebras. In particular, we give a positive answer to \cite[Problem 6]{Rouquier} stating that the r… ▽ More We show how the existence of a PBW-basis and a large enough central subalgebra can be used to deduce that an algebra is Frobenius. This is done by considering the examples of rational Cherednik algebras, Hecke algebras, quantised universal enveloping algebras, quantum Borels and quantised function algebras. In particular, we give a positive answer to \cite[Problem 6]{Rouquier} stating that the restricted rational Cherednik algebra at the value $t=0$ is symmetric. △ Less

Submitted 6 July, 2006; originally announced July 2006.

MSC Class: 16W35; 20C08

Journal ref: Journal of Algebra 2008

A remark on rational Cherednik algebras and differential operators on the cyclic quiver

Authors: Iain Gordon

Abstract: We show that the spherical subalgebra of the rational Cherednik algebra associated to the wreath product of a symmetric group and a cyclic group is isomorphic to a quotient of the ring of invariant differential operators on a space of representations of the cyclic quiver. This confirms a version of a conjecture of Etingof and Ginzburg in the case of cyclic groups. The proof is a straightforward… ▽ More We show that the spherical subalgebra of the rational Cherednik algebra associated to the wreath product of a symmetric group and a cyclic group is isomorphic to a quotient of the ring of invariant differential operators on a space of representations of the cyclic quiver. This confirms a version of a conjecture of Etingof and Ginzburg in the case of cyclic groups. The proof is a straightforward application of work of Oblomkov on the deformed Harish-Chandra homomorphism, and of Crawley-Boevey and of Gan and Ginzburg on preprojective algebras. △ Less

Submitted 20 July, 2005; originally announced July 2005.

A theory of hyperfinite sets

Authors: P. V. Andreev, E. I. Gordon

Abstract: We develop an axiomatic set theory -- the Theory of Hyperfinite Sets THS, which is based on the idea of existence of proper subclasses of big finite sets. We demonstrate how theorems of classical continuous mathematics can be transfered to THS, prove consistency of THS and present some applications. We develop an axiomatic set theory -- the Theory of Hyperfinite Sets THS, which is based on the idea of existence of proper subclasses of big finite sets. We demonstrate how theorems of classical continuous mathematics can be transfered to THS, prove consistency of THS and present some applications. △ Less

Submitted 17 February, 2005; originally announced February 2005.

Comments: 28 pages

MSC Class: 26E35; 03E70; 03C62; 54J05

Rational Cherednik algebras and Hilbert schemes II: representations and sheaves

Authors: I. Gordon, J. T. Stafford

Abstract: Let H_c be the rational Cherednik algebra of type A_{n-1} with spherical subalgebra U_c=eH_ce. Then U_c is filtered by order of differential operators with associated graded ring gr U_c=C[h + h*]^W, where W is the n-th symmetric group. Using the Z-algebra construction from our earlier paper (math.RA/0407516) it is also possible to associate to a filtered H_c- or U_c-module M a coherent sheaf on… ▽ More Let H_c be the rational Cherednik algebra of type A_{n-1} with spherical subalgebra U_c=eH_ce. Then U_c is filtered by order of differential operators with associated graded ring gr U_c=C[h + h*]^W, where W is the n-th symmetric group. Using the Z-algebra construction from our earlier paper (math.RA/0407516) it is also possible to associate to a filtered H_c- or U_c-module M a coherent sheaf on the Hilbert scheme Hilb(n). Using this technique, we study the representation theory of U_c and H_c, and relate it to Hilb(n) and to the resolution of singularities from Hilb(n) to h+h*/W. For example, we prove: (1) If c=1/n, so that L_c(triv) is the unique one-dimensional simple H_c-module, then L_c(triv) corresponds to the structure sheaf of the punctual Hilbert scheme. (2) If c=1/n+k (for k some natural number) then, under a canonical filtration on the finite dimensional module L_c(triv), gr eL_{c}(triv) has a natural bigraded structure which coincides with that on the global sections of certain ample line bundles on the punctual Hilbert scheme; this confirms conjectures of Berest, Etingof and Ginzburg, and relates representations of H_c and U_c with Haiman's combinatorial work on the Hilbert scheme. (3) Under mild restrictions on c, the characteristic cycle of the standard H_c-modules are described in terms of certain irreducible subvarieties of the Hilbert scheme (appearing originally in work of Grojnowski) with multiplicities given by Kostka numbers. △ Less

Submitted 12 October, 2004; originally announced October 2004.

Rational Cherednik algebras and Hilbert schemes

Authors: I. Gordon, J. T. Stafford

Abstract: Let H_c be the rational Cherednik algebra of type A_{n-1} with spherical subalgebra U_c = eH_ce. Then U_c is filtered by order of differential operators, with associated graded ring gr U_c = C[h+h*]^W, where W is the n-th symmetric group. We construct a filtered Z-algebra B such that, under mild conditions on c: (1) The category B-qgr of graded noetherian B-modules modulo torsion is equivalent… ▽ More Let H_c be the rational Cherednik algebra of type A_{n-1} with spherical subalgebra U_c = eH_ce. Then U_c is filtered by order of differential operators, with associated graded ring gr U_c = C[h+h*]^W, where W is the n-th symmetric group. We construct a filtered Z-algebra B such that, under mild conditions on c: (1) The category B-qgr of graded noetherian B-modules modulo torsion is equivalent to U_c-mod; (2) The associated graded Z-algebra gr(B) has gr(B)-qgr equivalent to Coh Hilb(n), the category of coherent sheaves on the Hilbert scheme of points in the plane. This can be regarded as saying that U_c simultaneously gives a noncommutative deformation both of (h+h*)/W and of its resolution of singularities Hilb(n) --> (h+h*)/W. As our forthcoming companion paper [GS] shows, this result is a powerful tool for studying the representation theory of H_c and its relationship to Hilb(n). △ Less

Submitted 12 October, 2004; v1 submitted 29 July, 2004; originally announced July 2004.

Comments: Minor changes: proof of Corollary 4.13 adjusted; typos corrected

On finite approximations of topological algebraic systems

Authors: L. Yu. Glebsky, E. I. Gordon, C. W. Henson

Abstract: We introduce and discuss a definition of approximation of a topological algebraic system $A$ by finite algebraic systems of some class $\K$. For the case of a discrete algebraic system this definition is equivalent to the well-known definition of a local embedding of an algebraic system $A$ in a class $\K$ of algebraic systems. According to this definition $A$ is locally embedded in $K$ iff it i… ▽ More We introduce and discuss a definition of approximation of a topological algebraic system $A$ by finite algebraic systems of some class $\K$. For the case of a discrete algebraic system this definition is equivalent to the well-known definition of a local embedding of an algebraic system $A$ in a class $\K$ of algebraic systems. According to this definition $A$ is locally embedded in $K$ iff it is a subsystem of an ultraproduct of some systems in $\K$. We obtain a similar characterization of approximation of a locally compact system $A$ by systems in $\K$. We inroduce the bounded formulas of the signature of $A$ and their approximations similar to those introduced by C.W.Henson \cite{he} for Banach spaces. We prove that a positive bounded formula $\f$ holds in $A$ if all precise enough approximations of $\f$ hold in all precise enough approximations of $A$. We prove that a locally compact field cannot be approximated by finite associative rings (not necessary commutative). Finite approximations of the field $\R$ can be concedered as computer systems for reals. Thus, it is impossible to construct a computer arithmetic for reals that is an associative ring. △ Less

Submitted 31 July, 2006; v1 submitted 21 November, 2003; originally announced November 2003.

Comments: 20 pages, sent to Journal of Symbolic Logic

MSC Class: 26E35; 03H05; Secondary 28E05; 42A38

Representations of symplectic reflection algebras and resolutions of deformations of symplectic quotient singularities

Authors: Iain Gordon, S. Paul Smith

Abstract: We give an equivalence of triangulated categories between the derived category of finitely generated representations of symplectic reflection algebras associated with wreath products (with parameter t=0) and the derived category of coherent sheaves on a crepant resolution of the spectrum of the centre of these algebras. We give an equivalence of triangulated categories between the derived category of finitely generated representations of symplectic reflection algebras associated with wreath products (with parameter t=0) and the derived category of coherent sheaves on a crepant resolution of the spectrum of the centre of these algebras. △ Less

Submitted 17 November, 2003; v1 submitted 13 October, 2003; originally announced October 2003.

Comments: References added and some typos corrected

On approximation of topological groups by finite algebraic systems. II

Authors: L. Yu. Glebsky, E. I. Gordon, C. J. Rubio

Abstract: Recall that a locally compact group G is called unimodular if the left Haar measure on G is equal to the right one. It is proved in this paper that G is unimodular iff it is approximable by finite quasigroups (Latin squares). Recall that a locally compact group G is called unimodular if the left Haar measure on G is equal to the right one. It is proved in this paper that G is unimodular iff it is approximable by finite quasigroups (Latin squares). △ Less

Submitted 4 April, 2003; originally announced April 2003.

Comments: 13 page, to be submitted in Illinois Math. Jour

MSC Class: 26E35; 03H05; 28E05; 42A38

On the quotient ring by diagonal harmonics

Authors: Iain Gordon

Abstract: For a Weyl group W and its reflection representation mathfrak{h}, we find the character and Hilbert series for a quotient ring of C[mathfrak{h} oplus mathfrak{h}^*] by an ideal containing the W--invariant polynomials without constant term. This confirms conjectures of Haiman. The proof makes use of rational Cherednik algebras, as studied by Etingof and Ginzburg, and others. For a Weyl group W and its reflection representation mathfrak{h}, we find the character and Hilbert series for a quotient ring of C[mathfrak{h} oplus mathfrak{h}^*] by an ideal containing the W--invariant polynomials without constant term. This confirms conjectures of Haiman. The proof makes use of rational Cherednik algebras, as studied by Etingof and Ginzburg, and others. △ Less

Submitted 16 August, 2002; v1 submitted 16 August, 2002; originally announced August 2002.

Baby Verma modules for rational Cherednik algebras

Authors: Iain Gordon

Abstract: Symplectic reflection algebras arise in many different mathematical disciplines: integrable systems, Lie theory, representation theory, differential operators, symplectic geometry. In this paper, we introduce baby Verma modules for symplectic reflection algebras of complex reflection groups at parameter t=0 (the so--called rational Cherednik algebras at parameter t=0) and present their most basi… ▽ More Symplectic reflection algebras arise in many different mathematical disciplines: integrable systems, Lie theory, representation theory, differential operators, symplectic geometry. In this paper, we introduce baby Verma modules for symplectic reflection algebras of complex reflection groups at parameter t=0 (the so--called rational Cherednik algebras at parameter t=0) and present their most basic properties. By analogy with the representation theory of reductive Lie algebras in positive characteristic, we believe these modules are fundamental to the understanding of the representation theory and associated geometry of the rational Cherednik algebras at parameter t=0. As an example, we use baby Verma modules to answer several problems posed by Etingof and Ginzburg, and give an elementary proof of a theorem of Finkelberg and Ginzburg. △ Less

Submitted 13 May, 2002; v1 submitted 28 February, 2002; originally announced February 2002.

Comments: Relationship between baby Vermas for symmetric group and the Springer correspondence discussed; introduction added

On approximation of topological groups by finite algebraic systems

Authors: L. Yu. Glebsky, E. I. Gordon

Abstract: It is known that locally compact groups approximable by finite ones are unimodular, but this condition is not sufficient, for example, the simple Lie groups are not approximable by finite ones as topological groups. In this paper the approximations of locally compact groups by more general finite algebraic systems are investigated. It is proved that the approximation of locally compact groups by… ▽ More It is known that locally compact groups approximable by finite ones are unimodular, but this condition is not sufficient, for example, the simple Lie groups are not approximable by finite ones as topological groups. In this paper the approximations of locally compact groups by more general finite algebraic systems are investigated. It is proved that the approximation of locally compact groups by finite semigroups is equivalent to approximation by finite groups and thus not all locally compact groups are approximable by finite semigroups. We prove that any locally compact group is approximable by finite left (right) quasigroups but the approximabilty of a locally compact group by finite quasigroups (latin squares) implies its unimodularity. The question if the unimodularity of a locally compact group implies its approximability by finite quasigroups is open. We prove only that the discrete groups are approximable by finite quasigroups. △ Less

Submitted 11 January, 2002; originally announced January 2002.

Comments: to be sent to Proceedings of AMS

MSC Class: 26E35;03H05;28E05;42A38

Poisson orders, symplectic reflection algebras and representation theory

Authors: Kenneth A. Brown, Iain Gordon

Abstract: We introduce a new class of algebras called Poisson orders. This class includes the symplectic reflection algebras of Etingof and Ginzburg, many quantum groups at roots of unity, and enveloping algebras of restricted Lie algebras in positive characteristic. Quite generally, we study this class of algebras from the point of view of Poisson geometry, exhibiting connections between their representa… ▽ More We introduce a new class of algebras called Poisson orders. This class includes the symplectic reflection algebras of Etingof and Ginzburg, many quantum groups at roots of unity, and enveloping algebras of restricted Lie algebras in positive characteristic. Quite generally, we study this class of algebras from the point of view of Poisson geometry, exhibiting connections between their representation theory and some well-known geometric constructions. As an application, we employ our results in the study of symplectic reflection algebras, completing work of Etingof and Ginzburg on when these algebras are finite over their centres, and providing a framework for the study of their representation theory in the latter case. △ Less

Submitted 8 May, 2002; v1 submitted 7 January, 2002; originally announced January 2002.

Comments: Theorem 4.2 strengthened; example and reference added

Subregular representations of $\sl_n$ and simple singularities of type $A_{n-1}$

Authors: Iain Gordon, Dmitriy Rumynin

Abstract: Alexander Premet has stated the following problem: what is a relation between subregular nilpotent representations of a classical semisimple restricted Lie algebra and non-commutative deformations of the corresponding singularities? We solve this problem for type $A$. Using the McKay correspondence, we relate the solution to bases in equivariant $K$-theory introduced by Lusztig. Alexander Premet has stated the following problem: what is a relation between subregular nilpotent representations of a classical semisimple restricted Lie algebra and non-commutative deformations of the corresponding singularities? We solve this problem for type $A$. Using the McKay correspondence, we relate the solution to bases in equivariant $K$-theory introduced by Lusztig. △ Less

Submitted 15 January, 2001; originally announced January 2001.

Comments: 34 pages

MSC Class: 17B50; 14J17; 16S32; 18F30

O_e(G) is a free module over O(G)

Authors: K. A. Brown, I. Gordon, J. T. Stafford

Abstract: We show that the quantised function algebra O_e(G) of a simply-connected semisimple algebraic group G at a root of unity is a free module over the subring isomorphic to O(G). We show that the quantised function algebra O_e(G) of a simply-connected semisimple algebraic group G at a root of unity is a free module over the subring isomorphic to O(G). △ Less

Submitted 28 July, 2000; originally announced July 2000.

Comments: 3 pages

The ramifications of the centres: quantised function algebras at roots of unity

Authors: K. A. Brown, I. Gordon

Abstract: Let H be a Hopf algebra which is a finite module over a central sub-Hopf algebra R. We continue the study of such algebras begun in RT/9911234, concentrating in this case on the example of $O_ε[G]$, a quantised function algebra at root of unity. In particular we determine the representation type and block structure of the family of reduced quantised function algebras, and describe many of them u… ▽ More Let H be a Hopf algebra which is a finite module over a central sub-Hopf algebra R. We continue the study of such algebras begun in RT/9911234, concentrating in this case on the example of $O_ε[G]$, a quantised function algebra at root of unity. In particular we determine the representation type and block structure of the family of reduced quantised function algebras, and describe many of them up to isomorphism. A series of parallel results is obtained for the quantised Borel algebras $U_ε^{\geq 0}$. △ Less

Submitted 28 July, 2000; v1 submitted 6 December, 1999; originally announced December 1999.

Comments: 38 pages; typos corrected, references adjusted, Proposition 2.2 added

Report number: University of Glasgow preprint no. 99/46

The ramification of centres: Lie algebras in positive characteristic and quantised enveloping algebras

Authors: K. A. Brown, I. Gordon

Abstract: Let H be a Hopf algebra which is a finite module over a central sub-Hopf algebra R. The ramification behaviour of the maximal ideals of Z(H) with respect to the subalgebra R is studied. In the case when H is U(g), the enveloping algebra of a semisimple Lie algebra g, a conjecture of Humphreys is confirmed. In the case when H is the quantised enveloping algebra of g at a root of unity we obtain q… ▽ More Let H be a Hopf algebra which is a finite module over a central sub-Hopf algebra R. The ramification behaviour of the maximal ideals of Z(H) with respect to the subalgebra R is studied. In the case when H is U(g), the enveloping algebra of a semisimple Lie algebra g, a conjecture of Humphreys is confirmed. In the case when H is the quantised enveloping algebra of g at a root of unity we obtain quantum analogues of result of a Mirkovic and Rumynin, we fully describe the reduced factor algebras over the regular sheet and the blocks of H are determined. △ Less

Submitted 29 November, 1999; originally announced November 1999.

Comments: 42 pages, 1 table

Report number: University of Glasgow preprint no. 99/16