Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeAug 21st 2021

    an essentially empty stub, for the moment just to satisfy a link long requested at harmonic analysis

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJan 16th 2022
    • (edited Jan 16th 2022)

    A reference to be included for when the editing functionality is back:

    • Arash Ghaani Farashahi, Peter-Weyl Theorem for Homogeneous Spaces of Compact Groups, Int. J. Anal. Appl., 13 (1) (2017), 22-31 (ijaa:792)

    I arrived at this in search for answer to the following question:

    If KK is a finite group with a free isometric action on some S nS^n, does L 2(S n)L^2(S^n) contain copies of all unitary irreps of KK?

    To get a handle on this, I thought I’d consider the special case where we have a coset space realization S n=G/HS^n \,=\,G/H for some inclusion KGK \subset G.

    In that case, Theorem 4.6 of the above article tells me that L 2(G/H)L^2(G/H) decomposes as a direct sum of GG-representations “ π(G/H)\mathcal{E}_\pi(G/H)” that are indexed by those irreps π\pi of GG whose restriction to HH is trivial.

    I can’t quite make out yet whether the summand π(G/H)\mathcal{E}_\pi(G/H) is meant to consist of copies of that very irrep π\pi, though by the very last Rem. 4.2 that’s the case at least when HH is normal, so that the statement reduces to the ordinary PW theorem.

    Once I knew which irreps of GG the reps π(G/H)\mathcal{E}_\pi(G/H) consist of, I’d need to know whether these branch into all irreps of KGK \subset G

    [edit: Hm, from standard Peter-Weyl, shouldn’t the decomposition of L 2(G/H)L^2(G/H) simply be given by each GG-irrep appearing with multiplicity the dimension of its HH-fixed space? ]

    • CommentRowNumber3.
    • CommentAuthorsamwinnick
    • CommentTimeJan 16th 2022
    • (edited Jan 16th 2022)

    I just came here to ask another question, but thought I would post a response here since I worked through some of this stuff when I was working on my master’s thesis. Not sure if it helps, but here are a few facts that you might find useful: Normally, when we realize S n=G/HS^n=G/H by G=SO(n+1)G=SO(n+1) and H=SO(n)H=SO(n), the important property is that the GG action makes S nS^n a 2-point homogeneous space. If X=G/HX=G/H is 2-point homogeneous, it follows that (G,H)(G,H) is a Gelfand pair, and this is the key property that simplifies a lot of the representation theory. The Gelfand pair property implies that L 2(G/H)L^2(G/H) decomposes into Harmonic subrepresentations (generalizing spherical harmonics), but these might not be irreducible. This is where my understanding “peters out”. They are not irreducible, for example, when instead of the sphere we look at Grassmannians. These are no longer 2-point homogeneous but I think they’re still Gelfand pairs (when realized as homogeneous spaces in a usual way). I’m curious as to what is the criterion that makes the harmonic subreps irreducible. If I remember correctly, this example is shown in MacDonald’s symmetric functions book. Another helpful resource for this is “Sphere Packings, Lattices And Groups” (SPLAG). You may find it if you look for Gegenbauer polynomials or zonal polynomials, as these arise as reproducing kernels in the harmonic subspaces.

    As for your question about which irreps of G appear in L 2(G/H)L^2(G/H), here is what I can say, and I hope I am right on the details here. Let GG be a compact group, and let G^\hat G be a complete set of pairwise non-isomorphic (finite dimensional, but this is automatic) unitary irreps of GG. Then for each ρG^\rho\in\hat G and ϕvV ρ *V ρ\phi\otimes v\in V_\rho^*\otimes V_\rho, define f ρ,ϕv(x)=ϕ(ρ xv)f_{\rho,\phi\otimes v}(x) = \phi(\rho_x v). Then the map out of ρG^V ρ *V ρ\bigoplus_{\rho\in\hat G}V_\rho^*\otimes V_\rho given by ϕvf ρ,ϕv\phi\otimes v\mapsto f_{\rho,\phi\otimes v} is an isomorphism of unitary representations onto its image. I appear to have failed to cite the book where I learned this, but in that book, they denote the image C alg(G)C_{\mathrm{alg}}(G), though this appears to be non-standard notation. Then C alg(G)C_{\mathrm{alg}}(G) densely embeds into L 2(G)L^2(G). The point is it seems (to me at least) easier to understand the technical details of C alg(G)C_{\mathrm{alg}}(G) than those of L 2(G)L^2(G). Then I think this leads to the answer to your question:

    C alg(G/H)C alg(G) H ρG^V ρ *V ρ H ρG^ HV ρ * ρG^ HV ρC_{\mathrm{alg}}(G/H) \cong C_{\mathrm{alg}}(G)^H \cong \bigoplus_{\rho\in\hat G}V_\rho^*\otimes V_\rho^H\cong\bigoplus_{\rho\in\hat G_H}V_\rho^*\cong\bigoplus_{\rho\in\hat G_H}V_\rho


    G^ H={ρG^|dim(V ρ H)=1}.\hat G_H = \{\rho\in\hat G\,|\,dim(V_\rho^H)=1\}.

    Here when I write the superscript HH I mean things invariant under translation on the right, say. So I think the decomposition into Harmonic subreps is in general a little coarser. To understand the L 2L^2 version it’s just a matter of applying some topological arguments.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJan 16th 2022
    • (edited Jan 16th 2022)

    Thanks for the comments! I’ll dig out some of the references. Is the master thesis you refer to available?

    [edit: oh, I see, your thesis must be this here]

    Your expression ρG^V ρ *V ρ H\bigoplus_{\rho\in\hat G}V_\rho^*\otimes V_\rho^H agrees with what I arrived at in the addendum at the bottom of #2, after struggling with reading the article quoted there. I wonder what this article does if not arriving at this transparent form, may need to read it in more detail.

    Allow me to highlight my real question, in case you have a hint for me:

    What I really want to know is, for KK a finite group acting freely on an nn-sphere by isometries, whether L 2(S n)L^2(S^n) with the induced action contains all the irreps of KK. (I.e. I am after the variant of the usual PW statement for L 2(G)L^2(G) buth with GG replaced by a sphere with a free GG-action.)

    I was trying to use coset realizations S n=G/HS^n = G/H only as a stepping stone towards this question, subject to a good choice of K,HGK,H \subset G. But maybe there are better strategies to approach this.

    • CommentRowNumber5.
    • CommentAuthorsamwinnick
    • CommentTimeJan 17th 2022

    I don’t know the answer to your question, but here are a few thoughts.

    I’m guessing you want KK to be small, perhaps a dense free subgroup of SO(n+1)SO(n+1), like a group used in the n=2n=2 case pertinent to the Banach-Tarski paradox or for approximating a qubit unitary. Is this the setting? I’m guessing KK is not so large to act transitively, because intuitively that probably would break the free condition. So you can’t realize S nS^n as K/HK/H for some HKH\leq K. So my only thought would be to try to use Frobenius reciprocity. Assuming you can realize S nS^n as G/HG/H with (G,H)(G,H) a Gelfand pair with KGK\leq G, and you know how the harmonic subspaces break down under the action of GG, depending on the specific relationship of GG and KK, I would think Frobenius reciprocity might at least be able to tell you something how the irreducible components of L 2(S n)L^2(S^n) under the action of GG decompose further under the action of KK. It’s been a while since I thought about this stuff though. I’m kind of curious what kinds of groups KK you are considering, and the relevance of the sphere. You truly want to consider functions on the entire sphere right?

    Yeah that’s my thesis. I hope it helps, but just to let you know, you won’t find the answer to your specific question about free actions there. The stuff I mentioned here is outlined in 4.4 and 4.5 of my thesis. Also 4.1,2,3 is about a lesser known combinatorial generalization that does away entirely with groups, where you nevertheless get something like L 2(X)L^2(X) that breaks down into harmonic subspaces.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJan 17th 2022
    • (edited Jan 17th 2022)

    Thanks. Right, I should have been more specific: I am thinking of “small” KK, such as finite KK. In fact, to start with I’d be happy to know the answer just for finite cyclic groups.

    I am looking at twisted equivariant complex K-theory (let me say “KU-theory” not to clash with the finite group KK we are talking about). Here the twists are required to be PU()PU(\mathcal{H})-bundles which are “stable” in that over each KK-fixed point xx of their base space the induced projective representation K xPU()K_x \to PU(\mathcal{H}) is the projectivization of a unitary rep K^ xU()\widehat K_x \to \mathrm{U}(\mathcal{H}) with the property that it contains all irreps of K˜\widetilde K (on which S 1K^S^1 \to \widehat K acts canonically) in infinite multiplicity.

    By invoking the general abstract classification result for principal bundles, it is fairly straightforward to see that – as soon as KK acts freely isometrically on any sphere S nS^n of dimension n>3n \gt 3 – these “stable” equivariant PU()PU(\mathcal{H})-bundles over a single KK-fixed point have the same classification as plain PU()PU(\mathcal{H})-bundles over the “blowup” of the fixed point singularity to the “spherical space form” S n/KS^n/K.

    While straightforward to see on abstract grounds, this identification used to be (for me, at least) a little mysterious on the level of cocycles. But if it is true that L 2(S n)L^2( S^n ) contains all KK-irreps with infinite multiplicity, then I have, I think, a nicely transparent argument for this.

    • CommentRowNumber7.
    • CommentAuthorsamwinnick
    • CommentTimeJan 17th 2022
    • (edited Jan 17th 2022)

    Maybe you can use the inclusion

    ρG^ Hz ρ,x 0=L 2(H\G/H)= HL 2(S n)L 2(S n)\bigoplus_{\rho\in\hat G_H}\mathbb{C}z_{\rho,x_0} = L^2(H\backslash G/H) = \,^H L^2(S^n)\subseteq L^2(S^n)

    where z ρ,x 0z_{\rho,x_0} are related to the Gegenbauer polynomials z ρz_\rho via z ρ,x 0(x)=z ρ(x 0x)z_{\rho,x_0}(x)=z_\rho(x_0\cdot x). The reason for using this basis is that each summand on the left-hand-side is the left-HH-invariant subspace of a (harmonic) subrepresentation of L 2(S n)L^2(S^n). By the inclusion, it would suffice to show that every irreducible character χ\chi of KK is of the form χ=z ρ,x 0\chi=z_{\rho,x_0} for some irrep ρ\rho of GG. The Gegenbauer polynomials are given by an explicit recurrence relation so this is something that could be practically checked for a given KK.

    I couldn’t figure out how to use the freeness of the KK action. It implies that KL 2(S n)\,^K L^2(S^n) is one dimensional and V ρ KV_\rho^K is 0 dimensional for all nontrivial ρG^ H\rho\in\hat G_H, but I’m not sure what to do with that.

    I admit I don’t understand the part of your last response where you told me why you were wondering this, but that is not your fault because I don’t at the moment know K-theory. A couple questions though, because now I am wondering where you are coming from with this.. When you write “PU()PU(\mathcal{H})-bundle”, is this in the sense of “GG-bundles”? Are any of the other objects involved are the “BB” or “EE” of this bundle EBE\to B? What does KK act on in this picture? You write “K xK_x”. This makes me think maybe KK is the bundle (the “EE”) and K xK_x is the fiber over xx. But then again this sort of notation is used for stabilizers so I am a bit confused by that. Also, out of curiosity, given that you are interested in projective representations of finite groups and you denote your vector space by \mathcal{H}, I’m wondering if this is by any chance coming from thinking about projective reps of /d×/d\mathbb{Z}/d\times\mathbb{Z}/d or of Sp(/d×/d)\mathrm{Sp}(\mathbb{Z}/d\times\mathbb{Z}/d)? Like, is this stemming from something to do with Heisenberg groups or something?

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJan 17th 2022

    Thanks for the Gegenbauer suggestion. I’ll think about it.

    Regarding the equivariant bundles:

    Yes, I am referring to equivariant principal bundles with structure group PU()PU(\mathcal{H}) and, yes, K xKK_x \subset K was meant to denote the stabilizer group of a point in the base space.

    Generally, for structure group Γ\Gamma, this is about Γ\Gamma-principal bundles PpXP \xrightarrow{\;p\;} X such that both the total space PP and the base space XX are equipped with KK-actions, and the bundle projection is KK-equivariant and, finally, the Γ\Gamma-action on PP commutes with the KK-action (in the special case of interest here).

    Given any such KK-equivariant Γ\Gamma-principal bundle, its structure over a point xXx \in X is encoded by a group homomorphism K xΓK_x \to \Gamma: In terms of the above total space this homomorphism assigns to kK xk \in K_x the unique γ(k)Γ\gamma(k) \in \Gamma whose commuting action on the fiber P xP_x over xx cancels that of kk.

    Regarding your last question:

    This touches on a point that is quite interesting and maybe underappreciated: From the point of abstract twisted equivariant K-theory, projective representations appear because PU()PU(\mathcal{H}) happens to act well on spaces of Fredholm operators which happen to be classifying spaces for abstractly defined K-theory, and that’s it. But it is indeed true that the moment one starts playing with actual examples and applications, then notions and constructions familiar from quantum physics show up all over the place.

    So quantum structures are not (for the most part) the motivation for twisted equivariant K-theory. But in the other direction, a fair bit of quantum structures appear – or find a natural place – in discussion of twisted equivariant K-theory.

    In fact, that’s where I am headed here: we think there is a big story to be revealed concerning the twisted equivariant K-theory of configuration spaces of points in relation to monodromy braid representations and thus, if you wish, topological quantum computation. I am eager to start taling about that, but first I need to get some nitty-gritty technical details sorted out… :-)

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeJan 18th 2022
    • (edited Jan 18th 2022)

    Coming back to the Gegenbauer suggestion in #7: I am afraid that this would not give a representation of any non-trivial subgroup of GG, but let me check that I am reading you correctly. I am thinking:

    At most the normalizer N G(H)N_G(H) of HH in GG still acts from the left on L 2(H\G/H)=L 2(G/H) HL^2(H \backslash G / H) \,=\, L^2(G/H)^H, of which at most W G(H)N G(H)/HW_G(H) \coloneqq N_G(H)/H acts non-trivially. For the case at hand where HGH \subset G is SO(n)SO(n+1)SO(n) \subset SO(n+1) this would mean that only the trivial group still acts.

    Indeed, in our case, H\G/H[π/2,+π/2]H\backslash G / H \,\simeq\, [-\pi/2, + \pi/2] is the interval of distances between x 0x_0 and its antipode. This is the right domain for Gegenbauer polynomials, but it’s also manifestly not acted on non-trivially by any subgroup of SO(n+1)SO(n+1).

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJan 18th 2022
    • (edited Jan 18th 2022)

    [ comment removed ]

    • CommentRowNumber11.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 18th 2022

    Is that action of G via the inclusion of S(H) in S(O)?

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJan 18th 2022

    Sorry, that comment #10 didn’t quite type-check.

    • CommentRowNumber13.
    • CommentAuthorsamwinnick
    • CommentTimeJan 18th 2022
    • (edited Jan 18th 2022)

    Hmm. Yeah, I guess it would be pretty strange if there were a group whose characters are Gegenbauer polynomials anyway. Looks like the approach I suggested will not work. Let X=G/HX=G/H and suppose for each irrep ρ\rho of KK we can find a subgroup JGJ\leq G such that ρ\rho appears in L 2(J\X)L^2(J\backslash X). Then since each L 2(J\X)L 2(X)L^2(J\backslash X)\subseteq L^2(X) we would have shown that each ρ\rho appears in L 2(X)L^2(X). But in the case of G=SO(n+1)G=SO(n+1) and H=SO(n)H=SO(n), even allowing for JGJ\lneq G other than J=HJ=H, this will not work by a similar argument to #9 by the subgroup structure of GG. (Also note that choosing smaller subgroups JJJ'\leq J is counterproductive since L 2(J\X)L 2(J\X)L^2(J'\backslash X)\subseteq L^2(J\backslash X).) I guess it still leaves the option of writing X=G/HX=G'/H' for different GG' and HH' but I kind of doubt this is the right approach, especially since the freeness of the KK-action is not coming into play anywhere.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJan 19th 2022

    No problem, thanks for chatting about it. As it goes, making some noise here served to export enough entropy out of my system that I think I have now solved the problem that made me write #2 :-)

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJan 22nd 2022

    Just to record another reference for when the editing functionality is back:

    • Karl H. Hofmann and Sidney A. Morris, The Structure of Compact Groups, De Gruyter Studies in Mathematics 25 (2020) (doi:10.1515/9783110695991)

    This textbook is one of the few (?) which makes explicit the decomposition of L 2(G)L^2(G) into irreps – they call it the “Fine Structure Theorem” (3.28).

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)