Locally compact groups are among the main objects of study of abstract harmonic analysis. They arise e.g. in number theory, abstract Fourier analysis, representation theory, Lie theory, operator theory, etc. Their main property is the existence and uniqueness of Haar measure. Please combine with ...

learn more… | top users | synonyms

4
votes
1answer
281 views

Left regular representation of $L^1(G)$ for a locally compact group $G$

Let $G$ be a locally compact group (not discrete) and let $L$ be the left regular representation of $A = L^1(G)$ on itself i.e. $L: A \to \mathcal{B}(A)$ where $L(f): A \to A$, $L(f)(g) = f*g$. I want ...
3
votes
1answer
820 views

Young's inequality for discrete convolution

Young's inequality for convolution of functions states that for $f\in L^p(\mathbb{R}^d)$ and $g\in L^q(\mathbb{R}^d)$ we have $$\|f\star g\|_r\le\|f\|_p\|g\|_q$$ for $p$, $q$, $r$ satisfying ...
11
votes
1answer
416 views

Stone-Weierstrass implies Fourier expansion

To prove the existence of Fourier expansion, I have to solve the following exercise, which supposedly follows from the Stone-Weierstrass theorem: Let $G$ be a compact abelian topological group ...
10
votes
2answers
595 views

Translation-invariant metric on locally compact group

Let $G$ be a locally compact group on which there exists a Haar measure, etc.. Now I am supposed to take such a metrisable $G$, and given the existence of some metric on $G$, prove that there exists ...
3
votes
1answer
222 views

Surjective endomorphism preserves Haar measure

How to prove the following statement: Let $G$ be a compact topological group and let $m$ be the Haar measure on it. Let $\varphi$ be a continuous endomorphism of $G$ onto $G$, i.e., the map $\varphi$ ...
3
votes
1answer
142 views

Why are characters required to be continuous?

I learned from several places that in defining a character of a topological group $G$, we often require it to be continuous, i.e. $\omega:G\to \mathbb{C}^{\times}$ is a continuous group homomorphism. ...
1
vote
1answer
205 views

Definition of admissible representation of the Weil group

Let $G$ be a locally profinite group, and $(\pi, V)$ be a representation of $G$ over a complex vector space $V$. Then the representation is called smooth if, for every $v$ in $V$, there is a compact ...
3
votes
0answers
158 views

Steinhaus theorem in topological groups

Let $(G,\cdot)$ be a locally compact Abelian topological group with Haar measure. It is known that if $B$ is a measurable subset of $G$ of finite and positive Haar measure then $int(B \cdot B)\neq ...
9
votes
1answer
1k views

Theorem of Steinhaus

The Steinhaus theorem says that if a set $A \subset \mathbb R^n$ is of positive inner Lebesgue measure then $\operatorname{int}{(A+A)} \neq \emptyset$. Is it true that also ...
6
votes
0answers
587 views

Positive definite function zoo

A positive definite function $\varphi: G \rightarrow \mathbb{C}$ on a group $G$ is a function that arises as a coefficient of a unitary representation of $G$. For a definition and discussion of ...
1
vote
1answer
281 views

Transitive group actions and homogeneous spaces

Given a topological group $G$ and a space $X$ with a transitive $G$ action, let $G_x$ be the isotropy group of a point. In Folland "A course in harmonic analysis", there is a statement that $X$ is ...
7
votes
1answer
695 views

Reference request: Fourier and Fourier-Stieltjes algebras

I would like to learn the basic theory of Fourier algebras and Fourier-Stieltjes algebras. In particular, I want to know how these two objects are defined in the case of not necessarily abelian ...
2
votes
2answers
184 views

reduced norm is proper

If $D$ is a central division algebra of dimension $n^2$ over a field $k$ we can consider the reduced norm $\nu : D \to k$, which satisfies $\nu^n = N_{D/k}$. In particular we get a group homomorphism ...
1
vote
1answer
245 views

Representation which have no unique decomposition into irreducible

What kind of examples of groups and representations should I keep in mind, which do not uniquely decompose into irreducible representations? I am mostly interested in characteristic zero ...
1
vote
1answer
161 views

Schwartz kernel theorem for induced representation/ Schur algebra for locally compact groups

Given a finite group $G$ and subgroups $H$ and $K$, and representation $$\sigma: H \rightarrow GL(V_\sigma), \qquad \pi: K \rightarrow GL(V_\pi).$$ Now consider the space of functions $f: G ...
4
votes
1answer
117 views

Is there any relation between a group being unimodular and having equivalent uniform structures?

Recall: A topological group is said to have equivalent uniform structures if its left and right uniform structures coincide. A locally compact group is said to be unimodular if left Haar measures and ...
3
votes
1answer
290 views

Compact group actions and automatic properness

I am currently re-reading a course on basic algebraic topology, and I am focussing on the parts that I feel I had very little understanding of. There is one exercise in the chapter devoted to groups ...