Questions tagged [topological-groups]

A topological group is a group $G$ together with a topology on the elements of $G$ such that the group operation and group inverse function are both continuous (with respect to the topology).

Filter by
Sorted by
Tagged with
10 votes
1 answer
223 views

Classifying space of centralizer

$\DeclareMathOperator\Map{Map}\newcommand{\B}{\mathrm{B}}\newcommand{\h}{\mathrm{h}}$Let $f:G\to H$ be a morphism of topological groups and let $$H^{\h G}:=\Map_G(\mathrm{E}G, H)$$ be the homotopy ...
Thomas's user avatar
  • 103
10 votes
1 answer
792 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 ...
Laurent Moret-Bailly's user avatar
10 votes
1 answer
444 views

Haar measurable sets and quotient maps

Let $G$ be a locally compact Hausdorff group with a Haar measure $\mu$, let $H$ be a closed normal subgroup of $G$, and let $q: G \to G/H$ be the quotient homomorphism. Let $\nu$ be a Haar measure ...
B. Krull's user avatar
  • 101
10 votes
0 answers
189 views

"Homotopy homomorphisms" of homeomorphisms of Euclidean space

For a topological group $G$, an older term for a map $BG \to BG$ is a "homotopy homomorphism". If $G$ is connected, taking based loops shows that a homotopy class of such a map is the same ...
skupers's user avatar
  • 7,923
10 votes
0 answers
256 views

What is the smallest $\sigma$-algebra of reals that is closed under addition of sets?

What is the smallest $\sigma$-algebra $\Sigma\subseteq\mathcal P(\Bbb R)$ containing the open sets and such that if $A,B\in\Sigma$, then $$A+B=\{a+b\mid a\in A,b\in B\}\in\Sigma?$$ I know that neither ...
Alessandro Codenotti's user avatar
10 votes
0 answers
399 views

The group analogue of the James construction

If $(X,e)$ is a based topological space, then the James construction on $(X,e)$ is the free topological monoid with unit $e$: $J(X)=\coprod_{n\geq 1}X^n /\sim $ where $(x_1,...x_{j-1},e,x_j,...,x_n)\...
Jeremy Brazas's user avatar
9 votes
3 answers
914 views

Is there a non-trivial topological group structure of $\mathbb{Z}$?

More specificaly, is there a haussdorf non-discrete topology on $\mathbb{Z}$ that makes it a topological group with the usual addition operation?
Cristos A. Ruiz's user avatar
9 votes
2 answers
662 views

Semi group of polynomials which all roots lie on the unit circle

Let $X=\{f\in \mathbb{C}[z]\mid |z| \neq 1 \implies f(z) \neq 0\} $. The motivation for consideration of such an $X$ is the the concept of Lee-Yang polynomials. With the standard multiplication, $X$...
Ali Taghavi's user avatar
9 votes
1 answer
525 views

Existence of infinite groups that are too reluctant to be topological

With ZFC, is there an infinite group $G$ such that there is no non-trivial non-discrete topology on $G$ with the functions $G\times G\to G,~~ (a,b) \mapsto ab$ and $G\to G,~~ a\mapsto a^{-1}$ ...
Minimus Heximus's user avatar
9 votes
2 answers
260 views

group actions in dimension 2 and 3

I am looking for a reference to the following claims: Any compact group (connected or not) acting on $S^2$ is differentiably conjugate to a linear action. This must be classical. A circle $S^1$ ...
wolfgang ziller's user avatar
9 votes
2 answers
805 views

Are locally compact, Hausdorff, locally path-connected topological groups locally Euclidean?

Is every locally compact, Hausdorff, locally path-connected topological group $G$ locally Euclidean? (That would imply of course also being a Lie group.) Is it true when countable basis is assumed? I ...
Adam's user avatar
  • 2,370
9 votes
1 answer
2k views

Understanding Bruhat's notion of Schwartz function

I am trying to understand Bruhat's generalized Schwartz functions over (Hausforff) locally compact Abelian groups [1], following this paper [2] by Osborne. There, the Schwartz-Bruhat space $\mathscr{...
Juan Bermejo Vega's user avatar
9 votes
3 answers
425 views

