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

2
votes
0answers
15 views

Conditions under which a convolution transformation is injective in the 1-d Torus

Let $X=[0,1)$ the 1-d torus. Given a bounded positive function $w\colon X\to\mathbb{R}$ with unit integral (I mean $w\geq 0$, $w\in L^\infty(X)$ and $\int_X w\; dx=1$), define \begin{align*} T_{w} ...
4
votes
2answers
59 views

Does a lattice in $SL_n(\mathbb R)$ which is contained in $SL_n(\mathbb Z)$ have finite index in $SL_n(\mathbb Z)$?

A lattice $H$ in a locally compact group $G$ is a discrete subgroup such that the coset space $G/H$ admits a finite $G$-invariant measure. I have read several places that any lattice H in ...
0
votes
0answers
18 views

$G$-invariant functions on Manifolds

In a paper I saw the following statement: Let $M$ be a connected symplectic manifold and $G$ be a compact Liegroup acting symplectically and hamiltonian on $M$. Let $\Phi \colon M \to \mathfrak{g^*}$ ...
0
votes
0answers
18 views

One-parameter subgroup K in G with pi(K) non-trivial where pi:G->G/H and given G/H has no small subgroups

This is exercise 12.12.8 in Dieudonne's Treatise On Analysis, Volume 2 Let G be a locally compact metrizable group H a closed normal subgroup of G G/H is not discrete and has no small subgroups ...
0
votes
0answers
20 views

Integration on compact group

Let $K$ be a compact topological group, and let $(V,\pi)$ be a continuous representation of $K$ over the complex field $\mathbb{C}$. Denote by $\mathrm{d}$ the Haar measure on $K$. If $v\in V$ ...
2
votes
1answer
41 views

Haar measure of quotient group

Suppose $G$ is a (Hausdorff) compact group with normalised Haar measure $\mu$, and that $H\trianglelefteq G$ is a closed normal subgroup. Is it true that the pushforward of $\mu$ to $G/H$ is the ...
1
vote
1answer
20 views

For a Borel action of a locally compact second countable group G on a standard Borel space S, are the orbits always Borel?

In his book "Ergodic Theory and Semisimple Groups" Robert Zimmer opens Chapter 2 by discussing the situation of a locally compact second countable group $G$ with a Borel action on a standard Borel ...
4
votes
2answers
78 views

how many group structures make $S^1$ a topological group?

let $S^1$ be the subspace of $R^2$ given the usual topology. How many group structures make $S^1$ a topological group?
0
votes
1answer
67 views

Reference for Harmonic Analysis?

I'm looking primarily for references for Harmonic Analysis. I'm mostly considering Doran&Fell or Deitmar, but I have access to lectures using Stein as well. The important thing is covering ...
2
votes
0answers
19 views

*-representations, unitary representations, and adjunctions

I've been reading Folland's Abstract Harmonic Analysis, and I am currently in the section on the correspondence between unitary representations of a locally compact group $G$ and $*$-representations ...
1
vote
0answers
50 views

Second orthogonality relation for compact groups

On a finite group $G$, we have the second orthogonality relation $$\sum_{\chi\text{ irred.}} \chi(g)\overline{\chi(h)}=\begin{cases}|C_G(g)|&g=h\\0&\text{otherwise.}\end{cases}$$ for $g,h\in ...
1
vote
0answers
26 views

Almost periodic compactification with the Gelfand-Naimark theorem

Could anyone please help me with a bibliographic reference presenting the almost periodic compactification of a topological group with the aid of the Gelfand-Naimark theorem? Rudin in "Fourier ...
1
vote
0answers
33 views

Explicit constructions of Haar measures?

