Is there analogue of Peter-Weyl theorem for non-compact or quantum group - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T10:20:55Z http://mathoverflow.net/feeds/question/20634 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/20634/is-there-analogue-of-peter-weyl-theorem-for-non-compact-or-quantum-group Is there analogue of Peter-Weyl theorem for non-compact or quantum group Shizhuo Zhang 2010-04-07T14:55:05Z 2010-04-08T03:14:29Z <p>From the <a href="http://en.wikipedia.org/wiki/Peter-Weyl_theorem" rel="nofollow">Peter-Weyl theorem in wikipedia</a>, this theorem applies for compact group. I wonder whether there is a non-compact version for this theorem.</p> <p>I suspect it because the proof of the Peter-Weyl theorem heavily depends on the compactness of Lie group. It is related to the spectral decomposition of compact operators. </p> <p><em>Thanks Mariano pointing out the Peter-Weyl theorem does not hold for non-compact group. But I really wants to know is: is there any Peter-Weyl analogue decomposition for non-compact group, say decompose to integral representations but not finite dimensional representations?</em></p> <p>Another related questions is about the definition of quantized flag variety. In the work of <a href="http://www.springerlink.com/content/xp7xvqu6ahncmf4v/" rel="nofollow">Lunts and Rosenberg on localization for quantum group</a>, they tried to establish the quantum analogue of Beilinson-Bernstein localization theorem. They defined the quantized flag variety in the framework of noncommutative algebraic geometry. They used the Peter-Weyl philosophy for quantum group to define the coordinate ring of quantized base affine space as the direct sum of all simple $U_{q}(g)$-modules with highest weight $\lambda$(positive).(Denoted by $R_{+}$)</p> <p>Then one can define category of quasi coherent sheaves on "quantized flag variety" as proj-category of graded $R_{+}$. </p> <p>What I want to ask is there any other way to define quantized flag variety? In the classical case, It is well known that flag variety can be define as $G/B$, say $G$ is general linear group and $B$ is Borel subgroup. Is there any analogue for quantum case? Is there a definition like $G_{q}$ as "quantum linear group" and $B_{q}$ as quantum analogue of Borel subgroup?</p> <p>However,I suspected, because the quantum flag variety is essentially not a <strong>real space</strong></p> http://mathoverflow.net/questions/20634/is-there-analogue-of-peter-weyl-theorem-for-non-compact-or-quantum-group/20637#20637 Answer by Mariano Suárez-Alvarez for Is there analogue of Peter-Weyl theorem for non-compact or quantum group Mariano Suárez-Alvarez 2010-04-07T15:35:59Z 2010-04-07T15:41:13Z <p>The conclusion of the part of the Peter-Weyl theorem stating that unitary representations of the group split as an orthogonal direct sum of finite dimensional ones is false if the group is not compact. There are even non-compact groups which simply do not admit <em>any</em> unitary finite dimensional representations, like the group $\mathrm{SL}(2,\mathbb R)$, which has, on the other hand, irreducible infinite dimensional representations.</p> http://mathoverflow.net/questions/20634/is-there-analogue-of-peter-weyl-theorem-for-non-compact-or-quantum-group/20640#20640 Answer by Marty for Is there analogue of Peter-Weyl theorem for non-compact or quantum group Marty 2010-04-07T15:58:10Z 2010-04-07T15:58:10Z <p>I don't know anything about quantum groups, but the Peter-Weyl theorem for compact groups generalizes nicely to Type I second-countable locally compact topological groups, a result of Segal and Mautner. For such groups, there is a decomposition of the unitary biregular representation: $$L^2(G) \cong \int_{\pi \in \hat G} E_\pi d \pi,$$ where</p> <ul> <li>$\hat G$ is a (slightly well-chosen) set of representatives for each isomorphism class of irreducible unitary representation</li> <li>When $\pi \in \hat G$, $E_\pi$ is the space of Hilbert-Schmidt endomorphisms of the Hilbert space of $\pi$.</li> <li>$d \pi$ is the "Plancherel measure", uniquely determined from a choice of Haar measure on $G$.</li> </ul> <p>When $G$ is compact, the direct integral -- i.e. spectral measure -- is replaced by a Hilbert space direct sum, and the above formula is the Peter-Weyl theorem.</p> <p>See I. Segal, "An extension of Plancherel's formula to separable unimodular groups", Ann. of Math. 1950, for the unimodular case. Also see Mautner, "Note on the Fourier inversion formula on groups.", Trans. AMS 1955.</p> http://mathoverflow.net/questions/20634/is-there-analogue-of-peter-weyl-theorem-for-non-compact-or-quantum-group/20643#20643 Answer by Ben Wieland for Is there analogue of Peter-Weyl theorem for non-compact or quantum group Ben Wieland 2010-04-07T17:13:14Z 2010-04-07T17:13:14Z <p>Compact groups are pretty much the same as complex reductive groups, but one must replace finite dimensional unitary representations with finite dimensional holomorphic represententations. The Weierstrass approximation theorem says that polynomials are dense in $L^2$ for compact spaces. Putting this together, this yields an algebraic Peter-Weyl theorem that polynomial functions on, say, $GL_n(C)$ are the direct sum of endomorphisms of the irreducible holomorphic representations. One can also prove this directly, by essentially the same methods as the Peter-Weyl theorem, but rather easier.</p> <p>If you are interested in non-compact groups, then this may not be the answer you're looking for, but if you're interested in quantum groups, it is a reasonable starting point.</p> http://mathoverflow.net/questions/20634/is-there-analogue-of-peter-weyl-theorem-for-non-compact-or-quantum-group/20657#20657 Answer by Matthew Daws for Is there analogue of Peter-Weyl theorem for non-compact or quantum group Matthew Daws 2010-04-07T19:52:16Z 2010-04-07T19:52:16Z <p>If you are happy to work with the Operator Algebra approach to quantum groups, then Woronowicz's definition of a <a href="http://en.wikipedia.org/wiki/Compact_quantum_group" rel="nofollow">Compact Quantum Group</a> admits a perfect analogue of the Peter-Weyl theorem (looking at unitary corepresentations). The Wikipedia page doesn't give any references, but a good (and freely available) survey is: <a href="http://arxiv.org/abs/math/9803122" rel="nofollow">arXiv:math/9803122v1 [math.FA]</a>.</p> <p>But maybe this isn't what you're after...</p> http://mathoverflow.net/questions/20634/is-there-analogue-of-peter-weyl-theorem-for-non-compact-or-quantum-group/20668#20668 Answer by Zoran Škoda for Is there analogue of Peter-Weyl theorem for non-compact or quantum group Zoran Škoda 2010-04-07T21:48:38Z 2010-04-07T21:48:38Z <blockquote> <p>What I want to ask is there any other way to define quantized flag variety? In the classical case, it is well known that flag variety can be defined as $G/B$, say $G$ is general linear group and B is Borel subgroup. Is there any analogue for quantum case? Is there a definition like $G_q$ as "quantum linear group" and $B_q$ as quantum analogue of Borel subgroup?</p> </blockquote> <p>The Borel subgroup of the quantized function algebra $G_q$ is of course certain quotient Hopf algebra $p:\mathcal{O}(G_q)\to \mathcal{O}(B_q)$ which then canonically coacts on $G_q$ from both sides (from the left by $(p\otimes id)\circ\Delta_{G_q}:\mathcal{O}(G_q)\to \mathcal{O}(B_q)\otimes \mathcal{O}(G_q)$. In the case of $SL_q(n)$ you get the lower Borel by quotienting by the Hopf ideal generate by the entries of the matrxi $T$ of the generators standing above the diagonal. </p> <p>Of course, if you define $Qcoh(G_q)$ as the category ${}_{\mathcal{O}(G_q)}\mathcal{M}$ of left modules over $\mathcal{O}(G_q)$ then the category of relative left-right <a href="http://ncatlab.org/nlab/show/Hopf+module" rel="nofollow">Hopf modules</a> ${}_{\mathcal{O}(G_q)}\mathcal{M}^{\mathcal{O}(B_q)}$ is precisely the category of quasicoherent sheaves over the quantum flag variety $G_q/B_q$. If you look at several of my earlier articles they together show that in the case of $SL_q(n)$ at least, there is a collection of localizations of the above category of relative Hopf modules which are affine, which gives it a structure of a noncommutative scheme with a canonical atlas whose cardinality is the cardinality of the Weyl group (the generalization to other parabolics is easy). Moreover the forgetful functor from the category of Hopf modules to ${}_{\mathcal{O}(G_q)}\mathcal{M}$ is the inverse image part of the geometric morphism which is a Zariski locally trivial $B_q$-fibration; the local triviality, which is obtained with the help of the quantum Gauss decomposition, boils down to the Schneider's equivalence for the extension of the algebras of localized coinvariants into the corresponding localization of $G_q$. The sketch of the whole program is in </p> <ul> <li><em>Localizations for construction of quantum coset spaces</em>, in "Noncommutative geometry and Quantum groups", W.Pusz, P.M. Hajac, eds. Banach Center Publications vol.61, pp. 265--298, Warszawa 2003, <a href="http://arxiv.org/abs/math.QA/0301090" rel="nofollow">math.QA/0301090</a>.</li> </ul> <p>For the Peter-Weyl look at the original works of S. Woronowicz or </p> <ul> <li>A. Klimyk, K. Schmüdgen, <em>Quantum groups and their representations</em>, Springer 1997.</li> </ul> http://mathoverflow.net/questions/20634/is-there-analogue-of-peter-weyl-theorem-for-non-compact-or-quantum-group/20669#20669 Answer by Yemon Choi for Is there analogue of Peter-Weyl theorem for non-compact or quantum group Yemon Choi 2010-04-07T21:58:48Z 2010-04-07T21:58:48Z <p>I am not really sure what you are after. On the face of it, the question of "how much of the Peter-Weyl theorem survives for arbitrary locally compact groups?" admits the bald answer "Not very much" - there is a standard example of the free group on two generators admitting a unitary representation which admits a direct integral decomposition in two essentially different ways. (I first saw this on page 182 of Robert's book <a href="http://books.google.ca/books?id=Jwo4AAAAIAAJ&amp;pg=PA32&amp;lpg=PA32&amp;dq=alain+robert+group+representation&amp;source=bl&amp;ots=6ts0UO5xky&amp;sig=GFsHo9c_xZWGq2Ys99_H9wcFGmQ&amp;hl=en&amp;ei=LP-8S5G9AcL-8AbvhJXZCA&amp;sa=X&amp;oi=book_result&amp;ct=result&amp;resnum=1&amp;ved=0CAYQ6AEwAA#v=onepage&amp;q&amp;f=false" rel="nofollow">"Introduction to the representation theory of compact and locally compact groups"</a> but unfortunately don't know of other, more easily accessible sources.)</p> <p>But perhaps you are more interested in algebraic groups, or Lie groups? Well, my very limited understanding is that people have been bashing their brains against this for over 60 years. Supposedly the case of semisimple Lie groups is the easiest one to get a handle on. (It is relevant that semisimple Lie groups are Type I, so that one doesn't get the same "pathology" of non-uniqueness of decomposition that afflicts the case of the free group.)</p> <p>Perhaps this <a href="http://www.stieltjes.org/archief/rep9899/node11.html" rel="nofollow">overview/advert</a> may have pointers to some literature or background that answer your question better.</p> http://mathoverflow.net/questions/20634/is-there-analogue-of-peter-weyl-theorem-for-non-compact-or-quantum-group/20685#20685 Answer by Emerton for Is there analogue of Peter-Weyl theorem for non-compact or quantum group Emerton 2010-04-08T03:14:29Z 2010-04-08T03:14:29Z <p>Marty's answer discusses the Plancherel formula, and in a comment on his answer, I mentioned Harish-Chandra's work on the Plancherel formula in the case of reductive Lie groups. Yemon Choi's answer also mentions the case of semisimple Lie groups as being easier than the general case. The point of this answer is to elaborate slightly on my comment, and to point out that, while the semi-simple case might be easier, it is a very substantial piece of mathematics; indeed, it is essentially Harish-Chandra's life's work.</p> <p>When Harish-Chandra began his work, it was known (thanks to Mautner?) that semisimple Lie groups were type I, and hence that for such a group $G$, the space $L^2(G)$ admits a well-defined direct integral decomposition into irreducibles (typically infinite dimensional, if $G$ is not compact). However, this is a far cry from knowing the precise form of the decomposition. </p> <p>The most fundamental, and difficult, question, turns out to be whether there are any atoms in the Plancherel measure, i.e. whether $L^2(G)$ contains any non-zero irreducible subspaces, i.e. whether the group $G$ admits discrete series. This was solved by Harish-Chandra, who established his famous criterion: $G$ admits discrete series if and only if it contains a compact Cartan subgroup. He also gave a complete enumeration of the discrete series representations up to isomorphism, and described their characters via formulas analogous to the Weyl character formula.</p> <p>Harish-Chandra then want on to describe the Plancherel measure on $L^2(G)$ inductively in terms of direct integrals of parabolic inductions of discrete series represenations of Levi subgroups of $G$. (It is the appearance of Levi subgroups, which are always reductive but typically never semisimple, that also forces one to generalize from the semisimple to the reductive case.)</p> <p>After completing the theory of the Plancherel measure for reductive Lie groups, he then went on to develop the analogous theory for $p$-adic reductive groups. However, in this case, one still doesn't have a complete enumeration of the discrete series representations in general: there are certain "atomic" discrete series representations, called "supercuspidal", which have no analog for Lie groups, and which aren't yet classified in general (i.e. for all $p$-adic reductive groups). </p> <p>Harish-Chandra's work, as well as standing on its own as an amazing edifice, was a central inspiration for Langlands in his development of the Langlands program, and remains at the core of the Langlands proram today.</p> <p>For a very nice introduction to Harish-Chandra's work, and the surrounding circle of ideas, one can read <a href="http://projecteuclid.org/euclid.bams/1183657040" rel="nofollow">this article</a> by Rebecca Herb.</p>