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

15
votes
1answer
710 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
212 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.
11
votes
1answer
436 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
1answer
765 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)$. ...
10
votes
2answers
613 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 ...
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 ...
7
votes
1answer
761 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
1answer
318 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 ...
6
votes
1answer
107 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 ...
6
votes
0answers
644 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
437 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 ...
5
votes
1answer
266 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
2answers
148 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
214 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
225 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$ ...
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 ...
4
votes
1answer
115 views

Finding an open set for a topological group

Let $G$ be a locally compact topological group, $K$ a compact subgroup and $\Gamma$ a discrete subgroup. I try to find a neighbourhood $U$ of the identity such that $\Gamma \cap UK = \Gamma \cap K$. ...
4
votes
1answer
284 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
154 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
20 views

Haar measure on a profinite group is the inverse limit of the counting measure on its quotients?

I've heard this a few times now, though I've never seen a precise result. I guess the precise statement would be close to: Let $N_i$ be a basis normal subgroup neighborhoods of the identity in a ...
4
votes
0answers
90 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
48 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
229 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 ...
4
votes
0answers
161 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 ...
3
votes
2answers
264 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
2answers
39 views

Bounded approximate identities in one-sided ideals of $L_1(G)$

Let $G$ be a locally compact group and consider its $L_1$-group algebra, that is, $L_1(G)$. It is easily seen that $L_1(G)$ has a two-sided bounded approximate identity: just use a basis of compact ...
3
votes
2answers
77 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
207 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
876 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 ...
3
votes
1answer
36 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
204 views

Non-discrete locally compact group

Why every non-discrete locally compact group contains a nontrivial convergent sequence?
3
votes
1answer
272 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
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. ...
3
votes
1answer
61 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
50 views

Unimodular groups

Let F be a non-archimedean local fields of characteristic p (for p any given prime number): the field of formal Laurent series Fq((T)) over a finite field Fq (where q is a power of p). Is GL(n,F) ...
3
votes
1answer
158 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, ...
3
votes
1answer
99 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
175 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
305 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
1answer
48 views

Is a compact subset of a topological group G/N closed if G is hausdorff?

I just used this hypothesis when I was proving a theorem.But I was not sure if this hypothesis is correct.
3
votes
2answers
49 views

Any quotient of a compactly generated space is compactly generated

I found a note about compactly generated. This is the article http://www.math.uiuc.edu/~franklan/Math535_1205.pdf. I worry whether the proof of Proposition 2.4 is true. I not understand why the ...
3
votes
1answer
47 views

question regarding closure of symmetric neighborhood of e

I was going through the open mapping theorem (for topological groups) when I stumbled upon a topological property that I couldn't prove to myself. If I have a topological group, $G$ which is ...
3
votes
1answer
56 views

What are the continuous automorphisms of $\Bbb T$?

I wanted to check my reasoning on this problem. From standard Pontrjagin duality arguments, it's not hard to see that the continuous homomorphisms of the torus (to itself) are nothing more than the ...
3
votes
0answers
70 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
90 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. ...
2
votes
1answer
78 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
187 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
40 views

What prevents the restriction of a Haar measure to a closed subgroup from being a Haar measure?

Let $\mu$ be a Haar measure on a locally compact Hausdorff topological group $G$, and let $H$ be a closed subgroup of $G$. If we restrict $\mu$ to the Borel sets of $G$ which are contained in $H$ ...
2
votes
3answers
115 views

Steinhaus theorem for topological groups

$G$ is a locally compact Hausdorff topological group, $m$ is a (left) Haar measure on $X$, $A$ and $B$ are two finite positive measure in $G$, that is $m(A)>0$, $m(B)>0$. My question is: Can ...