**4**

votes

**1**answer

171 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

61 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

53 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

196 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

62 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

107 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

227 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

188 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

**0**answers

52 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)$ ...

**4**

votes

**0**answers

50 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

**0**answers

123 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

64 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

173 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

48 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

129 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 ...

**10**

votes

**1**answer

225 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

400 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

885 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

120 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

217 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

177 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

40 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

358 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

92 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

81 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

141 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

73 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 ...

**1**

vote

**1**answer

88 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

301 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

172 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

90 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

3k 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

297 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

273 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

127 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

136 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

47 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 ...

**7**

votes

**2**answers

561 views

### Avoiding countable subgroups of general uncountable groups

The following problem is a general form of another problem (motivation is available there). Initially, the problems were posted together, but the first one is solved below, a solution that does not ...

**-2**

votes

**1**answer

89 views

### Can every non-discrete topological group G be algebraically generated by a nowhere dense subset?

Is there somone help me to show that if this problem have positive Answer :
Problem :Can every non-discrete topological group G be algebraically gen-
erated by a nowhere dense subset ?
Thank ...

**9**

votes

**1**answer

259 views

### Meager subgroups of compact groups

Suppose we have an infinite compact (Hausdorff) group $G$, and a subgroup $H\leq G$ which is meagre.
Can $H$ always be covered by a countable family of nowhere dense sets $H_n$ such that $H_n^2$ is ...

**0**

votes

**0**answers

23 views

### Abelian subgroups of the automorphism group of a totally disconnected LCA group

I am interested in the following question.
Suppose that $A$ and $B$ are LCA groups and $B$ acts continuously on $A$ by topological automorphisms. If $f$ is a Schwartz function on $A$, then we want to ...

**6**

votes

**1**answer

116 views

### Continuity of conjugation actions of Polish groups

Let $G$ and $H$ be Polish groups and let $\psi: G \rightarrow H$ be a continuous injective homomorphism such that $\psi(G)$ is normal in $H$. Then $H$ acts on $G$ by conjugation via $\psi$, in other ...

**4**

votes

**1**answer

227 views

### Meager set of full measure

Let X be a compact Hausdorff topological group and let m be the Haar measure on X. Can we find a meager set in X whose complement is m-null? I can do it when X is separable but I don't know if there ...

**4**

votes

**0**answers

73 views

### Topological systems of imprimitivity

Let $G$ be a group acting by homeomorphisms on a topological space $X$. $G$ is topologically transitive if every open $G$-invariant subset of $X$ is empty or dense.
Here is an attempt to define ...

**3**

votes

**4**answers

271 views

### Is there a compact connected Hausdorff space in which every non-empty $G_\delta$ set has non-empty interior?

Q1.
Is there a compact connected Hausdorff space (with at least two points) in which every non-empty $G_\delta$ set has non-empty interior? (Without the requirement for connectedness, every finite ...

**2**

votes

**1**answer

109 views

### Discrete subgroup of centralizer of transvections in isometries acts properly discontinuously

My question will rely on a clarification of a proof, which I simply don't understand.
Let us denote by $X$ a pseudo-riemannian symmetric space and define
$$
Z_{\mathrm{Iso}\left(X\right)}G(X) = \{\, ...

**1**

vote

**1**answer

79 views

### Number of continuous characters on an infinite Hausdorff precompact abelian group with exponent $p$

Let $(G,\mathcal T)$ be an infinite Hausdorff precompact abelian topological group and let $G$ have exponent $p$ where $p$ is a prime number.
Can it be proved that there are at least $p+1$ continuous ...

**4**

votes

**2**answers

170 views

### Root of positive function in Fourier algebra

Let $G$ be a locally compact group, let $A(G)$ be the Fourier algebra of $G$. We think of $A(G)$ as a subalgebra of $C_0(G)$.
Question 1: Let $f\in A(G)$ be a function that is pointwise positive. ...

**3**

votes

**1**answer

100 views

### Coarsely trivial Borel cross section for $G\to G/N$

Let $G$ be a locally compact group, and let $N$ be a closed, normal subgroup, and let $\pi\colon G\to G/N$ be the quotient homomorphism. It is known that there exists a Borel cross section, i.e., a ...