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

3
votes
1answer
126 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, ...
0
votes
1answer
29 views

closed subset of locally compact

A space $X$ is said locally compact if for any $x\in X$ and for any neighbourhood $U$ of $x$ there is a compact neighbourhood $V$ such that $V\subseteq U$. Does closed subset of locally compact is ...
6
votes
1answer
75 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 ...
0
votes
1answer
28 views

Intersection between a compact and a locally compact set

I'm trying to understand Rudin's proof of Pontryagin duality theorem, but I still haven't undersood an argument. (Fourier analysis on groups, p29) Let $G$ be a group and denote $\Gamma =\widehat{G}$ ...
1
vote
1answer
30 views

Is every closed subgroup of dual group an annihilator?

This is a naive question as I am new to topological group theory. Let $G$ be a Locally Compact Abelian group (LCA group). I know that to every closed subgroup $H$ of $G$ correspond a closed subgroup ...
0
votes
0answers
47 views

sequential continuity and countinuity

When we have two topological spaces, $\left(X, \tau_X\right)$ and $(Y, \tau_Y)$ it is easy to check that for $f: X \rightarrow Y$ continuity implies sequential continuity. I'm wondering what do we ...
0
votes
2answers
43 views

Stabilizer, Cosets, homeomorphism and Compact groups : proving things in The Structure of Compact Groups by Hofmann and Morris

I'm currently struggling trying to prove a few things in the book The Structure of Compact Groups by Hofmann and Morris. The first one would be Proposition 1.10.i (or E1.4) : If the topological ...
2
votes
2answers
35 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 ...
1
vote
0answers
45 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 ...
1
vote
1answer
36 views

Transpose in $ {SL}(2,\mathbb{R})$

Let $SL(2, \Bbb{R})$ denote the group of special invertible $2\times 2$ matrices over $\mathbb{R}$. As a locally compact group, the Haar measure of $SL(2, \Bbb{R})$ is computable through Iwasawa ...
0
votes
0answers
29 views

What's a Schwartz-Bruhat Function

Let $X$ be a locally compact abelian group and $f: X \rightarrow \mathbb{C}$ a continuous map. There are several definitions of what it means for $f$ to be a Schwartz-Bruhat function. If $X = ...
1
vote
1answer
28 views

Countable LCA groups

Is it true that a countable LCA group can only be discrete ? This question is related to a comment here : A theorem on LCA group - is the uncountability necessary?
0
votes
0answers
32 views

On the structure of non discrete locally compact topological (non-necessarily commutative) complete fields.

There is totally classic result about the structure of non discrete locally compact topological (non-necessarily commutative) fields $K$, whose proof uses the existence of the Haar measure on the ...
2
votes
1answer
156 views

Is a regular Borel measure on a locally compact space necessarily $\sigma$-finite?

I am trying to compile a proof of the uniqueness of Haar measure. Usually this is done by multiple-integral mumbo-jumbo, abusing left and right invariance of two potential measures and invoking ...
1
vote
0answers
21 views

Good reference for The Differntiable Slice Theorem

I am looking for a book that will give me a good proof of The Differentiable Slice Theorem - Suppose a compact Lie group $G$ acts smoothly on a manifold $M$. Then every orbit has a $G$-invarient ...
2
votes
0answers
33 views

Norm Inequality (Vinogradov Notation)

I'm going through a proof of differentiability of fourier series on the d-dimensional torus and while proving the following inequality: $$ ...
0
votes
1answer
29 views

Decompostion into countably many nowhere dense compact sets

Let $A$ be a meagre subset of a locally compact abelian Polish group $G$. Then $A$ can be written as a countable union of nowhere dense subsets of $G$. Is it always possible to write $A$ as a ...
1
vote
1answer
47 views

Error in Cariolaro's Unified Signal Theory

From what I understand, in the category $\mathsf {LCA}$ of lca groups, isomorphisms should respect both topology and group structure, hence they are continuous homomorphisms. I'm trying to learn ...
1
vote
1answer
25 views

Automophism of G and Haar measure

Let $G$ be a locally compact group (written additively), $\lambda$ an automophism of $G$, and $\alpha$ a Haar measure in $G$. As the Haar measure is unique up to factor constant, $\lambda$ transform ...
2
votes
1answer
44 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 ...
0
votes
1answer
29 views

How can we topologize the character group $\Gamma$ of a locally compact abelian group $G$, such that $\Gamma$ becomes a LCA group?

