DOCSLIB.ORG

Arxiv:1611.04937V1 [Math.RT] 15 Nov 2016 Otemr Utestigof a Theorem, Setting Skryabin’S Subtle Generalizing More About Is the Paper to This 1.1

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1611.04937V1 [Math.RT] 15 Nov 2016 Otemr Utestigof a Theorem, Setting Skryabin’S Subtle Generalizing More About Is the Paper to This 1.1 W-ALGEBRAS AND WHITTAKER CATEGORIES SAM RASKIN For Arthur Abstract. Affine W-algebras are a somewhat complicated family of (topological) associative al- gebras associated with a semisimple Lie algebra, quantizing functions on the algebraic loop space of Kostant’s slice. They have attracted a great deal of attention in geometric representation theory because of Feigin-Frenkel’s duality theorem for them, which identifies W-algebras for a Lie algebra and its Langlands dual through a subtle construction. The main result of this paper is an affine version of Skryabin’s theorem, describing the category of modules over the W-algebra in simpler categorical terms. But unlike the classical story, it is essential to work with derived categories in the affine setting. One novel feature is the use of geometric techniques to study W-algebras: the theory of D-modules on the loop group and the geometry of the affine Grassmannian are indispensable tools. These are used to give an infinite family of affine analogues of the Bezrukavnikov-Braverman-Mirkovic the- orem, providing a geometric version of Rodier’s compact approximation to the Whittaker model from the arithmetic setting. We also use these methods to generalize Beraldo’s theorem identify- ing Whittaker invariants and Whittaker coinvariants, extending his result from GLn to a general reductive group. At integral level, these methods seem to have deep intrinsic meaning in the local geometric Langlands program. The theory developed here provides systematic proofs of many classical results in the subject. In particular, we clarify the exactness properties of the quantum Drinfeld-Sokolov functor. Contents 1. Introduction 1 2. Compact approximation to the Whittaker model 13 3. Some supporting calculations 25 4. Drinfeld-Sokolov realization of the generalized vacuum representations 33 5. Affine Skryabin theorem 44 6. Free-field realization of the generalized vacuum representations 54 arXiv:1611.04937v1 [math.RT] 15 Nov 2016 7. Applications 58 Appendix A. Filtrations, Harish-Chandra modules, and semi-infinite cohomology 61 Appendix B. Proof of Lemma 5.3.1 87 References 94 1. Introduction 1.1. This paper is about generalizing Skryabin’s theorem, a simple result about finite W-algebras,1 to the more subtle setting of affine W-algebras. Date: November 16, 2016. 1One finds competing explanations for the name in the literature. 1 2 SAM RASKIN The main new construction of the paper is of a more general nature. It provides a compact approximation to the Whittaker model, which corresponds under the conjectural local geometric Langlands correspondence to the stratification of the moduli space of de Rham local systems by slope. This method, which we call the adolescent Whittaker construction, is a new one, though closely related to [Rod]. It appears to be fundamental in geometric Langlands, and may be of interest to specialists in the Langlands program without an interest in W-algebras. But in what follows, we emphasize the role of W-algebras, which are ultimately the main players in this paper. We provide a survey of the subject below. The reader with no interest in this part of the paper can safely skip that material. 1.2. Some notation. We work over a ground field k of characteristic 0 throughout the paper. Let g be a reductive Lie algebra. Let n be the radical of a Borel b. We fix Chevalley generators ei P n. Let ψ : n Ñ k be the non-degenerate character with ψpeiq“ 1 for all i. Throughout the paper, notation is always assumed derived (see §1.18 for an explanation why). Our derived categories are considered as DG categories.2 They all admit arbitrary (small) colimits (equivalently, arbitrary direct sums), i.e., they are cocomplete. They are considered as objects of DGCatcont, the 8-category of cocomplete DG categories and continuous functors (i.e., functors preserving all colimits) . E.g., Vect means the DG category of chain complexes of (k-)vector spaces. Similarly, g–mod denotes the DG category of chain complexes of g-modules. We use the notation Vect♥, g–mod♥, etc. to refer to the usual abelian categories (since these are the hearts of standard t-structures on the DG categories). We use Homp´, ´q to denote the chain complex of maps in a DG category. 1.3. Finite W-algebras. We begin by describing what W-algebras are in the finite-dimensional setting, and what about them we wish to generalize. 1.4. We have the finite Drinfeld-Sokolov functor: Ψfin : g–mod Ñ Vect defined by: M ÞÑ C‚pn, M b´ψq The implicit connection to Whittaker models from harmonic analysis has been suggested repeatedly, e.g. in [DSK]. The explanation makes a lot of sense, since the subject was started in [Kos2]; here the word “Whittaker” in the title is explicitly meant to evoke the above meaning. Arakawa [Ara1] suggests the name comes because affine W-algebras generalize the Virasoro algebra, and W succeeds V in the alphabet. De Sole and Kac also suggest in [DSK] §0.2 that because W-algebras quantize functions on the space of invariant polynomials of the group, which can be thought of as invariant polynomials for the Weyl group considered as a Chevalley group, that the name derives from Weyl. I tried to hunt the answer down in the literature, with only partial success. For sl3, the affine W-algebra has two 1-parameter families of generators; one family has to do with Virasoro, so is denoted Ln by standard tradition. In Zamolodchikov’s first paper [Zam] on the subject, which introduced the affine W-algebra for sl3, he denotes the other family by Vn. Howeover, in his second paper [FZ] on the subject, joint with Fateev, the second family is denoted by Wn. As far as I could tell, the name originates from this choice of notation in the second paper. I do not know what this choice was made. The connection to Virasoro was transparent at that time, but I am not sure about the connection to Whittaker models and Kostant’s work. I’m not even sure that the connection to sl3 would have been clear yet. 2This means that they are enriched over chain complexes of vector spaces (and satisfy a few additional hypotheses). However, this notion should be considered in the homotopic sense, i.e., as 8-categories in the sense of Lurie, c.f. [Gai4]. W-ALGEBRAS AND WHITTAKER CATEGORIES 3 where C‚ indicates the cohomological Chevalley complex (i.e., Lie algebra cohomology), and ´ψ is abusive notation for the 1-dimensional n-module defined by the character ´ψ (the reason for the sign will be apparent later). The non-derived version of this functor was introduced in [Kos2], where its basic properties were established.3 Define the DG algebra Wfin as the endomorphisms of this functor.4 One has: Theorem 1.4.1 (« Kostant [Kos2]). (1) Wfin is concentrated in cohomological degree 0, i.e., Wfin “ H0pWfinq. (2) Wfin carries a canonical filtration whose associated graded is slightly non-canonically iso- morphic to the algebra of functions on the Kostant slice f ` be » f ` b{N » g{{G. Here f is a principal nilpotent element related to ψ, e fits into a principal sl2 with f with re, fs P b. We use the quotient symbol { to indicate the stack quotient (which happens to be an affine scheme in this case), and {{ to indicate the GIT quotient. This isomorphism is completely determined by a choice of Ad-invariant isomorphism g » g_. Then for π : g Ñ g_ Ñ n_, f should be the unique nilpotent element in π´1pψq. The proof is quick using Kazhdan-Kostant filtrations, c.f. [Kos2] §1-2, [GG] §4, or §A.19 from the appendix of the present paper. Remark 1.4.2. In fact, it is straightforward to show using these methods that the canonical map Zpgq Ñ Wfin is an isomorphism; in particular, Wfin is commutative. (This is also all but proved in [Kos2].) We encourage the reader to forget this fact as much as possible. The affine W-algebras are not (usually) commutative. There is a more subtle point as well: this identification is not true derivedly, i.e., there are non-vanishing higher Hochschild cohomology groups for Upgq. (From this perspective, the algebra Wfin can be thought of as a construction of the usual (non-derived) center of Upgq adapted to derived settings.) 1.5. Skryabin’s theorem. One has the following description of the category of modules over Wfin. Let g–modN,ψ Ď g–mod denote the full subcategory consisting of twisted Harish-Chandra mod- ules, i.e,. the full subcategory consisting of complexes on whose cohomologies the operators x´ψpxq act locally nilpotently for every x P n. Theorem 1.5.1 (Skryabin’s theorem). There is a canonical t-exact equivalence of DG categories g–modN,ψ ÝÑ» Wfin–mod fitting into a commutative diagram: g–modN,ψ » / Wfin–mod ❑ r ❑❑ fin rr ❑❑Ψ❑ Oblv rr ❑❑ rrr ❑❑% ry rr Vect. Here Oblv denotes the forgetful functor. 3Almost established, in any case. One often finds this source cited for results which are not proved there, but whose proofs can readily be extracted from it. 4 fin fin Explicitly, this means we take Endg–modpΨ pUpgqqq, where Ψ pUpgqq is regarded as a g-module through the bimodule structure on Upgq. ‚ More explicitly still, note that C‚pn, ´q “ C pn, ´qrdim ns b detpnq (with C‚ being Lie algebra homology), so fin g _ Ψ pUpgqq “ indnp´ψqr´ dim ns b detpnq (the sign occurs in switching between right and left actions). So we fin ‚ compute that Endg–modpΨ pUpgqqq is C n,C‚pn, Upgqb´ψqb ψ .
Load more

Recommended publications
  • Sheets of Symmetric Lie Algebras and Slodowy Slices Michaël Bulois
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Archive Ouverte en Sciences de l'Information et de la Communication Sheets of Symmetric Lie Algebras and Slodowy Slices Michaël Bulois To cite this version: Michaël Bulois. Sheets of Symmetric Lie Algebras and Slodowy Slices. Journal of Lie Theory, 2011, 21, pp.1-54. hal-00464531 HAL Id: hal-00464531 https://hal.archives-ouvertes.fr/hal-00464531 Submitted on 20 Nov 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Sheets of Symmetric Lie Algebras and Slodowy Slices Michaël Bulois ∗ Abstract Let θ be an involution of the finite dimmensional reductive Lie algebra g and g = k ⊕ p be the associated Cartan decomposition. Denote by K ⊂ G the connected subgroup having k as Lie algebra. (m) The K-module p is the union of the subsets p := {x | dim K.x = m}, m ∈ N, and the K-sheets of (g, θ) are the irreducible components of the p(m). The sheets can be, in turn, written as a union of so-called Jordan K-classes. We introduce conditions in order to describe the sheets and Jordan classes in terms of Slodowy slices.
    [Show full text]
  • Introduction to Representations Theory of Lie Groups
    Introduction to Representations Theory of Lie Groups Raul Gomez October 14, 2009 Introduction The purpose of this notes is twofold. The first goal is to give a quick answer to the question \What is representation theory about?" To answer this, we will show by examples what are the most important results of this theory, and the problems that it is trying to solve. To make the answer short we will not develop all the formal details of the theory and we will give preference to examples over proofs. Few results will be proved, and in the ones were a proof is given, we will skip the technical details. We hope that the examples and arguments presented here will be enough to give the reader and intuitive but concise idea of the covered material. The second goal of the notes is to be a guide to the reader interested in starting a serious study of representation theory. Sometimes, when starting the study of a new subject, it's hard to understand the underlying motivation of all the abstract definitions and technical lemmas. It's also hard to know what is the ultimate goal of the subject and to identify the important results in the sea of technical lemmas. We hope that after reading this notes, the interested reader could start a serious study of representation theory with a clear idea of its goals and philosophy. Lets talk now about the material covered on this notes. In the first section we will state the celebrated Peter-Weyl theorem, which can be considered as a generalization of the theory of Fourier analysis on the circle S1.
    [Show full text]
  • LIE GROUPS and ALGEBRAS NOTES Contents 1. Definitions 2
    LIE GROUPS AND ALGEBRAS NOTES STANISLAV ATANASOV Contents 1. Definitions 2 1.1. Root systems, Weyl groups and Weyl chambers3 1.2. Cartan matrices and Dynkin diagrams4 1.3. Weights 5 1.4. Lie group and Lie algebra correspondence5 2. Basic results about Lie algebras7 2.1. General 7 2.2. Root system 7 2.3. Classification of semisimple Lie algebras8 3. Highest weight modules9 3.1. Universal enveloping algebra9 3.2. Weights and maximal vectors9 4. Compact Lie groups 10 4.1. Peter-Weyl theorem 10 4.2. Maximal tori 11 4.3. Symmetric spaces 11 4.4. Compact Lie algebras 12 4.5. Weyl's theorem 12 5. Semisimple Lie groups 13 5.1. Semisimple Lie algebras 13 5.2. Parabolic subalgebras. 14 5.3. Semisimple Lie groups 14 6. Reductive Lie groups 16 6.1. Reductive Lie algebras 16 6.2. Definition of reductive Lie group 16 6.3. Decompositions 18 6.4. The structure of M = ZK (a0) 18 6.5. Parabolic Subgroups 19 7. Functional analysis on Lie groups 21 7.1. Decomposition of the Haar measure 21 7.2. Reductive groups and parabolic subgroups 21 7.3. Weyl integration formula 22 8. Linear algebraic groups and their representation theory 23 8.1. Linear algebraic groups 23 8.2. Reductive and semisimple groups 24 8.3. Parabolic and Borel subgroups 25 8.4. Decompositions 27 Date: October, 2018. These notes compile results from multiple sources, mostly [1,2]. All mistakes are mine. 1 2 STANISLAV ATANASOV 1. Definitions Let g be a Lie algebra over algebraically closed field F of characteristic 0.
    [Show full text]
  • Representation Theory
    M392C NOTES: REPRESENTATION THEORY ARUN DEBRAY MAY 14, 2017 These notes were taken in UT Austin's M392C (Representation Theory) class in Spring 2017, taught by Sam Gunningham. I live-TEXed them using vim, so there may be typos; please send questions, comments, complaints, and corrections to [email protected]. Thanks to Kartik Chitturi, Adrian Clough, Tom Gannon, Nathan Guermond, Sam Gunningham, Jay Hathaway, and Surya Raghavendran for correcting a few errors. Contents 1. Lie groups and smooth actions: 1/18/172 2. Representation theory of compact groups: 1/20/174 3. Operations on representations: 1/23/176 4. Complete reducibility: 1/25/178 5. Some examples: 1/27/17 10 6. Matrix coefficients and characters: 1/30/17 12 7. The Peter-Weyl theorem: 2/1/17 13 8. Character tables: 2/3/17 15 9. The character theory of SU(2): 2/6/17 17 10. Representation theory of Lie groups: 2/8/17 19 11. Lie algebras: 2/10/17 20 12. The adjoint representations: 2/13/17 22 13. Representations of Lie algebras: 2/15/17 24 14. The representation theory of sl2(C): 2/17/17 25 15. Solvable and nilpotent Lie algebras: 2/20/17 27 16. Semisimple Lie algebras: 2/22/17 29 17. Invariant bilinear forms on Lie algebras: 2/24/17 31 18. Classical Lie groups and Lie algebras: 2/27/17 32 19. Roots and root spaces: 3/1/17 34 20. Properties of roots: 3/3/17 36 21. Root systems: 3/6/17 37 22. Dynkin diagrams: 3/8/17 39 23.
    [Show full text]
  • Parabolic Subalgebras, Parabolic Buildings and Parabolic Projection
    PARABOLIC SUBALGEBRAS, PARABOLIC BUILDINGS AND PARABOLIC PROJECTION DAVID M. J. CALDERBANK AND PASSAWAN NOPPAKAEW Abstract. Reductive (or semisimple) algebraic groups, Lie groups and Lie algebras have a rich geometry determined by their parabolic subgroups and subalgebras, which carry the structure of a building in the sense of J. Tits. We present herein an elementary approach to the geometry of parabolic subalgebras, over an arbitrary field of characteristic zero, which does not rely upon the structure theory of semisimple Lie algebras. Indeed we derive such structure theory, from root systems to the Bruhat decomposition, from the properties of parabolic subalgebras. As well as constructing the Tits building of a reductive Lie algebra, we establish a “parabolic projection” process which sends parabolic subalgebras of a reductive Lie algebra to parabolic subalgebras of a Levi subquotient. We indicate how these ideas may be used to study geometric configurations and their moduli. Parabolic subgroups and their Lie algebras are fundamental in Lie theory and the theory of algebraic groups [2, 16, 17, 19, 21, 25, 29, 35, 38]. They play a key role in combinatorial, differential and integrable geometry through Tits buildings and parabolic invariant theory [1, 3, 5, 8, 31, 33, 36]. Traditional approaches define parabolic subalgebras of semisimple or reductive Lie algebras as those containing a Borel (maximal solvable) subalgebra in some field extension, and typically develop the theory of parabolic subalgebras using the root system associated to a Cartan subalgebra of such a Borel subalgebra. Such approaches are far from elementary, and provide limited insight when the field is not algebraically closed.
    [Show full text]
  • Geometric Methods in Representation Theory
    Geometric Methods in Representation Theory Wilfried Schmid¤ Lecture Notes Taken by Matvei Libine February 4, 2004 Abstract These are notes from the mini-course given by W. Schmid in June 2003 at the Brussels PQR2003 Euroschool. Both authors are very thankful to Simone Gutt for organizing the conference and her hospitality. Contents 1 Reductive Lie Groups: De¯nitions and Basic Properties 2 1.1 Basic De¯nitions and Examples . 2 1.2 Maximal Compact Subgroups and the Cartan Decomposition . 3 1.3 Complexi¯cations of Linear Groups . 4 2 Compact Lie Groups 6 2.1 Maximal Tori, the Unit Lattice, and the Weight Lattice . 6 2.2 Weights, Roots, and the Weyl Group . 7 2.3 The Theorem of the Highest Weight . 9 2.4 Borel Subalgebras and the Flag Variety . 11 2.5 The Borel-Weil-Bott Theorem . 12 3 Representations of Reductive Lie Groups 14 1 3.1 Notions of Continuity and Admissibility, KR-¯nite and C Vectors . 14 3.2 Harish-Chandra Modules . 17 4 Geometric Constructions of Representations 21 4.1 The Universal Cartan Algebra and In¯nitesimal Characters . 21 4.2 Twisted D-modules . 23 4.3 Construction of Harish-Chandra Modules . 25 4.4 Construction of GR-representations . 27 4.5 Matsuki Correspondence . 29 ¤Supported in part by NSF grant DMS-0070714 1 1 Reductive Lie Groups: De¯nitions and Basic Properties The results stated in this section are fairly standard. Proofs and further details can be found in [23], for instance. 1.1 Basic De¯nitions and Examples In these notes \Lie algebra" means ¯nite dimensional Lie algebra over R or C.
    [Show full text]
  • Lie Algebras (Fall 2017)
    LIE ALGEBRAS (FALL 2017) Contents 0. Introduction 4 0.1. Topics 4 0.2. Manifolds and Lie groups 4 0.3. Lie algebras: definition and examples 5 1. Representations of Lie algebras 10 1.1. Representations of groups 10 1.2. Representations of Lie algebras 12 2. Representation theory of sl2 16 2.1. Lie algebra sl2 16 2.2. Weights and primitive vectors 16 2.3. Classification of irreducible finite dimensional modules for g = sl2 17 2.4. Semisimplicity theorem for sl2 18 2.5. Crystals: a combinatorial view on representations 19 2.6. Weyl’s proof of semisimplicity 20 2.7. Appendix. Relation of semisimple Lie algebras and Lie groups 21 3. Enveloping algebras of Lie algebras 22 3.1. Enveloping algebra Ug 23 3.2. Poincare-Birkhoff-Witt theorem 24 3.3. The Casimir element C of Ug 24 4. Finite dimensional representations of sln 29 4.0. Summary 29 4.1. Lie algebra sln 29 4.2. Root systems 31 4.3. Finite dimensional representations of sln (announcement) 35 Date: 1 2 4.4. Classification of irreducible finite dimensional representations of g = sln 37 4.5. The g-submodule generated by a vector 38 4.6. Existence of irreducible representations 40 4.7. Uniqueness of irreducible representation with a given highest weight 40 4.8. Proof of the classification of irreducible finite dimensional representations of sln (theorem 4.4) 42 4.9. Classification of finite dimensional representations of g = sln 42 4.10. Proof of the semisimplicity theorem 4.9 42 4.11. Appendix. Casimir elements C Z(Ug) 44 ∈ 5.
    [Show full text]
  • Introduction to Lie Groups and Lie Algebras
    Introduction to Lie Groups and Lie Algebras Alexander Kirillov, Jr. Department of Mathematics, SUNY at Stony Brook, Stony Brook, NY 11794, USA E-mail address: [email protected] URL: http://www.math.sunysb.edu/~kirillov Contents Chapter 1. Introduction 7 Chapter 2. Lie Groups: Basic Definitions 9 §2.1. Lie groups, subgroups, and cosets 9 §2.2. Action of Lie groups on manifolds and representations 12 §2.3. Orbits and homogeneous spaces 13 §2.4. Left, right, and adjoint action 14 §2.5. Classical groups 15 Exercises 18 Chapter 3. Lie Groups and Lie algebras 21 §3.1. Exponential map 21 §3.2. The commutator 23 §3.3. Adjoint action and Jacobi identity 24 §3.4. Subalgebras, ideals, and center 25 §3.5. Lie algebra of vector fields 26 §3.6. Stabilizers and the center 28 §3.7. Campbell–Hausdorff formula 29 §3.8. Fundamental theorems of Lie theory 30 §3.9. Complex and real forms 34 §3.10. Example: so(3, R), su(2), and sl(2, C). 35 Exercises 36 Chapter 4. Representations of Lie Groups and Lie Algebras 39 §4.1. Basic definitions 39 §4.2. Operations on representations 41 §4.3. Irreducible representations 42 §4.4. Intertwining operators and Schur lemma 43 §4.5. Complete reducibility of unitary representations. Representations of finite groups 45 §4.6. Haar measure on compact Lie groups 46 3 4 Contents §4.7. Orthogonality of characters and Peter-Weyl theorem 48 §4.8. Universal enveloping algebra 51 §4.9. Poincare-Birkhoff-Witt theorem 53 Exercises 55 Chapter 5. Representations of sl(2, C) and Spherical Laplace Operator 59 §5.1.
    [Show full text]
  • Lie Algebra Cohomology and Macdonald's Conjectures
    Lie algebra cohomology and Macdonald’s conjectures Master’s Thesis of Maarten Solleveld, under supervision of Prof. Dr. E. M. Opdam University of Amsterdam Faculty of Sciences Korteweg-De Vries Institute for Mathematics Plantage Muidergracht 24 1018 TV Amsterdam September 2002 Contents Introduction 3 1 Compact Lie groups and reductive Lie algebras 5 1.1 Representations . 5 1.2 Compact Lie groups and reductive Lie algebras . 9 1.3 Structure theory . 12 1.4 The Weyl group and invariant polynomials . 19 1.5 Harmonic polynomials . 24 2 Cohomology theory for Lie algebras 30 2.1 De Rham cohomology and Lie group actions . 31 2.2 The definition of the cohomology of a Lie algebra . 33 2.3 Relative Lie algebra cohomology . 39 2.4 Lie algebra cohomology with coefficients . 43 2.5 Isomorphism theorems . 50 3 The cohomology of compact Lie groups 55 3.1 G/T .................................... 55 3.2 G and g .................................. 60 4 Some specific Lie algebras and their cohomology 64 4.1 g[z, s].................................... 65 4.2 g[z]/(zk).................................. 76 5 Macdonald’s conjectures 82 5.1 The original setting . 82 5.2 Affine Lie algebras . 86 Bibliography 90 1 2 Introduction In 1982 Macdonald [21] published his famous article Some conjectures for root sys- tems. The questions posed there inspired a lot of new research, and by know most of them are answered. This thesis deals with one of the most persisting conjectures: Let R be a root system with exponents m1, . , ml and take k ∈ N∪{∞}. The constant term (depending only on q) of k l Y Y Y k(m + 1) (1 − qieα)(1 − qi−1e−α) is i .
    [Show full text]
  • Interplay Between Algebraic Groups, Lie Algebras and Operator Ideals
    INTERPLAY BETWEEN ALGEBRAIC GROUPS, LIE ALGEBRAS AND OPERATOR IDEALS DANIEL BELTIT¸ A˘ ∗, SASMITA PATNAIK∗∗, AND GARY WEISS∗∗∗ Dedicated to the memory of Mih´aly Bakonyi Abstract. In the framework of operator theory, we investigate a close Lie theoretic relationship between all operator ideals and certain classical groups of invertible operators that can be described as the solution sets of certain alge- braic equations, hence can be regarded as infinite-dimensional linear algebraic groups. Historically, this has already been done for only the complete-norm ideals; in that case one can work within the framework of the well-known Lie theory for Banach-Lie groups. That kind of Lie theory is not applicable for arbitrary operator ideals, so we needed to find a new approach for dealing with the general situation. The simplest instance of the aforementioned relationship ∗ is provided by the Lie algebra uI (H) = {X ∈I| X = −X} associated with the group UI (H) = U(H) ∩ (1 + I) where I is an arbitrary operator ideal in B(H) and U(H) is the full group of unitary operators. We investigate the Cartan subalgebras (maximal abelian self-adjoint subalgebras) of uI (H) for {0} $ I $ B(H), and obtain an uncountably many UI (H)-conjugacy classes of these Cartan subalgebras. The cardinality proof will be given in a follow up paper [BPW13] and stands in contrast to the U(H)-uniqueness work of de la Harpe [dlH72]. Contents 1. Introduction................................. 2 2. LinearLietheory.............................. 3 3. Lie theory for some infinite-dimensional algebraic groups . .. 10 4. OntheconjugationofCartansubalgebras . 14 References .................................... 19 arXiv:1303.4842v1 [math.OA] 20 Mar 2013 2010 Mathematics Subject Classification.
    [Show full text]
  • Orbits in a Real Reductive Lie Algebra
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 168, June 1972 ORBITS IN A REAL REDUCTIVE LIE ALGEBRA BY L. PREISS ROTHSCHILD Abstract. The purpose of this paper is to give a classification of the orbits in a real reductive Lie algebra under the adjoint action of a corresponding connected Lie group. The classification is obtained by examining the intersection of the Lie algebra with the orbits in its complexification. An algebraic characterization of the minimal points in the closed orbits is also given. 0. Introduction. Let gc be a complex semisimple Lie algebra, and g a real form of gc. Gc = Ad gc will denote the adjoint group of gc, and G^GC the connected subgroup corresponding to g. If a e Gc, we write a-x for the image of x e gc under the action of the automorphism a. We shall classify the G-orbits in g by giving representatives for the G-orbits in the set Gcx n g = {y e g : y = a-x for some a e Gc} for x e gc. The orbits of maximal dimension for the action of Gc on gc have been classified by Kostant [5, Theorem 8, p. 382] who has constructed a cross-section for them, using the result that such orbits are completely determined by polynomials on gc which are invariant under Gc. Analogous results for conjugacy classes in algebraic groups have been obtained independently by Steinberg [14], using the group characters in place of the invariant polynomials. Ii is known that Gc ■x n g is actually a finite union of G-orbits [1, 2.3 Proposition].
    [Show full text]