Can all squares in a free group be made from squares in the free monoid? Here's a question I thought of, that I don't know the answer to.
Let $F_2$ be the free group on $\{a,b\}$, and $F_2^+$ be the subset where all the exponents are positive. For a set $S$, let $S^2=\{g^2:g\in S\}$.
Is $\langle (F_2^+)^2\rangle$ (the group generated by $(F_2^+)^2$) the same as $\langle (F_2)^2\rangle$?
For example, can $(a^{-1}b)^2$ be written as a product of squares, each with all-positive or all-negative exponents?
I've thought a bit about Cayley diagrams, but I'm not sure how to make progress.
 A: Let $F_2^-$ denote the subset where all the exponents are negative.
Lemma: $\langle(F_2^+)^2\rangle=\langle(F_2^-)^2\rangle$
Let $x^2$ be a generator in $\langle(F_2^+)^2\rangle$ where $x\in F_2^+$. Then the inverse $(x^2)^{-1}=(x^{-1})^2$ is a word in $\langle(F_2^-)^2\rangle$. $\langle(F_2^-)^2\rangle$ is a group so it contains the inverse of $(x^2)^{-1}$ which is $x^2$. Thus, $\langle(F_2^+)^2\rangle\subseteq\langle(F_2^-)^2\rangle$.  The proof of the reverse inclusion is symmetrical.
Main Proof:
We clearly have $\langle(F_2^+)^2\rangle\subseteq\langle(F_2)^2\rangle$. To prove the reverse inclusion, we show that for any generator $w$ in $\langle(F_2)^2\rangle$ we can algorithmically multiply $w$ by elements of $\langle(F_2^+)^2\rangle$ to obtain the identity element. Since $\langle(F_2^+)^2\rangle$ is a group, this would show we can generate $w$ using elements from $\langle(F_2^+)^2\rangle$.
Let $W$ be a generator of $\langle(F_2)^2\rangle$. We say that a word $W^*$ in $F_2$ has positive parity if $W^*\in F_2^+$, has negative parity if $W^*\in F_2^-$, and has no parity if otherwise.
Step $1$: Transform $W$ into a word that has parity
At each step if $W$ still does not have parity, rewrite it in the form $W=XyZ$ where $X$ is the max-length sequence of characters at the beginning of $W$ such that $X$ is a word with parity. $y$ is a character (either $a, b, a^{-1}, b^{-1}$) that has different parity to $X$. $Z$ is the sequence of remaining characters in $W$. Left multiply $W$ by $(X^{-1})^2$ to obtain $X^{-1}yZ$ and notice that $X^{-1}y$ is a word that has parity and is longer than $X$. After enough transformations, we will have transformed the original word $W$ into a new word $W_2$ which has parity.
Step $2$: Remove all nested squares inside $W_2$
We say that $W_2$ has nested squares if we can write it of the form $xc^2y$ where $x,y\in F_2$ and $c$ is a character in $F_2$ (either $a, b, a^{-1}, b^{-1}$). Left multiply by $t=x^2c^2[(xc^2)^{-1}]^2$ to obtain $xy$ (note that $xy$ has parity). Note that as a result of Step $1$ we know that $x$ and $c$ have the same parity so $t$ is an element of $\langle(F_2^+)^2\rangle$. Eventually we obtain a transformed word $W_3$ that is free of nested squares and has parity.
Final Step: Removing $(ab)^2$
Note that every character $c$ appearing in the original word $W$ appears an even number of times since $W$ is the square of a word in $F_2$. After Step $1$ we obtained a word $W_2$ with parity. W.L.O.G. we can assume $W_2$ has positive parity since if had negative parity, we could just left multiply by $(W_2^{-1})^2$ to obtain $W_2^{-1}$. The character $a$ appears an even number of times in $W_2$, and the character $b$ appears an even number of times in $W_2$. Step $2$ only deletes characters two at a time, so the same thing is true for $W_3$.
Let $n_a$ and $n_b$ denote the number of times respectively that the characters $a$ and $b$ appear in $W_3$. If $n_a$ and $n_b$ are both $0$ then $W_3=1$ and we are done. If one of them is $0$ and the other is nonzero, W.L.O.G. let's say $n_a\neq 0$ and $n_b=0$. Then since $n_a$ is even there must be a nested square in $W_3$, contradicting Step $2$. So now we're left with the case that $n_a\neq 0$ and $n_b\neq 0$. W.L.O.G. let's say the first character of $W_3$ is $a$. Then because $n_a$/$n_b$ are even and $W_3$ is square-free, we must be able to write $W_3$ as $W_3=(ab)^n$ where $n$ is an even number. Left multiply by $(ab)^{-n}$ to obtain the identity.
Let me know if there's any part of the proof you want me to clarify. As an example, here's the way you were trying to find to express $(a^{-1}b)^2$.
$$a^{-1}ba^{-1}b$$
$$aba^{-1}b$$
$$b^{-1}a^{-1}a^{-1}b$$
$$aabb$$
So
$$(a^{-1}b)^2=[a^{-1}]^2(ab)^2[(aab)^{-1}]^2a^2b^2$$
