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

13
votes
1answer
609 views

Properties of Haar measure

Let $G$ be a locally compact group (but not discrete) and let $m$ be its left Haar measure. Is it true that $\forall \epsilon$ $\exists$ $C$ such that $C$ is a compact neighborhood of the identity and ...
11
votes
1answer
365 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 ...
11
votes
1answer
205 views

subgroup of connected locally compact group

I need a reference or a short proof for the following property: A nontrivial connected locally compact group $G$ contains an infinite abelian subgroup.
10
votes
2answers
564 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 ...
8
votes
1answer
568 views

A net version of dominated convergence?

Let $G$ be a locally compact Hausdorff Abelian topological group. Let $\mu$ be a Haar measure on $G$, i.e. a regular translation invariant measure. Let $f$ be fixed in $\mathcal{L}^1(G, \mu)$. ...
7
votes
1answer
957 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
1answer
617 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 ...
6
votes
2answers
1k views

Local-Global Principle and the Cassels statement.

In a recent article I have read, i.e. " Lecture notes on elliptic curves ", Prof.Cassels remarks in page-110 that There is not merely a local-global principle for curves of genus-$0$, but ...
6
votes
0answers
489 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 ...
5
votes
1answer
380 views

Subgroups of a vector space

I would like to have an overview of how a subgroup of a vector space over $\mathbb R$ of dimension $n$ can look like. Is there a complete classification available? I know that there are for examples ...
4
votes
2answers
134 views

Extensions and Kazhdan's Property (T)

Is Kazhdan's property (T) stable under extensions? i.e. if $G$ is an extension of a group with property (T) by a group with property (T), does it follow that $G$ has property (T)?
4
votes
2answers
183 views

More on the versions of the Peter-Weyl theorem

The following three statements appear analogous: For a finite group $G$, the group algebra $\mathbb C[G]$ decomposes as $\bigoplus_{V {\rm\ irred}} V^* \otimes V$. (Peter-Weyl) For a compact group ...
4
votes
1answer
115 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 ...
4
votes
1answer
242 views

Why do characters on a subgroup extend to the whole group?

As background, I am trying to do exercise 3.10 in Deitmar's "Principles of Harmonic Analysis." I can do most of the problem but I'm stuck on the third part proving surjectivity. Given a locally ...
4
votes
1answer
272 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 ...
4
votes
1answer
144 views

Why are locally compact groups Weil complete?

Why are locally compact groups Weil complete? Note: A topological group $G$ is Weil complete if every left Cauchy net in $G$ is convergent. Thank you, and sorry if I have bad writing.
4
votes
0answers
39 views

Convolution of matrix coefficients is also a matrix coefficients

I have a question about the convolution of matrix coefficients as follows: Let $G$ be a compact Lie group. A Map $f:G\rightarrow \mathbb{C}$ is called a matrix coefficient if there is a finite ...
4
votes
0answers
77 views

Reduced $C^*$-algebra of a direct product of locally compact groups

Is it true that $$C^*_r(G_1\times G_2)=C^*_r(G_1)\otimes_{\min}C^*_r(G_2)$$ for locally compact groups $G_1$ and $G_2$? I have managed to prove that it holds for discrete groups (see below), but as ...
4
votes
1answer
47 views

Showing a measure on a locally compact group is left invariant

I am trying to verify that the measure $\frac{1}{|x|}dx$ is a Haar measure on $\mathbb{R}\backslash \{0\}$. For every open interval $(a_{n},b_{n})\subset \mathbb{R}$ not containing $0$, I have that ...
4
votes
0answers
166 views

Haar measure on O(n) or U(n)

Every locally compact group has left-invariants haar measures. In particular, the compact groups O(n) and U(n) have them. I was wondering if there is a realization of such a measure on these groups, ...
4
votes
0answers
207 views

Uniqueness of Haar Measures

Haar measure on a LCA (locally compact abelian) group $G$ is said to be unique ... up to a scaling factor. This is not as elegant as it might be expected because this requires a choice of a unit ...
3
votes
2answers
214 views

Shifting a function is continuous

I'm slightly puzzled by the following: if $g(t)$ is a function in $L^q(X)$ then we can show that $g(t-x)$ is continuous function of $t$, i.e. for $\varepsilon > 0$ we can find $\delta$ such that ...
3
votes
1answer
201 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
2answers
54 views

Why do we want *unitary* representations of locally compact groups into $B(H)$?

This is related to a previous question of mine but I have a more philosophical issue with the material. Everywhere I have looked for representations of locally compact groups into $B(H)$, everyone ...
3
votes
1answer
103 views

Is there a formula for the Haar measure on a product of groups?

Let $ (G_{n})_{n \in \mathbb{N}} $ be a sequence of locally compact topological groups with a corresponding sequence $ (\mu_{n})_{n \in \mathbb{N}} $ of Haar measures. Is there a way to construct a ...
3
votes
1answer
34 views

Locally compact infinite dihedral group

Is there any topology other than discrete which can be given to an infinite dihedral group to make it locally compact topological group? If no, why is it so?
3
votes
1answer
195 views

Non-discrete locally compact group

