**2**

votes

**0**answers

64 views

### Primitive ideal space and unitary dual of a [SIN] group - when are they Hausdorff?

Recall that a locally compact group $G$ is said to be
an $[FC]^-$ group, if each conjugacy class in $G$ has a compact closure;
an $[SIN]$ group, if each neighborhood of the identity includes a ...

**4**

votes

**1**answer

207 views

### Weil's Haar measure construction from below

Weil's construction of a Haar measure on a locally compact group rests on approximating a function from above by sums of translates of another function.
I would need to know something similar for an ...

**3**

votes

**0**answers

50 views

### Characteristically simple locally compact abelian groups

Say a topological group $G$ is topologically characteristically simple if there does not exist a closed subgroup $1 < K < G$ such that $K$ is invariant under all automorphisms of $G$ (here ...

**5**

votes

**1**answer

69 views

### Is the Hofer topology second countable?

Let $(M,\omega)$ be a symplectic manifold and let $\operatorname{Ham}^c(M,\omega)$ denote the group of compactly supported Hamiltonian diffeomorphisms of $(M,\omega)$. Is the Hofer topology on ...

**4**

votes

**0**answers

118 views

### LCH topologies on Groups that are not group topologies

Ellis's 1957 paper on Locally Compact Transformation groups proves the following:
A locally compact hausdorff topology on a group $(G, \cdot)$ for which left and right multiplication are ...

**0**

votes

**0**answers

41 views

### A question about Raikov complete topological groups

I asked this yesterday on Math Stackexchange, but didn't get any comments. So I thought I might ask here too.
Let $G$ be a topological group and let $G^*$ be its Raikov completion, i.e its completion ...

**1**

vote

**1**answer

58 views

### Set product of profinite subgroups of a compact group is profinite

Let G be a compact group, suppose $G=AB$ where $A$,$B$ are profinite subgroups of $G$. Is it true that G is profinite group?

**13**

votes

**0**answers

431 views

### A possible mistake in Walter Rudin, “Fourier analysis on groups”

I have the following lemma 4.2.4 on page 80 in the book (we have locally compact abelian topological groups $G_1, G_2$ and their duals $\Gamma_1, \Gamma_2$):
Suppose $E$ is a coset in $\Gamma_2$ ...

**2**

votes

**0**answers

85 views

### Centralizer of a dense subgroup in a maximal subgroup of a reductive group

I am looking for a reference to the following statement
"Let $G$ be a reductive algebraic group and $K$ a maximal compact subgroup of $G$. If $H$ is a dense subgroup in $K$, then the centralizer of ...

**6**

votes

**2**answers

181 views

### A non locally compact group of finite topological dimension?

Is there a topological group which is Hausdorff, first countable,
locally connected and has finite topological dimension, yet fails
to be locally compact?

**3**

votes

**0**answers

56 views

### Can approximately periodic functions be perturbed to periodic functions on a locally compact group?

Let $G$ be a locally compact group and $H\subset G$ a closed and cocompact subgroup. I wish to consider bounded continuous functions from $G$ to $\mathbb{C}$ that are periodic in the following strong ...

**4**

votes

**1**answer

154 views

### Discrete spectrum and almost periodicity

According to Vershik, an ergodic invertible measure-preserving transformation $T$ on a Lebesgue space $X$ has discrete spectrum if and only if for every bounded measurable function $f\colon X \to ...

**4**

votes

**1**answer

198 views

### The fibration map $Diff(M) \rightarrow Emb(N,M)$

Let $M$ be a non-compact manifold, equipped with a (closed?) submanifold $N\subset M$. The action of $Diff(M)$ on the set of embeddings $N\hookrightarrow M$ induces a map
$$
Diff(M) \rightarrow ...

**1**

vote

**0**answers

75 views

### Subgroups of finite non-zero Haar measure of abelian locally compact groups

Is it true that every subgroup of finite non-zero Haar measure of an abelian locally compact group should be open and compact? This is obviously true for the case of discrete abelian groups. Thanks.

**3**

votes

**0**answers

58 views

### Kind of multiplicative total boundedness in Hausdorff compact rings

Let $(R,\cal T)$ be a unital Hausdorff compact topological ring and let $A$ be an open subset of $R$ containing $1$. Is there a finite set $B$ with $AB=R$?

**6**

votes

**0**answers

212 views

### Two different Thom diagonals in recent literature?

Taking the point of view that a Thom spectrum functor should be a map $Top_{/BGL_1(R)}\to LMod_R$, for $R$ some $\mathbb{E}_n$-ring spectrum, there seem to be two morphisms (in $Top_{/BGL_1(R)}$) that ...

**1**

vote

**0**answers

69 views

### Not normal connected component of a right topological group

Let $\cal T$ be a locally compact topology on a group $G$ and $(x,y)\mapsto xy^{-1}$ be continuous at $(1,1)$ and for every $a\in G$, $x\mapsto xa$ be continuous everywhere with respect to $\cal T$.
...

**4**

votes

**0**answers

120 views

### When can a locally compact group be approximated by discrete subgroups?

This question is about partitioning a (locally) compact group into cells by using discrete subgroups.
Let $G$ be a locally compact group. (I am really most interested in the case where $G$ is a ...

**2**

votes

**2**answers

241 views

### Abelian extremely amenable group?

Is there a nontrivial commutative Hausdorff topological group that is extremely amenable?
Recall that a topological group is called extremely amenable if any continuous action on a compact ...

**6**

votes

**0**answers

201 views

### Is $k(\!(x,y)\!)$ a topological field?

More generally, let $(R,m)$ be a Noetherian local domain with fraction field $K$. The $m$-adic topology turns $R$ into a topological ring. When $R$ is a discrete valuation ring, this topology extends ...

**3**

votes

**1**answer

88 views

### Why are the convolvers in the bicommutant of the pseudo-measures? ($CV_p(G)\subseteq PM_p(G)''$)

Let $G$ be a locally compact group. For $1<p<\infty$ let $\lambda_p:G\to\mathcal{B}(L^p(G))$ (resp. $\rho_p:G\to\mathcal{B}(L^p(G))$) be the left (resp. right) regular representation. $CV_p(G)$ ...

**5**

votes

**0**answers

59 views

### Almost invariance in compact quotients of locally compact groups

While trying to get an analogue of Weiss's monotiling result for amenable residually finite groups
in the topological setting, I face the following problem.
Let $G$ be a locally compact amenable ...

**2**

votes

**1**answer

166 views

### Every norm-decreasing algebra morphism $L_1(G)\to\mathcal{B}(E)$ comes from a group representation

In section 8 of this paper http://arxiv.org/abs/math/0611833v3 the author proves the following:
If $E$ is a reflexive Banach space, $G$ a locally compact group and $\pi:L_1(G)\to\mathcal{B}(E)$ a ...

**2**

votes

**0**answers

67 views

### Distal actions on coset spaces

Let $H$ be a group acting by homeomorphisms on a Hausdorff space $X$. Say the action is distal if for all $(x,y) \in X \times X$, if the set $\{(hx,hy) \mid h \in H\}$ accumulates at a diagonal point ...

**2**

votes

**1**answer

175 views

### Can we Characterise Rings of Continuous Functions?

Suppose $K$ is some nice space, for example $\mathbb R$ or $\mathbb C$. Let $X$ be a set and $C$ a ring of functions $X \to K$. Is there any way to determine, from the algebraic structure of $C$, ...

**0**

votes

**0**answers

49 views

### Left introversion operators associated to function spaces on semigroups

I am stuck on the following question for quite sometime now. Please help, any comment is welcome.
Let $S$ be a topological semigroup and $\mathcal{F}$ be a translation invariant, conjugate closed ...

**8**

votes

**1**answer

161 views

### Embedding abelian cancellative Hausdorff topological semigroups into abelian Hausdorff topological groups

An abelian cancellative semigroup embeds (via a semigroup monomorphism) into an abelian group. What about an abelian cancellative Hausdorff topological semigroup that does not embed (via a ...

**11**

votes

**1**answer

243 views

### A generalization of residual finiteness to topological groups

Consider the following generalization of residual finiteness to
topological groups.
A locally compact Hausdorff group $G$ is called residually compact if
for every compact $K \subseteq G$ there is a ...

**17**

votes

**0**answers

420 views

### The cofinality of $(\mathbb{N}^\kappa,\le)$ for uncountable $\kappa$?

For a partially ordered set $P$, a set $A\subseteq P$ is cofinal if for each element of $P$ there is a larger element in $A$. The cofinality of $P$, ${\rm cof}(P)$, is the minimal cardinality of a ...

**6**

votes

**4**answers

912 views

### Topological structure of SO(n) as a product

I’m interested in the question for which $n$ the special orthogonal group is homeomorphic to the product
$$ \mathrm{SO}(n) \approx S^{n-1} \times \mathrm{SO}(n-1). $$
Allen Hatcher [1, p. 293 f.] ...

**3**

votes

**1**answer

122 views

### What's the topology on the mapping space $Map_H(G, Y)$ when $G$ is not finite

When $G$ is a finite group and $H$ a closed subgroup of it, the sets of right cosets $H\backslash G$ has the discrete topology on it. Let $Y$ be a $H-$space. We have the $G-$homeomorphism ...

**12**

votes

**0**answers

223 views

### A meager subgroup of the real line, which cannot be covered by countably many closed subsets of measure zero?

Is there a ZFC-example of a subgroup $H$ of the real line $\mathbb R$ such $H$ is meager, has zero Lebesgue measure, but cannot be covered by countably many closed subsets of measure zero in $\mathbb ...

**2**

votes

**0**answers

186 views

### Is $1+T$ a topological generator for $Z_{p}[[T]]$? [closed]

Consider the ring of formal power series $\mathbb{Z}_p[[T]]$ (where $\mathbb{Z}_p$ denotes the ring of $p$-adic integers) with the topology in which a neighborhood basis for $0$ is given by the ideals ...

**1**

vote

**0**answers

41 views

### In a topological group $G$ with its lower uniformity, if $G$ is locally totally bounded, is its completion locally compact?

There has been work done on groups whose lower uniformity (or Roelcke uniformity) is totally bounded, e.g. the orthogonal group on a Hilbert space. This condition is equivalent to saying the lower ...

**4**

votes

**0**answers

472 views

### Examples of a topological semidirect product

Let $G$ be a compact topological group, and $\operatorname{Aut}(G)$ the group of autohomeomorphisms of $G$. I have proved some (topological) results about the holomorph $G\leftthreetimes ...

**5**

votes

**0**answers

116 views

### Is a successor to a successor to the trivial group topology on an Abelian group, totally bounded?

Is there an example of an Abelian group $G$ and group topologies $\cal S$ and $\cal T$ on it such that $\cal S$ is an immediate successor to the trivial topology on $G$ (i.e there is no other group ...

**6**

votes

**1**answer

94 views

### Can each non-open analytic subgroup of a Polish abelian group be covered by countably many closed Haar null subsets?

By a result of Laczkovich ('Analytic subgroups of the reals' Proc AMS Vol 126 (1998)), any non-open analytic subgroup of a Polish locally compact group can be covered by countably many closed Haar ...

**3**

votes

**1**answer

89 views

### Is the sumset of two Haar positive closed subsets of a Polish group non-meager?

A famous Steinhaus theorem says that if measurable subsets $A,B$ of a locally compact topological group $G$ have positive Haar measure, then the difference $AA^{-1}$ is a neighborhood of the unit and ...

**3**

votes

**1**answer

144 views

### Isometry Group of real Hilbert space?

Does the isometry group of a real separable infinite-dimensional Hilbert space have two connected components? Or, conversely, is the there even a Kuiper's theorem in the real case?
How does the ...

**0**

votes

**1**answer

75 views

### A group topology which commutes with closed subgroups

For a topological group $(G,\mathcal T)$ and a subgroup $H\le G$, we say $\mathcal T$ and $H$ are permutable if for every neighborhood $U$ of $1$, there is a neighborhood $V$ of $1$ with $VH\subseteq ...

**2**

votes

**1**answer

101 views

### Bohr compactification and “discretization”

Let $G$ is a compact group. We can form the Pontriagin dual $\widehat{G}$ of $G$: it is then discrete space. One can consider the Bohr compactification $b\widehat{G}$ of $\widehat{G}$ which is compact ...

**6**

votes

**2**answers

338 views

### Baire Category Theorem for complete uniform spaces

The version of the Baire Category Theorem I have in mind is the statement that a countable intersection of dense open subsets of a complete metric space is dense. The question is: is it likewise ...

**5**

votes

**1**answer

178 views

### The evaluation fibration of a transitive, effective topological group action

Does anybody know a reference to the following fact?
If $G$ is a topological group acting transitively and effectively on a space $X$, then the evaluation map $G \rightarrow X$, $g \mapsto g \cdot ...

**2**

votes

**1**answer

93 views

### Just-not-nilpotent-by-compact quotient of a locally compact group

It is known (and not complicated to prove) that for a finitely generated not virtually nilpotent group $G$, we can pass to a quotient $G/N$ of $G$, such that the quotient is just not virtually ...

**50**

votes

**1**answer

4k views

### Why can't a nonabelian group be 75% abelian?

This question asks for intuition, not a proof.
An earlier question,
Measures of non-abelian-ness
was thoroughly answered by Arturo Magidin.
A paper by Gustafson1
proves that, for a nonabelian group,
...

**3**

votes

**2**answers

305 views

### Exotic group topologies on the affine group $ax+b$

Let $G = \{(x; y) : x \in \mathbb{R}, y > 0\}$. With $(x, y)(u, v) = (x + yu, yv)$, $G$
is a group. If we topologize $G$ as a subset of $\mathbb{R}^2$, it is known that $G$ is a locally compact ...

**5**

votes

**1**answer

283 views

### Is the unitary group of a pre Hilbert space contractible?

I already posted my question on mathstackexchange
For a separable Hilbert space $H$ it is known that the unitary group $U(H)$ is contractible, both for the norm topology (Kuiper's theorem) and for ...

**0**

votes

**1**answer

129 views

### Borel subsets of Polish groups

Suppose that I have a polish group $G$ and two subsets $A$ and $B$ of $G$ such that: $A$ is open in $G$ and $B$ is closed in $G,$ from this, can I conclude that $AB$ is a Borel subset of $G$? if not, ...

**5**

votes

**1**answer

143 views

### Why is it possible to normalize the Haar measure on the quotient?

I just asked a question which is related to the one I'm about to ask, but I realized my question can be reduced to the following: let $G$ be a locally compact abelian group with Haar measure $\mu$, ...

**0**

votes

**0**answers

48 views

### The use of Haar measure in the Blichfeldt-Minkowski Lemma

I'm trying to understand a proof of the following result
Theorem: Let $K$ be a number field, and $|| \cdot ||$ the idelic norm (product of the normalized absolute values at each place). There ...