How can we topologize the character group $\Gamma$ of a locally compact abelian group $G$, such that $\Gamma$ itself becomes a LCA group ? I would really really appreciate if I can get a step by step ...
2
votes
0answers
33 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 ...
1
vote
1answer
40 views

measure of open set with measure Haar

By a Haar measure on a locall compact group (Hausdorff) we mean a positive measure $\mu$ (contains the borel set's) such that The measure $\mu$ is left invariant The measure μ is finite on every ...
1
vote
1answer
54 views

Connected Pontryagin dual

The dual group to a compact abelian group is discrete so in particular very much disconnected. I was trying to invent an example of a connected locally compact abelian group with connected dual which ...
1
vote
1answer
66 views

Why is the character group defined as $\mathsf{Hom}(G,\mathbb T)$, i.e why is the codomain specifically $\mathbb T$?

In the paper Category Theory Applied to Pontryagin Duality by Roeder, the character group of an lca group is defined as the topological (under the compact-open topology) abelian group of continuous ...
1
vote
0answers
90 views

Compact operators on $L^2(G)$ as a reduced cross product of $C_0(G)$ and $G$.

If any of the terminology is unclear then please don't hesitate to point it out. My question is: is it true that when $G$ is a locally compact second countable group then: \begin{equation*} C_0(G) ...
3
votes
1answer
45 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 ...
4
votes
2answers
141 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)?
1
vote
1answer
70 views

Convolution of $L^1(G)$ functions with elements of $M(G)$.

Let $G$ be a non-discrete locally compact group with left Haar measure $\mu$. There is an isometric embedding of $L^{1}(G)\to M(G), f\mapsto fd\mu$. Since $G$ is not discrete, the point-mass measure ...
2
votes
2answers
108 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
0
votes
1answer
31 views

Module function on automorphisms of discrete locally compact group

Let $G$ be a discrete locally compact group and let $\alpha: G \to G$ be an automorphism. Show that the module $\rm{mod}_{G}(\alpha)$ is 1. In the case of a locally compact field $k$ and ...
2
votes
0answers
75 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 ...
3
votes
0answers
66 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
1answer
136 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 ...
2
votes
0answers
42 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 ...
3
votes
2answers
65 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 ...
0
votes
0answers
18 views

Divisible, locally compact abelian groups

Let $G$ be a divisible, locally compact abelian group such that $G$ is a direct sum of a torsion group and a torsion-free group. Let $H$ be an open subgroup of $G$. Can we deduce that $H$ is a direct ...
1
vote
1answer
28 views

Discontinuous characters on locally compact abelian groups

I'm doing some reading out of Rudin's Fourier Analysis on Groups and Folland's Abstract Harmonic Analysis for research. Particularly I am on characters and dual groups and I've noticed that neither ...
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. ...
0
votes
1answer
19 views

Containing a net with a compact set.

Let $G$ be a locally compact group and let $(x_{\alpha})$ be a convergent net, say to $x$, in $G$. Is it possible to construct a compact subset $K$ of $G$ which contains each $x_{\alpha}$ and $x$?
0
votes
0answers
14 views

Kernel of a representation and central projections

Let $G$ be a locally compact group, and $B(G)$ be the Fourier-Stieltjes algebra of $G$. I'm trying to see why the following is true: let $\pi$ be a representation of $G$, the the kernel of $\pi$ in ...
0
votes
1answer
41 views

Haar measure of point sets

Let $G$ be a locally compact group with Haar measure $\mu$ (left or right doesn't matter to me). I know that the Haar measure is positive on open sets. What can be said about the Haar measure on ...
1
vote
1answer
43 views

A sequence of neighbourhoods with decreasing Haar measure in a non-discrete group

Let $G$ be a non-discrete (LCH) group. How can one find a sequence $(V_n)$ of compact, symmetric neighbourhoods of the identity element $1$ such that $\mu(V_n)\to 0$, where $\mu$ denotes the Haar ...
1
vote
2answers
82 views

Totally disconnected orbit spaces

Let $X$ be a totally disconnected $G$-space, where $G$ is a locally compact Hausdorff group. Is the orbit space X/G also totally disconnected? The same question for locally compact, Hausdorff, ...
1
vote
0answers
37 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) ...
2
votes
1answer
87 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 ...
1
vote
1answer
70 views

What is the cokernel of $\Bbb Q^{\text{disc}} \hookrightarrow \Bbb R$?

These two should be the standard examples for why Locally compact abelian groups are not an abelian categoty. The cokernel of any of these maps should is not a LCAG. $$\Bbb Q^{\text{disc}} ...
4
votes
0answers
84 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 ...
2
votes
0answers
41 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) ...