Why every non-discrete locally compact group contains a nontrivial convergent sequence?
3
votes
1answer
239 views

If both $H$ and $G/H$ are locally compact then $G$ is locally compact (topological Group)

How do I prove this statement? Let $G$ be a Topological group and let $H$ be a subgroup of $G$, if both $H$ and $G/H$ are locally compact then $G$ is locally compact. (we will endow the set $G/H$ ...
3
votes
1answer
139 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. ...
3
votes
1answer
41 views

question on subgroup of compact group

Suppose $G$ is a compact metrizable abelian group, is it true that $G$ has no finite index subgroups iff $G$ is connected? Any reference or help is appreciated. Thanks in advance! Here are my ...
3
votes
1answer
95 views

Characters being everywhere dense in the character group

Let $k$ be the completion of an algebraic number field at a prime divisor $\mathfrak{p}$. We note that $k$ is locally compact. Let $k^{+}$ be the additive group of $k$ which is a locally compact ...
3
votes
1answer
159 views

$\sigma$- compact clopen subgroup.

I am given $G$ locally compact group, and I want to show that there exists a clopen subgroup $H$ of $G$ that is $\sigma$-compact. So here's what I did so far: for $e \in U$, where $U$ is a nbhd of ...
3
votes
1answer
274 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 ...
3
votes
0answers
59 views

Building up the Fourier inversion theorem on locally compact abelian groups

I'm reading through Folland's Abstract Harmonic Analysis and I've come to a bit of a road block with some machinery developed for the Fourier inversion theorem. We know that the Fourier transform of a ...
3
votes
0answers
80 views

Mapping $G$ into its group algebra as left multiplication. Continuous?

I am reading an appendix on Group algebras which contains the following Proposition which I am trying to prove: Proposition: Let $G$ be a locally compact group, with $\zeta\in L^{p}(G)$ fixed. ...
3
votes
0answers
150 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 ...
2
votes
1answer
57 views

When does a left Haar measure on a locally compact group restrict to a left Haar measure on a locally compact subgroup?

Given a locally compact group which is not $\sigma$-compact, there exists a $\sigma$-compact subgroup $H$ of $G$ which is open and closed. A Remark in Folland's, A Course in Abstract Harmonic ...
2
votes
2answers
170 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 ...
2
votes
1answer
66 views

Why is $L^{1}(G)$ unital if and only if $G$ is discrete?

I've seen it stated in several sources and lecture notes for Abstract Harmonic Analysis that for a locally compact group $G$, $L^{1}(G)$ is unital if and only if $G$ is discrete. What about the ...
2
votes
1answer
137 views

Which of the following topological groups are polish or locally compact?

I want to show that the next groups are polish topological groups, which criteria should I use here? And also which are locally compact (same question)? The groups are: The group of permutations ...
2
votes
1answer
728 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 ...
2
votes
1answer
103 views

Haar measure, convolution and involutions

I have some problems to follow the proof of the anti commutativity property of the convolution and involution operations defined using a Haar measure as presented in Pedersen's book "analysis Now", ...
2
votes
1answer
242 views

Are nilpotent Lie groups unimodular?

The continuous homomorphism $\Delta:G \rightarrow \mathbb{R}^{\times}_+$ is defined by \begin{equation*} \int_G f(xy)dx = \Delta(y)\int_Gf(x)dx \end{equation*} where $dx$ is a left Haar measure on ...
2
votes
1answer
58 views

Is the ring of integers of a local field an open subgroup?

I apologize if my question is a bit naive, but I don't have much experience in number theory and sometimes get very confused. Suppose $K$ is a non-archimedean local field (essentially a completion of ...
2
votes
1answer
40 views

Why is the image of $k^+$ dense in the character group?

Let $k$ be a local field, and consider the map $\phi: k^+ \hookrightarrow \widehat {k^+}$ given by $\eta \mapsto \eta X(\cdot)=X(\eta \cdot)$ where $X$ is a non-trivial character. Tate argues in his ...
2
votes
2answers
105 views

Is the group algebra separable?

Let $G$ be a locally compact Hausdorff group. Is the group algebra $L^1(G)$ separable? Would you please help me or introduce references that can help me. Thanks
2
votes
0answers
21 views

Compact groups are Moore groups

A locally compact group $G$ is said to be a Moore group if each irreducible continuous unitary representation of $G$ is finite dimensional. I'm trying to see why a compact group $G$ would be a Moore ...
2
votes
0answers
65 views

Integration with values in a $C^*$-algebra

My question is quite specific to locally compact groups but I'm sure it can be generalised to locally compact Hausdorff spaces with a Borel measure. Let $G$ be a locally compact group and fix a Haar ...
2
votes
0answers
36 views

Locally compact group

I want/need to learn about locally compact groups in rigorous way. Mainly to completely understand Tate's thesis/Weil's basic number theory. Could you recommend a text or lecture note which would ...
2
votes
0answers
28 views

Induced measure on dual group and kernel of fourier transform

Let $G$ be a locally compact Hausdorff abelian group (LCA). Then the Fourier transform gives a map from functions on G to functions on $\hat G$ $$f\mapsto \hat f(\xi) = \int_G f(x)\Psi(x,\xi) ...