I know how to build the Haar measure somewhat explicitely on Lie groups (via differential forms) and profinite groups (by using the lemma that open subsets of a profinite group are unions of cosets of ...
4
votes
0answers
43 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 ...
1
vote
1answer
22 views

Lipschitz maps on locally compact groups

Suppose $G$ is a locally compact second countable group. This means that there exists a proper (closed bounded sets are compact) left invariant ($d(gx,gy) = d(x,y) \ \forall g,x,y \in G$) metric on ...
2
votes
2answers
113 views

Connected Lie group is second countable?

I know this is true from various sources, unfortunately none of them give the full proof. I already have a start: Let $G$ be connected Lie Group. Choose $K$ to be any compact neighbourhood of the ...
1
vote
0answers
35 views

Locally compact spaces that are not first-countable and continuity of functions on locally compact groups and continuity of group representation

If $X$ is a topological space that is first-countable, then a function $f: X \to Y$ into another topological space $Y$ is continuous if and only if $f$ is sequential continuous. Only the implication ...
0
votes
1answer
39 views

support compact modulo subgroup

I am studying (co)-induced representations of topological groups and I came across the following situation: $G$ is a topological group, $H$ a closed subgroup and $f\colon G\to W$ a set-theoretic map, ...
1
vote
1answer
39 views

LCA - groups under continuous homomorphisms

can someone help me out with this question? LCA stands for Locally compact Hausdorff abelian group. The question is posted in the attached image Let $A$ and $B$ be LCA-groups and $H$ a (not ...
2
votes
1answer
56 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$ ...
3
votes
1answer
54 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.
0
votes
0answers
35 views

From Folland Abstract Harmonic Analysis - Why is $\int f(x \xi) d\xi = \int f(x \xi^{-1}) \Delta_H(\xi^{-1}) d \xi$?

From Folland Abstract Harmonic Analysis - Why is $\int f(x \xi) d\xi = \int f(x \xi^{-1}) \Delta_H(\xi^{-1}) d \xi$? This is on page 57. Here is the notation: $H$ is a closed subgroup of a locally ...
2
votes
1answer
30 views

Show that a representative function on a profinite group factor through a surjection

Let $G$ be a compact group. A representative function $f\in\mathcal{C}(G,\mathbb{K})$ is a function such that $\dim\left(\operatorname{span}\left(Gf\right)\right)< \infty$. Remark that the ...
1
vote
1answer
34 views

Characters of a compact group with uniform positivity over $G$

Let $G$ be a compact group and let $\widehat{G}$ denote the set of all equivalence classes of irreducible representations of $G$. For each $\pi \in \widehat{G}$, we use $\chi_\pi$ to denote the ...
1
vote
1answer
110 views

When a sigma-finite space is a sigma-compact space?

$X$ is a topological space, $m$ is a $\sigma-$finite measure on $B(X)$, and what condition can make $X$ be a $\sigma-$compact space? This question is from topological groups (for me). Locally compact ...
1
vote
0answers
40 views

core-compact but not locally compact

A space $X$ is called core-compact if the set of all open set in $X, \mathcal{O}(X)$, is a continuous poset. It is known that every locally compact is core-compact. Here, a space $X$ is locally ...
3
votes
2answers
53 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 ...
2
votes
1answer
51 views

A reference for the Tannaka-Krein theorem

I am looking for a reference for the Tannaka-Krein theorem on compact groups. By the Tannaka-Krein theorem which is also called (classic) Tannaka duality (because of the quantum theory), I mean the ...
0
votes
1answer
45 views

intersection about the second category

$G$ is a locally compact Hausdorff topological group, $A$ and $B$ are two Borel subsets of $G$, and $A$ and $B$ are both of the second category in $G$, then there exist an element $x\in G$, such that ...
2
votes
1answer
88 views

Compact subgroups are contained in open compact subgroups in locally profinite groups

Let $G$ be a totally disconnected, Hausdorff, locally compact group. In the wikipedia page about these groups there is a claim that any compact subgroup of $G$ is contained in some compact open ...
1
vote
1answer
40 views

Two questions about increasing unions of compact subsets of a locally compact Hausdorff group.

I have two questions to ask related to my research. Question 1. Let $ G $ be a locally compact Hausdorff group. Is it possible that $ G $ is the union of a chain of compact subsets (ordered by ...
0
votes
2answers
81 views

locally compact Hausdorff

A space $X$ is called locally compact if every point of $X$ has a compact neighbourhood. I want to show that If $X$ is Hausdorff then $X$ is locally compact iff for every $x$ of $X$, every ...
1
vote
1answer
33 views

Sigma-compact Polish groups

I would like to see an example of a sigma-compact Polish group which is not locally compact. I know that e.g. $l^{\infty}$ is a topological group which is sigma-compact but not locally compact. But ...
2
votes
3answers
135 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 ...
0
votes
0answers
32 views

Eigenfunctions of the Fourier transform on locally compact abelian groups

The eigenfunction theory of the Fourier transform on $\Bbb R$ is well-understood. For example, the Hermite-Gauss functions are eigenfunctions with eigenvalues $i^n$; in fact, this comprises the ...
3
votes
1answer
116 views

Pontryagin dual of the unit circle

Define the unit circle as $\frac{\mathbb{R}}{2\pi\mathbb{Z}}.$ I know the Pontryagin dual (looking at properties of the Fourier transform on locally compact Abelian groups) is $\mathbb{Z}$ but why? ...
0
votes
1answer
39 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 ...
0
votes
0answers
79 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
1answer
48 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}$ ...
0
votes
2answers
96 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 ...
1
vote
1answer
40 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
82 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
40 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
50 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
0answers
45 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
38 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 ...
3
votes
1answer
54 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 ...
1
vote
1answer
59 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 ...
2
votes
0answers
35 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
26 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 ...