Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $G$ be a topological group, and let $F$ be the Markov free topological group over $G$. We define an action of $G$ on $F$ as follows: $G\times F\rightarrow F$, $^{g}(g_{1}^{\epsilon_{1}}...g_{n}^{\epsilon_{n}})$=$(^{g}g_{1})^{\epsilon_{1}}...(^{g}g_{n})^{\epsilon_{n}}$. Question: Is the above-defined action, a contiuous action? Why? (Note that, here $G$ acts on itself by conjugation.)

share|improve this question
Nice question ! –  David Roberts Feb 25 '13 at 23:37
I suspect the answer to the following, more general, question may be obvious and standard to anybody who knows about Markov free topological groups (which I don't ... I had to look up the definition), but if a topological group acts continuously on a topological space $X$, then is the induced action on $F(X)$ also continuous? –  Jeremy Rickard Feb 26 '13 at 15:40
The last section of Pestov's paper topology.auburn.edu/tp/reprints/v24/tp24221.pdf may be helpful. –  Jeremy Brazas Mar 1 '13 at 12:57
add comment

1 Answer

up vote 0 down vote accepted

I don't know the answer to the general question but the answer seems to be "yes" when $G$ is compact. Here is a straightforward argument.

The corresponding action of $G$ on the free topological monoid $M=\coprod_{n\geq 0}(G\sqcup G^{-1})^n$ is certainly continuous. When $G$ is compact $F(G)$ is the topological quotient of $M$ via word reduction $r:M\to F(G)$. When the action of $G$ on itself is conjugation, we have $^{g}(r(g_{1}^{\epsilon_1}...g_{n}^{\epsilon_n}))=r(^{g}(g_{1}^{\epsilon_1}...g_{n}^{\epsilon_n}))$ for any $g_{1}^{\epsilon_1}...g_{n}^{\epsilon_n}\in M$. The action is continuous since $id\times r:G\times M\to G\times F(G)$ is a topological quotient map (compactness of $G$ helps out here too).

This argument should also work when $G$ is a $k_{\omega}$-space (inductive limit of nested compact subspaces) but doesn't extend to the general case since $r:M\to F(G)$ is not quotient when $G=\mathbb{Q}$ is the rationals.

share|improve this answer
The answer is very grateful Dr. Brazas. Yes I agree with you. You are right, absolutly. In fact, I was in search of answer for the general case. I put this question to a simpler form by replacing a topological group $G$ with conjugation action instead of a topological $G$-space $X$. I guess at least the answer to this question is yes, when X is a topological group. I hope to reach a definitive answer. And if the answer is no, I find a counterexample. –  Hossein E. Koshkoshi Feb 28 '13 at 21:25
I am interested to know the answer to your general question but remain skeptical. I would be surprised if $\mathbb{Q}$ were not a counterexample. You might try to contact someone who works with free topological groups regularly to see if it is known. –  Jeremy Brazas Mar 1 '13 at 0:11
Obviously, $G=\mathbb{Q}$ is not a conterexample. Since $\mathbb{Q}$ is an abelian group, hence the induced action of $\mathbb{Q}$ on $F(\mathbb{Q})$ is trivial and so is continuous. –  Hossein E. Koshkoshi Mar 1 '13 at 12:20
Oh, of course you are right! That was ridiculous to suggest. I suppose what I was going for was a non-locally compact group. –  Jeremy Brazas Mar 1 '13 at 12:42
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.