All Questions
Tagged with lie-groups harmonic-analysis
52 questions
3
votes
0
answers
75
views
Non-vanishing of a "push-forward" Fourier–Harish-Chandra transform on a compact set
Let $G \subset \operatorname{GL}_d(\mathbb{R})$ be a non-compact semi-simple Lie group and $K \subset G$ a maximal compact subgroup. Let $\mathfrak{g}$ (resp. $\mathfrak{k}$) be the Lie algebra of $G$ ...
- 81
0
votes
0
answers
61
views
Representation and Laplacian on the Heisenberg group
Let $\pi_{\lambda}$ be the the Schrödinger representations of the Heisenberg group $H=\mathbb C\times \mathbb R$. For $\varphi\in L^2(\mathbb R)$, we have
$$\pi_{\lambda} (z,t)\varphi(\xi)=e^{i\...
- 650
6
votes
1
answer
252
views
Poisson kernel for the orthogonal groups
For the complex ball $|z|^2\le 1$ in $\mathbb{C}^n$, there is a Poisson kernel proportional to $|x-z|^{-2n}$. This is generalized to the unitary group $U(N)$ so that in the complex matrix ball $Z^\...
- 1,549
3
votes
1
answer
310
views
Heat kernel of left-invariant metric on 3-sphere
This post concerns the heat equation on $S^3 (\simeq \mathrm{SU}(2))$ endowed with an arbitrary left-invariant metric. We think of $S^3$ as the space of unit quaternions, and its Lie algebra $\...
- 161
1
vote
0
answers
154
views
The space of ergodic elements of a topological or Lie group
Let $G$ be a compact topological group with normalized Haar measure $\mu$. An element $g\in G$ is an ergodic element if the mapping $L_g:G \to G $ with $x\mapsto gx$ is an ergodic map. The ...
- 356
4
votes
1
answer
267
views
Eigenforms of the Laplacian on Lie groups
I am a bit rusty in my differential geometry and I would like to confirm that my reasoning below holds, and I have some related questions (and all references to related concepts are of interest to me)....
1
vote
0
answers
205
views
Fourier transform of functions mapping manifolds, is there a definition?
$\DeclareMathOperator\SO{SO}$I have a problem which boils down to the analysis of functions of the form
$$
f : \mathbb{R} \to \SO(3)^n
$$
Since $\SO(3)$ is a compact group so is $\SO(3)^n$.
Now if ...
- 115
2
votes
0
answers
92
views
Positive radial function with compactly supported Fourier transform
Let $G$ be a non-compact semisimple Lie group with finite center (for example $SL_2(\mathbb{R})$). Choose a maximal compact subgroup $K$. A bi-$K$-invariant function is called radial. Let $A$ be a ...
- 429
2
votes
0
answers
82
views
Question on a remark in Speh's paper
I am reading Birgit Speh's paper entitled "Unitary representations of Gl(n,R) with nontrivial (g,K)-cohomology" in Invent. Math. 71 (1983), no. 3, 443–465. In Remark 1.2.2.(b), it says that &...
- 1,121
1
vote
0
answers
133
views
Irreducible unitary representations of $\mathrm{SL}(n,\mathbb R)$ from those of $\mathrm{GL}(n,\mathbb R)$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\GL{GL}$In the case of a non-Archimedean local field $\mathbb F$, one may reduce the representation theory of $\SL(n,\mathbb F)$ to that of $\GL(n,\...
- 1,121
4
votes
1
answer
142
views
Can the degree of $k$-nilpotence of a simple simply connected compact Lie group be in $(0,1)$?
Let $G$ be a simple (i.e. every proper normal subgroup is discrete) simply connected compact Lie group. Define the degree of $k$-nilpotence of $G$ to be the Haar measure of the set
$$\{(x_1,\dotsc,x_{...
- 2,118
4
votes
1
answer
304
views
Finite covolume of uniform lattice in quotient group
Let $G$ be a locally compact group, let $N \leq G$ be a (proper) closed normal subgroup and let $\Gamma \leq G$ be a uniform lattice, i.e., a discrete subgroup such that $G/\Gamma$ Is compact.
Suppose ...
user215380
2
votes
0
answers
156
views
Spherical harmonics, $\frak{sl}_2$, and algebra gradings
Let $S^2$ be the usual $2$-sphere considered as the quotient $S^3/S^1$, and denote by $\operatorname{Pol}(S^2)$ the algebra of polynomial functions on $S^2$. We can decompose $\operatorname{Pol}(S^2)$ ...
- 141
3
votes
0
answers
190
views
Harmonic analysis on reductive groups over $\mathbb{R}$
A common way of doing harmonic analysis on (the $\mathbb{R}$-points of) reductive groups over $\mathbb{R}$ seems to be to use results from semisimple groups and "see what happens on the center&...
- 131
3
votes
1
answer
277
views
Peter–Weyl decomposition for compact Lie groups with isomorphic Lie algebras
Let $G$ and $H$ be two compact Lie groups with isomorphic Lie algebras $\frak{h} \simeq \frak{g}$, but which are non-isomorphic as topological spaces. From the isomorphism assumption it (should) ...
- 145
7
votes
2
answers
1k
views
What is the theorem of the highest weight used for?
$\DeclareMathOperator\End{End}$Over the past few months, I have taught myself the classification of reductive groups, and continued to non-abelian (as well as a small venture to non-compact) Harmonic ...
- 2,071
5
votes
0
answers
298
views
What are the matrix coefficients associated with the irreducible representations of compact real linear algebraic groups?
What are the matrix coefficients associated with the irreducible representations of a compact real linear algebraic group $G$?
Peter-Weyl tells us that $L^2(G)$ is the (closure of) $\bigoplus_\pi A_{\...
- 2,071
6
votes
0
answers
190
views
Eigenvalues of spherical function on $\mathrm{SL}(2,\mathbb{R})$
Lie algebraically, the eigenvalue of the spherical function
\begin{align*}
\phi_{\lambda}(g)=\int_{K} e^{(i \lambda+\rho)(A(k g))} \mathrm{d} k \quad (g \in G,\,\lambda\in\mathfrak{a}^*)
\end{align*}
...
- 83
7
votes
1
answer
371
views
Gelfand pair, weakly symmetric pair, and spherical pair
I am a bit confused with the relations among Gelfand pairs, weakly symmetric pairs, and spherical pairs defined in the book "Harmonic analysis on commutative spaces" written by professor ...
- 951
7
votes
0
answers
420
views
What is the relationship between Hecke algebras and the enveloping algebra of Lie groups?
Here is the story as I see it.
Let $G$ be an abelian locally compact group. Then the (spherical) Hecke algebra for $K=1$ is by definition the endomorphism algebra of $l^2(G)$ as a $G$-module, where ...
- 557
6
votes
1
answer
294
views
Idempotent functions on Sp(1)
The quaternion group $Sp(1)\simeq S^3$ can be understood as $(z,w)\in\mathbb {C}^2$ with $|z|^2+|w|^2=1$ where multiplication is defined by $(z,w)(t,s)=(zt-\bar{s}w,zs+\bar{t}w)$.
Question: How do ...
- 1,583
2
votes
0
answers
169
views
More general form of Fourier inversion formula
My question begins as follows: Suppose $G$ is a compact (Lie) group and $A$ is a $G$-module, and denote the action of $G$ on $A$ by $\alpha$. Fix $a\in A$ and view
$$
f:g\mapsto \alpha_g(a)
$$
as an $...
- 21
6
votes
1
answer
1k
views
Classification of compact connected abelian groups
It is known that torsion-free compact abelian groups are exactly the product of the maximal solenoid group $\Sigma_{(2,3,\cdots)}$ (which is the Pontryagin dual of the additive group $\mathbb{Q}$ of ...
- 1,586
8
votes
0
answers
682
views
Convolution theorem on a non-abelian Lie group
Let $\mathrm{G}$ be a compact (simple, if it helps) non-abelian Lie group and let $\hat{\mathrm{G}}$ be its unitary dual of (equivalence classes) of irreducible unitary representations. Defining the ...
- 914
4
votes
1
answer
183
views
Multiplicities in Plancherel theorem for SL2(R)
The usual formulation of the Plancherel theorem one writes $f(1)$ as an integral over the dual $\widehat G$. The support of the measure is the set of representations which weakly occur in $L^2(G)$. ...
user1688
7
votes
0
answers
502
views
Relation between Lie group characters and spherical functions on symmetric spaces
Setup: Let $G/K$ be an irreducible compact Riemannian symmetric space, where $G$ is a simply connected compact real Lie group, and $K$ is the maximal compact connected subgroup of some noncompact real ...
- 32.5k
3
votes
0
answers
78
views
Decay of Fourier coefficients for Hölder functions on compact Lie groups
If $f$ is a complex-valued function on a compact Lie group $G$, we have a decomposition $f = \sum_\mu f_\mu$ corresponding to the Peter-Weyl decomposition $L^2(G) = \oplus_\mu (\dim \mu) V_\mu$.
For $...
- 31
3
votes
0
answers
218
views
Unitary dual of the complex motion group $\mathbb C^2 \rtimes SU(2)$?
The real motion group of $\mathbb R^2$, $M(2)$ is the semi-direct product of $\mathbb R^2$ with the special orthogonal group $K = SO(2)$. A well
known fact is that the unitary dual $\hat{G}$, of $G$ ...
- 650
14
votes
1
answer
514
views
Generalizing the Fourier isomorphism between Sobolev spaces and weighted $L^2$ spaces to (locally) compact groups?
Motivating examples:
Let $V$ be a real vector space with Haar measure $dv$. The fourier transform induces the following topological isomorphism: $$H^s(V,dv) \cong L^2(V^*,(1+|v^*|^2)^sdv^*)$$
The ...
- 7,789
2
votes
0
answers
81
views
Fourier transform in the complex motion group
I am looking for a reference that deals with the unitary dual of the complex motion group $\mathbb C^2 \rtimes SU(2)$ i.e., the semi-direct product of $\mathbb C^2$ with the special unitary group $K=...
- 650
5
votes
0
answers
119
views
Characterizing Herz-Schur multipliers using coefficient functions of uniformly bounded representations
Let $G$ be a group and let $c > 1$ be a constant. We denote by $B_c(G)$ the space of all coefficients of the representations of $G$ which are uniformly bounded by $c$; more precisely, a function $f:...
- 299
4
votes
0
answers
230
views
How to decompose the left regular representation of a real reductive group?
In Dixmier ($C^*$-algebras), the Plancherel theorem states (I will not mention the right regular representation even though the theorem does talk about it):
Let $G$ be unimodular, $\lambda$ be the ...
- 561
2
votes
1
answer
244
views
Unitary dual of the motion group $M(n)$, for $n> 2$
The motion group of $\mathbb R^2$, noted by $G=M(2)$ is the semi-direct product of $\mathbb R^2$ with the special orthogonal group $K = SO(2)$. A well
known fact is that the unitary dual $\hat{G}$, of ...
- 650
9
votes
1
answer
414
views
Relationship between Harish-Chandra Schwartz space and more generic Schwartz spaces
If $G$ is a connected semisimple Lie group with finite center, Harish-Chandra defined a Schwartz space of rapidly decreasing functions on $G$ as the space of $\mathrm{C}^\infty$ functions defined by ...
- 3,816
3
votes
0
answers
130
views
About the purpose of introducing '"groups of Heisenberg type"
I would like to know, can we say that the "groups of Heisenberg type" where introduced by A. Kaplan in "Kaplan, A. (1980). Fundamental solutions for a class of hypoelliptic PDE generated by ...
- 650
6
votes
0
answers
184
views
Reference request: fusion rules for unitary dual of SL(3,R)?
By the fusion rules, I mean: given two unitary irreps of the group, what unitary irreps occur in their tensor product and with what "multiplicity"? (I am guessing that direct integrals ...
- 25.8k
1
vote
1
answer
118
views
Faithful representations of non-amenable Lie groups [duplicate]
Can a non-amenable connected Lie group have a faithful finite-dimensional unitary representation?
5
votes
0
answers
167
views
Plancherel formula for $L^2(G/N)$
Let $G$ be a connected real semisimple or reductive Lie group. Let $TA$ be a Cartan subgroup, where $T$ is compact and $A$ is split. Let $MA$ be the centralizer of $A$ in $G$, and let $N$ be the ...
- 51
5
votes
1
answer
2k
views
Irreducible representations of Sp(2)
I am looking for an explicit description of the finite dimensional irreducible representations of the classical Lie group $\text{Sp}(2) = \{A\in M_2(\mathbb{H})\,|\,A\overline{A}^T = I\}$.
I can ...
- 562
4
votes
0
answers
112
views
Sobolev spaces defined on non-compact Lie groups
In this post, a question was raised to discuss the generalization of Sobolev spaces on locally compact Lie groups. Now my question is whether there exists a generalization of Sobolev spaces and ...
- 663
11
votes
2
answers
2k
views
Interpret Fourier transform as limit of Fourier series
Let $V=\mathbb{R}^n$, $\Lambda_r=2\pi r \mathbb{Z}^n \subset V (r>0)$ a lattice; $V^*\cong\mathbb{R}^n$ the dual vector space of $V$, and $\Lambda_r^*=\frac{1}{2\pi r} \mathbb{Z}^n =\text{Hom}(\...
- 1,906
4
votes
0
answers
173
views
Ring of SO(n)-invariant differential operators on M_n,m
I'm reading through Stephen Gelbart's paper "A Theory of Stiefel Harmonics." (http://www.ams.org/journals/tran/1974-192-00/S0002-9947-1974-0425519-8/).
There comes a point in the paper (Lemma 2.8) ...
- 41
59
votes
4
answers
15k
views
Group theory in machine learning
I'm a Machine Learning researcher who would like to research applications of group theory in ML.
There is a term "Partially Observed Groups" in machine learning theory which has been ...
- 607
6
votes
3
answers
757
views
Decomposition of $L^2(\Gamma \backslash G)$
Let $G$ be a semisimple Lie group, and $\Gamma$ be an lattice (arithmetic) - typical examples I am thinking about would be $(SL_2(\mathbb{R}), SL_2(\mathbb{Z})$, or $(SL_2(\mathbb{C}), PGL_2(O_F))$ (...
- 809
5
votes
0
answers
164
views
Which cocompact subgroups of $G$ do contain a cocompact normal subgroup of $G$?
Let $G$ be a locally compact group and let $H$ be a cocompact (or more generally, a cofinite) subgroup of $G$.
Is there any criterion to determine whether $H$ contains a cocompact normal subgroup of ...
user23860
5
votes
2
answers
452
views
"geometric" description of the algebra of central functions on a Lie group
I am looking for a a description of the algebra of continuous central functions on a group, say a compact simple Lie group $G$, as the algebra of all continuous functions on a "nice" compact Hausdorff ...
- 2,201
2
votes
1
answer
544
views
Characters separating points on Maximal Torus modulo Weyl group?
Let G be a compact Lie group, for example, SU(n). Let T be its maximal torus. Let W be its Weyl group.
Every finite-dimensional representation of G has a character, which is a function on G, T and T/...
- 585
5
votes
2
answers
291
views
Structure of the unitary representation $L^2(N/M)$ when $N$ is a nilpotent Lie group
Hi All,
I am new to this (though I seem to be a latecomer); so forgive me if this is not your most favorite question:
I am trying to understand the structure (e.g., decomposition) of the unitary ...
- 955
7
votes
1
answer
2k
views
Can one understand the Kelvin transform conceptually?
Let $U = \mathbf{R}^n - \{ 0 \}$, $n > 2$ and consider for a function $f \in C^2(U)$ the Kelvin transform
$$f^\star(x) = r^{2-n} f\left(\frac{x}{r^2}\right),$$
where $r = \lvert x \rvert$. One ...
- 71
1
vote
1
answer
189
views
Dominant weights appear in Discrete Series
If $\lambda$ is a Harish-Chandra paramater. Let $\pi_\lambda$ it's associated discrete series, it's known by the minimal K-type thm that every K-type of $\pi_\lambda\mid_K$ has highest weight of the ...
- 11