Weyl Group Representations, Nilpotent Orbits, and the Orbit Method

Total Page:16

File Type:pdf, Size:1020Kb

Weyl Group Representations, Nilpotent Orbits, and the Orbit Method W -reps, nilp orbits, orbit method David Vogan Representation theory Weyl group representations, nilpotent irr reps ! nilp orbits, and the orbit method orbits irr reps ! W reps nilp orbits $ W reps David Vogan Explaining the arrows Remembrance of Department of Mathematics things past Massachusetts Institute of Technology Lie groups: structure, actions and representations In honor of Joe Wolf, on his 75th birthday January 11–14, 2012, Bochum W -reps, nilp orbits, Outline orbit method David Vogan Representation What is representation theory about? theory irr reps ! nilp orbits Nilpotent orbits from G reps irr reps ! W reps nilp orbits $ W reps Explaining the W reps from G reps arrows Remembrance of things past W reps and nilpotent orbits What it all says about representation theory The old good fan-fold days W -reps, nilp orbits, Gelfand’s “abstract harmonic analysis” orbit method David Vogan Representation Say Lie group G acts on manifold M. Can ask about theory irr reps ! nilp I topology of M orbits I solutions of G-invariant differential equations irr reps ! W reps I special functions on M (automorphic forms, etc.) nilp orbits $ W reps Method step 1: LINEARIZE. Replace M by Hilbert Explaining the space L2(M). Now G acts by unitary operators. arrows 2 Remembrance of Method step 2: DIAGONALIZE. Decompose L (M) things past into minimal G-invariant subspaces. Method step 3: REPRESENTATION THEORY. Study minimal pieces: irreducible unitary repns of G. What repn theory is about is2 and3. Today: what do irr unitary reps look like? W -reps, nilp orbits, Short version of the talk orbit method David Vogan ∗ Irr (unitary) rep of G (coadjoint) orbit of G on g0 . Representation ! theory fifty years of shattered dreams, broken promises !! irr reps ! nilp but I’m fine now, and not bitter orbits irr reps ! W reps G reductive: coadjt orbit conj class of matrices ! nilp orbits $ W reps Questions re matrices nilpotent matrices Explaining the nilp matrices ! combinatorics: partitions (or. ) arrows Remembrance of partitions (or. ) ! Weyl grp reps things past Conclusion: irr unitary reps ! Weyl grp reps &% nilp orbits Plan of talk: explain the arrows. W -reps, nilp orbits, When everything is easy ’cause of p orbit method David Vogan Corresp G rep nilp coadjt orbit hard=R, easier=Qp. Representation G ⊂ GL(n; Qp) reductive alg, g0 ⊂ gl(n; Qp). theory ∗ ∗ irr reps ! nilp Put NG = nilp elts of g0 , the nilpotent cone. orbits irr reps ! W reps Orbit O has natural G-invt msre µO, homog deg dim O=2, hence tempered distribution; Fourier trans µ = temp gen fn on g . nilp orbits $ W bO 0 reps Theorem (Howe, Harish-Chandra local char expansion) Explaining the arrows π 2 Gb, Θπ character (generalized function on G). Remembrance of things past θπ = lift by exp to neighborhood of 0 2 g0. Then there are unique constants cO so that X WF θπ = cOµbO π −! fOjcO 6= 0g: O on some conj-invt nbhd of 0 2 g0. Depends only on π restr to any small (compact) subgp. π restr to compact open WF(π) singularity of Θπ at e W -reps, nilp orbits, Nilp orbits from G reps by analysis: WF(π) orbit method David Vogan HC Representation (π; Hπ) irr rep −! Θπ = char of π. theory Morally Θπ(g) = tr π(g); unitary op π(g) never trace irr reps ! nilp orbits class, so get not function but “generalized function”: irr reps ! W reps nilp orbits $ W Z reps Θπ(δ) = tr δ(g)π(g) (δ test density on G) Explaining the G arrows Remembrance of Singularity of Θπ (at origin) measures things past infinite-dimensionality of π. Howe definition: ∗ ∗ WF(π) = wavefront set of Θπ at e ⊂ Te (G) = g0 passage Hπ ! WF(π) is analytic classical limit. ∗ WF(π) is G-invt closed cone of nilp elts in g0, so finite union of nilp coadjt orbit closures. W -reps, nilp orbits, Nilp orbits from G reps by comm alg: AV(π) orbit method David Vogan Representation G real reductive Lie, K maximal compact subgp. theory HC K irr reps ! nilp (π; Hπ) irr rep −! Hπ Harish-Chandra module of orbits K -finite vectors; fin gen over U(g) (with rep of K ). irr reps ! W reps HK nilp orbits $ W Choose (arbitrary) fin diml gen subspace π;0, define reps 1 Explaining the K K K X K K arrows Hπ;n =def Un(g) ·Hπ;0; gr Hπ =def Hπ;n=Hπ;n−1: n=0 Remembrance of K things past gr Hπ is fin gen over poly ring S(g) (with rep of K ). K AV(π) =def support of gr Hπ = K -invariant alg cone of nilp elts in (g=k)∗ ⊂ g∗ = Spec S(g): passage Hπ ! AV(π) is algebraic classical limit. W -reps, nilp orbits, Interlude: real nilpotent cone orbit method David Vogan Representation G real reductive Lie, K max compact, θ Cartan inv. theory irr reps ! nilp g0 real Lie alg, g = g0 ⊗R C, G(C) cplx alg gp. orbits K (C) = complexification of K : cplx reductive alg. irr reps ! W reps ∗ ∗ nilp orbits $ W N ⊂ g = nilp cone; finite union of G(C) orbits. reps N ∗ = N ∗ \ g∗; finite union of G orbits. Explaining the R def 0 arrows ∗ ∗ ∗ N =def N \ (g=k) ; finite union of K (C) orbits. Remembrance of θ things past Theorem (Kostant-Sekiguchi, Schmid-Vilonen). There’s natural bijection N ∗=G $ N ∗=K ( ); WF(π) $ AV(π): R θ C Conclusion: two paths reps nilp coadj orbits, π 7! WF(π) and π 7! AV(π) are same! W -reps, nilp orbits, And now for something completely different. orbit method David Vogan . to distinguish representations: Z(g) =def center of U(g). π irr rep infinitesimal character ξ(π): Z(g) ! is Representation C theory homomorphism giving action in π. irr reps ! nilp Fix Cartan subalgebra h ⊂ g, W = Weyl group. orbits irr reps ! W reps ∗ HC: there’s bijection [infl chars ξλ : Z(g)] ! C $ h =W . nilp orbits $ W reps Π(G)(λ) = (finite) set of irr reps of infl char ξλ Explaining the W (λ) = fw 2 W j wλ − λ = integer comb of rootsg arrows Remembrance of Theorem (Lusztig-V). If λ is regular, then Π(G)(λ) has things past natural structure of W (λ)-graph. In particular, 1. W (λ) acts on free Z-module with basis Π(G(R))(λ). 2. There’s preorder ≤LR on Π(G)(λ): y ≤LR x , x appears in w · y (w 2 W (λ)) , π(x) subquo of π(y) ⊗ F (F fin diml of Ad(G)) 3. Each double cell( ∼LR class) in Π(G)(λ) is W (λ)-graph, so carries W (λ)-repn. 4. WF(π(x)) constant for x in double cell. W -reps, nilp orbits, W reps and nilpotent orbits orbit method David Vogan ∗ Nilp cone N = fin union of G(C) orbits O. Representation theory Springer corr W ,! f(O; S)g,(S loc sys on O). c irr reps ! nilp orbits Write σ 7! (O(σ); S(σ)) (σ 2 Wc). irr reps ! W reps a(σ) Write a(σ) =lowest degree with σ ⊂ S (h) nilp orbits $ W 1. a(σ) ≥ [dim(N ∗) − dim(O)]=2. Equality iff S(σ) trivial. reps Explaining the 2. For each O 9! σ(O) 2 Wc corr to (O; trivial). arrows a(σ(O)) 3. σ(O) has mult one in S (h). Remembrance of 4. Every special rep of W (Lusztig) is of form σ(O). things past Wc ⊃ Wcnilpotent ⊃ Wcspecial Type An−1: all size p(n). E8: 112 Wc ⊃ 70 Wcnilp ⊃ 46 Wcspecial. σ 2 Wc close to trivial , a(σ) small ,O(σ) large. σ 2 Wc triv , a(σ) = 0 ,O(σ) = princ nilp. σ 2 Wc sgn , a(σ) = j∆+j , O(σ) = zero nilp. W -reps, nilp orbits, W (λ) reps and nilpotent orbits orbit method David Vogan ∗ λ 2 h ∆(λ) integral roots endoscopic gp G(λ)(C) ∗ Representation Weyl group W (λ), nilp cone N (λ)). theory ∗ irr reps ! nilp σ(λ) 2 W\(λ)special $ O(λ) ⊂ N (λ); codim = 2a(σ(λ)). orbits irr reps ! W reps Proposition L ⊂ F fin gps, L 3 σ ⊂ X (reducible) rep of F. b L nilp orbits $ W If σL has mult one in X then 9! σ 2 Fb, σL ⊂ σ ⊂ X. reps a(σ(λ)) Explaining the W (λ) ⊂ W , σ(λ) ⊂ S (h) σ 2 Wc; a(σ) = a(σ(λ)). arrows Remembrance of Theorem Representation σ 2 Wc constructed from special things past σ(λ) 2 W\(λ)special belongs to Wcnilp. Get endoscopic induction special nilps for G(λ)(C) nilps for G(C); preserves codimension in nilpotent cone. O(λ) principal O principal O(λ) = f0g O orbit for maxl prim ideal of infl char λ G(λ)(C) Levi )O(λ) O Lusztig-Spaltenstein induction W -reps, nilp orbits, Our story so far. orbit method David Vogan ∗ Representation λ 2 h endoscopic gp G(λ)(C) theory irr reps ! nilp Block B of reps of G(R) of infl char λ orbits irr reps ! W reps conn comp D of W (λ)-graph Π(G(R))(λ) nilp orbits $ W reps real form G(λ)(R); D ' D(λ) ⊂ Π(G(λ)(R)) Explaining the Conclusion: for each double cell of reps of infl char λ arrows Remembrance of ∗ things past C ⊂ Π(G(R))(λ) σ 2 Wcnilp $ O⊂N l'&"" ∗ C(λ) ⊂ Π(G(λ)(R)) $ σ(λ) 2 W\(λ)spec $O (λ) ⊂ N (λ) Further conclusion: to understand G reps nilpotent orbs, must understand W graphs special W reps.
Recommended publications
  • C*-Algebras and Kirillov's Coadjoint Orbit Method
    C∗-ALGEBRAS AND KIRILLOV'S COADJOINT ORBIT METHOD DAVID SCHWEIN One of the main goals of representation theory is to understand the unitary dual of a topological group, that is, the set of irreducible unitary representations. Much of modern number theory, for instance, is concerned with describing the unitary duals of various reduc- tive groups over a local field or the adeles, and here our understanding of the representation theory is far from complete. For a different class of groups, the nilpotent Lie groups, A. A. Kirillov gave in the mid- nineteenth century [Kir62] a simple and transparent description of the unitary dual: it is the orbit space under the coadjoint action of the Lie group on the dual of its Lie algebra. The goal of this article, notes for a talk, is to explain Kirillov's result and illustrate it with the Heisenberg group, following Kirillov's excellent and approachable book on the subject [Kir04]. We begin with an introductory section on the unitary dual of a C∗-algebra, the proper setting (currently) for unitary representations of locally compact groups, following Dixmier's exhaustive monograph on C∗-algebras [Dix77]. 1. C∗-algebras and the unitary dual The theory of unitary representations of locally compact topological groups, for instance, reductive p-adic groups, is a special case of the more general theory of representations of C∗-algebras. In this section we review the representation theory of C∗-algebras and see how it specializes to that of topological groups. 1.1. Definitions and examples. A Banach algebra is a Banach space A equipped with an algebra structure with respect to which the norm is sub-multiplicative: ka · bk ≤ kak · kbk; a; b 2 A: We do note require Banach algebras to be unital, and in fact, we will see shortly that there are many natural examples that are not unital.
    [Show full text]
  • Lectures on the Orbit Method, by AA
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 42, Number 4, Pages 535–544 S 0273-0979(05)01065-7 Article electronically published on April 6, 2005 Lectures on the orbit method, by A. A. Kirillov, Graduate Studies in Mathemat- ics, vol. 64, American Mathematical Society, Providence, RI, 2004, xx+408 pp., $65.00, ISBN 0-8218-3530-0 1. Introduction without formulas This book is about a wonderfully successful example of (if you will forgive some geometric language) circular reasoning. Here is the short version. Everywhere in mathematics, we find geometric objects M (like manifolds) that are too complicated for us to understand. One way to make progress is to introduce a vector space V of functions on M.ThespaceV may be infinite-dimensional, but linear algebra is such a powerful tool that we can still say more about the function space V than about the original geometric space M. (With a liberal interpretation of “vector space of functions”, one can include things like the de Rham cohomology of M in this class of ideas.) Often M comes equipped with a group G of symmetries, but G and M may be even less comprehensible together than separately. Nevertheless, G will act on our function space V by change of variables (giving linear transformations), and so we get a representation of G on V . Our original (and impossible) problem of understanding all actions of G on geometric spaces M is therefore at least related to the problem of understanding all representations of G. Because this is a problem about vector spaces, it sounds a bit less daunting.
    [Show full text]
  • Sdiff(S ) and the Orbit Method Arxiv:1806.05235V2 [Hep-Th]
    SDiff(S2) and the orbit method Robert Penna Institute for Advanced Study, Princeton, NJ 08540, USA E-mail: [email protected] Abstract: The group of area preserving diffeomorphisms of the two sphere, SDiff(S2), is one of the simplest examples of an infinite dimensional Lie group. It plays a key role in incompressible hydrodynamics and it recently appeared in general relativity as a subgroup of two closely related, newly defined symmetry groups. We investi- gate its representation theory using the method of coadjoint orbits. We describe the Casimir functions and the Cartan algebra. Then we evaluate the trace of a simple SDiff(S2) operator using the Atiyah-Bott fixed point formula. The trace is divergent but we show that it has well-defined truncations related to the structure of SDiff(S2). Finally, we relate our results back to the recent appearances of SDiff(S2) in black hole physics. arXiv:1806.05235v2 [hep-th] 27 Nov 2019 Contents 1 Introduction1 2 Labeling the states2 2.1 Coadjoint orbits and Casimir functions3 2.2 SO(3) revisited5 2.3 Cartan algebra6 3 Traces8 3.1 SDiff(S2) 10 3.2 Fixed points 11 3.3 Complex coordinates 11 3.4 Result and discussion 12 4 Discussion 13 1 Introduction The set of area preserving diffeomorphisms of the two-sphere, SDiff(S2), is a basic example of an infinite dimensional Lie group. It is the configuration space and the symmetry group of the incompressible Euler equations for fluid flow on the sphere [1–5]. It may have a role to play in black hole physics, where it is a subgroup of two recently introduced symmetry groups.
    [Show full text]
  • Quantization, the Orbit Method, and Unitary Representations
    Quantization, the orbit method, and unitary representations David Vogan Quantization, the orbit method, and Physics Representations unitary representations Orbit method Hyperbolic orbits Elliptic orbits David Vogan Department of Mathematics Massachusetts Institute of Technology Representation Theory, Geometry, and Quantization: May 28–June 1 2018 Quantization, the Outline orbit method, and unitary representations David Vogan Physics: a view from a neighboring galaxy Physics Representations Orbit method Classical representation theory Hyperbolic orbits Elliptic orbits History of the orbit method in two slides Hyperbolic coadjoint orbits for reductive groups Elliptic coadjoint orbits for reductive groups Quantization, the Quantum mechanics orbit method, and unitary representations David Vogan ! H Physical system complex Hilbert space Physics States ! lines in H Representations Orbit method Observables ! linear operators fAj g on H Hyperbolic orbits Elliptic orbits Expected value of obs A !h Av; vi Energy ! special skew-adjoint operator A0 Time evolution ! unitary group t 7! exp(tA0) Observable A conserved ! [A0; A] = 0 Moral of the story: quantum mechanics is about Hilbert spaces and Lie algebras. Quantization, the Quantum mechanics orbit method, and unitary representations David Vogan ! H Physical system complex Hilbert space Physics States ! lines in H Representations Orbit method Observables ! linear operators fAj g on H Hyperbolic orbits Elliptic orbits Expected value of obs A !h Av; vi Energy ! special skew-adjoint operator A0 Time
    [Show full text]
  • Notes on the Orbit Method and Quantization
    Notes on the Orbit Metho d and Quantization Reyer Sjamaar Les Diablerets March 1 Contents Orbit metho d and quantization Index theorem in symplectic geometry 2 Orbit metho d and quantization A A Kirillov G Lie group innitedimensional group quan tum group Category of unitary representations of G Objects continuous homomorphisms T G UH H a Hilb ert space Morphism intertwining op erator from T to T continuous linear A H H A H H T g T g 2 1 A H H 3 Example X Gmanifold with Ginvariant mea sure Unitary representation on L X T g f x f g x Map F X X induces intertwining map F L X L X if is absolutely continuous wrt F T is indecomp osable if T T T for nonzero T and T T is irreducible if do es not have nontrivial invariant subspaces For unitary representation irreducible in decomp osable Unirrep unitary irreducible representation 4 Main problems of representation theory Describ e unitary dual G funirreps of Ggequivalence Decomp ose any T into unirreps Z T g T g dy y Y Sp ecial cases for H G closed littl e group G T a for T G decomp ose restriction Res H G S b for S H decomp ose induction Ind H Compute character of T G 5 Ad b let S H UH Supp ose GH has G G invariant measure Ind S L sections of H H G H Obtained by taking space of functions f G H satisfying f g h S hf g and completing wrt inner product Z hf f i hf x f xi dx H GH Ad let C G Put Z T g T g dg G With luck T H H is of trace class and Tr T is a distribution on G the charac
    [Show full text]
  • Interaction Between Lie Theory and Algebraic Geometry
    INTERACTIONS BETWEEN LIE THEORY AND ALGEBRAIC GEOMETRY SHILIN YU 1. Introduction My primary research interests lie in the interactions of complex/algebraic geometry with Lie the- ory and representation theory in the spirit of noncommutative geometry, derived algebraic geometry and mathematical physics. Both Lie theory and algebraic geometry have been at the center of the 20th-century mathematical studies. Entering the 21th century, the two subjects came across each other in a surprising way, due to the phenomenal work of Kontsevich on deformation quantization of Poisson manifolds ([45]) and the birth of derived algebraic geometry ([46]). We start from the following observation: in algebraic geometry, the well-known Grothendieck- Riemann-Roch (GRR) theorem involves the Todd class, which is a characteristic class defined by a certain formal power series. The same type of class also appears in the Atiyah-Singer index theorem, which is a generalization of the Riemann-Roch theorem and one of the most important theorems of the 20th century. On the other hand, the exact same power series also shows up in Lie theory in a fundamental way, long before the GRR theorem was formulated. Namely, it appears in in the differential of the exponential map of a Lie group the Baker-Campbell-Hausdorff (BCH) formula in Lie theory. It (or its inverse) also plays an essential role in the Duflo-Kirillov isomorphism ([28]). Due to the work of many people, including but not limited to Kapranov [40], Kontsevich [45], Markarian [48], and Ramadoss [53], it is now clear that the same power series appearing in the two seemly unrelated cases is not a coincidence.
    [Show full text]
  • Review of “Lectures on the Orbit Method,” by Aa Kirillov
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, 1997 REVIEW OF \LECTURES ON THE ORBIT METHOD," BY A. A. KIRILLOV DAVID A. VOGAN, JR. Contents 1. Introduction without formulas 2. Introduction with formulas 3. Which orbits count? 4. Kirillov's book 1. Introduction without formulas This book is about a wonderfully successful example of (if you will forgive some geometric language) circular reasoning. Here is the short version. Everywhere in mathematics, we find geometric objects M (like manifolds) that are too complicated for us to understand. One way to make progress is to introduce a vector space V of functions on M. The space V may be infinite-dimensional, but linear algebra is such a powerful tool that we can still say more about the function space V than about the original geometric space M. (With a liberal interpretation of \vector space of functions," one can include things like the de Rham cohomology of M in this class of ideas.) Often M comes equipped with a group G of symmetries, but G and M may be even less comprehensible together than separately. Nevertheless, G will act on our function space V by change of variables (giving linear transformations), and so we get a representation of G on V . Our original (and impossible) problem of understanding all actions of G on geometric spaces M is therefore at least related to the problem of understanding all representations of G. Because this is a problem about vector spaces, it sounds a bit less daunting. The goal of the orbit method is to say something about all representations of a Lie group G.
    [Show full text]
  • P-Mechanics As a Physical Theory: an Introduction
    This is a repository copy of p-mechanics as a physical theory: an introduction. White Rose Research Online URL for this paper: http://eprints.whiterose.ac.uk/111528/ Version: Accepted Version Article: Kisil, VV orcid.org/0000-0002-6593-6147 (2004) p-mechanics as a physical theory: an introduction. Journal of Physics A: Mathematical and General, 37 (1). pp. 183-204. ISSN 0305-4470 https://doi.org/10.1088/0305-4470/37/1/013 © 2004 IOP Publishing Ltd. This is an author produced version of an article published in Journal of Physics A: Mathematical and General. Uploaded in accordance with the publisher's self-archiving policy. Reuse Items deposited in White Rose Research Online are protected by copyright, with all rights reserved unless indicated otherwise. They may be downloaded and/or printed for private study, or other acts as permitted by national copyright laws. The publisher or other rights holders may allow further reproduction and re-use of the full text version. This is indicated by the licence information on the White Rose Research Online record for the item. Takedown If you consider content in White Rose Research Online to be in breach of UK law, please notify us by emailing [email protected] including the URL of the record and the reason for the withdrawal request. [email protected] https://eprints.whiterose.ac.uk/ LEEDS-PURE-MATH-200 2 -31, 200 2 arXiv:quant-ph/0212101 p-MECHANICS AS A PHYSICAL THEORY. AN INTRODUCTION VLADIMIR V. KISIL Abstract. The paper provides an introduction into p-mechanics, which is a consistent physical theory suitable for a simultaneous description of classical and quantum mechanics.
    [Show full text]
  • The Orbit Method and Its Applications Vignon Oussa Dalhousie
    The orbit method and its applications Vignon Oussa Dalhousie Mathematics Colloquium 1 Content This presentation is brief survey of Lie theory with an emphasis on nilpotent Lie groups, and how the orbit methods is exploited for the pur- pose of Harmonic analysis on nilpotent Lie groups. If you are an expert in Lie theory, half of the pre- sentation will be trivial. The other half which fo- cuses on the orbit method will probably be new to you if you are not in representation theory. If you are not an expert in both Lie theory and rep- resentation theory, my hope is that this presenta- tion will show you the beauty that we see in these theories, and convince you to join the rest of us in the adventure. 2 Acknowledgment I would like to thank Professor Keith Taylor who was very generous with his time, and for host- ing me during my visit at Dalhousie University. I have had a wonderful time. I also thank, Profes- sor Mahya Ghandehari and Mr. Joshua MacArthur for the wonderful discussions, and for welcoming during the 3 weeks that I have spent here in Halifax, NS, Canada. 3 A starting point A real Lie group is a set with two structures. First G is a group and G is manifold. These struc- tures agree in the sense that multiplication and inversion maps are smooth. That is 1. (x, y) 7! xy is a smooth map 2. x 7! x−1 is a smooth map 4 Some notations The general Linear group over the real num- bers denoted GL (n, R) is the group of all n × n invertible matrices with real entries.
    [Show full text]
  • Arxiv:2011.06401V1
    Noncommutative integration of the Dirac equation in homogeneous spaces A. I. Breev∗ Department of Theoretical Physics, Tomsk State University Novosobornaya Sq. 1, Tomsk, Russia, 634050 A. V. Shapovalov† Department of Theoretical Physics, Tomsk State University Novosobornaya Sq. 1, Tomsk, Russia, 634050 and Tomsk Polytechnic University, Lenin ave., 30, Tomsk, Russia, 634034 Abstract We develop a noncommutative integration method for the Dirac equation in homogeneous spaces. The Dirac equation with an invariant metric is shown to be equivalent to a system of equations on a Lie group of transformations of a homogeneous space. This allows us to effectively apply the noncommutative integration method of linear partial differential equations on Lie groups. This method differs from the well-known method of separation of variables and to some extent can often supplement it. The general structure of the method developed is illustrated with an example of a homogeneous space which does not admit separation of variables in the Dirac equation. However, the basis of exact solutions to the Dirac equation is constructed explicitly by the noncommutative integration method. Also, we construct a complete set of new exact solutions to the Dirac equation in the three-dimensional de Sitter space-time AdS3 using the method developed. The solutions arXiv:2011.06401v1 [math-ph] 12 Nov 2020 obtained are found in terms of elementary functions, which is characteristic of the noncommutative integration method. PACS numbers: 02.20.Qs, 03.65.Pm, 31.15.xh Keywords: Dirac equation; noncommutative integration; homogeneous spaces; induced representations; orbit method Mathematics Subject Classification 2010: 35Q41, 17B08, 58J70 ∗ [email protected][email protected] 1 I.
    [Show full text]
  • An Orbit Model for the Spectra of Nilpotent Gelfand Pairs
    AN ORBIT MODEL FOR THE SPECTRA OF NILPOTENT GELFAND PAIRS HOLLEY FRIEDLANDER, WILLIAM GRODZICKI, WAYNE JOHNSON, GAIL RATCLIFF, ANNA ROMANOV, BENJAMIN STRASSER, BRENT WESSEL Abstract. Let N be a connected and simply connected nilpotent Lie group, and let K be a subgroup of the automorphism group of N. We say that the 1 pair (K; N) is a nilpotent Gelfand pair if LK (N) is an abelian algebra under convolution. In this document we establish a geometric model for the Gelfand spectra of nilpotent Gelfand pairs (K; N) where the K-orbits in the center of N have a one-parameter cross section and satisfy a certain non-degeneracy con- dition. More specifically, we show that the one-to-one correspondence between the set ∆(K; N) of bounded K-spherical functions on N and the set A(K; N) of K-orbits in the dual n∗ of the Lie algebra for N established in [BR08] is a homeomorphism for this class of nilpotent Gelfand pairs. This result had previously been shown for N a free group and N a Heisenberg group, and was conjectured to hold for all nilpotent Gelfand pairs in [BR08]. 1. Introduction A Gelfand pair (G; K) consists of a locally compact topological group G and a compact subgroup K ⊂ G such that the space L1(G==K) of integrable K-bi- invariant functions on G is commutative. Such pairs arise naturally in harmonic analysis and representation theory of Lie groups, with perhaps the best known examples emerging in the case of a connected semisimple Lie group G with finite center and maximal compact subgroup K.
    [Show full text]
  • Lectures on the Orbit Method
    Lectures on the Orbit Method A. A. Kirillov Graduate Studies in Mathematics Volume 64 American Mathematical Society Providence, Rhode Island Contents Preface xv Introduction xvii Chapter 1. Geometry of Coadjoint Orbits 1 §1. Basic definitions 1 1.1. Coadjoint representation 1 1.2. Canonical form GQ 4 §2. Symplectic structure on coadjoint orbits 5 2.1. The first (original) approach 6 2.2. The second (Poisson) approach 7 2.3. The third (symplectic reduction) approach 9 2.4. Integrality condition 11 §3. Coadjoint invariant functions 14 3.1. General properties of invariants 14 3.2. Examples 15 §4. The moment map 16 4.1. The universal property of coadjoint orbits 16 4.2. Some particular cases 19 §5. Polarizations 23 5.1. Elements of symplectic geometry 23 5.2. Invariant polarizations on homogeneous symplectic man- ifolds 26 vn viii Contents Chapter 2. Representations and Orbits of the Heisenberg Group 31 §1. Heisenberg Lie algebra and Heisenberg Lie group 32 1.1. Some realizations 32 1.2. Universal enveloping algebra U(t)) 35 1.3. The Heisenberg Lie algebra as a contraction 37 §2. Canonical commutation relations 39 2.1. Creation and annihilation operators 39 2.2. Two-sided ideals in C/(h) 41 2.3. H. Weyl reformulation of CCR 41 2.4. The standard realization of CCR 43 2.5. Other realizations of CCR 45 2.6. Uniqueness theorem 49 §3. Representation theory for the Heisenberg group 57 3.1. The unitary dual H 57 3.2. The generalized characters of H 59 3.3. The infinitesimal characters of H 60 3.4.
    [Show full text]