Non-measurable sets on groups from translation invariance

The most well-known construction of a non-measurable set is the Vitali set. The idea behind Vitali sets is to split up the space (such as $[0,1]$) into equal-sized copies (guaranteed by translation ...
aras's user avatar
  • 163
9 votes
1 answer
290 views

What is known about topological groups of countable spread in ZFC?

A topological space has countable spread if every discrete subspace is at most countable. By Theorem 8.10 in Todorcevic's book "Partition Problems in Topology", PFA implies that each regular space $X$...
Taras Banakh's user avatar
  • 40.8k
9 votes
2 answers
847 views

Are the reduced group Von Neumann algebra/ Group $C^{\ast}$ algebra functorial in the case of LCH groups

Let $G$ be a LCH group and $\mu$ be its left Haar measure. Call $\lambda_G : G \to U(L_2(G,\mu))$ the left regular representation. We can define the reduced $C^{\ast}$ algebra and reduced Von Neumann ...
Adrián González Pérez's user avatar
9 votes
2 answers
669 views

Potential connected non-Lie subgroup

This painful question is inspired by the question "non-Lie subgroups" . Let $f$ be a discontinuous additive map from $\mathbb{R} \to \mathbb{R}$. Is it possible that the graph of $f$, inside ...
David E Speyer's user avatar
9 votes
1 answer
396 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 ...
tomasz's user avatar
  • 1,214
9 votes
1 answer
261 views

$\operatorname{Spaces}/BG$ $\sim$ $\operatorname{Spaces}^G$ $\sim$ $??(\Omega G)$

This is a crosspost (with minor alterations). For a topological group $G$, assigning to a $G$-space $X$ the (canonical) map $EG\times_GX\to BG$ establishes an equivalence between the homotopy category ...
მამუკა ჯიბლაძე's user avatar
9 votes
1 answer
621 views

Must an inverse limit of simply connected groups be simply connected?

While the fundamental group $\pi_1$ preserves products, it is not true in general that an inverse limit of simply connected topological spaces is simply connected. I would like to know if similar ...
Jeremy Brazas's user avatar
9 votes
1 answer
199 views

Does each discrete solvable group admit an injective homomorphism to a compact topological group?

It is well-known that each abelian group admits an injective homomorphism to some compact topological group (for example to its Bohr compactification). Is the same fact true for solvable groups? ...
Taras Banakh's user avatar
  • 40.8k
9 votes
0 answers
320 views

Is every space a classifying space?

Despite a pretty thorough look (I think) I can’t find the answer to the following question: Is every (reasonable?) path connected space weakly equivalent to the classifying space of some topological ...
Josh Lackman's user avatar
  • 1,188
9 votes
0 answers
314 views

Is there an countable amenable dense subgroup of $U(\ell^2 \mathbb N)$?

Question: Does the unitary group $U(\ell^2 \mathbb N)$, equipped with the strong operator topology, contain a countable dense subgroup which is amenable as a discrete group? I would be also ...
Andreas Thom's user avatar
  • 25.3k
9 votes
0 answers
328 views

'Infinitesimal' elements of a topological group

Let $G$ be a topological group, and let $M$ be the intersection of all conjugacy-invariant neighbourhoods of the identity in $G$ (in other words, the set of elements that can be taken arbitarily close ...
Colin Reid's user avatar
  • 4,678
8 votes
2 answers
745 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 ...
Boaz Tsaban's user avatar
  • 3,104
8 votes
4 answers
9k views

Haar Measure on a Quotient [closed]

Suppose you have a locally compact group G with a discrete subgroup H. Of course G has a unique (up to scalar) Haar measure, but it seems that G/H has and induced Haar measure as well. How does ...
Krystal's user avatar
  • 89
8 votes
2 answers
564 views

Homotopic but not equivariantly homotopic maps

Let $G$ be a topological (or simplicial) group, let $X$ and $Y$ be $G$-spaces, and let $f,f':X\to Y$ be $G$-maps which are homotopic as maps of spaces. In general, $f$ and $f'$ may (of course) fail to ...
Ken's user avatar
  • 1,749
8 votes
2 answers
2k views

Haar measure for large locally compact groups

In this answer, Gerald Edgar mentions that Haar measure is naturally defined on the $\sigma$-algebra of Baire sets (the smallest $\sigma$-algebra that contains all the compact $G_\delta$ sets) of a ...
François G. Dorais's user avatar
8 votes
1 answer
676 views

For which G is BLG weak homotopy equivalent to LBG?

Let $G$ be a (Edit: path-)connected topological group. Under what additional hypotheses on $G$ is it true that $LBG$ is a classifying space for $LG$? (or, I guess equivalently, when is $LBG \sim BLG$?)...
David Roberts's user avatar
  • 33.8k
8 votes
3 answers
363 views

Bi-invariant metrics on compact Polish group

Let $(X,\tau,\circ)$ be a compact Polish group. Is there necessarily a metric $d$ on $X$ inducing $\tau$ such that $d(x \circ a,x \circ b) = d(a \circ x, b \circ x) = d(a,b)$ for all $x,a,b \in X$? ...
Arno's user avatar
  • 4,366
8 votes
3 answers
2k views

Measures on general topological groups

I am interested in the group algebras of non-locally compact groups. What references can you advise? This is a wide question, so I list more concretely what I would like to see: Here X can be even ...
Yulia Kuznetsova's user avatar
8 votes
2 answers
2k views

Locally compact abelian groups

First, some preliminaries: Define an "LCA group" to be a locally compact Hausdorff abelian topological group. Define "smooth manifold" in a way that requires Hausdorffness, but not connectedness or ...
John Baez's user avatar
  • 21.3k
8 votes
1 answer
248 views

Pointed versus unpointed maps into a topological monoid

I've just stumbled on something that seems either too good to be true, or else too good for me not to have heard of it before. It has to do with the basepoint forgetting map $$ u: [A, M] \to \langle A,...
Jeff Strom's user avatar
  • 12.5k
8 votes
1 answer
456 views

About locally compact groups without compact subgroups

Is every Hausdorff, locally compact group that does not contain any non-trivial compact group, finitely dimensional?
Wlod AA's user avatar
  • 4,686
8 votes
1 answer
417 views

Topological group locally homeomorphic to the Hilbert cube

Does there exist a topological group which is locally homeomorphic to the Hilbert cube $[0,1]^{\mathbb N}$? Let me note that Hilbert cube has the fixed point property and thus it is not homeomorphic ...
Benjamin Vejnar's user avatar
8 votes
1 answer
578 views

A topological group which is also a (not necessarily smooth) manifold is orientable

I am trying to show that a topological group which is also a (not necessarily smooth) manifold is automatically orientable. I know of a proof involving transition functions for smooth manifolds, in ...
Doeke's user avatar
  • 243
8 votes
4 answers
2k views

Finite dimensional vector spaces over a complete but not-necessarily-valued field

I'm essentially reopening this old question of Ricky Demer which was never fully answered. Essentially the original question: Suppose we have a topological field $F$ which is complete, Hausdorff, and ...
Harry Altman's user avatar
  • 2,535
8 votes
1 answer
720 views

Status of Hilbert-Smith conjecture and H-S conjecture for Hölder actions

The Hilbert-Smith conjecture states that If $G$ is a locally compact group which acts effectively on a connected manifold as a topological transformation group then is $G$ a Lie group. It was ...
Zarathustra's user avatar
  • 1,404
8 votes
2 answers
399 views

Homomorphisms from $\mathbb{R}$ to $\mathrm{Homeo}^+(\mathbb{R})$, or "fractional iterations"

Let $G$ be the group of orientation-preserving homeomorphisms (or, if you prefer, diffeomorphisms) of the real line. Does there exist a natural way to associate, to each function $f \in G$, a ...
Charles Staats's user avatar
8 votes
2 answers
336 views

Is every contractible homogeneous space of a connected Lie group homeomorphic to a Euclidean space?

Problem. Let $G$ be a connected Lie group and $H$ is a closed subgroup of $G$ such that the homogeneous space $G/H$ is contractible. Is $G/H$ homeomorphic to a Euclidean space $\mathbb R^n$ for some $...
Taras Banakh's user avatar
  • 40.8k
8 votes
1 answer
666 views

Is there a natural topology on the automorphism group of a topological group?

$\DeclareMathOperator\TAut{TAut}\DeclareMathOperator\Homeo{Homeo}$Let $G$ be a topological group, and let $\TAut(G)$ denote the group of topological automorphisms of $G$ under composition (i.e. the ...
ckefa's user avatar
  • 455
8 votes
4 answers
2k views

Are there locally compact groups which have no compact open subgroups and no discrete infinite cyclic subgroups?

The posting of this question was suggested by Yemon Choi: see Discrete cyclic subgroup.. The question is not mine; it's just a rephrasing of Discrete cyclic subgroup. EDIT 4. This post claims that ...
8 votes
2 answers
955 views

$p$-adic exponentials for $p$-adic Lie groups

Let $G$ be a $p$-adic Lie group, $\text{Lie}(G)$ its Lie algebra. Is there any reasonable notion of exponential map $\text{exp} : \text{Lie}(G)\to G$?
user avatar
8 votes
1 answer
1k views

index of a closed subgroup of a profinite group

In the book "profinite groups, arithmetic, and geometry" of Shatz, the index $(G:H)$ of a closed subgroup $H$ of a profinite group $G$ is defined to be the supernatural number $lcm\big((G/U):(H/(H\cap ...
safak's user avatar
  • 287
8 votes
2 answers
512 views

Is there a purely topological definition of $\text{Spin}(p,q)$?

I'm cross-posting this question from Math.SE, as it didn't get much attention there (even after a bounty). A common way to define the group $\text{Spin}(p,q)$ is via Clifford algebras. However, $\text{...
WillG's user avatar
  • 133
8 votes
1 answer
291 views

A group where the Weil topology induced by the Haar measure does not coincide with the original topology

Let $(G,\tau)$ be a locally compact Hausdorff topological group that is $\sigma$-finite with respect to the Haar measure $\mu:\mathcal{B}(G)\to[0,\infty]$ ($\mathcal{B}(G)$ is the Borel $\sigma$-...
Saúl Pilatowsky-Cameo's user avatar
8 votes
2 answers
647 views

"Economic" Eilenberg-MacLane topological abelian groups

This might be regarded as a sequel to my previous "Economic" CW-structure for Eilenberg-MacLane spaces? However the content seems to be quite different. I believe it is easy to prove that ...
მამუკა ჯიბლაძე's user avatar
8 votes
2 answers
511 views

Why is TopGrp the category of topological groups and continous homomorphisms protomodular?

Why is TopGrp the category of topological groups and continous homomorphisms protomodular? I know it is, and I have several indirect proofs, but am not able to prove this directly by showing that the ...
Lucas's user avatar
  • 81
8 votes
1 answer
467 views

Trying to understand "a refinement of the Peter–Weyl theorem" by Lusztig

"A refinement of the Peter–Weyl theorem" is the title of Chapter 29 in Lusztig's "Introduction to quantum groups" (Birkhäuser 2010, reprint of the 1994 edition). This chapter is ...
მამუკა ჯიბლაძე's user avatar
8 votes
1 answer
360 views

Equivariant cohomology of $\text{Diff}S^1/ S^1$ and Virasoro

Consider $$\mathcal{M}\ =\ \text{Diff}S^1/S^1$$ which is a contractible complex manifold with an action of $\text{Diff}S^1$ by translations. It is claimed in page 358 of [1] that $\mathcal{M}$ has ...
Pulcinella's user avatar
  • 5,506
8 votes
1 answer
1k views

discrete group cohomology vs continuous group cohomology for profinite groups

Let $G$ be a profinite group and $M$ be a finite $G$-module. I can compute the cohomology of $G$ with coefficients in $M$ either as a topological group or as a discrete group. There is an obvious map $...
Geoffroy Horel's user avatar

1 2
3
4 5
15